Trace number 4392589

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 53.2181 24.8101

General information on the benchmark

NameBibd/Bibd-sum-lex/
Bibd-sum-09-120-40-03-10.xml
MD5SUM516a10ad09fd7e852a109bf36c14a2d3
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 benchmark34.1236
Satisfiable
(Un)Satisfiability was proved
Number of variables1080
Number of constraints166
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1080}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":1080}]
Minimum constraint arity9
Maximum constraint arity1080
Distribution of constraint arities[{"arity":9,"count":120},{"arity":120,"count":9},{"arity":240,"count":36},{"arity":1080,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":165}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15162-serial-file.bin HOME/instance-4392589-1568422389.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 01:42:52 CEST 2019
0.66/0.56	c PID: 15165
0.66/0.56	c IP: 172.20.3.104
0.66/0.56	c HOST: node104.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.06/1.19	c (0,0) Parsing End
2.06/1.20	c (0,0) CSP: 0 int (0 aux), 1080 bool (0 aux), 166 ctr, max domain size 2
2.48/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.48/1.20	c (0,0) Constraint Name Generate Begin
2.48/1.21	c (0,0) Ctr:HOME/instance-4392589-1568422389.xml,LexMatrix:Num:Var:WeightedSum
2.48/1.21	c (0,0) Constraint Name Generate End
2.48/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.48/1.21	c (0,0) CSP to CSPinCNF Begin
3.76/1.54	c (1,0) translated 17 (10%) constraints
3.76/1.55	c (1,1) translated 34 (20%) constraints
3.76/1.56	c (1,1) translated 50 (30%) constraints
3.76/1.57	c (1,1) translated 67 (40%) constraints
3.76/1.58	c (1,1) translated 83 (50%) constraints
3.76/1.59	c (1,1) translated 100 (60%) constraints
3.76/1.59	c (1,1) translated 117 (70%) constraints
4.87/1.92	c (1,1) translated 133 (80%) constraints
7.38/2.70	c (2,2) translated 150 (90%) constraints
8.63/3.29	c (2,2) translated 166 (100%) constraints
24.05/16.91	c (16,16) ===========================================
24.05/16.94	c (16,16) Hybrid: #OE=6097, #LE=5400
24.05/16.94	c (16,16) Hybrid
24.05/16.94	c (16,16) ===========================================
24.82/17.17	c (16,16) translated 2126 (10%) constraints
25.12/17.28	c (16,16) translated 4251 (20%) constraints
25.48/17.38	c (16,16) translated 6376 (30%) constraints
25.94/17.52	c (16,16) translated 8502 (40%) constraints
26.05/17.60	c (17,16) translated 10627 (50%) constraints
26.05/17.69	c (17,17) translated 12752 (60%) constraints
26.15/17.78	c (17,17) translated 14878 (70%) constraints
26.25/17.87	c (17,17) translated 17003 (80%) constraints
26.38/17.96	c (17,17) translated 19128 (90%) constraints
26.73/18.05	c (17,17) translated 21253 (100%) constraints
26.73/18.06	c (17,17) CSP to CSPinCNF End
26.73/18.06	c (17,17) CSP: 0 int (0 aux), 15817 bool (14737 aux), 30058 ctr, max domain size 2
26.73/18.06	c (17,17) Heap : 3713 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.73/18.06	c (17,17) CSPinCNF Propagation Begin
27.62/18.34	c (17,17) 0 values, 4320 unsatisfiable literals, and 4320 valid clauses are removed
27.62/18.34	c (17,17) CSPinCNF Propagation End
27.62/18.34	c (17,17) CSP: 0 int (0 aux), 15817 bool (14737 aux), 25738 ctr, max domain size 2
27.62/18.34	c (17,17) Heap : 3861 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.62/18.37	c (17,17) Hybrid: #OE=10417, #LE=5400
27.62/18.37	c (17,17) Simplify CSPinCNF Begin
28.25/18.54	c (18,17) Simplify CSPinCNF End
28.25/18.55	c (18,17) CSP: 0 int (0 aux), 19752 bool (18672 aux), 29673 ctr, max domain size 2
28.25/18.55	c (18,17) Heap : 3972 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.25/18.55	c (18,17) Calculate Precise Domain Begin
28.25/18.55	c (18,17) 0 values are removed by re-calculation
28.25/18.55	c (18,17) Calculate Precise Domain End
28.25/18.55	c (18,17) CSP: 0 int (0 aux), 19752 bool (18672 aux), 29673 ctr, max domain size 2
28.25/18.55	c (18,17) Heap : 3972 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.25/18.55	c (18,17) CSPinCNF to SatSolver Begin
31.26/19.49	c (18,18) 2968 (10 %) CSP clauses are encoded (0 SAT variables, 223951 SAT clauses)
31.87/19.64	c (19,18) 5935 (20 %) CSP clauses are encoded (0 SAT variables, 260498 SAT clauses)
32.20/19.75	c (19,19) 8902 (30 %) CSP clauses are encoded (0 SAT variables, 297045 SAT clauses)
32.42/19.86	c (19,19) 11870 (40 %) CSP clauses are encoded (0 SAT variables, 333593 SAT clauses)
32.62/19.97	c (19,19) 14837 (50 %) CSP clauses are encoded (0 SAT variables, 370140 SAT clauses)
32.84/20.08	c (19,19) 17804 (60 %) CSP clauses are encoded (0 SAT variables, 406687 SAT clauses)
33.04/20.19	c (19,19) 20772 (70 %) CSP clauses are encoded (0 SAT variables, 443235 SAT clauses)
33.18/20.26	c (19,19) 23739 (80 %) CSP clauses are encoded (0 SAT variables, 456526 SAT clauses)
33.31/20.33	c (19,19) 26706 (90 %) CSP clauses are encoded (0 SAT variables, 465357 SAT clauses)
33.31/20.39	c (19,19) 29673 (100 %) CSP clauses are encoded (0 SAT variables, 474084 SAT clauses)
33.31/20.39	c (19,19) CSPinCNF to SatSolver End
33.31/20.39	c (19,19) Heap : 4969 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
33.31/20.39	c (19,19) 174968 bool, 474085 clause
33.31/20.39	c (19,19) Export Begin
33.63/20.59	c (20,19) Export to HOME/scop-15162-serial-file.bin
33.63/20.59	c (20,19) Export End
33.63/20.59	c (20,19) Export File Size: 0.41 MB
33.63/20.59	c (20,19) 0,0,17,17,18,18,19,STOP-AFTER(DIMACS)
33.63/20.59	c END-Prog: Sat Sep 14 01:43:12 CEST 2019
33.90/20.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15162-serial-file.bin
34.42/21.10	c (0,0) Read Serial File Begin
34.42/21.10	c (0,0) HOME/scop-15162-serial-file.bin
35.17/21.44	c (0,0) Read Serial File End
35.17/21.46	
35.17/21.46	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
35.17/21.46	(Solving Process)
35.17/21.46	
35.17/21.48	c BEGIN-Prog: Sat Sep 14 01:43:13 CEST 2019
35.17/21.48	c PID: 15187
35.17/21.48	c IP: 172.20.3.104
35.17/21.48	c HOST: node104.alineos.net
35.17/21.48	c (0,0) SatSolver.solve Begin
35.17/21.48	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392589-1568422389.xml-scop-15165.cnf
35.41/21.51	c (0,0) c
35.41/21.51	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)
35.41/21.51	c (0,0) c
35.41/21.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.41/21.51	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.41/21.51	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.41/21.51	c (0,0) c |                                                                                                       |
35.55/21.71	c (0,0) c |  Number of variables:        174968                                                                   |
35.55/21.71	c (0,0) c |  Number of clauses:          473755                                                                   |
35.55/21.71	c (0,0) c |  Parse time:                   0.18 s                                                                 |
35.55/21.71	c (0,0) c |                                                                                                       |
36.05/22.06	c (1,0) c |  Simplification time:          0.35 s                                                                 |
36.05/22.06	c (1,0) c |                                                                                                       |
36.05/22.06	c (1,0) c |  Generating clones                                                                                    |
36.34/22.34	c (1,0) c |  all clones generated. Memory =   491.89Mb.                                                           |
36.34/22.34	c (1,0) c ========================================================================================================|
36.34/22.34	c (1,0) c
36.34/22.34	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.34/22.34	c (1,0) c
36.34/22.34	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.34/22.34	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.34/22.34	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.34/22.34	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.34/22.34	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.34/22.34	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.34/22.34	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
36.34/22.34	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.34/22.34	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.34/22.34	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.34/22.34	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.34/22.34	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.34/22.34	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.34/22.34	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.34/22.34	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
36.34/22.34	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.34/22.34	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.34/22.34	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.34/22.34	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.44	c (3,0) c
52.10/24.44	c (3,0) c real time : 2.93457 s
52.10/24.44	c (3,0) c cpu time  : 16.1539 s
52.10/24.44	c (3,0) c
52.10/24.44	c (3,0) c
52.10/24.44	c (3,0) c
52.10/24.44	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
52.10/24.44	c (3,0) c
52.10/24.44	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.44	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
52.10/24.44	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.44	c (3,0) c | Conflicts     |           40656 |       5200 |       3364 |       8953 |       6105 |       5643 |       4378 |       3409 |       3604 |
52.10/24.44	c (3,0) c | Decisions     |          307970 |      47025 |      31866 |      40187 |      41585 |      38630 |      38188 |      25258 |      45231 |
52.10/24.44	c (3,0) c | Propagations  |        64449820 |    8103867 |    6584683 |    9002170 |    8296992 |    9021661 |    9212559 |    7502151 |    6725737 |
52.10/24.44	c (3,0) c | ReduceDBs     |               9 |          1 |          1 |          2 |          1 |          1 |          1 |          1 |          1 |
52.10/24.44	c (3,0) c | SimpDBs       |              50 |          6 |          6 |          7 |          7 |          7 |          8 |          5 |          4 |
52.10/24.44	c (3,0) c | Restarts      |             267 |         42 |         28 |         52 |         17 |         45 |         36 |         29 |         18 |
52.10/24.44	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | PropBinClauses|        13281902 |    1727167 |    1337713 |    1888956 |    1731800 |    1807653 |    1890746 |    1501148 |    1396719 |
52.10/24.44	c (3,0) c | PropPreBlocker|       137565629 |   17054785 |   14194029 |   19710768 |   18055726 |   19205216 |   19012476 |   15838449 |   14494180 |
52.10/24.44	c (3,0) c | PropNotBlocker|        71159788 |    8943046 |    7396202 |   10035227 |    9235886 |    9946343 |    9958324 |    8167643 |    7477117 |
52.10/24.44	c (3,0) c | LitFullScans  |       444923185 |   49128215 |   48165045 |   70032767 |   59927983 |   60033836 |   56825850 |   48028228 |   52781261 |
52.10/24.44	c (3,0) c | LitScanFracts |          636624 |      21516 |     162803 |      77125 |     130167 |      19824 |      45706 |      27000 |     152483 |
52.10/24.44	c (3,0) c | DecisionLevel0|             536 |         76 |         60 |         85 |         42 |         88 |         78 |         60 |         47 |
52.10/24.44	c (3,0) c | Periods       |              71 |          8 |          8 |         11 |          9 |         10 |          9 |          8 |          8 |
52.10/24.44	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
52.10/24.44	c (3,0) c | Avg_Trail     |                 |      23802 |      33789 |      25640 |      30602 |      27156 |      29848 |      29106 |      30756 |
52.10/24.44	c (3,0) c | Avg_DL        |                 |        144 |        111 |        114 |        129 |        131 |         92 |         92 |        103 |
52.10/24.44	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.44	c (3,0) c | Exported      |            3240 |        342 |        155 |       1170 |        699 |        386 |        195 |        123 |        170 |
52.10/24.44	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.10/24.44	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.44	c (3,0) c | Unaries       |                 |         34 |         32 |         33 |         25 |         43 |         42 |         31 |         29 |
52.10/24.44	c (3,0) c | Binaries      |                 |        119 |         90 |        103 |         63 |        101 |         79 |         49 |         75 |
52.10/24.44	c (3,0) c | Glues         |                 |        243 |        155 |        316 |        162 |        213 |        195 |        123 |        170 |
52.10/24.44	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.44	c (3,0) c | Orig_Seen     |            20 % |      74276 |      73350 |      69709 |      83607 |      71031 |      66486 |      62966 |      73942 |
52.10/24.44	c (3,0) c | Diff Orig seen|                 |        334 | -      592 | -     4233 |       9665 | -     2911 | -     7456 | -    10976 |      X     |
52.10/24.44	c (3,0) c | Hamming       |            12 % |      20981 |      21879 |      23020 |      22877 |      21872 |      21831 |      21560 |      X     |
52.10/24.44	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.45	c (3,0) c | RunningTime   |                 |    2.1 100%|    2.1 100%|    2.1 100%|    2.1 100%|    2.0 100%|    2.0 100%|    2.0 100%|    2.0 100%|
52.10/24.45	c (3,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%|
52.10/24.45	c (3,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%|
52.10/24.45	c (3,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%|
52.10/24.45	c (3,0) c | SolvingTime   |                 |    2.1     |    2.1     |    2.1     |    2.1     |    2.0     |    2.0     |    2.0     |    2.0     |
52.10/24.45	c (3,0) c | PropagationTim|                 |    1.6  79%|    1.6  75%|    1.4  70%|    1.5  73%|    1.5  75%|    1.5  75%|    1.6  76%|    1.5  72%|
52.10/24.45	c (3,0) c | AnalysisTime  |                 |    0.2   9%|    0.2  12%|    0.3  16%|    0.3  13%|    0.3  13%|    0.2  10%|    0.3  12%|    0.3  16%|
52.10/24.45	c (3,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
52.10/24.45	c (3,0) c | SimplifyTime  |                 |    0.1   3%|    0.1   5%|    0.1   3%|    0.1   3%|    0.1   3%|    0.1   5%|    0.1   2%|    0.0   2%|
52.10/24.45	c (3,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%|
52.10/24.45	c (3,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%|
52.10/24.45	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.45	c (3,0) c
52.10/24.45	c (3,0) c
52.10/24.45	c (3,0) c Threads : 8
52.10/24.45	c (3,0) c Winner : 7
52.10/24.45	c (3,0) c Conflicts_0 : 5200
52.10/24.45	c (3,0) c Conflicts_1 : 3364
52.10/24.45	c (3,0) c Conflicts_2 : 8953
52.10/24.45	c (3,0) c Conflicts_3 : 6105
52.10/24.45	c (3,0) c Conflicts_4 : 5643
52.10/24.45	c (3,0) c Conflicts_5 : 4378
52.10/24.45	c (3,0) c Conflicts_6 : 3409
52.10/24.45	c (3,0) c Conflicts_7 : 3604
52.10/24.45	c (3,0) c Conflicts_total : 40656
52.10/24.45	c (3,0) c Conflicts_winner : 3604
52.10/24.45	c (3,0) c Decisions_0 : 47025
52.10/24.45	c (3,0) c Decisions_1 : 31866
52.10/24.45	c (3,0) c Decisions_2 : 40187
52.10/24.45	c (3,0) c Decisions_3 : 41585
52.10/24.45	c (3,0) c Decisions_4 : 38630
52.10/24.45	c (3,0) c Decisions_5 : 38188
52.10/24.45	c (3,0) c Decisions_6 : 25258
52.10/24.45	c (3,0) c Decisions_7 : 45231
52.10/24.45	c (3,0) c Decisions_total : 307970
52.10/24.45	c (3,0) c Decisions_winner : 45231
52.10/24.45	c (3,0) c Propagations_0 : 8103867
52.10/24.45	c (3,0) c Propagations_1 : 6584683
52.10/24.45	c (3,0) c Propagations_2 : 9002170
52.10/24.45	c (3,0) c Propagations_3 : 8296992
52.10/24.45	c (3,0) c Propagations_4 : 9021661
52.10/24.45	c (3,0) c Propagations_5 : 9212559
52.10/24.45	c (3,0) c Propagations_6 : 7502151
52.10/24.45	c (3,0) c Propagations_7 : 6725737
52.10/24.45	c (3,0) c Propagations_total : 64449820
52.10/24.45	c (3,0) c Propagations_winner : 6725737
52.10/24.45	c (3,0) c ReduceDBs_0 : 1
52.10/24.45	c (3,0) c ReduceDBs_1 : 1
52.10/24.45	c (3,0) c ReduceDBs_2 : 2
52.10/24.45	c (3,0) c ReduceDBs_3 : 1
52.10/24.45	c (3,0) c ReduceDBs_4 : 1
52.10/24.45	c (3,0) c ReduceDBs_5 : 1
52.10/24.45	c (3,0) c ReduceDBs_6 : 1
52.10/24.45	c (3,0) c ReduceDBs_7 : 1
52.10/24.45	c (3,0) c ReduceDBs_total : 9
52.10/24.45	c (3,0) c ReduceDBs_winner : 1
52.10/24.45	c (3,0) c SimpDBs_0 : 6
52.10/24.45	c (3,0) c SimpDBs_1 : 6
52.10/24.45	c (3,0) c SimpDBs_2 : 7
52.10/24.45	c (3,0) c SimpDBs_3 : 7
52.10/24.45	c (3,0) c SimpDBs_4 : 7
52.10/24.45	c (3,0) c SimpDBs_5 : 8
52.10/24.45	c (3,0) c SimpDBs_6 : 5
52.10/24.45	c (3,0) c SimpDBs_7 : 4
52.10/24.45	c (3,0) c SimpDBs_total : 50
52.10/24.45	c (3,0) c SimpDBs_winner : 4
52.10/24.45	c (3,0) c Restarts_0 : 42
52.10/24.45	c (3,0) c Restarts_1 : 28
52.10/24.45	c (3,0) c Restarts_2 : 52
52.10/24.45	c (3,0) c Restarts_3 : 17
52.10/24.45	c (3,0) c Restarts_4 : 45
52.10/24.45	c (3,0) c Restarts_5 : 36
52.10/24.45	c (3,0) c Restarts_6 : 29
52.10/24.45	c (3,0) c Restarts_7 : 18
52.10/24.45	c (3,0) c Restarts_total : 267
52.10/24.45	c (3,0) c Restarts_winner : 18
52.10/24.45	c (3,0) c ForcedImports_0 : 0
52.10/24.45	c (3,0) c ForcedImports_1 : 0
52.10/24.45	c (3,0) c ForcedImports_2 : 0
52.10/24.45	c (3,0) c ForcedImports_3 : 0
52.10/24.45	c (3,0) c ForcedImports_4 : 0
52.10/24.45	c (3,0) c ForcedImports_5 : 0
52.10/24.45	c (3,0) c ForcedImports_6 : 0
52.10/24.45	c (3,0) c ForcedImports_7 : 0
52.10/24.45	c (3,0) c ForcedImports_total : 0
52.10/24.45	c (3,0) c ForcedImports_winner : 0
52.10/24.45	c (3,0) c PropsBinClauses_0 : 1727167
52.10/24.45	c (3,0) c PropsBinClauses_1 : 1337713
52.10/24.45	c (3,0) c PropsBinClauses_2 : 1888956
52.10/24.45	c (3,0) c PropsBinClauses_3 : 1731800
52.10/24.45	c (3,0) c PropsBinClauses_4 : 1807653
52.10/24.45	c (3,0) c PropsBinClauses_5 : 1890746
52.10/24.45	c (3,0) c PropsBinClauses_6 : 1501148
52.10/24.45	c (3,0) c PropsBinClauses_7 : 1396719
52.10/24.45	c (3,0) c PropsBinClauses_total : 13281902
52.10/24.45	c (3,0) c PropsBinClauses_winner : 1396719
52.10/24.45	c (3,0) c PropsPreBlocker_0 : 17054785
52.10/24.45	c (3,0) c PropsPreBlocker_1 : 14194029
52.10/24.45	c (3,0) c PropsPreBlocker_2 : 19710768
52.10/24.45	c (3,0) c PropsPreBlocker_3 : 18055726
52.10/24.45	c (3,0) c PropsPreBlocker_4 : 19205216
52.10/24.45	c (3,0) c PropsPreBlocker_5 : 19012476
52.10/24.45	c (3,0) c PropsPreBlocker_6 : 15838449
52.10/24.45	c (3,0) c PropsPreBlocker_7 : 14494180
52.10/24.45	c (3,0) c PropsPreBlocker_total : 137565629
52.10/24.45	c (3,0) c PropsPreBlocker_winner : 14494180
52.10/24.45	c (3,0) c PropsNotBlocker_0 : 8943046
52.10/24.45	c (3,0) c PropsNotBlocker_1 : 7396202
52.10/24.45	c (3,0) c PropsNotBlocker_2 : 10035227
52.10/24.45	c (3,0) c PropsNotBlocker_3 : 9235886
52.10/24.45	c (3,0) c PropsNotBlocker_4 : 9946343
52.10/24.45	c (3,0) c PropsNotBlocker_5 : 9958324
52.10/24.45	c (3,0) c PropsNotBlocker_6 : 8167643
52.10/24.45	c (3,0) c PropsNotBlocker_7 : 7477117
52.10/24.45	c (3,0) c PropsNotBlocker_total : 71159788
52.10/24.45	c (3,0) c PropsNotBlocker_winner : 7477117
52.10/24.45	c (3,0) c PropsLitFullScans_0 : 49128215
52.10/24.45	c (3,0) c PropsLitFullScans_1 : 48165045
52.10/24.45	c (3,0) c PropsLitFullScans_2 : 70032767
52.10/24.45	c (3,0) c PropsLitFullScans_3 : 59927983
52.10/24.45	c (3,0) c PropsLitFullScans_4 : 60033836
52.10/24.45	c (3,0) c PropsLitFullScans_5 : 56825850
52.10/24.45	c (3,0) c PropsLitFullScans_6 : 48028228
52.10/24.45	c (3,0) c PropsLitFullScans_7 : 52781261
52.10/24.45	c (3,0) c PropsLitFullScans_total : 444923185
52.10/24.45	c (3,0) c PropsLitFullScans_winner : 52781261
52.10/24.45	c (3,0) c LitScanFractions_0 : 21516
52.10/24.45	c (3,0) c LitScanFractions_1 : 162803
52.10/24.45	c (3,0) c LitScanFractions_2 : 77125
52.10/24.45	c (3,0) c LitScanFractions_3 : 130167
52.10/24.45	c (3,0) c LitScanFractions_4 : 19824
52.10/24.45	c (3,0) c LitScanFractions_5 : 45706
52.10/24.45	c (3,0) c LitScanFractions_6 : 27000
52.10/24.45	c (3,0) c LitScanFractions_7 : 152483
52.10/24.45	c (3,0) c LitScanFractions_total : 636624
52.10/24.45	c (3,0) c LitScanFractions_winner : 152483
52.10/24.45	c (3,0) c DecisionLevel0_0 : 76
52.10/24.45	c (3,0) c DecisionLevel0_1 : 60
52.10/24.45	c (3,0) c DecisionLevel0_2 : 85
52.10/24.45	c (3,0) c DecisionLevel0_3 : 42
52.10/24.45	c (3,0) c DecisionLevel0_4 : 88
52.10/24.45	c (3,0) c DecisionLevel0_5 : 78
52.10/24.45	c (3,0) c DecisionLevel0_6 : 60
52.10/24.45	c (3,0) c DecisionLevel0_7 : 47
52.10/24.45	c (3,0) c DecisionLevel0_total : 536
52.10/24.45	c (3,0) c DecisionLevel0_winner : 47
52.10/24.45	c (3,0) c Periods_0 : 8
52.10/24.45	c (3,0) c Periods_1 : 8
52.10/24.45	c (3,0) c Periods_2 : 11
52.10/24.45	c (3,0) c Periods_3 : 9
52.10/24.45	c (3,0) c Periods_4 : 10
52.10/24.45	c (3,0) c Periods_5 : 9
52.10/24.45	c (3,0) c Periods_6 : 8
52.10/24.45	c (3,0) c Periods_7 : 8
52.10/24.45	c (3,0) c Periods_total : 71
52.10/24.45	c (3,0) c Periods_winner : 8
52.10/24.45	c (3,0) c Margin_0 : 20
52.10/24.45	c (3,0) c Margin_1 : 20
52.10/24.45	c (3,0) c Margin_2 : 20
52.10/24.45	c (3,0) c Margin_3 : 20
52.10/24.45	c (3,0) c Margin_4 : 20
52.10/24.45	c (3,0) c Margin_5 : 20
52.10/24.45	c (3,0) c Margin_6 : 20
52.10/24.45	c (3,0) c Margin_7 : 20
52.10/24.45	c (3,0) c Margin_total : 160
52.10/24.45	c (3,0) c Margin_winner : 20
52.10/24.45	c (3,0) c Exported_0 : 342
52.10/24.45	c (3,0) c Exported_1 : 155
52.10/24.45	c (3,0) c Exported_2 : 1170
52.10/24.45	c (3,0) c Exported_3 : 699
52.10/24.45	c (3,0) c Exported_4 : 386
52.10/24.45	c (3,0) c Exported_5 : 195
52.10/24.45	c (3,0) c Exported_6 : 123
52.10/24.45	c (3,0) c Exported_7 : 170
52.10/24.45	c (3,0) c Exported_total : 3240
52.10/24.45	c (3,0) c Exported_winner : 170
52.10/24.45	c (3,0) c Imported_0 : 0
52.10/24.45	c (3,0) c Imported_1 : 0
52.10/24.45	c (3,0) c Imported_2 : 0
52.10/24.45	c (3,0) c Imported_3 : 0
52.10/24.45	c (3,0) c Imported_4 : 0
52.10/24.45	c (3,0) c Imported_5 : 0
52.10/24.45	c (3,0) c Imported_6 : 0
52.10/24.45	c (3,0) c Imported_7 : 0
52.10/24.45	c (3,0) c Imported_total : 0
52.10/24.45	c (3,0) c Imported_winner : 0
52.10/24.45	c (3,0) c Good_0 : 0
52.10/24.45	c (3,0) c Good_1 : 0
52.10/24.45	c (3,0) c Good_2 : 0
52.10/24.45	c (3,0) c Good_3 : 0
52.10/24.45	c (3,0) c Good_4 : 0
52.10/24.45	c (3,0) c Good_5 : 0
52.10/24.45	c (3,0) c Good_6 : 0
52.10/24.45	c (3,0) c Good_7 : 0
52.10/24.45	c (3,0) c Good_total : 0
52.10/24.45	c (3,0) c Good_winner : 0
52.10/24.45	c (3,0) c Purge_0 : 0
52.10/24.45	c (3,0) c Purge_1 : 0
52.10/24.45	c (3,0) c Purge_2 : 0
52.10/24.45	c (3,0) c Purge_3 : 0
52.10/24.45	c (3,0) c Purge_4 : 0
52.10/24.45	c (3,0) c Purge_5 : 0
52.10/24.45	c (3,0) c Purge_6 : 0
52.10/24.45	c (3,0) c Purge_7 : 0
52.10/24.45	c (3,0) c Purge_total : 0
52.10/24.45	c (3,0) c Purge_winner : 0
52.10/24.45	c (3,0) c Promoted_0 : 0
52.10/24.45	c (3,0) c Promoted_1 : 0
52.10/24.45	c (3,0) c Promoted_2 : 0
52.10/24.45	c (3,0) c Promoted_3 : 0
52.10/24.45	c (3,0) c Promoted_4 : 0
52.10/24.45	c (3,0) c Promoted_5 : 0
52.10/24.45	c (3,0) c Promoted_6 : 0
52.10/24.45	c (3,0) c Promoted_7 : 0
52.10/24.45	c (3,0) c Promoted_total : 0
52.10/24.45	c (3,0) c Promoted_winner : 0
52.10/24.45	c (3,0) c Remove_Imp_0 : 0
52.10/24.45	c (3,0) c Remove_Imp_1 : 0
52.10/24.45	c (3,0) c Remove_Imp_2 : 0
52.10/24.45	c (3,0) c Remove_Imp_3 : 0
52.10/24.45	c (3,0) c Remove_Imp_4 : 0
52.10/24.45	c (3,0) c Remove_Imp_5 : 0
52.10/24.45	c (3,0) c Remove_Imp_6 : 0
52.10/24.45	c (3,0) c Remove_Imp_7 : 0
52.10/24.45	c (3,0) c Remove_Imp_total : 0
52.10/24.45	c (3,0) c Remove_Imp_winner : 0
52.10/24.45	c (3,0) c Blocked_Reuse_0 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_1 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_2 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_3 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_4 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_5 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_6 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_7 : 0
52.10/24.45	c (3,0) c Blocked_Reuse_total : 0
52.10/24.45	c (3,0) c Blocked_Reuse_winner : 0
52.10/24.45	c (3,0) c Unaries_0 : 34
52.10/24.45	c (3,0) c Unaries_1 : 32
52.10/24.45	c (3,0) c Unaries_2 : 33
52.10/24.45	c (3,0) c Unaries_3 : 25
52.10/24.45	c (3,0) c Unaries_4 : 43
52.10/24.45	c (3,0) c Unaries_5 : 42
52.10/24.45	c (3,0) c Unaries_6 : 31
52.10/24.45	c (3,0) c Unaries_7 : 29
52.10/24.45	c (3,0) c Unaries_total : 269
52.10/24.45	c (3,0) c Unaries_winner : 29
52.10/24.45	c (3,0) c Binaries_0 : 119
52.10/24.45	c (3,0) c Binaries_1 : 90
52.10/24.45	c (3,0) c Binaries_2 : 103
52.10/24.45	c (3,0) c Binaries_3 : 63
52.10/24.45	c (3,0) c Binaries_4 : 101
52.10/24.45	c (3,0) c Binaries_5 : 79
52.10/24.45	c (3,0) c Binaries_6 : 49
52.10/24.45	c (3,0) c Binaries_7 : 75
52.10/24.45	c (3,0) c Binaries_total : 679
52.10/24.45	c (3,0) c Binaries_winner : 75
52.10/24.46	c (3,0) c Glues_0 : 243
52.10/24.46	c (3,0) c Glues_1 : 155
52.10/24.46	c (3,0) c Glues_2 : 316
52.10/24.46	c (3,0) c Glues_3 : 162
52.10/24.46	c (3,0) c Glues_4 : 213
52.10/24.46	c (3,0) c Glues_5 : 195
52.10/24.46	c (3,0) c Glues_6 : 123
52.10/24.46	c (3,0) c Glues_7 : 170
52.10/24.46	c (3,0) c Glues_total : 1577
52.10/24.46	c (3,0) c Glues_winner : 170
52.10/24.46	c (3,0) c RunningTime_0 : 2.061167
52.10/24.46	c (3,0) c RunningTime_1 : 2.089176
52.10/24.46	c (3,0) c RunningTime_2 : 2.054712
52.10/24.46	c (3,0) c RunningTime_3 : 2.089889
52.10/24.46	c (3,0) c RunningTime_4 : 2.044906
52.10/24.46	c (3,0) c RunningTime_5 : 2.042071
52.10/24.46	c (3,0) c RunningTime_6 : 2.035886
52.10/24.46	c (3,0) c RunningTime_7 : 2.026548
52.10/24.46	c (3,0) c RunningTime_total : 16.444354
52.10/24.46	c (3,0) c RunningTime_winner : 2.026548
52.10/24.46	c (3,0) c WaitingTime_0 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_1 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_2 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_3 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_4 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_5 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_6 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_7 : 0.000000
52.10/24.46	c (3,0) c WaitingTime_total : 0.000000
52.10/24.46	c (3,0) c WaitingTime_winner : 0.000000
52.10/24.46	c (3,0) c ExchangingTime_0 : 0.000974
52.10/24.46	c (3,0) c ExchangingTime_1 : 0.000475
52.10/24.46	c (3,0) c ExchangingTime_2 : 0.000883
52.10/24.46	c (3,0) c ExchangingTime_3 : 0.000679
52.10/24.46	c (3,0) c ExchangingTime_4 : 0.000700
52.10/24.46	c (3,0) c ExchangingTime_5 : 0.000680
52.10/24.46	c (3,0) c ExchangingTime_6 : 0.000920
52.10/24.46	c (3,0) c ExchangingTime_7 : 0.000761
52.10/24.46	c (3,0) c ExchangingTime_total : 0.006071
52.10/24.46	c (3,0) c ExchangingTime_winner : 0.000761
52.10/24.46	c (3,0) c PeriodProcTime_0 : 0.000083
52.10/24.46	c (3,0) c PeriodProcTime_1 : 0.000085
52.10/24.46	c (3,0) c PeriodProcTime_2 : 0.000130
52.10/24.46	c (3,0) c PeriodProcTime_3 : 0.000094
52.10/24.46	c (3,0) c PeriodProcTime_4 : 0.000086
52.10/24.46	c (3,0) c PeriodProcTime_5 : 0.000113
52.10/24.46	c (3,0) c PeriodProcTime_6 : 0.000084
52.10/24.46	c (3,0) c PeriodProcTime_7 : 0.000083
52.10/24.46	c (3,0) c PeriodProcTime_total : 0.000759
52.10/24.46	c (3,0) c PeriodProcTime_winner : 0.000083
52.10/24.46	c (3,0) c SolvingTime_0 : 2.062224
52.10/24.46	c (3,0) c SolvingTime_1 : 2.089736
52.10/24.46	c (3,0) c SolvingTime_2 : 2.055725
52.10/24.46	c (3,0) c SolvingTime_3 : 2.090662
52.10/24.46	c (3,0) c SolvingTime_4 : 2.045691
52.10/24.46	c (3,0) c SolvingTime_5 : 2.042864
52.10/24.46	c (3,0) c SolvingTime_6 : 2.036890
52.10/24.46	c (3,0) c SolvingTime_7 : 2.027392
52.10/24.46	c (3,0) c SolvingTime_total : 16.451184
52.10/24.46	c (3,0) c SolvingTime_winner : 2.027392
52.10/24.46	c (3,0) c PropagationTime_0 : 1.627039
52.10/24.46	c (3,0) c PropagationTime_1 : 1.557220
52.10/24.46	c (3,0) c PropagationTime_2 : 1.438097
52.10/24.46	c (3,0) c PropagationTime_3 : 1.535688
52.10/24.46	c (3,0) c PropagationTime_4 : 1.532285
52.10/24.46	c (3,0) c PropagationTime_5 : 1.527806
52.10/24.46	c (3,0) c PropagationTime_6 : 1.553540
52.10/24.46	c (3,0) c PropagationTime_7 : 1.451053
52.10/24.46	c (3,0) c PropagationTime_total : 12.222729
52.10/24.46	c (3,0) c PropagationTime_winner : 1.451053
52.10/24.46	c (3,0) c AnalysisTime_0 : 0.188585
52.10/24.46	c (3,0) c AnalysisTime_1 : 0.246677
52.10/24.46	c (3,0) c AnalysisTime_2 : 0.328993
52.10/24.46	c (3,0) c AnalysisTime_3 : 0.265873
52.10/24.46	c (3,0) c AnalysisTime_4 : 0.262127
52.10/24.46	c (3,0) c AnalysisTime_5 : 0.209740
52.10/24.46	c (3,0) c AnalysisTime_6 : 0.254171
52.10/24.46	c (3,0) c AnalysisTime_7 : 0.322739
52.10/24.46	c (3,0) c AnalysisTime_total : 2.078903
52.10/24.46	c (3,0) c AnalysisTime_winner : 0.322739
52.10/24.46	c (3,0) c ReductionTime_0 : 0.000355
52.10/24.46	c (3,0) c ReductionTime_1 : 0.000746
52.10/24.46	c (3,0) c ReductionTime_2 : 0.044716
52.10/24.46	c (3,0) c ReductionTime_3 : 0.000403
52.10/24.46	c (3,0) c ReductionTime_4 : 0.000378
52.10/24.46	c (3,0) c ReductionTime_5 : 0.000372
52.10/24.46	c (3,0) c ReductionTime_6 : 0.000391
52.10/24.46	c (3,0) c ReductionTime_7 : 0.000429
52.10/24.46	c (3,0) c ReductionTime_total : 0.047790
52.10/24.46	c (3,0) c ReductionTime_winner : 0.000429
52.10/24.46	c (3,0) c SimplifyTime_0 : 0.054317
52.10/24.46	c (3,0) c SimplifyTime_1 : 0.105223
52.10/24.46	c (3,0) c SimplifyTime_2 : 0.057539
52.10/24.46	c (3,0) c SimplifyTime_3 : 0.066707
52.10/24.46	c (3,0) c SimplifyTime_4 : 0.061597
52.10/24.46	c (3,0) c SimplifyTime_5 : 0.109422
52.10/24.46	c (3,0) c SimplifyTime_6 : 0.050356
52.10/24.46	c (3,0) c SimplifyTime_7 : 0.042656
52.10/24.46	c (3,0) c SimplifyTime_total : 0.547817
52.10/24.46	c (3,0) c SimplifyTime_winner : 0.042656
52.10/24.46	c (3,0) c UsedRateTime_0 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_1 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_2 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_3 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_4 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_5 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_6 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_7 : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_total : 0.000000
52.10/24.46	c (3,0) c UsedRateTime_winner : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_0 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_1 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_2 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_3 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_4 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_5 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_6 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_7 : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_total : 0.000000
52.10/24.46	c (3,0) c OverlapRateTime_winner : 0.000000
52.10/24.46	c (3,0) c
52.10/24.46	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
52.10/24.46	c (3,0) c
52.10/24.46	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.46	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
52.10/24.46	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.46	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
52.10/24.46	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
52.10/24.46	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
52.10/24.46	c (3,0) c | Initial random_seed   | 1166089132 |  979872241 | 1905711051 |  509036046 | 1101235635 | 1943089745 |  385219372 |  389678300 |
52.10/24.46	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
52.10/24.46	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
52.10/24.46	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
52.10/24.46	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
52.10/24.46	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
52.10/24.46	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
52.10/24.46	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
52.10/24.46	c (3,0) c | var_decay             |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8000 |     0.8000 |
52.10/24.46	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
52.10/24.46	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
52.10/24.46	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
52.10/24.46	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.10/24.46	c (3,0) 
52.10/24.46	c (3,0) s SATISFIABLE
35.70/24.59	c (3,0) SatSolver.solve End
35.70/24.59	c (3,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
35.70/24.59	c (3,0) Show results Begin
52.81/24.76	c (3,0) x[0][0] = 0
52.81/24.76	c (3,0) x[0][1] = 0
52.81/24.76	c (3,0) x[0][2] = 0
52.81/24.76	c (3,0) x[0][3] = 0
52.81/24.76	c (3,0) x[0][4] = 0
52.81/24.76	c (3,0) x[0][5] = 0
52.81/24.76	c (3,0) x[0][6] = 0
52.81/24.76	c (3,0) x[0][7] = 0
52.81/24.76	c (3,0) x[0][8] = 0
52.81/24.76	c (3,0) x[0][9] = 0
52.81/24.76	c (3,0) x[0][10] = 0
52.81/24.76	c (3,0) x[0][11] = 0
52.81/24.76	c (3,0) x[0][12] = 0
52.81/24.76	c (3,0) x[0][13] = 0
52.81/24.76	c (3,0) x[0][14] = 0
52.81/24.76	c (3,0) x[0][15] = 0
52.81/24.76	c (3,0) x[0][16] = 0
52.81/24.76	c (3,0) x[0][17] = 0
52.81/24.76	c (3,0) x[0][18] = 0
52.81/24.76	c (3,0) x[0][19] = 0
52.81/24.76	c (3,0) x[0][20] = 0
52.81/24.76	c (3,0) x[0][21] = 0
52.81/24.76	c (3,0) x[0][22] = 0
52.81/24.76	c (3,0) x[0][23] = 0
52.81/24.76	c (3,0) x[0][24] = 0
52.81/24.76	c (3,0) x[0][25] = 0
52.81/24.76	c (3,0) x[0][26] = 0
52.81/24.76	c (3,0) x[0][27] = 0
52.81/24.76	c (3,0) x[0][28] = 0
52.81/24.76	c (3,0) x[0][29] = 0
52.81/24.76	c (3,0) x[0][30] = 0
52.81/24.76	c (3,0) x[0][31] = 0
52.81/24.76	c (3,0) x[0][32] = 0
52.81/24.76	c (3,0) x[0][33] = 0
52.81/24.76	c (3,0) x[0][34] = 0
52.81/24.76	c (3,0) x[0][35] = 0
52.81/24.76	c (3,0) x[0][36] = 0
52.81/24.76	c (3,0) x[0][37] = 0
52.81/24.76	c (3,0) x[0][38] = 0
52.81/24.76	c (3,0) x[0][39] = 0
52.81/24.76	c (3,0) x[0][40] = 0
52.81/24.76	c (3,0) x[0][41] = 0
52.81/24.76	c (3,0) x[0][42] = 0
52.81/24.76	c (3,0) x[0][43] = 0
52.81/24.76	c (3,0) x[0][44] = 0
52.81/24.76	c (3,0) x[0][45] = 0
52.81/24.76	c (3,0) x[0][46] = 0
52.81/24.76	c (3,0) x[0][47] = 0
52.81/24.76	c (3,0) x[0][48] = 0
52.81/24.76	c (3,0) x[0][49] = 0
52.81/24.76	c (3,0) x[0][50] = 0
52.81/24.76	c (3,0) x[0][51] = 0
52.81/24.76	c (3,0) x[0][52] = 0
52.81/24.76	c (3,0) x[0][53] = 0
52.81/24.76	c (3,0) x[0][54] = 0
52.81/24.76	c (3,0) x[0][55] = 0
52.81/24.76	c (3,0) x[0][56] = 0
52.81/24.76	c (3,0) x[0][57] = 0
52.81/24.76	c (3,0) x[0][58] = 0
52.81/24.76	c (3,0) x[0][59] = 0
52.81/24.76	c (3,0) x[0][60] = 0
52.81/24.76	c (3,0) x[0][61] = 0
52.81/24.76	c (3,0) x[0][62] = 0
52.81/24.76	c (3,0) x[0][63] = 0
52.81/24.76	c (3,0) x[0][64] = 0
52.81/24.76	c (3,0) x[0][65] = 0
52.81/24.76	c (3,0) x[0][66] = 0
52.81/24.76	c (3,0) x[0][67] = 0
52.81/24.76	c (3,0) x[0][68] = 0
52.81/24.76	c (3,0) x[0][69] = 0
52.81/24.76	c (3,0) x[0][70] = 0
52.81/24.76	c (3,0) x[0][71] = 0
52.81/24.76	c (3,0) x[0][72] = 0
52.81/24.76	c (3,0) x[0][73] = 0
52.81/24.76	c (3,0) x[0][74] = 0
52.81/24.76	c (3,0) x[0][75] = 0
52.81/24.76	c (3,0) x[0][76] = 0
52.81/24.76	c (3,0) x[0][77] = 0
52.81/24.76	c (3,0) x[0][78] = 0
52.81/24.76	c (3,0) x[0][79] = 0
52.81/24.76	c (3,0) x[0][80] = 1
52.81/24.76	c (3,0) x[0][81] = 1
52.81/24.76	c (3,0) x[0][82] = 1
52.81/24.76	c (3,0) x[0][83] = 1
52.81/24.76	c (3,0) x[0][84] = 1
52.81/24.76	c (3,0) x[0][85] = 1
52.81/24.77	c (3,0) x[0][86] = 1
52.81/24.77	c (3,0) x[0][87] = 1
52.81/24.77	c (3,0) x[0][88] = 1
52.81/24.77	c (3,0) x[0][89] = 1
52.81/24.77	c (3,0) x[0][90] = 1
52.81/24.77	c (3,0) x[0][91] = 1
52.81/24.77	c (3,0) x[0][92] = 1
52.81/24.77	c (3,0) x[0][93] = 1
52.81/24.77	c (3,0) x[0][94] = 1
52.81/24.77	c (3,0) x[0][95] = 1
52.81/24.77	c (3,0) x[0][96] = 1
52.81/24.77	c (3,0) x[0][97] = 1
52.81/24.77	c (3,0) x[0][98] = 1
52.81/24.77	c (3,0) x[0][99] = 1
52.81/24.77	c (3,0) x[0][100] = 1
52.81/24.77	c (3,0) x[0][101] = 1
52.81/24.77	c (3,0) x[0][102] = 1
52.81/24.77	c (3,0) x[0][103] = 1
52.81/24.77	c (3,0) x[0][104] = 1
52.81/24.77	c (3,0) x[0][105] = 1
52.81/24.77	c (3,0) x[0][106] = 1
52.81/24.77	c (3,0) x[0][107] = 1
52.81/24.77	c (3,0) x[0][108] = 1
52.81/24.77	c (3,0) x[0][109] = 1
52.81/24.77	c (3,0) x[0][110] = 1
52.81/24.77	c (3,0) x[0][111] = 1
52.81/24.77	c (3,0) x[0][112] = 1
52.81/24.77	c (3,0) x[0][113] = 1
52.81/24.77	c (3,0) x[0][114] = 1
52.81/24.77	c (3,0) x[0][115] = 1
52.81/24.77	c (3,0) x[0][116] = 1
52.81/24.77	c (3,0) x[0][117] = 1
52.81/24.77	c (3,0) x[0][118] = 1
52.81/24.77	c (3,0) x[0][119] = 1
52.81/24.77	c (3,0) x[1][0] = 0
52.81/24.77	c (3,0) x[1][1] = 0
52.81/24.77	c (3,0) x[1][2] = 0
52.81/24.77	c (3,0) x[1][3] = 0
52.81/24.77	c (3,0) x[1][4] = 0
52.81/24.77	c (3,0) x[1][5] = 0
52.81/24.77	c (3,0) x[1][6] = 0
52.81/24.77	c (3,0) x[1][7] = 0
52.81/24.77	c (3,0) x[1][8] = 0
52.81/24.77	c (3,0) x[1][9] = 0
52.81/24.77	c (3,0) x[1][10] = 0
52.81/24.77	c (3,0) x[1][11] = 0
52.81/24.77	c (3,0) x[1][12] = 0
52.81/24.77	c (3,0) x[1][13] = 0
52.81/24.77	c (3,0) x[1][14] = 0
52.81/24.77	c (3,0) x[1][15] = 0
52.81/24.77	c (3,0) x[1][16] = 0
52.81/24.77	c (3,0) x[1][17] = 0
52.81/24.77	c (3,0) x[1][18] = 0
52.81/24.77	c (3,0) x[1][19] = 0
52.81/24.77	c (3,0) x[1][20] = 0
52.81/24.77	c (3,0) x[1][21] = 0
52.81/24.77	c (3,0) x[1][22] = 0
52.81/24.77	c (3,0) x[1][23] = 0
52.81/24.77	c (3,0) x[1][24] = 0
52.81/24.77	c (3,0) x[1][25] = 0
52.81/24.77	c (3,0) x[1][26] = 0
52.81/24.77	c (3,0) x[1][27] = 0
52.81/24.77	c (3,0) x[1][28] = 0
52.81/24.77	c (3,0) x[1][29] = 0
52.81/24.77	c (3,0) x[1][30] = 0
52.81/24.77	c (3,0) x[1][31] = 0
52.81/24.77	c (3,0) x[1][32] = 0
52.81/24.77	c (3,0) x[1][33] = 0
52.81/24.77	c (3,0) x[1][34] = 0
52.81/24.77	c (3,0) x[1][35] = 0
52.81/24.77	c (3,0) x[1][36] = 0
52.81/24.77	c (3,0) x[1][37] = 0
52.81/24.77	c (3,0) x[1][38] = 0
52.81/24.77	c (3,0) x[1][39] = 0
52.81/24.77	c (3,0) x[1][40] = 0
52.81/24.77	c (3,0) x[1][41] = 0
52.81/24.77	c (3,0) x[1][42] = 0
52.81/24.77	c (3,0) x[1][43] = 0
52.81/24.77	c (3,0) x[1][44] = 0
52.81/24.77	c (3,0) x[1][45] = 0
52.81/24.77	c (3,0) x[1][46] = 0
52.81/24.77	c (3,0) x[1][47] = 0
52.81/24.77	c (3,0) x[1][48] = 0
52.81/24.77	c (3,0) x[1][49] = 0
52.81/24.77	c (3,0) x[1][50] = 1
52.81/24.77	c (3,0) x[1][51] = 1
52.81/24.77	c (3,0) x[1][52] = 1
52.81/24.77	c (3,0) x[1][53] = 1
52.81/24.77	c (3,0) x[1][54] = 1
52.81/24.77	c (3,0) x[1][55] = 1
52.81/24.77	c (3,0) x[1][56] = 1
52.81/24.77	c (3,0) x[1][57] = 1
52.81/24.77	c (3,0) x[1][58] = 1
52.81/24.77	c (3,0) x[1][59] = 1
52.81/24.77	c (3,0) x[1][60] = 1
52.81/24.77	c (3,0) x[1][61] = 1
52.81/24.77	c (3,0) x[1][62] = 1
52.81/24.77	c (3,0) x[1][63] = 1
52.81/24.77	c (3,0) x[1][64] = 1
52.81/24.77	c (3,0) x[1][65] = 1
52.81/24.77	c (3,0) x[1][66] = 1
52.81/24.77	c (3,0) x[1][67] = 1
52.81/24.77	c (3,0) x[1][68] = 1
52.81/24.77	c (3,0) x[1][69] = 1
52.81/24.77	c (3,0) x[1][70] = 1
52.81/24.77	c (3,0) x[1][71] = 1
52.81/24.77	c (3,0) x[1][72] = 1
52.81/24.77	c (3,0) x[1][73] = 1
52.81/24.77	c (3,0) x[1][74] = 1
52.81/24.77	c (3,0) x[1][75] = 1
52.81/24.77	c (3,0) x[1][76] = 1
52.81/24.77	c (3,0) x[1][77] = 1
52.81/24.77	c (3,0) x[1][78] = 1
52.81/24.77	c (3,0) x[1][79] = 1
52.81/24.77	c (3,0) x[1][80] = 0
52.81/24.77	c (3,0) x[1][81] = 0
52.81/24.77	c (3,0) x[1][82] = 0
52.81/24.77	c (3,0) x[1][83] = 0
52.81/24.77	c (3,0) x[1][84] = 0
52.81/24.77	c (3,0) x[1][85] = 0
52.81/24.77	c (3,0) x[1][86] = 0
52.81/24.77	c (3,0) x[1][87] = 0
52.81/24.77	c (3,0) x[1][88] = 0
52.81/24.77	c (3,0) x[1][89] = 0
52.81/24.77	c (3,0) x[1][90] = 0
52.81/24.77	c (3,0) x[1][91] = 0
52.81/24.77	c (3,0) x[1][92] = 0
52.81/24.77	c (3,0) x[1][93] = 0
52.81/24.77	c (3,0) x[1][94] = 0
52.81/24.77	c (3,0) x[1][95] = 0
52.81/24.77	c (3,0) x[1][96] = 0
52.81/24.77	c (3,0) x[1][97] = 0
52.81/24.77	c (3,0) x[1][98] = 0
52.81/24.77	c (3,0) x[1][99] = 0
52.81/24.77	c (3,0) x[1][100] = 0
52.81/24.77	c (3,0) x[1][101] = 0
52.81/24.77	c (3,0) x[1][102] = 0
52.81/24.77	c (3,0) x[1][103] = 0
52.81/24.77	c (3,0) x[1][104] = 0
52.81/24.77	c (3,0) x[1][105] = 0
52.81/24.77	c (3,0) x[1][106] = 0
52.81/24.77	c (3,0) x[1][107] = 0
52.81/24.77	c (3,0) x[1][108] = 0
52.81/24.77	c (3,0) x[1][109] = 0
52.81/24.77	c (3,0) x[1][110] = 1
52.81/24.77	c (3,0) x[1][111] = 1
52.81/24.77	c (3,0) x[1][112] = 1
52.81/24.77	c (3,0) x[1][113] = 1
52.81/24.77	c (3,0) x[1][114] = 1
52.81/24.77	c (3,0) x[1][115] = 1
52.81/24.77	c (3,0) x[1][116] = 1
52.81/24.77	c (3,0) x[1][117] = 1
52.81/24.77	c (3,0) x[1][118] = 1
52.81/24.77	c (3,0) x[1][119] = 1
52.81/24.77	c (3,0) x[2][0] = 0
52.81/24.77	c (3,0) x[2][1] = 0
52.81/24.77	c (3,0) x[2][2] = 0
52.81/24.77	c (3,0) x[2][3] = 0
52.81/24.77	c (3,0) x[2][4] = 0
52.81/24.77	c (3,0) x[2][5] = 0
52.81/24.77	c (3,0) x[2][6] = 0
52.81/24.77	c (3,0) x[2][7] = 0
52.81/24.77	c (3,0) x[2][8] = 0
52.81/24.77	c (3,0) x[2][9] = 0
52.81/24.77	c (3,0) x[2][10] = 0
52.81/24.77	c (3,0) x[2][11] = 0
52.81/24.77	c (3,0) x[2][12] = 0
52.81/24.77	c (3,0) x[2][13] = 0
52.81/24.77	c (3,0) x[2][14] = 0
52.81/24.77	c (3,0) x[2][15] = 0
52.81/24.77	c (3,0) x[2][16] = 0
52.81/24.77	c (3,0) x[2][17] = 0
52.81/24.77	c (3,0) x[2][18] = 0
52.81/24.77	c (3,0) x[2][19] = 0
52.81/24.77	c (3,0) x[2][20] = 0
52.81/24.77	c (3,0) x[2][21] = 0
52.81/24.77	c (3,0) x[2][22] = 0
52.81/24.77	c (3,0) x[2][23] = 1
52.81/24.77	c (3,0) x[2][24] = 1
52.81/24.77	c (3,0) x[2][25] = 1
52.81/24.77	c (3,0) x[2][26] = 1
52.81/24.77	c (3,0) x[2][27] = 1
52.81/24.77	c (3,0) x[2][28] = 1
52.81/24.77	c (3,0) x[2][29] = 1
52.81/24.77	c (3,0) x[2][30] = 1
52.81/24.77	c (3,0) x[2][31] = 1
52.81/24.77	c (3,0) x[2][32] = 1
52.81/24.77	c (3,0) x[2][33] = 1
52.81/24.77	c (3,0) x[2][34] = 1
52.81/24.77	c (3,0) x[2][35] = 1
52.81/24.77	c (3,0) x[2][36] = 1
52.81/24.77	c (3,0) x[2][37] = 1
52.81/24.77	c (3,0) x[2][38] = 1
52.81/24.77	c (3,0) x[2][39] = 1
52.81/24.77	c (3,0) x[2][40] = 1
52.81/24.77	c (3,0) x[2][41] = 1
52.81/24.77	c (3,0) x[2][42] = 1
52.81/24.77	c (3,0) x[2][43] = 1
52.81/24.77	c (3,0) x[2][44] = 1
52.81/24.77	c (3,0) x[2][45] = 1
52.81/24.77	c (3,0) x[2][46] = 1
52.81/24.77	c (3,0) x[2][47] = 1
52.81/24.77	c (3,0) x[2][48] = 1
52.81/24.77	c (3,0) x[2][49] = 1
52.81/24.77	c (3,0) x[2][50] = 0
52.81/24.77	c (3,0) x[2][51] = 0
52.81/24.77	c (3,0) x[2][52] = 0
52.81/24.77	c (3,0) x[2][53] = 0
52.81/24.77	c (3,0) x[2][54] = 0
52.81/24.77	c (3,0) x[2][55] = 0
52.81/24.77	c (3,0) x[2][56] = 0
52.81/24.77	c (3,0) x[2][57] = 0
52.81/24.77	c (3,0) x[2][58] = 0
52.81/24.77	c (3,0) x[2][59] = 0
52.81/24.77	c (3,0) x[2][60] = 0
52.81/24.77	c (3,0) x[2][61] = 0
52.81/24.77	c (3,0) x[2][62] = 0
52.81/24.77	c (3,0) x[2][63] = 0
52.81/24.77	c (3,0) x[2][64] = 0
52.81/24.77	c (3,0) x[2][65] = 0
52.81/24.77	c (3,0) x[2][66] = 0
52.81/24.77	c (3,0) x[2][67] = 0
52.81/24.77	c (3,0) x[2][68] = 0
52.81/24.77	c (3,0) x[2][69] = 0
52.81/24.77	c (3,0) x[2][70] = 0
52.81/24.77	c (3,0) x[2][71] = 0
52.81/24.77	c (3,0) x[2][72] = 0
52.81/24.77	c (3,0) x[2][73] = 0
52.81/24.77	c (3,0) x[2][74] = 0
52.81/24.77	c (3,0) x[2][75] = 0
52.81/24.77	c (3,0) x[2][76] = 0
52.81/24.77	c (3,0) x[2][77] = 1
52.81/24.77	c (3,0) x[2][78] = 1
52.81/24.77	c (3,0) x[2][79] = 1
52.81/24.77	c (3,0) x[2][80] = 0
52.81/24.77	c (3,0) x[2][81] = 0
52.81/24.77	c (3,0) x[2][82] = 0
52.81/24.77	c (3,0) x[2][83] = 0
52.81/24.77	c (3,0) x[2][84] = 0
52.81/24.77	c (3,0) x[2][85] = 0
52.81/24.77	c (3,0) x[2][86] = 0
52.81/24.77	c (3,0) x[2][87] = 0
52.81/24.77	c (3,0) x[2][88] = 0
52.81/24.77	c (3,0) x[2][89] = 0
52.81/24.77	c (3,0) x[2][90] = 0
52.81/24.77	c (3,0) x[2][91] = 0
52.81/24.77	c (3,0) x[2][92] = 0
52.81/24.77	c (3,0) x[2][93] = 0
52.81/24.77	c (3,0) x[2][94] = 0
52.81/24.77	c (3,0) x[2][95] = 0
52.81/24.77	c (3,0) x[2][96] = 0
52.81/24.77	c (3,0) x[2][97] = 0
52.81/24.77	c (3,0) x[2][98] = 0
52.81/24.77	c (3,0) x[2][99] = 0
52.81/24.77	c (3,0) x[2][100] = 0
52.81/24.77	c (3,0) x[2][101] = 0
52.81/24.77	c (3,0) x[2][102] = 0
52.81/24.77	c (3,0) x[2][103] = 0
52.81/24.77	c (3,0) x[2][104] = 0
52.81/24.77	c (3,0) x[2][105] = 0
52.81/24.77	c (3,0) x[2][106] = 0
52.81/24.77	c (3,0) x[2][107] = 1
52.81/24.77	c (3,0) x[2][108] = 1
52.81/24.77	c (3,0) x[2][109] = 1
52.81/24.77	c (3,0) x[2][110] = 0
52.81/24.77	c (3,0) x[2][111] = 0
52.81/24.77	c (3,0) x[2][112] = 0
52.81/24.77	c (3,0) x[2][113] = 1
52.81/24.77	c (3,0) x[2][114] = 1
52.81/24.77	c (3,0) x[2][115] = 1
52.81/24.77	c (3,0) x[2][116] = 1
52.81/24.77	c (3,0) x[2][117] = 1
52.81/24.77	c (3,0) x[2][118] = 1
52.81/24.77	c (3,0) x[2][119] = 1
52.81/24.77	c (3,0) x[3][0] = 0
52.81/24.77	c (3,0) x[3][1] = 0
52.81/24.77	c (3,0) x[3][2] = 0
52.81/24.77	c (3,0) x[3][3] = 0
52.81/24.77	c (3,0) x[3][4] = 0
52.81/24.77	c (3,0) x[3][5] = 0
52.81/24.77	c (3,0) x[3][6] = 0
52.81/24.77	c (3,0) x[3][7] = 0
52.81/24.77	c (3,0) x[3][8] = 0
52.81/24.77	c (3,0) x[3][9] = 1
52.81/24.77	c (3,0) x[3][10] = 1
52.81/24.77	c (3,0) x[3][11] = 1
52.81/24.77	c (3,0) x[3][12] = 1
52.81/24.77	c (3,0) x[3][13] = 1
52.81/24.77	c (3,0) x[3][14] = 1
52.81/24.77	c (3,0) x[3][15] = 1
52.81/24.77	c (3,0) x[3][16] = 1
52.81/24.77	c (3,0) x[3][17] = 1
52.81/24.77	c (3,0) x[3][18] = 1
52.81/24.77	c (3,0) x[3][19] = 1
52.81/24.77	c (3,0) x[3][20] = 1
52.81/24.77	c (3,0) x[3][21] = 1
52.81/24.77	c (3,0) x[3][22] = 1
52.81/24.77	c (3,0) x[3][23] = 0
52.81/24.77	c (3,0) x[3][24] = 0
52.81/24.77	c (3,0) x[3][25] = 0
52.81/24.77	c (3,0) x[3][26] = 0
52.81/24.77	c (3,0) x[3][27] = 0
52.81/24.77	c (3,0) x[3][28] = 0
52.81/24.77	c (3,0) x[3][29] = 0
52.81/24.77	c (3,0) x[3][30] = 0
52.81/24.77	c (3,0) x[3][31] = 0
52.81/24.77	c (3,0) x[3][32] = 0
52.81/24.77	c (3,0) x[3][33] = 0
52.81/24.77	c (3,0) x[3][34] = 0
52.81/24.77	c (3,0) x[3][35] = 0
52.81/24.77	c (3,0) x[3][36] = 0
52.81/24.77	c (3,0) x[3][37] = 0
52.81/24.77	c (3,0) x[3][38] = 0
52.81/24.77	c (3,0) x[3][39] = 0
52.81/24.77	c (3,0) x[3][40] = 0
52.81/24.77	c (3,0) x[3][41] = 0
52.81/24.77	c (3,0) x[3][42] = 0
52.81/24.77	c (3,0) x[3][43] = 1
52.81/24.77	c (3,0) x[3][44] = 1
52.81/24.77	c (3,0) x[3][45] = 1
52.81/24.77	c (3,0) x[3][46] = 1
52.81/24.77	c (3,0) x[3][47] = 1
52.81/24.77	c (3,0) x[3][48] = 1
52.81/24.77	c (3,0) x[3][49] = 1
52.81/24.77	c (3,0) x[3][50] = 0
52.81/24.77	c (3,0) x[3][51] = 0
52.81/24.77	c (3,0) x[3][52] = 0
52.81/24.77	c (3,0) x[3][53] = 0
52.81/24.77	c (3,0) x[3][54] = 0
52.81/24.77	c (3,0) x[3][55] = 0
52.81/24.77	c (3,0) x[3][56] = 0
52.81/24.77	c (3,0) x[3][57] = 0
52.81/24.77	c (3,0) x[3][58] = 0
52.81/24.77	c (3,0) x[3][59] = 0
52.81/24.77	c (3,0) x[3][60] = 0
52.81/24.77	c (3,0) x[3][61] = 0
52.81/24.77	c (3,0) x[3][62] = 0
52.81/24.77	c (3,0) x[3][63] = 0
52.81/24.77	c (3,0) x[3][64] = 0
52.81/24.77	c (3,0) x[3][65] = 0
52.81/24.77	c (3,0) x[3][66] = 0
52.81/24.77	c (3,0) x[3][67] = 0
52.81/24.77	c (3,0) x[3][68] = 1
52.81/24.77	c (3,0) x[3][69] = 1
52.81/24.77	c (3,0) x[3][70] = 1
52.81/24.77	c (3,0) x[3][71] = 1
52.81/24.77	c (3,0) x[3][72] = 1
52.81/24.77	c (3,0) x[3][73] = 1
52.81/24.77	c (3,0) x[3][74] = 1
52.81/24.77	c (3,0) x[3][75] = 1
52.81/24.77	c (3,0) x[3][76] = 1
52.81/24.77	c (3,0) x[3][77] = 0
52.81/24.77	c (3,0) x[3][78] = 0
52.81/24.77	c (3,0) x[3][79] = 0
52.81/24.77	c (3,0) x[3][80] = 0
52.81/24.77	c (3,0) x[3][81] = 0
52.81/24.77	c (3,0) x[3][82] = 0
52.81/24.77	c (3,0) x[3][83] = 0
52.81/24.77	c (3,0) x[3][84] = 0
52.81/24.77	c (3,0) x[3][85] = 0
52.81/24.77	c (3,0) x[3][86] = 0
52.81/24.77	c (3,0) x[3][87] = 0
52.81/24.77	c (3,0) x[3][88] = 0
52.81/24.77	c (3,0) x[3][89] = 0
52.81/24.77	c (3,0) x[3][90] = 0
52.81/24.77	c (3,0) x[3][91] = 0
52.81/24.77	c (3,0) x[3][92] = 0
52.81/24.77	c (3,0) x[3][93] = 0
52.81/24.77	c (3,0) x[3][94] = 0
52.81/24.77	c (3,0) x[3][95] = 0
52.81/24.77	c (3,0) x[3][96] = 0
52.81/24.77	c (3,0) x[3][97] = 0
52.81/24.77	c (3,0) x[3][98] = 0
52.81/24.77	c (3,0) x[3][99] = 0
52.81/24.77	c (3,0) x[3][100] = 0
52.81/24.77	c (3,0) x[3][101] = 1
52.81/24.77	c (3,0) x[3][102] = 1
52.81/24.77	c (3,0) x[3][103] = 1
52.81/24.77	c (3,0) x[3][104] = 1
52.81/24.77	c (3,0) x[3][105] = 1
52.81/24.77	c (3,0) x[3][106] = 1
52.81/24.77	c (3,0) x[3][107] = 1
52.81/24.77	c (3,0) x[3][108] = 1
52.81/24.77	c (3,0) x[3][109] = 1
52.81/24.77	c (3,0) x[3][110] = 0
52.81/24.77	c (3,0) x[3][111] = 0
52.81/24.77	c (3,0) x[3][112] = 1
52.81/24.77	c (3,0) x[3][113] = 0
52.81/24.77	c (3,0) x[3][114] = 0
52.81/24.77	c (3,0) x[3][115] = 0
52.81/24.77	c (3,0) x[3][116] = 0
52.81/24.77	c (3,0) x[3][117] = 0
52.81/24.77	c (3,0) x[3][118] = 0
52.81/24.77	c (3,0) x[3][119] = 0
52.81/24.77	c (3,0) x[4][0] = 0
52.81/24.77	c (3,0) x[4][1] = 1
52.81/24.77	c (3,0) x[4][2] = 1
52.81/24.77	c (3,0) x[4][3] = 1
52.81/24.77	c (3,0) x[4][4] = 1
52.81/24.77	c (3,0) x[4][5] = 1
52.81/24.77	c (3,0) x[4][6] = 1
52.81/24.77	c (3,0) x[4][7] = 1
52.81/24.77	c (3,0) x[4][8] = 1
52.81/24.77	c (3,0) x[4][9] = 0
52.81/24.77	c (3,0) x[4][10] = 0
52.81/24.77	c (3,0) x[4][11] = 0
52.81/24.77	c (3,0) x[4][12] = 0
52.81/24.77	c (3,0) x[4][13] = 0
52.81/24.77	c (3,0) x[4][14] = 0
52.81/24.77	c (3,0) x[4][15] = 0
52.81/24.77	c (3,0) x[4][16] = 0
52.81/24.77	c (3,0) x[4][17] = 0
52.81/24.77	c (3,0) x[4][18] = 0
52.81/24.77	c (3,0) x[4][19] = 1
52.81/24.77	c (3,0) x[4][20] = 1
52.81/24.77	c (3,0) x[4][21] = 1
52.81/24.77	c (3,0) x[4][22] = 1
52.81/24.77	c (3,0) x[4][23] = 0
52.81/24.77	c (3,0) x[4][24] = 0
52.81/24.77	c (3,0) x[4][25] = 0
52.81/24.77	c (3,0) x[4][26] = 0
52.81/24.77	c (3,0) x[4][27] = 0
52.81/24.77	c (3,0) x[4][28] = 0
52.81/24.77	c (3,0) x[4][29] = 0
52.81/24.77	c (3,0) x[4][30] = 0
52.81/24.77	c (3,0) x[4][31] = 0
52.81/24.77	c (3,0) x[4][32] = 0
52.81/24.77	c (3,0) x[4][33] = 1
52.81/24.77	c (3,0) x[4][34] = 1
52.81/24.77	c (3,0) x[4][35] = 1
52.81/24.77	c (3,0) x[4][36] = 1
52.81/24.77	c (3,0) x[4][37] = 1
52.81/24.77	c (3,0) x[4][38] = 1
52.81/24.77	c (3,0) x[4][39] = 1
52.81/24.77	c (3,0) x[4][40] = 1
52.81/24.77	c (3,0) x[4][41] = 1
52.81/24.77	c (3,0) x[4][42] = 1
52.81/24.77	c (3,0) x[4][43] = 0
52.81/24.77	c (3,0) x[4][44] = 0
52.81/24.77	c (3,0) x[4][45] = 0
52.81/24.77	c (3,0) x[4][46] = 0
52.81/24.77	c (3,0) x[4][47] = 0
52.81/24.77	c (3,0) x[4][48] = 0
52.81/24.77	c (3,0) x[4][49] = 0
52.81/24.77	c (3,0) x[4][50] = 0
52.81/24.77	c (3,0) x[4][51] = 0
52.81/24.77	c (3,0) x[4][52] = 0
52.81/24.77	c (3,0) x[4][53] = 0
52.81/24.77	c (3,0) x[4][54] = 0
52.81/24.77	c (3,0) x[4][55] = 0
52.81/24.77	c (3,0) x[4][56] = 0
52.81/24.77	c (3,0) x[4][57] = 0
52.81/24.77	c (3,0) x[4][58] = 0
52.81/24.77	c (3,0) x[4][59] = 0
52.81/24.77	c (3,0) x[4][60] = 1
52.81/24.77	c (3,0) x[4][61] = 1
52.81/24.77	c (3,0) x[4][62] = 1
52.81/24.77	c (3,0) x[4][63] = 1
52.81/24.77	c (3,0) x[4][64] = 1
52.81/24.77	c (3,0) x[4][65] = 1
52.81/24.77	c (3,0) x[4][66] = 1
52.81/24.77	c (3,0) x[4][67] = 1
52.81/24.77	c (3,0) x[4][68] = 0
52.81/24.77	c (3,0) x[4][69] = 0
52.81/24.77	c (3,0) x[4][70] = 0
52.81/24.77	c (3,0) x[4][71] = 0
52.81/24.77	c (3,0) x[4][72] = 0
52.81/24.77	c (3,0) x[4][73] = 0
52.81/24.77	c (3,0) x[4][74] = 0
52.81/24.77	c (3,0) x[4][75] = 0
52.81/24.77	c (3,0) x[4][76] = 0
52.81/24.77	c (3,0) x[4][77] = 0
52.81/24.77	c (3,0) x[4][78] = 0
52.81/24.77	c (3,0) x[4][79] = 0
52.81/24.77	c (3,0) x[4][80] = 0
52.81/24.77	c (3,0) x[4][81] = 0
52.81/24.77	c (3,0) x[4][82] = 0
52.81/24.77	c (3,0) x[4][83] = 0
52.81/24.77	c (3,0) x[4][84] = 0
52.81/24.77	c (3,0) x[4][85] = 0
52.81/24.77	c (3,0) x[4][86] = 0
52.81/24.77	c (3,0) x[4][87] = 0
52.81/24.77	c (3,0) x[4][88] = 0
52.81/24.77	c (3,0) x[4][89] = 0
52.81/24.77	c (3,0) x[4][90] = 0
52.81/24.77	c (3,0) x[4][91] = 0
52.81/24.77	c (3,0) x[4][92] = 0
52.81/24.77	c (3,0) x[4][93] = 0
52.81/24.77	c (3,0) x[4][94] = 0
52.81/24.77	c (3,0) x[4][95] = 0
52.81/24.77	c (3,0) x[4][96] = 0
52.81/24.77	c (3,0) x[4][97] = 0
52.81/24.77	c (3,0) x[4][98] = 0
52.81/24.77	c (3,0) x[4][99] = 1
52.81/24.77	c (3,0) x[4][100] = 1
52.81/24.77	c (3,0) x[4][101] = 1
52.81/24.77	c (3,0) x[4][102] = 1
52.81/24.77	c (3,0) x[4][103] = 1
52.81/24.77	c (3,0) x[4][104] = 1
52.81/24.77	c (3,0) x[4][105] = 1
52.81/24.77	c (3,0) x[4][106] = 1
52.81/24.77	c (3,0) x[4][107] = 0
52.81/24.77	c (3,0) x[4][108] = 0
52.81/24.77	c (3,0) x[4][109] = 0
52.81/24.77	c (3,0) x[4][110] = 1
52.81/24.77	c (3,0) x[4][111] = 1
52.81/24.77	c (3,0) x[4][112] = 0
52.81/24.77	c (3,0) x[4][113] = 0
52.81/24.77	c (3,0) x[4][114] = 0
52.81/24.77	c (3,0) x[4][115] = 0
52.81/24.77	c (3,0) x[4][116] = 0
52.81/24.77	c (3,0) x[4][117] = 0
52.81/24.77	c (3,0) x[4][118] = 0
52.81/24.77	c (3,0) x[4][119] = 0
52.81/24.77	c (3,0) x[5][0] = 0
52.81/24.78	c (3,0) x[5][1] = 1
52.81/24.78	c (3,0) x[5][2] = 1
52.81/24.78	c (3,0) x[5][3] = 1
52.81/24.78	c (3,0) x[5][4] = 1
52.81/24.78	c (3,0) x[5][5] = 1
52.81/24.78	c (3,0) x[5][6] = 1
52.81/24.78	c (3,0) x[5][7] = 1
52.81/24.78	c (3,0) x[5][8] = 1
52.81/24.78	c (3,0) x[5][9] = 0
52.81/24.78	c (3,0) x[5][10] = 0
52.81/24.78	c (3,0) x[5][11] = 0
52.81/24.78	c (3,0) x[5][12] = 0
52.81/24.78	c (3,0) x[5][13] = 0
52.81/24.78	c (3,0) x[5][14] = 0
52.81/24.78	c (3,0) x[5][15] = 0
52.81/24.78	c (3,0) x[5][16] = 0
52.81/24.78	c (3,0) x[5][17] = 0
52.81/24.78	c (3,0) x[5][18] = 1
52.81/24.78	c (3,0) x[5][19] = 0
52.81/24.78	c (3,0) x[5][20] = 0
52.81/24.78	c (3,0) x[5][21] = 0
52.81/24.78	c (3,0) x[5][22] = 1
52.81/24.78	c (3,0) x[5][23] = 0
52.81/24.78	c (3,0) x[5][24] = 0
52.81/24.78	c (3,0) x[5][25] = 0
52.81/24.78	c (3,0) x[5][26] = 1
52.81/24.78	c (3,0) x[5][27] = 1
52.81/24.78	c (3,0) x[5][28] = 1
52.81/24.78	c (3,0) x[5][29] = 1
52.81/24.78	c (3,0) x[5][30] = 1
52.81/24.78	c (3,0) x[5][31] = 1
52.81/24.78	c (3,0) x[5][32] = 1
52.81/24.78	c (3,0) x[5][33] = 0
52.81/24.78	c (3,0) x[5][34] = 0
52.81/24.78	c (3,0) x[5][35] = 0
52.81/24.78	c (3,0) x[5][36] = 0
52.81/24.78	c (3,0) x[5][37] = 0
52.81/24.78	c (3,0) x[5][38] = 0
52.81/24.78	c (3,0) x[5][39] = 0
52.81/24.78	c (3,0) x[5][40] = 0
52.81/24.78	c (3,0) x[5][41] = 0
52.81/24.78	c (3,0) x[5][42] = 0
52.81/24.78	c (3,0) x[5][43] = 0
52.81/24.78	c (3,0) x[5][44] = 0
52.81/24.78	c (3,0) x[5][45] = 0
52.81/24.78	c (3,0) x[5][46] = 0
52.81/24.78	c (3,0) x[5][47] = 1
52.81/24.78	c (3,0) x[5][48] = 1
52.81/24.78	c (3,0) x[5][49] = 1
52.81/24.78	c (3,0) x[5][50] = 0
52.81/24.78	c (3,0) x[5][51] = 0
52.81/24.78	c (3,0) x[5][52] = 0
52.81/24.78	c (3,0) x[5][53] = 0
52.81/24.78	c (3,0) x[5][54] = 0
52.81/24.78	c (3,0) x[5][55] = 0
52.81/24.78	c (3,0) x[5][56] = 1
52.81/24.78	c (3,0) x[5][57] = 1
52.81/24.78	c (3,0) x[5][58] = 1
52.81/24.78	c (3,0) x[5][59] = 1
52.81/24.78	c (3,0) x[5][60] = 0
52.81/24.78	c (3,0) x[5][61] = 0
52.81/24.78	c (3,0) x[5][62] = 0
52.81/24.78	c (3,0) x[5][63] = 0
52.81/24.78	c (3,0) x[5][64] = 0
52.81/24.78	c (3,0) x[5][65] = 0
52.81/24.78	c (3,0) x[5][66] = 0
52.81/24.78	c (3,0) x[5][67] = 1
52.81/24.78	c (3,0) x[5][68] = 0
52.81/24.78	c (3,0) x[5][69] = 0
52.81/24.78	c (3,0) x[5][70] = 0
52.81/24.78	c (3,0) x[5][71] = 0
52.81/24.78	c (3,0) x[5][72] = 1
52.81/24.78	c (3,0) x[5][73] = 1
52.81/24.78	c (3,0) x[5][74] = 1
52.81/24.78	c (3,0) x[5][75] = 1
52.81/24.78	c (3,0) x[5][76] = 1
52.81/24.78	c (3,0) x[5][77] = 0
52.81/24.78	c (3,0) x[5][78] = 0
52.81/24.78	c (3,0) x[5][79] = 0
52.81/24.78	c (3,0) x[5][80] = 0
52.81/24.78	c (3,0) x[5][81] = 0
52.81/24.78	c (3,0) x[5][82] = 0
52.81/24.78	c (3,0) x[5][83] = 0
52.81/24.78	c (3,0) x[5][84] = 0
52.81/24.78	c (3,0) x[5][85] = 0
52.81/24.78	c (3,0) x[5][86] = 0
52.81/24.78	c (3,0) x[5][87] = 0
52.81/24.78	c (3,0) x[5][88] = 0
52.81/24.78	c (3,0) x[5][89] = 1
52.81/24.78	c (3,0) x[5][90] = 1
52.81/24.78	c (3,0) x[5][91] = 1
52.81/24.78	c (3,0) x[5][92] = 1
52.81/24.78	c (3,0) x[5][93] = 1
52.81/24.78	c (3,0) x[5][94] = 1
52.81/24.78	c (3,0) x[5][95] = 1
52.81/24.78	c (3,0) x[5][96] = 1
52.81/24.78	c (3,0) x[5][97] = 1
52.81/24.78	c (3,0) x[5][98] = 1
52.81/24.78	c (3,0) x[5][99] = 0
52.81/24.78	c (3,0) x[5][100] = 0
52.81/24.78	c (3,0) x[5][101] = 0
52.81/24.78	c (3,0) x[5][102] = 0
52.81/24.78	c (3,0) x[5][103] = 0
52.81/24.78	c (3,0) x[5][104] = 0
52.81/24.78	c (3,0) x[5][105] = 0
52.81/24.78	c (3,0) x[5][106] = 0
52.81/24.78	c (3,0) x[5][107] = 0
52.81/24.78	c (3,0) x[5][108] = 0
52.81/24.78	c (3,0) x[5][109] = 0
52.81/24.78	c (3,0) x[5][110] = 0
52.81/24.78	c (3,0) x[5][111] = 0
52.81/24.78	c (3,0) x[5][112] = 0
52.81/24.78	c (3,0) x[5][113] = 0
52.81/24.78	c (3,0) x[5][114] = 0
52.81/24.78	c (3,0) x[5][115] = 0
52.81/24.78	c (3,0) x[5][116] = 0
52.81/24.78	c (3,0) x[5][117] = 0
52.81/24.78	c (3,0) x[5][118] = 0
52.81/24.78	c (3,0) x[5][119] = 0
52.81/24.78	c (3,0) x[6][0] = 1
52.81/24.78	c (3,0) x[6][1] = 0
52.81/24.78	c (3,0) x[6][2] = 0
52.81/24.78	c (3,0) x[6][3] = 0
52.81/24.78	c (3,0) x[6][4] = 0
52.81/24.78	c (3,0) x[6][5] = 0
52.81/24.78	c (3,0) x[6][6] = 1
52.81/24.78	c (3,0) x[6][7] = 1
52.81/24.78	c (3,0) x[6][8] = 1
52.81/24.78	c (3,0) x[6][9] = 0
52.81/24.78	c (3,0) x[6][10] = 1
52.81/24.78	c (3,0) x[6][11] = 1
52.81/24.78	c (3,0) x[6][12] = 1
52.81/24.78	c (3,0) x[6][13] = 1
52.81/24.78	c (3,0) x[6][14] = 1
52.81/24.78	c (3,0) x[6][15] = 1
52.81/24.78	c (3,0) x[6][16] = 1
52.81/24.78	c (3,0) x[6][17] = 1
52.81/24.78	c (3,0) x[6][18] = 0
52.81/24.78	c (3,0) x[6][19] = 0
52.81/24.78	c (3,0) x[6][20] = 0
52.81/24.78	c (3,0) x[6][21] = 0
52.81/24.78	c (3,0) x[6][22] = 0
52.81/24.78	c (3,0) x[6][23] = 0
52.81/24.78	c (3,0) x[6][24] = 0
52.81/24.78	c (3,0) x[6][25] = 0
52.81/24.78	c (3,0) x[6][26] = 0
52.81/24.78	c (3,0) x[6][27] = 0
52.81/24.78	c (3,0) x[6][28] = 0
52.81/24.78	c (3,0) x[6][29] = 0
52.81/24.78	c (3,0) x[6][30] = 0
52.81/24.78	c (3,0) x[6][31] = 0
52.81/24.78	c (3,0) x[6][32] = 0
52.81/24.78	c (3,0) x[6][33] = 0
52.81/24.78	c (3,0) x[6][34] = 0
52.81/24.78	c (3,0) x[6][35] = 0
52.81/24.78	c (3,0) x[6][36] = 0
52.81/24.78	c (3,0) x[6][37] = 1
52.81/24.78	c (3,0) x[6][38] = 1
52.81/24.78	c (3,0) x[6][39] = 1
52.81/24.78	c (3,0) x[6][40] = 1
52.81/24.78	c (3,0) x[6][41] = 1
52.81/24.78	c (3,0) x[6][42] = 1
52.81/24.78	c (3,0) x[6][43] = 0
52.81/24.78	c (3,0) x[6][44] = 0
52.81/24.78	c (3,0) x[6][45] = 1
52.81/24.78	c (3,0) x[6][46] = 1
52.81/24.78	c (3,0) x[6][47] = 0
52.81/24.78	c (3,0) x[6][48] = 0
52.81/24.78	c (3,0) x[6][49] = 0
52.81/24.78	c (3,0) x[6][50] = 0
52.81/24.78	c (3,0) x[6][51] = 0
52.81/24.78	c (3,0) x[6][52] = 1
52.81/24.78	c (3,0) x[6][53] = 1
52.81/24.78	c (3,0) x[6][54] = 1
52.81/24.78	c (3,0) x[6][55] = 1
52.81/24.78	c (3,0) x[6][56] = 1
52.81/24.78	c (3,0) x[6][57] = 1
52.81/24.78	c (3,0) x[6][58] = 1
52.81/24.78	c (3,0) x[6][59] = 1
52.81/24.78	c (3,0) x[6][60] = 0
52.81/24.78	c (3,0) x[6][61] = 0
52.81/24.78	c (3,0) x[6][62] = 0
52.81/24.78	c (3,0) x[6][63] = 0
52.81/24.78	c (3,0) x[6][64] = 0
52.81/24.78	c (3,0) x[6][65] = 0
52.81/24.78	c (3,0) x[6][66] = 0
52.81/24.78	c (3,0) x[6][67] = 0
52.81/24.78	c (3,0) x[6][68] = 0
52.81/24.78	c (3,0) x[6][69] = 0
52.81/24.78	c (3,0) x[6][70] = 0
52.81/24.78	c (3,0) x[6][71] = 0
52.81/24.78	c (3,0) x[6][72] = 0
52.81/24.78	c (3,0) x[6][73] = 0
52.81/24.78	c (3,0) x[6][74] = 0
52.81/24.78	c (3,0) x[6][75] = 0
52.81/24.78	c (3,0) x[6][76] = 0
52.81/24.78	c (3,0) x[6][77] = 0
52.81/24.78	c (3,0) x[6][78] = 1
52.81/24.78	c (3,0) x[6][79] = 1
52.81/24.78	c (3,0) x[6][80] = 0
52.81/24.78	c (3,0) x[6][81] = 0
52.81/24.78	c (3,0) x[6][82] = 0
52.81/24.78	c (3,0) x[6][83] = 1
52.81/24.78	c (3,0) x[6][84] = 1
52.81/24.78	c (3,0) x[6][85] = 1
52.81/24.78	c (3,0) x[6][86] = 1
52.81/24.78	c (3,0) x[6][87] = 1
52.81/24.78	c (3,0) x[6][88] = 1
52.81/24.78	c (3,0) x[6][89] = 0
52.81/24.78	c (3,0) x[6][90] = 0
52.81/24.78	c (3,0) x[6][91] = 0
52.81/24.78	c (3,0) x[6][92] = 0
52.81/24.78	c (3,0) x[6][93] = 0
52.81/24.78	c (3,0) x[6][94] = 0
52.81/24.78	c (3,0) x[6][95] = 0
52.81/24.78	c (3,0) x[6][96] = 1
52.81/24.78	c (3,0) x[6][97] = 1
52.81/24.78	c (3,0) x[6][98] = 1
52.81/24.78	c (3,0) x[6][99] = 0
52.81/24.78	c (3,0) x[6][100] = 1
52.81/24.78	c (3,0) x[6][101] = 0
52.81/24.78	c (3,0) x[6][102] = 0
52.81/24.78	c (3,0) x[6][103] = 0
52.81/24.78	c (3,0) x[6][104] = 0
52.81/24.78	c (3,0) x[6][105] = 0
52.81/24.78	c (3,0) x[6][106] = 0
52.81/24.78	c (3,0) x[6][107] = 0
52.81/24.78	c (3,0) x[6][108] = 0
52.81/24.78	c (3,0) x[6][109] = 0
52.81/24.78	c (3,0) x[6][110] = 0
52.81/24.78	c (3,0) x[6][111] = 0
52.81/24.78	c (3,0) x[6][112] = 0
52.81/24.78	c (3,0) x[6][113] = 0
52.81/24.78	c (3,0) x[6][114] = 0
52.81/24.78	c (3,0) x[6][115] = 0
52.81/24.78	c (3,0) x[6][116] = 0
52.81/24.78	c (3,0) x[6][117] = 0
52.81/24.78	c (3,0) x[6][118] = 0
52.81/24.78	c (3,0) x[6][119] = 0
52.81/24.78	c (3,0) x[7][0] = 1
52.81/24.78	c (3,0) x[7][1] = 0
52.81/24.78	c (3,0) x[7][2] = 1
52.81/24.78	c (3,0) x[7][3] = 1
52.81/24.78	c (3,0) x[7][4] = 1
52.81/24.78	c (3,0) x[7][5] = 1
52.81/24.78	c (3,0) x[7][6] = 0
52.81/24.78	c (3,0) x[7][7] = 0
52.81/24.78	c (3,0) x[7][8] = 0
52.81/24.78	c (3,0) x[7][9] = 1
52.81/24.78	c (3,0) x[7][10] = 0
52.81/24.78	c (3,0) x[7][11] = 0
52.81/24.78	c (3,0) x[7][12] = 0
52.81/24.78	c (3,0) x[7][13] = 0
52.81/24.78	c (3,0) x[7][14] = 0
52.81/24.78	c (3,0) x[7][15] = 0
52.81/24.78	c (3,0) x[7][16] = 0
52.81/24.78	c (3,0) x[7][17] = 1
52.81/24.78	c (3,0) x[7][18] = 1
52.81/24.78	c (3,0) x[7][19] = 1
52.81/24.78	c (3,0) x[7][20] = 1
52.81/24.78	c (3,0) x[7][21] = 1
52.81/24.78	c (3,0) x[7][22] = 0
52.81/24.78	c (3,0) x[7][23] = 1
52.81/24.78	c (3,0) x[7][24] = 1
52.81/24.78	c (3,0) x[7][25] = 1
52.81/24.78	c (3,0) x[7][26] = 0
52.81/24.78	c (3,0) x[7][27] = 0
52.81/24.78	c (3,0) x[7][28] = 1
52.81/24.78	c (3,0) x[7][29] = 1
52.81/24.78	c (3,0) x[7][30] = 1
52.81/24.78	c (3,0) x[7][31] = 1
52.81/24.78	c (3,0) x[7][32] = 1
52.81/24.78	c (3,0) x[7][33] = 0
52.81/24.78	c (3,0) x[7][34] = 0
52.81/24.78	c (3,0) x[7][35] = 0
52.81/24.78	c (3,0) x[7][36] = 1
52.81/24.78	c (3,0) x[7][37] = 0
52.81/24.78	c (3,0) x[7][38] = 0
52.81/24.78	c (3,0) x[7][39] = 0
52.81/24.78	c (3,0) x[7][40] = 0
52.81/24.78	c (3,0) x[7][41] = 0
52.81/24.78	c (3,0) x[7][42] = 0
52.81/24.78	c (3,0) x[7][43] = 0
52.81/24.78	c (3,0) x[7][44] = 0
52.81/24.78	c (3,0) x[7][45] = 0
52.81/24.78	c (3,0) x[7][46] = 0
52.81/24.78	c (3,0) x[7][47] = 0
52.81/24.78	c (3,0) x[7][48] = 0
52.81/24.78	c (3,0) x[7][49] = 0
52.81/24.78	c (3,0) x[7][50] = 1
52.81/24.78	c (3,0) x[7][51] = 1
52.81/24.78	c (3,0) x[7][52] = 0
52.81/24.78	c (3,0) x[7][53] = 0
52.81/24.78	c (3,0) x[7][54] = 1
52.81/24.78	c (3,0) x[7][55] = 1
52.81/24.78	c (3,0) x[7][56] = 0
52.81/24.78	c (3,0) x[7][57] = 0
52.81/24.78	c (3,0) x[7][58] = 0
52.81/24.78	c (3,0) x[7][59] = 0
52.81/24.78	c (3,0) x[7][60] = 0
52.81/24.78	c (3,0) x[7][61] = 0
52.81/24.78	c (3,0) x[7][62] = 0
52.81/24.78	c (3,0) x[7][63] = 0
52.81/24.78	c (3,0) x[7][64] = 0
52.81/24.78	c (3,0) x[7][65] = 0
52.81/24.78	c (3,0) x[7][66] = 1
52.81/24.78	c (3,0) x[7][67] = 0
52.81/24.78	c (3,0) x[7][68] = 1
52.81/24.78	c (3,0) x[7][69] = 1
52.81/24.78	c (3,0) x[7][70] = 1
52.81/24.78	c (3,0) x[7][71] = 1
52.81/24.78	c (3,0) x[7][72] = 0
52.81/24.78	c (3,0) x[7][73] = 0
52.81/24.78	c (3,0) x[7][74] = 0
52.81/24.78	c (3,0) x[7][75] = 0
52.81/24.78	c (3,0) x[7][76] = 0
52.81/24.78	c (3,0) x[7][77] = 1
52.81/24.78	c (3,0) x[7][78] = 0
52.81/24.78	c (3,0) x[7][79] = 0
52.81/24.78	c (3,0) x[7][80] = 1
52.81/24.78	c (3,0) x[7][81] = 1
52.81/24.78	c (3,0) x[7][82] = 1
52.81/24.78	c (3,0) x[7][83] = 1
52.81/24.78	c (3,0) x[7][84] = 1
52.81/24.78	c (3,0) x[7][85] = 1
52.81/24.78	c (3,0) x[7][86] = 1
52.81/24.78	c (3,0) x[7][87] = 1
52.81/24.78	c (3,0) x[7][88] = 1
52.81/24.78	c (3,0) x[7][89] = 0
52.81/24.78	c (3,0) x[7][90] = 0
52.81/24.78	c (3,0) x[7][91] = 0
52.81/24.78	c (3,0) x[7][92] = 0
52.81/24.78	c (3,0) x[7][93] = 0
52.81/24.78	c (3,0) x[7][94] = 0
52.81/24.78	c (3,0) x[7][95] = 0
52.81/24.78	c (3,0) x[7][96] = 0
52.81/24.78	c (3,0) x[7][97] = 0
52.81/24.78	c (3,0) x[7][98] = 0
52.81/24.78	c (3,0) x[7][99] = 1
52.81/24.78	c (3,0) x[7][100] = 0
52.81/24.78	c (3,0) x[7][101] = 0
52.81/24.78	c (3,0) x[7][102] = 0
52.81/24.78	c (3,0) x[7][103] = 0
52.81/24.78	c (3,0) x[7][104] = 0
52.81/24.78	c (3,0) x[7][105] = 0
52.81/24.78	c (3,0) x[7][106] = 0
52.81/24.78	c (3,0) x[7][107] = 0
52.81/24.78	c (3,0) x[7][108] = 0
52.81/24.78	c (3,0) x[7][109] = 0
52.81/24.78	c (3,0) x[7][110] = 0
52.81/24.78	c (3,0) x[7][111] = 0
52.81/24.78	c (3,0) x[7][112] = 0
52.81/24.78	c (3,0) x[7][113] = 0
52.81/24.78	c (3,0) x[7][114] = 0
52.81/24.78	c (3,0) x[7][115] = 0
52.81/24.78	c (3,0) x[7][116] = 0
52.81/24.78	c (3,0) x[7][117] = 0
52.81/24.78	c (3,0) x[7][118] = 0
52.81/24.78	c (3,0) x[7][119] = 0
52.81/24.78	c (3,0) x[8][0] = 1
52.81/24.78	c (3,0) x[8][1] = 1
52.81/24.78	c (3,0) x[8][2] = 0
52.81/24.78	c (3,0) x[8][3] = 0
52.81/24.78	c (3,0) x[8][4] = 0
52.81/24.78	c (3,0) x[8][5] = 0
52.81/24.78	c (3,0) x[8][6] = 0
52.81/24.78	c (3,0) x[8][7] = 0
52.81/24.78	c (3,0) x[8][8] = 0
52.81/24.78	c (3,0) x[8][9] = 1
52.81/24.78	c (3,0) x[8][10] = 1
52.81/24.78	c (3,0) x[8][11] = 1
52.81/24.78	c (3,0) x[8][12] = 1
52.81/24.78	c (3,0) x[8][13] = 1
52.81/24.78	c (3,0) x[8][14] = 1
52.81/24.78	c (3,0) x[8][15] = 1
52.81/24.78	c (3,0) x[8][16] = 1
52.81/24.78	c (3,0) x[8][17] = 0
52.81/24.78	c (3,0) x[8][18] = 0
52.81/24.78	c (3,0) x[8][19] = 0
52.81/24.78	c (3,0) x[8][20] = 0
52.81/24.78	c (3,0) x[8][21] = 0
52.81/24.78	c (3,0) x[8][22] = 0
52.81/24.78	c (3,0) x[8][23] = 1
52.81/24.78	c (3,0) x[8][24] = 1
52.81/24.78	c (3,0) x[8][25] = 1
52.81/24.78	c (3,0) x[8][26] = 1
52.81/24.78	c (3,0) x[8][27] = 1
52.81/24.78	c (3,0) x[8][28] = 0
52.81/24.78	c (3,0) x[8][29] = 0
52.81/24.78	c (3,0) x[8][30] = 0
52.81/24.78	c (3,0) x[8][31] = 0
52.81/24.78	c (3,0) x[8][32] = 0
52.81/24.78	c (3,0) x[8][33] = 1
52.81/24.78	c (3,0) x[8][34] = 1
52.81/24.78	c (3,0) x[8][35] = 1
52.81/24.78	c (3,0) x[8][36] = 0
52.81/24.78	c (3,0) x[8][37] = 0
52.81/24.78	c (3,0) x[8][38] = 0
52.81/24.78	c (3,0) x[8][39] = 0
52.81/24.78	c (3,0) x[8][40] = 0
52.81/24.78	c (3,0) x[8][41] = 0
52.81/24.78	c (3,0) x[8][42] = 0
52.81/24.78	c (3,0) x[8][43] = 1
52.81/24.78	c (3,0) x[8][44] = 1
52.81/24.78	c (3,0) x[8][45] = 0
52.81/24.78	c (3,0) x[8][46] = 0
52.81/24.78	c (3,0) x[8][47] = 0
52.81/24.78	c (3,0) x[8][48] = 0
52.81/24.78	c (3,0) x[8][49] = 0
52.81/24.78	c (3,0) x[8][50] = 1
52.81/24.78	c (3,0) x[8][51] = 1
52.81/24.78	c (3,0) x[8][52] = 1
52.81/24.78	c (3,0) x[8][53] = 1
52.81/24.78	c (3,0) x[8][54] = 0
52.81/24.78	c (3,0) x[8][55] = 0
52.81/24.78	c (3,0) x[8][56] = 0
52.81/24.78	c (3,0) x[8][57] = 0
52.81/24.78	c (3,0) x[8][58] = 0
52.81/24.78	c (3,0) x[8][59] = 0
52.81/24.78	c (3,0) x[8][60] = 1
52.81/24.78	c (3,0) x[8][61] = 1
52.81/24.78	c (3,0) x[8][62] = 1
52.81/24.78	c (3,0) x[8][63] = 1
52.81/24.78	c (3,0) x[8][64] = 1
52.81/24.78	c (3,0) x[8][65] = 1
52.81/24.78	c (3,0) x[8][66] = 0
52.81/24.78	c (3,0) x[8][67] = 0
52.81/24.78	c (3,0) x[8][68] = 0
52.81/24.78	c (3,0) x[8][69] = 0
52.81/24.78	c (3,0) x[8][70] = 0
52.81/24.78	c (3,0) x[8][71] = 0
52.81/24.78	c (3,0) x[8][72] = 0
52.81/24.78	c (3,0) x[8][73] = 0
52.81/24.78	c (3,0) x[8][74] = 0
52.81/24.78	c (3,0) x[8][75] = 0
52.81/24.78	c (3,0) x[8][76] = 0
52.81/24.78	c (3,0) x[8][77] = 0
52.81/24.78	c (3,0) x[8][78] = 0
52.81/24.78	c (3,0) x[8][79] = 0
52.81/24.78	c (3,0) x[8][80] = 1
52.81/24.78	c (3,0) x[8][81] = 1
52.81/24.78	c (3,0) x[8][82] = 1
52.81/24.78	c (3,0) x[8][83] = 0
52.81/24.78	c (3,0) x[8][84] = 0
52.81/24.78	c (3,0) x[8][85] = 0
52.81/24.78	c (3,0) x[8][86] = 0
52.81/24.78	c (3,0) x[8][87] = 0
52.81/24.78	c (3,0) x[8][88] = 0
52.81/24.78	c (3,0) x[8][89] = 1
52.81/24.78	c (3,0) x[8][90] = 1
52.81/24.78	c (3,0) x[8][91] = 1
52.81/24.78	c (3,0) x[8][92] = 1
52.81/24.78	c (3,0) x[8][93] = 1
52.81/24.78	c (3,0) x[8][94] = 1
52.81/24.78	c (3,0) x[8][95] = 1
52.81/24.78	c (3,0) x[8][96] = 0
52.81/24.78	c (3,0) x[8][97] = 0
52.81/24.78	c (3,0) x[8][98] = 0
52.81/24.78	c (3,0) x[8][99] = 0
52.81/24.78	c (3,0) x[8][100] = 0
52.81/24.78	c (3,0) x[8][101] = 0
52.81/24.78	c (3,0) x[8][102] = 0
52.81/24.78	c (3,0) x[8][103] = 0
52.81/24.78	c (3,0) x[8][104] = 0
52.81/24.78	c (3,0) x[8][105] = 0
52.81/24.78	c (3,0) x[8][106] = 0
52.81/24.78	c (3,0) x[8][107] = 0
52.81/24.78	c (3,0) x[8][108] = 0
52.81/24.78	c (3,0) x[8][109] = 0
52.81/24.78	c (3,0) x[8][110] = 0
52.81/24.78	c (3,0) x[8][111] = 0
52.81/24.78	c (3,0) x[8][112] = 0
52.81/24.78	c (3,0) x[8][113] = 0
52.81/24.78	c (3,0) x[8][114] = 0
52.81/24.78	c (3,0) x[8][115] = 0
52.81/24.78	c (3,0) x[8][116] = 0
52.81/24.78	c (3,0) x[8][117] = 0
52.81/24.78	c (3,0) x[8][118] = 0
52.81/24.78	c (3,0) x[8][119] = 0
52.81/24.78	s SATISFIABLE
52.81/24.78	v <instantiation>
52.81/24.78	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119]</list>
52.81/24.78	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
52.81/24.78	v </instantiation>
52.81/24.78	c (3,0) Show results End
52.81/24.78	c (3,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
52.81/24.78	c (3,0) 3,3,STOP-AFTER(ALL)
52.81/24.78	c END-Prog: Sat Sep 14 01:43:16 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 (10744 MiB free)
  memory of node 1: 16384 MiB (15215 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392589-1568422389/watcher-4392589-1568422389 -o /tmp/evaluation-result-4392589-1568422389/solver-4392589-1568422389 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392589-1568422389.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=15162, runsolver pid=15159
Current StackSize limit: 8192 KiB


[startup+0.100173 s]*
/proc/loadavg: 1.38 3.10 5.75 2/211 15184
/proc/meminfo: memFree=26488724/32770624 swapFree=66977616/67108860
[pid=15162] ppid=15159 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15162/stat : 15162 (scop.sh) S 15159 15162 12970 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418496126 115843072 349 33554432000 4194304 5098028 140724593713152 140724593710408 140514734002812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38952960 140724593718052 140724593718380 140724593718380 140724593721293 0
/proc/15162/statm: 28282 349 296 221 0 87 0
[pid=15165] ppid=15162 vsize=27314120 memory=106388 CPUtime=0.1 cores=0-7
/proc/15165/stat : 15165 (java) S 15162 15162 12970 0 -1 1077944320 6629 0 0 0 7 3 0 0 20 0 20 0 418496126 27969658880 26597 33554432000 4194304 4196468 140728203440320 140728203422864 139705468579575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
/proc/15165/statm: 6828530 26597 2817 1 0 6790935 0
[pid=15165/tid=15166] ppid=15162 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) R 15162 15162 12970 0 -1 4202560 4716 0 0 0 6 2 0 0 20 0 20 0 418496126 27969658880 26597 33554432000 4194304 4196468 140728203440320 139705440401856 139705452623205 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15167] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139705472821776 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15168] ppid=15162 vsize=27314120 memory=140533273794131 CPUtime=0 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704891243152 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15169] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704890190096 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15170] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15170/stat : 15170 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704889137552 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15171] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15171/stat : 15171 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704888085520 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15172] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15172/stat : 15172 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704887032976 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15173] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15173/stat : 15173 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704885979920 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15174] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15174/stat : 15174 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 26597 33554432000 4194304 4196468 140728203440320 139704884927376 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15175] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15175/stat : 15175 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496130 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703587461360 139705468590722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15176] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15176/stat : 15176 (java) S 15162 15162 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418496131 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703407862944 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15177] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15177/stat : 15177 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496131 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703139427056 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15178] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15178/stat : 15178 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 26597 33554432000 4194304 4196468 140728203440320 139702764918736 139705468598171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15179] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15179/stat : 15179 (java) S 15162 15162 12970 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703586409200 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15180] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15180/stat : 15180 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703585356656 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15181] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15181/stat : 15181 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703584303600 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15182] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15182/stat : 15182 (java) S 15162 15162 12970 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 26597 33554432000 4194304 4196468 140728203440320 139703583251056 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15183] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15183/stat : 15183 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496134 27969658880 26597 33554432000 4194304 4196468 140728203440320 139702267013600 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15184] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15184/stat : 15184 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496134 27969658880 27109 33554432000 4194304 4196468 140728203440320 139703582198448 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107784 KiB

[startup+0.210286 s]*
/proc/loadavg: 1.38 3.10 5.75 3/211 15184
/proc/meminfo: memFree=26466220/32770624 swapFree=66977616/67108860
[pid=15162] ppid=15159 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15162/stat : 15162 (scop.sh) S 15159 15162 12970 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418496126 115843072 349 33554432000 4194304 5098028 140724593713152 140724593710408 140514734002812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38952960 140724593718052 140724593718380 140724593718380 140724593721293 0
/proc/15162/statm: 28282 349 296 221 0 87 0
[pid=15165] ppid=15162 vsize=27314120 memory=125460 CPUtime=0.24 cores=0-7
/proc/15165/stat : 15165 (java) S 15162 15162 12970 0 -1 1077944320 12235 0 0 0 19 5 0 0 20 0 20 0 418496126 27969658880 31365 33554432000 4194304 4196468 140728203440320 140728203422864 139705468579575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
/proc/15165/statm: 6828530 31365 2942 1 0 6790935 0
[pid=15165/tid=15166] ppid=15162 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) R 15162 15162 12970 0 -1 4202560 9930 0 0 0 15 4 0 0 20 0 20 0 418496126 27969658880 31365 33554432000 4194304 4196468 140728203440320 139705440378960 139705448854905 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15167] ppid=15162 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139705472821776 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15168] ppid=15162 vsize=27314120 memory=4123245585622099616 CPUtime=0 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704891243152 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15169] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704890190096 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15170] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15170/stat : 15170 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704889137552 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15171] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15171/stat : 15171 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704888085520 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15172] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15172/stat : 15172 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704887032976 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15173] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15173/stat : 15173 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704885979920 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15174] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15174/stat : 15174 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 31365 33554432000 4194304 4196468 140728203440320 139704884927376 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15175] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15175/stat : 15175 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496130 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703587461360 139705468590722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15176] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15176/stat : 15176 (java) S 15162 15162 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418496131 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703407862944 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15177] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15177/stat : 15177 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496131 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703139427056 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15178] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15178/stat : 15178 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 31365 33554432000 4194304 4196468 140728203440320 139702764918736 139705468598171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15179] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15179/stat : 15179 (java) S 15162 15162 12970 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703586409200 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15180] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15180/stat : 15180 (java) S 15162 15162 12970 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703585356656 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15181] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15181/stat : 15181 (java) S 15162 15162 12970 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703584303600 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15182] ppid=15162 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15165/task/15182/stat : 15182 (java) S 15162 15162 12970 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 418496133 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703583251056 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15183] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15183/stat : 15183 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496134 27969658880 31365 33554432000 4194304 4196468 140728203440320 139702267013600 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15184] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15184/stat : 15184 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496134 27969658880 31365 33554432000 4194304 4196468 140728203440320 139703582198448 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126856 KiB

[startup+0.309675 s]*
/proc/loadavg: 1.38 3.10 5.75 2/211 15184
/proc/meminfo: memFree=26462932/32770624 swapFree=66977616/67108860
[pid=15162] ppid=15159 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15162/stat : 15162 (scop.sh) S 15159 15162 12970 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418496126 115843072 349 33554432000 4194304 5098028 140724593713152 140724593710408 140514734002812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38952960 140724593718052 140724593718380 140724593718380 140724593721293 0
/proc/15162/statm: 28282 349 296 221 0 87 0
[pid=15165] ppid=15162 vsize=27314120 memory=129756 CPUtime=0.42 cores=0-7
/proc/15165/stat : 15165 (java) S 15162 15162 12970 0 -1 1077944320 12809 0 0 0 37 5 0 0 20 0 20 0 418496126 27969658880 32439 33554432000 4194304 4196468 140728203440320 140728203422864 139705468579575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
/proc/15165/statm: 6828530 32439 3066 1 0 6790935 0
[pid=15165/tid=15166] ppid=15162 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) R 15162 15162 12970 0 -1 4202560 10290 0 0 0 25 4 0 0 20 0 20 0 418496126 27969658880 32439 33554432000 4194304 4196468 140728203440320 139705440406160 139705468593484 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15167] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139705472821776 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15168] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704891243152 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15169] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704890190096 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15170] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15170/stat : 15170 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704889137552 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15171] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15171/stat : 15171 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704888085520 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15172] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15172/stat : 15172 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704887032976 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15173] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15173/stat : 15173 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704885979920 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15174] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15174/stat : 15174 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27969658880 32439 33554432000 4194304 4196468 140728203440320 139704884927376 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15175] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15175/stat : 15175 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496130 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703587461360 139705468590722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15176] ppid=15162 vsize=27314120 memory=281066283933056 CPUtime=0 cores=0-7
/proc/15165/task/15176/stat : 15176 (java) S 15162 15162 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418496131 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703407862944 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15177] ppid=15162 vsize=27314120 memory=281066283937664 CPUtime=0 cores=0-7
/proc/15165/task/15177/stat : 15177 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496131 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703139427056 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15178] ppid=15162 vsize=27314120 memory=281066283942272 CPUtime=0 cores=0-7
/proc/15165/task/15178/stat : 15178 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496133 27969658880 32439 33554432000 4194304 4196468 140728203440320 139702764918736 139705468598171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15179] ppid=15162 vsize=27314120 memory=281066283946880 CPUtime=0.01 cores=0-7
/proc/15165/task/15179/stat : 15179 (java) R 15162 15162 12970 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 418496133 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703586409200 139705446158736 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15180] ppid=15162 vsize=27314120 memory=281066283951488 CPUtime=0.01 cores=0-7
/proc/15165/task/15180/stat : 15180 (java) S 15162 15162 12970 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 418496133 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703585356656 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15181] ppid=15162 vsize=27314120 memory=281066283956096 CPUtime=0.02 cores=0-7
/proc/15165/task/15181/stat : 15181 (java) S 15162 15162 12970 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 20 0 418496133 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703584303600 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15182] ppid=15162 vsize=27314120 memory=281066283960704 CPUtime=0.07 cores=0-7
/proc/15165/task/15182/stat : 15182 (java) S 15162 15162 12970 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 20 0 418496133 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703583251056 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15183] ppid=15162 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15183/stat : 15183 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418496134 27969658880 32439 33554432000 4194304 4196468 140728203440320 139702267013600 139705468589781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15184] ppid=15162 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15165/task/15184/stat : 15184 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496134 27969658880 32439 33554432000 4194304 4196468 140728203440320 139703582198448 139705468590722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131152 KiB

[startup+0.700937 s]
/proc/loadavg: 1.38 3.10 5.75 2/211 15184
/proc/meminfo: memFree=26442180/32770624 swapFree=66977616/67108860
[pid=15162] ppid=15159 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15162/stat : 15162 (scop.sh) S 15159 15162 12970 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418496126 115843072 349 33554432000 4194304 5098028 140724593713152 140724593710408 140514734002812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38952960 140724593718052 140724593718380 140724593718380 140724593721293 0
/proc/15162/statm: 28282 349 296 221 0 87 0
[pid=15165] ppid=15162 vsize=27322516 memory=165560 CPUtime=1.01 cores=0-7
/proc/15165/stat : 15165 (java) S 15162 15162 12970 0 -1 1077944320 20646 0 0 0 92 9 0 0 20 0 20 0 418496126 27978256384 41390 33554432000 4194304 4196468 140728203440320 140728203422864 139705468579575 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
/proc/15165/statm: 6830629 41390 3183 1 0 6791959 0
[pid=15165/tid=15166] ppid=15162 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) R 15162 15162 12970 0 -1 4202560 17484 0 0 0 60 7 0 0 20 0 20 0 418496126 27978256384 41390 33554432000 4194304 4196468 140728203440320 139705440411312 139705452660062 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15167] ppid=15162 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27978256384 41390 33554432000 4194304 4196468 140728203440320 139705472821776 139705468589781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15168] ppid=15162 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418496129 27978256384 41390 33554432000 4194304 4196468 140728203440320 139704891243152 139705468589781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0
[pid=15165/tid=15169] ppid=15162 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418496129 27978256384 41390 33554432000 4194304 4196468 140728203440320 139704890190096 139705468589781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32268288 140728203449066 140728203449494 140728203449494 140728203452367 0

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

/proc/15187/task/15194/stat : 15194 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363355011472 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15195] ppid=15162 vsize=8414124 memory=4650619014729535390 CPUtime=0 cores=0-7
/proc/15187/task/15195/stat : 15195 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363353958928 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15196] ppid=15162 vsize=8414124 memory=7085713901175154582 CPUtime=0 cores=0-7
/proc/15187/task/15196/stat : 15196 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363352906384 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15197] ppid=15162 vsize=8414124 memory=7085715000686782358 CPUtime=0 cores=0-7
/proc/15187/task/15197/stat : 15197 (java) S 15162 15162 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418498193 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363303016944 140363873979010 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15198] ppid=15162 vsize=8414124 memory=281066283729136 CPUtime=0 cores=0-7
/proc/15187/task/15198/stat : 15198 (java) S 15162 15162 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418498194 8616062976 32240 33554432000 4194304 4196468 140721173378080 140362484016544 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15199] ppid=15162 vsize=8414124 memory=290763849282617370 CPUtime=0 cores=0-7
/proc/15187/task/15199/stat : 15199 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498194 8616062976 32240 33554432000 4194304 4196468 140721173378080 140362215581168 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15200] ppid=15162 vsize=8414124 memory=303430270546346295 CPUtime=0 cores=0-7
/proc/15187/task/15200/stat : 15200 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140361841072848 140363873986459 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15201] ppid=15162 vsize=8414124 memory=16105866206120578 CPUtime=0.14 cores=0-7
/proc/15187/task/15201/stat : 15201 (java) S 15162 15162 12970 0 -1 1077944384 318 0 0 0 14 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363301963760 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15202] ppid=15162 vsize=8414124 memory=140533142579600 CPUtime=0.18 cores=0-7
/proc/15187/task/15202/stat : 15202 (java) S 15162 15162 12970 0 -1 1077944384 548 0 0 0 18 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363300911216 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15203] ppid=15162 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/15187/task/15203/stat : 15203 (java) S 15162 15162 12970 0 -1 1077944384 845 0 0 0 11 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363299858672 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15204] ppid=15162 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/15187/task/15204/stat : 15204 (java) S 15162 15162 12970 0 -1 1077944384 692 0 0 0 24 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363298806128 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15205] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15205/stat : 15205 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140361343167200 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15206] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15206/stat : 15206 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363297754032 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15208] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15208/stat : 15208 (java) S 15162 15162 12970 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418498277 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363289720512 140363873992473 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15210] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15210/stat : 15210 (java) S 15162 15162 12970 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 418498277 8616062976 32240 33554432000 4194304 4196468 140721173378080 140360672066864 140363873989789 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15211] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15211/stat : 15211 (java) S 15162 15162 12970 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418498277 8616062976 32240 33554432000 4194304 4196468 140721173378080 140360940502448 140363873989789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15212] ppid=15162 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15187/task/15212/stat : 15212 (java) S 15162 15162 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418498280 8616062976 32240 33554432000 4194304 4196468 140721173378080 140360403639472 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
Current children cumulated CPU time: 49.04 s
Current children cumulated vsize: 9624256 KiB
Current children cumulated memory: 680864 KiB

[startup+24.4013 s]
/proc/loadavg: 1.44 2.98 5.64 9/224 15220
/proc/meminfo: memFree=25905968/32770624 swapFree=66977616/67108860
[pid=15162] ppid=15159 vsize=113128 memory=1476 CPUtime=33.94 cores=0-7
/proc/15162/stat : 15162 (scop.sh) S 15159 15162 12970 0 -1 4202496 582 43689 0 0 0 0 3252 142 20 0 1 0 418496126 115843072 369 33554432000 4194304 5098028 140724593713152 140724593709896 140514734002812 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38952960 140724593718052 140724593718380 140724593718380 140724593721293 0
/proc/15162/statm: 28282 369 311 221 0 87 0
[pid=15187] ppid=15162 vsize=8414124 memory=128960 CPUtime=1.62 cores=0-7
/proc/15187/stat : 15187 (java) S 15162 15162 12970 0 -1 1077944320 21723 0 0 0 147 15 0 0 20 0 24 0 418498190 8616062976 32240 33554432000 4194304 4196468 140721173378080 140721173360624 140363873967863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
/proc/15187/statm: 2103531 32240 3196 1 0 2064875 0
[pid=15207] ppid=15187 vsize=1097004 memory=562200 CPUtime=16.54 cores=0-7
/proc/15207/stat : 15207 (manyglucose-4.1) S 15187 15162 12970 0 -1 1077944320 158334 0 0 0 1606 48 0 0 20 0 5 0 418498277 1123332096 140550 33554432000 4194304 4454172 140728766424128 140728766422512 140321392770807 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 16707584 140728766432105 140728766432304 140728766432304 140728766435258 0
/proc/15207/statm: 274251 140550 421 64 0 269919 0
[pid=15207/tid=15213] ppid=15187 vsize=1097004 memory=33 CPUtime=1.97 cores=0-7
/proc/15207/task/15213/stat : 15213 (manyglucose-4.1) R 15187 15162 12970 0 -1 4202560 12991 0 0 0 194 3 0 0 20 0 5 0 418498360 1123332096 140550 33554432000 4194304 4454172 140728766424128 140321338383464 4317962 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 16707584 140728766432105 140728766432304 140728766432304 140728766435258 0
[pid=15207/tid=15214] ppid=15187 vsize=1097004 memory=7686721470351447704 CPUtime=1.95 cores=0-7
/proc/15207/task/15214/stat : 15214 (manyglucose-4.1) R 15187 15162 12970 0 -1 4202560 10283 0 0 0 189 6 0 0 20 0 5 0 418498360 1123332096 140550 33554432000 4194304 4454172 140728766424128 140321319971944 4350902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 16707584 140728766432105 140728766432304 140728766432304 140728766435258 0
[pid=15207/tid=15215] ppid=15187 vsize=1097004 memory=3394 CPUtime=1.97 cores=0-7
/proc/15207/task/15215/stat : 15215 (manyglucose-4.1) R 15187 15162 12970 0 -1 4202560 11052 0 0 0 196 1 0 0 20 0 5 0 418498360 1123332096 140550 33554432000 4194304 4454172 140728766424128 140321311579240 4351099 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 16707584 140728766432105 140728766432304 140728766432304 140728766435258 0
[pid=15207/tid=15216] ppid=15187 vsize=1097004 memory=0 CPUtime=1.97 cores=0-7
/proc/15207/task/15216/stat : 15216 (manyglucose-4.1) R 15187 15162 12970 0 -1 4202560 9725 0 0 0 190 7 0 0 20 0 5 0 418498360 1123332096 140550 33554432000 4194304 4454172 140728766424128 140321281723496 4351678 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 16707584 140728766432105 140728766432304 140728766432304 140728766435258 0
[pid=15187/tid=15188] ppid=15162 vsize=8414124 memory=0 CPUtime=0.88 cores=0-7
/proc/15187/task/15188/stat : 15188 (java) S 15162 15162 12970 0 -1 1077944384 17924 0 0 0 77 11 0 0 20 0 24 0 418498190 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363845808032 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15189] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15189/stat : 15189 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363878210320 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15190] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15190/stat : 15190 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363359222672 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15191] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15191/stat : 15191 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363358170128 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15192] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15192/stat : 15192 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363357117584 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15193] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15193/stat : 15193 (java) S 15162 15162 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363356064016 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15194] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15194/stat : 15194 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363355011472 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15195] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15195/stat : 15195 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363353958928 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15196] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15196/stat : 15196 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418498192 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363352906384 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15197] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15197/stat : 15197 (java) S 15162 15162 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418498193 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363303016944 140363873979010 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15198] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15198/stat : 15198 (java) S 15162 15162 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418498194 8616062976 32240 33554432000 4194304 4196468 140721173378080 140362484016544 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15199] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15199/stat : 15199 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498194 8616062976 32240 33554432000 4194304 4196468 140721173378080 140362215581168 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15200] ppid=15162 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15187/task/15200/stat : 15200 (java) S 15162 15162 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140361841072848 140363873986459 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15201] ppid=15162 vsize=8414124 memory=0 CPUtime=0.14 cores=0-7
/proc/15187/task/15201/stat : 15201 (java) S 15162 15162 12970 0 -1 1077944384 318 0 0 0 14 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363301963760 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15202] ppid=15162 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/15187/task/15202/stat : 15202 (java) S 15162 15162 12970 0 -1 1077944384 548 0 0 0 18 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363300911216 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15203] ppid=15162 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/15187/task/15203/stat : 15203 (java) S 15162 15162 12970 0 -1 1077944384 845 0 0 0 11 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363299858672 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15204] ppid=15162 vsize=8414124 memory=2209 CPUtime=0.24 cores=0-7
/proc/15187/task/15204/stat : 15204 (java) S 15162 15162 12970 0 -1 1077944384 692 0 0 0 24 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363298806128 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15205] ppid=15162 vsize=8414124 memory=81860 CPUtime=0 cores=0-7
/proc/15187/task/15205/stat : 15205 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140361343167200 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15206] ppid=15162 vsize=8414124 memory=-7028383565733675155 CPUtime=0 cores=0-7
/proc/15187/task/15206/stat : 15206 (java) S 15162 15162 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418498197 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363297754032 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15208] ppid=15162 vsize=8414124 memory=7898351070516488779 CPUtime=0 cores=0-7
/proc/15187/task/15208/stat : 15208 (java) S 15162 15162 12970 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418498277 8616062976 32240 33554432000 4194304 4196468 140721173378080 140363289720512 140363873992473 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15210] ppid=15162 vsize=8414124 memory=3054156605368933524 CPUtime=0 cores=0-7
/proc/15187/task/15210/stat : 15210 (java) S 15162 15162 12970 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 418498277 8616062976 32240 33554432000 4194304 4196468 140721173378080 140360672066864 140363873989789 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15211] ppid=15162 vsize=8414124 memory=-5874771483550381280 CPUtime=0 cores=0-7
/proc/15187/task/15211/stat : 15211 (java) S 15162 15162 12970 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418498277 8616062976 32240 33554432000 4194304 4196468 140721173378080 140360940502448 140363873989789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15212] ppid=15162 vsize=8414124 memory=-8813412931113164149 CPUtime=0 cores=0-7
/proc/15187/task/15212/stat : 15212 (java) S 15162 15162 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418498280 8616062976 32240 33554432000 4194304 4196468 140721173378080 140360403639472 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
Current children cumulated CPU time: 52.1 s
Current children cumulated vsize: 9624256 KiB
Current children cumulated memory: 692636 KiB

[startup+24.8011 s]
/proc/loadavg: 1.44 2.98 5.64 9/224 15220
/proc/meminfo: memFree=25905968/32770624 swapFree=66977616/67108860
[pid=15162] ppid=15159 vsize=113128 memory=1476 CPUtime=33.94 cores=0-7
/proc/15162/stat : 15162 (scop.sh) S 15159 15162 12970 0 -1 4202496 582 43689 0 0 0 0 3252 142 20 0 1 0 418496126 115843072 369 33554432000 4194304 5098028 140724593713152 140724593709896 140514734002812 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38952960 140724593718052 140724593718380 140724593718380 140724593721293 0
/proc/15162/statm: 28282 369 311 221 0 87 0
[pid=15187] ppid=15162 vsize=8151972 memory=181472 CPUtime=19.24 cores=0-7
/proc/15187/stat : 15187 (java) S 15162 15162 12970 0 -1 1077944320 24702 158488 0 0 236 18 1619 51 20 0 21 0 418498190 8347619328 45368 33554432000 4194304 4196468 140721173378080 140721173360624 140363873967863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
/proc/15187/statm: 2037993 45368 3237 1 0 1999337 0
[pid=15187/tid=15188] ppid=15162 vsize=8151972 memory=6791534058613427641 CPUtime=17.79 cores=0-7
/proc/15187/task/15188/stat : 15188 (java) S 15162 15162 12970 0 -1 1077944384 19837 158488 0 0 96 13 1619 51 20 0 21 0 418498190 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363845811344 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15189] ppid=15162 vsize=8151972 memory=0 CPUtime=16.7 cores=0-7
/proc/15187/task/15189/stat : 15189 (java) S 15162 15162 12970 0 -1 1077944384 2 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363878210320 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15190] ppid=15162 vsize=8151972 memory=4 CPUtime=16.7 cores=0-7
/proc/15187/task/15190/stat : 15190 (java) S 15162 15162 12970 0 -1 1077944384 2 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363359222672 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15191] ppid=15162 vsize=8151972 memory=0 CPUtime=16.7 cores=0-7
/proc/15187/task/15191/stat : 15191 (java) S 15162 15162 12970 0 -1 1077944384 2 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363358170128 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15192] ppid=15162 vsize=8151972 memory=1476 CPUtime=16.7 cores=0-7
/proc/15187/task/15192/stat : 15192 (java) S 15162 15162 12970 0 -1 1077944384 1 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363357117584 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15193] ppid=15162 vsize=8151972 memory=128960 CPUtime=16.7 cores=0-7
/proc/15187/task/15193/stat : 15193 (java) S 15162 15162 12970 0 -1 1077944384 2 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363356064016 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15194] ppid=15162 vsize=8151972 memory=536568 CPUtime=16.7 cores=0-7
/proc/15187/task/15194/stat : 15194 (java) S 15162 15162 12970 0 -1 1077944384 1 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363355011472 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15195] ppid=15162 vsize=8151972 memory=2004 CPUtime=16.7 cores=0-7
/proc/15187/task/15195/stat : 15195 (java) S 15162 15162 12970 0 -1 1077944384 1 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363353958928 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15196] ppid=15162 vsize=8151972 memory=1428 CPUtime=16.7 cores=0-7
/proc/15187/task/15196/stat : 15196 (java) S 15162 15162 12970 0 -1 1077944384 3 158488 0 0 0 0 1619 51 20 0 21 0 418498192 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363352906384 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15197] ppid=15162 vsize=8151972 memory=1724 CPUtime=16.7 cores=0-7
/proc/15187/task/15197/stat : 15197 (java) S 15162 15162 12970 0 -1 1077944384 5 158488 0 0 0 0 1619 51 20 0 21 0 418498193 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363303017152 140363873979010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15198] ppid=15162 vsize=8151972 memory=704 CPUtime=16.7 cores=0-7
/proc/15187/task/15198/stat : 15198 (java) S 15162 15162 12970 0 -1 1077944384 13 158488 0 0 0 0 1619 51 20 0 21 0 418498194 8347619328 45368 33554432000 4194304 4196468 140721173378080 140362484016544 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15199] ppid=15162 vsize=8151972 memory=1056 CPUtime=16.7 cores=0-7
/proc/15187/task/15199/stat : 15199 (java) S 15162 15162 12970 0 -1 1077944384 1 158488 0 0 0 0 1619 51 20 0 21 0 418498194 8347619328 45368 33554432000 4194304 4196468 140721173378080 140362215581168 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15200] ppid=15162 vsize=8151972 memory=0 CPUtime=16.7 cores=0-7
/proc/15187/task/15200/stat : 15200 (java) S 15162 15162 12970 0 -1 1077944384 22 158488 0 0 0 0 1619 51 20 0 21 0 418498197 8347619328 45368 33554432000 4194304 4196468 140721173378080 140361841071616 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15201] ppid=15162 vsize=8151972 memory=6944656575208382560 CPUtime=16.97 cores=0-7
/proc/15187/task/15201/stat : 15201 (java) S 15162 15162 12970 0 -1 1077944384 589 158488 0 0 27 0 1619 51 20 0 21 0 418498197 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363301948832 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15202] ppid=15162 vsize=8151972 memory=6656426216303648864 CPUtime=17.05 cores=0-7
/proc/15187/task/15202/stat : 15202 (java) S 15162 15162 12970 0 -1 1077944384 606 158488 0 0 35 0 1619 51 20 0 21 0 418498197 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363300890256 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15203] ppid=15162 vsize=8151972 memory=6656426216303648864 CPUtime=16.93 cores=0-7
/proc/15187/task/15203/stat : 15203 (java) S 15162 15162 12970 0 -1 1077944384 1099 158488 0 0 23 0 1619 51 20 0 21 0 418498197 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363299837712 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15204] ppid=15162 vsize=8151972 memory=6656426216303648864 CPUtime=17.1 cores=0-7
/proc/15187/task/15204/stat : 15204 (java) S 15162 15162 12970 0 -1 1077944384 1078 158488 0 0 39 1 1619 51 20 0 21 0 418498197 8347619328 45368 33554432000 4194304 4196468 140721173378080 140363298806128 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15205] ppid=15162 vsize=8151972 memory=6944656592455360604 CPUtime=16.7 cores=0-7
/proc/15187/task/15205/stat : 15205 (java) S 15162 15162 12970 0 -1 1077944384 3 158488 0 0 0 0 1619 51 20 0 21 0 418498197 8347619328 45368 33554432000 4194304 4196468 140721173378080 140361343167200 140363873978069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15208] ppid=15162 vsize=8151972 memory=5931639099362926933 CPUtime=16.7 cores=0-7
/proc/15187/task/15208/stat : 15208 (java) S 15162 15162 12970 0 -1 1077944384 24 158488 0 0 0 0 1619 51 20 0 20 0 418498277 8347619328 45373 33554432000 4194304 4196468 140721173378080 140363289719696 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
[pid=15187/tid=15212] ppid=15162 vsize=8151972 memory=7884792935807543893 CPUtime=16.7 cores=0-7
/proc/15187/task/15212/stat : 15212 (java) S 15162 15162 12970 0 -1 1077944384 13 158488 0 0 0 0 1619 51 20 0 20 0 418498280 8347619328 45373 33554432000 4194304 4196468 140721173378080 140360403641264 140363873979010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35037184 140721173386231 140721173386390 140721173386390 140721173389263 0
Current children cumulated CPU time: 53.18 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 182948 KiB

Child status: 0
Real time (s): 24.8101
CPU time (s): 53.2181
CPU user time (s): 51.0831
CPU system time (s): 2.135
CPU usage (%): 214.502
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6040064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.0831
system time used= 2.135
maximum resident set size= 6040296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21521
involuntary context switches= 223


# summary of solver processes directly reported to runsolver:
#   pid: 15162
#   total CPU time (s): 53.2181
#   total CPU user time (s): 51.0831
#   total CPU system time (s): 2.135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.21835 second user time and 0.282074 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-14 01:42:52
IDJOB=4392589
IDBENCH=123858
IDSOLVER=2839
FILE ID=node104/4392589-1568422389
RUNJOBID= node104-1568412551-12997
PBS_JOBID= 21702262
Free space on /tmp= 59012 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Bibd/Bibd-sum-lex/Bibd-sum-09-120-40-03-10.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392589-1568422389/watcher-4392589-1568422389 -o /tmp/evaluation-result-4392589-1568422389/solver-4392589-1568422389 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392589-1568422389.xml

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

MD5SUM BENCH= 516a10ad09fd7e852a109bf36c14a2d3
RANDOM SEED=1078332659

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:        26582876 kB
MemAvailable:   31835796 kB
Buffers:          176592 kB
Cached:          5330092 kB
SwapCached:        31860 kB
Active:          1793020 kB
Inactive:        3751460 kB
Active(anon):       4700 kB
Inactive(anon):    74492 kB
Active(file):    1788320 kB
Inactive(file):  3676968 kB
Unevictable:      107776 kB
Mlocked:          107776 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             20836 kB
Writeback:             0 kB
AnonPages:        128960 kB
Mapped:            44120 kB
Shmem:             32780 kB
Slab:             237468 kB
SReclaimable:     206932 kB
SUnreclaim:        30536 kB
KernelStack:        3728 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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 01:43:17