Trace number 4405590

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-09-22)SAT 132.542 26.8701

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-01.xml
MD5SUMbc231a1d8845efcd5c5ebc235ca42ef6
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 benchmark8.4717
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":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"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-24566-serial-file.bin HOME/instance-4405590-1569359217.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 23:06:14 CEST 2019
0.65/0.56	c PID: 24569
0.65/0.56	c IP: 172.20.3.147
0.65/0.56	c HOST: node147.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.70/1.05	c (0,0) Parsing End
1.70/1.06	c (0,0) CSP: 865 int (0 aux), 35 bool (0 aux), 2 ctr, max domain size 30
1.70/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.70/1.06	c (0,0) Constraint Name Generate Begin
1.70/1.07	c (0,0) Ctr:HOME/instance-4405590-1569359217.xml,AllDifferentMatrix:Instantiation:Var
1.70/1.07	c (0,0) Constraint Name Generate End
1.70/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.70/1.07	c (0,0) CSP to CSPinCNF Begin
1.70/1.10	c (0,0) translated 1 (10%) constraints
5.59/2.82	c (2,2) translated 2 (20%) constraints
5.59/2.85	c (2,2) ===========================================
5.90/2.94	c (2,2) Hybrid: #OE=374, #LE=526
5.90/2.94	c (2,2) Hybrid
5.90/2.94	c (2,2) ===========================================
7.68/3.49	c (2,2) translated 2855 (10%) constraints
8.54/3.83	c (3,3) translated 5710 (20%) constraints
8.90/4.17	c (3,3) translated 8564 (30%) constraints
9.20/4.49	c (3,3) translated 11419 (40%) constraints
9.60/4.83	c (4,4) translated 14273 (50%) constraints
9.95/5.12	c (4,4) translated 17128 (60%) constraints
10.56/5.41	c (4,4) translated 19983 (70%) constraints
10.76/5.69	c (5,5) translated 22837 (80%) constraints
11.09/6.00	c (5,5) translated 25692 (90%) constraints
11.39/6.25	c (5,5) translated 28546 (100%) constraints
11.39/6.25	c (5,5) CSP to CSPinCNF End
11.39/6.26	c (5,5) CSP: 865 int (0 aux), 27035 bool (27000 aux), 137072 ctr, max domain size 30
11.39/6.26	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.39/6.26	c (5,5) CSPinCNF Propagation Begin
15.00/8.30	c (7,7) 19609 values, 85594 unsatisfiable literals, and 88767 valid clauses are removed
15.00/8.30	c (7,7) CSPinCNF Propagation End
15.22/8.30	c (7,7) CSP: 865 int (0 aux), 27035 bool (27000 aux), 48305 ctr, max domain size 30
15.22/8.30	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.22/8.36	c (7,7) Hybrid: #OE=27374, #LE=526
15.22/8.36	c (7,7) Simplify CSPinCNF Begin
16.50/8.94	c (8,8) Simplify CSPinCNF End
16.50/8.95	c (8,8) CSP: 865 int (0 aux), 54531 bool (54496 aux), 75801 ctr, max domain size 30
16.50/8.95	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.50/8.95	c (8,8) Calculate Precise Domain Begin
16.50/8.96	c (8,8) 0 values are removed by re-calculation
16.50/8.96	c (8,8) Calculate Precise Domain End
16.50/8.97	c (8,8) CSP: 865 int (0 aux), 54531 bool (54496 aux), 75801 ctr, max domain size 30
16.50/8.97	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.50/8.97	c (8,8) CSPinCNF to SatSolver Begin
18.53/9.56	c (9,9) 7581 (10 %) CSP clauses are encoded (0 SAT variables, 33367 SAT clauses)
18.95/9.73	c (9,9) 15161 (20 %) CSP clauses are encoded (0 SAT variables, 55915 SAT clauses)
19.23/9.90	c (9,9) 22741 (30 %) CSP clauses are encoded (0 SAT variables, 79549 SAT clauses)
19.34/10.06	c (9,9) 30321 (40 %) CSP clauses are encoded (0 SAT variables, 102724 SAT clauses)
19.55/10.22	c (9,9) 37901 (50 %) CSP clauses are encoded (0 SAT variables, 125935 SAT clauses)
19.65/10.38	c (9,9) 45481 (60 %) CSP clauses are encoded (0 SAT variables, 150449 SAT clauses)
19.90/10.53	c (9,9) 53061 (70 %) CSP clauses are encoded (0 SAT variables, 173323 SAT clauses)
20.00/10.68	c (10,10) 60641 (80 %) CSP clauses are encoded (0 SAT variables, 196657 SAT clauses)
20.20/10.83	c (10,10) 68221 (90 %) CSP clauses are encoded (0 SAT variables, 219595 SAT clauses)
20.30/10.98	c (10,10) 75801 (100 %) CSP clauses are encoded (0 SAT variables, 243477 SAT clauses)
20.30/10.98	c (10,10) CSPinCNF to SatSolver End
20.30/10.98	c (10,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.30/10.98	c (10,10) 44734 bool, 243478 clause
20.30/10.98	c (10,10) Export Begin
20.68/11.12	c (10,10) Export to HOME/scop-24566-serial-file.bin
20.68/11.12	c (10,10) Export End
20.68/11.12	c (10,10) Export File Size: 0.15 MB
20.68/11.12	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.68/11.12	c END-Prog: Tue Sep 24 23:06:24 CEST 2019
20.68/11.16	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24566-serial-file.bin
20.75/11.62	c (0,0) Read Serial File Begin
20.75/11.62	c (0,0) HOME/scop-24566-serial-file.bin
20.75/11.87	c (0,0) Read Serial File End
20.75/11.89	
20.75/11.89	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
20.75/11.89	(Solving Process)
20.75/11.89	
20.75/11.91	c BEGIN-Prog: Tue Sep 24 23:06:25 CEST 2019
20.75/11.91	c PID: 24591
20.75/11.91	c IP: 172.20.3.147
20.75/11.91	c HOST: node147.alineos.net
20.75/11.91	c (0,0) SatSolver.solve Begin
20.75/11.91	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405590-1569359217.xml-scop-24569.cnf
20.75/11.94	c (0,0) c
20.75/11.94	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
20.75/11.94	c (0,0) c
20.75/11.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.75/11.94	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.75/11.94	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.75/11.94	c (0,0) c |                                                                                                       |
22.19/12.03	c (0,0) c |  Number of variables:         44734                                                                   |
22.19/12.03	c (0,0) c |  Number of clauses:          243478                                                                   |
22.19/12.03	c (0,0) c |  Parse time:                   0.08 s                                                                 |
22.19/12.03	c (0,0) c |                                                                                                       |
22.38/12.27	c (0,0) c |  Simplification time:          0.23 s                                                                 |
22.38/12.27	c (0,0) c |                                                                                                       |
22.38/12.27	c (0,0) c |  Generating clones                                                                                    |
22.59/12.40	c (0,0) c |  all clones generated. Memory =   214.41Mb.                                                           |
22.59/12.40	c (0,0) c ========================================================================================================|
22.59/12.40	c (0,0) c
22.59/12.40	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.59/12.40	c (0,0) c
22.59/12.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.59/12.40	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.59/12.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.59/12.40	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.59/12.40	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.59/12.40	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.59/12.40	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.59/12.40	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.59/12.40	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.59/12.40	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.59/12.40	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.59/12.40	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.59/12.40	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.59/12.40	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.59/12.40	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.59/12.40	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.59/12.40	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.59/12.40	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.59/12.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c real time : 14.6139 s
131.67/26.55	c (15,0) c cpu time  : 109.139 s
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c | Conflicts     |          139243 |      17054 |      17338 |      17948 |      17109 |      17394 |      18106 |      17301 |      16993 |
131.67/26.55	c (15,0) c | Decisions     |         1975102 |     246338 |     254350 |     246589 |     243762 |     237291 |     249690 |     247596 |     249486 |
131.67/26.55	c (15,0) c | Propagations  |       190881738 |   23642202 |   23793894 |   24391334 |   23458936 |   23388557 |   24701735 |   23658433 |   23846647 |
131.67/26.55	c (15,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
131.67/26.55	c (15,0) c | SimpDBs       |             297 |         37 |         37 |         37 |         36 |         37 |         39 |         37 |         37 |
131.67/26.55	c (15,0) c | Restarts      |            1780 |        221 |        219 |        229 |        217 |        218 |        240 |        214 |        222 |
131.67/26.55	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.67/26.55	c (15,0) c | PropBinClauses|       411295626 |   50903268 |   51166317 |   52713034 |   50714872 |   50487543 |   53162552 |   50863160 |   51284880 |
131.67/26.55	c (15,0) c | PropPreBlocker|      1904896519 |  235608845 |  235364400 |  243750881 |  235953616 |  235818548 |  247181359 |  235565717 |  235653153 |
131.67/26.55	c (15,0) c | PropNotBlocker|       486236720 |   60082087 |   60486975 |   62010580 |   60186119 |   60550288 |   63315556 |   59916560 |   59688555 |
131.67/26.55	c (15,0) c | LitFullScans  |      3252273290 |  402059139 |  402097825 |  415898661 |  402082799 |  402831994 |  423079190 |  402048397 |  402175285 |
131.67/26.55	c (15,0) c | LitScanFracts |          498900 |      49578 |      85436 |      49343 |      65911 |      39188 |      31985 |      30691 |     146768 |
131.67/26.55	c (15,0) c | DecisionLevel0|           13236 |       1671 |       1720 |       1633 |       1612 |       1594 |       1729 |       1606 |       1671 |
131.67/26.55	c (15,0) c | Periods       |             541 |         67 |         67 |         69 |         67 |         67 |         70 |         67 |         67 |
131.67/26.55	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
131.67/26.55	c (15,0) c | Avg_Trail     |                 |       8726 |       8583 |       8711 |       8718 |       8771 |       8709 |       8715 |       8623 |
131.67/26.55	c (15,0) c | Avg_DL        |                 |         95 |         93 |         95 |         98 |         95 |         93 |         97 |         95 |
131.67/26.55	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.67/26.55	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c | Exported      |           34796 |       4288 |       4393 |       4436 |       4298 |       4396 |       4492 |       4211 |       4282 |
131.67/26.55	c (15,0) c | Imported      |          187336 |      23017 |      22964 |      24370 |      23060 |      22966 |      24843 |      23051 |      23065 |
131.67/26.55	c (15,0) c | Good          |           42706 |       5222 |       5217 |       5570 |       5239 |       5292 |       5618 |       5249 |       5299 |
131.67/26.55	c (15,0) c | Purge         |          144630 |      17795 |      17747 |      18800 |      17821 |      17674 |      19225 |      17802 |      17766 |
131.67/26.55	c (15,0) c | Promoted      |            7648 |        864 |        968 |       1052 |        947 |        938 |       1061 |        957 |        861 |
131.67/26.55	c (15,0) c | Remove_Imp    |           34112 |       4632 |       3931 |       3976 |       4508 |       3866 |       3977 |       3942 |       5280 |
131.67/26.55	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c | Unaries       |                 |       1450 |       1501 |       1404 |       1395 |       1376 |       1489 |       1392 |       1449 |
131.67/26.55	c (15,0) c | Binaries      |                 |        975 |       1013 |        885 |        966 |        913 |        967 |        948 |        886 |
131.67/26.55	c (15,0) c | Glues         |                 |       1645 |       1683 |       1568 |       1620 |       1560 |       1623 |       1571 |       1527 |
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c | Orig_Seen     |            27 % |      49813 |      49825 |      50207 |      50141 |      49762 |      50712 |      50025 |      49599 |
131.67/26.55	c (15,0) c | Diff Orig seen|                 |         51 |         63 |        445 |        379 |      X     |        950 |        263 | -      163 |
131.67/26.55	c (15,0) c | Hamming       |            12 % |       5788 |       6113 |       5470 |       5594 |      X     |       6045 |       5628 |       5468 |
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c | RunningTime   |                 |   13.6 100%|   13.8 100%|   13.6 100%|   13.6 100%|   13.6 100%|   13.7 100%|   13.8 100%|   14.1 100%|
131.67/26.55	c (15,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%|
131.67/26.55	c (15,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%|
131.67/26.55	c (15,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%|
131.67/26.55	c (15,0) c | SolvingTime   |                 |   13.6     |   13.9     |   13.7     |   13.6     |   13.6     |   13.7     |   13.9     |   14.1     |
131.67/26.55	c (15,0) c | PropagationTim|                 |   12.0  88%|   12.2  88%|   11.9  88%|   11.9  88%|   11.9  87%|   11.9  87%|   12.1  88%|   12.4  88%|
131.67/26.55	c (15,0) c | AnalysisTime  |                 |    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|
131.67/26.55	c (15,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.67/26.55	c (15,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   2%|    0.2   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|
131.67/26.55	c (15,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%|
131.67/26.55	c (15,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%|
131.67/26.55	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c
131.67/26.55	c (15,0) c Threads : 8
131.67/26.55	c (15,0) c Winner : 4
131.67/26.55	c (15,0) c Conflicts_0 : 17054
131.67/26.55	c (15,0) c Conflicts_1 : 17338
131.67/26.55	c (15,0) c Conflicts_2 : 17948
131.67/26.55	c (15,0) c Conflicts_3 : 17109
131.67/26.55	c (15,0) c Conflicts_4 : 17394
131.67/26.55	c (15,0) c Conflicts_5 : 18106
131.67/26.55	c (15,0) c Conflicts_6 : 17301
131.67/26.55	c (15,0) c Conflicts_7 : 16993
131.67/26.55	c (15,0) c Conflicts_total : 139243
131.67/26.55	c (15,0) c Conflicts_winner : 17394
131.67/26.55	c (15,0) c Decisions_0 : 246338
131.67/26.55	c (15,0) c Decisions_1 : 254350
131.67/26.55	c (15,0) c Decisions_2 : 246589
131.67/26.55	c (15,0) c Decisions_3 : 243762
131.67/26.55	c (15,0) c Decisions_4 : 237291
131.67/26.55	c (15,0) c Decisions_5 : 249690
131.67/26.55	c (15,0) c Decisions_6 : 247596
131.67/26.55	c (15,0) c Decisions_7 : 249486
131.67/26.55	c (15,0) c Decisions_total : 1975102
131.67/26.55	c (15,0) c Decisions_winner : 237291
131.67/26.55	c (15,0) c Propagations_0 : 23642202
131.67/26.55	c (15,0) c Propagations_1 : 23793894
131.67/26.55	c (15,0) c Propagations_2 : 24391334
131.67/26.55	c (15,0) c Propagations_3 : 23458936
131.67/26.55	c (15,0) c Propagations_4 : 23388557
131.67/26.55	c (15,0) c Propagations_5 : 24701735
131.67/26.55	c (15,0) c Propagations_6 : 23658433
131.67/26.55	c (15,0) c Propagations_7 : 23846647
131.67/26.55	c (15,0) c Propagations_total : 190881738
131.67/26.56	c (15,0) c Propagations_winner : 23388557
131.67/26.56	c (15,0) c ReduceDBs_0 : 3
131.67/26.56	c (15,0) c ReduceDBs_1 : 3
131.67/26.56	c (15,0) c ReduceDBs_2 : 3
131.67/26.56	c (15,0) c ReduceDBs_3 : 3
131.67/26.56	c (15,0) c ReduceDBs_4 : 3
131.67/26.56	c (15,0) c ReduceDBs_5 : 3
131.67/26.56	c (15,0) c ReduceDBs_6 : 3
131.67/26.56	c (15,0) c ReduceDBs_7 : 3
131.67/26.56	c (15,0) c ReduceDBs_total : 24
131.67/26.56	c (15,0) c ReduceDBs_winner : 3
131.67/26.56	c (15,0) c SimpDBs_0 : 37
131.67/26.56	c (15,0) c SimpDBs_1 : 37
131.67/26.56	c (15,0) c SimpDBs_2 : 37
131.67/26.56	c (15,0) c SimpDBs_3 : 36
131.67/26.56	c (15,0) c SimpDBs_4 : 37
131.67/26.56	c (15,0) c SimpDBs_5 : 39
131.67/26.56	c (15,0) c SimpDBs_6 : 37
131.67/26.56	c (15,0) c SimpDBs_7 : 37
131.67/26.56	c (15,0) c SimpDBs_total : 297
131.67/26.56	c (15,0) c SimpDBs_winner : 37
131.67/26.56	c (15,0) c Restarts_0 : 221
131.67/26.56	c (15,0) c Restarts_1 : 219
131.67/26.56	c (15,0) c Restarts_2 : 229
131.67/26.56	c (15,0) c Restarts_3 : 217
131.67/26.56	c (15,0) c Restarts_4 : 218
131.67/26.56	c (15,0) c Restarts_5 : 240
131.67/26.56	c (15,0) c Restarts_6 : 214
131.67/26.56	c (15,0) c Restarts_7 : 222
131.67/26.56	c (15,0) c Restarts_total : 1780
131.67/26.56	c (15,0) c Restarts_winner : 218
131.67/26.56	c (15,0) c ForcedImports_0 : 0
131.67/26.56	c (15,0) c ForcedImports_1 : 0
131.67/26.56	c (15,0) c ForcedImports_2 : 0
131.67/26.56	c (15,0) c ForcedImports_3 : 0
131.67/26.56	c (15,0) c ForcedImports_4 : 0
131.67/26.56	c (15,0) c ForcedImports_5 : 0
131.67/26.56	c (15,0) c ForcedImports_6 : 0
131.67/26.56	c (15,0) c ForcedImports_7 : 0
131.67/26.56	c (15,0) c ForcedImports_total : 0
131.67/26.56	c (15,0) c ForcedImports_winner : 0
131.67/26.56	c (15,0) c PropsBinClauses_0 : 50903268
131.67/26.56	c (15,0) c PropsBinClauses_1 : 51166317
131.67/26.56	c (15,0) c PropsBinClauses_2 : 52713034
131.67/26.56	c (15,0) c PropsBinClauses_3 : 50714872
131.67/26.56	c (15,0) c PropsBinClauses_4 : 50487543
131.67/26.56	c (15,0) c PropsBinClauses_5 : 53162552
131.67/26.56	c (15,0) c PropsBinClauses_6 : 50863160
131.67/26.56	c (15,0) c PropsBinClauses_7 : 51284880
131.67/26.56	c (15,0) c PropsBinClauses_total : 411295626
131.67/26.56	c (15,0) c PropsBinClauses_winner : 50487543
131.67/26.56	c (15,0) c PropsPreBlocker_0 : 235608845
131.67/26.56	c (15,0) c PropsPreBlocker_1 : 235364400
131.67/26.56	c (15,0) c PropsPreBlocker_2 : 243750881
131.67/26.56	c (15,0) c PropsPreBlocker_3 : 235953616
131.67/26.56	c (15,0) c PropsPreBlocker_4 : 235818548
131.67/26.56	c (15,0) c PropsPreBlocker_5 : 247181359
131.67/26.56	c (15,0) c PropsPreBlocker_6 : 235565717
131.67/26.56	c (15,0) c PropsPreBlocker_7 : 235653153
131.67/26.56	c (15,0) c PropsPreBlocker_total : 1904896519
131.67/26.56	c (15,0) c PropsPreBlocker_winner : 235818548
131.67/26.56	c (15,0) c PropsNotBlocker_0 : 60082087
131.67/26.56	c (15,0) c PropsNotBlocker_1 : 60486975
131.67/26.56	c (15,0) c PropsNotBlocker_2 : 62010580
131.67/26.56	c (15,0) c PropsNotBlocker_3 : 60186119
131.67/26.56	c (15,0) c PropsNotBlocker_4 : 60550288
131.67/26.56	c (15,0) c PropsNotBlocker_5 : 63315556
131.67/26.56	c (15,0) c PropsNotBlocker_6 : 59916560
131.67/26.56	c (15,0) c PropsNotBlocker_7 : 59688555
131.67/26.56	c (15,0) c PropsNotBlocker_total : 486236720
131.67/26.56	c (15,0) c PropsNotBlocker_winner : 60550288
131.67/26.56	c (15,0) c PropsLitFullScans_0 : 402059139
131.67/26.56	c (15,0) c PropsLitFullScans_1 : 402097825
131.67/26.56	c (15,0) c PropsLitFullScans_2 : 415898661
131.67/26.56	c (15,0) c PropsLitFullScans_3 : 402082799
131.67/26.56	c (15,0) c PropsLitFullScans_4 : 402831994
131.67/26.56	c (15,0) c PropsLitFullScans_5 : 423079190
131.67/26.56	c (15,0) c PropsLitFullScans_6 : 402048397
131.67/26.56	c (15,0) c PropsLitFullScans_7 : 402175285
131.67/26.56	c (15,0) c PropsLitFullScans_total : 3252273290
131.67/26.56	c (15,0) c PropsLitFullScans_winner : 402831994
131.67/26.56	c (15,0) c LitScanFractions_0 : 49578
131.67/26.56	c (15,0) c LitScanFractions_1 : 85436
131.67/26.56	c (15,0) c LitScanFractions_2 : 49343
131.67/26.56	c (15,0) c LitScanFractions_3 : 65911
131.67/26.56	c (15,0) c LitScanFractions_4 : 39188
131.67/26.56	c (15,0) c LitScanFractions_5 : 31985
131.67/26.56	c (15,0) c LitScanFractions_6 : 30691
131.67/26.56	c (15,0) c LitScanFractions_7 : 146768
131.67/26.56	c (15,0) c LitScanFractions_total : 498900
131.67/26.56	c (15,0) c LitScanFractions_winner : 39188
131.67/26.56	c (15,0) c DecisionLevel0_0 : 1671
131.67/26.56	c (15,0) c DecisionLevel0_1 : 1720
131.67/26.56	c (15,0) c DecisionLevel0_2 : 1633
131.67/26.56	c (15,0) c DecisionLevel0_3 : 1612
131.67/26.56	c (15,0) c DecisionLevel0_4 : 1594
131.67/26.56	c (15,0) c DecisionLevel0_5 : 1729
131.67/26.56	c (15,0) c DecisionLevel0_6 : 1606
131.67/26.56	c (15,0) c DecisionLevel0_7 : 1671
131.67/26.56	c (15,0) c DecisionLevel0_total : 13236
131.67/26.56	c (15,0) c DecisionLevel0_winner : 1594
131.67/26.56	c (15,0) c Periods_0 : 67
131.67/26.56	c (15,0) c Periods_1 : 67
131.67/26.56	c (15,0) c Periods_2 : 69
131.67/26.56	c (15,0) c Periods_3 : 67
131.67/26.56	c (15,0) c Periods_4 : 67
131.67/26.56	c (15,0) c Periods_5 : 70
131.67/26.56	c (15,0) c Periods_6 : 67
131.67/26.56	c (15,0) c Periods_7 : 67
131.67/26.56	c (15,0) c Periods_total : 541
131.67/26.56	c (15,0) c Periods_winner : 67
131.67/26.56	c (15,0) c Margin_0 : 20
131.67/26.56	c (15,0) c Margin_1 : 20
131.67/26.56	c (15,0) c Margin_2 : 20
131.67/26.56	c (15,0) c Margin_3 : 20
131.67/26.56	c (15,0) c Margin_4 : 20
131.67/26.56	c (15,0) c Margin_5 : 20
131.67/26.56	c (15,0) c Margin_6 : 20
131.67/26.56	c (15,0) c Margin_7 : 20
131.67/26.56	c (15,0) c Margin_total : 160
131.67/26.56	c (15,0) c Margin_winner : 20
131.67/26.56	c (15,0) c Exported_0 : 4288
131.67/26.56	c (15,0) c Exported_1 : 4393
131.67/26.56	c (15,0) c Exported_2 : 4436
131.67/26.56	c (15,0) c Exported_3 : 4298
131.67/26.56	c (15,0) c Exported_4 : 4396
131.67/26.56	c (15,0) c Exported_5 : 4492
131.67/26.56	c (15,0) c Exported_6 : 4211
131.67/26.56	c (15,0) c Exported_7 : 4282
131.67/26.56	c (15,0) c Exported_total : 34796
131.67/26.56	c (15,0) c Exported_winner : 4396
131.67/26.56	c (15,0) c Imported_0 : 23017
131.67/26.56	c (15,0) c Imported_1 : 22964
131.67/26.56	c (15,0) c Imported_2 : 24370
131.67/26.56	c (15,0) c Imported_3 : 23060
131.67/26.56	c (15,0) c Imported_4 : 22966
131.67/26.56	c (15,0) c Imported_5 : 24843
131.67/26.56	c (15,0) c Imported_6 : 23051
131.67/26.56	c (15,0) c Imported_7 : 23065
131.67/26.56	c (15,0) c Imported_total : 187336
131.67/26.56	c (15,0) c Imported_winner : 22966
131.67/26.56	c (15,0) c Good_0 : 5222
131.67/26.56	c (15,0) c Good_1 : 5217
131.67/26.56	c (15,0) c Good_2 : 5570
131.67/26.56	c (15,0) c Good_3 : 5239
131.67/26.56	c (15,0) c Good_4 : 5292
131.67/26.56	c (15,0) c Good_5 : 5618
131.67/26.56	c (15,0) c Good_6 : 5249
131.67/26.56	c (15,0) c Good_7 : 5299
131.67/26.56	c (15,0) c Good_total : 42706
131.67/26.56	c (15,0) c Good_winner : 5292
131.67/26.56	c (15,0) c Purge_0 : 17795
131.67/26.56	c (15,0) c Purge_1 : 17747
131.67/26.56	c (15,0) c Purge_2 : 18800
131.67/26.56	c (15,0) c Purge_3 : 17821
131.67/26.56	c (15,0) c Purge_4 : 17674
131.67/26.56	c (15,0) c Purge_5 : 19225
131.67/26.56	c (15,0) c Purge_6 : 17802
131.67/26.56	c (15,0) c Purge_7 : 17766
131.67/26.56	c (15,0) c Purge_total : 144630
131.67/26.56	c (15,0) c Purge_winner : 17674
131.67/26.56	c (15,0) c Promoted_0 : 864
131.67/26.56	c (15,0) c Promoted_1 : 968
131.67/26.56	c (15,0) c Promoted_2 : 1052
131.67/26.56	c (15,0) c Promoted_3 : 947
131.67/26.56	c (15,0) c Promoted_4 : 938
131.67/26.56	c (15,0) c Promoted_5 : 1061
131.67/26.56	c (15,0) c Promoted_6 : 957
131.67/26.56	c (15,0) c Promoted_7 : 861
131.67/26.56	c (15,0) c Promoted_total : 7648
131.67/26.56	c (15,0) c Promoted_winner : 938
131.67/26.56	c (15,0) c Remove_Imp_0 : 4632
131.67/26.56	c (15,0) c Remove_Imp_1 : 3931
131.67/26.56	c (15,0) c Remove_Imp_2 : 3976
131.67/26.56	c (15,0) c Remove_Imp_3 : 4508
131.67/26.56	c (15,0) c Remove_Imp_4 : 3866
131.67/26.56	c (15,0) c Remove_Imp_5 : 3977
131.67/26.56	c (15,0) c Remove_Imp_6 : 3942
131.67/26.56	c (15,0) c Remove_Imp_7 : 5280
131.67/26.56	c (15,0) c Remove_Imp_total : 34112
131.67/26.56	c (15,0) c Remove_Imp_winner : 3866
131.67/26.56	c (15,0) c Blocked_Reuse_0 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_1 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_2 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_3 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_4 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_5 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_6 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_7 : 0
131.67/26.56	c (15,0) c Blocked_Reuse_total : 0
131.67/26.56	c (15,0) c Blocked_Reuse_winner : 0
131.67/26.56	c (15,0) c Unaries_0 : 1450
131.67/26.56	c (15,0) c Unaries_1 : 1501
131.67/26.56	c (15,0) c Unaries_2 : 1404
131.67/26.56	c (15,0) c Unaries_3 : 1395
131.67/26.56	c (15,0) c Unaries_4 : 1376
131.67/26.56	c (15,0) c Unaries_5 : 1489
131.67/26.56	c (15,0) c Unaries_6 : 1392
131.67/26.56	c (15,0) c Unaries_7 : 1449
131.67/26.56	c (15,0) c Unaries_total : 11456
131.67/26.56	c (15,0) c Unaries_winner : 1376
131.67/26.56	c (15,0) c Binaries_0 : 975
131.67/26.56	c (15,0) c Binaries_1 : 1013
131.67/26.56	c (15,0) c Binaries_2 : 885
131.67/26.56	c (15,0) c Binaries_3 : 966
131.67/26.56	c (15,0) c Binaries_4 : 913
131.67/26.56	c (15,0) c Binaries_5 : 967
131.67/26.56	c (15,0) c Binaries_6 : 948
131.67/26.56	c (15,0) c Binaries_7 : 886
131.67/26.56	c (15,0) c Binaries_total : 7553
131.67/26.56	c (15,0) c Binaries_winner : 913
131.67/26.56	c (15,0) c Glues_0 : 1645
131.67/26.56	c (15,0) c Glues_1 : 1683
131.67/26.56	c (15,0) c Glues_2 : 1568
131.67/26.56	c (15,0) c Glues_3 : 1620
131.67/26.56	c (15,0) c Glues_4 : 1560
131.67/26.56	c (15,0) c Glues_5 : 1623
131.67/26.56	c (15,0) c Glues_6 : 1571
131.67/26.56	c (15,0) c Glues_7 : 1527
131.67/26.56	c (15,0) c Glues_total : 12797
131.67/26.56	c (15,0) c Glues_winner : 1560
131.67/26.56	c (15,0) c RunningTime_0 : 13.621082
131.67/26.56	c (15,0) c RunningTime_1 : 13.843107
131.67/26.56	c (15,0) c RunningTime_2 : 13.644165
131.67/26.56	c (15,0) c RunningTime_3 : 13.627072
131.67/26.56	c (15,0) c RunningTime_4 : 13.608602
131.67/26.56	c (15,0) c RunningTime_5 : 13.652164
131.67/26.56	c (15,0) c RunningTime_6 : 13.846054
131.67/26.56	c (15,0) c RunningTime_7 : 14.126705
131.67/26.56	c (15,0) c RunningTime_total : 109.968950
131.67/26.56	c (15,0) c RunningTime_winner : 13.608602
131.67/26.56	c (15,0) c WaitingTime_0 : 0.000074
131.67/26.56	c (15,0) c WaitingTime_1 : 0.000078
131.67/26.56	c (15,0) c WaitingTime_2 : 0.000076
131.67/26.56	c (15,0) c WaitingTime_3 : 0.000083
131.67/26.56	c (15,0) c WaitingTime_4 : 0.000077
131.67/26.56	c (15,0) c WaitingTime_5 : 0.000077
131.67/26.56	c (15,0) c WaitingTime_6 : 0.000067
131.67/26.56	c (15,0) c WaitingTime_7 : 0.000059
131.67/26.56	c (15,0) c WaitingTime_total : 0.000591
131.67/26.56	c (15,0) c WaitingTime_winner : 0.000077
131.67/26.56	c (15,0) c ExchangingTime_0 : 0.011398
131.67/26.56	c (15,0) c ExchangingTime_1 : 0.011202
131.67/26.56	c (15,0) c ExchangingTime_2 : 0.011977
131.67/26.56	c (15,0) c ExchangingTime_3 : 0.012538
131.67/26.56	c (15,0) c ExchangingTime_4 : 0.012282
131.67/26.56	c (15,0) c ExchangingTime_5 : 0.012436
131.67/26.56	c (15,0) c ExchangingTime_6 : 0.012581
131.67/26.56	c (15,0) c ExchangingTime_7 : 0.013377
131.67/26.56	c (15,0) c ExchangingTime_total : 0.097791
131.67/26.56	c (15,0) c ExchangingTime_winner : 0.012282
131.67/26.56	c (15,0) c PeriodProcTime_0 : 0.000619
131.67/26.56	c (15,0) c PeriodProcTime_1 : 0.000577
131.67/26.56	c (15,0) c PeriodProcTime_2 : 0.000586
131.67/26.56	c (15,0) c PeriodProcTime_3 : 0.000665
131.67/26.56	c (15,0) c PeriodProcTime_4 : 0.000669
131.67/26.56	c (15,0) c PeriodProcTime_5 : 0.000570
131.67/26.56	c (15,0) c PeriodProcTime_6 : 0.000713
131.67/26.56	c (15,0) c PeriodProcTime_7 : 0.000646
131.67/26.56	c (15,0) c PeriodProcTime_total : 0.005044
131.67/26.56	c (15,0) c PeriodProcTime_winner : 0.000669
131.67/26.56	c (15,0) c SolvingTime_0 : 13.633174
131.67/26.56	c (15,0) c SolvingTime_1 : 13.854964
131.67/26.56	c (15,0) c SolvingTime_2 : 13.656804
131.67/26.56	c (15,0) c SolvingTime_3 : 13.640357
131.67/26.56	c (15,0) c SolvingTime_4 : 13.621629
131.67/26.56	c (15,0) c SolvingTime_5 : 13.665246
131.67/26.56	c (15,0) c SolvingTime_6 : 13.859416
131.67/26.56	c (15,0) c SolvingTime_7 : 14.140787
131.67/26.56	c (15,0) c SolvingTime_total : 110.072376
131.67/26.56	c (15,0) c SolvingTime_winner : 13.621629
131.67/26.56	c (15,0) c PropagationTime_0 : 11.983338
131.67/26.56	c (15,0) c PropagationTime_1 : 12.209384
131.67/26.56	c (15,0) c PropagationTime_2 : 11.949876
131.67/26.56	c (15,0) c PropagationTime_3 : 11.937400
131.67/26.56	c (15,0) c PropagationTime_4 : 11.897738
131.67/26.56	c (15,0) c PropagationTime_5 : 11.933158
131.67/26.56	c (15,0) c PropagationTime_6 : 12.136538
131.67/26.56	c (15,0) c PropagationTime_7 : 12.433287
131.67/26.56	c (15,0) c PropagationTime_total : 96.480720
131.67/26.56	c (15,0) c PropagationTime_winner : 11.897738
131.67/26.56	c (15,0) c AnalysisTime_0 : 0.676345
131.67/26.57	c (15,0) c AnalysisTime_1 : 0.657830
131.67/26.57	c (15,0) c AnalysisTime_2 : 0.721542
131.67/26.57	c (15,0) c AnalysisTime_3 : 0.705968
131.67/26.57	c (15,0) c AnalysisTime_4 : 0.716968
131.67/26.57	c (15,0) c AnalysisTime_5 : 0.727583
131.67/26.57	c (15,0) c AnalysisTime_6 : 0.717604
131.67/26.57	c (15,0) c AnalysisTime_7 : 0.698133
131.67/26.57	c (15,0) c AnalysisTime_total : 5.621973
131.67/26.57	c (15,0) c AnalysisTime_winner : 0.716968
131.67/26.57	c (15,0) c ReductionTime_0 : 0.032413
131.67/26.57	c (15,0) c ReductionTime_1 : 0.032936
131.67/26.57	c (15,0) c ReductionTime_2 : 0.031225
131.67/26.57	c (15,0) c ReductionTime_3 : 0.031624
131.67/26.57	c (15,0) c ReductionTime_4 : 0.032273
131.67/26.57	c (15,0) c ReductionTime_5 : 0.031890
131.67/26.57	c (15,0) c ReductionTime_6 : 0.033110
131.67/26.57	c (15,0) c ReductionTime_7 : 0.033809
131.67/26.57	c (15,0) c ReductionTime_total : 0.259281
131.67/26.57	c (15,0) c ReductionTime_winner : 0.032273
131.67/26.57	c (15,0) c SimplifyTime_0 : 0.195854
131.67/26.57	c (15,0) c SimplifyTime_1 : 0.203671
131.67/26.57	c (15,0) c SimplifyTime_2 : 0.207042
131.67/26.57	c (15,0) c SimplifyTime_3 : 0.204463
131.67/26.57	c (15,0) c SimplifyTime_4 : 0.223593
131.67/26.57	c (15,0) c SimplifyTime_5 : 0.216671
131.67/26.57	c (15,0) c SimplifyTime_6 : 0.214494
131.67/26.57	c (15,0) c SimplifyTime_7 : 0.212362
131.67/26.57	c (15,0) c SimplifyTime_total : 1.678150
131.67/26.57	c (15,0) c SimplifyTime_winner : 0.223593
131.67/26.57	c (15,0) c UsedRateTime_0 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_1 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_2 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_3 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_4 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_5 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_6 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_7 : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_total : 0.000000
131.67/26.57	c (15,0) c UsedRateTime_winner : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_0 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_1 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_2 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_3 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_4 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_5 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_6 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_7 : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_total : 0.000000
131.67/26.57	c (15,0) c OverlapRateTime_winner : 0.000000
131.67/26.57	c (15,0) c
131.67/26.57	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
131.67/26.57	c (15,0) c
131.67/26.57	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.57	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
131.67/26.57	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.57	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
131.67/26.57	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
131.67/26.57	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
131.67/26.57	c (15,0) c | Initial random_seed   | 1142887669 | 1413002532 | 2081330176 |  833412489 |   52678347 | 1867159336 | 2093145664 |  293329195 |
131.67/26.57	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
131.67/26.57	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
131.67/26.57	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
131.67/26.57	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
131.67/26.57	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
131.67/26.57	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
131.67/26.57	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
131.67/26.57	c (15,0) c | var_decay             |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |
131.67/26.57	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
131.67/26.57	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
131.67/26.57	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
131.67/26.57	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.67/26.57	c (15,0) 
131.67/26.57	c (15,0) s SATISFIABLE
131.92/26.63	c (15,0) SatSolver.solve End
131.92/26.63	c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
131.92/26.63	c (15,0) Show results Begin
132.34/26.82	c (15,0) x[0][0] = 19
132.34/26.82	c (15,0) x[0][1] = 18
132.34/26.82	c (15,0) x[0][2] = 17
132.34/26.82	c (15,0) x[0][3] = 28
132.34/26.82	c (15,0) x[0][4] = 12
132.34/26.82	c (15,0) x[0][5] = 14
132.34/26.82	c (15,0) x[0][6] = 16
132.34/26.82	c (15,0) x[0][7] = 24
132.34/26.82	c (15,0) x[0][8] = 11
132.34/26.82	c (15,0) x[0][9] = 3
132.34/26.82	c (15,0) x[0][10] = 6
132.34/26.82	c (15,0) x[0][11] = 20
132.34/26.82	c (15,0) x[0][12] = 0
132.34/26.82	c (15,0) x[0][13] = 13
132.34/26.82	c (15,0) x[0][14] = 2
132.34/26.82	c (15,0) x[0][15] = 23
132.34/26.82	c (15,0) x[0][16] = 21
132.34/26.82	c (15,0) x[0][17] = 27
132.34/26.82	c (15,0) x[0][18] = 29
132.34/26.82	c (15,0) x[0][19] = 5
132.34/26.82	c (15,0) x[0][20] = 4
132.34/26.82	c (15,0) x[0][21] = 22
132.34/26.82	c (15,0) x[0][22] = 9
132.34/26.82	c (15,0) x[0][23] = 25
132.34/26.82	c (15,0) x[0][24] = 10
132.34/26.82	c (15,0) x[0][25] = 15
132.34/26.82	c (15,0) x[0][26] = 8
132.34/26.82	c (15,0) x[0][27] = 1
132.34/26.82	c (15,0) x[0][28] = 26
132.34/26.82	c (15,0) x[0][29] = 7
132.34/26.82	c (15,0) x[1][0] = 24
132.34/26.82	c (15,0) x[1][1] = 17
132.34/26.82	c (15,0) x[1][2] = 2
132.34/26.82	c (15,0) x[1][3] = 4
132.34/26.82	c (15,0) x[1][4] = 28
132.34/26.82	c (15,0) x[1][5] = 21
132.34/26.82	c (15,0) x[1][6] = 27
132.34/26.82	c (15,0) x[1][7] = 16
132.34/26.82	c (15,0) x[1][8] = 19
132.34/26.82	c (15,0) x[1][9] = 6
132.34/26.82	c (15,0) x[1][10] = 29
132.34/26.82	c (15,0) x[1][11] = 5
132.34/26.82	c (15,0) x[1][12] = 20
132.34/26.82	c (15,0) x[1][13] = 7
132.34/26.82	c (15,0) x[1][14] = 23
132.34/26.82	c (15,0) x[1][15] = 1
132.34/26.82	c (15,0) x[1][16] = 25
132.34/26.82	c (15,0) x[1][17] = 0
132.34/26.82	c (15,0) x[1][18] = 12
132.34/26.82	c (15,0) x[1][19] = 10
132.34/26.82	c (15,0) x[1][20] = 22
132.34/26.82	c (15,0) x[1][21] = 9
132.34/26.82	c (15,0) x[1][22] = 14
132.34/26.82	c (15,0) x[1][23] = 13
132.34/26.82	c (15,0) x[1][24] = 18
132.34/26.82	c (15,0) x[1][25] = 11
132.34/26.82	c (15,0) x[1][26] = 26
132.34/26.82	c (15,0) x[1][27] = 8
132.34/26.82	c (15,0) x[1][28] = 3
132.34/26.82	c (15,0) x[1][29] = 15
132.34/26.82	c (15,0) x[2][0] = 14
132.34/26.82	c (15,0) x[2][1] = 20
132.34/26.82	c (15,0) x[2][2] = 29
132.34/26.82	c (15,0) x[2][3] = 8
132.34/26.82	c (15,0) x[2][4] = 3
132.34/26.82	c (15,0) x[2][5] = 5
132.34/26.82	c (15,0) x[2][6] = 18
132.34/26.82	c (15,0) x[2][7] = 2
132.34/26.82	c (15,0) x[2][8] = 10
132.34/26.82	c (15,0) x[2][9] = 13
132.34/26.82	c (15,0) x[2][10] = 27
132.34/26.82	c (15,0) x[2][11] = 1
132.34/26.82	c (15,0) x[2][12] = 4
132.34/26.82	c (15,0) x[2][13] = 15
132.34/26.82	c (15,0) x[2][14] = 9
132.34/26.82	c (15,0) x[2][15] = 26
132.34/26.82	c (15,0) x[2][16] = 22
132.34/26.82	c (15,0) x[2][17] = 25
132.34/26.82	c (15,0) x[2][18] = 11
132.34/26.82	c (15,0) x[2][19] = 19
132.34/26.82	c (15,0) x[2][20] = 24
132.34/26.82	c (15,0) x[2][21] = 17
132.34/26.82	c (15,0) x[2][22] = 21
132.34/26.82	c (15,0) x[2][23] = 0
132.34/26.82	c (15,0) x[2][24] = 12
132.34/26.82	c (15,0) x[2][25] = 6
132.34/26.83	c (15,0) x[2][26] = 23
132.34/26.83	c (15,0) x[2][27] = 7
132.34/26.83	c (15,0) x[2][28] = 28
132.34/26.83	c (15,0) x[2][29] = 16
132.34/26.83	c (15,0) x[3][0] = 21
132.34/26.83	c (15,0) x[3][1] = 26
132.34/26.83	c (15,0) x[3][2] = 19
132.34/26.83	c (15,0) x[3][3] = 0
132.34/26.83	c (15,0) x[3][4] = 8
132.34/26.83	c (15,0) x[3][5] = 16
132.34/26.83	c (15,0) x[3][6] = 5
132.34/26.83	c (15,0) x[3][7] = 9
132.34/26.83	c (15,0) x[3][8] = 15
132.34/26.83	c (15,0) x[3][9] = 29
132.34/26.83	c (15,0) x[3][10] = 22
132.34/26.83	c (15,0) x[3][11] = 17
132.34/26.83	c (15,0) x[3][12] = 11
132.34/26.83	c (15,0) x[3][13] = 3
132.34/26.83	c (15,0) x[3][14] = 12
132.34/26.83	c (15,0) x[3][15] = 24
132.34/26.83	c (15,0) x[3][16] = 4
132.34/26.83	c (15,0) x[3][17] = 10
132.34/26.83	c (15,0) x[3][18] = 25
132.34/26.83	c (15,0) x[3][19] = 7
132.34/26.83	c (15,0) x[3][20] = 28
132.34/26.83	c (15,0) x[3][21] = 20
132.34/26.83	c (15,0) x[3][22] = 27
132.34/26.83	c (15,0) x[3][23] = 23
132.34/26.83	c (15,0) x[3][24] = 1
132.34/26.83	c (15,0) x[3][25] = 18
132.34/26.83	c (15,0) x[3][26] = 14
132.34/26.83	c (15,0) x[3][27] = 6
132.34/26.83	c (15,0) x[3][28] = 2
132.34/26.83	c (15,0) x[3][29] = 13
132.34/26.83	c (15,0) x[4][0] = 0
132.34/26.83	c (15,0) x[4][1] = 16
132.34/26.83	c (15,0) x[4][2] = 3
132.34/26.83	c (15,0) x[4][3] = 2
132.34/26.83	c (15,0) x[4][4] = 27
132.34/26.83	c (15,0) x[4][5] = 24
132.34/26.83	c (15,0) x[4][6] = 1
132.34/26.83	c (15,0) x[4][7] = 8
132.34/26.83	c (15,0) x[4][8] = 17
132.34/26.83	c (15,0) x[4][9] = 14
132.34/26.83	c (15,0) x[4][10] = 21
132.34/26.83	c (15,0) x[4][11] = 7
132.34/26.83	c (15,0) x[4][12] = 9
132.34/26.83	c (15,0) x[4][13] = 12
132.34/26.83	c (15,0) x[4][14] = 19
132.34/26.83	c (15,0) x[4][15] = 13
132.34/26.83	c (15,0) x[4][16] = 23
132.34/26.83	c (15,0) x[4][17] = 5
132.34/26.83	c (15,0) x[4][18] = 10
132.34/26.83	c (15,0) x[4][19] = 28
132.34/26.83	c (15,0) x[4][20] = 29
132.34/26.83	c (15,0) x[4][21] = 6
132.34/26.83	c (15,0) x[4][22] = 20
132.34/26.83	c (15,0) x[4][23] = 26
132.34/26.83	c (15,0) x[4][24] = 11
132.34/26.83	c (15,0) x[4][25] = 25
132.34/26.83	c (15,0) x[4][26] = 15
132.34/26.83	c (15,0) x[4][27] = 4
132.34/26.83	c (15,0) x[4][28] = 18
132.34/26.83	c (15,0) x[4][29] = 22
132.34/26.83	c (15,0) x[5][0] = 6
132.34/26.83	c (15,0) x[5][1] = 0
132.34/26.83	c (15,0) x[5][2] = 24
132.34/26.83	c (15,0) x[5][3] = 10
132.34/26.84	c (15,0) x[5][4] = 16
132.34/26.84	c (15,0) x[5][5] = 11
132.34/26.84	c (15,0) x[5][6] = 12
132.34/26.84	c (15,0) x[5][7] = 23
132.34/26.84	c (15,0) x[5][8] = 14
132.34/26.84	c (15,0) x[5][9] = 15
132.34/26.84	c (15,0) x[5][10] = 3
132.34/26.84	c (15,0) x[5][11] = 19
132.34/26.84	c (15,0) x[5][12] = 13
132.34/26.84	c (15,0) x[5][13] = 22
132.34/26.84	c (15,0) x[5][14] = 8
132.34/26.84	c (15,0) x[5][15] = 9
132.34/26.84	c (15,0) x[5][16] = 27
132.34/26.84	c (15,0) x[5][17] = 17
132.34/26.84	c (15,0) x[5][18] = 20
132.34/26.84	c (15,0) x[5][19] = 4
132.34/26.84	c (15,0) x[5][20] = 18
132.34/26.84	c (15,0) x[5][21] = 1
132.34/26.84	c (15,0) x[5][22] = 26
132.34/26.84	c (15,0) x[5][23] = 29
132.34/26.84	c (15,0) x[5][24] = 2
132.34/26.84	c (15,0) x[5][25] = 5
132.34/26.84	c (15,0) x[5][26] = 21
132.34/26.84	c (15,0) x[5][27] = 25
132.34/26.84	c (15,0) x[5][28] = 7
132.34/26.84	c (15,0) x[5][29] = 28
132.34/26.84	c (15,0) x[6][0] = 13
132.34/26.84	c (15,0) x[6][1] = 11
132.34/26.84	c (15,0) x[6][2] = 5
132.34/26.84	c (15,0) x[6][3] = 22
132.34/26.84	c (15,0) x[6][4] = 9
132.34/26.84	c (15,0) x[6][5] = 15
132.34/26.84	c (15,0) x[6][6] = 25
132.34/26.84	c (15,0) x[6][7] = 3
132.34/26.84	c (15,0) x[6][8] = 26
132.34/26.84	c (15,0) x[6][9] = 1
132.34/26.84	c (15,0) x[6][10] = 12
132.34/26.84	c (15,0) x[6][11] = 23
132.34/26.84	c (15,0) x[6][12] = 8
132.34/26.84	c (15,0) x[6][13] = 20
132.34/26.84	c (15,0) x[6][14] = 0
132.34/26.84	c (15,0) x[6][15] = 2
132.34/26.84	c (15,0) x[6][16] = 16
132.34/26.84	c (15,0) x[6][17] = 29
132.34/26.84	c (15,0) x[6][18] = 7
132.34/26.84	c (15,0) x[6][19] = 24
132.34/26.84	c (15,0) x[6][20] = 6
132.34/26.84	c (15,0) x[6][21] = 18
132.34/26.84	c (15,0) x[6][22] = 28
132.34/26.84	c (15,0) x[6][23] = 14
132.34/26.84	c (15,0) x[6][24] = 19
132.34/26.84	c (15,0) x[6][25] = 17
132.34/26.84	c (15,0) x[6][26] = 27
132.34/26.84	c (15,0) x[6][27] = 10
132.34/26.84	c (15,0) x[6][28] = 21
132.34/26.84	c (15,0) x[6][29] = 4
132.34/26.84	c (15,0) x[7][0] = 11
132.34/26.84	c (15,0) x[7][1] = 15
132.34/26.84	c (15,0) x[7][2] = 1
132.34/26.84	c (15,0) x[7][3] = 6
132.34/26.84	c (15,0) x[7][4] = 7
132.34/26.84	c (15,0) x[7][5] = 0
132.34/26.84	c (15,0) x[7][6] = 8
132.34/26.84	c (15,0) x[7][7] = 29
132.34/26.84	c (15,0) x[7][8] = 27
132.34/26.84	c (15,0) x[7][9] = 24
132.34/26.84	c (15,0) x[7][10] = 20
132.34/26.84	c (15,0) x[7][11] = 13
132.34/26.84	c (15,0) x[7][12] = 19
132.34/26.84	c (15,0) x[7][13] = 17
132.34/26.84	c (15,0) x[7][14] = 18
132.34/26.84	c (15,0) x[7][15] = 21
132.34/26.84	c (15,0) x[7][16] = 9
132.34/26.84	c (15,0) x[7][17] = 14
132.34/26.84	c (15,0) x[7][18] = 28
132.34/26.84	c (15,0) x[7][19] = 25
132.34/26.84	c (15,0) x[7][20] = 26
132.34/26.84	c (15,0) x[7][21] = 2
132.34/26.84	c (15,0) x[7][22] = 3
132.34/26.84	c (15,0) x[7][23] = 10
132.34/26.84	c (15,0) x[7][24] = 16
132.34/26.84	c (15,0) x[7][25] = 4
132.34/26.84	c (15,0) x[7][26] = 12
132.34/26.84	c (15,0) x[7][27] = 22
132.34/26.84	c (15,0) x[7][28] = 5
132.34/26.84	c (15,0) x[7][29] = 23
132.34/26.84	c (15,0) x[8][0] = 18
132.34/26.84	c (15,0) x[8][1] = 19
132.34/26.84	c (15,0) x[8][2] = 27
132.34/26.84	c (15,0) x[8][3] = 7
132.34/26.84	c (15,0) x[8][4] = 10
132.34/26.84	c (15,0) x[8][5] = 29
132.34/26.84	c (15,0) x[8][6] = 28
132.34/26.84	c (15,0) x[8][7] = 6
132.34/26.84	c (15,0) x[8][8] = 5
132.34/26.84	c (15,0) x[8][9] = 12
132.34/26.84	c (15,0) x[8][10] = 4
132.34/26.84	c (15,0) x[8][11] = 26
132.34/26.84	c (15,0) x[8][12] = 2
132.34/26.84	c (15,0) x[8][13] = 16
132.34/26.84	c (15,0) x[8][14] = 17
132.34/26.84	c (15,0) x[8][15] = 20
132.34/26.84	c (15,0) x[8][16] = 14
132.34/26.84	c (15,0) x[8][17] = 13
132.34/26.84	c (15,0) x[8][18] = 22
132.34/26.84	c (15,0) x[8][19] = 23
132.34/26.84	c (15,0) x[8][20] = 11
132.34/26.84	c (15,0) x[8][21] = 3
132.34/26.84	c (15,0) x[8][22] = 24
132.34/26.84	c (15,0) x[8][23] = 8
132.34/26.84	c (15,0) x[8][24] = 25
132.34/26.84	c (15,0) x[8][25] = 21
132.34/26.84	c (15,0) x[8][26] = 0
132.34/26.84	c (15,0) x[8][27] = 9
132.34/26.84	c (15,0) x[8][28] = 15
132.34/26.84	c (15,0) x[8][29] = 1
132.34/26.84	c (15,0) x[9][0] = 1
132.34/26.84	c (15,0) x[9][1] = 2
132.34/26.84	c (15,0) x[9][2] = 20
132.34/26.84	c (15,0) x[9][3] = 23
132.34/26.84	c (15,0) x[9][4] = 25
132.34/26.84	c (15,0) x[9][5] = 28
132.34/26.84	c (15,0) x[9][6] = 4
132.34/26.84	c (15,0) x[9][7] = 0
132.34/26.84	c (15,0) x[9][8] = 13
132.34/26.84	c (15,0) x[9][9] = 11
132.34/26.84	c (15,0) x[9][10] = 7
132.34/26.84	c (15,0) x[9][11] = 16
132.34/26.84	c (15,0) x[9][12] = 12
132.34/26.84	c (15,0) x[9][13] = 5
132.34/26.84	c (15,0) x[9][14] = 29
132.34/26.84	c (15,0) x[9][15] = 22
132.34/26.84	c (15,0) x[9][16] = 17
132.34/26.84	c (15,0) x[9][17] = 9
132.34/26.84	c (15,0) x[9][18] = 24
132.34/26.84	c (15,0) x[9][19] = 27
132.34/26.84	c (15,0) x[9][20] = 21
132.34/26.84	c (15,0) x[9][21] = 14
132.34/26.84	c (15,0) x[9][22] = 8
132.34/26.84	c (15,0) x[9][23] = 15
132.34/26.84	c (15,0) x[9][24] = 26
132.34/26.84	c (15,0) x[9][25] = 10
132.34/26.84	c (15,0) x[9][26] = 3
132.34/26.84	c (15,0) x[9][27] = 18
132.34/26.84	c (15,0) x[9][28] = 6
132.34/26.84	c (15,0) x[9][29] = 19
132.34/26.84	c (15,0) x[10][0] = 15
132.34/26.84	c (15,0) x[10][1] = 27
132.34/26.84	c (15,0) x[10][2] = 9
132.34/26.84	c (15,0) x[10][3] = 14
132.34/26.84	c (15,0) x[10][4] = 18
132.34/26.84	c (15,0) x[10][5] = 10
132.34/26.84	c (15,0) x[10][6] = 6
132.34/26.84	c (15,0) x[10][7] = 26
132.34/26.84	c (15,0) x[10][8] = 23
132.34/26.84	c (15,0) x[10][9] = 19
132.34/26.84	c (15,0) x[10][10] = 5
132.34/26.84	c (15,0) x[10][11] = 25
132.34/26.84	c (15,0) x[10][12] = 3
132.34/26.84	c (15,0) x[10][13] = 28
132.34/26.84	c (15,0) x[10][14] = 22
132.34/26.84	c (15,0) x[10][15] = 29
132.34/26.84	c (15,0) x[10][16] = 8
132.34/26.84	c (15,0) x[10][17] = 20
132.34/26.84	c (15,0) x[10][18] = 1
132.34/26.84	c (15,0) x[10][19] = 2
132.34/26.84	c (15,0) x[10][20] = 0
132.34/26.84	c (15,0) x[10][21] = 21
132.34/26.84	c (15,0) x[10][22] = 16
132.34/26.84	c (15,0) x[10][23] = 4
132.34/26.84	c (15,0) x[10][24] = 13
132.34/26.84	c (15,0) x[10][25] = 12
132.34/26.84	c (15,0) x[10][26] = 7
132.34/26.84	c (15,0) x[10][27] = 24
132.34/26.84	c (15,0) x[10][28] = 11
132.34/26.84	c (15,0) x[10][29] = 17
132.34/26.84	c (15,0) x[11][0] = 2
132.34/26.84	c (15,0) x[11][1] = 14
132.34/26.84	c (15,0) x[11][2] = 12
132.34/26.84	c (15,0) x[11][3] = 1
132.34/26.84	c (15,0) x[11][4] = 4
132.34/26.84	c (15,0) x[11][5] = 17
132.34/26.84	c (15,0) x[11][6] = 19
132.34/26.84	c (15,0) x[11][7] = 22
132.34/26.84	c (15,0) x[11][8] = 25
132.34/26.84	c (15,0) x[11][9] = 26
132.34/26.84	c (15,0) x[11][10] = 8
132.34/26.84	c (15,0) x[11][11] = 6
132.34/26.84	c (15,0) x[11][12] = 21
132.34/26.84	c (15,0) x[11][13] = 0
132.34/26.84	c (15,0) x[11][14] = 27
132.34/26.84	c (15,0) x[11][15] = 3
132.34/26.84	c (15,0) x[11][16] = 18
132.34/26.84	c (15,0) x[11][17] = 15
132.34/26.84	c (15,0) x[11][18] = 13
132.34/26.84	c (15,0) x[11][19] = 9
132.34/26.84	c (15,0) x[11][20] = 5
132.34/26.84	c (15,0) x[11][21] = 16
132.34/26.84	c (15,0) x[11][22] = 10
132.34/26.84	c (15,0) x[11][23] = 28
132.34/26.84	c (15,0) x[11][24] = 7
132.34/26.84	c (15,0) x[11][25] = 23
132.34/26.84	c (15,0) x[11][26] = 20
132.34/26.84	c (15,0) x[11][27] = 29
132.34/26.84	c (15,0) x[11][28] = 24
132.34/26.84	c (15,0) x[11][29] = 11
132.34/26.84	c (15,0) x[12][0] = 3
132.34/26.84	c (15,0) x[12][1] = 21
132.34/26.84	c (15,0) x[12][2] = 11
132.34/26.84	c (15,0) x[12][3] = 20
132.34/26.84	c (15,0) x[12][4] = 5
132.34/26.84	c (15,0) x[12][5] = 22
132.34/26.84	c (15,0) x[12][6] = 2
132.34/26.84	c (15,0) x[12][7] = 14
132.34/26.84	c (15,0) x[12][8] = 6
132.34/26.84	c (15,0) x[12][9] = 16
132.34/26.84	c (15,0) x[12][10] = 24
132.34/26.84	c (15,0) x[12][11] = 29
132.34/26.84	c (15,0) x[12][12] = 15
132.34/26.84	c (15,0) x[12][13] = 4
132.34/26.84	c (15,0) x[12][14] = 28
132.34/26.84	c (15,0) x[12][15] = 8
132.34/26.84	c (15,0) x[12][16] = 19
132.34/26.84	c (15,0) x[12][17] = 23
132.34/26.84	c (15,0) x[12][18] = 18
132.34/26.84	c (15,0) x[12][19] = 26
132.34/26.84	c (15,0) x[12][20] = 17
132.34/26.84	c (15,0) x[12][21] = 12
132.34/26.84	c (15,0) x[12][22] = 7
132.34/26.84	c (15,0) x[12][23] = 9
132.34/26.84	c (15,0) x[12][24] = 27
132.34/26.84	c (15,0) x[12][25] = 0
132.34/26.84	c (15,0) x[12][26] = 1
132.34/26.84	c (15,0) x[12][27] = 13
132.34/26.84	c (15,0) x[12][28] = 25
132.34/26.84	c (15,0) x[12][29] = 10
132.34/26.84	c (15,0) x[13][0] = 10
132.34/26.84	c (15,0) x[13][1] = 29
132.34/26.84	c (15,0) x[13][2] = 15
132.34/26.84	c (15,0) x[13][3] = 9
132.34/26.84	c (15,0) x[13][4] = 13
132.34/26.84	c (15,0) x[13][5] = 20
132.34/26.84	c (15,0) x[13][6] = 11
132.34/26.84	c (15,0) x[13][7] = 18
132.34/26.84	c (15,0) x[13][8] = 0
132.34/26.84	c (15,0) x[13][9] = 25
132.34/26.84	c (15,0) x[13][10] = 26
132.34/26.84	c (15,0) x[13][11] = 12
132.34/26.84	c (15,0) x[13][12] = 7
132.34/26.84	c (15,0) x[13][13] = 21
132.34/26.84	c (15,0) x[13][14] = 1
132.34/26.84	c (15,0) x[13][15] = 17
132.34/26.84	c (15,0) x[13][16] = 24
132.34/26.84	c (15,0) x[13][17] = 4
132.34/26.84	c (15,0) x[13][18] = 14
132.34/26.84	c (15,0) x[13][19] = 6
132.34/26.84	c (15,0) x[13][20] = 19
132.34/26.84	c (15,0) x[13][21] = 28
132.34/26.84	c (15,0) x[13][22] = 23
132.34/26.84	c (15,0) x[13][23] = 2
132.34/26.84	c (15,0) x[13][24] = 3
132.34/26.84	c (15,0) x[13][25] = 8
132.34/26.84	c (15,0) x[13][26] = 16
132.34/26.84	c (15,0) x[13][27] = 5
132.34/26.84	c (15,0) x[13][28] = 22
132.34/26.84	c (15,0) x[13][29] = 27
132.34/26.84	c (15,0) x[14][0] = 17
132.34/26.84	c (15,0) x[14][1] = 1
132.34/26.84	c (15,0) x[14][2] = 28
132.34/26.84	c (15,0) x[14][3] = 24
132.34/26.84	c (15,0) x[14][4] = 2
132.34/26.84	c (15,0) x[14][5] = 8
132.34/26.84	c (15,0) x[14][6] = 9
132.34/26.84	c (15,0) x[14][7] = 27
132.34/26.84	c (15,0) x[14][8] = 29
132.34/26.84	c (15,0) x[14][9] = 5
132.34/26.84	c (15,0) x[14][10] = 11
132.34/26.84	c (15,0) x[14][11] = 21
132.34/26.84	c (15,0) x[14][12] = 22
132.34/26.84	c (15,0) x[14][13] = 10
132.34/26.84	c (15,0) x[14][14] = 15
132.34/26.84	c (15,0) x[14][15] = 0
132.34/26.84	c (15,0) x[14][16] = 13
132.34/26.84	c (15,0) x[14][17] = 7
132.34/26.84	c (15,0) x[14][18] = 4
132.34/26.84	c (15,0) x[14][19] = 12
132.34/26.84	c (15,0) x[14][20] = 3
132.34/26.84	c (15,0) x[14][21] = 19
132.34/26.84	c (15,0) x[14][22] = 6
132.34/26.84	c (15,0) x[14][23] = 18
132.34/26.84	c (15,0) x[14][24] = 23
132.34/26.84	c (15,0) x[14][25] = 14
132.34/26.84	c (15,0) x[14][26] = 25
132.34/26.84	c (15,0) x[14][27] = 20
132.34/26.84	c (15,0) x[14][28] = 16
132.34/26.84	c (15,0) x[14][29] = 26
132.34/26.84	c (15,0) x[15][0] = 4
132.34/26.84	c (15,0) x[15][1] = 23
132.34/26.84	c (15,0) x[15][2] = 16
132.34/26.84	c (15,0) x[15][3] = 5
132.34/26.84	c (15,0) x[15][4] = 24
132.34/26.84	c (15,0) x[15][5] = 13
132.34/26.84	c (15,0) x[15][6] = 21
132.34/26.84	c (15,0) x[15][7] = 17
132.34/26.84	c (15,0) x[15][8] = 9
132.34/26.84	c (15,0) x[15][9] = 18
132.34/26.84	c (15,0) x[15][10] = 0
132.34/26.84	c (15,0) x[15][11] = 15
132.34/26.84	c (15,0) x[15][12] = 28
132.34/26.84	c (15,0) x[15][13] = 1
132.34/26.84	c (15,0) x[15][14] = 7
132.34/26.84	c (15,0) x[15][15] = 12
132.34/26.84	c (15,0) x[15][16] = 29
132.34/26.84	c (15,0) x[15][17] = 19
132.34/26.84	c (15,0) x[15][18] = 3
132.34/26.84	c (15,0) x[15][19] = 11
132.34/26.84	c (15,0) x[15][20] = 8
132.34/26.84	c (15,0) x[15][21] = 27
132.34/26.84	c (15,0) x[15][22] = 2
132.34/26.84	c (15,0) x[15][23] = 22
132.34/26.84	c (15,0) x[15][24] = 6
132.34/26.84	c (15,0) x[15][25] = 20
132.34/26.84	c (15,0) x[15][26] = 10
132.34/26.84	c (15,0) x[15][27] = 26
132.34/26.84	c (15,0) x[15][28] = 14
132.34/26.84	c (15,0) x[15][29] = 25
132.34/26.84	c (15,0) x[16][0] = 29
132.34/26.84	c (15,0) x[16][1] = 7
132.34/26.84	c (15,0) x[16][2] = 4
132.34/26.84	c (15,0) x[16][3] = 17
132.34/26.84	c (15,0) x[16][4] = 6
132.34/26.84	c (15,0) x[16][5] = 26
132.34/26.84	c (15,0) x[16][6] = 15
132.34/26.84	c (15,0) x[16][7] = 13
132.34/26.84	c (15,0) x[16][8] = 20
132.34/26.84	c (15,0) x[16][9] = 2
132.34/26.84	c (15,0) x[16][10] = 1
132.34/26.84	c (15,0) x[16][11] = 18
132.34/26.84	c (15,0) x[16][12] = 10
132.34/26.84	c (15,0) x[16][13] = 8
132.34/26.84	c (15,0) x[16][14] = 25
132.34/26.84	c (15,0) x[16][15] = 28
132.34/26.84	c (15,0) x[16][16] = 11
132.34/26.84	c (15,0) x[16][17] = 12
132.34/26.84	c (15,0) x[16][18] = 0
132.34/26.84	c (15,0) x[16][19] = 16
132.34/26.84	c (15,0) x[16][20] = 14
132.34/26.84	c (15,0) x[16][21] = 23
132.34/26.84	c (15,0) x[16][22] = 19
132.34/26.84	c (15,0) x[16][23] = 3
132.34/26.84	c (15,0) x[16][24] = 5
132.34/26.84	c (15,0) x[16][25] = 9
132.34/26.84	c (15,0) x[16][26] = 22
132.34/26.84	c (15,0) x[16][27] = 21
132.34/26.84	c (15,0) x[16][28] = 27
132.34/26.84	c (15,0) x[16][29] = 24
132.34/26.84	c (15,0) x[17][0] = 22
132.34/26.84	c (15,0) x[17][1] = 6
132.34/26.84	c (15,0) x[17][2] = 8
132.34/26.84	c (15,0) x[17][3] = 26
132.34/26.84	c (15,0) x[17][4] = 20
132.34/26.84	c (15,0) x[17][5] = 7
132.34/26.84	c (15,0) x[17][6] = 10
132.34/26.84	c (15,0) x[17][7] = 19
132.34/26.84	c (15,0) x[17][8] = 24
132.34/26.84	c (15,0) x[17][9] = 27
132.34/26.84	c (15,0) x[17][10] = 15
132.34/26.84	c (15,0) x[17][11] = 0
132.34/26.84	c (15,0) x[17][12] = 23
132.34/26.84	c (15,0) x[17][13] = 2
132.34/26.84	c (15,0) x[17][14] = 3
132.34/26.84	c (15,0) x[17][15] = 16
132.34/26.84	c (15,0) x[17][16] = 12
132.34/26.84	c (15,0) x[17][17] = 18
132.34/26.84	c (15,0) x[17][18] = 5
132.34/26.84	c (15,0) x[17][19] = 14
132.34/26.84	c (15,0) x[17][20] = 25
132.34/26.84	c (15,0) x[17][21] = 29
132.34/26.84	c (15,0) x[17][22] = 4
132.34/26.84	c (15,0) x[17][23] = 17
132.34/26.84	c (15,0) x[17][24] = 28
132.34/26.84	c (15,0) x[17][25] = 1
132.34/26.84	c (15,0) x[17][26] = 13
132.34/26.84	c (15,0) x[17][27] = 11
132.34/26.84	c (15,0) x[17][28] = 9
132.34/26.84	c (15,0) x[17][29] = 21
132.34/26.84	c (15,0) x[18][0] = 26
132.34/26.84	c (15,0) x[18][1] = 3
132.34/26.84	c (15,0) x[18][2] = 18
132.34/26.84	c (15,0) x[18][3] = 27
132.34/26.84	c (15,0) x[18][4] = 17
132.34/26.84	c (15,0) x[18][5] = 1
132.34/26.84	c (15,0) x[18][6] = 14
132.34/26.84	c (15,0) x[18][7] = 20
132.34/26.84	c (15,0) x[18][8] = 4
132.34/26.84	c (15,0) x[18][9] = 10
132.34/26.84	c (15,0) x[18][10] = 25
132.34/26.84	c (15,0) x[18][11] = 28
132.34/26.84	c (15,0) x[18][12] = 24
132.34/26.84	c (15,0) x[18][13] = 19
132.34/26.84	c (15,0) x[18][14] = 13
132.34/26.84	c (15,0) x[18][15] = 5
132.34/26.84	c (15,0) x[18][16] = 15
132.34/26.84	c (15,0) x[18][17] = 2
132.34/26.84	c (15,0) x[18][18] = 21
132.34/26.84	c (15,0) x[18][19] = 0
132.34/26.84	c (15,0) x[18][20] = 9
132.34/26.84	c (15,0) x[18][21] = 11
132.34/26.84	c (15,0) x[18][22] = 22
132.34/26.84	c (15,0) x[18][23] = 12
132.34/26.84	c (15,0) x[18][24] = 8
132.34/26.84	c (15,0) x[18][25] = 7
132.34/26.84	c (15,0) x[18][26] = 6
132.34/26.84	c (15,0) x[18][27] = 16
132.34/26.84	c (15,0) x[18][28] = 23
132.34/26.84	c (15,0) x[18][29] = 29
132.34/26.84	c (15,0) x[19][0] = 5
132.34/26.84	c (15,0) x[19][1] = 4
132.34/26.84	c (15,0) x[19][2] = 25
132.34/26.84	c (15,0) x[19][3] = 11
132.34/26.84	c (15,0) x[19][4] = 1
132.34/26.84	c (15,0) x[19][5] = 23
132.34/26.84	c (15,0) x[19][6] = 22
132.34/26.84	c (15,0) x[19][7] = 21
132.34/26.84	c (15,0) x[19][8] = 7
132.34/26.84	c (15,0) x[19][9] = 20
132.34/26.84	c (15,0) x[19][10] = 2
132.34/26.84	c (15,0) x[19][11] = 14
132.34/26.84	c (15,0) x[19][12] = 6
132.34/26.84	c (15,0) x[19][13] = 18
132.34/26.84	c (15,0) x[19][14] = 10
132.34/26.84	c (15,0) x[19][15] = 19
132.34/26.84	c (15,0) x[19][16] = 28
132.34/26.84	c (15,0) x[19][17] = 24
132.34/26.84	c (15,0) x[19][18] = 15
132.34/26.84	c (15,0) x[19][19] = 8
132.34/26.84	c (15,0) x[19][20] = 27
132.34/26.84	c (15,0) x[19][21] = 26
132.34/26.84	c (15,0) x[19][22] = 29
132.34/26.84	c (15,0) x[19][23] = 16
132.34/26.84	c (15,0) x[19][24] = 17
132.34/26.84	c (15,0) x[19][25] = 13
132.34/26.84	c (15,0) x[19][26] = 9
132.34/26.84	c (15,0) x[19][27] = 0
132.34/26.84	c (15,0) x[19][28] = 12
132.34/26.84	c (15,0) x[19][29] = 3
132.34/26.84	c (15,0) x[20][0] = 27
132.34/26.84	c (15,0) x[20][1] = 13
132.34/26.84	c (15,0) x[20][2] = 21
132.34/26.84	c (15,0) x[20][3] = 29
132.34/26.84	c (15,0) x[20][4] = 15
132.34/26.84	c (15,0) x[20][5] = 2
132.34/26.84	c (15,0) x[20][6] = 17
132.34/26.84	c (15,0) x[20][7] = 4
132.34/26.84	c (15,0) x[20][8] = 1
132.34/26.84	c (15,0) x[20][9] = 23
132.34/26.84	c (15,0) x[20][10] = 18
132.34/26.84	c (15,0) x[20][11] = 3
132.34/26.84	c (15,0) x[20][12] = 16
132.34/26.84	c (15,0) x[20][13] = 9
132.34/26.84	c (15,0) x[20][14] = 14
132.34/26.84	c (15,0) x[20][15] = 6
132.34/26.84	c (15,0) x[20][16] = 7
132.34/26.84	c (15,0) x[20][17] = 28
132.34/26.84	c (15,0) x[20][18] = 26
132.34/26.84	c (15,0) x[20][19] = 22
132.34/26.84	c (15,0) x[20][20] = 10
132.34/26.84	c (15,0) x[20][21] = 8
132.34/26.84	c (15,0) x[20][22] = 25
132.34/26.84	c (15,0) x[20][23] = 5
132.34/26.84	c (15,0) x[20][24] = 24
132.34/26.84	c (15,0) x[20][25] = 19
132.34/26.84	c (15,0) x[20][26] = 11
132.34/26.84	c (15,0) x[20][27] = 12
132.34/26.84	c (15,0) x[20][28] = 20
132.34/26.84	c (15,0) x[20][29] = 0
132.34/26.84	c (15,0) x[21][0] = 16
132.34/26.84	c (15,0) x[21][1] = 10
132.34/26.84	c (15,0) x[21][2] = 22
132.34/26.84	c (15,0) x[21][3] = 18
132.34/26.84	c (15,0) x[21][4] = 23
132.34/26.84	c (15,0) x[21][5] = 9
132.34/26.84	c (15,0) x[21][6] = 29
132.34/26.84	c (15,0) x[21][7] = 7
132.34/26.84	c (15,0) x[21][8] = 12
132.34/26.84	c (15,0) x[21][9] = 0
132.34/26.84	c (15,0) x[21][10] = 28
132.34/26.84	c (15,0) x[21][11] = 8
132.34/26.84	c (15,0) x[21][12] = 5
132.34/26.84	c (15,0) x[21][13] = 25
132.34/26.84	c (15,0) x[21][14] = 4
132.34/26.84	c (15,0) x[21][15] = 27
132.34/26.84	c (15,0) x[21][16] = 26
132.34/26.84	c (15,0) x[21][17] = 11
132.34/26.84	c (15,0) x[21][18] = 2
132.34/26.84	c (15,0) x[21][19] = 13
132.34/26.84	c (15,0) x[21][20] = 1
132.34/26.84	c (15,0) x[21][21] = 15
132.34/26.84	c (15,0) x[21][22] = 17
132.34/26.84	c (15,0) x[21][23] = 21
132.34/26.84	c (15,0) x[21][24] = 20
132.34/26.84	c (15,0) x[21][25] = 3
132.34/26.84	c (15,0) x[21][26] = 24
132.34/26.84	c (15,0) x[21][27] = 14
132.34/26.84	c (15,0) x[21][28] = 19
132.34/26.84	c (15,0) x[21][29] = 6
132.34/26.84	c (15,0) x[22][0] = 12
132.34/26.84	c (15,0) x[22][1] = 22
132.34/26.84	c (15,0) x[22][2] = 14
132.34/26.84	c (15,0) x[22][3] = 16
132.34/26.84	c (15,0) x[22][4] = 0
132.34/26.84	c (15,0) x[22][5] = 27
132.34/26.84	c (15,0) x[22][6] = 20
132.34/26.84	c (15,0) x[22][7] = 25
132.34/26.84	c (15,0) x[22][8] = 2
132.34/26.84	c (15,0) x[22][9] = 28
132.34/26.84	c (15,0) x[22][10] = 10
132.34/26.84	c (15,0) x[22][11] = 4
132.34/26.84	c (15,0) x[22][12] = 1
132.34/26.84	c (15,0) x[22][13] = 6
132.34/26.84	c (15,0) x[22][14] = 26
132.34/26.84	c (15,0) x[22][15] = 7
132.34/26.84	c (15,0) x[22][16] = 5
132.34/26.84	c (15,0) x[22][17] = 21
132.34/26.84	c (15,0) x[22][18] = 8
132.34/26.84	c (15,0) x[22][19] = 3
132.34/26.84	c (15,0) x[22][20] = 15
132.34/26.84	c (15,0) x[22][21] = 13
132.34/26.84	c (15,0) x[22][22] = 11
132.34/26.84	c (15,0) x[22][23] = 19
132.34/26.84	c (15,0) x[22][24] = 9
132.34/26.84	c (15,0) x[22][25] = 24
132.34/26.84	c (15,0) x[22][26] = 29
132.34/26.84	c (15,0) x[22][27] = 23
132.34/26.84	c (15,0) x[22][28] = 17
132.34/26.84	c (15,0) x[22][29] = 18
132.34/26.84	c (15,0) x[23][0] = 8
132.34/26.84	c (15,0) x[23][1] = 9
132.34/26.84	c (15,0) x[23][2] = 10
132.34/26.84	c (15,0) x[23][3] = 12
132.34/26.84	c (15,0) x[23][4] = 19
132.34/26.84	c (15,0) x[23][5] = 18
132.34/26.84	c (15,0) x[23][6] = 26
132.34/26.84	c (15,0) x[23][7] = 28
132.34/26.84	c (15,0) x[23][8] = 3
132.34/26.84	c (15,0) x[23][9] = 21
132.34/26.84	c (15,0) x[23][10] = 23
132.34/26.84	c (15,0) x[23][11] = 22
132.34/26.84	c (15,0) x[23][12] = 25
132.34/26.84	c (15,0) x[23][13] = 24
132.34/26.84	c (15,0) x[23][14] = 11
132.34/26.84	c (15,0) x[23][15] = 14
132.34/26.84	c (15,0) x[23][16] = 0
132.34/26.84	c (15,0) x[23][17] = 1
132.34/26.84	c (15,0) x[23][18] = 6
132.34/26.84	c (15,0) x[23][19] = 29
132.34/26.84	c (15,0) x[23][20] = 7
132.34/26.84	c (15,0) x[23][21] = 5
132.34/26.84	c (15,0) x[23][22] = 13
132.34/26.84	c (15,0) x[23][23] = 20
132.34/26.84	c (15,0) x[23][24] = 15
132.34/26.84	c (15,0) x[23][25] = 16
132.34/26.84	c (15,0) x[23][26] = 17
132.34/26.84	c (15,0) x[23][27] = 27
132.34/26.84	c (15,0) x[23][28] = 4
132.34/26.84	c (15,0) x[23][29] = 2
132.34/26.84	c (15,0) x[24][0] = 28
132.34/26.84	c (15,0) x[24][1] = 24
132.34/26.84	c (15,0) x[24][2] = 26
132.34/26.84	c (15,0) x[24][3] = 3
132.34/26.84	c (15,0) x[24][4] = 11
132.34/26.84	c (15,0) x[24][5] = 4
132.34/26.84	c (15,0) x[24][6] = 7
132.34/26.84	c (15,0) x[24][7] = 10
132.34/26.84	c (15,0) x[24][8] = 16
132.34/26.84	c (15,0) x[24][9] = 8
132.34/26.84	c (15,0) x[24][10] = 9
132.34/26.84	c (15,0) x[24][11] = 2
132.34/26.84	c (15,0) x[24][12] = 17
132.34/26.84	c (15,0) x[24][13] = 23
132.34/26.84	c (15,0) x[24][14] = 21
132.34/26.84	c (15,0) x[24][15] = 25
132.34/26.84	c (15,0) x[24][16] = 6
132.34/26.84	c (15,0) x[24][17] = 22
132.34/26.84	c (15,0) x[24][18] = 19
132.34/26.84	c (15,0) x[24][19] = 20
132.34/26.84	c (15,0) x[24][20] = 13
132.34/26.84	c (15,0) x[24][21] = 0
132.34/26.84	c (15,0) x[24][22] = 18
132.34/26.84	c (15,0) x[24][23] = 1
132.34/26.84	c (15,0) x[24][24] = 14
132.34/26.84	c (15,0) x[24][25] = 27
132.34/26.84	c (15,0) x[24][26] = 5
132.34/26.84	c (15,0) x[24][27] = 15
132.34/26.84	c (15,0) x[24][28] = 29
132.34/26.84	c (15,0) x[24][29] = 12
132.34/26.84	c (15,0) x[25][0] = 20
132.34/26.84	c (15,0) x[25][1] = 8
132.34/26.84	c (15,0) x[25][2] = 7
132.34/26.84	c (15,0) x[25][3] = 25
132.34/26.84	c (15,0) x[25][4] = 14
132.34/26.84	c (15,0) x[25][5] = 19
132.34/26.84	c (15,0) x[25][6] = 24
132.34/26.84	c (15,0) x[25][7] = 5
132.34/26.84	c (15,0) x[25][8] = 21
132.34/26.84	c (15,0) x[25][9] = 22
132.34/26.84	c (15,0) x[25][10] = 13
132.34/26.84	c (15,0) x[25][11] = 11
132.34/26.84	c (15,0) x[25][12] = 27
132.34/26.84	c (15,0) x[25][13] = 26
132.34/26.84	c (15,0) x[25][14] = 16
132.34/26.84	c (15,0) x[25][15] = 15
132.34/26.84	c (15,0) x[25][16] = 1
132.34/26.84	c (15,0) x[25][17] = 3
132.34/26.84	c (15,0) x[25][18] = 17
132.34/26.84	c (15,0) x[25][19] = 18
132.34/26.84	c (15,0) x[25][20] = 23
132.34/26.84	c (15,0) x[25][21] = 10
132.34/26.84	c (15,0) x[25][22] = 12
132.34/26.84	c (15,0) x[25][23] = 6
132.34/26.84	c (15,0) x[25][24] = 4
132.34/26.84	c (15,0) x[25][25] = 29
132.34/26.84	c (15,0) x[25][26] = 2
132.34/26.84	c (15,0) x[25][27] = 28
132.34/26.84	c (15,0) x[25][28] = 0
132.34/26.84	c (15,0) x[25][29] = 9
132.34/26.84	c (15,0) x[26][0] = 9
132.34/26.84	c (15,0) x[26][1] = 28
132.34/26.84	c (15,0) x[26][2] = 0
132.34/26.84	c (15,0) x[26][3] = 13
132.34/26.84	c (15,0) x[26][4] = 26
132.34/26.84	c (15,0) x[26][5] = 25
132.34/26.84	c (15,0) x[26][6] = 3
132.34/26.84	c (15,0) x[26][7] = 12
132.34/26.84	c (15,0) x[26][8] = 8
132.34/26.84	c (15,0) x[26][9] = 4
132.34/26.84	c (15,0) x[26][10] = 19
132.34/26.84	c (15,0) x[26][11] = 24
132.34/26.84	c (15,0) x[26][12] = 14
132.34/26.84	c (15,0) x[26][13] = 29
132.34/26.84	c (15,0) x[26][14] = 5
132.34/26.84	c (15,0) x[26][15] = 11
132.34/26.84	c (15,0) x[26][16] = 10
132.34/26.84	c (15,0) x[26][17] = 6
132.34/26.84	c (15,0) x[26][18] = 23
132.34/26.84	c (15,0) x[26][19] = 17
132.34/26.84	c (15,0) x[26][20] = 16
132.34/26.84	c (15,0) x[26][21] = 7
132.34/26.84	c (15,0) x[26][22] = 15
132.34/26.84	c (15,0) x[26][23] = 27
132.34/26.84	c (15,0) x[26][24] = 21
132.34/26.84	c (15,0) x[26][25] = 22
132.34/26.84	c (15,0) x[26][26] = 18
132.34/26.84	c (15,0) x[26][27] = 2
132.34/26.84	c (15,0) x[26][28] = 1
132.34/26.84	c (15,0) x[26][29] = 20
132.34/26.84	c (15,0) x[27][0] = 25
132.34/26.84	c (15,0) x[27][1] = 5
132.34/26.84	c (15,0) x[27][2] = 13
132.34/26.84	c (15,0) x[27][3] = 19
132.34/26.84	c (15,0) x[27][4] = 21
132.34/26.84	c (15,0) x[27][5] = 6
132.34/26.84	c (15,0) x[27][6] = 23
132.34/26.84	c (15,0) x[27][7] = 15
132.34/26.84	c (15,0) x[27][8] = 18
132.34/26.84	c (15,0) x[27][9] = 9
132.34/26.84	c (15,0) x[27][10] = 17
132.34/26.84	c (15,0) x[27][11] = 10
132.34/26.84	c (15,0) x[27][12] = 29
132.34/26.84	c (15,0) x[27][13] = 11
132.34/26.84	c (15,0) x[27][14] = 20
132.34/26.84	c (15,0) x[27][15] = 4
132.34/26.84	c (15,0) x[27][16] = 2
132.34/26.84	c (15,0) x[27][17] = 16
132.34/26.84	c (15,0) x[27][18] = 27
132.34/26.84	c (15,0) x[27][19] = 1
132.34/26.84	c (15,0) x[27][20] = 12
132.34/26.84	c (15,0) x[27][21] = 24
132.34/26.84	c (15,0) x[27][22] = 0
132.34/26.84	c (15,0) x[27][23] = 7
132.34/26.84	c (15,0) x[27][24] = 22
132.34/26.84	c (15,0) x[27][25] = 26
132.34/26.84	c (15,0) x[27][26] = 28
132.34/26.84	c (15,0) x[27][27] = 3
132.34/26.84	c (15,0) x[27][28] = 8
132.34/26.84	c (15,0) x[27][29] = 14
132.34/26.84	c (15,0) x[28][0] = 23
132.34/26.84	c (15,0) x[28][1] = 25
132.34/26.84	c (15,0) x[28][2] = 6
132.34/26.84	c (15,0) x[28][3] = 21
132.34/26.84	c (15,0) x[28][4] = 22
132.34/26.84	c (15,0) x[28][5] = 12
132.34/26.84	c (15,0) x[28][6] = 0
132.34/26.84	c (15,0) x[28][7] = 1
132.34/26.84	c (15,0) x[28][8] = 28
132.34/26.84	c (15,0) x[28][9] = 7
132.34/26.84	c (15,0) x[28][10] = 14
132.34/26.84	c (15,0) x[28][11] = 9
132.34/26.84	c (15,0) x[28][12] = 18
132.34/26.84	c (15,0) x[28][13] = 27
132.34/26.84	c (15,0) x[28][14] = 24
132.34/26.84	c (15,0) x[28][15] = 10
132.34/26.84	c (15,0) x[28][16] = 3
132.34/26.84	c (15,0) x[28][17] = 26
132.34/26.84	c (15,0) x[28][18] = 16
132.34/26.84	c (15,0) x[28][19] = 15
132.34/26.84	c (15,0) x[28][20] = 20
132.34/26.84	c (15,0) x[28][21] = 4
132.34/26.84	c (15,0) x[28][22] = 5
132.34/26.84	c (15,0) x[28][23] = 11
132.34/26.84	c (15,0) x[28][24] = 29
132.34/26.84	c (15,0) x[28][25] = 2
132.34/26.84	c (15,0) x[28][26] = 19
132.34/26.84	c (15,0) x[28][27] = 17
132.34/26.84	c (15,0) x[28][28] = 13
132.34/26.84	c (15,0) x[28][29] = 8
132.34/26.84	c (15,0) x[29][0] = 7
132.34/26.84	c (15,0) x[29][1] = 12
132.34/26.84	c (15,0) x[29][2] = 23
132.34/26.84	c (15,0) x[29][3] = 15
132.34/26.84	c (15,0) x[29][4] = 29
132.34/26.84	c (15,0) x[29][5] = 3
132.34/26.84	c (15,0) x[29][6] = 13
132.34/26.84	c (15,0) x[29][7] = 11
132.34/26.84	c (15,0) x[29][8] = 22
132.34/26.84	c (15,0) x[29][9] = 17
132.34/26.84	c (15,0) x[29][10] = 16
132.34/26.84	c (15,0) x[29][11] = 27
132.34/26.84	c (15,0) x[29][12] = 26
132.34/26.84	c (15,0) x[29][13] = 14
132.34/26.84	c (15,0) x[29][14] = 6
132.34/26.84	c (15,0) x[29][15] = 18
132.34/26.84	c (15,0) x[29][16] = 20
132.34/26.84	c (15,0) x[29][17] = 8
132.34/26.84	c (15,0) x[29][18] = 9
132.34/26.84	c (15,0) x[29][19] = 21
132.34/26.84	c (15,0) x[29][20] = 2
132.34/26.84	c (15,0) x[29][21] = 25
132.34/26.84	c (15,0) x[29][22] = 1
132.34/26.84	c (15,0) x[29][23] = 24
132.34/26.84	c (15,0) x[29][24] = 0
132.34/26.84	c (15,0) x[29][25] = 28
132.34/26.84	c (15,0) x[29][26] = 4
132.34/26.84	c (15,0) x[29][27] = 19
132.34/26.84	c (15,0) x[29][28] = 10
132.34/26.84	c (15,0) x[29][29] = 5
132.34/26.84	s SATISFIABLE
132.34/26.85	v <instantiation>
132.34/26.85	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>
132.34/26.85	v     <values>19 18 17 28 12 14 16 24 11 3 6 20 0 13 2 23 21 27 29 5 4 22 9 25 10 15 8 1 26 7 24 17 2 4 28 21 27 16 19 6 29 5 20 7 23 1 25 0 12 10 22 9 14 13 18 11 26 8 3 15 14 20 29 8 3 5 18 2 10 13 27 1 4 15 9 26 22 25 11 19 24 17 21 0 12 6 23 7 28 16 21 26 19 0 8 16 5 9 15 29 22 17 11 3 12 24 4 10 25 7 28 20 27 23 1 18 14 6 2 13 0 16 3 2 27 24 1 8 17 14 21 7 9 12 19 13 23 5 10 28 29 6 20 26 11 25 15 4 18 22 6 0 24 10 16 11 12 23 14 15 3 19 13 22 8 9 27 17 20 4 18 1 26 29 2 5 21 25 7 28 13 11 5 22 9 15 25 3 26 1 12 23 8 20 0 2 16 29 7 24 6 18 28 14 19 17 27 10 21 4 11 15 1 6 7 0 8 29 27 24 20 13 19 17 18 21 9 14 28 25 26 2 3 10 16 4 12 22 5 23 18 19 27 7 10 29 28 6 5 12 4 26 2 16 17 20 14 13 22 23 11 3 24 8 25 21 0 9 15 1 1 2 20 23 25 28 4 0 13 11 7 16 12 5 29 22 17 9 24 27 21 14 8 15 26 10 3 18 6 19 15 27 9 14 18 10 6 26 23 19 5 25 3 28 22 29 8 20 1 2 0 21 16 4 13 12 7 24 11 17 2 14 12 1 4 17 19 22 25 26 8 6 21 0 27 3 18 15 13 9 5 16 10 28 7 23 20 29 24 11 3 21 11 20 5 22 2 14 6 16 24 29 15 4 28 8 19 23 18 26 17 12 7 9 27 0 1 13 25 10 10 29 15 9 13 20 11 18 0 25 26 12 7 21 1 17 24 4 14 6 19 28 23 2 3 8 16 5 22 27 17 1 28 24 2 8 9 27 29 5 11 21 22 10 15 0 13 7 4 12 3 19 6 18 23 14 25 20 16 26 4 23 16 5 24 13 21 17 9 18 0 15 28 1 7 12 29 19 3 11 8 27 2 22 6 20 10 26 14 25 29 7 4 17 6 26 15 13 20 2 1 18 10 8 25 28 11 12 0 16 14 23 19 3 5 9 22 21 27 24 22 6 8 26 20 7 10 19 24 27 15 0 23 2 3 16 12 18 5 14 25 29 4 17 28 1 13 11 9 21 26 3 18 27 17 1 14 20 4 10 25 28 24 19 13 5 15 2 21 0 9 11 22 12 8 7 6 16 23 29 5 4 25 11 1 23 22 21 7 20 2 14 6 18 10 19 28 24 15 8 27 26 29 16 17 13 9 0 12 3 27 13 21 29 15 2 17 4 1 23 18 3 16 9 14 6 7 28 26 22 10 8 25 5 24 19 11 12 20 0 16 10 22 18 23 9 29 7 12 0 28 8 5 25 4 27 26 11 2 13 1 15 17 21 20 3 24 14 19 6 12 22 14 16 0 27 20 25 2 28 10 4 1 6 26 7 5 21 8 3 15 13 11 19 9 24 29 23 17 18 8 9 10 12 19 18 26 28 3 21 23 22 25 24 11 14 0 1 6 29 7 5 13 20 15 16 17 27 4 2 28 24 26 3 11 4 7 10 16 8 9 2 17 23 21 25 6 22 19 20 13 0 18 1 14 27 5 15 29 12 20 8 7 25 14 19 24 5 21 22 13 11 27 26 16 15 1 3 17 18 23 10 12 6 4 29 2 28 0 9 9 28 0 13 26 25 3 12 8 4 19 24 14 29 5 11 10 6 23 17 16 7 15 27 21 22 18 2 1 20 25 5 13 19 21 6 23 15 18 9 17 10 29 11 20 4 2 16 27 1 12 24 0 7 22 26 28 3 8 14 23 25 6 21 22 12 0 1 28 7 14 9 18 27 24 10 3 26 16 15 20 4 5 11 29 2 19 17 13 8 7 12 23 15 29 3 13 11 22 17 16 27 26 14 6 18 20 8 9 21 2 25 1 24 0 28 4 19 10 5</values>
132.34/26.85	v </instantiation>
132.34/26.85	c (15,0) Show results End
132.34/26.85	c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
132.34/26.85	c (15,0) 15,15,STOP-AFTER(ALL)
132.34/26.85	c END-Prog: Tue Sep 24 23:06:40 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 (13766 MiB free)
  memory of node 1: 16384 MiB (10859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405590-1569359217/watcher-4405590-1569359217 -o /var/tmp/evaluation-result-4405590-1569359217/solver-4405590-1569359217 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --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-4405590-1569359217.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=24566, runsolver pid=24563
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 2.64 3.44 5.57 2/211 24588
/proc/meminfo: memFree=25117972/32770624 swapFree=66935948/67108860
[pid=24566] ppid=24563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24566/stat : 24566 (scop.sh) S 24563 24566 24340 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511835500 115843072 349 33554432000 4194304 5098028 140722152354256 140722152351512 140297216176764 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27361280 140722152358652 140722152359000 140722152359000 140722152361929 0
/proc/24566/statm: 28282 349 296 221 0 87 0
[pid=24569] ppid=24566 vsize=27314120 memory=109380 CPUtime=0.11 cores=0-7
/proc/24569/stat : 24569 (java) S 24566 24566 24340 0 -1 1077944320 6386 0 0 0 8 3 0 0 20 0 20 0 511835500 27969658880 27345 33554432000 4194304 4196468 140722439549136 140722439531680 140611856604919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
/proc/24569/statm: 6828530 27345 2799 1 0 6790935 0
[pid=24569/tid=24570] ppid=24566 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24569/task/24570/stat : 24570 (java) R 24566 24566 24340 0 -1 4202560 4495 0 0 0 6 2 0 0 20 0 20 0 511835500 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611828431248 140611839589280 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24571] ppid=24566 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24569/task/24571/stat : 24571 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611860847632 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24572] ppid=24566 vsize=27314120 memory=140423448114816 CPUtime=0 cores=0-7
/proc/24569/task/24572/stat : 24572 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611675004048 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24573] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24573/stat : 24573 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611673950992 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24574] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24574/stat : 24574 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611672898448 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24575] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24575/stat : 24575 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611671845392 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24576] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24576/stat : 24576 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611670792848 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24577] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24577/stat : 24577 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611669739792 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24578] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24578/stat : 24578 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 27345 33554432000 4194304 4196468 140722439549136 140611668687248 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24579] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24579/stat : 24579 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511835504 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609908034288 140611856616066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24580] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24580/stat : 24580 (java) S 24566 24566 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511835505 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609780180640 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24581] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24581/stat : 24581 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835505 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609511744752 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24582] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24582/stat : 24582 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835507 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609137236432 140611856623515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24583] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24583/stat : 24583 (java) R 24566 24566 24340 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609906981104 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24584] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24584/stat : 24584 (java) S 24566 24566 24340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609905928560 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24585] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24585/stat : 24585 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609904875504 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24586] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24586/stat : 24586 (java) R 24566 24566 24340 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609903822960 140611856616854 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24587] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24587/stat : 24587 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 27345 33554432000 4194304 4196468 140722439549136 140608639331296 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24588] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24588/stat : 24588 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 27345 33554432000 4194304 4196468 140722439549136 140609902771376 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110776 KiB

[startup+0.2101 s]*
/proc/loadavg: 2.64 3.44 5.57 2/211 24588
/proc/meminfo: memFree=25098624/32770624 swapFree=66935948/67108860
[pid=24566] ppid=24563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24566/stat : 24566 (scop.sh) S 24563 24566 24340 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511835500 115843072 349 33554432000 4194304 5098028 140722152354256 140722152351512 140297216176764 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27361280 140722152358652 140722152359000 140722152359000 140722152361929 0
/proc/24566/statm: 28282 349 296 221 0 87 0
[pid=24569] ppid=24566 vsize=27314120 memory=125956 CPUtime=0.25 cores=0-7
/proc/24569/stat : 24569 (java) S 24566 24566 24340 0 -1 1077944320 11400 0 0 0 20 5 0 0 20 0 20 0 511835500 27969658880 31489 33554432000 4194304 4196468 140722439549136 140722439531680 140611856604919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
/proc/24569/statm: 6828530 31489 2888 1 0 6790935 0
[pid=24569/tid=24570] ppid=24566 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24569/task/24570/stat : 24570 (java) R 24566 24566 24340 0 -1 4202560 9109 0 0 0 15 4 0 0 20 0 20 0 511835500 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611828404304 140611838169872 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24571] ppid=24566 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24569/task/24571/stat : 24571 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611860847632 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24572] ppid=24566 vsize=27314120 memory=140423451640513 CPUtime=0 cores=0-7
/proc/24569/task/24572/stat : 24572 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611675004048 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24573] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24573/stat : 24573 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611673950992 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24574] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24574/stat : 24574 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611672898448 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24575] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24575/stat : 24575 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611671845392 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24576] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24576/stat : 24576 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611670792848 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24577] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24577/stat : 24577 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611669739792 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24578] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24578/stat : 24578 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 31489 33554432000 4194304 4196468 140722439549136 140611668687248 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24579] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24579/stat : 24579 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511835504 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609908034288 140611856616066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24580] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24580/stat : 24580 (java) S 24566 24566 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511835505 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609780180640 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24581] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24581/stat : 24581 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835505 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609511744752 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24582] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24582/stat : 24582 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835507 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609137236432 140611856623515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24583] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24583/stat : 24583 (java) S 24566 24566 24340 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609906981104 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24584] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24584/stat : 24584 (java) S 24566 24566 24340 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609905928560 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24585] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24585/stat : 24585 (java) S 24566 24566 24340 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609904875504 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24586] ppid=24566 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24569/task/24586/stat : 24586 (java) S 24566 24566 24340 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 511835508 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609903822960 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24587] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24587/stat : 24587 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 31489 33554432000 4194304 4196468 140722439549136 140608639331296 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24588] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24588/stat : 24588 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 31489 33554432000 4194304 4196468 140722439549136 140609902771376 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127352 KiB

[startup+0.309683 s]*
/proc/loadavg: 2.64 3.44 5.57 2/211 24588
/proc/meminfo: memFree=25095832/32770624 swapFree=66935948/67108860
[pid=24566] ppid=24563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24566/stat : 24566 (scop.sh) S 24563 24566 24340 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511835500 115843072 349 33554432000 4194304 5098028 140722152354256 140722152351512 140297216176764 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27361280 140722152358652 140722152359000 140722152359000 140722152361929 0
/proc/24566/statm: 28282 349 296 221 0 87 0
[pid=24569] ppid=24566 vsize=27314120 memory=129896 CPUtime=0.42 cores=0-7
/proc/24569/stat : 24569 (java) S 24566 24566 24340 0 -1 1077944320 12329 0 0 0 37 5 0 0 20 0 20 0 511835500 27969658880 32474 33554432000 4194304 4196468 140722439549136 140722439531680 140611856604919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
/proc/24569/statm: 6828530 32474 3039 1 0 6790935 0
[pid=24569/tid=24570] ppid=24566 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24569/task/24570/stat : 24570 (java) R 24566 24566 24340 0 -1 4202560 9873 0 0 0 25 4 0 0 20 0 20 0 511835500 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611828387936 140611840685406 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24571] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24571/stat : 24571 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611860847632 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24572] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24572/stat : 24572 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611675004048 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24573] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24573/stat : 24573 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611673950992 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24574] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24574/stat : 24574 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611672898448 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24575] ppid=24566 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24569/task/24575/stat : 24575 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611671845392 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24576] ppid=24566 vsize=27314120 memory=140423351858095 CPUtime=0 cores=0-7
/proc/24569/task/24576/stat : 24576 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611670792848 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24577] ppid=24566 vsize=27314120 memory=140423351860400 CPUtime=0 cores=0-7
/proc/24569/task/24577/stat : 24577 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611669739792 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24578] ppid=24566 vsize=27314120 memory=140423351862704 CPUtime=0 cores=0-7
/proc/24569/task/24578/stat : 24578 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511835503 27969658880 32540 33554432000 4194304 4196468 140722439549136 140611668687248 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24579] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24579/stat : 24579 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511835504 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609908034288 140611856616066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24580] ppid=24566 vsize=27314120 memory=280846703732368 CPUtime=0 cores=0-7
/proc/24569/task/24580/stat : 24580 (java) S 24566 24566 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511835505 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609780180640 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24581] ppid=24566 vsize=27314120 memory=280846703739280 CPUtime=0 cores=0-7
/proc/24569/task/24581/stat : 24581 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835505 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609511744752 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24582] ppid=24566 vsize=27314120 memory=280846703680560 CPUtime=0 cores=0-7
/proc/24569/task/24582/stat : 24582 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835507 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609137236432 140611856623515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24583] ppid=24566 vsize=27314120 memory=280846703753104 CPUtime=0 cores=0-7
/proc/24569/task/24583/stat : 24583 (java) R 24566 24566 24340 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609906981104 140611848842046 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24584] ppid=24566 vsize=27314120 memory=280846703760016 CPUtime=0.01 cores=0-7
/proc/24569/task/24584/stat : 24584 (java) S 24566 24566 24340 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 511835508 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609905928560 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24585] ppid=24566 vsize=27314120 memory=280846703757712 CPUtime=0.01 cores=0-7
/proc/24569/task/24585/stat : 24585 (java) S 24566 24566 24340 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 511835508 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609904875504 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24586] ppid=24566 vsize=27314120 memory=280846703773872 CPUtime=0.07 cores=0-7
/proc/24569/task/24586/stat : 24586 (java) S 24566 24566 24340 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 20 0 511835508 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609903822960 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24587] ppid=24566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24587/stat : 24587 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 32540 33554432000 4194304 4196468 140722439549136 140608639331296 140611856615125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24588] ppid=24566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24569/task/24588/stat : 24588 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835508 27969658880 32540 33554432000 4194304 4196468 140722439549136 140609902771376 140611856616066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131292 KiB

[startup+0.700873 s]
/proc/loadavg: 2.64 3.44 5.57 3/211 24588
/proc/meminfo: memFree=25073156/32770624 swapFree=66935948/67108860
[pid=24566] ppid=24563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24566/stat : 24566 (scop.sh) S 24563 24566 24340 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511835500 115843072 349 33554432000 4194304 5098028 140722152354256 140722152351512 140297216176764 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27361280 140722152358652 140722152359000 140722152359000 140722152361929 0
/proc/24566/statm: 28282 349 296 221 0 87 0
[pid=24569] ppid=24566 vsize=27322516 memory=167540 CPUtime=1 cores=0-7
/proc/24569/stat : 24569 (java) S 24566 24566 24340 0 -1 1077944320 19977 0 0 0 92 8 0 0 20 0 20 0 511835500 27978256384 41885 33554432000 4194304 4196468 140722439549136 140722439531680 140611856604919 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
/proc/24569/statm: 6830629 41885 3194 1 0 6791959 0
[pid=24569/tid=24570] ppid=24566 vsize=27322516 memory=280846704131760 CPUtime=0.67 cores=0-7
/proc/24569/task/24570/stat : 24570 (java) R 24566 24566 24340 0 -1 4202560 16995 0 0 0 61 6 0 0 20 0 20 0 511835500 27978256384 41885 33554432000 4194304 4196468 140722439549136 140611828436656 140611856626845 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24571] ppid=24566 vsize=27322516 memory=140423352066928 CPUtime=0 cores=0-7
/proc/24569/task/24571/stat : 24571 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27978256384 41885 33554432000 4194304 4196468 140722439549136 140611860847632 140611856615125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24572] ppid=24566 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24569/task/24572/stat : 24572 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27978256384 41885 33554432000 4194304 4196468 140722439549136 140611675004048 140611856615125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0
[pid=24569/tid=24573] ppid=24566 vsize=27322516 memory=1128 CPUtime=0 cores=0-7
/proc/24569/task/24573/stat : 24573 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511835503 27978256384 41885 33554432000 4194304 4196468 140722439549136 140611673950992 140611856615125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722439553734 140722439554182 140722439554182 140722439557071 0

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

/proc/24591/task/24596/stat : 24596 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454587808400 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24597] ppid=24566 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/24591/task/24597/stat : 24597 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454586755856 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24598] ppid=24566 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/24591/task/24598/stat : 24598 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454585703312 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24599] ppid=24566 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/24591/task/24599/stat : 24599 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454584650768 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24600] ppid=24566 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/24591/task/24600/stat : 24600 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454583598224 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24601] ppid=24566 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/24591/task/24601/stat : 24601 (java) S 24566 24566 24340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 511836620 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454147356656 140454785514114 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24602] ppid=24566 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24591/task/24602/stat : 24602 (java) S 24566 24566 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511836620 8616062976 30091 33554432000 4194304 4196468 140736703979920 140453080982432 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24603] ppid=24566 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/24591/task/24603/stat : 24603 (java) S 24566 24566 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511836620 8616062976 30091 33554432000 4194304 4196468 140736703979920 140452946760688 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24604] ppid=24566 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/24591/task/24604/stat : 24604 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140452572256464 140454785521563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24605] ppid=24566 vsize=8414124 memory=35508 CPUtime=0.1 cores=0-7
/proc/24591/task/24605/stat : 24605 (java) S 24566 24566 24340 0 -1 1077944384 890 0 0 0 10 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454146304496 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24606] ppid=24566 vsize=8414124 memory=492 CPUtime=0.11 cores=0-7
/proc/24591/task/24606/stat : 24606 (java) S 24566 24566 24340 0 -1 1077944384 306 0 0 0 11 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454145251952 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24607] ppid=24566 vsize=8414124 memory=1560 CPUtime=0.11 cores=0-7
/proc/24591/task/24607/stat : 24607 (java) S 24566 24566 24340 0 -1 1077944384 550 0 0 0 11 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454144199408 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24608] ppid=24566 vsize=8414124 memory=932 CPUtime=0.22 cores=0-7
/proc/24591/task/24608/stat : 24608 (java) S 24566 24566 24340 0 -1 1077944384 560 0 0 0 22 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454143146864 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24609] ppid=24566 vsize=8414124 memory=1636 CPUtime=0 cores=0-7
/proc/24591/task/24609/stat : 24609 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140452074350816 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24610] ppid=24566 vsize=8414124 memory=3592 CPUtime=0 cores=0-7
/proc/24591/task/24610/stat : 24610 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454142093744 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24612] ppid=24566 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/24591/task/24612/stat : 24612 (java) S 24566 24566 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511836694 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454134060224 140454785527577 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24614] ppid=24566 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/24591/task/24614/stat : 24614 (java) S 24566 24566 24340 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511836694 8616062976 30091 33554432000 4194304 4196468 140736703979920 140451403251504 140454785524893 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24615] ppid=24566 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/24591/task/24615/stat : 24615 (java) S 24566 24566 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511836694 8616062976 30091 33554432000 4194304 4196468 140736703979920 140451671687088 140454785524893 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24616] ppid=24566 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24591/task/24616/stat : 24616 (java) S 24566 24566 24340 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511836696 8616062976 30091 33554432000 4194304 4196468 140736703979920 140451134824112 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
Current children cumulated CPU time: 127.22 s
Current children cumulated vsize: 9331168 KiB
Current children cumulated memory: 390020 KiB

[startup+26.4012 s]
/proc/loadavg: 3.81 3.63 5.58 9/224 24624
/proc/meminfo: memFree=24834152/32770624 swapFree=66935948/67108860
[pid=24566] ppid=24563 vsize=113128 memory=1476 CPUtime=20.75 cores=0-7
/proc/24566/stat : 24566 (scop.sh) S 24563 24566 24340 0 -1 4202496 581 36689 0 0 0 0 1991 84 20 0 1 0 511835500 115843072 369 33554432000 4194304 5098028 140722152354256 140722152351000 140297216176764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27361280 140722152358652 140722152359000 140722152359000 140722152361929 0
/proc/24566/statm: 28282 369 311 221 0 87 0
[pid=24591] ppid=24566 vsize=8414124 memory=120364 CPUtime=1.39 cores=0-7
/proc/24591/stat : 24591 (java) S 24566 24566 24340 0 -1 1077944320 20121 0 0 0 131 8 0 0 20 0 24 0 511836616 8616062976 30091 33554432000 4194304 4196468 140736703979920 140736703962464 140454785502967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
/proc/24591/statm: 2103531 30091 3211 1 0 2064875 0
[pid=24611] ppid=24591 vsize=779328 memory=271476 CPUtime=109.43 cores=0-7
/proc/24611/stat : 24611 (manyglucose-4.1) S 24591 24566 24340 0 -1 1077944320 178427 0 0 0 10898 45 0 0 20 0 2 0 511836694 798031872 67869 33554432000 4194304 4454172 140736497646416 140736497644800 140409043349239 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 22315008 140736497652557 140736497652764 140736497652764 140736497655734 0
/proc/24611/statm: 194832 67869 423 64 0 190500 0
[pid=24611/tid=24624] ppid=24591 vsize=779328 memory=988 CPUtime=13.91 cores=0-7
/proc/24611/task/24624/stat : 24624 (manyglucose-4.1) R 24591 24566 24340 0 -1 4202560 18313 0 0 0 1385 6 0 0 20 0 2 0 511836741 798031872 67869 33554432000 4194304 4454172 140736497646416 140408948091992 4351331 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 22315008 140736497652557 140736497652764 140736497652764 140736497655734 0
[pid=24591/tid=24592] ppid=24566 vsize=8414124 memory=1368 CPUtime=0.79 cores=0-7
/proc/24591/task/24592/stat : 24592 (java) S 24566 24566 24340 0 -1 1077944384 16394 0 0 0 73 6 0 0 20 0 24 0 511836617 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454757343136 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24593] ppid=24566 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24591/task/24593/stat : 24593 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454789744912 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24594] ppid=24566 vsize=8414124 memory=120364 CPUtime=0 cores=0-7
/proc/24591/task/24594/stat : 24594 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454589913488 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24595] ppid=24566 vsize=8414124 memory=269192 CPUtime=0 cores=0-7
/proc/24591/task/24595/stat : 24595 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454588860944 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24596] ppid=24566 vsize=8414124 memory=492 CPUtime=0 cores=0-7
/proc/24591/task/24596/stat : 24596 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454587808400 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24597] ppid=24566 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/24591/task/24597/stat : 24597 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454586755856 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24598] ppid=24566 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/24591/task/24598/stat : 24598 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454585703312 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24599] ppid=24566 vsize=8414124 memory=280846704414176 CPUtime=0 cores=0-7
/proc/24591/task/24599/stat : 24599 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454584650768 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24600] ppid=24566 vsize=8414124 memory=4426074821781831010 CPUtime=0 cores=0-7
/proc/24591/task/24600/stat : 24600 (java) S 24566 24566 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511836618 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454583598224 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24601] ppid=24566 vsize=8414124 memory=-7735428981701432423 CPUtime=0 cores=0-7
/proc/24591/task/24601/stat : 24601 (java) S 24566 24566 24340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 511836620 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454147356656 140454785514114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24602] ppid=24566 vsize=8414124 memory=4571618189562391456 CPUtime=0 cores=0-7
/proc/24591/task/24602/stat : 24602 (java) S 24566 24566 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511836620 8616062976 30091 33554432000 4194304 4196468 140736703979920 140453080982432 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24603] ppid=24566 vsize=8414124 memory=-6593370259370242134 CPUtime=0 cores=0-7
/proc/24591/task/24603/stat : 24603 (java) S 24566 24566 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511836620 8616062976 30091 33554432000 4194304 4196468 140736703979920 140452946760688 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24604] ppid=24566 vsize=8414124 memory=-6230263163210191963 CPUtime=0 cores=0-7
/proc/24591/task/24604/stat : 24604 (java) S 24566 24566 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140452572256464 140454785521563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24605] ppid=24566 vsize=8414124 memory=7019230899638391138 CPUtime=0.1 cores=0-7
/proc/24591/task/24605/stat : 24605 (java) S 24566 24566 24340 0 -1 1077944384 890 0 0 0 10 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454146304496 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24606] ppid=24566 vsize=8414124 memory=7444858452353461907 CPUtime=0.11 cores=0-7
/proc/24591/task/24606/stat : 24606 (java) S 24566 24566 24340 0 -1 1077944384 306 0 0 0 11 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454145251952 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24607] ppid=24566 vsize=8414124 memory=3545936918451281814 CPUtime=0.11 cores=0-7
/proc/24591/task/24607/stat : 24607 (java) S 24566 24566 24340 0 -1 1077944384 550 0 0 0 11 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454144199408 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24608] ppid=24566 vsize=8414124 memory=7679373425970869011 CPUtime=0.22 cores=0-7
/proc/24591/task/24608/stat : 24608 (java) S 24566 24566 24340 0 -1 1077944384 560 0 0 0 22 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454143146864 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24609] ppid=24566 vsize=8414124 memory=-7737903650269872488 CPUtime=0 cores=0-7
/proc/24591/task/24609/stat : 24609 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140452074350816 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24610] ppid=24566 vsize=8414124 memory=280846704620240 CPUtime=0 cores=0-7
/proc/24591/task/24610/stat : 24610 (java) S 24566 24566 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511836623 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454142093744 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24612] ppid=24566 vsize=8414124 memory=3905078166698699056 CPUtime=0 cores=0-7
/proc/24591/task/24612/stat : 24612 (java) S 24566 24566 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511836694 8616062976 30091 33554432000 4194304 4196468 140736703979920 140454134060224 140454785527577 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24614] ppid=24566 vsize=8414124 memory=8315307486725558483 CPUtime=0 cores=0-7
/proc/24591/task/24614/stat : 24614 (java) S 24566 24566 24340 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511836694 8616062976 30091 33554432000 4194304 4196468 140736703979920 140451403251504 140454785524893 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24615] ppid=24566 vsize=8414124 memory=3472468719579630060 CPUtime=0 cores=0-7
/proc/24591/task/24615/stat : 24615 (java) S 24566 24566 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511836694 8616062976 30091 33554432000 4194304 4196468 140736703979920 140451671687088 140454785524893 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24616] ppid=24566 vsize=8414124 memory=3472468719579630160 CPUtime=0 cores=0-7
/proc/24591/task/24616/stat : 24616 (java) S 24566 24566 24340 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511836696 8616062976 30091 33554432000 4194304 4196468 140736703979920 140451134824112 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
Current children cumulated CPU time: 131.57 s
Current children cumulated vsize: 9306580 KiB
Current children cumulated memory: 393316 KiB

[startup+26.8011 s]
/proc/loadavg: 3.81 3.63 5.58 9/224 24624
/proc/meminfo: memFree=24834152/32770624 swapFree=66935948/67108860
[pid=24566] ppid=24563 vsize=113128 memory=1476 CPUtime=20.75 cores=0-7
/proc/24566/stat : 24566 (scop.sh) S 24563 24566 24340 0 -1 4202496 581 36689 0 0 0 0 1991 84 20 0 1 0 511835500 115843072 369 33554432000 4194304 5098028 140722152354256 140722152351000 140297216176764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27361280 140722152358652 140722152359000 140722152359000 140722152361929 0
/proc/24566/statm: 28282 369 311 221 0 87 0
[pid=24591] ppid=24566 vsize=8283048 memory=142260 CPUtime=111.59 cores=0-7
/proc/24591/stat : 24591 (java) S 24566 24566 24340 0 -1 1077944320 21552 178485 0 0 189 9 10914 47 20 0 22 0 511836616 8481841152 35565 33554432000 4194304 4196468 140736703979920 140736703962464 140454785502967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
/proc/24591/statm: 2070762 35565 3235 1 0 2032106 0
[pid=24591/tid=24592] ppid=24566 vsize=8283048 memory=120364 CPUtime=110.58 cores=0-7
/proc/24591/task/24592/stat : 24592 (java) R 24566 24566 24340 0 -1 4202560 16690 178485 0 0 90 7 10914 47 20 0 22 0 511836617 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454757340880 140454242876307 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24593] ppid=24566 vsize=8283048 memory=6791534058613427641 CPUtime=109.61 cores=0-7
/proc/24591/task/24593/stat : 24593 (java) S 24566 24566 24340 0 -1 1077944384 2 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454789744912 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24594] ppid=24566 vsize=8283048 memory=120364 CPUtime=109.61 cores=0-7
/proc/24591/task/24594/stat : 24594 (java) S 24566 24566 24340 0 -1 1077944384 1 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454589913488 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24595] ppid=24566 vsize=8283048 memory=270964 CPUtime=109.61 cores=0-7
/proc/24591/task/24595/stat : 24595 (java) S 24566 24566 24340 0 -1 1077944384 2 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454588860944 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24596] ppid=24566 vsize=8283048 memory=107699995937514 CPUtime=109.61 cores=0-7
/proc/24591/task/24596/stat : 24596 (java) S 24566 24566 24340 0 -1 1077944384 3 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454587808400 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24597] ppid=24566 vsize=8283048 memory=107699995937514 CPUtime=109.61 cores=0-7
/proc/24591/task/24597/stat : 24597 (java) S 24566 24566 24340 0 -1 1077944384 1 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454586755856 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24598] ppid=24566 vsize=8283048 memory=0 CPUtime=109.61 cores=0-7
/proc/24591/task/24598/stat : 24598 (java) S 24566 24566 24340 0 -1 1077944384 2 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454585703312 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24599] ppid=24566 vsize=8283048 memory=246037201600549 CPUtime=109.61 cores=0-7
/proc/24591/task/24599/stat : 24599 (java) S 24566 24566 24340 0 -1 1077944384 1 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454584650768 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24600] ppid=24566 vsize=8283048 memory=246037201600550 CPUtime=109.61 cores=0-7
/proc/24591/task/24600/stat : 24600 (java) S 24566 24566 24340 0 -1 1077944384 2 178485 0 0 0 0 10914 47 20 0 22 0 511836618 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454583598224 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24601] ppid=24566 vsize=8283048 memory=0 CPUtime=109.61 cores=0-7
/proc/24591/task/24601/stat : 24601 (java) S 24566 24566 24340 0 -1 1077944384 6 178485 0 0 0 0 10914 47 20 0 22 0 511836620 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454147356656 140454785514114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24602] ppid=24566 vsize=8283048 memory=245929827418119 CPUtime=109.61 cores=0-7
/proc/24591/task/24602/stat : 24602 (java) S 24566 24566 24340 0 -1 1077944384 13 178485 0 0 0 0 10914 47 20 0 22 0 511836620 8481841152 35565 33554432000 4194304 4196468 140736703979920 140453080982432 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24603] ppid=24566 vsize=8283048 memory=245929827418120 CPUtime=109.61 cores=0-7
/proc/24591/task/24603/stat : 24603 (java) S 24566 24566 24340 0 -1 1077944384 21 178485 0 0 0 0 10914 47 20 0 22 0 511836620 8481841152 35565 33554432000 4194304 4196468 140736703979920 140452946760688 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24604] ppid=24566 vsize=8283048 memory=245929827418121 CPUtime=109.61 cores=0-7
/proc/24591/task/24604/stat : 24604 (java) S 24566 24566 24340 0 -1 1077944384 1 178485 0 0 0 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140452572256464 140454785521563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24605] ppid=24566 vsize=8283048 memory=245929827418122 CPUtime=109.78 cores=0-7
/proc/24591/task/24605/stat : 24605 (java) R 24566 24566 24340 0 -1 4202560 932 178485 0 0 17 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454146304496 140454765338593 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24606] ppid=24566 vsize=8283048 memory=245929827418123 CPUtime=109.79 cores=0-7
/proc/24591/task/24606/stat : 24606 (java) R 24566 24566 24340 0 -1 4202560 453 178485 0 0 18 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454145251952 140454768988880 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24607] ppid=24566 vsize=8283048 memory=6791534058613427641 CPUtime=109.78 cores=0-7
/proc/24591/task/24607/stat : 24607 (java) R 24566 24566 24340 0 -1 4202560 592 178485 0 0 17 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454144199408 140454771197809 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24608] ppid=24566 vsize=8283048 memory=304274656838549818 CPUtime=109.96 cores=0-7
/proc/24591/task/24608/stat : 24608 (java) S 24566 24566 24340 0 -1 1077944384 1282 178485 0 0 35 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454143146864 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24609] ppid=24566 vsize=8283048 memory=13848568834296438 CPUtime=109.61 cores=0-7
/proc/24591/task/24609/stat : 24609 (java) S 24566 24566 24340 0 -1 1077944384 3 178485 0 0 0 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140452074350816 140454785513173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24610] ppid=24566 vsize=8283048 memory=0 CPUtime=109.61 cores=0-7
/proc/24591/task/24610/stat : 24610 (java) S 24566 24566 24340 0 -1 1077944384 3 178485 0 0 0 0 10914 47 20 0 22 0 511836623 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454142093744 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24612] ppid=24566 vsize=8283048 memory=2321243800103955430 CPUtime=109.61 cores=0-7
/proc/24591/task/24612/stat : 24612 (java) S 24566 24566 24340 0 -1 1077944384 24 178485 0 0 0 0 10914 47 20 0 22 0 511836694 8481841152 35565 33554432000 4194304 4196468 140736703979920 140454134059408 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
[pid=24591/tid=24616] ppid=24566 vsize=8283048 memory=6655300316396806240 CPUtime=109.61 cores=0-7
/proc/24591/task/24616/stat : 24616 (java) S 24566 24566 24340 0 -1 1077944384 13 178485 0 0 0 0 10914 47 20 0 22 0 511836696 8481841152 35565 33554432000 4194304 4196468 140736703979920 140451134825904 140454785514114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140736703988703 140736703988870 140736703988870 140736703991759 0
Current children cumulated CPU time: 132.34 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 143736 KiB

Child status: 0
Real time (s): 26.8701
CPU time (s): 132.542
CPU user time (s): 131.09
CPU system time (s): 1.45181
CPU usage (%): 493.269
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4494252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.09
system time used= 1.45181
maximum resident set size= 4495244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15552
involuntary context switches= 1232


# summary of solver processes directly reported to runsolver:
#   pid: 24566
#   total CPU time (s): 132.542
#   total CPU user time (s): 131.09
#   total CPU system time (s): 1.45181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.223813 second user time and 0.393861 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 23:06:13
IDJOB=4405590
IDBENCH=138961
IDSOLVER=2868
FILE ID=node147/4405590-1569359217
RUNJOBID= node147-1569358595-24367
PBS_JOBID= 21705113
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-01.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 /var/tmp/evaluation-result-4405590-1569359217/watcher-4405590-1569359217 -o /var/tmp/evaluation-result-4405590-1569359217/solver-4405590-1569359217 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --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-4405590-1569359217.xml

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

MD5SUM BENCH= bc231a1d8845efcd5c5ebc235ca42ef6
RANDOM SEED=1602821503

node147.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.52
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.52
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.52
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.52
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:        25217316 kB
MemAvailable:   31777888 kB
Buffers:          146788 kB
Cached:          6473372 kB
SwapCached:        68688 kB
Active:          3287812 kB
Inactive:        3405556 kB
Active(anon):       4588 kB
Inactive(anon):   126000 kB
Active(file):    3283224 kB
Inactive(file):  3279556 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:             20912 kB
Writeback:             0 kB
AnonPages:         69108 kB
Mapped:            57744 kB
Shmem:             49088 kB
Slab:             455340 kB
SReclaimable:     426252 kB
SUnreclaim:        29088 kB
KernelStack:        3712 kB
PageTables:         6100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node147 at 2019-09-24 23:06:40