Trace number 4392774

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-30946-serial-file.bin HOME/instance-4392774-1568442921.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:34:40 CEST 2019
0.66/0.57	c PID: 30949
0.66/0.57	c IP: 172.20.3.117
0.66/0.57	c HOST: node117.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.65/1.07	c (0,0) Parsing End
1.65/1.08	c (0,0) CSP: 871 int (0 aux), 29 bool (0 aux), 2 ctr, max domain size 30
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) Constraint Name Generate Begin
1.65/1.09	c (0,0) Ctr:HOME/instance-4392774-1568442921.xml,AllDifferentMatrix:Instantiation:Var
1.65/1.09	c (0,0) Constraint Name Generate End
1.65/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.09	c (0,0) CSP to CSPinCNF Begin
1.91/1.12	c (0,0) translated 1 (10%) constraints
5.68/3.35	c (2,2) translated 2 (20%) constraints
5.68/3.38	c (2,2) ===========================================
5.92/3.47	c (2,2) Hybrid: #OE=375, #LE=525
5.92/3.47	c (2,2) Hybrid
5.92/3.47	c (2,2) ===========================================
8.14/4.05	c (3,3) translated 2855 (10%) constraints
8.96/4.41	c (3,3) translated 5709 (20%) constraints
9.36/4.75	c (4,3) translated 8564 (30%) constraints
9.67/5.08	c (4,4) translated 11418 (40%) constraints
10.07/5.44	c (4,4) translated 14273 (50%) constraints
10.43/5.74	c (5,4) translated 17127 (60%) constraints
10.90/6.03	c (5,4) translated 19982 (70%) constraints
11.20/6.32	c (5,5) translated 22836 (80%) constraints
11.53/6.64	c (6,5) translated 25691 (90%) constraints
11.72/6.89	c (6,5) translated 28545 (100%) constraints
11.72/6.90	c (6,5) CSP to CSPinCNF End
11.87/6.91	c (6,5) CSP: 871 int (0 aux), 27029 bool (27000 aux), 137070 ctr, max domain size 30
11.87/6.91	c (6,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.87/6.91	c (6,5) CSPinCNF Propagation Begin
16.19/9.24	c (8,8) 20723 values, 88250 unsatisfiable literals, and 91890 valid clauses are removed
16.19/9.24	c (8,8) CSPinCNF Propagation End
16.19/9.25	c (8,8) CSP: 870 int (0 aux), 27030 bool (27000 aux), 45180 ctr, max domain size 30
16.19/9.25	c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.35/9.30	c (8,8) Hybrid: #OE=27375, #LE=525
16.35/9.30	c (8,8) Simplify CSPinCNF Begin
17.54/9.85	c (9,8) Simplify CSPinCNF End
17.54/9.87	c (9,8) CSP: 870 int (0 aux), 52834 bool (52804 aux), 70984 ctr, max domain size 30
17.54/9.87	c (9,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.54/9.87	c (9,8) Calculate Precise Domain Begin
17.54/9.87	c (9,8) 0 values are removed by re-calculation
17.54/9.87	c (9,8) Calculate Precise Domain End
17.54/9.88	c (9,8) CSP: 870 int (0 aux), 52834 bool (52804 aux), 70984 ctr, max domain size 30
17.54/9.88	c (9,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.54/9.88	c (9,8) CSPinCNF to SatSolver Begin
19.58/10.45	c (9,9) 7099 (10 %) CSP clauses are encoded (0 SAT variables, 28836 SAT clauses)
19.96/10.61	c (10,9) 14197 (20 %) CSP clauses are encoded (0 SAT variables, 50810 SAT clauses)
20.06/10.78	c (10,9) 21296 (30 %) CSP clauses are encoded (0 SAT variables, 72285 SAT clauses)
20.33/10.93	c (10,9) 28394 (40 %) CSP clauses are encoded (0 SAT variables, 93411 SAT clauses)
20.46/11.08	c (10,10) 35492 (50 %) CSP clauses are encoded (0 SAT variables, 115169 SAT clauses)
20.65/11.23	c (10,10) 42591 (60 %) CSP clauses are encoded (0 SAT variables, 137230 SAT clauses)
20.81/11.38	c (10,10) 49689 (70 %) CSP clauses are encoded (0 SAT variables, 159862 SAT clauses)
21.05/11.52	c (10,10) 56788 (80 %) CSP clauses are encoded (0 SAT variables, 180821 SAT clauses)
21.16/11.66	c (11,10) 63886 (90 %) CSP clauses are encoded (0 SAT variables, 200903 SAT clauses)
21.35/11.80	c (11,10) 70984 (100 %) CSP clauses are encoded (0 SAT variables, 221747 SAT clauses)
21.35/11.80	c (11,10) CSPinCNF to SatSolver End
21.35/11.80	c (11,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.35/11.80	c (11,10) 41906 bool, 221748 clause
21.35/11.80	c (11,10) Export Begin
21.55/11.95	c (11,10) Export to HOME/scop-30946-serial-file.bin
21.55/11.95	c (11,10) Export End
21.55/11.96	c (11,10) Export File Size: 0.15 MB
21.55/11.96	c (11,10) 0,0,6,8,9,9,11,STOP-AFTER(DIMACS)
21.55/11.96	c END-Prog: Sat Sep 14 08:34:51 CEST 2019
21.55/11.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30946-serial-file.bin
22.29/12.45	c (0,0) Read Serial File Begin
22.29/12.45	c (0,0) HOME/scop-30946-serial-file.bin
22.84/12.71	c (0,0) Read Serial File End
22.84/12.72	
22.84/12.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
22.84/12.72	(Solving Process)
22.84/12.72	
22.84/12.74	c BEGIN-Prog: Sat Sep 14 08:34:52 CEST 2019
22.84/12.74	c PID: 30969
22.84/12.74	c IP: 172.20.3.117
22.84/12.74	c HOST: node117.alineos.net
22.84/12.75	c (0,0) SatSolver.solve Begin
22.84/12.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392774-1568442921.xml-scop-30949.cnf
22.84/12.77	c (0,0) c
22.84/12.77	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)
22.84/12.77	c (0,0) c
22.84/12.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.84/12.77	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.84/12.77	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.84/12.77	c (0,0) c |                                                                                                       |
23.11/12.85	c (0,0) c |  Number of variables:         41906                                                                   |
23.11/12.85	c (0,0) c |  Number of clauses:          221748                                                                   |
23.11/12.85	c (0,0) c |  Parse time:                   0.08 s                                                                 |
23.11/12.85	c (0,0) c |                                                                                                       |
23.38/13.07	c (0,0) c |  Simplification time:          0.21 s                                                                 |
23.38/13.07	c (0,0) c |                                                                                                       |
23.38/13.07	c (0,0) c |  Generating clones                                                                                    |
23.58/13.20	c (0,0) c |  all clones generated. Memory =   206.98Mb.                                                           |
23.58/13.20	c (0,0) c ========================================================================================================|
23.58/13.20	c (0,0) c
23.58/13.20	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.58/13.20	c (0,0) c
23.58/13.20	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.58/13.20	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.58/13.20	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.58/13.20	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.58/13.20	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.58/13.20	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.58/13.20	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.58/13.20	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.58/13.20	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.58/13.20	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.58/13.20	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.58/13.20	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.58/13.20	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.58/13.20	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.58/13.20	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.58/13.20	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.58/13.20	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.58/13.20	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.58/13.20	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c real time : 25.6881 s
224.47/38.46	c (26,0) c cpu time  : 201.136 s
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c | Conflicts     |          244408 |      29659 |      29629 |      30632 |      31004 |      30601 |      31032 |      30975 |      30876 |
224.47/38.46	c (26,0) c | Decisions     |         2331442 |     287868 |     285074 |     294058 |     290500 |     290314 |     290425 |     302251 |     290952 |
224.47/38.46	c (26,0) c | Propagations  |       305349871 |   37213313 |   36923900 |   38353935 |   38490473 |   38349946 |   38777068 |   38832369 |   38408867 |
224.47/38.46	c (26,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
224.47/38.46	c (26,0) c | SimpDBs       |             427 |         53 |         52 |         54 |         51 |         55 |         54 |         54 |         54 |
224.47/38.46	c (26,0) c | Restarts      |            3714 |        451 |        445 |        474 |        465 |        461 |        478 |        479 |        461 |
224.47/38.46	c (26,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.47/38.46	c (26,0) c | PropBinClauses|       775250082 |   93689404 |   93276192 |   97780620 |   98148331 |   97292370 |   98363297 |   98966589 |   97733279 |
224.47/38.46	c (26,0) c | PropPreBlocker|      3556216238 |  429110776 |  427787584 |  448676929 |  452231073 |  446378968 |  450727536 |  452836350 |  448467022 |
224.47/38.46	c (26,0) c | PropNotBlocker|       925141775 |  112253996 |  111975839 |  116320404 |  117514079 |  116082987 |  117895274 |  117455781 |  115643415 |
224.47/38.46	c (26,0) c | LitFullScans  |      6186447899 |  747517752 |  744173725 |  780068977 |  784663401 |  777231631 |  785596579 |  787257504 |  779938330 |
224.47/38.46	c (26,0) c | LitScanFracts |         1159277 |     285791 |     172077 |      39906 |     178354 |     108033 |      79691 |      47980 |     247445 |
224.47/38.46	c (26,0) c | DecisionLevel0|           14633 |       1822 |       1793 |       1847 |       1848 |       1796 |       1828 |       1908 |       1791 |
224.47/38.46	c (26,0) c | Periods       |            1027 |        124 |        124 |        130 |        130 |        129 |        130 |        131 |        129 |
224.47/38.46	c (26,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
224.47/38.46	c (26,0) c | Avg_Trail     |                 |       8665 |       8710 |       8782 |       8806 |       8750 |       8659 |       8754 |       8808 |
224.47/38.46	c (26,0) c | Avg_DL        |                 |         89 |         90 |         92 |         92 |         89 |         88 |         92 |         92 |
224.47/38.46	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.47/38.46	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c | Exported      |           49345 |       6062 |       5971 |       6105 |       6210 |       6279 |       6282 |       6218 |       6218 |
224.47/38.46	c (26,0) c | Imported      |          310342 |      37864 |      37689 |      39144 |      39302 |      38907 |      39183 |      39221 |      39032 |
224.47/38.46	c (26,0) c | Good          |           61083 |       7534 |       7608 |       7650 |       7746 |       7615 |       7647 |       7611 |       7672 |
224.47/38.46	c (26,0) c | Purge         |          249259 |      30330 |      30081 |      31494 |      31556 |      31292 |      31536 |      31610 |      31360 |
224.47/38.46	c (26,0) c | Promoted      |           19225 |       2337 |       2267 |       2399 |       2591 |       2357 |       2437 |       2447 |       2390 |
224.47/38.46	c (26,0) c | Remove_Imp    |          142814 |      17794 |      17817 |      18168 |      17833 |      17677 |      17737 |      17990 |      17798 |
224.47/38.46	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c | Unaries       |                 |       1371 |       1348 |       1373 |       1383 |       1335 |       1350 |       1429 |       1330 |
224.47/38.46	c (26,0) c | Binaries      |                 |       1165 |       1086 |       1128 |       1043 |       1158 |       1146 |       1178 |       1105 |
224.47/38.46	c (26,0) c | Glues         |                 |       1983 |       1902 |       1962 |       1873 |       2057 |       1971 |       2016 |       1899 |
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c | Orig_Seen     |            34 % |      58157 |      57806 |      58481 |      59154 |      58343 |      58725 |      58821 |      58690 |
224.47/38.46	c (26,0) c | Diff Orig seen|                 |      X     | -      351 |        324 |        997 |        186 |        568 |        664 |        533 |
224.47/38.46	c (26,0) c | Hamming       |            13 % |      X     |       5463 |       5766 |       5370 |       4998 |       6296 |       5668 |       5385 |
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c | RunningTime   |                 |   25.2 100%|   25.2 100%|   25.2 100%|   25.2 100%|   25.2 100%|   25.2 100%|   25.2 100%|   25.2 100%|
224.47/38.46	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%|
224.47/38.46	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%|
224.47/38.46	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%|
224.47/38.46	c (26,0) c | SolvingTime   |                 |   25.2     |   25.2     |   25.2     |   25.2     |   25.2     |   25.2     |   25.2     |   25.2     |
224.47/38.46	c (26,0) c | PropagationTim|                 |   22.1  88%|   22.0  87%|   22.0  87%|   22.0  87%|   22.0  87%|   22.0  87%|   22.0  87%|   22.0  87%|
224.47/38.46	c (26,0) c | AnalysisTime  |                 |    1.6   7%|    1.7   7%|    1.7   7%|    1.8   7%|    1.7   7%|    1.7   7%|    1.7   7%|    1.8   7%|
224.47/38.46	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%|
224.47/38.46	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%|
224.47/38.46	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%|
224.47/38.46	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%|
224.47/38.46	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c
224.47/38.46	c (26,0) c Threads : 8
224.47/38.46	c (26,0) c Winner : 0
224.47/38.46	c (26,0) c Conflicts_0 : 29659
224.47/38.46	c (26,0) c Conflicts_1 : 29629
224.47/38.46	c (26,0) c Conflicts_2 : 30632
224.47/38.46	c (26,0) c Conflicts_3 : 31004
224.47/38.46	c (26,0) c Conflicts_4 : 30601
224.47/38.46	c (26,0) c Conflicts_5 : 31032
224.47/38.46	c (26,0) c Conflicts_6 : 30975
224.47/38.46	c (26,0) c Conflicts_7 : 30876
224.47/38.46	c (26,0) c Conflicts_total : 244408
224.47/38.46	c (26,0) c Conflicts_winner : 29659
224.47/38.46	c (26,0) c Decisions_0 : 287868
224.47/38.46	c (26,0) c Decisions_1 : 285074
224.47/38.46	c (26,0) c Decisions_2 : 294058
224.47/38.46	c (26,0) c Decisions_3 : 290500
224.47/38.46	c (26,0) c Decisions_4 : 290314
224.47/38.46	c (26,0) c Decisions_5 : 290425
224.47/38.46	c (26,0) c Decisions_6 : 302251
224.47/38.46	c (26,0) c Decisions_7 : 290952
224.47/38.46	c (26,0) c Decisions_total : 2331442
224.47/38.46	c (26,0) c Decisions_winner : 287868
224.47/38.46	c (26,0) c Propagations_0 : 37213313
224.47/38.46	c (26,0) c Propagations_1 : 36923900
224.47/38.46	c (26,0) c Propagations_2 : 38353935
224.47/38.46	c (26,0) c Propagations_3 : 38490473
224.47/38.46	c (26,0) c Propagations_4 : 38349946
224.47/38.46	c (26,0) c Propagations_5 : 38777068
224.47/38.46	c (26,0) c Propagations_6 : 38832369
224.47/38.46	c (26,0) c Propagations_7 : 38408867
224.47/38.46	c (26,0) c Propagations_total : 305349871
224.47/38.46	c (26,0) c Propagations_winner : 37213313
224.47/38.46	c (26,0) c ReduceDBs_0 : 4
224.47/38.46	c (26,0) c ReduceDBs_1 : 4
224.47/38.46	c (26,0) c ReduceDBs_2 : 4
224.47/38.46	c (26,0) c ReduceDBs_3 : 4
224.47/38.46	c (26,0) c ReduceDBs_4 : 4
224.47/38.46	c (26,0) c ReduceDBs_5 : 4
224.47/38.46	c (26,0) c ReduceDBs_6 : 4
224.47/38.46	c (26,0) c ReduceDBs_7 : 4
224.47/38.46	c (26,0) c ReduceDBs_total : 32
224.47/38.46	c (26,0) c ReduceDBs_winner : 4
224.47/38.46	c (26,0) c SimpDBs_0 : 53
224.47/38.46	c (26,0) c SimpDBs_1 : 52
224.47/38.46	c (26,0) c SimpDBs_2 : 54
224.47/38.46	c (26,0) c SimpDBs_3 : 51
224.47/38.46	c (26,0) c SimpDBs_4 : 55
224.47/38.46	c (26,0) c SimpDBs_5 : 54
224.47/38.46	c (26,0) c SimpDBs_6 : 54
224.47/38.46	c (26,0) c SimpDBs_7 : 54
224.47/38.46	c (26,0) c SimpDBs_total : 427
224.47/38.46	c (26,0) c SimpDBs_winner : 53
224.47/38.46	c (26,0) c Restarts_0 : 451
224.47/38.46	c (26,0) c Restarts_1 : 445
224.47/38.46	c (26,0) c Restarts_2 : 474
224.47/38.46	c (26,0) c Restarts_3 : 465
224.47/38.46	c (26,0) c Restarts_4 : 461
224.47/38.46	c (26,0) c Restarts_5 : 478
224.47/38.46	c (26,0) c Restarts_6 : 479
224.47/38.46	c (26,0) c Restarts_7 : 461
224.47/38.46	c (26,0) c Restarts_total : 3714
224.47/38.46	c (26,0) c Restarts_winner : 451
224.47/38.46	c (26,0) c ForcedImports_0 : 0
224.47/38.46	c (26,0) c ForcedImports_1 : 0
224.47/38.46	c (26,0) c ForcedImports_2 : 0
224.47/38.46	c (26,0) c ForcedImports_3 : 0
224.47/38.46	c (26,0) c ForcedImports_4 : 0
224.47/38.46	c (26,0) c ForcedImports_5 : 0
224.47/38.46	c (26,0) c ForcedImports_6 : 0
224.47/38.46	c (26,0) c ForcedImports_7 : 0
224.47/38.46	c (26,0) c ForcedImports_total : 0
224.47/38.46	c (26,0) c ForcedImports_winner : 0
224.47/38.46	c (26,0) c PropsBinClauses_0 : 93689404
224.47/38.46	c (26,0) c PropsBinClauses_1 : 93276192
224.47/38.46	c (26,0) c PropsBinClauses_2 : 97780620
224.47/38.46	c (26,0) c PropsBinClauses_3 : 98148331
224.47/38.46	c (26,0) c PropsBinClauses_4 : 97292370
224.47/38.46	c (26,0) c PropsBinClauses_5 : 98363297
224.47/38.46	c (26,0) c PropsBinClauses_6 : 98966589
224.47/38.46	c (26,0) c PropsBinClauses_7 : 97733279
224.47/38.46	c (26,0) c PropsBinClauses_total : 775250082
224.47/38.46	c (26,0) c PropsBinClauses_winner : 93689404
224.47/38.46	c (26,0) c PropsPreBlocker_0 : 429110776
224.47/38.46	c (26,0) c PropsPreBlocker_1 : 427787584
224.47/38.46	c (26,0) c PropsPreBlocker_2 : 448676929
224.47/38.46	c (26,0) c PropsPreBlocker_3 : 452231073
224.47/38.46	c (26,0) c PropsPreBlocker_4 : 446378968
224.47/38.46	c (26,0) c PropsPreBlocker_5 : 450727536
224.47/38.46	c (26,0) c PropsPreBlocker_6 : 452836350
224.47/38.46	c (26,0) c PropsPreBlocker_7 : 448467022
224.47/38.46	c (26,0) c PropsPreBlocker_total : 3556216238
224.47/38.46	c (26,0) c PropsPreBlocker_winner : 429110776
224.47/38.46	c (26,0) c PropsNotBlocker_0 : 112253996
224.47/38.46	c (26,0) c PropsNotBlocker_1 : 111975839
224.47/38.46	c (26,0) c PropsNotBlocker_2 : 116320404
224.47/38.46	c (26,0) c PropsNotBlocker_3 : 117514079
224.47/38.46	c (26,0) c PropsNotBlocker_4 : 116082987
224.47/38.46	c (26,0) c PropsNotBlocker_5 : 117895274
224.47/38.46	c (26,0) c PropsNotBlocker_6 : 117455781
224.47/38.46	c (26,0) c PropsNotBlocker_7 : 115643415
224.47/38.46	c (26,0) c PropsNotBlocker_total : 925141775
224.47/38.46	c (26,0) c PropsNotBlocker_winner : 112253996
224.47/38.46	c (26,0) c PropsLitFullScans_0 : 747517752
224.47/38.46	c (26,0) c PropsLitFullScans_1 : 744173725
224.47/38.46	c (26,0) c PropsLitFullScans_2 : 780068977
224.47/38.46	c (26,0) c PropsLitFullScans_3 : 784663401
224.47/38.46	c (26,0) c PropsLitFullScans_4 : 777231631
224.47/38.46	c (26,0) c PropsLitFullScans_5 : 785596579
224.47/38.46	c (26,0) c PropsLitFullScans_6 : 787257504
224.47/38.46	c (26,0) c PropsLitFullScans_7 : 779938330
224.47/38.46	c (26,0) c PropsLitFullScans_total : 6186447899
224.47/38.46	c (26,0) c PropsLitFullScans_winner : 747517752
224.47/38.46	c (26,0) c LitScanFractions_0 : 285791
224.47/38.46	c (26,0) c LitScanFractions_1 : 172077
224.47/38.46	c (26,0) c LitScanFractions_2 : 39906
224.47/38.46	c (26,0) c LitScanFractions_3 : 178354
224.47/38.46	c (26,0) c LitScanFractions_4 : 108033
224.47/38.46	c (26,0) c LitScanFractions_5 : 79691
224.47/38.46	c (26,0) c LitScanFractions_6 : 47980
224.47/38.46	c (26,0) c LitScanFractions_7 : 247445
224.47/38.46	c (26,0) c LitScanFractions_total : 1159277
224.47/38.46	c (26,0) c LitScanFractions_winner : 285791
224.47/38.46	c (26,0) c DecisionLevel0_0 : 1822
224.47/38.46	c (26,0) c DecisionLevel0_1 : 1793
224.47/38.47	c (26,0) c DecisionLevel0_2 : 1847
224.47/38.47	c (26,0) c DecisionLevel0_3 : 1848
224.47/38.47	c (26,0) c DecisionLevel0_4 : 1796
224.47/38.47	c (26,0) c DecisionLevel0_5 : 1828
224.47/38.47	c (26,0) c DecisionLevel0_6 : 1908
224.47/38.47	c (26,0) c DecisionLevel0_7 : 1791
224.47/38.47	c (26,0) c DecisionLevel0_total : 14633
224.47/38.47	c (26,0) c DecisionLevel0_winner : 1822
224.47/38.47	c (26,0) c Periods_0 : 124
224.47/38.47	c (26,0) c Periods_1 : 124
224.47/38.47	c (26,0) c Periods_2 : 130
224.47/38.47	c (26,0) c Periods_3 : 130
224.47/38.47	c (26,0) c Periods_4 : 129
224.47/38.47	c (26,0) c Periods_5 : 130
224.47/38.47	c (26,0) c Periods_6 : 131
224.47/38.47	c (26,0) c Periods_7 : 129
224.47/38.47	c (26,0) c Periods_total : 1027
224.47/38.47	c (26,0) c Periods_winner : 124
224.47/38.47	c (26,0) c Margin_0 : 20
224.47/38.47	c (26,0) c Margin_1 : 20
224.47/38.47	c (26,0) c Margin_2 : 20
224.47/38.47	c (26,0) c Margin_3 : 20
224.47/38.47	c (26,0) c Margin_4 : 20
224.47/38.47	c (26,0) c Margin_5 : 20
224.47/38.47	c (26,0) c Margin_6 : 20
224.47/38.47	c (26,0) c Margin_7 : 20
224.47/38.47	c (26,0) c Margin_total : 160
224.47/38.47	c (26,0) c Margin_winner : 20
224.47/38.47	c (26,0) c Exported_0 : 6062
224.47/38.47	c (26,0) c Exported_1 : 5971
224.47/38.47	c (26,0) c Exported_2 : 6105
224.47/38.47	c (26,0) c Exported_3 : 6210
224.47/38.47	c (26,0) c Exported_4 : 6279
224.47/38.47	c (26,0) c Exported_5 : 6282
224.47/38.47	c (26,0) c Exported_6 : 6218
224.47/38.47	c (26,0) c Exported_7 : 6218
224.47/38.47	c (26,0) c Exported_total : 49345
224.47/38.47	c (26,0) c Exported_winner : 6062
224.47/38.47	c (26,0) c Imported_0 : 37864
224.47/38.47	c (26,0) c Imported_1 : 37689
224.47/38.47	c (26,0) c Imported_2 : 39144
224.47/38.47	c (26,0) c Imported_3 : 39302
224.47/38.47	c (26,0) c Imported_4 : 38907
224.47/38.47	c (26,0) c Imported_5 : 39183
224.47/38.47	c (26,0) c Imported_6 : 39221
224.47/38.47	c (26,0) c Imported_7 : 39032
224.47/38.47	c (26,0) c Imported_total : 310342
224.47/38.47	c (26,0) c Imported_winner : 37864
224.47/38.47	c (26,0) c Good_0 : 7534
224.47/38.47	c (26,0) c Good_1 : 7608
224.47/38.47	c (26,0) c Good_2 : 7650
224.47/38.47	c (26,0) c Good_3 : 7746
224.47/38.47	c (26,0) c Good_4 : 7615
224.47/38.47	c (26,0) c Good_5 : 7647
224.47/38.47	c (26,0) c Good_6 : 7611
224.47/38.47	c (26,0) c Good_7 : 7672
224.47/38.47	c (26,0) c Good_total : 61083
224.47/38.47	c (26,0) c Good_winner : 7534
224.47/38.47	c (26,0) c Purge_0 : 30330
224.47/38.47	c (26,0) c Purge_1 : 30081
224.47/38.47	c (26,0) c Purge_2 : 31494
224.47/38.47	c (26,0) c Purge_3 : 31556
224.47/38.47	c (26,0) c Purge_4 : 31292
224.47/38.47	c (26,0) c Purge_5 : 31536
224.47/38.47	c (26,0) c Purge_6 : 31610
224.47/38.47	c (26,0) c Purge_7 : 31360
224.47/38.47	c (26,0) c Purge_total : 249259
224.47/38.47	c (26,0) c Purge_winner : 30330
224.47/38.47	c (26,0) c Promoted_0 : 2337
224.47/38.47	c (26,0) c Promoted_1 : 2267
224.47/38.47	c (26,0) c Promoted_2 : 2399
224.47/38.47	c (26,0) c Promoted_3 : 2591
224.47/38.47	c (26,0) c Promoted_4 : 2357
224.47/38.47	c (26,0) c Promoted_5 : 2437
224.47/38.47	c (26,0) c Promoted_6 : 2447
224.47/38.47	c (26,0) c Promoted_7 : 2390
224.47/38.47	c (26,0) c Promoted_total : 19225
224.47/38.47	c (26,0) c Promoted_winner : 2337
224.47/38.47	c (26,0) c Remove_Imp_0 : 17794
224.47/38.47	c (26,0) c Remove_Imp_1 : 17817
224.47/38.47	c (26,0) c Remove_Imp_2 : 18168
224.47/38.47	c (26,0) c Remove_Imp_3 : 17833
224.47/38.47	c (26,0) c Remove_Imp_4 : 17677
224.47/38.47	c (26,0) c Remove_Imp_5 : 17737
224.47/38.47	c (26,0) c Remove_Imp_6 : 17990
224.47/38.47	c (26,0) c Remove_Imp_7 : 17798
224.47/38.47	c (26,0) c Remove_Imp_total : 142814
224.47/38.47	c (26,0) c Remove_Imp_winner : 17794
224.47/38.47	c (26,0) c Blocked_Reuse_0 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_1 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_2 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_3 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_4 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_5 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_6 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_7 : 0
224.47/38.47	c (26,0) c Blocked_Reuse_total : 0
224.47/38.47	c (26,0) c Blocked_Reuse_winner : 0
224.47/38.47	c (26,0) c Unaries_0 : 1371
224.47/38.47	c (26,0) c Unaries_1 : 1348
224.47/38.47	c (26,0) c Unaries_2 : 1373
224.47/38.47	c (26,0) c Unaries_3 : 1383
224.47/38.47	c (26,0) c Unaries_4 : 1335
224.47/38.47	c (26,0) c Unaries_5 : 1350
224.47/38.47	c (26,0) c Unaries_6 : 1429
224.47/38.47	c (26,0) c Unaries_7 : 1330
224.47/38.47	c (26,0) c Unaries_total : 10919
224.47/38.47	c (26,0) c Unaries_winner : 1371
224.47/38.47	c (26,0) c Binaries_0 : 1165
224.47/38.47	c (26,0) c Binaries_1 : 1086
224.47/38.47	c (26,0) c Binaries_2 : 1128
224.47/38.47	c (26,0) c Binaries_3 : 1043
224.47/38.47	c (26,0) c Binaries_4 : 1158
224.47/38.47	c (26,0) c Binaries_5 : 1146
224.47/38.47	c (26,0) c Binaries_6 : 1178
224.47/38.47	c (26,0) c Binaries_7 : 1105
224.47/38.47	c (26,0) c Binaries_total : 9009
224.47/38.47	c (26,0) c Binaries_winner : 1165
224.47/38.47	c (26,0) c Glues_0 : 1983
224.47/38.47	c (26,0) c Glues_1 : 1902
224.47/38.47	c (26,0) c Glues_2 : 1962
224.47/38.47	c (26,0) c Glues_3 : 1873
224.47/38.47	c (26,0) c Glues_4 : 2057
224.47/38.47	c (26,0) c Glues_5 : 1971
224.47/38.47	c (26,0) c Glues_6 : 2016
224.47/38.47	c (26,0) c Glues_7 : 1899
224.47/38.47	c (26,0) c Glues_total : 15663
224.47/38.47	c (26,0) c Glues_winner : 1983
224.47/38.47	c (26,0) c RunningTime_0 : 25.203707
224.47/38.47	c (26,0) c RunningTime_1 : 25.214369
224.47/38.47	c (26,0) c RunningTime_2 : 25.215866
224.47/38.47	c (26,0) c RunningTime_3 : 25.209741
224.47/38.47	c (26,0) c RunningTime_4 : 25.206535
224.47/38.47	c (26,0) c RunningTime_5 : 25.225768
224.47/38.47	c (26,0) c RunningTime_6 : 25.219109
224.47/38.47	c (26,0) c RunningTime_7 : 25.224451
224.47/38.47	c (26,0) c RunningTime_total : 201.719547
224.47/38.47	c (26,0) c RunningTime_winner : 25.203707
224.47/38.47	c (26,0) c WaitingTime_0 : 0.000115
224.47/38.47	c (26,0) c WaitingTime_1 : 0.000132
224.47/38.47	c (26,0) c WaitingTime_2 : 0.000164
224.47/38.47	c (26,0) c WaitingTime_3 : 0.000164
224.47/38.47	c (26,0) c WaitingTime_4 : 0.000168
224.47/38.47	c (26,0) c WaitingTime_5 : 0.000175
224.47/38.47	c (26,0) c WaitingTime_6 : 0.000155
224.47/38.47	c (26,0) c WaitingTime_7 : 0.000180
224.47/38.47	c (26,0) c WaitingTime_total : 0.001253
224.47/38.47	c (26,0) c WaitingTime_winner : 0.000115
224.47/38.47	c (26,0) c ExchangingTime_0 : 0.019537
224.47/38.47	c (26,0) c ExchangingTime_1 : 0.023292
224.47/38.47	c (26,0) c ExchangingTime_2 : 0.019933
224.47/38.47	c (26,0) c ExchangingTime_3 : 0.023609
224.47/38.47	c (26,0) c ExchangingTime_4 : 0.019168
224.47/38.47	c (26,0) c ExchangingTime_5 : 0.021159
224.47/38.47	c (26,0) c ExchangingTime_6 : 0.019326
224.47/38.47	c (26,0) c ExchangingTime_7 : 0.021711
224.47/38.47	c (26,0) c ExchangingTime_total : 0.167735
224.47/38.47	c (26,0) c ExchangingTime_winner : 0.019537
224.47/38.47	c (26,0) c PeriodProcTime_0 : 0.001251
224.47/38.47	c (26,0) c PeriodProcTime_1 : 0.001446
224.47/38.47	c (26,0) c PeriodProcTime_2 : 0.001065
224.47/38.47	c (26,0) c PeriodProcTime_3 : 0.001257
224.47/38.47	c (26,0) c PeriodProcTime_4 : 0.001109
224.47/38.47	c (26,0) c PeriodProcTime_5 : 0.001395
224.47/38.47	c (26,0) c PeriodProcTime_6 : 0.000962
224.47/38.47	c (26,0) c PeriodProcTime_7 : 0.001122
224.47/38.47	c (26,0) c PeriodProcTime_total : 0.009605
224.47/38.47	c (26,0) c PeriodProcTime_winner : 0.001251
224.47/38.47	c (26,0) c SolvingTime_0 : 25.224610
224.47/38.47	c (26,0) c SolvingTime_1 : 25.239239
224.47/38.47	c (26,0) c SolvingTime_2 : 25.237028
224.47/38.47	c (26,0) c SolvingTime_3 : 25.234771
224.47/38.47	c (26,0) c SolvingTime_4 : 25.226980
224.47/38.47	c (26,0) c SolvingTime_5 : 25.248497
224.47/38.47	c (26,0) c SolvingTime_6 : 25.239552
224.47/38.47	c (26,0) c SolvingTime_7 : 25.247464
224.47/38.47	c (26,0) c SolvingTime_total : 201.898140
224.47/38.47	c (26,0) c SolvingTime_winner : 25.224610
224.47/38.47	c (26,0) c PropagationTime_0 : 22.104465
224.47/38.47	c (26,0) c PropagationTime_1 : 22.044804
224.47/38.47	c (26,0) c PropagationTime_2 : 21.983991
224.47/38.47	c (26,0) c PropagationTime_3 : 21.967936
224.47/38.47	c (26,0) c PropagationTime_4 : 21.995265
224.47/38.47	c (26,0) c PropagationTime_5 : 22.004832
224.47/38.47	c (26,0) c PropagationTime_6 : 21.998569
224.47/38.47	c (26,0) c PropagationTime_7 : 21.979348
224.47/38.47	c (26,0) c PropagationTime_total : 176.079211
224.47/38.47	c (26,0) c PropagationTime_winner : 22.104465
224.47/38.47	c (26,0) c AnalysisTime_0 : 1.643603
224.47/38.47	c (26,0) c AnalysisTime_1 : 1.707594
224.47/38.47	c (26,0) c AnalysisTime_2 : 1.749752
224.47/38.47	c (26,0) c AnalysisTime_3 : 1.776672
224.47/38.47	c (26,0) c AnalysisTime_4 : 1.723222
224.47/38.47	c (26,0) c AnalysisTime_5 : 1.738311
224.47/38.47	c (26,0) c AnalysisTime_6 : 1.740407
224.47/38.47	c (26,0) c AnalysisTime_7 : 1.762559
224.47/38.47	c (26,0) c AnalysisTime_total : 13.842120
224.47/38.47	c (26,0) c AnalysisTime_winner : 1.643603
224.47/38.47	c (26,0) c ReductionTime_0 : 0.067293
224.47/38.47	c (26,0) c ReductionTime_1 : 0.074889
224.47/38.47	c (26,0) c ReductionTime_2 : 0.067011
224.47/38.47	c (26,0) c ReductionTime_3 : 0.068097
224.47/38.47	c (26,0) c ReductionTime_4 : 0.067390
224.47/38.47	c (26,0) c ReductionTime_5 : 0.067803
224.47/38.47	c (26,0) c ReductionTime_6 : 0.068117
224.47/38.47	c (26,0) c ReductionTime_7 : 0.067382
224.47/38.47	c (26,0) c ReductionTime_total : 0.547983
224.47/38.47	c (26,0) c ReductionTime_winner : 0.067293
224.47/38.47	c (26,0) c SimplifyTime_0 : 0.300807
224.47/38.47	c (26,0) c SimplifyTime_1 : 0.314349
224.47/38.47	c (26,0) c SimplifyTime_2 : 0.318727
224.47/38.47	c (26,0) c SimplifyTime_3 : 0.298879
224.47/38.47	c (26,0) c SimplifyTime_4 : 0.331339
224.47/38.47	c (26,0) c SimplifyTime_5 : 0.320414
224.47/38.47	c (26,0) c SimplifyTime_6 : 0.320880
224.47/38.47	c (26,0) c SimplifyTime_7 : 0.327192
224.47/38.47	c (26,0) c SimplifyTime_total : 2.532588
224.47/38.47	c (26,0) c SimplifyTime_winner : 0.300807
224.47/38.47	c (26,0) c UsedRateTime_0 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_1 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_2 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_3 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_4 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_5 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_6 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_7 : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_total : 0.000000
224.47/38.47	c (26,0) c UsedRateTime_winner : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_0 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_1 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_2 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_3 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_4 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_5 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_6 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_7 : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_total : 0.000000
224.47/38.47	c (26,0) c OverlapRateTime_winner : 0.000000
224.47/38.47	c (26,0) c
224.47/38.47	c (26,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
224.47/38.47	c (26,0) c
224.47/38.47	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.47	c (26,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.47/38.47	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.47	c (26,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
224.47/38.47	c (26,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
224.47/38.47	c (26,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
224.47/38.47	c (26,0) c | Initial random_seed   | 1001000797 |  353992388 |  837769147 | 1412732191 | 1691977587 |  958807217 |  361696529 |  232229970 |
224.47/38.47	c (26,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
224.47/38.47	c (26,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
224.47/38.47	c (26,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
224.47/38.47	c (26,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
224.47/38.47	c (26,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
224.47/38.47	c (26,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
224.47/38.47	c (26,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
224.47/38.47	c (26,0) c | var_decay             |     0.8500 |     0.8500 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
224.47/38.47	c (26,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
224.47/38.47	c (26,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
224.47/38.47	c (26,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
224.47/38.47	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.47/38.47	c (26,0) 
224.47/38.47	c (26,0) s SATISFIABLE
225.01/38.53	c (26,0) SatSolver.solve End
225.01/38.53	c (26,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
225.01/38.53	c (26,0) Show results Begin
225.42/38.73	c (26,0) x[0][0] = 18
225.42/38.73	c (26,0) x[0][1] = 13
225.42/38.73	c (26,0) x[0][2] = 10
225.42/38.73	c (26,0) x[0][3] = 15
225.42/38.73	c (26,0) x[0][4] = 0
225.42/38.73	c (26,0) x[0][5] = 19
225.42/38.73	c (26,0) x[0][6] = 22
225.42/38.73	c (26,0) x[0][7] = 8
225.42/38.73	c (26,0) x[0][8] = 27
225.42/38.73	c (26,0) x[0][9] = 9
225.42/38.73	c (26,0) x[0][10] = 5
225.42/38.73	c (26,0) x[0][11] = 17
225.42/38.73	c (26,0) x[0][12] = 4
225.42/38.73	c (26,0) x[0][13] = 12
225.42/38.73	c (26,0) x[0][14] = 26
225.42/38.73	c (26,0) x[0][15] = 3
225.42/38.73	c (26,0) x[0][16] = 1
225.42/38.73	c (26,0) x[0][17] = 7
225.42/38.73	c (26,0) x[0][18] = 16
225.42/38.73	c (26,0) x[0][19] = 25
225.42/38.73	c (26,0) x[0][20] = 11
225.42/38.73	c (26,0) x[0][21] = 23
225.42/38.73	c (26,0) x[0][22] = 21
225.42/38.73	c (26,0) x[0][23] = 28
225.42/38.73	c (26,0) x[0][24] = 14
225.42/38.73	c (26,0) x[0][25] = 29
225.42/38.73	c (26,0) x[0][26] = 6
225.42/38.73	c (26,0) x[0][27] = 20
225.42/38.73	c (26,0) x[0][28] = 24
225.42/38.73	c (26,0) x[0][29] = 2
225.42/38.73	c (26,0) x[1][0] = 27
225.42/38.73	c (26,0) x[1][1] = 21
225.42/38.73	c (26,0) x[1][2] = 22
225.42/38.73	c (26,0) x[1][3] = 6
225.42/38.73	c (26,0) x[1][4] = 19
225.42/38.73	c (26,0) x[1][5] = 3
225.42/38.73	c (26,0) x[1][6] = 2
225.42/38.73	c (26,0) x[1][7] = 24
225.42/38.73	c (26,0) x[1][8] = 29
225.42/38.73	c (26,0) x[1][9] = 5
225.42/38.73	c (26,0) x[1][10] = 13
225.42/38.73	c (26,0) x[1][11] = 0
225.42/38.73	c (26,0) x[1][12] = 18
225.42/38.73	c (26,0) x[1][13] = 11
225.42/38.73	c (26,0) x[1][14] = 17
225.42/38.73	c (26,0) x[1][15] = 10
225.42/38.73	c (26,0) x[1][16] = 26
225.42/38.73	c (26,0) x[1][17] = 16
225.42/38.73	c (26,0) x[1][18] = 23
225.42/38.73	c (26,0) x[1][19] = 12
225.42/38.73	c (26,0) x[1][20] = 1
225.42/38.73	c (26,0) x[1][21] = 14
225.42/38.73	c (26,0) x[1][22] = 15
225.42/38.73	c (26,0) x[1][23] = 8
225.42/38.73	c (26,0) x[1][24] = 20
225.42/38.73	c (26,0) x[1][25] = 7
225.42/38.73	c (26,0) x[1][26] = 9
225.42/38.73	c (26,0) x[1][27] = 4
225.42/38.73	c (26,0) x[1][28] = 25
225.42/38.73	c (26,0) x[1][29] = 28
225.42/38.73	c (26,0) x[2][0] = 10
225.42/38.73	c (26,0) x[2][1] = 2
225.42/38.73	c (26,0) x[2][2] = 9
225.42/38.73	c (26,0) x[2][3] = 12
225.42/38.73	c (26,0) x[2][4] = 29
225.42/38.73	c (26,0) x[2][5] = 17
225.42/38.73	c (26,0) x[2][6] = 20
225.42/38.73	c (26,0) x[2][7] = 14
225.42/38.73	c (26,0) x[2][8] = 5
225.42/38.73	c (26,0) x[2][9] = 21
225.42/38.73	c (26,0) x[2][10] = 26
225.42/38.73	c (26,0) x[2][11] = 16
225.42/38.73	c (26,0) x[2][12] = 23
225.42/38.73	c (26,0) x[2][13] = 1
225.42/38.73	c (26,0) x[2][14] = 18
225.42/38.73	c (26,0) x[2][15] = 24
225.42/38.73	c (26,0) x[2][16] = 6
225.42/38.73	c (26,0) x[2][17] = 8
225.42/38.73	c (26,0) x[2][18] = 11
225.42/38.73	c (26,0) x[2][19] = 7
225.42/38.73	c (26,0) x[2][20] = 28
225.42/38.73	c (26,0) x[2][21] = 25
225.42/38.73	c (26,0) x[2][22] = 19
225.42/38.73	c (26,0) x[2][23] = 3
225.42/38.73	c (26,0) x[2][24] = 22
225.42/38.73	c (26,0) x[2][25] = 4
225.42/38.74	c (26,0) x[2][26] = 27
225.42/38.74	c (26,0) x[2][27] = 13
225.42/38.74	c (26,0) x[2][28] = 15
225.42/38.74	c (26,0) x[2][29] = 0
225.42/38.74	c (26,0) x[3][0] = 2
225.42/38.74	c (26,0) x[3][1] = 19
225.42/38.74	c (26,0) x[3][2] = 12
225.42/38.74	c (26,0) x[3][3] = 20
225.42/38.74	c (26,0) x[3][4] = 9
225.42/38.74	c (26,0) x[3][5] = 26
225.42/38.74	c (26,0) x[3][6] = 3
225.42/38.74	c (26,0) x[3][7] = 18
225.42/38.74	c (26,0) x[3][8] = 13
225.42/38.74	c (26,0) x[3][9] = 10
225.42/38.74	c (26,0) x[3][10] = 14
225.42/38.74	c (26,0) x[3][11] = 23
225.42/38.74	c (26,0) x[3][12] = 21
225.42/38.74	c (26,0) x[3][13] = 5
225.42/38.74	c (26,0) x[3][14] = 15
225.42/38.74	c (26,0) x[3][15] = 1
225.42/38.74	c (26,0) x[3][16] = 7
225.42/38.74	c (26,0) x[3][17] = 17
225.42/38.74	c (26,0) x[3][18] = 6
225.42/38.74	c (26,0) x[3][19] = 29
225.42/38.74	c (26,0) x[3][20] = 0
225.42/38.74	c (26,0) x[3][21] = 28
225.42/38.74	c (26,0) x[3][22] = 4
225.42/38.74	c (26,0) x[3][23] = 24
225.42/38.74	c (26,0) x[3][24] = 11
225.42/38.74	c (26,0) x[3][25] = 16
225.42/38.74	c (26,0) x[3][26] = 8
225.42/38.74	c (26,0) x[3][27] = 27
225.42/38.74	c (26,0) x[3][28] = 22
225.42/38.74	c (26,0) x[3][29] = 25
225.42/38.74	c (26,0) x[4][0] = 0
225.42/38.74	c (26,0) x[4][1] = 25
225.42/38.74	c (26,0) x[4][2] = 16
225.42/38.74	c (26,0) x[4][3] = 22
225.42/38.74	c (26,0) x[4][4] = 12
225.42/38.74	c (26,0) x[4][5] = 28
225.42/38.74	c (26,0) x[4][6] = 13
225.42/38.74	c (26,0) x[4][7] = 3
225.42/38.74	c (26,0) x[4][8] = 18
225.42/38.74	c (26,0) x[4][9] = 4
225.42/38.74	c (26,0) x[4][10] = 24
225.42/38.74	c (26,0) x[4][11] = 21
225.42/38.74	c (26,0) x[4][12] = 6
225.42/38.74	c (26,0) x[4][13] = 19
225.42/38.74	c (26,0) x[4][14] = 27
225.42/38.74	c (26,0) x[4][15] = 9
225.42/38.74	c (26,0) x[4][16] = 29
225.42/38.74	c (26,0) x[4][17] = 14
225.42/38.74	c (26,0) x[4][18] = 1
225.42/38.74	c (26,0) x[4][19] = 10
225.42/38.74	c (26,0) x[4][20] = 23
225.42/38.74	c (26,0) x[4][21] = 26
225.42/38.74	c (26,0) x[4][22] = 11
225.42/38.74	c (26,0) x[4][23] = 17
225.42/38.74	c (26,0) x[4][24] = 15
225.42/38.74	c (26,0) x[4][25] = 20
225.42/38.74	c (26,0) x[4][26] = 5
225.42/38.74	c (26,0) x[4][27] = 8
225.42/38.74	c (26,0) x[4][28] = 2
225.42/38.74	c (26,0) x[4][29] = 7
225.42/38.74	c (26,0) x[5][0] = 14
225.42/38.74	c (26,0) x[5][1] = 5
225.42/38.74	c (26,0) x[5][2] = 28
225.42/38.74	c (26,0) x[5][3] = 9
225.42/38.74	c (26,0) x[5][4] = 18
225.42/38.74	c (26,0) x[5][5] = 29
225.42/38.74	c (26,0) x[5][6] = 1
225.42/38.74	c (26,0) x[5][7] = 2
225.42/38.74	c (26,0) x[5][8] = 17
225.42/38.74	c (26,0) x[5][9] = 11
225.42/38.74	c (26,0) x[5][10] = 8
225.42/38.74	c (26,0) x[5][11] = 13
225.42/38.74	c (26,0) x[5][12] = 19
225.42/38.74	c (26,0) x[5][13] = 16
225.42/38.74	c (26,0) x[5][14] = 21
225.42/38.74	c (26,0) x[5][15] = 0
225.42/38.74	c (26,0) x[5][16] = 27
225.42/38.74	c (26,0) x[5][17] = 10
225.42/38.74	c (26,0) x[5][18] = 24
225.42/38.74	c (26,0) x[5][19] = 20
225.42/38.74	c (26,0) x[5][20] = 3
225.42/38.74	c (26,0) x[5][21] = 4
225.42/38.74	c (26,0) x[5][22] = 6
225.42/38.74	c (26,0) x[5][23] = 23
225.42/38.74	c (26,0) x[5][24] = 26
225.42/38.74	c (26,0) x[5][25] = 15
225.42/38.74	c (26,0) x[5][26] = 12
225.42/38.74	c (26,0) x[5][27] = 25
225.42/38.74	c (26,0) x[5][28] = 7
225.42/38.74	c (26,0) x[5][29] = 22
225.42/38.74	c (26,0) x[6][0] = 26
225.42/38.74	c (26,0) x[6][1] = 28
225.42/38.74	c (26,0) x[6][2] = 6
225.42/38.74	c (26,0) x[6][3] = 10
225.42/38.74	c (26,0) x[6][4] = 1
225.42/38.74	c (26,0) x[6][5] = 4
225.42/38.74	c (26,0) x[6][6] = 16
225.42/38.74	c (26,0) x[6][7] = 7
225.42/38.74	c (26,0) x[6][8] = 9
225.42/38.74	c (26,0) x[6][9] = 0
225.42/38.74	c (26,0) x[6][10] = 25
225.42/38.74	c (26,0) x[6][11] = 20
225.42/38.74	c (26,0) x[6][12] = 8
225.42/38.74	c (26,0) x[6][13] = 22
225.42/38.74	c (26,0) x[6][14] = 24
225.42/38.74	c (26,0) x[6][15] = 19
225.42/38.74	c (26,0) x[6][16] = 3
225.42/38.74	c (26,0) x[6][17] = 23
225.42/38.74	c (26,0) x[6][18] = 21
225.42/38.74	c (26,0) x[6][19] = 5
225.42/38.74	c (26,0) x[6][20] = 15
225.42/38.74	c (26,0) x[6][21] = 17
225.42/38.74	c (26,0) x[6][22] = 2
225.42/38.74	c (26,0) x[6][23] = 13
225.42/38.74	c (26,0) x[6][24] = 29
225.42/38.74	c (26,0) x[6][25] = 11
225.42/38.74	c (26,0) x[6][26] = 18
225.42/38.74	c (26,0) x[6][27] = 12
225.42/38.74	c (26,0) x[6][28] = 27
225.42/38.74	c (26,0) x[6][29] = 14
225.42/38.74	c (26,0) x[7][0] = 17
225.42/38.74	c (26,0) x[7][1] = 26
225.42/38.74	c (26,0) x[7][2] = 24
225.42/38.74	c (26,0) x[7][3] = 3
225.42/38.74	c (26,0) x[7][4] = 16
225.42/38.74	c (26,0) x[7][5] = 7
225.42/38.74	c (26,0) x[7][6] = 4
225.42/38.74	c (26,0) x[7][7] = 1
225.42/38.74	c (26,0) x[7][8] = 21
225.42/38.74	c (26,0) x[7][9] = 13
225.42/38.74	c (26,0) x[7][10] = 22
225.42/38.74	c (26,0) x[7][11] = 8
225.42/38.74	c (26,0) x[7][12] = 20
225.42/38.74	c (26,0) x[7][13] = 25
225.42/38.74	c (26,0) x[7][14] = 19
225.42/38.74	c (26,0) x[7][15] = 12
225.42/38.74	c (26,0) x[7][16] = 0
225.42/38.74	c (26,0) x[7][17] = 15
225.42/38.74	c (26,0) x[7][18] = 29
225.42/38.74	c (26,0) x[7][19] = 18
225.42/38.74	c (26,0) x[7][20] = 14
225.42/38.74	c (26,0) x[7][21] = 9
225.42/38.74	c (26,0) x[7][22] = 28
225.42/38.74	c (26,0) x[7][23] = 2
225.42/38.74	c (26,0) x[7][24] = 27
225.42/38.74	c (26,0) x[7][25] = 23
225.42/38.74	c (26,0) x[7][26] = 10
225.42/38.74	c (26,0) x[7][27] = 6
225.42/38.74	c (26,0) x[7][28] = 5
225.42/38.74	c (26,0) x[7][29] = 11
225.42/38.74	c (26,0) x[8][0] = 5
225.42/38.74	c (26,0) x[8][1] = 23
225.42/38.74	c (26,0) x[8][2] = 20
225.42/38.74	c (26,0) x[8][3] = 18
225.42/38.74	c (26,0) x[8][4] = 21
225.42/38.74	c (26,0) x[8][5] = 8
225.42/38.74	c (26,0) x[8][6] = 6
225.42/38.74	c (26,0) x[8][7] = 11
225.42/38.74	c (26,0) x[8][8] = 22
225.42/38.74	c (26,0) x[8][9] = 16
225.42/38.74	c (26,0) x[8][10] = 17
225.42/38.74	c (26,0) x[8][11] = 25
225.42/38.74	c (26,0) x[8][12] = 15
225.42/38.74	c (26,0) x[8][13] = 13
225.42/38.74	c (26,0) x[8][14] = 1
225.42/38.74	c (26,0) x[8][15] = 2
225.42/38.74	c (26,0) x[8][16] = 14
225.42/38.74	c (26,0) x[8][17] = 26
225.42/38.74	c (26,0) x[8][18] = 3
225.42/38.74	c (26,0) x[8][19] = 9
225.42/38.74	c (26,0) x[8][20] = 29
225.42/38.74	c (26,0) x[8][21] = 12
225.42/38.74	c (26,0) x[8][22] = 27
225.42/38.74	c (26,0) x[8][23] = 10
225.42/38.74	c (26,0) x[8][24] = 24
225.42/38.74	c (26,0) x[8][25] = 28
225.42/38.74	c (26,0) x[8][26] = 4
225.42/38.74	c (26,0) x[8][27] = 7
225.42/38.74	c (26,0) x[8][28] = 0
225.42/38.74	c (26,0) x[8][29] = 19
225.42/38.74	c (26,0) x[9][0] = 22
225.42/38.74	c (26,0) x[9][1] = 0
225.42/38.74	c (26,0) x[9][2] = 2
225.42/38.74	c (26,0) x[9][3] = 5
225.42/38.74	c (26,0) x[9][4] = 8
225.42/38.74	c (26,0) x[9][5] = 27
225.42/38.74	c (26,0) x[9][6] = 14
225.42/38.74	c (26,0) x[9][7] = 13
225.42/38.74	c (26,0) x[9][8] = 10
225.42/38.74	c (26,0) x[9][9] = 28
225.42/38.74	c (26,0) x[9][10] = 16
225.42/38.74	c (26,0) x[9][11] = 4
225.42/38.74	c (26,0) x[9][12] = 24
225.42/38.74	c (26,0) x[9][13] = 7
225.42/38.74	c (26,0) x[9][14] = 11
225.42/38.74	c (26,0) x[9][15] = 6
225.42/38.74	c (26,0) x[9][16] = 15
225.42/38.74	c (26,0) x[9][17] = 25
225.42/38.74	c (26,0) x[9][18] = 26
225.42/38.74	c (26,0) x[9][19] = 23
225.42/38.74	c (26,0) x[9][20] = 20
225.42/38.74	c (26,0) x[9][21] = 29
225.42/38.74	c (26,0) x[9][22] = 17
225.42/38.74	c (26,0) x[9][23] = 12
225.42/38.74	c (26,0) x[9][24] = 18
225.42/38.74	c (26,0) x[9][25] = 21
225.42/38.74	c (26,0) x[9][26] = 3
225.42/38.74	c (26,0) x[9][27] = 1
225.42/38.74	c (26,0) x[9][28] = 19
225.42/38.74	c (26,0) x[9][29] = 9
225.42/38.74	c (26,0) x[10][0] = 11
225.42/38.74	c (26,0) x[10][1] = 14
225.42/38.74	c (26,0) x[10][2] = 7
225.42/38.74	c (26,0) x[10][3] = 0
225.42/38.74	c (26,0) x[10][4] = 26
225.42/38.74	c (26,0) x[10][5] = 13
225.42/38.74	c (26,0) x[10][6] = 12
225.42/38.74	c (26,0) x[10][7] = 23
225.42/38.74	c (26,0) x[10][8] = 1
225.42/38.74	c (26,0) x[10][9] = 25
225.42/38.74	c (26,0) x[10][10] = 10
225.42/38.74	c (26,0) x[10][11] = 27
225.42/38.74	c (26,0) x[10][12] = 9
225.42/38.74	c (26,0) x[10][13] = 3
225.42/38.74	c (26,0) x[10][14] = 20
225.42/38.74	c (26,0) x[10][15] = 15
225.42/38.74	c (26,0) x[10][16] = 16
225.42/38.74	c (26,0) x[10][17] = 29
225.42/38.74	c (26,0) x[10][18] = 19
225.42/38.74	c (26,0) x[10][19] = 24
225.42/38.74	c (26,0) x[10][20] = 4
225.42/38.74	c (26,0) x[10][21] = 2
225.42/38.74	c (26,0) x[10][22] = 18
225.42/38.74	c (26,0) x[10][23] = 5
225.42/38.74	c (26,0) x[10][24] = 28
225.42/38.74	c (26,0) x[10][25] = 8
225.42/38.74	c (26,0) x[10][26] = 22
225.42/38.74	c (26,0) x[10][27] = 17
225.42/38.74	c (26,0) x[10][28] = 6
225.42/38.74	c (26,0) x[10][29] = 21
225.42/38.74	c (26,0) x[11][0] = 25
225.42/38.74	c (26,0) x[11][1] = 6
225.42/38.74	c (26,0) x[11][2] = 3
225.42/38.74	c (26,0) x[11][3] = 21
225.42/38.74	c (26,0) x[11][4] = 15
225.42/38.74	c (26,0) x[11][5] = 24
225.42/38.74	c (26,0) x[11][6] = 5
225.42/38.74	c (26,0) x[11][7] = 26
225.42/38.74	c (26,0) x[11][8] = 28
225.42/38.74	c (26,0) x[11][9] = 19
225.42/38.74	c (26,0) x[11][10] = 2
225.42/38.74	c (26,0) x[11][11] = 14
225.42/38.74	c (26,0) x[11][12] = 17
225.42/38.74	c (26,0) x[11][13] = 9
225.42/38.74	c (26,0) x[11][14] = 29
225.42/38.74	c (26,0) x[11][15] = 4
225.42/38.74	c (26,0) x[11][16] = 12
225.42/38.74	c (26,0) x[11][17] = 11
225.42/38.74	c (26,0) x[11][18] = 18
225.42/38.74	c (26,0) x[11][19] = 8
225.42/38.74	c (26,0) x[11][20] = 22
225.42/38.74	c (26,0) x[11][21] = 13
225.42/38.74	c (26,0) x[11][22] = 23
225.42/38.74	c (26,0) x[11][23] = 16
225.42/38.74	c (26,0) x[11][24] = 7
225.42/38.74	c (26,0) x[11][25] = 27
225.42/38.74	c (26,0) x[11][26] = 1
225.42/38.74	c (26,0) x[11][27] = 0
225.42/38.74	c (26,0) x[11][28] = 20
225.42/38.74	c (26,0) x[11][29] = 10
225.42/38.74	c (26,0) x[12][0] = 4
225.42/38.74	c (26,0) x[12][1] = 12
225.42/38.74	c (26,0) x[12][2] = 27
225.42/38.74	c (26,0) x[12][3] = 26
225.42/38.74	c (26,0) x[12][4] = 10
225.42/38.74	c (26,0) x[12][5] = 21
225.42/38.74	c (26,0) x[12][6] = 24
225.42/38.74	c (26,0) x[12][7] = 25
225.42/38.74	c (26,0) x[12][8] = 16
225.42/38.74	c (26,0) x[12][9] = 6
225.42/38.74	c (26,0) x[12][10] = 23
225.42/38.74	c (26,0) x[12][11] = 29
225.42/38.74	c (26,0) x[12][12] = 1
225.42/38.74	c (26,0) x[12][13] = 15
225.42/38.74	c (26,0) x[12][14] = 14
225.42/38.74	c (26,0) x[12][15] = 11
225.42/38.74	c (26,0) x[12][16] = 20
225.42/38.74	c (26,0) x[12][17] = 19
225.42/38.74	c (26,0) x[12][18] = 0
225.42/38.74	c (26,0) x[12][19] = 13
225.42/38.74	c (26,0) x[12][20] = 17
225.42/38.74	c (26,0) x[12][21] = 5
225.42/38.74	c (26,0) x[12][22] = 22
225.42/38.74	c (26,0) x[12][23] = 9
225.42/38.74	c (26,0) x[12][24] = 3
225.42/38.74	c (26,0) x[12][25] = 18
225.42/38.74	c (26,0) x[12][26] = 7
225.42/38.74	c (26,0) x[12][27] = 2
225.42/38.74	c (26,0) x[12][28] = 28
225.42/38.74	c (26,0) x[12][29] = 8
225.42/38.74	c (26,0) x[13][0] = 6
225.42/38.74	c (26,0) x[13][1] = 15
225.42/38.74	c (26,0) x[13][2] = 25
225.42/38.74	c (26,0) x[13][3] = 27
225.42/38.74	c (26,0) x[13][4] = 24
225.42/38.74	c (26,0) x[13][5] = 20
225.42/38.74	c (26,0) x[13][6] = 17
225.42/38.74	c (26,0) x[13][7] = 16
225.42/38.74	c (26,0) x[13][8] = 11
225.42/38.74	c (26,0) x[13][9] = 14
225.42/38.74	c (26,0) x[13][10] = 3
225.42/38.74	c (26,0) x[13][11] = 22
225.42/38.74	c (26,0) x[13][12] = 12
225.42/38.74	c (26,0) x[13][13] = 2
225.42/38.74	c (26,0) x[13][14] = 5
225.42/38.74	c (26,0) x[13][15] = 18
225.42/38.74	c (26,0) x[13][16] = 28
225.42/38.74	c (26,0) x[13][17] = 13
225.42/38.74	c (26,0) x[13][18] = 7
225.42/38.74	c (26,0) x[13][19] = 4
225.42/38.74	c (26,0) x[13][20] = 8
225.42/38.74	c (26,0) x[13][21] = 21
225.42/38.74	c (26,0) x[13][22] = 1
225.42/38.74	c (26,0) x[13][23] = 19
225.42/38.74	c (26,0) x[13][24] = 10
225.42/38.74	c (26,0) x[13][25] = 0
225.42/38.74	c (26,0) x[13][26] = 23
225.42/38.74	c (26,0) x[13][27] = 29
225.42/38.74	c (26,0) x[13][28] = 9
225.42/38.74	c (26,0) x[13][29] = 26
225.42/38.74	c (26,0) x[14][0] = 20
225.42/38.74	c (26,0) x[14][1] = 4
225.42/38.74	c (26,0) x[14][2] = 8
225.42/38.74	c (26,0) x[14][3] = 24
225.42/38.74	c (26,0) x[14][4] = 27
225.42/38.74	c (26,0) x[14][5] = 6
225.42/38.75	c (26,0) x[14][6] = 7
225.42/38.75	c (26,0) x[14][7] = 19
225.42/38.75	c (26,0) x[14][8] = 23
225.42/38.75	c (26,0) x[14][9] = 15
225.42/38.75	c (26,0) x[14][10] = 1
225.42/38.75	c (26,0) x[14][11] = 2
225.42/38.75	c (26,0) x[14][12] = 11
225.42/38.75	c (26,0) x[14][13] = 21
225.42/38.75	c (26,0) x[14][14] = 22
225.42/38.75	c (26,0) x[14][15] = 28
225.42/38.75	c (26,0) x[14][16] = 13
225.42/38.75	c (26,0) x[14][17] = 3
225.42/38.75	c (26,0) x[14][18] = 9
225.42/38.75	c (26,0) x[14][19] = 16
225.42/38.75	c (26,0) x[14][20] = 26
225.42/38.75	c (26,0) x[14][21] = 18
225.42/38.75	c (26,0) x[14][22] = 10
225.42/38.75	c (26,0) x[14][23] = 25
225.42/38.75	c (26,0) x[14][24] = 12
225.42/38.75	c (26,0) x[14][25] = 14
225.42/38.75	c (26,0) x[14][26] = 0
225.42/38.75	c (26,0) x[14][27] = 5
225.42/38.75	c (26,0) x[14][28] = 17
225.42/38.75	c (26,0) x[14][29] = 29
225.42/38.75	c (26,0) x[15][0] = 29
225.42/38.75	c (26,0) x[15][1] = 7
225.42/38.75	c (26,0) x[15][2] = 17
225.42/38.75	c (26,0) x[15][3] = 8
225.42/38.75	c (26,0) x[15][4] = 4
225.42/38.75	c (26,0) x[15][5] = 5
225.42/38.75	c (26,0) x[15][6] = 15
225.42/38.75	c (26,0) x[15][7] = 9
225.42/38.75	c (26,0) x[15][8] = 24
225.42/38.75	c (26,0) x[15][9] = 23
225.42/38.75	c (26,0) x[15][10] = 11
225.42/38.75	c (26,0) x[15][11] = 12
225.42/38.75	c (26,0) x[15][12] = 14
225.42/38.75	c (26,0) x[15][13] = 27
225.42/38.75	c (26,0) x[15][14] = 28
225.42/38.75	c (26,0) x[15][15] = 13
225.42/38.75	c (26,0) x[15][16] = 21
225.42/38.75	c (26,0) x[15][17] = 1
225.42/38.75	c (26,0) x[15][18] = 10
225.42/38.75	c (26,0) x[15][19] = 19
225.42/38.75	c (26,0) x[15][20] = 25
225.42/38.75	c (26,0) x[15][21] = 6
225.42/38.75	c (26,0) x[15][22] = 0
225.42/38.75	c (26,0) x[15][23] = 26
225.42/38.75	c (26,0) x[15][24] = 2
225.42/38.75	c (26,0) x[15][25] = 22
225.42/38.75	c (26,0) x[15][26] = 20
225.42/38.75	c (26,0) x[15][27] = 18
225.42/38.75	c (26,0) x[15][28] = 16
225.42/38.75	c (26,0) x[15][29] = 3
225.42/38.75	c (26,0) x[16][0] = 7
225.42/38.75	c (26,0) x[16][1] = 9
225.42/38.75	c (26,0) x[16][2] = 1
225.42/38.75	c (26,0) x[16][3] = 14
225.42/38.75	c (26,0) x[16][4] = 20
225.42/38.75	c (26,0) x[16][5] = 15
225.42/38.75	c (26,0) x[16][6] = 29
225.42/38.75	c (26,0) x[16][7] = 27
225.42/38.75	c (26,0) x[16][8] = 19
225.42/38.75	c (26,0) x[16][9] = 17
225.42/38.75	c (26,0) x[16][10] = 12
225.42/38.75	c (26,0) x[16][11] = 28
225.42/38.75	c (26,0) x[16][12] = 5
225.42/38.75	c (26,0) x[16][13] = 10
225.42/38.75	c (26,0) x[16][14] = 8
225.42/38.75	c (26,0) x[16][15] = 22
225.42/38.75	c (26,0) x[16][16] = 25
225.42/38.75	c (26,0) x[16][17] = 24
225.42/38.75	c (26,0) x[16][18] = 2
225.42/38.75	c (26,0) x[16][19] = 0
225.42/38.75	c (26,0) x[16][20] = 18
225.42/38.75	c (26,0) x[16][21] = 16
225.42/38.75	c (26,0) x[16][22] = 26
225.42/38.75	c (26,0) x[16][23] = 11
225.42/38.75	c (26,0) x[16][24] = 4
225.42/38.75	c (26,0) x[16][25] = 13
225.42/38.75	c (26,0) x[16][26] = 21
225.42/38.75	c (26,0) x[16][27] = 3
225.42/38.75	c (26,0) x[16][28] = 23
225.42/38.75	c (26,0) x[16][29] = 6
225.42/38.75	c (26,0) x[17][0] = 24
225.42/38.75	c (26,0) x[17][1] = 22
225.42/38.75	c (26,0) x[17][2] = 13
225.42/38.75	c (26,0) x[17][3] = 1
225.42/38.75	c (26,0) x[17][4] = 11
225.42/38.75	c (26,0) x[17][5] = 0
225.42/38.75	c (26,0) x[17][6] = 21
225.42/38.75	c (26,0) x[17][7] = 6
225.42/38.75	c (26,0) x[17][8] = 25
225.42/38.75	c (26,0) x[17][9] = 29
225.42/38.75	c (26,0) x[17][10] = 28
225.42/38.75	c (26,0) x[17][11] = 10
225.42/38.75	c (26,0) x[17][12] = 26
225.42/38.75	c (26,0) x[17][13] = 20
225.42/38.75	c (26,0) x[17][14] = 23
225.42/38.75	c (26,0) x[17][15] = 8
225.42/38.75	c (26,0) x[17][16] = 19
225.42/38.75	c (26,0) x[17][17] = 5
225.42/38.75	c (26,0) x[17][18] = 4
225.42/38.75	c (26,0) x[17][19] = 27
225.42/38.75	c (26,0) x[17][20] = 2
225.42/38.75	c (26,0) x[17][21] = 15
225.42/38.75	c (26,0) x[17][22] = 7
225.42/38.75	c (26,0) x[17][23] = 14
225.42/38.75	c (26,0) x[17][24] = 17
225.42/38.75	c (26,0) x[17][25] = 12
225.42/38.75	c (26,0) x[17][26] = 16
225.42/38.75	c (26,0) x[17][27] = 9
225.42/38.75	c (26,0) x[17][28] = 3
225.42/38.75	c (26,0) x[17][29] = 18
225.42/38.75	c (26,0) x[18][0] = 8
225.42/38.75	c (26,0) x[18][1] = 17
225.42/38.75	c (26,0) x[18][2] = 5
225.42/38.75	c (26,0) x[18][3] = 4
225.42/38.75	c (26,0) x[18][4] = 23
225.42/38.75	c (26,0) x[18][5] = 25
225.42/38.75	c (26,0) x[18][6] = 28
225.42/38.75	c (26,0) x[18][7] = 20
225.42/38.75	c (26,0) x[18][8] = 12
225.42/38.75	c (26,0) x[18][9] = 2
225.42/38.75	c (26,0) x[18][10] = 19
225.42/38.75	c (26,0) x[18][11] = 24
225.42/38.75	c (26,0) x[18][12] = 29
225.42/38.75	c (26,0) x[18][13] = 26
225.42/38.75	c (26,0) x[18][14] = 9
225.42/38.75	c (26,0) x[18][15] = 27
225.42/38.75	c (26,0) x[18][16] = 22
225.42/38.75	c (26,0) x[18][17] = 6
225.42/38.75	c (26,0) x[18][18] = 15
225.42/38.75	c (26,0) x[18][19] = 11
225.42/38.75	c (26,0) x[18][20] = 7
225.42/38.75	c (26,0) x[18][21] = 10
225.42/38.75	c (26,0) x[18][22] = 14
225.42/38.75	c (26,0) x[18][23] = 1
225.42/38.75	c (26,0) x[18][24] = 0
225.42/38.75	c (26,0) x[18][25] = 3
225.42/38.75	c (26,0) x[18][26] = 13
225.42/38.75	c (26,0) x[18][27] = 21
225.42/38.75	c (26,0) x[18][28] = 18
225.42/38.75	c (26,0) x[18][29] = 16
225.42/38.75	c (26,0) x[19][0] = 3
225.42/38.75	c (26,0) x[19][1] = 8
225.42/38.75	c (26,0) x[19][2] = 11
225.42/38.75	c (26,0) x[19][3] = 13
225.42/38.75	c (26,0) x[19][4] = 17
225.42/38.75	c (26,0) x[19][5] = 22
225.42/38.75	c (26,0) x[19][6] = 0
225.42/38.75	c (26,0) x[19][7] = 29
225.42/38.75	c (26,0) x[19][8] = 14
225.42/38.75	c (26,0) x[19][9] = 24
225.42/38.75	c (26,0) x[19][10] = 7
225.42/38.75	c (26,0) x[19][11] = 18
225.42/38.75	c (26,0) x[19][12] = 27
225.42/38.75	c (26,0) x[19][13] = 6
225.42/38.75	c (26,0) x[19][14] = 2
225.42/38.75	c (26,0) x[19][15] = 25
225.42/38.75	c (26,0) x[19][16] = 9
225.42/38.75	c (26,0) x[19][17] = 4
225.42/38.75	c (26,0) x[19][18] = 28
225.42/38.75	c (26,0) x[19][19] = 21
225.42/38.75	c (26,0) x[19][20] = 16
225.42/38.75	c (26,0) x[19][21] = 20
225.42/38.75	c (26,0) x[19][22] = 12
225.42/38.75	c (26,0) x[19][23] = 15
225.42/38.75	c (26,0) x[19][24] = 19
225.42/38.75	c (26,0) x[19][25] = 1
225.42/38.75	c (26,0) x[19][26] = 26
225.42/38.75	c (26,0) x[19][27] = 23
225.42/38.75	c (26,0) x[19][28] = 10
225.42/38.75	c (26,0) x[19][29] = 5
225.42/38.75	c (26,0) x[20][0] = 15
225.42/38.75	c (26,0) x[20][1] = 11
225.42/38.75	c (26,0) x[20][2] = 21
225.42/38.75	c (26,0) x[20][3] = 19
225.42/38.75	c (26,0) x[20][4] = 13
225.42/38.75	c (26,0) x[20][5] = 23
225.42/38.75	c (26,0) x[20][6] = 18
225.42/38.75	c (26,0) x[20][7] = 4
225.42/38.75	c (26,0) x[20][8] = 2
225.42/38.75	c (26,0) x[20][9] = 27
225.42/38.75	c (26,0) x[20][10] = 6
225.42/38.75	c (26,0) x[20][11] = 3
225.42/38.75	c (26,0) x[20][12] = 28
225.42/38.75	c (26,0) x[20][13] = 17
225.42/38.75	c (26,0) x[20][14] = 12
225.42/38.75	c (26,0) x[20][15] = 7
225.42/38.75	c (26,0) x[20][16] = 10
225.42/38.75	c (26,0) x[20][17] = 0
225.42/38.75	c (26,0) x[20][18] = 25
225.42/38.75	c (26,0) x[20][19] = 14
225.42/38.75	c (26,0) x[20][20] = 5
225.42/38.75	c (26,0) x[20][21] = 1
225.42/38.75	c (26,0) x[20][22] = 16
225.42/38.75	c (26,0) x[20][23] = 22
225.42/38.75	c (26,0) x[20][24] = 8
225.42/38.75	c (26,0) x[20][25] = 9
225.42/38.75	c (26,0) x[20][26] = 24
225.42/38.75	c (26,0) x[20][27] = 26
225.42/38.75	c (26,0) x[20][28] = 29
225.42/38.75	c (26,0) x[20][29] = 20
225.42/38.75	c (26,0) x[21][0] = 28
225.42/38.75	c (26,0) x[21][1] = 1
225.42/38.75	c (26,0) x[21][2] = 4
225.42/38.75	c (26,0) x[21][3] = 23
225.42/38.75	c (26,0) x[21][4] = 7
225.42/38.75	c (26,0) x[21][5] = 16
225.42/38.75	c (26,0) x[21][6] = 26
225.42/38.75	c (26,0) x[21][7] = 10
225.42/38.75	c (26,0) x[21][8] = 6
225.42/38.75	c (26,0) x[21][9] = 20
225.42/38.75	c (26,0) x[21][10] = 9
225.42/38.75	c (26,0) x[21][11] = 11
225.42/38.75	c (26,0) x[21][12] = 0
225.42/38.75	c (26,0) x[21][13] = 29
225.42/38.75	c (26,0) x[21][14] = 3
225.42/38.75	c (26,0) x[21][15] = 17
225.42/38.75	c (26,0) x[21][16] = 5
225.42/38.75	c (26,0) x[21][17] = 22
225.42/38.75	c (26,0) x[21][18] = 27
225.42/38.75	c (26,0) x[21][19] = 2
225.42/38.75	c (26,0) x[21][20] = 21
225.42/38.75	c (26,0) x[21][21] = 24
225.42/38.75	c (26,0) x[21][22] = 8
225.42/38.75	c (26,0) x[21][23] = 18
225.42/38.75	c (26,0) x[21][24] = 25
225.42/38.75	c (26,0) x[21][25] = 19
225.42/38.75	c (26,0) x[21][26] = 14
225.42/38.75	c (26,0) x[21][27] = 15
225.42/38.75	c (26,0) x[21][28] = 12
225.42/38.75	c (26,0) x[21][29] = 13
225.42/38.75	c (26,0) x[22][0] = 1
225.42/38.75	c (26,0) x[22][1] = 10
225.42/38.75	c (26,0) x[22][2] = 29
225.42/38.75	c (26,0) x[22][3] = 11
225.42/38.75	c (26,0) x[22][4] = 28
225.42/38.75	c (26,0) x[22][5] = 9
225.42/38.75	c (26,0) x[22][6] = 19
225.42/38.75	c (26,0) x[22][7] = 17
225.42/38.75	c (26,0) x[22][8] = 15
225.42/38.75	c (26,0) x[22][9] = 3
225.42/38.75	c (26,0) x[22][10] = 21
225.42/38.75	c (26,0) x[22][11] = 5
225.42/38.75	c (26,0) x[22][12] = 25
225.42/38.75	c (26,0) x[22][13] = 4
225.42/38.75	c (26,0) x[22][14] = 16
225.42/38.75	c (26,0) x[22][15] = 14
225.42/38.75	c (26,0) x[22][16] = 18
225.42/38.75	c (26,0) x[22][17] = 27
225.42/38.75	c (26,0) x[22][18] = 20
225.42/38.75	c (26,0) x[22][19] = 26
225.42/38.75	c (26,0) x[22][20] = 6
225.42/38.75	c (26,0) x[22][21] = 7
225.42/38.75	c (26,0) x[22][22] = 13
225.42/38.75	c (26,0) x[22][23] = 0
225.42/38.75	c (26,0) x[22][24] = 23
225.42/38.75	c (26,0) x[22][25] = 24
225.42/38.75	c (26,0) x[22][26] = 2
225.42/38.75	c (26,0) x[22][27] = 22
225.42/38.75	c (26,0) x[22][28] = 8
225.42/38.75	c (26,0) x[22][29] = 12
225.42/38.75	c (26,0) x[23][0] = 12
225.42/38.75	c (26,0) x[23][1] = 3
225.42/38.75	c (26,0) x[23][2] = 0
225.42/38.75	c (26,0) x[23][3] = 2
225.42/38.75	c (26,0) x[23][4] = 5
225.42/38.75	c (26,0) x[23][5] = 18
225.42/38.75	c (26,0) x[23][6] = 10
225.42/38.75	c (26,0) x[23][7] = 21
225.42/38.75	c (26,0) x[23][8] = 8
225.42/38.75	c (26,0) x[23][9] = 7
225.42/38.75	c (26,0) x[23][10] = 15
225.42/38.75	c (26,0) x[23][11] = 19
225.42/38.75	c (26,0) x[23][12] = 16
225.42/38.75	c (26,0) x[23][13] = 24
225.42/38.75	c (26,0) x[23][14] = 13
225.42/38.75	c (26,0) x[23][15] = 23
225.42/38.75	c (26,0) x[23][16] = 4
225.42/38.75	c (26,0) x[23][17] = 28
225.42/38.75	c (26,0) x[23][18] = 14
225.42/38.75	c (26,0) x[23][19] = 1
225.42/38.75	c (26,0) x[23][20] = 27
225.42/38.75	c (26,0) x[23][21] = 22
225.42/38.75	c (26,0) x[23][22] = 29
225.42/38.75	c (26,0) x[23][23] = 20
225.42/38.75	c (26,0) x[23][24] = 9
225.42/38.75	c (26,0) x[23][25] = 6
225.42/38.75	c (26,0) x[23][26] = 25
225.42/38.75	c (26,0) x[23][27] = 11
225.42/38.75	c (26,0) x[23][28] = 26
225.42/38.75	c (26,0) x[23][29] = 17
225.42/38.75	c (26,0) x[24][0] = 16
225.42/38.75	c (26,0) x[24][1] = 24
225.42/38.75	c (26,0) x[24][2] = 23
225.42/38.75	c (26,0) x[24][3] = 29
225.42/38.75	c (26,0) x[24][4] = 2
225.42/38.75	c (26,0) x[24][5] = 14
225.42/38.75	c (26,0) x[24][6] = 8
225.42/38.75	c (26,0) x[24][7] = 15
225.42/38.75	c (26,0) x[24][8] = 4
225.42/38.75	c (26,0) x[24][9] = 1
225.42/38.75	c (26,0) x[24][10] = 20
225.42/38.75	c (26,0) x[24][11] = 26
225.42/38.75	c (26,0) x[24][12] = 22
225.42/38.75	c (26,0) x[24][13] = 0
225.42/38.75	c (26,0) x[24][14] = 7
225.42/38.75	c (26,0) x[24][15] = 5
225.42/38.75	c (26,0) x[24][16] = 17
225.42/38.75	c (26,0) x[24][17] = 18
225.42/38.75	c (26,0) x[24][18] = 12
225.42/38.75	c (26,0) x[24][19] = 3
225.42/38.75	c (26,0) x[24][20] = 10
225.42/38.75	c (26,0) x[24][21] = 11
225.42/38.75	c (26,0) x[24][22] = 9
225.42/38.75	c (26,0) x[24][23] = 21
225.42/38.75	c (26,0) x[24][24] = 6
225.42/38.75	c (26,0) x[24][25] = 25
225.42/38.75	c (26,0) x[24][26] = 19
225.42/38.75	c (26,0) x[24][27] = 28
225.42/38.75	c (26,0) x[24][28] = 13
225.42/38.75	c (26,0) x[24][29] = 27
225.42/38.75	c (26,0) x[25][0] = 21
225.42/38.75	c (26,0) x[25][1] = 20
225.42/38.75	c (26,0) x[25][2] = 18
225.42/38.75	c (26,0) x[25][3] = 28
225.42/38.75	c (26,0) x[25][4] = 25
225.42/38.75	c (26,0) x[25][5] = 1
225.42/38.75	c (26,0) x[25][6] = 11
225.42/38.75	c (26,0) x[25][7] = 12
225.42/38.75	c (26,0) x[25][8] = 7
225.42/38.75	c (26,0) x[25][9] = 22
225.42/38.75	c (26,0) x[25][10] = 29
225.42/38.75	c (26,0) x[25][11] = 15
225.42/38.75	c (26,0) x[25][12] = 10
225.42/38.75	c (26,0) x[25][13] = 23
225.42/38.75	c (26,0) x[25][14] = 0
225.42/38.75	c (26,0) x[25][15] = 16
225.42/38.75	c (26,0) x[25][16] = 2
225.42/38.75	c (26,0) x[25][17] = 9
225.42/38.75	c (26,0) x[25][18] = 5
225.42/38.75	c (26,0) x[25][19] = 6
225.42/38.75	c (26,0) x[25][20] = 19
225.42/38.75	c (26,0) x[25][21] = 8
225.42/38.75	c (26,0) x[25][22] = 3
225.42/38.75	c (26,0) x[25][23] = 27
225.42/38.75	c (26,0) x[25][24] = 13
225.42/38.75	c (26,0) x[25][25] = 26
225.42/38.75	c (26,0) x[25][26] = 17
225.42/38.75	c (26,0) x[25][27] = 14
225.42/38.75	c (26,0) x[25][28] = 4
225.42/38.75	c (26,0) x[25][29] = 24
225.42/38.75	c (26,0) x[26][0] = 23
225.42/38.75	c (26,0) x[26][1] = 29
225.42/38.75	c (26,0) x[26][2] = 19
225.42/38.75	c (26,0) x[26][3] = 25
225.42/38.75	c (26,0) x[26][4] = 22
225.42/38.75	c (26,0) x[26][5] = 2
225.42/38.75	c (26,0) x[26][6] = 9
225.42/38.75	c (26,0) x[26][7] = 28
225.42/38.75	c (26,0) x[26][8] = 26
225.42/38.75	c (26,0) x[26][9] = 18
225.42/38.75	c (26,0) x[26][10] = 0
225.42/38.75	c (26,0) x[26][11] = 1
225.42/38.75	c (26,0) x[26][12] = 3
225.42/38.75	c (26,0) x[26][13] = 8
225.42/38.75	c (26,0) x[26][14] = 6
225.42/38.75	c (26,0) x[26][15] = 21
225.42/38.75	c (26,0) x[26][16] = 11
225.42/38.75	c (26,0) x[26][17] = 20
225.42/38.75	c (26,0) x[26][18] = 13
225.42/38.75	c (26,0) x[26][19] = 17
225.42/38.75	c (26,0) x[26][20] = 12
225.42/38.75	c (26,0) x[26][21] = 27
225.42/38.75	c (26,0) x[26][22] = 24
225.42/38.75	c (26,0) x[26][23] = 7
225.42/38.75	c (26,0) x[26][24] = 5
225.42/38.75	c (26,0) x[26][25] = 10
225.42/38.75	c (26,0) x[26][26] = 15
225.42/38.75	c (26,0) x[26][27] = 16
225.42/38.75	c (26,0) x[26][28] = 14
225.42/38.75	c (26,0) x[26][29] = 4
225.42/38.75	c (26,0) x[27][0] = 13
225.42/38.75	c (26,0) x[27][1] = 18
225.42/38.75	c (26,0) x[27][2] = 26
225.42/38.75	c (26,0) x[27][3] = 16
225.42/38.75	c (26,0) x[27][4] = 6
225.42/38.75	c (26,0) x[27][5] = 10
225.42/38.75	c (26,0) x[27][6] = 23
225.42/38.75	c (26,0) x[27][7] = 22
225.42/38.75	c (26,0) x[27][8] = 3
225.42/38.75	c (26,0) x[27][9] = 12
225.42/38.75	c (26,0) x[27][10] = 27
225.42/38.75	c (26,0) x[27][11] = 9
225.42/38.75	c (26,0) x[27][12] = 7
225.42/38.75	c (26,0) x[27][13] = 14
225.42/38.75	c (26,0) x[27][14] = 25
225.42/38.75	c (26,0) x[27][15] = 29
225.42/38.75	c (26,0) x[27][16] = 8
225.42/38.75	c (26,0) x[27][17] = 2
225.42/38.75	c (26,0) x[27][18] = 17
225.42/38.75	c (26,0) x[27][19] = 15
225.42/38.75	c (26,0) x[27][20] = 24
225.42/38.75	c (26,0) x[27][21] = 0
225.42/38.75	c (26,0) x[27][22] = 20
225.42/38.75	c (26,0) x[27][23] = 4
225.42/38.75	c (26,0) x[27][24] = 21
225.42/38.75	c (26,0) x[27][25] = 5
225.42/38.75	c (26,0) x[27][26] = 28
225.42/38.75	c (26,0) x[27][27] = 19
225.42/38.75	c (26,0) x[27][28] = 11
225.42/38.75	c (26,0) x[27][29] = 1
225.42/38.75	c (26,0) x[28][0] = 19
225.42/38.75	c (26,0) x[28][1] = 16
225.42/38.75	c (26,0) x[28][2] = 15
225.42/38.75	c (26,0) x[28][3] = 17
225.42/38.75	c (26,0) x[28][4] = 14
225.42/38.75	c (26,0) x[28][5] = 11
225.42/38.75	c (26,0) x[28][6] = 27
225.42/38.75	c (26,0) x[28][7] = 5
225.42/38.75	c (26,0) x[28][8] = 0
225.42/38.75	c (26,0) x[28][9] = 26
225.42/38.75	c (26,0) x[28][10] = 18
225.42/38.75	c (26,0) x[28][11] = 7
225.42/38.75	c (26,0) x[28][12] = 13
225.42/38.75	c (26,0) x[28][13] = 28
225.42/38.75	c (26,0) x[28][14] = 4
225.42/38.75	c (26,0) x[28][15] = 20
225.42/38.75	c (26,0) x[28][16] = 24
225.42/38.75	c (26,0) x[28][17] = 12
225.42/38.75	c (26,0) x[28][18] = 8
225.42/38.75	c (26,0) x[28][19] = 22
225.42/38.75	c (26,0) x[28][20] = 9
225.42/38.75	c (26,0) x[28][21] = 3
225.42/38.75	c (26,0) x[28][22] = 25
225.42/38.75	c (26,0) x[28][23] = 6
225.42/38.75	c (26,0) x[28][24] = 1
225.42/38.75	c (26,0) x[28][25] = 2
225.42/38.75	c (26,0) x[28][26] = 29
225.42/38.75	c (26,0) x[28][27] = 10
225.42/38.75	c (26,0) x[28][28] = 21
225.42/38.75	c (26,0) x[28][29] = 23
225.42/38.75	c (26,0) x[29][0] = 9
225.42/38.75	c (26,0) x[29][1] = 27
225.42/38.75	c (26,0) x[29][2] = 14
225.42/38.75	c (26,0) x[29][3] = 7
225.42/38.75	c (26,0) x[29][4] = 3
225.42/38.75	c (26,0) x[29][5] = 12
225.42/38.75	c (26,0) x[29][6] = 25
225.42/38.75	c (26,0) x[29][7] = 0
225.42/38.75	c (26,0) x[29][8] = 20
225.42/38.75	c (26,0) x[29][9] = 8
225.42/38.75	c (26,0) x[29][10] = 4
225.42/38.75	c (26,0) x[29][11] = 6
225.42/38.75	c (26,0) x[29][12] = 2
225.42/38.75	c (26,0) x[29][13] = 18
225.42/38.75	c (26,0) x[29][14] = 10
225.42/38.75	c (26,0) x[29][15] = 26
225.42/38.75	c (26,0) x[29][16] = 23
225.42/38.75	c (26,0) x[29][17] = 21
225.42/38.75	c (26,0) x[29][18] = 22
225.42/38.75	c (26,0) x[29][19] = 28
225.42/38.75	c (26,0) x[29][20] = 13
225.42/38.75	c (26,0) x[29][21] = 19
225.42/38.75	c (26,0) x[29][22] = 5
225.42/38.75	c (26,0) x[29][23] = 29
225.42/38.75	c (26,0) x[29][24] = 16
225.42/38.75	c (26,0) x[29][25] = 17
225.42/38.75	c (26,0) x[29][26] = 11
225.42/38.75	c (26,0) x[29][27] = 24
225.42/38.75	c (26,0) x[29][28] = 1
225.42/38.75	c (26,0) x[29][29] = 15
225.42/38.75	s SATISFIABLE
225.42/38.75	v <instantiation>
225.42/38.75	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>
225.42/38.75	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>
225.42/38.75	v </instantiation>
225.42/38.75	c (26,0) Show results End
225.42/38.75	c (26,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
225.42/38.75	c (26,0) 26,26,STOP-AFTER(ALL)
225.42/38.75	c END-Prog: Sat Sep 14 08:35:18 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 (14565 MiB free)
  memory of node 1: 16384 MiB (15638 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100153 s]*
/proc/loadavg: 2.71 3.30 5.37 2/211 30968
/proc/meminfo: memFree=30834228/32770624 swapFree=66948112/67108860
[pid=30946] ppid=30943 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30946/stat : 30946 (scop.sh) S 30943 30946 30056 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234068 115843072 349 33554432000 4194304 5098028 140734900175024 140734900172280 140338855404156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8908800 140734900183844 140734900184172 140734900184172 140734900187085 0
/proc/30946/statm: 28282 349 296 221 0 87 0
[pid=30949] ppid=30946 vsize=27314120 memory=106108 CPUtime=0.11 cores=0-7
/proc/30949/stat : 30949 (java) S 30946 30946 30056 0 -1 1077944320 6551 0 0 0 9 2 0 0 20 0 20 0 420234068 27969658880 26527 33554432000 4194304 4196468 140729325113584 140729325096128 140446200749815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
/proc/30949/statm: 6828530 26527 2815 1 0 6790935 0
[pid=30949/tid=30950] ppid=30946 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30949/task/30950/stat : 30950 (java) R 30946 30946 30056 0 -1 4202560 4640 0 0 0 7 2 0 0 20 0 20 0 420234068 27969658880 26527 33554432000 4194304 4196468 140729325113584 140446172563328 140446192986942 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30951] ppid=30946 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30949/task/30951/stat : 30951 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140446204992016 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30952] ppid=30946 vsize=27314120 memory=139818811221632 CPUtime=0 cores=0-7
/proc/30949/task/30952/stat : 30952 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140446036241040 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30953] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30953/stat : 30953 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140445621790992 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30954] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30954/stat : 30954 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140445620738448 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30955] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30955/stat : 30955 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140445619686416 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30956] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30956/stat : 30956 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140445618633872 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30957] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30957/stat : 30957 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140445617580816 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30958] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30958/stat : 30958 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 26527 33554432000 4194304 4196468 140729325113584 140445616528272 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30959] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30959/stat : 30959 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234072 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444588050672 140446200760962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30960] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30960/stat : 30960 (java) S 30946 30946 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234073 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444088394912 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30961] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30961/stat : 30961 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234073 27969658880 26527 33554432000 4194304 4196468 140729325113584 140443819959024 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30962] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30962/stat : 30962 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234075 27969658880 26527 33554432000 4194304 4196468 140729325113584 140443445450704 140446200768411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30963] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30963/stat : 30963 (java) S 30946 30946 30056 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444586998512 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30964] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30964/stat : 30964 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444585945968 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30965] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30965/stat : 30965 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444584892912 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30966] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30966/stat : 30966 (java) S 30946 30946 30056 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444583840368 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30967] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30967/stat : 30967 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 26527 33554432000 4194304 4196468 140729325113584 140442947545568 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30968] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30968/stat : 30968 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 26527 33554432000 4194304 4196468 140729325113584 140444582787760 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107504 KiB

[startup+0.210508 s]*
/proc/loadavg: 2.71 3.30 5.37 2/211 30968
/proc/meminfo: memFree=30812160/32770624 swapFree=66948112/67108860
[pid=30946] ppid=30943 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30946/stat : 30946 (scop.sh) S 30943 30946 30056 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234068 115843072 349 33554432000 4194304 5098028 140734900175024 140734900172280 140338855404156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8908800 140734900183844 140734900184172 140734900184172 140734900187085 0
/proc/30946/statm: 28282 349 296 221 0 87 0
[pid=30949] ppid=30946 vsize=27314120 memory=125204 CPUtime=0.25 cores=0-7
/proc/30949/stat : 30949 (java) S 30946 30946 30056 0 -1 1077944320 12091 0 0 0 21 4 0 0 20 0 20 0 420234068 27969658880 31301 33554432000 4194304 4196468 140729325113584 140729325096128 140446200749815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
/proc/30949/statm: 6828530 31301 2920 1 0 6790935 0
[pid=30949/tid=30950] ppid=30946 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30949/task/30950/stat : 30950 (java) R 30946 30946 30056 0 -1 4202560 9761 0 0 0 17 3 0 0 20 0 20 0 420234068 27969658880 31301 33554432000 4194304 4196468 140729325113584 140446172569744 140446185915470 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30951] ppid=30946 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/30949/task/30951/stat : 30951 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140446204992016 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30952] ppid=30946 vsize=27314120 memory=288370194962933376 CPUtime=0 cores=0-7
/proc/30949/task/30952/stat : 30952 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140446036241040 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30953] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30953/stat : 30953 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140445621790992 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30954] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30954/stat : 30954 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140445620738448 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30955] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30955/stat : 30955 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140445619686416 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30956] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30956/stat : 30956 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140445618633872 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30957] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30957/stat : 30957 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140445617580816 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30958] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30958/stat : 30958 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 31301 33554432000 4194304 4196468 140729325113584 140445616528272 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30959] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30959/stat : 30959 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234072 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444588050672 140446200760962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30960] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30960/stat : 30960 (java) S 30946 30946 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234073 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444088394912 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30961] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30961/stat : 30961 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234073 27969658880 31301 33554432000 4194304 4196468 140729325113584 140443819959024 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30962] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30962/stat : 30962 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234075 27969658880 31301 33554432000 4194304 4196468 140729325113584 140443445450704 140446200768411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30963] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30963/stat : 30963 (java) S 30946 30946 30056 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444586998512 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30964] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30964/stat : 30964 (java) S 30946 30946 30056 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444585945968 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30965] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30965/stat : 30965 (java) S 30946 30946 30056 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444584892912 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30966] ppid=30946 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30949/task/30966/stat : 30966 (java) S 30946 30946 30056 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 20 0 420234076 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444583840368 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30967] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30967/stat : 30967 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 31301 33554432000 4194304 4196468 140729325113584 140442947545568 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30968] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30968/stat : 30968 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 31301 33554432000 4194304 4196468 140729325113584 140444582787760 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126600 KiB

[startup+0.311519 s]*
/proc/loadavg: 2.71 3.30 5.37 2/211 30968
/proc/meminfo: memFree=30809616/32770624 swapFree=66948112/67108860
[pid=30946] ppid=30943 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30946/stat : 30946 (scop.sh) S 30943 30946 30056 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234068 115843072 349 33554432000 4194304 5098028 140734900175024 140734900172280 140338855404156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8908800 140734900183844 140734900184172 140734900184172 140734900187085 0
/proc/30946/statm: 28282 349 296 221 0 87 0
[pid=30949] ppid=30946 vsize=27314120 memory=128932 CPUtime=0.43 cores=0-7
/proc/30949/stat : 30949 (java) S 30946 30946 30056 0 -1 1077944320 13152 0 0 0 38 5 0 0 20 0 20 0 420234068 27969658880 32233 33554432000 4194304 4196468 140729325113584 140729325096128 140446200749815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
/proc/30949/statm: 6828530 32233 3015 1 0 6790935 0
[pid=30949/tid=30950] ppid=30946 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30949/task/30950/stat : 30950 (java) R 30946 30946 30056 0 -1 4202560 10570 0 0 0 26 3 0 0 20 0 20 0 420234068 27969658880 32233 33554432000 4194304 4196468 140729325113584 140446172559024 140446182313367 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30951] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30951/stat : 30951 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140446204992016 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30952] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30952/stat : 30952 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140446036241040 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30953] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30953/stat : 30953 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140445621790992 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30954] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30954/stat : 30954 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140445620738448 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30955] ppid=30946 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30949/task/30955/stat : 30955 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140445619686416 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30956] ppid=30946 vsize=27314120 memory=139818700993455 CPUtime=0 cores=0-7
/proc/30949/task/30956/stat : 30956 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140445618633872 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30957] ppid=30946 vsize=27314120 memory=139818700995760 CPUtime=0 cores=0-7
/proc/30949/task/30957/stat : 30957 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140445617580816 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30958] ppid=30946 vsize=27314120 memory=139818700998064 CPUtime=0 cores=0-7
/proc/30949/task/30958/stat : 30958 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27969658880 32233 33554432000 4194304 4196468 140729325113584 140445616528272 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30959] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30959/stat : 30959 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234072 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444588050672 140446200760962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30960] ppid=30946 vsize=27314120 memory=279637402003088 CPUtime=0 cores=0-7
/proc/30949/task/30960/stat : 30960 (java) S 30946 30946 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234073 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444088394912 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30961] ppid=30946 vsize=27314120 memory=279637402010000 CPUtime=0 cores=0-7
/proc/30949/task/30961/stat : 30961 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234073 27969658880 32233 33554432000 4194304 4196468 140729325113584 140443819959024 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30962] ppid=30946 vsize=27314120 memory=279637401951280 CPUtime=0 cores=0-7
/proc/30949/task/30962/stat : 30962 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234075 27969658880 32233 33554432000 4194304 4196468 140729325113584 140443445450704 140446200768411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30963] ppid=30946 vsize=27314120 memory=279637402023824 CPUtime=0.01 cores=0-7
/proc/30949/task/30963/stat : 30963 (java) S 30946 30946 30056 0 -1 1077944384 558 0 0 0 1 0 0 0 20 0 20 0 420234076 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444586998512 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30964] ppid=30946 vsize=27314120 memory=279637402030736 CPUtime=0 cores=0-7
/proc/30949/task/30964/stat : 30964 (java) S 30946 30946 30056 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444585945968 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30965] ppid=30946 vsize=27314120 memory=279637402028432 CPUtime=0.01 cores=0-7
/proc/30949/task/30965/stat : 30965 (java) S 30946 30946 30056 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 420234076 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444584892912 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30966] ppid=30946 vsize=27314120 memory=279637402044592 CPUtime=0.07 cores=0-7
/proc/30949/task/30966/stat : 30966 (java) S 30946 30946 30056 0 -1 1077944384 585 0 0 0 7 0 0 0 20 0 20 0 420234076 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444583840368 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30967] ppid=30946 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30967/stat : 30967 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 32233 33554432000 4194304 4196468 140729325113584 140442947545568 140446200760021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30968] ppid=30946 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30949/task/30968/stat : 30968 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234076 27969658880 32233 33554432000 4194304 4196468 140729325113584 140444582787760 140446200760962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130328 KiB

[startup+0.703482 s]
/proc/loadavg: 2.71 3.30 5.37 2/211 30968
/proc/meminfo: memFree=30788160/32770624 swapFree=66948112/67108860
[pid=30946] ppid=30943 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30946/stat : 30946 (scop.sh) S 30943 30946 30056 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234068 115843072 349 33554432000 4194304 5098028 140734900175024 140734900172280 140338855404156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8908800 140734900183844 140734900184172 140734900184172 140734900187085 0
/proc/30946/statm: 28282 349 296 221 0 87 0
[pid=30949] ppid=30946 vsize=27322516 memory=164968 CPUtime=1 cores=0-7
/proc/30949/stat : 30949 (java) S 30946 30946 30056 0 -1 1077944320 20383 0 0 0 93 7 0 0 20 0 20 0 420234068 27978256384 41242 33554432000 4194304 4196468 140729325113584 140729325096128 140446200749815 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
/proc/30949/statm: 6830629 41242 3186 1 0 6791959 0
[pid=30949/tid=30950] ppid=30946 vsize=27322516 memory=279637402402480 CPUtime=0.68 cores=0-7
/proc/30949/task/30950/stat : 30950 (java) R 30946 30946 30056 0 -1 4202560 17139 0 0 0 62 6 0 0 20 0 20 0 420234068 27978256384 41242 33554432000 4194304 4196468 140729325113584 140446172581552 140446184793445 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30951] ppid=30946 vsize=27322516 memory=139818701202288 CPUtime=0 cores=0-7
/proc/30949/task/30951/stat : 30951 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234071 27978256384 41242 33554432000 4194304 4196468 140729325113584 140446204992016 140446200760021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30952] ppid=30946 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30949/task/30952/stat : 30952 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27978256384 41242 33554432000 4194304 4196468 140729325113584 140446036241040 140446200760021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0
[pid=30949/tid=30953] ppid=30946 vsize=27322516 memory=1720 CPUtime=0 cores=0-7
/proc/30949/task/30953/stat : 30953 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234071 27978256384 41242 33554432000 4194304 4196468 140729325113584 140445621790992 140446200760021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140729325118186 140729325118614 140729325118614 140729325121487 0

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

[pid=30969/tid=30970] ppid=30946 vsize=8414124 memory=0 CPUtime=0.81 cores=0-7
/proc/30969/task/30970/stat : 30970 (java) S 30946 30946 30056 0 -1 1077944384 16894 0 0 0 74 7 0 0 20 0 24 0 420235268 8616062976 30630 33554432000 4194304 4196468 140736360647920 140263019777952 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30971] ppid=30946 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30969/task/30971/stat : 30971 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140263052180496 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30972] ppid=30946 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30969/task/30972/stat : 30972 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262852349072 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30973] ppid=30946 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30969/task/30973/stat : 30973 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262851296016 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30974] ppid=30946 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/30969/task/30974/stat : 30974 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262850243472 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30975] ppid=30946 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/30969/task/30975/stat : 30975 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262849190416 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30976] ppid=30946 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/30969/task/30976/stat : 30976 (java) S 30946 30946 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262848137872 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30977] ppid=30946 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/30969/task/30977/stat : 30977 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262847084816 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30978] ppid=30946 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/30969/task/30978/stat : 30978 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235269 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262846032272 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30979] ppid=30946 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/30969/task/30979/stat : 30979 (java) S 30946 30946 30056 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420235270 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262141393648 140263047948930 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30980] ppid=30946 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/30969/task/30980/stat : 30980 (java) S 30946 30946 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420235271 8616062976 30630 33554432000 4194304 4196468 140736360647920 140261485176480 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30981] ppid=30946 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/30969/task/30981/stat : 30981 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235271 8616062976 30630 33554432000 4194304 4196468 140736360647920 140261216740592 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30982] ppid=30946 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/30969/task/30982/stat : 30982 (java) S 30946 30946 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235273 8616062976 30630 33554432000 4194304 4196468 140736360647920 140260842232272 140263047956379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30983] ppid=30946 vsize=8414124 memory=4136 CPUtime=0.08 cores=0-7
/proc/30969/task/30983/stat : 30983 (java) S 30946 30946 30056 0 -1 1077944384 672 0 0 0 8 0 0 0 20 0 24 0 420235273 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262140340464 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30984] ppid=30946 vsize=8414124 memory=780 CPUtime=0.14 cores=0-7
/proc/30969/task/30984/stat : 30984 (java) S 30946 30946 30056 0 -1 1077944384 588 0 0 0 14 0 0 0 20 0 24 0 420235273 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262139287920 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30985] ppid=30946 vsize=8414124 memory=2832 CPUtime=0.11 cores=0-7
/proc/30969/task/30985/stat : 30985 (java) S 30946 30946 30056 0 -1 1077944384 399 0 0 0 11 0 0 0 20 0 24 0 420235274 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262138234864 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30986] ppid=30946 vsize=8414124 memory=1720 CPUtime=0.22 cores=0-7
/proc/30969/task/30986/stat : 30986 (java) S 30946 30946 30056 0 -1 1077944384 593 0 0 0 22 0 0 0 20 0 24 0 420235274 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262137182320 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30987] ppid=30946 vsize=8414124 memory=1200 CPUtime=0 cores=0-7
/proc/30969/task/30987/stat : 30987 (java) S 30946 30946 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420235274 8616062976 30630 33554432000 4194304 4196468 140736360647920 140260344327136 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30988] ppid=30946 vsize=8414124 memory=387980 CPUtime=0.01 cores=0-7
/proc/30969/task/30988/stat : 30988 (java) S 30946 30946 30056 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 420235274 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262136130736 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30990] ppid=30946 vsize=8414124 memory=23060 CPUtime=0 cores=0-7
/proc/30969/task/30990/stat : 30990 (java) S 30946 30946 30056 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420235345 8616062976 30630 33554432000 4194304 4196468 140736360647920 140262128096704 140263047962393 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30992] ppid=30946 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30969/task/30992/stat : 30992 (java) S 30946 30946 30056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420235345 8616062976 30630 33554432000 4194304 4196468 140736360647920 140259673226768 140263047959709 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30993] ppid=30946 vsize=8414124 memory=122520 CPUtime=0 cores=0-7
/proc/30969/task/30993/stat : 30993 (java) S 30946 30946 30056 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420235345 8616062976 30630 33554432000 4194304 4196468 140736360647920 140259941662352 140263047959709 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30994] ppid=30946 vsize=8414124 memory=381508 CPUtime=0 cores=0-7
/proc/30969/task/30994/stat : 30994 (java) S 30946 30946 30056 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420235347 8616062976 30630 33554432000 4194304 4196468 140736360647920 140259404798896 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
Current children cumulated CPU time: 224.47 s
Current children cumulated vsize: 9323820 KiB
Current children cumulated memory: 515524 KiB

[startup+38.601 s]
/proc/loadavg: 4.68 3.68 5.42 9/225 31004
/proc/meminfo: memFree=30424896/32770624 swapFree=66948112/67108860
[pid=30946] ppid=30943 vsize=113128 memory=1476 CPUtime=21.76 cores=0-7
/proc/30946/stat : 30946 (scop.sh) S 30943 30946 30056 0 -1 4202496 582 38037 0 0 0 0 2091 85 20 0 1 0 420234068 115843072 369 33554432000 4194304 5098028 140734900175024 140734900171768 140338855404156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8908800 140734900183844 140734900184172 140734900184172 140734900187085 0
/proc/30946/statm: 28282 369 311 221 0 87 0
[pid=30969] ppid=30946 vsize=8283048 memory=138024 CPUtime=203.43 cores=0-7
/proc/30969/stat : 30969 (java) S 30946 30946 30056 0 -1 1077944320 21527 213832 0 0 164 10 20114 55 20 0 22 0 420235267 8481841152 34506 33554432000 4194304 4196468 140736360647920 140736360630464 140263047937783 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
/proc/30969/statm: 2070762 34506 3222 1 0 2032106 0
[pid=30969/tid=30970] ppid=30946 vsize=8283048 memory=14012 CPUtime=202.56 cores=0-7
/proc/30969/task/30970/stat : 30970 (java) R 30946 30946 30056 0 -1 4202560 17055 213832 0 0 80 7 20114 55 20 0 22 0 420235268 8481841152 34506 33554432000 4194304 4196468 140736360647920 140263019775360 140263029806571 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30971] ppid=30946 vsize=8283048 memory=6791534058613427641 CPUtime=201.69 cores=0-7
/proc/30969/task/30971/stat : 30971 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140263052180496 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30972] ppid=30946 vsize=8283048 memory=6933690287860520857 CPUtime=201.69 cores=0-7
/proc/30969/task/30972/stat : 30972 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262852349072 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30973] ppid=30946 vsize=8283048 memory=-9001728533042062950 CPUtime=201.69 cores=0-7
/proc/30969/task/30973/stat : 30973 (java) S 30946 30946 30056 0 -1 1077944384 3 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262851296016 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30974] ppid=30946 vsize=8283048 memory=-7313218805096079717 CPUtime=201.69 cores=0-7
/proc/30969/task/30974/stat : 30974 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262850243472 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30975] ppid=30946 vsize=8283048 memory=-9001728533042062950 CPUtime=201.69 cores=0-7
/proc/30969/task/30975/stat : 30975 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262849190416 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30976] ppid=30946 vsize=8283048 memory=6944656592455359580 CPUtime=201.69 cores=0-7
/proc/30969/task/30976/stat : 30976 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262848137872 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30977] ppid=30946 vsize=8283048 memory=4137282616176384387 CPUtime=201.69 cores=0-7
/proc/30969/task/30977/stat : 30977 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262847084816 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30978] ppid=30946 vsize=8283048 memory=-7737605721172012177 CPUtime=201.69 cores=0-7
/proc/30969/task/30978/stat : 30978 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262846032272 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30979] ppid=30946 vsize=8283048 memory=-7385037593950845031 CPUtime=201.69 cores=0-7
/proc/30969/task/30979/stat : 30979 (java) S 30946 30946 30056 0 -1 1077944384 5 213832 0 0 0 0 20114 55 20 0 22 0 420235270 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262141393648 140263047948930 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30980] ppid=30946 vsize=8283048 memory=1056 CPUtime=201.69 cores=0-7
/proc/30969/task/30980/stat : 30980 (java) S 30946 30946 30056 0 -1 1077944384 13 213832 0 0 0 0 20114 55 20 0 22 0 420235271 8481841152 34506 33554432000 4194304 4196468 140736360647920 140261485176480 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30981] ppid=30946 vsize=8283048 memory=1552 CPUtime=201.69 cores=0-7
/proc/30969/task/30981/stat : 30981 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235271 8481841152 34506 33554432000 4194304 4196468 140736360647920 140261216740592 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30982] ppid=30946 vsize=8283048 memory=1040 CPUtime=201.69 cores=0-7
/proc/30969/task/30982/stat : 30982 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235273 8481841152 34506 33554432000 4194304 4196468 140736360647920 140260842232272 140263047956379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30983] ppid=30946 vsize=8283048 memory=4136 CPUtime=201.8 cores=0-7
/proc/30969/task/30983/stat : 30983 (java) S 30946 30946 30056 0 -1 1077944384 701 213832 0 0 11 0 20114 55 20 0 22 0 420235273 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262140340464 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30984] ppid=30946 vsize=8283048 memory=780 CPUtime=201.86 cores=0-7
/proc/30969/task/30984/stat : 30984 (java) S 30946 30946 30056 0 -1 1077944384 606 213832 0 0 17 0 20114 55 20 0 22 0 420235273 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262139287920 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30985] ppid=30946 vsize=8283048 memory=2832 CPUtime=201.84 cores=0-7
/proc/30969/task/30985/stat : 30985 (java) S 30946 30946 30056 0 -1 1077944384 431 213832 0 0 15 0 20114 55 20 0 22 0 420235274 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262138234864 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30986] ppid=30946 vsize=8283048 memory=1720 CPUtime=201.98 cores=0-7
/proc/30969/task/30986/stat : 30986 (java) S 30946 30946 30056 0 -1 1077944384 1145 213832 0 0 29 0 20114 55 20 0 22 0 420235274 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262137182320 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30987] ppid=30946 vsize=8283048 memory=1200 CPUtime=201.69 cores=0-7
/proc/30969/task/30987/stat : 30987 (java) S 30946 30946 30056 0 -1 1077944384 3 213832 0 0 0 0 20114 55 20 0 22 0 420235274 8481841152 34506 33554432000 4194304 4196468 140736360647920 140260344327136 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30988] ppid=30946 vsize=8283048 memory=5964 CPUtime=201.7 cores=0-7
/proc/30969/task/30988/stat : 30988 (java) S 30946 30946 30056 0 -1 1077944384 5 213832 0 0 0 1 20114 55 20 0 22 0 420235274 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262136130736 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30990] ppid=30946 vsize=8283048 memory=14012 CPUtime=201.69 cores=0-7
/proc/30969/task/30990/stat : 30990 (java) S 30946 30946 30056 0 -1 1077944384 26 213832 0 0 0 0 20114 55 20 0 22 0 420235345 8481841152 34506 33554432000 4194304 4196468 140736360647920 140262128095888 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30994] ppid=30946 vsize=8283048 memory=780 CPUtime=201.69 cores=0-7
/proc/30969/task/30994/stat : 30994 (java) S 30946 30946 30056 0 -1 1077944384 14 213832 0 0 0 0 20114 55 20 0 22 0 420235347 8481841152 34506 33554432000 4194304 4196468 140736360647920 140259404800688 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
Current children cumulated CPU time: 225.19 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139500 KiB

[startup+38.7011 s]
/proc/loadavg: 4.68 3.68 5.42 9/225 31004
/proc/meminfo: memFree=30424896/32770624 swapFree=66948112/67108860
[pid=30946] ppid=30943 vsize=113128 memory=1476 CPUtime=21.76 cores=0-7
/proc/30946/stat : 30946 (scop.sh) S 30943 30946 30056 0 -1 4202496 582 38037 0 0 0 0 2091 85 20 0 1 0 420234068 115843072 369 33554432000 4194304 5098028 140734900175024 140734900171768 140338855404156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8908800 140734900183844 140734900184172 140734900184172 140734900187085 0
/proc/30946/statm: 28282 369 311 221 0 87 0
[pid=30969] ppid=30946 vsize=8283048 memory=143528 CPUtime=203.66 cores=0-7
/proc/30969/stat : 30969 (java) S 30946 30946 30056 0 -1 1077944320 21892 213832 0 0 186 11 20114 55 20 0 22 0 420235267 8481841152 35882 33554432000 4194304 4196468 140736360647920 140736360630464 140263047937783 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
/proc/30969/statm: 2070762 35882 3232 1 0 2032106 0
[pid=30969/tid=30970] ppid=30946 vsize=8283048 memory=132748 CPUtime=202.66 cores=0-7
/proc/30969/task/30970/stat : 30970 (java) R 30946 30946 30056 0 -1 4202560 17188 213832 0 0 90 7 20114 55 20 0 22 0 420235268 8481841152 35882 33554432000 4194304 4196468 140736360647920 140263019774256 140262512852412 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30971] ppid=30946 vsize=8283048 memory=1476 CPUtime=201.69 cores=0-7
/proc/30969/task/30971/stat : 30971 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140263052180496 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30972] ppid=30946 vsize=8283048 memory=19898 CPUtime=201.69 cores=0-7
/proc/30969/task/30972/stat : 30972 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262852349072 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30973] ppid=30946 vsize=8283048 memory=2487 CPUtime=201.69 cores=0-7
/proc/30969/task/30973/stat : 30973 (java) S 30946 30946 30056 0 -1 1077944384 3 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262851296016 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30974] ppid=30946 vsize=8283048 memory=122520 CPUtime=201.69 cores=0-7
/proc/30969/task/30974/stat : 30974 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262850243472 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30975] ppid=30946 vsize=8283048 memory=325752 CPUtime=201.69 cores=0-7
/proc/30969/task/30975/stat : 30975 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262849190416 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30976] ppid=30946 vsize=8283048 memory=122520 CPUtime=201.69 cores=0-7
/proc/30969/task/30976/stat : 30976 (java) S 30946 30946 30056 0 -1 1077944384 2 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262848137872 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30977] ppid=30946 vsize=8283048 memory=325996 CPUtime=201.69 cores=0-7
/proc/30969/task/30977/stat : 30977 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262847084816 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30978] ppid=30946 vsize=8283048 memory=266227842871839 CPUtime=201.69 cores=0-7
/proc/30969/task/30978/stat : 30978 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235269 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262846032272 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30979] ppid=30946 vsize=8283048 memory=-6876588628787748224 CPUtime=201.69 cores=0-7
/proc/30969/task/30979/stat : 30979 (java) S 30946 30946 30056 0 -1 1077944384 5 213832 0 0 0 0 20114 55 20 0 22 0 420235270 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262141393648 140263047948930 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30980] ppid=30946 vsize=8283048 memory=0 CPUtime=201.69 cores=0-7
/proc/30969/task/30980/stat : 30980 (java) S 30946 30946 30056 0 -1 1077944384 13 213832 0 0 0 0 20114 55 20 0 22 0 420235271 8481841152 35882 33554432000 4194304 4196468 140736360647920 140261485176480 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30981] ppid=30946 vsize=8283048 memory=0 CPUtime=201.69 cores=0-7
/proc/30969/task/30981/stat : 30981 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235271 8481841152 35882 33554432000 4194304 4196468 140736360647920 140261216740592 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30982] ppid=30946 vsize=8283048 memory=122520 CPUtime=201.69 cores=0-7
/proc/30969/task/30982/stat : 30982 (java) S 30946 30946 30056 0 -1 1077944384 1 213832 0 0 0 0 20114 55 20 0 22 0 420235273 8481841152 35882 33554432000 4194304 4196468 140736360647920 140260842232272 140263047956379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30983] ppid=30946 vsize=8283048 memory=1476 CPUtime=201.83 cores=0-7
/proc/30969/task/30983/stat : 30983 (java) S 30946 30946 30056 0 -1 1077944384 743 213832 0 0 14 0 20114 55 20 0 22 0 420235273 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262140340464 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30984] ppid=30946 vsize=8283048 memory=122520 CPUtime=201.88 cores=0-7
/proc/30969/task/30984/stat : 30984 (java) S 30946 30946 30056 0 -1 1077944384 622 213832 0 0 19 0 20114 55 20 0 22 0 420235273 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262139287920 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30985] ppid=30946 vsize=8283048 memory=135184431188458 CPUtime=201.86 cores=0-7
/proc/30969/task/30985/stat : 30985 (java) R 30946 30946 30056 0 -1 4202560 443 213832 0 0 17 0 20114 55 20 0 22 0 420235274 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262138234864 140263027629517 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30986] ppid=30946 vsize=8283048 memory=135184431188458 CPUtime=202.04 cores=0-7
/proc/30969/task/30986/stat : 30986 (java) S 30946 30946 30056 0 -1 1077944384 1307 213832 0 0 35 0 20114 55 20 0 22 0 420235274 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262137182320 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30987] ppid=30946 vsize=8283048 memory=279637403200944 CPUtime=201.69 cores=0-7
/proc/30969/task/30987/stat : 30987 (java) S 30946 30946 30056 0 -1 1077944384 3 213832 0 0 0 0 20114 55 20 0 22 0 420235274 8481841152 35882 33554432000 4194304 4196468 140736360647920 140260344327136 140263047947989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30988] ppid=30946 vsize=8283048 memory=1476 CPUtime=201.7 cores=0-7
/proc/30969/task/30988/stat : 30988 (java) S 30946 30946 30056 0 -1 1077944384 5 213832 0 0 0 1 20114 55 20 0 22 0 420235274 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262136130736 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30990] ppid=30946 vsize=8283048 memory=122520 CPUtime=201.69 cores=0-7
/proc/30969/task/30990/stat : 30990 (java) S 30946 30946 30056 0 -1 1077944384 26 213832 0 0 0 0 20114 55 20 0 22 0 420235345 8481841152 35882 33554432000 4194304 4196468 140736360647920 140262128095888 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
[pid=30969/tid=30994] ppid=30946 vsize=8283048 memory=335312 CPUtime=201.69 cores=0-7
/proc/30969/task/30994/stat : 30994 (java) S 30946 30946 30056 0 -1 1077944384 14 213832 0 0 0 0 20114 55 20 0 22 0 420235347 8481841152 35882 33554432000 4194304 4196468 140736360647920 140259404800688 140263047948930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140736360653815 140736360653974 140736360653974 140736360656847 0
Current children cumulated CPU time: 225.42 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 145004 KiB

Child status: 0
Real time (s): 38.7771
CPU time (s): 225.632
CPU user time (s): 224.086
CPU system time (s): 1.54585
CPU usage (%): 581.869
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4477476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.086
system time used= 1.54585
maximum resident set size= 4480948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12295
involuntary context switches= 2303


# summary of solver processes directly reported to runsolver:
#   pid: 30946
#   total CPU time (s): 225.632
#   total CPU user time (s): 224.086
#   total CPU system time (s): 1.54585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.371521 second user time and 0.530586 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 08:34:39
IDJOB=4392774
IDBENCH=138958
IDSOLVER=2839
FILE ID=node117/4392774-1568442921
RUNJOBID= node117-1568439189-30083
PBS_JOBID= 21702331
Free space on /tmp= 61184 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392774-1568442921/watcher-4392774-1568442921 -o /tmp/evaluation-result-4392774-1568442921/solver-4392774-1568442921 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568439189-30083 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392774-1568442921.xml

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

MD5SUM BENCH= 2072ed2e4af5bca545229f959ebdc074
RANDOM SEED=1329687907

node117.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.75
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.75
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.75
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.75
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:        30929876 kB
MemAvailable:   31865676 kB
Buffers:          153232 kB
Cached:          1048844 kB
SwapCached:        51988 kB
Active:           774016 kB
Inactive:         483284 kB
Active(anon):      19556 kB
Inactive(anon):    59952 kB
Active(file):     754460 kB
Inactive(file):   423332 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66948112 kB
Dirty:             20404 kB
Writeback:             0 kB
AnonPages:        191148 kB
Mapped:            34580 kB
Shmem:             16020 kB
Slab:             176128 kB
SReclaimable:     147688 kB
SUnreclaim:        28440 kB
KernelStack:        3712 kB
PageTables:         5840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61164 MiB
End job on node117 at 2019-09-14 08:35:18