Trace number 4392474

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 225.124 37.9969

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-19.xml
MD5SUM2072ed2e4af5bca545229f959ebdc074
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.57156
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":375},{"degree":2,"count":525}]
Minimum constraint arity525
Maximum constraint arity900
Distribution of constraint arities[{"arity":525,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18862-serial-file.bin HOME/instance-4392474-1568442907.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 08:34:27 CEST 2019
0.65/0.57	c PID: 18865
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.65/1.06	c (0,0) Parsing End
1.65/1.07	c (0,0) CSP: 871 int (0 aux), 29 bool (0 aux), 2 ctr, max domain size 30
1.65/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.07	c (0,0) Constraint Name Generate Begin
1.65/1.08	c (0,0) Ctr:HOME/instance-4392474-1568442907.xml,AllDifferentMatrix:Instantiation:Var
1.65/1.08	c (0,0) Constraint Name Generate End
1.65/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.08	c (0,0) CSP to CSPinCNF Begin
1.88/1.11	c (0,0) translated 1 (10%) constraints
5.69/2.83	c (2,2) translated 2 (20%) constraints
5.69/2.86	c (2,2) ===========================================
5.69/2.86	c (2,2) Order
5.69/2.86	c (2,2) ===========================================
7.90/3.41	c (2,2) translated 2855 (10%) constraints
8.68/3.74	c (3,3) translated 5709 (20%) constraints
9.05/4.07	c (3,3) translated 8564 (30%) constraints
9.34/4.38	c (3,3) translated 11418 (40%) constraints
9.74/4.71	c (4,4) translated 14273 (50%) constraints
9.99/4.99	c (4,4) translated 17127 (60%) constraints
10.31/5.26	c (4,4) translated 19982 (70%) constraints
10.64/5.53	c (4,4) translated 22836 (80%) constraints
10.96/5.83	c (5,5) translated 25691 (90%) constraints
11.18/6.07	c (5,5) translated 28545 (100%) constraints
11.18/6.08	c (5,5) CSP to CSPinCNF End
11.18/6.09	c (5,5) CSP: 871 int (0 aux), 27029 bool (27000 aux), 137070 ctr, max domain size 30
11.18/6.09	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.18/6.09	c (5,5) CSPinCNF Propagation Begin
14.81/8.39	c (7,7) 20723 values, 88250 unsatisfiable literals, and 91890 valid clauses are removed
14.81/8.39	c (7,7) CSPinCNF Propagation End
14.81/8.40	c (7,7) CSP: 870 int (0 aux), 27030 bool (27000 aux), 45180 ctr, max domain size 30
14.81/8.40	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.00/8.40	c (7,7) Simplify CSPinCNF Begin
16.02/8.92	c (8,8) Simplify CSPinCNF End
16.02/8.93	c (8,8) CSP: 870 int (0 aux), 52834 bool (52804 aux), 70984 ctr, max domain size 30
16.02/8.93	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.02/8.93	c (8,8) Calculate Precise Domain Begin
16.02/8.93	c (8,8) 0 values are removed by re-calculation
16.02/8.93	c (8,8) Calculate Precise Domain End
16.02/8.95	c (8,8) CSP: 870 int (0 aux), 52834 bool (52804 aux), 70984 ctr, max domain size 30
16.02/8.95	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.02/8.95	c (8,8) CSPinCNF to SatSolver Begin
18.09/9.51	c (8,8) 7099 (10 %) CSP clauses are encoded (0 SAT variables, 28836 SAT clauses)
18.31/9.68	c (9,9) 14197 (20 %) CSP clauses are encoded (0 SAT variables, 50810 SAT clauses)
18.54/9.83	c (9,9) 21296 (30 %) CSP clauses are encoded (0 SAT variables, 72285 SAT clauses)
18.65/9.98	c (9,9) 28394 (40 %) CSP clauses are encoded (0 SAT variables, 93411 SAT clauses)
18.86/10.12	c (9,9) 35492 (50 %) CSP clauses are encoded (0 SAT variables, 115169 SAT clauses)
18.95/10.27	c (9,9) 42591 (60 %) CSP clauses are encoded (0 SAT variables, 137230 SAT clauses)
19.25/10.42	c (9,9) 49689 (70 %) CSP clauses are encoded (0 SAT variables, 159862 SAT clauses)
19.35/10.56	c (10,10) 56788 (80 %) CSP clauses are encoded (0 SAT variables, 180821 SAT clauses)
19.55/10.70	c (10,10) 63886 (90 %) CSP clauses are encoded (0 SAT variables, 200903 SAT clauses)
19.66/10.84	c (10,10) 70984 (100 %) CSP clauses are encoded (0 SAT variables, 221747 SAT clauses)
19.66/10.84	c (10,10) CSPinCNF to SatSolver End
19.66/10.84	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.66/10.84	c (10,10) 41906 bool, 221748 clause
19.66/10.84	c (10,10) Export Begin
19.82/10.97	c (10,10) Export to HOME/scop-18862-serial-file.bin
19.82/10.97	c (10,10) Export End
19.82/10.97	c (10,10) Export File Size: 0.15 MB
19.82/10.97	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
19.82/10.97	c END-Prog: Sat Sep 14 08:34:38 CEST 2019
0.00/11.01	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18862-serial-file.bin
20.09/11.47	c (0,0) Read Serial File Begin
20.09/11.47	c (0,0) HOME/scop-18862-serial-file.bin
20.09/11.73	c (0,0) Read Serial File End
20.09/11.74	
20.09/11.74	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.09/11.74	(Solving Process)
20.09/11.74	
20.09/11.76	c BEGIN-Prog: Sat Sep 14 08:34:38 CEST 2019
20.09/11.76	c PID: 18887
20.09/11.76	c IP: 172.20.3.140
20.09/11.76	c HOST: node140.alineos.net
20.09/11.77	c (0,0) SatSolver.solve Begin
20.09/11.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392474-1568442907.xml-scop-18865.cnf
20.09/11.79	c (0,0) c
20.09/11.79	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)
20.09/11.79	c (0,0) c
20.09/11.79	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.09/11.79	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.09/11.79	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.09/11.79	c (0,0) c |                                                                                                       |
20.09/11.87	c (0,0) c |  Number of variables:         41906                                                                   |
20.09/11.87	c (0,0) c |  Number of clauses:          221748                                                                   |
20.09/11.87	c (0,0) c |  Parse time:                   0.08 s                                                                 |
20.09/11.87	c (0,0) c |                                                                                                       |
21.67/12.09	c (0,0) c |  Simplification time:          0.22 s                                                                 |
21.67/12.09	c (0,0) c |                                                                                                       |
21.67/12.09	c (0,0) c |  Generating clones                                                                                    |
21.86/12.22	c (0,0) c |  all clones generated. Memory =   206.98Mb.                                                           |
21.86/12.22	c (0,0) c ========================================================================================================|
21.86/12.22	c (0,0) c
21.86/12.22	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.86/12.22	c (0,0) c
21.86/12.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.86/12.22	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.86/12.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.86/12.22	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.86/12.22	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.86/12.22	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.86/12.22	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.86/12.22	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.86/12.22	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.86/12.22	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.86/12.22	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.86/12.22	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.86/12.22	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.86/12.22	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.86/12.22	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.86/12.22	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.86/12.22	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.86/12.22	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.86/12.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.68	c (26,0) c
223.97/37.68	c (26,0) c real time : 25.8962 s
223.97/37.68	c (26,0) c cpu time  : 202.193 s
223.97/37.68	c (26,0) c
223.97/37.68	c (26,0) c
223.97/37.68	c (26,0) c
223.97/37.68	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
223.97/37.68	c (26,0) c
223.97/37.68	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.68	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
223.97/37.68	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.68	c (26,0) c | Conflicts     |          244924 |      29659 |      30606 |      29556 |      30579 |      30902 |      31416 |      30975 |      31231 |
223.97/37.68	c (26,0) c | Decisions     |         2332482 |     287868 |     288441 |     289875 |     288492 |     291382 |     291628 |     302251 |     292545 |
223.97/37.68	c (26,0) c | Propagations  |       305873025 |   37213313 |   38002491 |   37122822 |   37965250 |   38696043 |   39234850 |   38832369 |   38805887 |
223.97/37.68	c (26,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
223.97/37.68	c (26,0) c | SimpDBs       |             428 |         53 |         53 |         53 |         51 |         55 |         55 |         54 |         54 |
223.97/37.68	c (26,0) c | Restarts      |            3717 |        451 |        460 |        453 |        459 |        466 |        482 |        479 |        467 |
223.97/37.69	c (26,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
223.97/37.69	c (26,0) c | PropBinClauses|       776837420 |   93689404 |   96655476 |   93915785 |   96558107 |   98381459 |   99733163 |   98966589 |   98937437 |
223.97/37.69	c (26,0) c | PropPreBlocker|      3563576722 |  429110776 |  444133780 |  429850296 |  444500640 |  451605505 |  457322756 |  452836350 |  454216619 |
223.97/37.69	c (26,0) c | PropNotBlocker|       927067022 |  112253996 |  116220108 |  111557773 |  115524979 |  117394063 |  119536548 |  117455781 |  117123774 |
223.97/37.69	c (26,0) c | LitFullScans  |      6200437777 |  747517752 |  773084724 |  747106863 |  771632751 |  786130181 |  797952976 |  787257504 |  789755026 |
223.97/37.69	c (26,0) c | LitScanFracts |         1159474 |     285791 |     172289 |      39417 |     178259 |     108182 |      79876 |      47980 |     247680 |
223.97/37.69	c (26,0) c | DecisionLevel0|           14637 |       1822 |       1808 |       1826 |       1842 |       1801 |       1833 |       1908 |       1797 |
223.97/37.69	c (26,0) c | Periods       |            1029 |        124 |        128 |        124 |        128 |        131 |        132 |        131 |        131 |
223.97/37.69	c (26,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
223.97/37.69	c (26,0) c | Avg_Trail     |                 |       8665 |       8737 |       8742 |       8792 |       8760 |       8670 |       8754 |       8815 |
223.97/37.69	c (26,0) c | Avg_DL        |                 |         89 |         89 |         92 |         92 |         89 |         87 |         92 |         92 |
223.97/37.69	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
223.97/37.69	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
223.97/37.69	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.69	c (26,0) c | Exported      |           49428 |       6062 |       6121 |       5949 |       6143 |       6325 |       6341 |       6218 |       6269 |
223.97/37.69	c (26,0) c | Imported      |          310916 |      37864 |      38827 |      37951 |      38854 |      39117 |      39626 |      39221 |      39456 |
223.97/37.69	c (26,0) c | Good          |           61102 |       7534 |       7672 |       7579 |       7715 |       7622 |       7675 |       7611 |       7694 |
223.97/37.69	c (26,0) c | Purge         |          249814 |      30330 |      31155 |      30372 |      31139 |      31495 |      31951 |      31610 |      31762 |
223.97/37.69	c (26,0) c | Promoted      |           19257 |       2337 |       2373 |       2269 |       2534 |       2383 |       2488 |       2447 |       2426 |
223.97/37.69	c (26,0) c | Remove_Imp    |          142814 |      17794 |      17817 |      18168 |      17833 |      17677 |      17737 |      17990 |      17798 |
223.97/37.69	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
223.97/37.69	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.69	c (26,0) c | Unaries       |                 |       1371 |       1348 |       1373 |       1383 |       1335 |       1351 |       1429 |       1330 |
223.97/37.69	c (26,0) c | Binaries      |                 |       1165 |       1094 |       1121 |       1037 |       1158 |       1150 |       1178 |       1108 |
223.97/37.69	c (26,0) c | Glues         |                 |       1983 |       1922 |       1946 |       1856 |       2059 |       1983 |       2016 |       1906 |
223.97/37.69	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.69	c (26,0) c | Orig_Seen     |            34 % |      58157 |      58276 |      57894 |      58882 |      58563 |      58931 |      58821 |      58914 |
223.97/37.69	c (26,0) c | Diff Orig seen|                 |      X     |        119 | -      263 |        725 |        406 |        774 |        664 |        757 |
223.97/37.69	c (26,0) c | Hamming       |            13 % |      X     |       5853 |       6036 |       5420 |       5245 |       5625 |       5668 |       5124 |
223.97/37.69	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.69	c (26,0) c | RunningTime   |                 |   25.4 100%|   25.4 100%|   25.4 100%|   25.4 100%|   25.4 100%|   25.4 100%|   25.4 100%|   25.4 100%|
223.97/37.69	c (26,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%|
223.97/37.69	c (26,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%|
223.97/37.69	c (26,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%|
223.97/37.69	c (26,0) c | SolvingTime   |                 |   25.4     |   25.4     |   25.4     |   25.4     |   25.4     |   25.5     |   25.4     |   25.4     |
223.97/37.69	c (26,0) c | PropagationTim|                 |   22.2  88%|   22.2  87%|   22.2  87%|   22.1  87%|   22.2  87%|   22.2  87%|   22.2  87%|   22.1  87%|
223.97/37.69	c (26,0) c | AnalysisTime  |                 |    1.7   7%|    1.7   7%|    1.7   7%|    1.8   7%|    1.7   7%|    1.8   7%|    1.7   7%|    1.8   7%|
223.97/37.69	c (26,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
223.97/37.69	c (26,0) c | SimplifyTime  |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
223.97/37.69	c (26,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%|
223.97/37.69	c (26,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%|
223.97/37.69	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.97/37.69	c (26,0) c
223.97/37.69	c (26,0) c
223.97/37.69	c (26,0) c Threads : 8
223.97/37.69	c (26,0) c Winner : 0
223.97/37.69	c (26,0) c Conflicts_0 : 29659
223.97/37.69	c (26,0) c Conflicts_1 : 30606
223.97/37.69	c (26,0) c Conflicts_2 : 29556
223.97/37.69	c (26,0) c Conflicts_3 : 30579
223.97/37.69	c (26,0) c Conflicts_4 : 30902
223.97/37.69	c (26,0) c Conflicts_5 : 31416
223.97/37.69	c (26,0) c Conflicts_6 : 30975
223.97/37.69	c (26,0) c Conflicts_7 : 31231
223.97/37.69	c (26,0) c Conflicts_total : 244924
223.97/37.69	c (26,0) c Conflicts_winner : 29659
223.97/37.69	c (26,0) c Decisions_0 : 287868
223.97/37.69	c (26,0) c Decisions_1 : 288441
223.97/37.69	c (26,0) c Decisions_2 : 289875
223.97/37.69	c (26,0) c Decisions_3 : 288492
223.97/37.69	c (26,0) c Decisions_4 : 291382
223.97/37.69	c (26,0) c Decisions_5 : 291628
223.97/37.69	c (26,0) c Decisions_6 : 302251
223.97/37.69	c (26,0) c Decisions_7 : 292545
223.97/37.69	c (26,0) c Decisions_total : 2332482
223.97/37.69	c (26,0) c Decisions_winner : 287868
223.97/37.69	c (26,0) c Propagations_0 : 37213313
223.97/37.69	c (26,0) c Propagations_1 : 38002491
223.97/37.69	c (26,0) c Propagations_2 : 37122822
223.97/37.69	c (26,0) c Propagations_3 : 37965250
223.97/37.69	c (26,0) c Propagations_4 : 38696043
223.97/37.69	c (26,0) c Propagations_5 : 39234850
223.97/37.69	c (26,0) c Propagations_6 : 38832369
223.97/37.69	c (26,0) c Propagations_7 : 38805887
223.97/37.69	c (26,0) c Propagations_total : 305873025
223.97/37.69	c (26,0) c Propagations_winner : 37213313
223.97/37.69	c (26,0) c ReduceDBs_0 : 4
223.97/37.69	c (26,0) c ReduceDBs_1 : 4
223.97/37.69	c (26,0) c ReduceDBs_2 : 4
223.97/37.69	c (26,0) c ReduceDBs_3 : 4
223.97/37.69	c (26,0) c ReduceDBs_4 : 4
223.97/37.69	c (26,0) c ReduceDBs_5 : 4
223.97/37.69	c (26,0) c ReduceDBs_6 : 4
223.97/37.69	c (26,0) c ReduceDBs_7 : 4
223.97/37.69	c (26,0) c ReduceDBs_total : 32
223.97/37.69	c (26,0) c ReduceDBs_winner : 4
223.97/37.69	c (26,0) c SimpDBs_0 : 53
223.97/37.69	c (26,0) c SimpDBs_1 : 53
223.97/37.69	c (26,0) c SimpDBs_2 : 53
223.97/37.69	c (26,0) c SimpDBs_3 : 51
223.97/37.69	c (26,0) c SimpDBs_4 : 55
223.97/37.69	c (26,0) c SimpDBs_5 : 55
223.97/37.69	c (26,0) c SimpDBs_6 : 54
223.97/37.69	c (26,0) c SimpDBs_7 : 54
223.97/37.69	c (26,0) c SimpDBs_total : 428
223.97/37.69	c (26,0) c SimpDBs_winner : 53
223.97/37.69	c (26,0) c Restarts_0 : 451
223.97/37.69	c (26,0) c Restarts_1 : 460
223.97/37.69	c (26,0) c Restarts_2 : 453
223.97/37.69	c (26,0) c Restarts_3 : 459
223.97/37.69	c (26,0) c Restarts_4 : 466
223.97/37.69	c (26,0) c Restarts_5 : 482
223.97/37.69	c (26,0) c Restarts_6 : 479
223.97/37.69	c (26,0) c Restarts_7 : 467
223.97/37.69	c (26,0) c Restarts_total : 3717
223.97/37.69	c (26,0) c Restarts_winner : 451
223.97/37.69	c (26,0) c ForcedImports_0 : 0
223.97/37.69	c (26,0) c ForcedImports_1 : 0
223.97/37.69	c (26,0) c ForcedImports_2 : 0
223.97/37.69	c (26,0) c ForcedImports_3 : 0
223.97/37.69	c (26,0) c ForcedImports_4 : 0
223.97/37.69	c (26,0) c ForcedImports_5 : 0
223.97/37.69	c (26,0) c ForcedImports_6 : 0
223.97/37.69	c (26,0) c ForcedImports_7 : 0
223.97/37.69	c (26,0) c ForcedImports_total : 0
223.97/37.69	c (26,0) c ForcedImports_winner : 0
223.97/37.69	c (26,0) c PropsBinClauses_0 : 93689404
223.97/37.69	c (26,0) c PropsBinClauses_1 : 96655476
223.97/37.69	c (26,0) c PropsBinClauses_2 : 93915785
223.97/37.69	c (26,0) c PropsBinClauses_3 : 96558107
223.97/37.69	c (26,0) c PropsBinClauses_4 : 98381459
223.97/37.69	c (26,0) c PropsBinClauses_5 : 99733163
223.97/37.69	c (26,0) c PropsBinClauses_6 : 98966589
223.97/37.69	c (26,0) c PropsBinClauses_7 : 98937437
223.97/37.69	c (26,0) c PropsBinClauses_total : 776837420
223.97/37.69	c (26,0) c PropsBinClauses_winner : 93689404
223.97/37.69	c (26,0) c PropsPreBlocker_0 : 429110776
223.97/37.69	c (26,0) c PropsPreBlocker_1 : 444133780
223.97/37.69	c (26,0) c PropsPreBlocker_2 : 429850296
223.97/37.69	c (26,0) c PropsPreBlocker_3 : 444500640
223.97/37.69	c (26,0) c PropsPreBlocker_4 : 451605505
223.97/37.69	c (26,0) c PropsPreBlocker_5 : 457322756
223.97/37.69	c (26,0) c PropsPreBlocker_6 : 452836350
223.97/37.69	c (26,0) c PropsPreBlocker_7 : 454216619
223.97/37.69	c (26,0) c PropsPreBlocker_total : 3563576722
223.97/37.69	c (26,0) c PropsPreBlocker_winner : 429110776
223.97/37.69	c (26,0) c PropsNotBlocker_0 : 112253996
223.97/37.69	c (26,0) c PropsNotBlocker_1 : 116220108
223.97/37.69	c (26,0) c PropsNotBlocker_2 : 111557773
223.97/37.69	c (26,0) c PropsNotBlocker_3 : 115524979
223.97/37.69	c (26,0) c PropsNotBlocker_4 : 117394063
223.97/37.69	c (26,0) c PropsNotBlocker_5 : 119536548
223.97/37.69	c (26,0) c PropsNotBlocker_6 : 117455781
223.97/37.69	c (26,0) c PropsNotBlocker_7 : 117123774
223.97/37.69	c (26,0) c PropsNotBlocker_total : 927067022
223.97/37.69	c (26,0) c PropsNotBlocker_winner : 112253996
223.97/37.69	c (26,0) c PropsLitFullScans_0 : 747517752
223.97/37.69	c (26,0) c PropsLitFullScans_1 : 773084724
223.97/37.69	c (26,0) c PropsLitFullScans_2 : 747106863
223.97/37.69	c (26,0) c PropsLitFullScans_3 : 771632751
223.97/37.69	c (26,0) c PropsLitFullScans_4 : 786130181
223.97/37.69	c (26,0) c PropsLitFullScans_5 : 797952976
223.97/37.69	c (26,0) c PropsLitFullScans_6 : 787257504
223.97/37.69	c (26,0) c PropsLitFullScans_7 : 789755026
223.97/37.69	c (26,0) c PropsLitFullScans_total : 6200437777
223.97/37.69	c (26,0) c PropsLitFullScans_winner : 747517752
223.97/37.69	c (26,0) c LitScanFractions_0 : 285791
223.97/37.69	c (26,0) c LitScanFractions_1 : 172289
223.97/37.69	c (26,0) c LitScanFractions_2 : 39417
223.97/37.69	c (26,0) c LitScanFractions_3 : 178259
223.97/37.69	c (26,0) c LitScanFractions_4 : 108182
223.97/37.69	c (26,0) c LitScanFractions_5 : 79876
223.97/37.69	c (26,0) c LitScanFractions_6 : 47980
223.97/37.69	c (26,0) c LitScanFractions_7 : 247680
223.97/37.69	c (26,0) c LitScanFractions_total : 1159474
223.97/37.69	c (26,0) c LitScanFractions_winner : 285791
223.97/37.69	c (26,0) c DecisionLevel0_0 : 1822
223.97/37.69	c (26,0) c DecisionLevel0_1 : 1808
223.97/37.69	c (26,0) c DecisionLevel0_2 : 1826
223.97/37.69	c (26,0) c DecisionLevel0_3 : 1842
223.97/37.69	c (26,0) c DecisionLevel0_4 : 1801
223.97/37.69	c (26,0) c DecisionLevel0_5 : 1833
223.97/37.69	c (26,0) c DecisionLevel0_6 : 1908
223.97/37.69	c (26,0) c DecisionLevel0_7 : 1797
223.97/37.69	c (26,0) c DecisionLevel0_total : 14637
223.97/37.69	c (26,0) c DecisionLevel0_winner : 1822
223.97/37.69	c (26,0) c Periods_0 : 124
223.97/37.69	c (26,0) c Periods_1 : 128
223.97/37.69	c (26,0) c Periods_2 : 124
223.97/37.69	c (26,0) c Periods_3 : 128
223.97/37.69	c (26,0) c Periods_4 : 131
223.97/37.69	c (26,0) c Periods_5 : 132
223.97/37.69	c (26,0) c Periods_6 : 131
223.97/37.69	c (26,0) c Periods_7 : 131
223.97/37.69	c (26,0) c Periods_total : 1029
223.97/37.69	c (26,0) c Periods_winner : 124
223.97/37.69	c (26,0) c Margin_0 : 20
223.97/37.69	c (26,0) c Margin_1 : 20
223.97/37.69	c (26,0) c Margin_2 : 20
223.97/37.69	c (26,0) c Margin_3 : 20
223.97/37.69	c (26,0) c Margin_4 : 20
223.97/37.69	c (26,0) c Margin_5 : 20
223.97/37.69	c (26,0) c Margin_6 : 20
223.97/37.69	c (26,0) c Margin_7 : 20
223.97/37.69	c (26,0) c Margin_total : 160
223.97/37.69	c (26,0) c Margin_winner : 20
223.97/37.69	c (26,0) c Exported_0 : 6062
223.97/37.69	c (26,0) c Exported_1 : 6121
223.97/37.69	c (26,0) c Exported_2 : 5949
223.97/37.69	c (26,0) c Exported_3 : 6143
223.97/37.69	c (26,0) c Exported_4 : 6325
223.97/37.69	c (26,0) c Exported_5 : 6341
223.97/37.69	c (26,0) c Exported_6 : 6218
223.97/37.69	c (26,0) c Exported_7 : 6269
223.97/37.69	c (26,0) c Exported_total : 49428
223.97/37.69	c (26,0) c Exported_winner : 6062
223.97/37.69	c (26,0) c Imported_0 : 37864
223.97/37.69	c (26,0) c Imported_1 : 38827
223.97/37.69	c (26,0) c Imported_2 : 37951
223.97/37.69	c (26,0) c Imported_3 : 38854
223.97/37.69	c (26,0) c Imported_4 : 39117
223.97/37.69	c (26,0) c Imported_5 : 39626
223.97/37.69	c (26,0) c Imported_6 : 39221
223.97/37.69	c (26,0) c Imported_7 : 39456
223.97/37.69	c (26,0) c Imported_total : 310916
223.97/37.69	c (26,0) c Imported_winner : 37864
223.97/37.69	c (26,0) c Good_0 : 7534
223.97/37.69	c (26,0) c Good_1 : 7672
223.97/37.69	c (26,0) c Good_2 : 7579
223.97/37.69	c (26,0) c Good_3 : 7715
223.97/37.69	c (26,0) c Good_4 : 7622
223.97/37.69	c (26,0) c Good_5 : 7675
223.97/37.69	c (26,0) c Good_6 : 7611
223.97/37.69	c (26,0) c Good_7 : 7694
223.97/37.69	c (26,0) c Good_total : 61102
223.97/37.69	c (26,0) c Good_winner : 7534
223.97/37.69	c (26,0) c Purge_0 : 30330
223.97/37.69	c (26,0) c Purge_1 : 31155
223.97/37.69	c (26,0) c Purge_2 : 30372
223.97/37.69	c (26,0) c Purge_3 : 31139
223.97/37.69	c (26,0) c Purge_4 : 31495
223.97/37.69	c (26,0) c Purge_5 : 31951
223.97/37.69	c (26,0) c Purge_6 : 31610
223.97/37.69	c (26,0) c Purge_7 : 31762
223.97/37.69	c (26,0) c Purge_total : 249814
223.97/37.69	c (26,0) c Purge_winner : 30330
223.97/37.69	c (26,0) c Promoted_0 : 2337
223.97/37.69	c (26,0) c Promoted_1 : 2373
223.97/37.69	c (26,0) c Promoted_2 : 2269
223.97/37.70	c (26,0) c Promoted_3 : 2534
223.97/37.70	c (26,0) c Promoted_4 : 2383
223.97/37.70	c (26,0) c Promoted_5 : 2488
223.97/37.70	c (26,0) c Promoted_6 : 2447
223.97/37.70	c (26,0) c Promoted_7 : 2426
223.97/37.70	c (26,0) c Promoted_total : 19257
223.97/37.70	c (26,0) c Promoted_winner : 2337
223.97/37.70	c (26,0) c Remove_Imp_0 : 17794
223.97/37.70	c (26,0) c Remove_Imp_1 : 17817
223.97/37.70	c (26,0) c Remove_Imp_2 : 18168
223.97/37.70	c (26,0) c Remove_Imp_3 : 17833
223.97/37.70	c (26,0) c Remove_Imp_4 : 17677
223.97/37.70	c (26,0) c Remove_Imp_5 : 17737
223.97/37.70	c (26,0) c Remove_Imp_6 : 17990
223.97/37.70	c (26,0) c Remove_Imp_7 : 17798
223.97/37.70	c (26,0) c Remove_Imp_total : 142814
223.97/37.70	c (26,0) c Remove_Imp_winner : 17794
223.97/37.70	c (26,0) c Blocked_Reuse_0 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_1 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_2 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_3 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_4 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_5 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_6 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_7 : 0
223.97/37.70	c (26,0) c Blocked_Reuse_total : 0
223.97/37.70	c (26,0) c Blocked_Reuse_winner : 0
223.97/37.70	c (26,0) c Unaries_0 : 1371
223.97/37.70	c (26,0) c Unaries_1 : 1348
224.26/37.70	c (26,0) c Unaries_2 : 1373
224.26/37.70	c (26,0) c Unaries_3 : 1383
224.26/37.70	c (26,0) c Unaries_4 : 1335
224.26/37.70	c (26,0) c Unaries_5 : 1351
224.26/37.70	c (26,0) c Unaries_6 : 1429
224.26/37.70	c (26,0) c Unaries_7 : 1330
224.26/37.70	c (26,0) c Unaries_total : 10920
224.26/37.70	c (26,0) c Unaries_winner : 1371
224.26/37.70	c (26,0) c Binaries_0 : 1165
224.26/37.70	c (26,0) c Binaries_1 : 1094
224.26/37.70	c (26,0) c Binaries_2 : 1121
224.26/37.70	c (26,0) c Binaries_3 : 1037
224.26/37.70	c (26,0) c Binaries_4 : 1158
224.26/37.70	c (26,0) c Binaries_5 : 1150
224.26/37.70	c (26,0) c Binaries_6 : 1178
224.26/37.70	c (26,0) c Binaries_7 : 1108
224.26/37.70	c (26,0) c Binaries_total : 9011
224.26/37.70	c (26,0) c Binaries_winner : 1165
224.26/37.70	c (26,0) c Glues_0 : 1983
224.26/37.70	c (26,0) c Glues_1 : 1922
224.26/37.70	c (26,0) c Glues_2 : 1946
224.26/37.70	c (26,0) c Glues_3 : 1856
224.26/37.70	c (26,0) c Glues_4 : 2059
224.26/37.70	c (26,0) c Glues_5 : 1983
224.26/37.70	c (26,0) c Glues_6 : 2016
224.26/37.70	c (26,0) c Glues_7 : 1906
224.26/37.70	c (26,0) c Glues_total : 15671
224.26/37.70	c (26,0) c Glues_winner : 1983
224.26/37.70	c (26,0) c RunningTime_0 : 25.363514
224.26/37.70	c (26,0) c RunningTime_1 : 25.390527
224.26/37.70	c (26,0) c RunningTime_2 : 25.399854
224.26/37.70	c (26,0) c RunningTime_3 : 25.389065
224.26/37.70	c (26,0) c RunningTime_4 : 25.399038
224.26/37.70	c (26,0) c RunningTime_5 : 25.435684
224.26/37.70	c (26,0) c RunningTime_6 : 25.386767
224.26/37.70	c (26,0) c RunningTime_7 : 25.388728
224.26/37.70	c (26,0) c RunningTime_total : 203.153177
224.26/37.70	c (26,0) c RunningTime_winner : 25.363514
224.26/37.70	c (26,0) c WaitingTime_0 : 0.000124
224.26/37.70	c (26,0) c WaitingTime_1 : 0.000196
224.26/37.70	c (26,0) c WaitingTime_2 : 0.000138
224.26/37.70	c (26,0) c WaitingTime_3 : 0.000168
224.26/37.70	c (26,0) c WaitingTime_4 : 0.000169
224.26/37.70	c (26,0) c WaitingTime_5 : 0.000174
224.26/37.70	c (26,0) c WaitingTime_6 : 0.000188
224.26/37.70	c (26,0) c WaitingTime_7 : 0.000169
224.26/37.70	c (26,0) c WaitingTime_total : 0.001325
224.26/37.70	c (26,0) c WaitingTime_winner : 0.000124
224.26/37.70	c (26,0) c ExchangingTime_0 : 0.019884
224.26/37.70	c (26,0) c ExchangingTime_1 : 0.022791
224.26/37.70	c (26,0) c ExchangingTime_2 : 0.019122
224.26/37.70	c (26,0) c ExchangingTime_3 : 0.023588
224.26/37.70	c (26,0) c ExchangingTime_4 : 0.019573
224.26/37.70	c (26,0) c ExchangingTime_5 : 0.021054
224.26/37.70	c (26,0) c ExchangingTime_6 : 0.020009
224.26/37.70	c (26,0) c ExchangingTime_7 : 0.022129
224.26/37.70	c (26,0) c ExchangingTime_total : 0.168150
224.26/37.70	c (26,0) c ExchangingTime_winner : 0.019884
224.26/37.70	c (26,0) c PeriodProcTime_0 : 0.001186
224.26/37.70	c (26,0) c PeriodProcTime_1 : 0.001278
224.26/37.70	c (26,0) c PeriodProcTime_2 : 0.001161
224.26/37.70	c (26,0) c PeriodProcTime_3 : 0.001183
224.26/37.70	c (26,0) c PeriodProcTime_4 : 0.001170
224.26/37.70	c (26,0) c PeriodProcTime_5 : 0.001346
224.26/37.70	c (26,0) c PeriodProcTime_6 : 0.001473
224.26/37.70	c (26,0) c PeriodProcTime_7 : 0.001224
224.26/37.70	c (26,0) c PeriodProcTime_total : 0.010021
224.26/37.70	c (26,0) c PeriodProcTime_winner : 0.001186
224.26/37.70	c (26,0) c SolvingTime_0 : 25.384709
224.26/37.70	c (26,0) c SolvingTime_1 : 25.414792
224.26/37.70	c (26,0) c SolvingTime_2 : 25.420274
224.26/37.70	c (26,0) c SolvingTime_3 : 25.414004
224.26/37.70	c (26,0) c SolvingTime_4 : 25.419950
224.26/37.70	c (26,0) c SolvingTime_5 : 25.458257
224.26/37.70	c (26,0) c SolvingTime_6 : 25.408437
224.26/37.70	c (26,0) c SolvingTime_7 : 25.412250
224.26/37.70	c (26,0) c SolvingTime_total : 203.332673
224.26/37.70	c (26,0) c SolvingTime_winner : 25.384709
224.26/37.70	c (26,0) c PropagationTime_0 : 22.223635
224.26/37.70	c (26,0) c PropagationTime_1 : 22.177755
224.26/37.70	c (26,0) c PropagationTime_2 : 22.184587
224.26/37.70	c (26,0) c PropagationTime_3 : 22.141488
224.26/37.70	c (26,0) c PropagationTime_4 : 22.172275
224.26/37.70	c (26,0) c PropagationTime_5 : 22.172928
224.26/37.70	c (26,0) c PropagationTime_6 : 22.157055
224.26/37.70	c (26,0) c PropagationTime_7 : 22.101594
224.26/37.70	c (26,0) c PropagationTime_total : 177.331316
224.26/37.70	c (26,0) c PropagationTime_winner : 22.223635
224.26/37.70	c (26,0) c AnalysisTime_0 : 1.675338
224.26/37.70	c (26,0) c AnalysisTime_1 : 1.744188
224.26/37.70	c (26,0) c AnalysisTime_2 : 1.724141
224.26/37.70	c (26,0) c AnalysisTime_3 : 1.779122
224.26/37.70	c (26,0) c AnalysisTime_4 : 1.739788
224.26/37.70	c (26,0) c AnalysisTime_5 : 1.771744
224.26/37.70	c (26,0) c AnalysisTime_6 : 1.742778
224.26/37.70	c (26,0) c AnalysisTime_7 : 1.791167
224.26/37.70	c (26,0) c AnalysisTime_total : 13.968266
224.26/37.70	c (26,0) c AnalysisTime_winner : 1.675338
224.26/37.70	c (26,0) c ReductionTime_0 : 0.068525
224.26/37.70	c (26,0) c ReductionTime_1 : 0.071392
224.26/37.70	c (26,0) c ReductionTime_2 : 0.067451
224.26/37.70	c (26,0) c ReductionTime_3 : 0.067453
224.26/37.70	c (26,0) c ReductionTime_4 : 0.066738
224.26/37.70	c (26,0) c ReductionTime_5 : 0.067759
224.26/37.70	c (26,0) c ReductionTime_6 : 0.068665
224.26/37.70	c (26,0) c ReductionTime_7 : 0.066541
224.26/37.70	c (26,0) c ReductionTime_total : 0.544523
224.26/37.70	c (26,0) c ReductionTime_winner : 0.068525
224.26/37.70	c (26,0) c SimplifyTime_0 : 0.304059
224.26/37.70	c (26,0) c SimplifyTime_1 : 0.319428
224.26/37.70	c (26,0) c SimplifyTime_2 : 0.324003
224.26/37.70	c (26,0) c SimplifyTime_3 : 0.302438
224.26/37.70	c (26,0) c SimplifyTime_4 : 0.330862
224.26/37.70	c (26,0) c SimplifyTime_5 : 0.325335
224.26/37.70	c (26,0) c SimplifyTime_6 : 0.319922
224.26/37.70	c (26,0) c SimplifyTime_7 : 0.322887
224.26/37.70	c (26,0) c SimplifyTime_total : 2.548934
224.26/37.70	c (26,0) c SimplifyTime_winner : 0.304059
224.26/37.70	c (26,0) c UsedRateTime_0 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_1 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_2 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_3 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_4 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_5 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_6 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_7 : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_total : 0.000000
224.26/37.70	c (26,0) c UsedRateTime_winner : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_0 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_1 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_2 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_3 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_4 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_5 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_6 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_7 : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_total : 0.000000
224.26/37.70	c (26,0) c OverlapRateTime_winner : 0.000000
224.26/37.70	c (26,0) c
224.26/37.70	c (26,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
224.26/37.70	c (26,0) c
224.26/37.70	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.26/37.70	c (26,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.26/37.70	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.26/37.70	c (26,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
224.26/37.70	c (26,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
224.26/37.70	c (26,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
224.26/37.70	c (26,0) c | Initial random_seed   | 1001000797 | 1512128465 | 1585784746 |   85893993 | 1600251854 |  393966165 |  361696529 | 1682132502 |
224.26/37.70	c (26,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
224.26/37.70	c (26,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
224.26/37.70	c (26,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
224.26/37.70	c (26,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
224.26/37.70	c (26,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
224.26/37.70	c (26,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
224.26/37.70	c (26,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
224.26/37.70	c (26,0) c | var_decay             |     0.8500 |     0.8600 |     0.8500 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
224.26/37.70	c (26,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
224.26/37.70	c (26,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
224.26/37.70	c (26,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
224.26/37.70	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.26/37.70	c (26,0) 
224.26/37.70	c (26,0) s SATISFIABLE
224.26/37.76	c (26,0) SatSolver.solve End
224.26/37.76	c (26,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
224.26/37.76	c (26,0) Show results Begin
224.80/37.95	c (26,0) x[0][0] = 18
224.80/37.95	c (26,0) x[0][1] = 13
224.80/37.95	c (26,0) x[0][2] = 10
224.80/37.95	c (26,0) x[0][3] = 15
224.80/37.95	c (26,0) x[0][4] = 0
224.80/37.95	c (26,0) x[0][5] = 19
224.80/37.95	c (26,0) x[0][6] = 22
224.80/37.95	c (26,0) x[0][7] = 8
224.80/37.95	c (26,0) x[0][8] = 27
224.80/37.95	c (26,0) x[0][9] = 9
224.80/37.95	c (26,0) x[0][10] = 5
224.80/37.95	c (26,0) x[0][11] = 17
224.80/37.95	c (26,0) x[0][12] = 4
224.80/37.95	c (26,0) x[0][13] = 12
224.80/37.95	c (26,0) x[0][14] = 26
224.80/37.95	c (26,0) x[0][15] = 3
224.80/37.95	c (26,0) x[0][16] = 1
224.80/37.95	c (26,0) x[0][17] = 7
224.80/37.95	c (26,0) x[0][18] = 16
224.80/37.95	c (26,0) x[0][19] = 25
224.80/37.95	c (26,0) x[0][20] = 11
224.80/37.95	c (26,0) x[0][21] = 23
224.80/37.95	c (26,0) x[0][22] = 21
224.80/37.95	c (26,0) x[0][23] = 28
224.80/37.95	c (26,0) x[0][24] = 14
224.80/37.95	c (26,0) x[0][25] = 29
224.80/37.95	c (26,0) x[0][26] = 6
224.80/37.95	c (26,0) x[0][27] = 20
224.80/37.95	c (26,0) x[0][28] = 24
224.80/37.95	c (26,0) x[0][29] = 2
224.80/37.95	c (26,0) x[1][0] = 27
224.80/37.95	c (26,0) x[1][1] = 21
224.80/37.95	c (26,0) x[1][2] = 22
224.80/37.95	c (26,0) x[1][3] = 6
224.80/37.95	c (26,0) x[1][4] = 19
224.80/37.95	c (26,0) x[1][5] = 3
224.80/37.95	c (26,0) x[1][6] = 2
224.80/37.95	c (26,0) x[1][7] = 24
224.80/37.95	c (26,0) x[1][8] = 29
224.80/37.95	c (26,0) x[1][9] = 5
224.80/37.95	c (26,0) x[1][10] = 13
224.80/37.95	c (26,0) x[1][11] = 0
224.80/37.95	c (26,0) x[1][12] = 18
224.80/37.95	c (26,0) x[1][13] = 11
224.80/37.95	c (26,0) x[1][14] = 17
224.80/37.95	c (26,0) x[1][15] = 10
224.80/37.95	c (26,0) x[1][16] = 26
224.80/37.95	c (26,0) x[1][17] = 16
224.80/37.95	c (26,0) x[1][18] = 23
224.80/37.95	c (26,0) x[1][19] = 12
224.80/37.95	c (26,0) x[1][20] = 1
224.80/37.95	c (26,0) x[1][21] = 14
224.80/37.95	c (26,0) x[1][22] = 15
224.80/37.95	c (26,0) x[1][23] = 8
224.80/37.95	c (26,0) x[1][24] = 20
224.80/37.95	c (26,0) x[1][25] = 7
224.80/37.95	c (26,0) x[1][26] = 9
224.80/37.95	c (26,0) x[1][27] = 4
224.80/37.95	c (26,0) x[1][28] = 25
224.80/37.95	c (26,0) x[1][29] = 28
224.80/37.95	c (26,0) x[2][0] = 10
224.80/37.95	c (26,0) x[2][1] = 2
224.80/37.95	c (26,0) x[2][2] = 9
224.80/37.95	c (26,0) x[2][3] = 12
224.80/37.95	c (26,0) x[2][4] = 29
224.80/37.95	c (26,0) x[2][5] = 17
224.80/37.95	c (26,0) x[2][6] = 20
224.80/37.95	c (26,0) x[2][7] = 14
224.80/37.95	c (26,0) x[2][8] = 5
224.80/37.95	c (26,0) x[2][9] = 21
224.80/37.95	c (26,0) x[2][10] = 26
224.80/37.95	c (26,0) x[2][11] = 16
224.80/37.95	c (26,0) x[2][12] = 23
224.80/37.95	c (26,0) x[2][13] = 1
224.80/37.95	c (26,0) x[2][14] = 18
224.80/37.95	c (26,0) x[2][15] = 24
224.80/37.95	c (26,0) x[2][16] = 6
224.80/37.95	c (26,0) x[2][17] = 8
224.80/37.95	c (26,0) x[2][18] = 11
224.80/37.95	c (26,0) x[2][19] = 7
224.80/37.95	c (26,0) x[2][20] = 28
224.80/37.95	c (26,0) x[2][21] = 25
224.80/37.95	c (26,0) x[2][22] = 19
224.80/37.95	c (26,0) x[2][23] = 3
224.80/37.95	c (26,0) x[2][24] = 22
224.80/37.95	c (26,0) x[2][25] = 4
224.80/37.96	c (26,0) x[2][26] = 27
224.80/37.96	c (26,0) x[2][27] = 13
224.80/37.96	c (26,0) x[2][28] = 15
224.80/37.96	c (26,0) x[2][29] = 0
224.80/37.96	c (26,0) x[3][0] = 2
224.80/37.96	c (26,0) x[3][1] = 19
224.80/37.96	c (26,0) x[3][2] = 12
224.80/37.96	c (26,0) x[3][3] = 20
224.80/37.96	c (26,0) x[3][4] = 9
224.80/37.96	c (26,0) x[3][5] = 26
224.80/37.96	c (26,0) x[3][6] = 3
224.80/37.96	c (26,0) x[3][7] = 18
224.80/37.96	c (26,0) x[3][8] = 13
224.80/37.96	c (26,0) x[3][9] = 10
224.80/37.96	c (26,0) x[3][10] = 14
224.80/37.96	c (26,0) x[3][11] = 23
224.80/37.96	c (26,0) x[3][12] = 21
224.80/37.96	c (26,0) x[3][13] = 5
224.80/37.96	c (26,0) x[3][14] = 15
224.80/37.96	c (26,0) x[3][15] = 1
224.80/37.96	c (26,0) x[3][16] = 7
224.80/37.96	c (26,0) x[3][17] = 17
224.80/37.96	c (26,0) x[3][18] = 6
224.80/37.96	c (26,0) x[3][19] = 29
224.80/37.96	c (26,0) x[3][20] = 0
224.80/37.96	c (26,0) x[3][21] = 28
224.80/37.96	c (26,0) x[3][22] = 4
224.80/37.96	c (26,0) x[3][23] = 24
224.80/37.96	c (26,0) x[3][24] = 11
224.80/37.96	c (26,0) x[3][25] = 16
224.80/37.96	c (26,0) x[3][26] = 8
224.80/37.96	c (26,0) x[3][27] = 27
224.80/37.96	c (26,0) x[3][28] = 22
224.80/37.96	c (26,0) x[3][29] = 25
224.80/37.96	c (26,0) x[4][0] = 0
224.80/37.96	c (26,0) x[4][1] = 25
224.80/37.96	c (26,0) x[4][2] = 16
224.80/37.96	c (26,0) x[4][3] = 22
224.80/37.96	c (26,0) x[4][4] = 12
224.80/37.96	c (26,0) x[4][5] = 28
224.80/37.96	c (26,0) x[4][6] = 13
224.80/37.96	c (26,0) x[4][7] = 3
224.80/37.96	c (26,0) x[4][8] = 18
224.80/37.96	c (26,0) x[4][9] = 4
224.80/37.96	c (26,0) x[4][10] = 24
224.80/37.96	c (26,0) x[4][11] = 21
224.80/37.96	c (26,0) x[4][12] = 6
224.80/37.96	c (26,0) x[4][13] = 19
224.80/37.96	c (26,0) x[4][14] = 27
224.80/37.96	c (26,0) x[4][15] = 9
224.80/37.96	c (26,0) x[4][16] = 29
224.80/37.96	c (26,0) x[4][17] = 14
224.80/37.96	c (26,0) x[4][18] = 1
224.80/37.96	c (26,0) x[4][19] = 10
224.80/37.96	c (26,0) x[4][20] = 23
224.80/37.96	c (26,0) x[4][21] = 26
224.80/37.96	c (26,0) x[4][22] = 11
224.80/37.96	c (26,0) x[4][23] = 17
224.80/37.96	c (26,0) x[4][24] = 15
224.80/37.96	c (26,0) x[4][25] = 20
224.80/37.96	c (26,0) x[4][26] = 5
224.80/37.96	c (26,0) x[4][27] = 8
224.80/37.96	c (26,0) x[4][28] = 2
224.80/37.96	c (26,0) x[4][29] = 7
224.80/37.96	c (26,0) x[5][0] = 14
224.80/37.96	c (26,0) x[5][1] = 5
224.80/37.96	c (26,0) x[5][2] = 28
224.80/37.96	c (26,0) x[5][3] = 9
224.80/37.96	c (26,0) x[5][4] = 18
224.80/37.96	c (26,0) x[5][5] = 29
224.80/37.96	c (26,0) x[5][6] = 1
224.80/37.96	c (26,0) x[5][7] = 2
224.80/37.96	c (26,0) x[5][8] = 17
224.80/37.96	c (26,0) x[5][9] = 11
224.80/37.96	c (26,0) x[5][10] = 8
224.80/37.96	c (26,0) x[5][11] = 13
224.80/37.96	c (26,0) x[5][12] = 19
224.80/37.96	c (26,0) x[5][13] = 16
224.80/37.96	c (26,0) x[5][14] = 21
224.80/37.96	c (26,0) x[5][15] = 0
224.80/37.96	c (26,0) x[5][16] = 27
224.80/37.96	c (26,0) x[5][17] = 10
224.80/37.96	c (26,0) x[5][18] = 24
224.80/37.96	c (26,0) x[5][19] = 20
224.80/37.96	c (26,0) x[5][20] = 3
224.80/37.96	c (26,0) x[5][21] = 4
224.80/37.96	c (26,0) x[5][22] = 6
224.80/37.96	c (26,0) x[5][23] = 23
224.80/37.96	c (26,0) x[5][24] = 26
224.80/37.96	c (26,0) x[5][25] = 15
224.80/37.96	c (26,0) x[5][26] = 12
224.80/37.96	c (26,0) x[5][27] = 25
224.80/37.96	c (26,0) x[5][28] = 7
224.80/37.96	c (26,0) x[5][29] = 22
224.80/37.96	c (26,0) x[6][0] = 26
224.80/37.96	c (26,0) x[6][1] = 28
224.80/37.96	c (26,0) x[6][2] = 6
224.80/37.96	c (26,0) x[6][3] = 10
224.80/37.96	c (26,0) x[6][4] = 1
224.80/37.96	c (26,0) x[6][5] = 4
224.80/37.96	c (26,0) x[6][6] = 16
224.80/37.96	c (26,0) x[6][7] = 7
224.80/37.96	c (26,0) x[6][8] = 9
224.80/37.96	c (26,0) x[6][9] = 0
224.80/37.96	c (26,0) x[6][10] = 25
224.80/37.96	c (26,0) x[6][11] = 20
224.80/37.96	c (26,0) x[6][12] = 8
224.80/37.96	c (26,0) x[6][13] = 22
224.80/37.96	c (26,0) x[6][14] = 24
224.80/37.96	c (26,0) x[6][15] = 19
224.80/37.96	c (26,0) x[6][16] = 3
224.80/37.96	c (26,0) x[6][17] = 23
224.80/37.96	c (26,0) x[6][18] = 21
224.80/37.96	c (26,0) x[6][19] = 5
224.80/37.96	c (26,0) x[6][20] = 15
224.80/37.96	c (26,0) x[6][21] = 17
224.80/37.96	c (26,0) x[6][22] = 2
224.80/37.96	c (26,0) x[6][23] = 13
224.80/37.96	c (26,0) x[6][24] = 29
224.80/37.96	c (26,0) x[6][25] = 11
224.80/37.96	c (26,0) x[6][26] = 18
224.80/37.96	c (26,0) x[6][27] = 12
224.80/37.96	c (26,0) x[6][28] = 27
224.80/37.96	c (26,0) x[6][29] = 14
224.80/37.96	c (26,0) x[7][0] = 17
224.80/37.96	c (26,0) x[7][1] = 26
224.80/37.96	c (26,0) x[7][2] = 24
224.80/37.96	c (26,0) x[7][3] = 3
224.80/37.96	c (26,0) x[7][4] = 16
224.80/37.96	c (26,0) x[7][5] = 7
224.80/37.96	c (26,0) x[7][6] = 4
224.80/37.96	c (26,0) x[7][7] = 1
224.80/37.96	c (26,0) x[7][8] = 21
224.80/37.96	c (26,0) x[7][9] = 13
224.80/37.96	c (26,0) x[7][10] = 22
224.80/37.96	c (26,0) x[7][11] = 8
224.80/37.96	c (26,0) x[7][12] = 20
224.80/37.96	c (26,0) x[7][13] = 25
224.80/37.96	c (26,0) x[7][14] = 19
224.80/37.96	c (26,0) x[7][15] = 12
224.80/37.96	c (26,0) x[7][16] = 0
224.80/37.96	c (26,0) x[7][17] = 15
224.80/37.96	c (26,0) x[7][18] = 29
224.80/37.96	c (26,0) x[7][19] = 18
224.80/37.96	c (26,0) x[7][20] = 14
224.80/37.96	c (26,0) x[7][21] = 9
224.80/37.96	c (26,0) x[7][22] = 28
224.80/37.96	c (26,0) x[7][23] = 2
224.80/37.96	c (26,0) x[7][24] = 27
224.80/37.96	c (26,0) x[7][25] = 23
224.80/37.96	c (26,0) x[7][26] = 10
224.80/37.96	c (26,0) x[7][27] = 6
224.80/37.96	c (26,0) x[7][28] = 5
224.80/37.96	c (26,0) x[7][29] = 11
224.80/37.96	c (26,0) x[8][0] = 5
224.80/37.96	c (26,0) x[8][1] = 23
224.80/37.96	c (26,0) x[8][2] = 20
224.80/37.96	c (26,0) x[8][3] = 18
224.80/37.96	c (26,0) x[8][4] = 21
224.80/37.96	c (26,0) x[8][5] = 8
224.80/37.96	c (26,0) x[8][6] = 6
224.80/37.96	c (26,0) x[8][7] = 11
224.80/37.96	c (26,0) x[8][8] = 22
224.80/37.96	c (26,0) x[8][9] = 16
224.80/37.96	c (26,0) x[8][10] = 17
224.80/37.96	c (26,0) x[8][11] = 25
224.80/37.96	c (26,0) x[8][12] = 15
224.80/37.96	c (26,0) x[8][13] = 13
224.80/37.96	c (26,0) x[8][14] = 1
224.80/37.96	c (26,0) x[8][15] = 2
224.80/37.96	c (26,0) x[8][16] = 14
224.80/37.96	c (26,0) x[8][17] = 26
224.80/37.96	c (26,0) x[8][18] = 3
224.80/37.96	c (26,0) x[8][19] = 9
224.80/37.96	c (26,0) x[8][20] = 29
224.80/37.96	c (26,0) x[8][21] = 12
224.80/37.96	c (26,0) x[8][22] = 27
224.80/37.96	c (26,0) x[8][23] = 10
224.80/37.96	c (26,0) x[8][24] = 24
224.80/37.96	c (26,0) x[8][25] = 28
224.80/37.96	c (26,0) x[8][26] = 4
224.80/37.96	c (26,0) x[8][27] = 7
224.80/37.96	c (26,0) x[8][28] = 0
224.80/37.96	c (26,0) x[8][29] = 19
224.80/37.96	c (26,0) x[9][0] = 22
224.80/37.96	c (26,0) x[9][1] = 0
224.80/37.96	c (26,0) x[9][2] = 2
224.80/37.96	c (26,0) x[9][3] = 5
224.80/37.96	c (26,0) x[9][4] = 8
224.80/37.96	c (26,0) x[9][5] = 27
224.80/37.96	c (26,0) x[9][6] = 14
224.80/37.96	c (26,0) x[9][7] = 13
224.80/37.96	c (26,0) x[9][8] = 10
224.80/37.96	c (26,0) x[9][9] = 28
224.80/37.96	c (26,0) x[9][10] = 16
224.80/37.96	c (26,0) x[9][11] = 4
224.80/37.96	c (26,0) x[9][12] = 24
224.80/37.96	c (26,0) x[9][13] = 7
224.80/37.96	c (26,0) x[9][14] = 11
224.80/37.96	c (26,0) x[9][15] = 6
224.80/37.96	c (26,0) x[9][16] = 15
224.80/37.96	c (26,0) x[9][17] = 25
224.80/37.96	c (26,0) x[9][18] = 26
224.80/37.96	c (26,0) x[9][19] = 23
224.80/37.96	c (26,0) x[9][20] = 20
224.80/37.96	c (26,0) x[9][21] = 29
224.80/37.96	c (26,0) x[9][22] = 17
224.80/37.96	c (26,0) x[9][23] = 12
224.80/37.96	c (26,0) x[9][24] = 18
224.80/37.96	c (26,0) x[9][25] = 21
224.80/37.96	c (26,0) x[9][26] = 3
224.80/37.96	c (26,0) x[9][27] = 1
224.80/37.96	c (26,0) x[9][28] = 19
224.80/37.96	c (26,0) x[9][29] = 9
224.80/37.96	c (26,0) x[10][0] = 11
224.80/37.96	c (26,0) x[10][1] = 14
224.80/37.96	c (26,0) x[10][2] = 7
224.80/37.96	c (26,0) x[10][3] = 0
224.80/37.96	c (26,0) x[10][4] = 26
224.80/37.96	c (26,0) x[10][5] = 13
224.80/37.96	c (26,0) x[10][6] = 12
224.80/37.96	c (26,0) x[10][7] = 23
224.80/37.96	c (26,0) x[10][8] = 1
224.80/37.96	c (26,0) x[10][9] = 25
224.80/37.96	c (26,0) x[10][10] = 10
224.80/37.96	c (26,0) x[10][11] = 27
224.80/37.96	c (26,0) x[10][12] = 9
224.80/37.96	c (26,0) x[10][13] = 3
224.80/37.96	c (26,0) x[10][14] = 20
224.80/37.96	c (26,0) x[10][15] = 15
224.80/37.96	c (26,0) x[10][16] = 16
224.80/37.96	c (26,0) x[10][17] = 29
224.80/37.96	c (26,0) x[10][18] = 19
224.80/37.96	c (26,0) x[10][19] = 24
224.80/37.96	c (26,0) x[10][20] = 4
224.80/37.96	c (26,0) x[10][21] = 2
224.80/37.96	c (26,0) x[10][22] = 18
224.80/37.96	c (26,0) x[10][23] = 5
224.80/37.96	c (26,0) x[10][24] = 28
224.80/37.96	c (26,0) x[10][25] = 8
224.80/37.96	c (26,0) x[10][26] = 22
224.80/37.96	c (26,0) x[10][27] = 17
224.80/37.96	c (26,0) x[10][28] = 6
224.80/37.96	c (26,0) x[10][29] = 21
224.80/37.96	c (26,0) x[11][0] = 25
224.80/37.96	c (26,0) x[11][1] = 6
224.80/37.96	c (26,0) x[11][2] = 3
224.80/37.96	c (26,0) x[11][3] = 21
224.80/37.96	c (26,0) x[11][4] = 15
224.80/37.96	c (26,0) x[11][5] = 24
224.80/37.96	c (26,0) x[11][6] = 5
224.80/37.96	c (26,0) x[11][7] = 26
224.80/37.96	c (26,0) x[11][8] = 28
224.80/37.96	c (26,0) x[11][9] = 19
224.80/37.96	c (26,0) x[11][10] = 2
224.80/37.96	c (26,0) x[11][11] = 14
224.80/37.96	c (26,0) x[11][12] = 17
224.80/37.96	c (26,0) x[11][13] = 9
224.80/37.96	c (26,0) x[11][14] = 29
224.80/37.96	c (26,0) x[11][15] = 4
224.80/37.96	c (26,0) x[11][16] = 12
224.80/37.96	c (26,0) x[11][17] = 11
224.80/37.96	c (26,0) x[11][18] = 18
224.80/37.96	c (26,0) x[11][19] = 8
224.80/37.96	c (26,0) x[11][20] = 22
224.80/37.96	c (26,0) x[11][21] = 13
224.80/37.96	c (26,0) x[11][22] = 23
224.80/37.96	c (26,0) x[11][23] = 16
224.80/37.96	c (26,0) x[11][24] = 7
224.80/37.96	c (26,0) x[11][25] = 27
224.80/37.96	c (26,0) x[11][26] = 1
224.80/37.96	c (26,0) x[11][27] = 0
224.80/37.96	c (26,0) x[11][28] = 20
224.80/37.96	c (26,0) x[11][29] = 10
224.80/37.96	c (26,0) x[12][0] = 4
224.80/37.96	c (26,0) x[12][1] = 12
224.80/37.96	c (26,0) x[12][2] = 27
224.80/37.96	c (26,0) x[12][3] = 26
224.80/37.96	c (26,0) x[12][4] = 10
224.80/37.96	c (26,0) x[12][5] = 21
224.80/37.96	c (26,0) x[12][6] = 24
224.80/37.96	c (26,0) x[12][7] = 25
224.80/37.96	c (26,0) x[12][8] = 16
224.80/37.96	c (26,0) x[12][9] = 6
224.80/37.96	c (26,0) x[12][10] = 23
224.80/37.96	c (26,0) x[12][11] = 29
224.80/37.96	c (26,0) x[12][12] = 1
224.80/37.96	c (26,0) x[12][13] = 15
224.80/37.96	c (26,0) x[12][14] = 14
224.80/37.96	c (26,0) x[12][15] = 11
224.80/37.96	c (26,0) x[12][16] = 20
224.80/37.96	c (26,0) x[12][17] = 19
224.80/37.96	c (26,0) x[12][18] = 0
224.80/37.96	c (26,0) x[12][19] = 13
224.80/37.96	c (26,0) x[12][20] = 17
224.80/37.96	c (26,0) x[12][21] = 5
224.80/37.96	c (26,0) x[12][22] = 22
224.80/37.96	c (26,0) x[12][23] = 9
224.80/37.96	c (26,0) x[12][24] = 3
224.80/37.96	c (26,0) x[12][25] = 18
224.80/37.96	c (26,0) x[12][26] = 7
224.80/37.96	c (26,0) x[12][27] = 2
224.80/37.96	c (26,0) x[12][28] = 28
224.80/37.96	c (26,0) x[12][29] = 8
224.80/37.96	c (26,0) x[13][0] = 6
224.80/37.96	c (26,0) x[13][1] = 15
224.80/37.96	c (26,0) x[13][2] = 25
224.80/37.96	c (26,0) x[13][3] = 27
224.80/37.96	c (26,0) x[13][4] = 24
224.80/37.96	c (26,0) x[13][5] = 20
224.80/37.96	c (26,0) x[13][6] = 17
224.80/37.96	c (26,0) x[13][7] = 16
224.80/37.96	c (26,0) x[13][8] = 11
224.80/37.96	c (26,0) x[13][9] = 14
224.80/37.96	c (26,0) x[13][10] = 3
224.80/37.96	c (26,0) x[13][11] = 22
224.80/37.96	c (26,0) x[13][12] = 12
224.80/37.96	c (26,0) x[13][13] = 2
224.80/37.96	c (26,0) x[13][14] = 5
224.80/37.96	c (26,0) x[13][15] = 18
224.80/37.96	c (26,0) x[13][16] = 28
224.80/37.96	c (26,0) x[13][17] = 13
224.80/37.96	c (26,0) x[13][18] = 7
224.80/37.96	c (26,0) x[13][19] = 4
224.80/37.96	c (26,0) x[13][20] = 8
224.80/37.96	c (26,0) x[13][21] = 21
224.80/37.96	c (26,0) x[13][22] = 1
224.80/37.96	c (26,0) x[13][23] = 19
224.80/37.96	c (26,0) x[13][24] = 10
224.80/37.96	c (26,0) x[13][25] = 0
224.80/37.96	c (26,0) x[13][26] = 23
224.80/37.96	c (26,0) x[13][27] = 29
224.80/37.96	c (26,0) x[13][28] = 9
224.80/37.96	c (26,0) x[13][29] = 26
224.80/37.96	c (26,0) x[14][0] = 20
224.80/37.96	c (26,0) x[14][1] = 4
224.80/37.96	c (26,0) x[14][2] = 8
224.80/37.96	c (26,0) x[14][3] = 24
224.80/37.96	c (26,0) x[14][4] = 27
224.80/37.96	c (26,0) x[14][5] = 6
224.80/37.96	c (26,0) x[14][6] = 7
224.80/37.96	c (26,0) x[14][7] = 19
224.80/37.96	c (26,0) x[14][8] = 23
224.80/37.96	c (26,0) x[14][9] = 15
224.80/37.96	c (26,0) x[14][10] = 1
224.80/37.96	c (26,0) x[14][11] = 2
224.80/37.96	c (26,0) x[14][12] = 11
224.80/37.96	c (26,0) x[14][13] = 21
224.80/37.96	c (26,0) x[14][14] = 22
224.80/37.96	c (26,0) x[14][15] = 28
224.80/37.96	c (26,0) x[14][16] = 13
224.80/37.96	c (26,0) x[14][17] = 3
224.80/37.96	c (26,0) x[14][18] = 9
224.80/37.96	c (26,0) x[14][19] = 16
224.80/37.96	c (26,0) x[14][20] = 26
224.80/37.96	c (26,0) x[14][21] = 18
224.80/37.96	c (26,0) x[14][22] = 10
224.80/37.96	c (26,0) x[14][23] = 25
224.80/37.96	c (26,0) x[14][24] = 12
224.80/37.96	c (26,0) x[14][25] = 14
224.80/37.96	c (26,0) x[14][26] = 0
224.80/37.96	c (26,0) x[14][27] = 5
224.80/37.96	c (26,0) x[14][28] = 17
224.80/37.96	c (26,0) x[14][29] = 29
224.80/37.96	c (26,0) x[15][0] = 29
224.80/37.96	c (26,0) x[15][1] = 7
224.80/37.96	c (26,0) x[15][2] = 17
224.80/37.96	c (26,0) x[15][3] = 8
224.80/37.96	c (26,0) x[15][4] = 4
224.80/37.96	c (26,0) x[15][5] = 5
224.80/37.96	c (26,0) x[15][6] = 15
224.80/37.96	c (26,0) x[15][7] = 9
224.80/37.96	c (26,0) x[15][8] = 24
224.80/37.96	c (26,0) x[15][9] = 23
224.80/37.96	c (26,0) x[15][10] = 11
224.80/37.96	c (26,0) x[15][11] = 12
224.80/37.96	c (26,0) x[15][12] = 14
224.80/37.96	c (26,0) x[15][13] = 27
224.80/37.96	c (26,0) x[15][14] = 28
224.80/37.96	c (26,0) x[15][15] = 13
224.80/37.96	c (26,0) x[15][16] = 21
224.80/37.96	c (26,0) x[15][17] = 1
224.80/37.96	c (26,0) x[15][18] = 10
224.80/37.96	c (26,0) x[15][19] = 19
224.80/37.96	c (26,0) x[15][20] = 25
224.80/37.96	c (26,0) x[15][21] = 6
224.80/37.96	c (26,0) x[15][22] = 0
224.80/37.96	c (26,0) x[15][23] = 26
224.80/37.96	c (26,0) x[15][24] = 2
224.80/37.96	c (26,0) x[15][25] = 22
224.80/37.96	c (26,0) x[15][26] = 20
224.80/37.96	c (26,0) x[15][27] = 18
224.80/37.96	c (26,0) x[15][28] = 16
224.80/37.96	c (26,0) x[15][29] = 3
224.80/37.96	c (26,0) x[16][0] = 7
224.80/37.96	c (26,0) x[16][1] = 9
224.80/37.96	c (26,0) x[16][2] = 1
224.80/37.96	c (26,0) x[16][3] = 14
224.80/37.96	c (26,0) x[16][4] = 20
224.80/37.96	c (26,0) x[16][5] = 15
224.80/37.96	c (26,0) x[16][6] = 29
224.80/37.96	c (26,0) x[16][7] = 27
224.80/37.96	c (26,0) x[16][8] = 19
224.80/37.96	c (26,0) x[16][9] = 17
224.80/37.96	c (26,0) x[16][10] = 12
224.80/37.96	c (26,0) x[16][11] = 28
224.80/37.96	c (26,0) x[16][12] = 5
224.80/37.96	c (26,0) x[16][13] = 10
224.80/37.96	c (26,0) x[16][14] = 8
224.80/37.96	c (26,0) x[16][15] = 22
224.80/37.96	c (26,0) x[16][16] = 25
224.80/37.96	c (26,0) x[16][17] = 24
224.80/37.96	c (26,0) x[16][18] = 2
224.80/37.96	c (26,0) x[16][19] = 0
224.80/37.96	c (26,0) x[16][20] = 18
224.80/37.96	c (26,0) x[16][21] = 16
224.80/37.96	c (26,0) x[16][22] = 26
224.80/37.96	c (26,0) x[16][23] = 11
224.80/37.96	c (26,0) x[16][24] = 4
224.80/37.96	c (26,0) x[16][25] = 13
224.80/37.96	c (26,0) x[16][26] = 21
224.80/37.96	c (26,0) x[16][27] = 3
224.80/37.96	c (26,0) x[16][28] = 23
224.80/37.96	c (26,0) x[16][29] = 6
224.80/37.96	c (26,0) x[17][0] = 24
224.80/37.96	c (26,0) x[17][1] = 22
224.80/37.96	c (26,0) x[17][2] = 13
224.80/37.96	c (26,0) x[17][3] = 1
224.80/37.96	c (26,0) x[17][4] = 11
224.80/37.96	c (26,0) x[17][5] = 0
224.80/37.96	c (26,0) x[17][6] = 21
224.80/37.96	c (26,0) x[17][7] = 6
224.80/37.96	c (26,0) x[17][8] = 25
224.80/37.96	c (26,0) x[17][9] = 29
224.80/37.96	c (26,0) x[17][10] = 28
224.80/37.96	c (26,0) x[17][11] = 10
224.80/37.96	c (26,0) x[17][12] = 26
224.80/37.96	c (26,0) x[17][13] = 20
224.80/37.96	c (26,0) x[17][14] = 23
224.80/37.96	c (26,0) x[17][15] = 8
224.80/37.96	c (26,0) x[17][16] = 19
224.80/37.96	c (26,0) x[17][17] = 5
224.80/37.96	c (26,0) x[17][18] = 4
224.80/37.96	c (26,0) x[17][19] = 27
224.80/37.96	c (26,0) x[17][20] = 2
224.80/37.96	c (26,0) x[17][21] = 15
224.80/37.96	c (26,0) x[17][22] = 7
224.80/37.96	c (26,0) x[17][23] = 14
224.80/37.96	c (26,0) x[17][24] = 17
224.80/37.96	c (26,0) x[17][25] = 12
224.80/37.96	c (26,0) x[17][26] = 16
224.80/37.96	c (26,0) x[17][27] = 9
224.80/37.96	c (26,0) x[17][28] = 3
224.80/37.96	c (26,0) x[17][29] = 18
224.80/37.96	c (26,0) x[18][0] = 8
224.80/37.96	c (26,0) x[18][1] = 17
224.80/37.96	c (26,0) x[18][2] = 5
224.80/37.96	c (26,0) x[18][3] = 4
224.80/37.96	c (26,0) x[18][4] = 23
224.80/37.96	c (26,0) x[18][5] = 25
224.80/37.96	c (26,0) x[18][6] = 28
224.80/37.96	c (26,0) x[18][7] = 20
224.80/37.96	c (26,0) x[18][8] = 12
224.80/37.96	c (26,0) x[18][9] = 2
224.80/37.96	c (26,0) x[18][10] = 19
224.80/37.96	c (26,0) x[18][11] = 24
224.80/37.96	c (26,0) x[18][12] = 29
224.80/37.96	c (26,0) x[18][13] = 26
224.80/37.96	c (26,0) x[18][14] = 9
224.80/37.96	c (26,0) x[18][15] = 27
224.80/37.96	c (26,0) x[18][16] = 22
224.80/37.96	c (26,0) x[18][17] = 6
224.80/37.96	c (26,0) x[18][18] = 15
224.80/37.96	c (26,0) x[18][19] = 11
224.80/37.96	c (26,0) x[18][20] = 7
224.80/37.96	c (26,0) x[18][21] = 10
224.80/37.96	c (26,0) x[18][22] = 14
224.80/37.96	c (26,0) x[18][23] = 1
224.80/37.96	c (26,0) x[18][24] = 0
224.80/37.96	c (26,0) x[18][25] = 3
224.80/37.96	c (26,0) x[18][26] = 13
224.80/37.96	c (26,0) x[18][27] = 21
224.80/37.96	c (26,0) x[18][28] = 18
224.80/37.96	c (26,0) x[18][29] = 16
224.80/37.96	c (26,0) x[19][0] = 3
224.80/37.96	c (26,0) x[19][1] = 8
224.80/37.96	c (26,0) x[19][2] = 11
224.80/37.96	c (26,0) x[19][3] = 13
224.80/37.96	c (26,0) x[19][4] = 17
224.80/37.96	c (26,0) x[19][5] = 22
224.80/37.96	c (26,0) x[19][6] = 0
224.80/37.96	c (26,0) x[19][7] = 29
224.80/37.96	c (26,0) x[19][8] = 14
224.80/37.96	c (26,0) x[19][9] = 24
224.80/37.96	c (26,0) x[19][10] = 7
224.80/37.96	c (26,0) x[19][11] = 18
224.80/37.96	c (26,0) x[19][12] = 27
224.80/37.96	c (26,0) x[19][13] = 6
224.80/37.96	c (26,0) x[19][14] = 2
224.80/37.96	c (26,0) x[19][15] = 25
224.80/37.96	c (26,0) x[19][16] = 9
224.80/37.96	c (26,0) x[19][17] = 4
224.80/37.96	c (26,0) x[19][18] = 28
224.80/37.96	c (26,0) x[19][19] = 21
224.80/37.96	c (26,0) x[19][20] = 16
224.80/37.96	c (26,0) x[19][21] = 20
224.80/37.96	c (26,0) x[19][22] = 12
224.80/37.96	c (26,0) x[19][23] = 15
224.80/37.96	c (26,0) x[19][24] = 19
224.80/37.96	c (26,0) x[19][25] = 1
224.80/37.96	c (26,0) x[19][26] = 26
224.80/37.96	c (26,0) x[19][27] = 23
224.80/37.96	c (26,0) x[19][28] = 10
224.80/37.96	c (26,0) x[19][29] = 5
224.80/37.96	c (26,0) x[20][0] = 15
224.80/37.96	c (26,0) x[20][1] = 11
224.80/37.96	c (26,0) x[20][2] = 21
224.80/37.96	c (26,0) x[20][3] = 19
224.80/37.96	c (26,0) x[20][4] = 13
224.80/37.96	c (26,0) x[20][5] = 23
224.80/37.96	c (26,0) x[20][6] = 18
224.80/37.96	c (26,0) x[20][7] = 4
224.80/37.96	c (26,0) x[20][8] = 2
224.80/37.96	c (26,0) x[20][9] = 27
224.80/37.96	c (26,0) x[20][10] = 6
224.80/37.96	c (26,0) x[20][11] = 3
224.80/37.96	c (26,0) x[20][12] = 28
224.80/37.96	c (26,0) x[20][13] = 17
224.80/37.96	c (26,0) x[20][14] = 12
224.80/37.96	c (26,0) x[20][15] = 7
224.80/37.96	c (26,0) x[20][16] = 10
224.80/37.96	c (26,0) x[20][17] = 0
224.80/37.96	c (26,0) x[20][18] = 25
224.80/37.96	c (26,0) x[20][19] = 14
224.80/37.96	c (26,0) x[20][20] = 5
224.80/37.96	c (26,0) x[20][21] = 1
224.80/37.96	c (26,0) x[20][22] = 16
224.80/37.96	c (26,0) x[20][23] = 22
224.80/37.96	c (26,0) x[20][24] = 8
224.80/37.96	c (26,0) x[20][25] = 9
224.80/37.96	c (26,0) x[20][26] = 24
224.80/37.96	c (26,0) x[20][27] = 26
224.80/37.96	c (26,0) x[20][28] = 29
224.80/37.96	c (26,0) x[20][29] = 20
224.80/37.96	c (26,0) x[21][0] = 28
224.80/37.96	c (26,0) x[21][1] = 1
224.80/37.96	c (26,0) x[21][2] = 4
224.80/37.96	c (26,0) x[21][3] = 23
224.80/37.96	c (26,0) x[21][4] = 7
224.80/37.96	c (26,0) x[21][5] = 16
224.80/37.96	c (26,0) x[21][6] = 26
224.80/37.96	c (26,0) x[21][7] = 10
224.80/37.96	c (26,0) x[21][8] = 6
224.80/37.96	c (26,0) x[21][9] = 20
224.80/37.96	c (26,0) x[21][10] = 9
224.80/37.96	c (26,0) x[21][11] = 11
224.80/37.96	c (26,0) x[21][12] = 0
224.80/37.96	c (26,0) x[21][13] = 29
224.80/37.96	c (26,0) x[21][14] = 3
224.80/37.96	c (26,0) x[21][15] = 17
224.80/37.96	c (26,0) x[21][16] = 5
224.80/37.96	c (26,0) x[21][17] = 22
224.80/37.96	c (26,0) x[21][18] = 27
224.80/37.96	c (26,0) x[21][19] = 2
224.80/37.96	c (26,0) x[21][20] = 21
224.80/37.96	c (26,0) x[21][21] = 24
224.80/37.96	c (26,0) x[21][22] = 8
224.80/37.96	c (26,0) x[21][23] = 18
224.80/37.96	c (26,0) x[21][24] = 25
224.80/37.96	c (26,0) x[21][25] = 19
224.80/37.96	c (26,0) x[21][26] = 14
224.80/37.96	c (26,0) x[21][27] = 15
224.80/37.96	c (26,0) x[21][28] = 12
224.80/37.96	c (26,0) x[21][29] = 13
224.80/37.96	c (26,0) x[22][0] = 1
224.80/37.96	c (26,0) x[22][1] = 10
224.80/37.96	c (26,0) x[22][2] = 29
224.80/37.96	c (26,0) x[22][3] = 11
224.80/37.96	c (26,0) x[22][4] = 28
224.80/37.96	c (26,0) x[22][5] = 9
224.80/37.96	c (26,0) x[22][6] = 19
224.80/37.96	c (26,0) x[22][7] = 17
224.80/37.96	c (26,0) x[22][8] = 15
224.80/37.96	c (26,0) x[22][9] = 3
224.80/37.96	c (26,0) x[22][10] = 21
224.80/37.96	c (26,0) x[22][11] = 5
224.80/37.96	c (26,0) x[22][12] = 25
224.80/37.96	c (26,0) x[22][13] = 4
224.80/37.96	c (26,0) x[22][14] = 16
224.80/37.96	c (26,0) x[22][15] = 14
224.80/37.96	c (26,0) x[22][16] = 18
224.80/37.96	c (26,0) x[22][17] = 27
224.80/37.96	c (26,0) x[22][18] = 20
224.80/37.96	c (26,0) x[22][19] = 26
224.80/37.96	c (26,0) x[22][20] = 6
224.80/37.96	c (26,0) x[22][21] = 7
224.80/37.96	c (26,0) x[22][22] = 13
224.80/37.96	c (26,0) x[22][23] = 0
224.80/37.96	c (26,0) x[22][24] = 23
224.80/37.96	c (26,0) x[22][25] = 24
224.80/37.96	c (26,0) x[22][26] = 2
224.80/37.96	c (26,0) x[22][27] = 22
224.80/37.96	c (26,0) x[22][28] = 8
224.80/37.96	c (26,0) x[22][29] = 12
224.80/37.96	c (26,0) x[23][0] = 12
224.80/37.96	c (26,0) x[23][1] = 3
224.80/37.96	c (26,0) x[23][2] = 0
224.80/37.96	c (26,0) x[23][3] = 2
224.80/37.96	c (26,0) x[23][4] = 5
224.80/37.96	c (26,0) x[23][5] = 18
224.80/37.96	c (26,0) x[23][6] = 10
224.80/37.96	c (26,0) x[23][7] = 21
224.80/37.96	c (26,0) x[23][8] = 8
224.80/37.96	c (26,0) x[23][9] = 7
224.80/37.96	c (26,0) x[23][10] = 15
224.80/37.96	c (26,0) x[23][11] = 19
224.80/37.96	c (26,0) x[23][12] = 16
224.80/37.96	c (26,0) x[23][13] = 24
224.80/37.96	c (26,0) x[23][14] = 13
224.80/37.96	c (26,0) x[23][15] = 23
224.80/37.96	c (26,0) x[23][16] = 4
224.80/37.96	c (26,0) x[23][17] = 28
224.80/37.96	c (26,0) x[23][18] = 14
224.80/37.96	c (26,0) x[23][19] = 1
224.80/37.96	c (26,0) x[23][20] = 27
224.80/37.96	c (26,0) x[23][21] = 22
224.80/37.96	c (26,0) x[23][22] = 29
224.80/37.96	c (26,0) x[23][23] = 20
224.80/37.96	c (26,0) x[23][24] = 9
224.80/37.96	c (26,0) x[23][25] = 6
224.80/37.96	c (26,0) x[23][26] = 25
224.80/37.96	c (26,0) x[23][27] = 11
224.80/37.96	c (26,0) x[23][28] = 26
224.80/37.96	c (26,0) x[23][29] = 17
224.80/37.96	c (26,0) x[24][0] = 16
224.80/37.96	c (26,0) x[24][1] = 24
224.80/37.96	c (26,0) x[24][2] = 23
224.80/37.96	c (26,0) x[24][3] = 29
224.80/37.96	c (26,0) x[24][4] = 2
224.80/37.96	c (26,0) x[24][5] = 14
224.80/37.96	c (26,0) x[24][6] = 8
224.80/37.96	c (26,0) x[24][7] = 15
224.80/37.96	c (26,0) x[24][8] = 4
224.80/37.96	c (26,0) x[24][9] = 1
224.80/37.96	c (26,0) x[24][10] = 20
224.80/37.96	c (26,0) x[24][11] = 26
224.80/37.96	c (26,0) x[24][12] = 22
224.80/37.96	c (26,0) x[24][13] = 0
224.80/37.96	c (26,0) x[24][14] = 7
224.80/37.96	c (26,0) x[24][15] = 5
224.80/37.96	c (26,0) x[24][16] = 17
224.80/37.96	c (26,0) x[24][17] = 18
224.80/37.96	c (26,0) x[24][18] = 12
224.80/37.96	c (26,0) x[24][19] = 3
224.80/37.96	c (26,0) x[24][20] = 10
224.80/37.96	c (26,0) x[24][21] = 11
224.80/37.96	c (26,0) x[24][22] = 9
224.80/37.96	c (26,0) x[24][23] = 21
224.80/37.96	c (26,0) x[24][24] = 6
224.80/37.96	c (26,0) x[24][25] = 25
224.80/37.96	c (26,0) x[24][26] = 19
224.80/37.96	c (26,0) x[24][27] = 28
224.80/37.96	c (26,0) x[24][28] = 13
224.80/37.96	c (26,0) x[24][29] = 27
224.80/37.96	c (26,0) x[25][0] = 21
224.80/37.96	c (26,0) x[25][1] = 20
224.80/37.96	c (26,0) x[25][2] = 18
224.80/37.96	c (26,0) x[25][3] = 28
224.80/37.96	c (26,0) x[25][4] = 25
224.80/37.96	c (26,0) x[25][5] = 1
224.80/37.96	c (26,0) x[25][6] = 11
224.80/37.96	c (26,0) x[25][7] = 12
224.80/37.96	c (26,0) x[25][8] = 7
224.80/37.96	c (26,0) x[25][9] = 22
224.80/37.96	c (26,0) x[25][10] = 29
224.80/37.96	c (26,0) x[25][11] = 15
224.80/37.96	c (26,0) x[25][12] = 10
224.80/37.96	c (26,0) x[25][13] = 23
224.80/37.96	c (26,0) x[25][14] = 0
224.80/37.96	c (26,0) x[25][15] = 16
224.80/37.96	c (26,0) x[25][16] = 2
224.80/37.96	c (26,0) x[25][17] = 9
224.80/37.96	c (26,0) x[25][18] = 5
224.80/37.96	c (26,0) x[25][19] = 6
224.80/37.96	c (26,0) x[25][20] = 19
224.80/37.96	c (26,0) x[25][21] = 8
224.80/37.96	c (26,0) x[25][22] = 3
224.80/37.96	c (26,0) x[25][23] = 27
224.80/37.96	c (26,0) x[25][24] = 13
224.80/37.96	c (26,0) x[25][25] = 26
224.80/37.96	c (26,0) x[25][26] = 17
224.80/37.96	c (26,0) x[25][27] = 14
224.80/37.96	c (26,0) x[25][28] = 4
224.80/37.97	c (26,0) x[25][29] = 24
224.80/37.97	c (26,0) x[26][0] = 23
224.80/37.97	c (26,0) x[26][1] = 29
224.80/37.97	c (26,0) x[26][2] = 19
224.80/37.97	c (26,0) x[26][3] = 25
224.80/37.97	c (26,0) x[26][4] = 22
224.80/37.97	c (26,0) x[26][5] = 2
224.80/37.97	c (26,0) x[26][6] = 9
224.80/37.97	c (26,0) x[26][7] = 28
224.80/37.97	c (26,0) x[26][8] = 26
224.80/37.97	c (26,0) x[26][9] = 18
224.80/37.97	c (26,0) x[26][10] = 0
224.80/37.97	c (26,0) x[26][11] = 1
224.80/37.97	c (26,0) x[26][12] = 3
224.80/37.97	c (26,0) x[26][13] = 8
224.80/37.97	c (26,0) x[26][14] = 6
224.80/37.97	c (26,0) x[26][15] = 21
224.80/37.97	c (26,0) x[26][16] = 11
224.80/37.97	c (26,0) x[26][17] = 20
224.80/37.97	c (26,0) x[26][18] = 13
224.80/37.97	c (26,0) x[26][19] = 17
224.80/37.97	c (26,0) x[26][20] = 12
224.80/37.97	c (26,0) x[26][21] = 27
224.80/37.97	c (26,0) x[26][22] = 24
224.80/37.97	c (26,0) x[26][23] = 7
224.80/37.97	c (26,0) x[26][24] = 5
224.80/37.97	c (26,0) x[26][25] = 10
224.80/37.97	c (26,0) x[26][26] = 15
224.80/37.97	c (26,0) x[26][27] = 16
224.80/37.97	c (26,0) x[26][28] = 14
224.80/37.97	c (26,0) x[26][29] = 4
224.80/37.97	c (26,0) x[27][0] = 13
224.80/37.97	c (26,0) x[27][1] = 18
224.80/37.97	c (26,0) x[27][2] = 26
224.80/37.97	c (26,0) x[27][3] = 16
224.80/37.97	c (26,0) x[27][4] = 6
224.80/37.97	c (26,0) x[27][5] = 10
224.80/37.97	c (26,0) x[27][6] = 23
224.80/37.97	c (26,0) x[27][7] = 22
224.80/37.97	c (26,0) x[27][8] = 3
224.80/37.97	c (26,0) x[27][9] = 12
224.80/37.97	c (26,0) x[27][10] = 27
224.80/37.97	c (26,0) x[27][11] = 9
224.80/37.97	c (26,0) x[27][12] = 7
224.80/37.97	c (26,0) x[27][13] = 14
224.80/37.97	c (26,0) x[27][14] = 25
224.80/37.97	c (26,0) x[27][15] = 29
224.80/37.97	c (26,0) x[27][16] = 8
224.80/37.97	c (26,0) x[27][17] = 2
224.80/37.97	c (26,0) x[27][18] = 17
224.80/37.97	c (26,0) x[27][19] = 15
224.80/37.97	c (26,0) x[27][20] = 24
224.80/37.97	c (26,0) x[27][21] = 0
224.80/37.97	c (26,0) x[27][22] = 20
224.80/37.97	c (26,0) x[27][23] = 4
224.80/37.97	c (26,0) x[27][24] = 21
224.80/37.97	c (26,0) x[27][25] = 5
224.80/37.97	c (26,0) x[27][26] = 28
224.80/37.97	c (26,0) x[27][27] = 19
224.80/37.97	c (26,0) x[27][28] = 11
224.80/37.97	c (26,0) x[27][29] = 1
224.80/37.97	c (26,0) x[28][0] = 19
224.80/37.97	c (26,0) x[28][1] = 16
224.80/37.97	c (26,0) x[28][2] = 15
224.80/37.97	c (26,0) x[28][3] = 17
224.80/37.97	c (26,0) x[28][4] = 14
224.80/37.97	c (26,0) x[28][5] = 11
224.80/37.97	c (26,0) x[28][6] = 27
224.80/37.97	c (26,0) x[28][7] = 5
224.80/37.97	c (26,0) x[28][8] = 0
224.80/37.97	c (26,0) x[28][9] = 26
224.80/37.97	c (26,0) x[28][10] = 18
224.80/37.97	c (26,0) x[28][11] = 7
224.80/37.97	c (26,0) x[28][12] = 13
224.80/37.97	c (26,0) x[28][13] = 28
224.80/37.97	c (26,0) x[28][14] = 4
224.80/37.97	c (26,0) x[28][15] = 20
224.80/37.97	c (26,0) x[28][16] = 24
224.80/37.97	c (26,0) x[28][17] = 12
224.80/37.97	c (26,0) x[28][18] = 8
224.80/37.97	c (26,0) x[28][19] = 22
224.80/37.97	c (26,0) x[28][20] = 9
224.80/37.97	c (26,0) x[28][21] = 3
224.80/37.97	c (26,0) x[28][22] = 25
224.80/37.97	c (26,0) x[28][23] = 6
224.80/37.97	c (26,0) x[28][24] = 1
224.80/37.97	c (26,0) x[28][25] = 2
224.80/37.97	c (26,0) x[28][26] = 29
224.80/37.97	c (26,0) x[28][27] = 10
224.80/37.97	c (26,0) x[28][28] = 21
224.80/37.97	c (26,0) x[28][29] = 23
224.80/37.97	c (26,0) x[29][0] = 9
224.80/37.97	c (26,0) x[29][1] = 27
224.80/37.97	c (26,0) x[29][2] = 14
224.80/37.97	c (26,0) x[29][3] = 7
224.80/37.97	c (26,0) x[29][4] = 3
224.80/37.97	c (26,0) x[29][5] = 12
224.80/37.97	c (26,0) x[29][6] = 25
224.80/37.97	c (26,0) x[29][7] = 0
224.80/37.97	c (26,0) x[29][8] = 20
224.80/37.97	c (26,0) x[29][9] = 8
224.80/37.97	c (26,0) x[29][10] = 4
224.80/37.97	c (26,0) x[29][11] = 6
224.80/37.97	c (26,0) x[29][12] = 2
224.80/37.97	c (26,0) x[29][13] = 18
224.80/37.97	c (26,0) x[29][14] = 10
224.80/37.97	c (26,0) x[29][15] = 26
224.80/37.97	c (26,0) x[29][16] = 23
224.80/37.97	c (26,0) x[29][17] = 21
224.80/37.97	c (26,0) x[29][18] = 22
224.80/37.97	c (26,0) x[29][19] = 28
224.80/37.97	c (26,0) x[29][20] = 13
224.80/37.97	c (26,0) x[29][21] = 19
224.80/37.97	c (26,0) x[29][22] = 5
224.80/37.97	c (26,0) x[29][23] = 29
224.80/37.97	c (26,0) x[29][24] = 16
224.80/37.97	c (26,0) x[29][25] = 17
224.80/37.97	c (26,0) x[29][26] = 11
224.80/37.97	c (26,0) x[29][27] = 24
224.80/37.97	c (26,0) x[29][28] = 1
224.80/37.97	c (26,0) x[29][29] = 15
224.80/37.97	s SATISFIABLE
224.80/37.97	v <instantiation>
224.80/37.97	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[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[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[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[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[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[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[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[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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29]</list>
224.80/37.97	v     <values>18 13 10 15 0 19 22 8 27 9 5 17 4 12 26 3 1 7 16 25 11 23 21 28 14 29 6 20 24 2 27 21 22 6 19 3 2 24 29 5 13 0 18 11 17 10 26 16 23 12 1 14 15 8 20 7 9 4 25 28 10 2 9 12 29 17 20 14 5 21 26 16 23 1 18 24 6 8 11 7 28 25 19 3 22 4 27 13 15 0 2 19 12 20 9 26 3 18 13 10 14 23 21 5 15 1 7 17 6 29 0 28 4 24 11 16 8 27 22 25 0 25 16 22 12 28 13 3 18 4 24 21 6 19 27 9 29 14 1 10 23 26 11 17 15 20 5 8 2 7 14 5 28 9 18 29 1 2 17 11 8 13 19 16 21 0 27 10 24 20 3 4 6 23 26 15 12 25 7 22 26 28 6 10 1 4 16 7 9 0 25 20 8 22 24 19 3 23 21 5 15 17 2 13 29 11 18 12 27 14 17 26 24 3 16 7 4 1 21 13 22 8 20 25 19 12 0 15 29 18 14 9 28 2 27 23 10 6 5 11 5 23 20 18 21 8 6 11 22 16 17 25 15 13 1 2 14 26 3 9 29 12 27 10 24 28 4 7 0 19 22 0 2 5 8 27 14 13 10 28 16 4 24 7 11 6 15 25 26 23 20 29 17 12 18 21 3 1 19 9 11 14 7 0 26 13 12 23 1 25 10 27 9 3 20 15 16 29 19 24 4 2 18 5 28 8 22 17 6 21 25 6 3 21 15 24 5 26 28 19 2 14 17 9 29 4 12 11 18 8 22 13 23 16 7 27 1 0 20 10 4 12 27 26 10 21 24 25 16 6 23 29 1 15 14 11 20 19 0 13 17 5 22 9 3 18 7 2 28 8 6 15 25 27 24 20 17 16 11 14 3 22 12 2 5 18 28 13 7 4 8 21 1 19 10 0 23 29 9 26 20 4 8 24 27 6 7 19 23 15 1 2 11 21 22 28 13 3 9 16 26 18 10 25 12 14 0 5 17 29 29 7 17 8 4 5 15 9 24 23 11 12 14 27 28 13 21 1 10 19 25 6 0 26 2 22 20 18 16 3 7 9 1 14 20 15 29 27 19 17 12 28 5 10 8 22 25 24 2 0 18 16 26 11 4 13 21 3 23 6 24 22 13 1 11 0 21 6 25 29 28 10 26 20 23 8 19 5 4 27 2 15 7 14 17 12 16 9 3 18 8 17 5 4 23 25 28 20 12 2 19 24 29 26 9 27 22 6 15 11 7 10 14 1 0 3 13 21 18 16 3 8 11 13 17 22 0 29 14 24 7 18 27 6 2 25 9 4 28 21 16 20 12 15 19 1 26 23 10 5 15 11 21 19 13 23 18 4 2 27 6 3 28 17 12 7 10 0 25 14 5 1 16 22 8 9 24 26 29 20 28 1 4 23 7 16 26 10 6 20 9 11 0 29 3 17 5 22 27 2 21 24 8 18 25 19 14 15 12 13 1 10 29 11 28 9 19 17 15 3 21 5 25 4 16 14 18 27 20 26 6 7 13 0 23 24 2 22 8 12 12 3 0 2 5 18 10 21 8 7 15 19 16 24 13 23 4 28 14 1 27 22 29 20 9 6 25 11 26 17 16 24 23 29 2 14 8 15 4 1 20 26 22 0 7 5 17 18 12 3 10 11 9 21 6 25 19 28 13 27 21 20 18 28 25 1 11 12 7 22 29 15 10 23 0 16 2 9 5 6 19 8 3 27 13 26 17 14 4 24 23 29 19 25 22 2 9 28 26 18 0 1 3 8 6 21 11 20 13 17 12 27 24 7 5 10 15 16 14 4 13 18 26 16 6 10 23 22 3 12 27 9 7 14 25 29 8 2 17 15 24 0 20 4 21 5 28 19 11 1 19 16 15 17 14 11 27 5 0 26 18 7 13 28 4 20 24 12 8 22 9 3 25 6 1 2 29 10 21 23 9 27 14 7 3 12 25 0 20 8 4 6 2 18 10 26 23 21 22 28 13 19 5 29 16 17 11 24 1 15</values>
224.80/37.97	v </instantiation>
224.80/37.97	c (26,0) Show results End
224.80/37.97	c (26,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
224.80/37.97	c (26,0) 26,26,STOP-AFTER(ALL)
224.80/37.97	c END-Prog: Sat Sep 14 08:35:05 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 (10592 MiB free)
  memory of node 1: 16384 MiB (13424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392474-1568442907/watcher-4392474-1568442907 -o /tmp/evaluation-result-4392474-1568442907/solver-4392474-1568442907 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568438992-17578 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392474-1568442907.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=18862, runsolver pid=18859
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 7.40 6.69 7.35 3/211 18884
/proc/meminfo: memFree=24497572/32770624 swapFree=66999332/67108860
[pid=18862] ppid=18859 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18862/stat : 18862 (scop.sh) S 18859 18862 17551 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420229122 115843072 349 33554432000 4194304 5098028 140721857815376 140721857812632 140339150709372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34275328 140721857823525 140721857823852 140721857823852 140721857826765 0
/proc/18862/statm: 28282 349 296 221 0 87 0
[pid=18865] ppid=18862 vsize=27314120 memory=106328 CPUtime=0.1 cores=0-7
/proc/18865/stat : 18865 (java) S 18862 18862 17551 0 -1 1077944320 6153 0 0 0 8 2 0 0 20 0 20 0 420229122 27969658880 26582 33554432000 4194304 4196468 140730276258576 140730276241120 140589800062711 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
/proc/18865/statm: 6828530 26582 2801 1 0 6790935 0
[pid=18865/tid=18866] ppid=18862 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18865/task/18866/stat : 18866 (java) R 18862 18862 17551 0 -1 4202560 4244 0 0 0 7 2 0 0 20 0 20 0 420229122 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589771888368 140589784143198 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18867] ppid=18862 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18865/task/18867/stat : 18867 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589804305424 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18868] ppid=18862 vsize=27314120 memory=140276484032128 CPUtime=0 cores=0-7
/proc/18865/task/18868/stat : 18868 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589587700880 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18869] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18869/stat : 18869 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589586647824 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18870] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18870/stat : 18870 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589585595280 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18871] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18871/stat : 18871 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589584542224 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18872] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18872/stat : 18872 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589583489680 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18873] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18873/stat : 18873 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589582436624 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18874] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18874/stat : 18874 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 26582 33554432000 4194304 4196468 140730276258576 140589215504784 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18875] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18875/stat : 18875 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229126 27969658880 26582 33554432000 4194304 4196468 140730276258576 140588388756208 140589800073858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18876] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18876/stat : 18876 (java) S 18862 18862 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420229127 27969658880 26582 33554432000 4194304 4196468 140730276258576 140587500037792 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18877] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18877/stat : 18877 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229127 27969658880 26582 33554432000 4194304 4196468 140730276258576 140587231601904 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18878] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18878/stat : 18878 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140586857093584 140589800081307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18879] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18879/stat : 18879 (java) S 18862 18862 17551 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140588387703024 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18880] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18880/stat : 18880 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140588386650480 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18881] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18881/stat : 18881 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140588385597424 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18882] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18882/stat : 18882 (java) S 18862 18862 17551 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140588384544880 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18883] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18883/stat : 18883 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140586359188448 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18884] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18884/stat : 18884 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 26582 33554432000 4194304 4196468 140730276258576 140588383493296 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107724 KiB

[startup+0.212342 s]*
/proc/loadavg: 7.40 6.69 7.35 2/211 18884
/proc/meminfo: memFree=24479500/32770624 swapFree=66999332/67108860
[pid=18862] ppid=18859 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18862/stat : 18862 (scop.sh) S 18859 18862 17551 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420229122 115843072 349 33554432000 4194304 5098028 140721857815376 140721857812632 140339150709372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34275328 140721857823525 140721857823852 140721857823852 140721857826765 0
/proc/18862/statm: 28282 349 296 221 0 87 0
[pid=18865] ppid=18862 vsize=27314120 memory=123144 CPUtime=0.24 cores=0-7
/proc/18865/stat : 18865 (java) S 18862 18862 17551 0 -1 1077944320 11147 0 0 0 20 4 0 0 20 0 20 0 420229122 27969658880 30786 33554432000 4194304 4196468 140730276258576 140730276241120 140589800062711 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
/proc/18865/statm: 6828530 30786 2914 1 0 6790935 0
[pid=18865/tid=18866] ppid=18862 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18865/task/18866/stat : 18866 (java) R 18862 18862 17551 0 -1 4202560 8848 0 0 0 16 3 0 0 20 0 20 0 420229122 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589771846272 140589780338041 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18867] ppid=18862 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/18865/task/18867/stat : 18867 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589804305424 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18868] ppid=18862 vsize=27314120 memory=140276484049208 CPUtime=0 cores=0-7
/proc/18865/task/18868/stat : 18868 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589587700880 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18869] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18869/stat : 18869 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589586647824 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18870] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18870/stat : 18870 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589585595280 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18871] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18871/stat : 18871 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589584542224 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18872] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18872/stat : 18872 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589583489680 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18873] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18873/stat : 18873 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589582436624 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18874] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18874/stat : 18874 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 30786 33554432000 4194304 4196468 140730276258576 140589215504784 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18875] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18875/stat : 18875 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229126 27969658880 30786 33554432000 4194304 4196468 140730276258576 140588388756208 140589800073858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18876] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18876/stat : 18876 (java) S 18862 18862 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420229127 27969658880 30786 33554432000 4194304 4196468 140730276258576 140587500037792 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18877] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18877/stat : 18877 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229127 27969658880 30786 33554432000 4194304 4196468 140730276258576 140587231601904 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18878] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18878/stat : 18878 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140586857093584 140589800081307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18879] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18879/stat : 18879 (java) S 18862 18862 17551 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140588387703024 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18880] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18880/stat : 18880 (java) S 18862 18862 17551 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140588386650480 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18881] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18881/stat : 18881 (java) S 18862 18862 17551 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140588385597424 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18882] ppid=18862 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18865/task/18882/stat : 18882 (java) S 18862 18862 17551 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140588384544880 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18883] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18883/stat : 18883 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140586359188448 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18884] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18884/stat : 18884 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 30786 33554432000 4194304 4196468 140730276258576 140588383493296 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124540 KiB

[startup+0.310207 s]*
/proc/loadavg: 7.40 6.69 7.35 3/211 18884
/proc/meminfo: memFree=24475964/32770624 swapFree=66999332/67108860
[pid=18862] ppid=18859 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18862/stat : 18862 (scop.sh) S 18859 18862 17551 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420229122 115843072 349 33554432000 4194304 5098028 140721857815376 140721857812632 140339150709372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34275328 140721857823525 140721857823852 140721857823852 140721857826765 0
/proc/18862/statm: 28282 349 296 221 0 87 0
[pid=18865] ppid=18862 vsize=27314120 memory=127372 CPUtime=0.42 cores=0-7
/proc/18865/stat : 18865 (java) S 18862 18862 17551 0 -1 1077944320 12245 0 0 0 37 5 0 0 20 0 20 0 420229122 27969658880 31843 33554432000 4194304 4196468 140730276258576 140730276241120 140589800062711 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
/proc/18865/statm: 6828530 31843 3022 1 0 6790935 0
[pid=18865/tid=18866] ppid=18862 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18865/task/18866/stat : 18866 (java) R 18862 18862 17551 0 -1 4202560 9742 0 0 0 25 4 0 0 20 0 20 0 420229122 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589771876352 140589780337846 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18867] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18867/stat : 18867 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589804305424 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18868] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18868/stat : 18868 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589587700880 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18869] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18869/stat : 18869 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589586647824 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18870] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18870/stat : 18870 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589585595280 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18871] ppid=18862 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18865/task/18871/stat : 18871 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589584542224 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18872] ppid=18862 vsize=27314120 memory=140276383445935 CPUtime=0 cores=0-7
/proc/18865/task/18872/stat : 18872 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589583489680 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18873] ppid=18862 vsize=27314120 memory=140276383448240 CPUtime=0 cores=0-7
/proc/18865/task/18873/stat : 18873 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589582436624 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18874] ppid=18862 vsize=27314120 memory=140276383450544 CPUtime=0 cores=0-7
/proc/18865/task/18874/stat : 18874 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229125 27969658880 31843 33554432000 4194304 4196468 140730276258576 140589215504784 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18875] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18875/stat : 18875 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229126 27969658880 31843 33554432000 4194304 4196468 140730276258576 140588388756208 140589800073858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18876] ppid=18862 vsize=27314120 memory=280552766908048 CPUtime=0 cores=0-7
/proc/18865/task/18876/stat : 18876 (java) S 18862 18862 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420229127 27969658880 31843 33554432000 4194304 4196468 140730276258576 140587500037792 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18877] ppid=18862 vsize=27314120 memory=280552766914960 CPUtime=0 cores=0-7
/proc/18865/task/18877/stat : 18877 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229127 27969658880 31843 33554432000 4194304 4196468 140730276258576 140587231601904 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18878] ppid=18862 vsize=27314120 memory=280552766856112 CPUtime=0 cores=0-7
/proc/18865/task/18878/stat : 18878 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140586857093584 140589800081307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18879] ppid=18862 vsize=27314120 memory=280552766928784 CPUtime=0.01 cores=0-7
/proc/18865/task/18879/stat : 18879 (java) S 18862 18862 17551 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140588387703024 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18880] ppid=18862 vsize=27314120 memory=280552766935696 CPUtime=0 cores=0-7
/proc/18865/task/18880/stat : 18880 (java) S 18862 18862 17551 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140588386650480 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18881] ppid=18862 vsize=27314120 memory=280552766933392 CPUtime=0.01 cores=0-7
/proc/18865/task/18881/stat : 18881 (java) S 18862 18862 17551 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140588385597424 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18882] ppid=18862 vsize=27314120 memory=280552766949552 CPUtime=0.07 cores=0-7
/proc/18865/task/18882/stat : 18882 (java) S 18862 18862 17551 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140588384544880 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18883] ppid=18862 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18883/stat : 18883 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140586359188448 140589800072917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18884] ppid=18862 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18865/task/18884/stat : 18884 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229130 27969658880 31843 33554432000 4194304 4196468 140730276258576 140588383493296 140589800073858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128768 KiB

[startup+0.700966 s]
/proc/loadavg: 7.40 6.69 7.35 2/211 18884
/proc/meminfo: memFree=24452708/32770624 swapFree=66999332/67108860
[pid=18862] ppid=18859 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18862/stat : 18862 (scop.sh) S 18859 18862 17551 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420229122 115843072 349 33554432000 4194304 5098028 140721857815376 140721857812632 140339150709372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34275328 140721857823525 140721857823852 140721857823852 140721857826765 0
/proc/18862/statm: 28282 349 296 221 0 87 0
[pid=18865] ppid=18862 vsize=27322516 memory=165808 CPUtime=0.99 cores=0-7
/proc/18865/stat : 18865 (java) S 18862 18862 17551 0 -1 1077944320 20028 0 0 0 92 7 0 0 20 0 20 0 420229122 27978256384 41452 33554432000 4194304 4196468 140730276258576 140730276241120 140589800062711 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
/proc/18865/statm: 6830629 41452 3197 1 0 6791959 0
[pid=18865/tid=18866] ppid=18862 vsize=27322516 memory=280552767307440 CPUtime=0.67 cores=0-7
/proc/18865/task/18866/stat : 18866 (java) R 18862 18862 17551 0 -1 4202560 17000 0 0 0 61 6 0 0 20 0 20 0 420229122 27978256384 41452 33554432000 4194304 4196468 140730276258576 140589771894448 140589784143198 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18867] ppid=18862 vsize=27322516 memory=140276383654768 CPUtime=0 cores=0-7
/proc/18865/task/18867/stat : 18867 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27978256384 41452 33554432000 4194304 4196468 140730276258576 140589804305424 140589800072917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18868] ppid=18862 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/18865/task/18868/stat : 18868 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27978256384 41452 33554432000 4194304 4196468 140730276258576 140589587700880 140589800072917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0
[pid=18865/tid=18869] ppid=18862 vsize=27322516 memory=5912 CPUtime=0 cores=0-7
/proc/18865/task/18869/stat : 18869 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229125 27978256384 41452 33554432000 4194304 4196468 140730276258576 140589586647824 140589800072917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140730276262635 140730276263062 140730276263062 140730276265935 0

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

[pid=18887/tid=18888] ppid=18862 vsize=8414124 memory=2116 CPUtime=0.79 cores=0-7
/proc/18887/task/18888/stat : 18888 (java) S 18862 18862 17551 0 -1 1077944384 16905 0 0 0 73 6 0 0 20 0 24 0 420230224 8616062976 31008 33554432000 4194304 4196468 140725819392432 139655078748064 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18889] ppid=18862 vsize=8414124 memory=19748 CPUtime=0 cores=0-7
/proc/18887/task/18889/stat : 18889 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139655111149840 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18890] ppid=18862 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/18887/task/18890/stat : 18890 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654911318416 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18891] ppid=18862 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/18887/task/18891/stat : 18891 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654910265872 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18892] ppid=18862 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/18887/task/18892/stat : 18892 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654909213328 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18893] ppid=18862 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/18887/task/18893/stat : 18893 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654908160784 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18894] ppid=18862 vsize=8414124 memory=864 CPUtime=0 cores=0-7
/proc/18887/task/18894/stat : 18894 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654907108240 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18895] ppid=18862 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/18887/task/18895/stat : 18895 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654906055696 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18896] ppid=18862 vsize=8414124 memory=1652 CPUtime=0 cores=0-7
/proc/18887/task/18896/stat : 18896 (java) S 18862 18862 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420230225 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654905003152 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18897] ppid=18862 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/18887/task/18897/stat : 18897 (java) S 18862 18862 17551 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420230227 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654066006000 139655106919042 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18898] ppid=18862 vsize=8414124 memory=2540 CPUtime=0 cores=0-7
/proc/18887/task/18898/stat : 18898 (java) S 18862 18862 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420230227 8616062976 31008 33554432000 4194304 4196468 140725819392432 139653747303328 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18899] ppid=18862 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/18887/task/18899/stat : 18899 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420230227 8616062976 31008 33554432000 4194304 4196468 140725819392432 139653478867952 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18900] ppid=18862 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/18887/task/18900/stat : 18900 (java) S 18862 18862 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139653104359632 139655106926491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18901] ppid=18862 vsize=8414124 memory=804 CPUtime=0.09 cores=0-7
/proc/18887/task/18901/stat : 18901 (java) S 18862 18862 17551 0 -1 1077944384 801 0 0 0 9 0 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654064953840 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18902] ppid=18862 vsize=8414124 memory=4104 CPUtime=0.13 cores=0-7
/proc/18887/task/18902/stat : 18902 (java) S 18862 18862 17551 0 -1 1077944384 546 0 0 0 13 0 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654063901296 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18903] ppid=18862 vsize=8414124 memory=1804 CPUtime=0.09 cores=0-7
/proc/18887/task/18903/stat : 18903 (java) S 18862 18862 17551 0 -1 1077944384 310 0 0 0 9 0 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654062848752 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18904] ppid=18862 vsize=8414124 memory=920 CPUtime=0.22 cores=0-7
/proc/18887/task/18904/stat : 18904 (java) S 18862 18862 17551 0 -1 1077944384 592 0 0 0 22 0 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654061796208 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18905] ppid=18862 vsize=8414124 memory=4480 CPUtime=0 cores=0-7
/proc/18887/task/18905/stat : 18905 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139652606453984 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18906] ppid=18862 vsize=8414124 memory=1412 CPUtime=0.01 cores=0-7
/proc/18887/task/18906/stat : 18906 (java) S 18862 18862 17551 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 420230230 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654060743088 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18908] ppid=18862 vsize=8414124 memory=3228 CPUtime=0 cores=0-7
/proc/18887/task/18908/stat : 18908 (java) S 18862 18862 17551 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420230301 8616062976 31008 33554432000 4194304 4196468 140725819392432 139654052709568 139655106932505 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18910] ppid=18862 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/18887/task/18910/stat : 18910 (java) S 18862 18862 17551 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420230301 8616062976 31008 33554432000 4194304 4196468 140725819392432 139651935354640 139655106929821 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18911] ppid=18862 vsize=8414124 memory=124032 CPUtime=0 cores=0-7
/proc/18887/task/18911/stat : 18911 (java) S 18862 18862 17551 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420230301 8616062976 31008 33554432000 4194304 4196468 140725819392432 139652203790224 139655106929821 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18912] ppid=18862 vsize=8414124 memory=391168 CPUtime=0 cores=0-7
/proc/18887/task/18912/stat : 18912 (java) S 18862 18862 17551 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420230303 8616062976 31008 33554432000 4194304 4196468 140725819392432 139651666927280 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
Current children cumulated CPU time: 223.97 s
Current children cumulated vsize: 9323688 KiB
Current children cumulated memory: 517068 KiB

[startup+37.8012 s]
/proc/loadavg: 7.14 6.67 7.32 9/224 18920
/proc/meminfo: memFree=24088180/32770624 swapFree=66999332/67108860
[pid=18862] ppid=18859 vsize=113128 memory=1476 CPUtime=20.09 cores=0-7
/proc/18862/stat : 18862 (scop.sh) S 18859 18862 17551 0 -1 4202496 584 35986 0 0 0 0 1926 83 20 0 1 0 420229122 115843072 369 33554432000 4194304 5098028 140721857815376 140721857812120 140339150709372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34275328 140721857823525 140721857823852 140721857823852 140721857826765 0
/proc/18862/statm: 28282 369 311 221 0 87 0
[pid=18887] ppid=18862 vsize=8283048 memory=138876 CPUtime=204.45 cores=0-7
/proc/18887/stat : 18887 (java) S 18862 18862 17551 0 -1 1077944320 22151 210693 0 0 159 9 20220 57 20 0 22 0 420230224 8481841152 34719 33554432000 4194304 4196468 140725819392432 140725819374976 139655106907895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
/proc/18887/statm: 2070762 34719 3229 1 0 2032106 0
[pid=18887/tid=18888] ppid=18862 vsize=8283048 memory=1804 CPUtime=203.6 cores=0-7
/proc/18887/task/18888/stat : 18888 (java) R 18862 18862 17551 0 -1 4202560 17060 210693 0 0 77 6 20220 57 20 0 22 0 420230224 8481841152 34719 33554432000 4194304 4196468 140725819392432 139655078728336 139655088772803 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18889] ppid=18862 vsize=8283048 memory=920 CPUtime=202.77 cores=0-7
/proc/18887/task/18889/stat : 18889 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139655111149840 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18890] ppid=18862 vsize=8283048 memory=4480 CPUtime=202.77 cores=0-7
/proc/18887/task/18890/stat : 18890 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654911318416 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18891] ppid=18862 vsize=8283048 memory=1412 CPUtime=202.77 cores=0-7
/proc/18887/task/18891/stat : 18891 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654910265872 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18892] ppid=18862 vsize=8283048 memory=3228 CPUtime=202.77 cores=0-7
/proc/18887/task/18892/stat : 18892 (java) S 18862 18862 17551 0 -1 1077944384 3 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654909213328 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18893] ppid=18862 vsize=8283048 memory=1476 CPUtime=202.77 cores=0-7
/proc/18887/task/18893/stat : 18893 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654908160784 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18894] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18894/stat : 18894 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654907108240 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18895] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18895/stat : 18895 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654906055696 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18896] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18896/stat : 18896 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654905003152 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18897] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18897/stat : 18897 (java) S 18862 18862 17551 0 -1 1077944384 6 210693 0 0 0 0 20220 57 20 0 22 0 420230227 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654066006000 139655106919042 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18898] ppid=18862 vsize=8283048 memory=381628 CPUtime=202.77 cores=0-7
/proc/18887/task/18898/stat : 18898 (java) S 18862 18862 17551 0 -1 1077944384 13 210693 0 0 0 0 20220 57 20 0 22 0 420230227 8481841152 34719 33554432000 4194304 4196468 140725819392432 139653747303328 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18899] ppid=18862 vsize=8283048 memory=-6367341468063324035 CPUtime=202.77 cores=0-7
/proc/18887/task/18899/stat : 18899 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230227 8481841152 34719 33554432000 4194304 4196468 140725819392432 139653478867952 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18900] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18900/stat : 18900 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139653104359632 139655106926491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18901] ppid=18862 vsize=8283048 memory=-1664385933527516014 CPUtime=202.91 cores=0-7
/proc/18887/task/18901/stat : 18901 (java) R 18862 18862 17551 0 -1 4202560 911 210693 0 0 14 0 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654064944224 139655090808360 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18902] ppid=18862 vsize=8283048 memory=-5921431000321636112 CPUtime=202.93 cores=0-7
/proc/18887/task/18902/stat : 18902 (java) S 18862 18862 17551 0 -1 1077944384 564 210693 0 0 16 0 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654063901296 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18903] ppid=18862 vsize=8283048 memory=-6595327170299138646 CPUtime=202.9 cores=0-7
/proc/18887/task/18903/stat : 18903 (java) S 18862 18862 17551 0 -1 1077944384 524 210693 0 0 13 0 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654062848752 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18904] ppid=18862 vsize=8283048 memory=-7169539485663701033 CPUtime=203.05 cores=0-7
/proc/18887/task/18904/stat : 18904 (java) S 18862 18862 17551 0 -1 1077944384 1133 210693 0 0 28 0 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654061796208 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18905] ppid=18862 vsize=8283048 memory=-5921431000321636112 CPUtime=202.77 cores=0-7
/proc/18887/task/18905/stat : 18905 (java) S 18862 18862 17551 0 -1 1077944384 3 210693 0 0 0 0 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139652606453984 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18906] ppid=18862 vsize=8283048 memory=-2746958450906831424 CPUtime=202.78 cores=0-7
/proc/18887/task/18906/stat : 18906 (java) S 18862 18862 17551 0 -1 1077944384 3 210693 0 0 0 1 20220 57 20 0 22 0 420230230 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654060743088 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18908] ppid=18862 vsize=8283048 memory=-1664385933527516014 CPUtime=202.77 cores=0-7
/proc/18887/task/18908/stat : 18908 (java) S 18862 18862 17551 0 -1 1077944384 24 210693 0 0 0 0 20220 57 20 0 22 0 420230301 8481841152 34719 33554432000 4194304 4196468 140725819392432 139654052708752 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18912] ppid=18862 vsize=8283048 memory=7661026922400866408 CPUtime=202.77 cores=0-7
/proc/18887/task/18912/stat : 18912 (java) S 18862 18862 17551 0 -1 1077944384 12 210693 0 0 0 0 20220 57 20 0 22 0 420230303 8481841152 34719 33554432000 4194304 4196468 140725819392432 139651666929072 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
Current children cumulated CPU time: 224.54 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 140352 KiB

[startup+37.901 s]
/proc/loadavg: 7.14 6.67 7.32 9/224 18920
/proc/meminfo: memFree=24088180/32770624 swapFree=66999332/67108860
[pid=18862] ppid=18859 vsize=113128 memory=1476 CPUtime=20.09 cores=0-7
/proc/18862/stat : 18862 (scop.sh) S 18859 18862 17551 0 -1 4202496 584 35986 0 0 0 0 1926 83 20 0 1 0 420229122 115843072 369 33554432000 4194304 5098028 140721857815376 140721857812120 140339150709372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34275328 140721857823525 140721857823852 140721857823852 140721857826765 0
/proc/18862/statm: 28282 369 311 221 0 87 0
[pid=18887] ppid=18862 vsize=8283048 memory=144964 CPUtime=204.71 cores=0-7
/proc/18887/stat : 18887 (java) S 18862 18862 17551 0 -1 1077944320 22619 210693 0 0 184 10 20220 57 20 0 22 0 420230224 8481841152 36241 33554432000 4194304 4196468 140725819392432 140725819374976 139655106907895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
/proc/18887/statm: 2070762 36241 3232 1 0 2032106 0
[pid=18887/tid=18888] ppid=18862 vsize=8283048 memory=125136 CPUtime=203.7 cores=0-7
/proc/18887/task/18888/stat : 18888 (java) R 18862 18862 17551 0 -1 4202560 17193 210693 0 0 86 7 20220 57 20 0 22 0 420230224 8481841152 36241 33554432000 4194304 4196468 140725819392432 139655078745856 139655091015016 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18889] ppid=18862 vsize=8283048 memory=1476 CPUtime=202.77 cores=0-7
/proc/18887/task/18889/stat : 18889 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36241 33554432000 4194304 4196468 140725819392432 139655111149840 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18890] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18890/stat : 18890 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36241 33554432000 4194304 4196468 140725819392432 139654911318416 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18891] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18891/stat : 18891 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36241 33554432000 4194304 4196468 140725819392432 139654910265872 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18892] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18892/stat : 18892 (java) S 18862 18862 17551 0 -1 1077944384 3 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654909213328 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18893] ppid=18862 vsize=8283048 memory=390960 CPUtime=202.77 cores=0-7
/proc/18887/task/18893/stat : 18893 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654908160784 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18894] ppid=18862 vsize=8283048 memory=3476331760892535915 CPUtime=202.77 cores=0-7
/proc/18887/task/18894/stat : 18894 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654907108240 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18895] ppid=18862 vsize=8283048 memory=1476 CPUtime=202.77 cores=0-7
/proc/18887/task/18895/stat : 18895 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654906055696 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18896] ppid=18862 vsize=8283048 memory=0 CPUtime=202.77 cores=0-7
/proc/18887/task/18896/stat : 18896 (java) S 18862 18862 17551 0 -1 1077944384 2 210693 0 0 0 0 20220 57 20 0 22 0 420230225 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654905003152 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18897] ppid=18862 vsize=8283048 memory=7306916055891837009 CPUtime=202.77 cores=0-7
/proc/18887/task/18897/stat : 18897 (java) S 18862 18862 17551 0 -1 1077944384 6 210693 0 0 0 0 20220 57 20 0 22 0 420230227 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654066006000 139655106919042 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18898] ppid=18862 vsize=8283048 memory=288284489336257558 CPUtime=202.77 cores=0-7
/proc/18887/task/18898/stat : 18898 (java) S 18862 18862 17551 0 -1 1077944384 13 210693 0 0 0 0 20220 57 20 0 22 0 420230227 8481841152 36253 33554432000 4194304 4196468 140725819392432 139653747303328 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18899] ppid=18862 vsize=8283048 memory=612 CPUtime=202.77 cores=0-7
/proc/18887/task/18899/stat : 18899 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230227 8481841152 36253 33554432000 4194304 4196468 140725819392432 139653478867952 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18900] ppid=18862 vsize=8283048 memory=1220 CPUtime=202.77 cores=0-7
/proc/18887/task/18900/stat : 18900 (java) S 18862 18862 17551 0 -1 1077944384 1 210693 0 0 0 0 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139653104359632 139655106926491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18901] ppid=18862 vsize=8283048 memory=14004 CPUtime=202.94 cores=0-7
/proc/18887/task/18901/stat : 18901 (java) S 18862 18862 17551 0 -1 1077944384 982 210693 0 0 17 0 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654064953840 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18902] ppid=18862 vsize=8283048 memory=56 CPUtime=202.97 cores=0-7
/proc/18887/task/18902/stat : 18902 (java) R 18862 18862 17551 0 -1 4202560 629 210693 0 0 20 0 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654063887248 139655091829721 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18903] ppid=18862 vsize=8283048 memory=11364 CPUtime=202.92 cores=0-7
/proc/18887/task/18903/stat : 18903 (java) R 18862 18862 17551 0 -1 4202560 543 210693 0 0 15 0 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654062836064 139655091789504 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18904] ppid=18862 vsize=8283048 memory=0 CPUtime=203.11 cores=0-7
/proc/18887/task/18904/stat : 18904 (java) R 18862 18862 17551 0 -1 4202560 1314 210693 0 0 34 0 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654061796208 139655100015265 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18905] ppid=18862 vsize=8283048 memory=3624 CPUtime=202.77 cores=0-7
/proc/18887/task/18905/stat : 18905 (java) S 18862 18862 17551 0 -1 1077944384 3 210693 0 0 0 0 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139652606453984 139655106918101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18906] ppid=18862 vsize=8283048 memory=40788 CPUtime=202.78 cores=0-7
/proc/18887/task/18906/stat : 18906 (java) S 18862 18862 17551 0 -1 1077944384 3 210693 0 0 0 1 20220 57 20 0 22 0 420230230 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654060743088 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18908] ppid=18862 vsize=8283048 memory=33 CPUtime=202.77 cores=0-7
/proc/18887/task/18908/stat : 18908 (java) S 18862 18862 17551 0 -1 1077944384 24 210693 0 0 0 0 20220 57 20 0 22 0 420230301 8481841152 36253 33554432000 4194304 4196468 140725819392432 139654052708752 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
[pid=18887/tid=18912] ppid=18862 vsize=8283048 memory=124032 CPUtime=202.77 cores=0-7
/proc/18887/task/18912/stat : 18912 (java) S 18862 18862 17551 0 -1 1077944384 12 210693 0 0 0 0 20220 57 20 0 22 0 420230303 8481841152 36253 33554432000 4194304 4196468 140725819392432 139651666929072 139655106919042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13623296 140725819401207 140725819401366 140725819401366 140725819404239 0
Current children cumulated CPU time: 224.8 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146440 KiB

Child status: 0
Real time (s): 37.9969
CPU time (s): 225.124
CPU user time (s): 223.583
CPU system time (s): 1.54095
CPU usage (%): 592.479
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4391788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.583
system time used= 1.54095
maximum resident set size= 4393388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14704
involuntary context switches= 2416


# summary of solver processes directly reported to runsolver:
#   pid: 18862
#   total CPU time (s): 225.124
#   total CPU user time (s): 223.583
#   total CPU system time (s): 1.54095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.331163 second user time and 0.539754 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 08:34:26
IDJOB=4392474
IDBENCH=138958
IDSOLVER=2838
FILE ID=node140/4392474-1568442907
RUNJOBID= node140-1568438992-17578
PBS_JOBID= 21702327
Free space on /tmp= 58140 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-19.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392474-1568442907/watcher-4392474-1568442907 -o /tmp/evaluation-result-4392474-1568442907/solver-4392474-1568442907 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568438992-17578 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392474-1568442907.xml

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

MD5SUM BENCH= 2072ed2e4af5bca545229f959ebdc074
RANDOM SEED=1528545944

node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24593500 kB
MemAvailable:   31859004 kB
Buffers:          177704 kB
Cached:          7294692 kB
SwapCached:         2700 kB
Active:          1528460 kB
Inactive:        5951780 kB
Active(anon):       3924 kB
Inactive(anon):    44336 kB
Active(file):    1524536 kB
Inactive(file):  5907444 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999332 kB
Dirty:             20360 kB
Writeback:             0 kB
AnonPages:        125184 kB
Mapped:            44620 kB
Shmem:             32288 kB
Slab:             291968 kB
SReclaimable:     261984 kB
SUnreclaim:        29984 kB
KernelStack:        3712 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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