Trace number 4405290

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 131.005 26.2194

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19652-serial-file.bin HOME/instance-4405290-1569359214.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 22:04:51 CEST 2019
0.66/0.56	c PID: 19655
0.66/0.56	c IP: 172.20.3.107
0.66/0.56	c HOST: node107.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.72/1.05	c (0,0) Parsing End
1.72/1.06	c (0,0) CSP: 865 int (0 aux), 35 bool (0 aux), 2 ctr, max domain size 30
1.72/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.72/1.06	c (0,0) Constraint Name Generate Begin
1.72/1.07	c (0,0) Ctr:HOME/instance-4405290-1569359214.xml,AllDifferentMatrix:Instantiation:Var
1.72/1.07	c (0,0) Constraint Name Generate End
1.72/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.72/1.07	c (0,0) CSP to CSPinCNF Begin
1.72/1.10	c (0,0) translated 1 (10%) constraints
5.67/2.81	c (2,2) translated 2 (20%) constraints
5.67/2.84	c (2,2) ===========================================
5.67/2.84	c (2,2) Order
5.67/2.84	c (2,2) ===========================================
7.61/3.39	c (2,2) translated 2855 (10%) constraints
8.88/3.73	c (3,3) translated 5710 (20%) constraints
9.24/4.05	c (3,3) translated 8564 (30%) constraints
9.54/4.37	c (3,3) translated 11419 (40%) constraints
9.94/4.70	c (4,4) translated 14273 (50%) constraints
10.18/4.98	c (4,4) translated 17128 (60%) constraints
10.50/5.25	c (4,4) translated 19983 (70%) constraints
10.84/5.51	c (4,4) translated 22837 (80%) constraints
11.16/5.81	c (5,5) translated 25692 (90%) constraints
11.37/6.05	c (5,5) translated 28546 (100%) constraints
11.37/6.05	c (5,5) CSP to CSPinCNF End
11.37/6.06	c (5,5) CSP: 865 int (0 aux), 27035 bool (27000 aux), 137072 ctr, max domain size 30
11.37/6.06	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.37/6.06	c (5,5) CSPinCNF Propagation Begin
14.72/8.02	c (7,7) 19609 values, 85594 unsatisfiable literals, and 88767 valid clauses are removed
14.72/8.02	c (7,7) CSPinCNF Propagation End
14.72/8.02	c (7,7) CSP: 865 int (0 aux), 27035 bool (27000 aux), 48305 ctr, max domain size 30
14.72/8.02	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.72/8.03	c (7,7) Simplify CSPinCNF Begin
15.80/8.57	c (8,8) Simplify CSPinCNF End
15.80/8.58	c (8,8) CSP: 865 int (0 aux), 54531 bool (54496 aux), 75801 ctr, max domain size 30
15.80/8.58	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.80/8.58	c (8,8) Calculate Precise Domain Begin
15.80/8.58	c (8,8) 0 values are removed by re-calculation
15.80/8.58	c (8,8) Calculate Precise Domain End
15.80/8.60	c (8,8) CSP: 865 int (0 aux), 54531 bool (54496 aux), 75801 ctr, max domain size 30
15.80/8.60	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.80/8.60	c (8,8) CSPinCNF to SatSolver Begin
17.74/9.17	c (8,8) 7581 (10 %) CSP clauses are encoded (0 SAT variables, 33367 SAT clauses)
18.11/9.32	c (8,8) 15161 (20 %) CSP clauses are encoded (0 SAT variables, 55915 SAT clauses)
18.28/9.47	c (8,8) 22741 (30 %) CSP clauses are encoded (0 SAT variables, 79549 SAT clauses)
18.52/9.62	c (9,9) 30321 (40 %) CSP clauses are encoded (0 SAT variables, 102724 SAT clauses)
18.62/9.76	c (9,9) 37901 (50 %) CSP clauses are encoded (0 SAT variables, 125935 SAT clauses)
18.82/9.90	c (9,9) 45481 (60 %) CSP clauses are encoded (0 SAT variables, 150449 SAT clauses)
19.01/10.04	c (9,9) 53061 (70 %) CSP clauses are encoded (0 SAT variables, 173323 SAT clauses)
19.13/10.18	c (9,9) 60641 (80 %) CSP clauses are encoded (0 SAT variables, 196657 SAT clauses)
19.32/10.32	c (9,9) 68221 (90 %) CSP clauses are encoded (0 SAT variables, 219595 SAT clauses)
19.42/10.45	c (9,9) 75801 (100 %) CSP clauses are encoded (0 SAT variables, 243477 SAT clauses)
19.42/10.45	c (9,9) CSPinCNF to SatSolver End
19.42/10.45	c (9,9) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.42/10.46	c (9,9) 44734 bool, 243478 clause
19.42/10.46	c (9,9) Export Begin
19.56/10.59	c (10,10) Export to HOME/scop-19652-serial-file.bin
19.56/10.59	c (10,10) Export End
19.56/10.59	c (10,10) Export File Size: 0.15 MB
19.56/10.59	c (10,10) 0,0,5,7,8,8,9,STOP-AFTER(DIMACS)
19.56/10.59	c END-Prog: Tue Sep 24 22:05:01 CEST 2019
19.84/10.63	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19652-serial-file.bin
20.37/11.09	c (0,0) Read Serial File Begin
20.37/11.09	c (0,0) HOME/scop-19652-serial-file.bin
20.82/11.34	c (0,0) Read Serial File End
20.82/11.35	
20.82/11.35	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.82/11.35	(Solving Process)
20.82/11.35	
20.82/11.38	c BEGIN-Prog: Tue Sep 24 22:05:02 CEST 2019
20.82/11.38	c PID: 19677
20.82/11.38	c IP: 172.20.3.107
20.82/11.38	c HOST: node107.alineos.net
20.82/11.38	c (0,0) SatSolver.solve Begin
20.82/11.38	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405290-1569359214.xml-scop-19655.cnf
21.12/11.41	c (0,0) c
21.12/11.41	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)
21.12/11.41	c (0,0) c
21.12/11.41	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.12/11.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.12/11.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.12/11.41	c (0,0) c |                                                                                                       |
21.12/11.50	c (0,0) c |  Number of variables:         44734                                                                   |
21.12/11.50	c (0,0) c |  Number of clauses:          243478                                                                   |
21.12/11.50	c (0,0) c |  Parse time:                   0.08 s                                                                 |
21.12/11.50	c (0,0) c |                                                                                                       |
21.26/11.74	c (0,0) c |  Simplification time:          0.23 s                                                                 |
21.26/11.74	c (0,0) c |                                                                                                       |
21.26/11.74	c (0,0) c |  Generating clones                                                                                    |
21.26/11.87	c (0,0) c |  all clones generated. Memory =   214.41Mb.                                                           |
21.26/11.87	c (0,0) c ========================================================================================================|
21.26/11.87	c (0,0) c
21.26/11.87	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.26/11.87	c (0,0) c
21.26/11.87	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.26/11.87	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.26/11.87	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.26/11.87	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.26/11.87	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.26/11.87	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.26/11.87	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.26/11.87	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.26/11.87	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.26/11.87	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.26/11.87	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.26/11.87	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.26/11.87	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.26/11.87	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.26/11.87	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.26/11.87	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.26/11.87	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.26/11.87	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.26/11.87	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c real time : 14.4861 s
130.00/25.89	c (14,0) c cpu time  : 108.405 s
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c | Conflicts     |          138032 |      17054 |      17338 |      17468 |      17109 |      17394 |      17375 |      17301 |      16993 |
130.00/25.89	c (14,0) c | Decisions     |         1968715 |     246338 |     254350 |     244065 |     243762 |     237291 |     245827 |     247596 |     249486 |
130.00/25.89	c (14,0) c | Propagations  |       189355849 |   23642202 |   23793894 |   23777329 |   23458936 |   23388557 |   23789851 |   23658433 |   23846647 |
130.00/25.89	c (14,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
130.00/25.89	c (14,0) c | SimpDBs       |             296 |         37 |         37 |         37 |         36 |         37 |         38 |         37 |         37 |
130.00/25.89	c (14,0) c | Restarts      |            1757 |        221 |        219 |        220 |        217 |        218 |        226 |        214 |        222 |
130.00/25.89	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
130.00/25.89	c (14,0) c | PropBinClauses|       407148661 |   50903268 |   51166317 |   51007719 |   50714872 |   50487543 |   50720902 |   50863160 |   51284880 |
130.00/25.89	c (14,0) c | PropPreBlocker|      1884113960 |  235608845 |  235364400 |  235275149 |  235953616 |  235818548 |  234874532 |  235565717 |  235653153 |
130.00/25.89	c (14,0) c | PropNotBlocker|       481403064 |   60082087 |   60486975 |   60076538 |   60186119 |   60550288 |   60415942 |   59916560 |   59688555 |
130.00/25.89	c (14,0) c | LitFullScans  |      3217431854 |  402059139 |  402097825 |  402099441 |  402082799 |  402831994 |  402036974 |  402048397 |  402175285 |
130.00/25.89	c (14,0) c | LitScanFracts |          498699 |      49578 |      85436 |      49294 |      65911 |      39188 |      31833 |      30691 |     146768 |
130.00/25.89	c (14,0) c | DecisionLevel0|           13212 |       1671 |       1720 |       1624 |       1612 |       1594 |       1714 |       1606 |       1671 |
130.00/25.89	c (14,0) c | Periods       |             536 |         67 |         67 |         67 |         67 |         67 |         67 |         67 |         67 |
130.00/25.89	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
130.00/25.89	c (14,0) c | Avg_Trail     |                 |       8726 |       8583 |       8660 |       8718 |       8771 |       8629 |       8715 |       8623 |
130.00/25.89	c (14,0) c | Avg_DL        |                 |         95 |         93 |         95 |         98 |         95 |         93 |         97 |         95 |
130.00/25.89	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
130.00/25.89	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c | Exported      |           34588 |       4288 |       4393 |       4351 |       4298 |       4396 |       4369 |       4211 |       4282 |
130.00/25.89	c (14,0) c | Imported      |          184247 |      23017 |      22964 |      23047 |      23060 |      22966 |      23077 |      23051 |      23065 |
130.00/25.89	c (14,0) c | Good          |           42161 |       5222 |       5217 |       5343 |       5239 |       5292 |       5300 |       5249 |       5299 |
130.00/25.89	c (14,0) c | Purge         |          142086 |      17795 |      17747 |      17704 |      17821 |      17674 |      17777 |      17802 |      17766 |
130.00/25.89	c (14,0) c | Promoted      |            7461 |        864 |        968 |        981 |        947 |        938 |        945 |        957 |        861 |
130.00/25.89	c (14,0) c | Remove_Imp    |           34112 |       4632 |       3931 |       3976 |       4508 |       3866 |       3977 |       3942 |       5280 |
130.00/25.89	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c | Unaries       |                 |       1450 |       1501 |       1404 |       1395 |       1376 |       1488 |       1392 |       1449 |
130.00/25.89	c (14,0) c | Binaries      |                 |        975 |       1013 |        878 |        966 |        913 |        953 |        948 |        886 |
130.00/25.89	c (14,0) c | Glues         |                 |       1645 |       1683 |       1550 |       1620 |       1560 |       1584 |       1571 |       1527 |
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c | Orig_Seen     |            27 % |      49813 |      49825 |      49710 |      50141 |      49762 |      49968 |      50025 |      49599 |
130.00/25.89	c (14,0) c | Diff Orig seen|                 |         51 |         63 | -       52 |        379 |      X     |        206 |        263 | -      163 |
130.00/25.89	c (14,0) c | Hamming       |            12 % |       5788 |       6113 |       5557 |       5594 |      X     |       5451 |       5628 |       5468 |
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c | RunningTime   |                 |   14.0 100%|   13.9 100%|   13.4 100%|   13.7 100%|   13.2 100%|   13.5 100%|   13.5 100%|   13.9 100%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,0) c | SolvingTime   |                 |   14.0     |   13.9     |   13.4     |   13.7     |   13.2     |   13.5     |   13.5     |   13.9     |
130.00/25.89	c (14,0) c | PropagationTim|                 |   12.3  88%|   12.3  88%|   11.7  87%|   11.9  87%|   11.5  87%|   11.8  88%|   11.8  87%|   12.2  88%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,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%|
130.00/25.89	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c
130.00/25.89	c (14,0) c Threads : 8
130.00/25.89	c (14,0) c Winner : 4
130.00/25.89	c (14,0) c Conflicts_0 : 17054
130.00/25.89	c (14,0) c Conflicts_1 : 17338
130.00/25.89	c (14,0) c Conflicts_2 : 17468
130.00/25.89	c (14,0) c Conflicts_3 : 17109
130.00/25.89	c (14,0) c Conflicts_4 : 17394
130.00/25.89	c (14,0) c Conflicts_5 : 17375
130.00/25.89	c (14,0) c Conflicts_6 : 17301
130.00/25.89	c (14,0) c Conflicts_7 : 16993
130.00/25.89	c (14,0) c Conflicts_total : 138032
130.00/25.89	c (14,0) c Conflicts_winner : 17394
130.00/25.89	c (14,0) c Decisions_0 : 246338
130.00/25.89	c (14,0) c Decisions_1 : 254350
130.00/25.89	c (14,0) c Decisions_2 : 244065
130.00/25.89	c (14,0) c Decisions_3 : 243762
130.00/25.89	c (14,0) c Decisions_4 : 237291
130.00/25.89	c (14,0) c Decisions_5 : 245827
130.00/25.89	c (14,0) c Decisions_6 : 247596
130.00/25.89	c (14,0) c Decisions_7 : 249486
130.00/25.89	c (14,0) c Decisions_total : 1968715
130.00/25.89	c (14,0) c Decisions_winner : 237291
130.00/25.89	c (14,0) c Propagations_0 : 23642202
130.00/25.89	c (14,0) c Propagations_1 : 23793894
130.00/25.89	c (14,0) c Propagations_2 : 23777329
130.00/25.89	c (14,0) c Propagations_3 : 23458936
130.00/25.89	c (14,0) c Propagations_4 : 23388557
130.00/25.89	c (14,0) c Propagations_5 : 23789851
130.00/25.89	c (14,0) c Propagations_6 : 23658433
130.00/25.89	c (14,0) c Propagations_7 : 23846647
130.00/25.89	c (14,0) c Propagations_total : 189355849
130.00/25.89	c (14,0) c Propagations_winner : 23388557
130.00/25.89	c (14,0) c ReduceDBs_0 : 3
130.00/25.89	c (14,0) c ReduceDBs_1 : 3
130.00/25.89	c (14,0) c ReduceDBs_2 : 3
130.00/25.89	c (14,0) c ReduceDBs_3 : 3
130.00/25.89	c (14,0) c ReduceDBs_4 : 3
130.00/25.89	c (14,0) c ReduceDBs_5 : 3
130.00/25.89	c (14,0) c ReduceDBs_6 : 3
130.00/25.89	c (14,0) c ReduceDBs_7 : 3
130.00/25.89	c (14,0) c ReduceDBs_total : 24
130.00/25.89	c (14,0) c ReduceDBs_winner : 3
130.00/25.89	c (14,0) c SimpDBs_0 : 37
130.00/25.89	c (14,0) c SimpDBs_1 : 37
130.00/25.89	c (14,0) c SimpDBs_2 : 37
130.00/25.89	c (14,0) c SimpDBs_3 : 36
130.00/25.89	c (14,0) c SimpDBs_4 : 37
130.00/25.89	c (14,0) c SimpDBs_5 : 38
130.00/25.89	c (14,0) c SimpDBs_6 : 37
130.00/25.89	c (14,0) c SimpDBs_7 : 37
130.00/25.89	c (14,0) c SimpDBs_total : 296
130.00/25.89	c (14,0) c SimpDBs_winner : 37
130.00/25.89	c (14,0) c Restarts_0 : 221
130.00/25.89	c (14,0) c Restarts_1 : 219
130.00/25.89	c (14,0) c Restarts_2 : 220
130.00/25.89	c (14,0) c Restarts_3 : 217
130.00/25.89	c (14,0) c Restarts_4 : 218
130.00/25.89	c (14,0) c Restarts_5 : 226
130.00/25.89	c (14,0) c Restarts_6 : 214
130.00/25.89	c (14,0) c Restarts_7 : 222
130.00/25.89	c (14,0) c Restarts_total : 1757
130.00/25.90	c (14,0) c Restarts_winner : 218
130.00/25.90	c (14,0) c ForcedImports_0 : 0
130.00/25.90	c (14,0) c ForcedImports_1 : 0
130.00/25.90	c (14,0) c ForcedImports_2 : 0
130.00/25.90	c (14,0) c ForcedImports_3 : 0
130.00/25.90	c (14,0) c ForcedImports_4 : 0
130.00/25.90	c (14,0) c ForcedImports_5 : 0
130.00/25.90	c (14,0) c ForcedImports_6 : 0
130.00/25.90	c (14,0) c ForcedImports_7 : 0
130.00/25.90	c (14,0) c ForcedImports_total : 0
130.00/25.90	c (14,0) c ForcedImports_winner : 0
130.00/25.90	c (14,0) c PropsBinClauses_0 : 50903268
130.00/25.90	c (14,0) c PropsBinClauses_1 : 51166317
130.00/25.90	c (14,0) c PropsBinClauses_2 : 51007719
130.00/25.90	c (14,0) c PropsBinClauses_3 : 50714872
130.00/25.90	c (14,0) c PropsBinClauses_4 : 50487543
130.00/25.90	c (14,0) c PropsBinClauses_5 : 50720902
130.00/25.90	c (14,0) c PropsBinClauses_6 : 50863160
130.00/25.90	c (14,0) c PropsBinClauses_7 : 51284880
130.00/25.90	c (14,0) c PropsBinClauses_total : 407148661
130.00/25.90	c (14,0) c PropsBinClauses_winner : 50487543
130.00/25.90	c (14,0) c PropsPreBlocker_0 : 235608845
130.00/25.90	c (14,0) c PropsPreBlocker_1 : 235364400
130.00/25.90	c (14,0) c PropsPreBlocker_2 : 235275149
130.00/25.90	c (14,0) c PropsPreBlocker_3 : 235953616
130.00/25.90	c (14,0) c PropsPreBlocker_4 : 235818548
130.00/25.90	c (14,0) c PropsPreBlocker_5 : 234874532
130.00/25.90	c (14,0) c PropsPreBlocker_6 : 235565717
130.00/25.90	c (14,0) c PropsPreBlocker_7 : 235653153
130.00/25.90	c (14,0) c PropsPreBlocker_total : 1884113960
130.00/25.90	c (14,0) c PropsPreBlocker_winner : 235818548
130.00/25.90	c (14,0) c PropsNotBlocker_0 : 60082087
130.00/25.90	c (14,0) c PropsNotBlocker_1 : 60486975
130.00/25.90	c (14,0) c PropsNotBlocker_2 : 60076538
130.00/25.90	c (14,0) c PropsNotBlocker_3 : 60186119
130.00/25.90	c (14,0) c PropsNotBlocker_4 : 60550288
130.00/25.90	c (14,0) c PropsNotBlocker_5 : 60415942
130.00/25.90	c (14,0) c PropsNotBlocker_6 : 59916560
130.00/25.90	c (14,0) c PropsNotBlocker_7 : 59688555
130.00/25.90	c (14,0) c PropsNotBlocker_total : 481403064
130.00/25.90	c (14,0) c PropsNotBlocker_winner : 60550288
130.00/25.90	c (14,0) c PropsLitFullScans_0 : 402059139
130.00/25.90	c (14,0) c PropsLitFullScans_1 : 402097825
130.00/25.90	c (14,0) c PropsLitFullScans_2 : 402099441
130.00/25.90	c (14,0) c PropsLitFullScans_3 : 402082799
130.00/25.90	c (14,0) c PropsLitFullScans_4 : 402831994
130.00/25.90	c (14,0) c PropsLitFullScans_5 : 402036974
130.00/25.90	c (14,0) c PropsLitFullScans_6 : 402048397
130.00/25.90	c (14,0) c PropsLitFullScans_7 : 402175285
130.00/25.90	c (14,0) c PropsLitFullScans_total : 3217431854
130.00/25.90	c (14,0) c PropsLitFullScans_winner : 402831994
130.00/25.90	c (14,0) c LitScanFractions_0 : 49578
130.00/25.90	c (14,0) c LitScanFractions_1 : 85436
130.00/25.90	c (14,0) c LitScanFractions_2 : 49294
130.00/25.90	c (14,0) c LitScanFractions_3 : 65911
130.00/25.90	c (14,0) c LitScanFractions_4 : 39188
130.00/25.90	c (14,0) c LitScanFractions_5 : 31833
130.00/25.90	c (14,0) c LitScanFractions_6 : 30691
130.00/25.90	c (14,0) c LitScanFractions_7 : 146768
130.00/25.90	c (14,0) c LitScanFractions_total : 498699
130.00/25.90	c (14,0) c LitScanFractions_winner : 39188
130.00/25.90	c (14,0) c DecisionLevel0_0 : 1671
130.00/25.90	c (14,0) c DecisionLevel0_1 : 1720
130.00/25.90	c (14,0) c DecisionLevel0_2 : 1624
130.00/25.90	c (14,0) c DecisionLevel0_3 : 1612
130.00/25.90	c (14,0) c DecisionLevel0_4 : 1594
130.00/25.90	c (14,0) c DecisionLevel0_5 : 1714
130.00/25.90	c (14,0) c DecisionLevel0_6 : 1606
130.00/25.90	c (14,0) c DecisionLevel0_7 : 1671
130.00/25.90	c (14,0) c DecisionLevel0_total : 13212
130.12/25.90	c (14,0) c DecisionLevel0_winner : 1594
130.12/25.90	c (14,0) c Periods_0 : 67
130.12/25.90	c (14,0) c Periods_1 : 67
130.12/25.90	c (14,0) c Periods_2 : 67
130.12/25.90	c (14,0) c Periods_3 : 67
130.12/25.90	c (14,0) c Periods_4 : 67
130.12/25.90	c (14,0) c Periods_5 : 67
130.12/25.90	c (14,0) c Periods_6 : 67
130.12/25.90	c (14,0) c Periods_7 : 67
130.12/25.90	c (14,0) c Periods_total : 536
130.12/25.90	c (14,0) c Periods_winner : 67
130.12/25.90	c (14,0) c Margin_0 : 20
130.12/25.90	c (14,0) c Margin_1 : 20
130.12/25.90	c (14,0) c Margin_2 : 20
130.12/25.90	c (14,0) c Margin_3 : 20
130.12/25.90	c (14,0) c Margin_4 : 20
130.12/25.90	c (14,0) c Margin_5 : 20
130.12/25.90	c (14,0) c Margin_6 : 20
130.12/25.90	c (14,0) c Margin_7 : 20
130.12/25.90	c (14,0) c Margin_total : 160
130.12/25.90	c (14,0) c Margin_winner : 20
130.12/25.90	c (14,0) c Exported_0 : 4288
130.12/25.90	c (14,0) c Exported_1 : 4393
130.12/25.90	c (14,0) c Exported_2 : 4351
130.12/25.90	c (14,0) c Exported_3 : 4298
130.12/25.90	c (14,0) c Exported_4 : 4396
130.12/25.90	c (14,0) c Exported_5 : 4369
130.12/25.90	c (14,0) c Exported_6 : 4211
130.12/25.90	c (14,0) c Exported_7 : 4282
130.12/25.90	c (14,0) c Exported_total : 34588
130.12/25.90	c (14,0) c Exported_winner : 4396
130.12/25.90	c (14,0) c Imported_0 : 23017
130.12/25.90	c (14,0) c Imported_1 : 22964
130.12/25.90	c (14,0) c Imported_2 : 23047
130.12/25.90	c (14,0) c Imported_3 : 23060
130.12/25.90	c (14,0) c Imported_4 : 22966
130.12/25.90	c (14,0) c Imported_5 : 23077
130.12/25.90	c (14,0) c Imported_6 : 23051
130.12/25.90	c (14,0) c Imported_7 : 23065
130.12/25.90	c (14,0) c Imported_total : 184247
130.12/25.90	c (14,0) c Imported_winner : 22966
130.12/25.90	c (14,0) c Good_0 : 5222
130.12/25.90	c (14,0) c Good_1 : 5217
130.12/25.90	c (14,0) c Good_2 : 5343
130.12/25.90	c (14,0) c Good_3 : 5239
130.12/25.90	c (14,0) c Good_4 : 5292
130.12/25.90	c (14,0) c Good_5 : 5300
130.12/25.90	c (14,0) c Good_6 : 5249
130.12/25.90	c (14,0) c Good_7 : 5299
130.12/25.90	c (14,0) c Good_total : 42161
130.12/25.90	c (14,0) c Good_winner : 5292
130.12/25.90	c (14,0) c Purge_0 : 17795
130.12/25.90	c (14,0) c Purge_1 : 17747
130.12/25.90	c (14,0) c Purge_2 : 17704
130.12/25.90	c (14,0) c Purge_3 : 17821
130.12/25.90	c (14,0) c Purge_4 : 17674
130.12/25.90	c (14,0) c Purge_5 : 17777
130.12/25.90	c (14,0) c Purge_6 : 17802
130.12/25.90	c (14,0) c Purge_7 : 17766
130.12/25.90	c (14,0) c Purge_total : 142086
130.12/25.90	c (14,0) c Purge_winner : 17674
130.12/25.90	c (14,0) c Promoted_0 : 864
130.12/25.90	c (14,0) c Promoted_1 : 968
130.12/25.90	c (14,0) c Promoted_2 : 981
130.12/25.90	c (14,0) c Promoted_3 : 947
130.12/25.90	c (14,0) c Promoted_4 : 938
130.12/25.90	c (14,0) c Promoted_5 : 945
130.12/25.90	c (14,0) c Promoted_6 : 957
130.12/25.90	c (14,0) c Promoted_7 : 861
130.12/25.90	c (14,0) c Promoted_total : 7461
130.12/25.90	c (14,0) c Promoted_winner : 938
130.12/25.90	c (14,0) c Remove_Imp_0 : 4632
130.12/25.90	c (14,0) c Remove_Imp_1 : 3931
130.12/25.90	c (14,0) c Remove_Imp_2 : 3976
130.12/25.90	c (14,0) c Remove_Imp_3 : 4508
130.12/25.90	c (14,0) c Remove_Imp_4 : 3866
130.12/25.90	c (14,0) c Remove_Imp_5 : 3977
130.12/25.90	c (14,0) c Remove_Imp_6 : 3942
130.12/25.90	c (14,0) c Remove_Imp_7 : 5280
130.12/25.90	c (14,0) c Remove_Imp_total : 34112
130.12/25.90	c (14,0) c Remove_Imp_winner : 3866
130.12/25.90	c (14,0) c Blocked_Reuse_0 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_1 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_2 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_3 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_4 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_5 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_6 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_7 : 0
130.12/25.90	c (14,0) c Blocked_Reuse_total : 0
130.12/25.90	c (14,0) c Blocked_Reuse_winner : 0
130.12/25.90	c (14,0) c Unaries_0 : 1450
130.12/25.90	c (14,0) c Unaries_1 : 1501
130.12/25.90	c (14,0) c Unaries_2 : 1404
130.12/25.90	c (14,0) c Unaries_3 : 1395
130.12/25.90	c (14,0) c Unaries_4 : 1376
130.12/25.90	c (14,0) c Unaries_5 : 1488
130.12/25.90	c (14,0) c Unaries_6 : 1392
130.12/25.90	c (14,0) c Unaries_7 : 1449
130.12/25.90	c (14,0) c Unaries_total : 11455
130.12/25.90	c (14,0) c Unaries_winner : 1376
130.12/25.90	c (14,0) c Binaries_0 : 975
130.12/25.90	c (14,0) c Binaries_1 : 1013
130.12/25.90	c (14,0) c Binaries_2 : 878
130.12/25.90	c (14,0) c Binaries_3 : 966
130.12/25.90	c (14,0) c Binaries_4 : 913
130.12/25.90	c (14,0) c Binaries_5 : 953
130.12/25.90	c (14,0) c Binaries_6 : 948
130.12/25.90	c (14,0) c Binaries_7 : 886
130.12/25.90	c (14,0) c Binaries_total : 7532
130.12/25.90	c (14,0) c Binaries_winner : 913
130.12/25.90	c (14,0) c Glues_0 : 1645
130.12/25.90	c (14,0) c Glues_1 : 1683
130.12/25.90	c (14,0) c Glues_2 : 1550
130.12/25.90	c (14,0) c Glues_3 : 1620
130.12/25.90	c (14,0) c Glues_4 : 1560
130.12/25.90	c (14,0) c Glues_5 : 1584
130.12/25.90	c (14,0) c Glues_6 : 1571
130.12/25.90	c (14,0) c Glues_7 : 1527
130.12/25.90	c (14,0) c Glues_total : 12740
130.12/25.90	c (14,0) c Glues_winner : 1560
130.12/25.90	c (14,0) c RunningTime_0 : 14.003461
130.12/25.90	c (14,0) c RunningTime_1 : 13.919719
130.12/25.90	c (14,0) c RunningTime_2 : 13.410398
130.12/25.90	c (14,0) c RunningTime_3 : 13.671009
130.12/25.90	c (14,0) c RunningTime_4 : 13.209512
130.12/25.90	c (14,0) c RunningTime_5 : 13.502580
130.12/25.90	c (14,0) c RunningTime_6 : 13.454608
130.12/25.90	c (14,0) c RunningTime_7 : 13.894862
130.12/25.90	c (14,0) c RunningTime_total : 109.066148
130.12/25.90	c (14,0) c RunningTime_winner : 13.209512
130.12/25.90	c (14,0) c WaitingTime_0 : 0.000054
130.12/25.90	c (14,0) c WaitingTime_1 : 0.000071
130.12/25.90	c (14,0) c WaitingTime_2 : 0.000088
130.12/25.90	c (14,0) c WaitingTime_3 : 0.000095
130.12/25.90	c (14,0) c WaitingTime_4 : 0.000056
130.12/25.90	c (14,0) c WaitingTime_5 : 0.000076
130.12/25.90	c (14,0) c WaitingTime_6 : 0.000072
130.12/25.90	c (14,0) c WaitingTime_7 : 0.000069
130.12/25.90	c (14,0) c WaitingTime_total : 0.000582
130.12/25.90	c (14,0) c WaitingTime_winner : 0.000056
130.12/25.90	c (14,0) c ExchangingTime_0 : 0.011840
130.12/25.90	c (14,0) c ExchangingTime_1 : 0.011989
130.12/25.90	c (14,0) c ExchangingTime_2 : 0.011743
130.12/25.90	c (14,0) c ExchangingTime_3 : 0.012552
130.12/25.90	c (14,0) c ExchangingTime_4 : 0.011801
130.12/25.90	c (14,0) c ExchangingTime_5 : 0.011769
130.12/25.90	c (14,0) c ExchangingTime_6 : 0.011457
130.12/25.90	c (14,0) c ExchangingTime_7 : 0.012325
130.12/25.90	c (14,0) c ExchangingTime_total : 0.095477
130.12/25.90	c (14,0) c ExchangingTime_winner : 0.011801
130.12/25.90	c (14,0) c PeriodProcTime_0 : 0.000639
130.12/25.90	c (14,0) c PeriodProcTime_1 : 0.000641
130.12/25.90	c (14,0) c PeriodProcTime_2 : 0.000534
130.12/25.90	c (14,0) c PeriodProcTime_3 : 0.000739
130.12/25.90	c (14,0) c PeriodProcTime_4 : 0.000547
130.12/25.90	c (14,0) c PeriodProcTime_5 : 0.000564
130.12/25.90	c (14,0) c PeriodProcTime_6 : 0.000640
130.12/25.90	c (14,0) c PeriodProcTime_7 : 0.000718
130.12/25.90	c (14,0) c PeriodProcTime_total : 0.005022
130.12/25.90	c (14,0) c PeriodProcTime_winner : 0.000547
130.12/25.90	c (14,0) c SolvingTime_0 : 14.015994
130.12/25.90	c (14,0) c SolvingTime_1 : 13.932420
130.12/25.90	c (14,0) c SolvingTime_2 : 13.422762
130.12/25.90	c (14,0) c SolvingTime_3 : 13.684396
130.12/25.90	c (14,0) c SolvingTime_4 : 13.221916
130.12/25.90	c (14,0) c SolvingTime_5 : 13.514989
130.12/25.90	c (14,0) c SolvingTime_6 : 13.466777
130.12/25.90	c (14,0) c SolvingTime_7 : 13.907974
130.12/25.90	c (14,0) c SolvingTime_total : 109.167228
130.12/25.90	c (14,0) c SolvingTime_winner : 13.221916
130.12/25.90	c (14,0) c PropagationTime_0 : 12.331648
130.12/25.90	c (14,0) c PropagationTime_1 : 12.269181
130.12/25.90	c (14,0) c PropagationTime_2 : 11.743540
130.12/25.90	c (14,0) c PropagationTime_3 : 11.938097
130.12/25.90	c (14,0) c PropagationTime_4 : 11.545929
130.12/25.90	c (14,0) c PropagationTime_5 : 11.826607
130.12/25.90	c (14,0) c PropagationTime_6 : 11.775057
130.12/25.90	c (14,0) c PropagationTime_7 : 12.191736
130.12/25.90	c (14,0) c PropagationTime_total : 95.621795
130.12/25.90	c (14,0) c PropagationTime_winner : 11.545929
130.12/25.90	c (14,0) c AnalysisTime_0 : 0.675034
130.12/25.90	c (14,0) c AnalysisTime_1 : 0.660824
130.12/25.90	c (14,0) c AnalysisTime_2 : 0.691802
130.12/25.90	c (14,0) c AnalysisTime_3 : 0.714660
130.12/25.90	c (14,0) c AnalysisTime_4 : 0.699021
130.12/25.90	c (14,0) c AnalysisTime_5 : 0.686749
130.12/25.90	c (14,0) c AnalysisTime_6 : 0.705965
130.12/25.90	c (14,0) c AnalysisTime_7 : 0.712014
130.12/25.90	c (14,0) c AnalysisTime_total : 5.546070
130.12/25.90	c (14,0) c AnalysisTime_winner : 0.699021
130.12/25.90	c (14,0) c ReductionTime_0 : 0.034791
130.12/25.90	c (14,0) c ReductionTime_1 : 0.032766
130.12/25.90	c (14,0) c ReductionTime_2 : 0.031489
130.12/25.90	c (14,0) c ReductionTime_3 : 0.032205
130.12/25.90	c (14,0) c ReductionTime_4 : 0.031265
130.12/25.90	c (14,0) c ReductionTime_5 : 0.033006
130.12/25.90	c (14,0) c ReductionTime_6 : 0.032449
130.12/25.90	c (14,0) c ReductionTime_7 : 0.032010
130.12/25.90	c (14,0) c ReductionTime_total : 0.259981
130.12/25.90	c (14,0) c ReductionTime_winner : 0.031265
130.12/25.90	c (14,0) c SimplifyTime_0 : 0.205645
130.12/25.90	c (14,0) c SimplifyTime_1 : 0.206018
130.12/25.90	c (14,0) c SimplifyTime_2 : 0.208879
130.12/25.90	c (14,0) c SimplifyTime_3 : 0.227869
130.12/25.90	c (14,0) c SimplifyTime_4 : 0.205176
130.12/25.90	c (14,0) c SimplifyTime_5 : 0.219825
130.12/25.90	c (14,0) c SimplifyTime_6 : 0.211869
130.12/25.90	c (14,0) c SimplifyTime_7 : 0.209678
130.12/25.90	c (14,0) c SimplifyTime_total : 1.694958
130.12/25.90	c (14,0) c SimplifyTime_winner : 0.205176
130.12/25.90	c (14,0) c UsedRateTime_0 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_1 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_2 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_3 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_4 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_5 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_6 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_7 : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_total : 0.000000
130.12/25.90	c (14,0) c UsedRateTime_winner : 0.000000
130.12/25.90	c (14,0) c OverlapRateTime_0 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_1 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_2 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_3 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_4 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_5 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_6 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_7 : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_total : 0.000000
130.12/25.91	c (14,0) c OverlapRateTime_winner : 0.000000
130.12/25.91	c (14,0) c
130.12/25.91	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
130.12/25.91	c (14,0) c
130.12/25.91	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.12/25.91	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
130.12/25.91	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.12/25.91	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
130.12/25.91	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
130.12/25.91	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
130.12/25.91	c (14,0) c | Initial random_seed   | 1142887669 | 1413002532 | 1158038127 |  833412489 |   52678347 |   85880243 | 2093145664 |  293329195 |
130.12/25.91	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
130.12/25.91	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
130.12/25.91	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
130.12/25.91	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
130.12/25.91	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
130.12/25.91	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
130.12/25.91	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
130.12/25.91	c (14,0) c | var_decay             |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |
130.12/25.91	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
130.12/25.91	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
130.12/25.91	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
130.12/25.91	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.12/25.91	c (14,0) 
130.12/25.91	c (14,0) s SATISFIABLE
130.12/25.97	c (14,0) SatSolver.solve End
130.12/25.97	c (14,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
130.12/25.97	c (14,0) Show results Begin
130.66/26.17	c (15,0) x[0][0] = 19
130.66/26.17	c (15,0) x[0][1] = 18
130.66/26.17	c (15,0) x[0][2] = 17
130.66/26.17	c (15,0) x[0][3] = 28
130.66/26.17	c (15,0) x[0][4] = 12
130.66/26.17	c (15,0) x[0][5] = 14
130.66/26.17	c (15,0) x[0][6] = 16
130.66/26.17	c (15,0) x[0][7] = 24
130.66/26.17	c (15,0) x[0][8] = 11
130.66/26.17	c (15,0) x[0][9] = 3
130.66/26.17	c (15,0) x[0][10] = 6
130.66/26.17	c (15,0) x[0][11] = 20
130.66/26.17	c (15,0) x[0][12] = 0
130.66/26.17	c (15,0) x[0][13] = 13
130.66/26.17	c (15,0) x[0][14] = 2
130.66/26.17	c (15,0) x[0][15] = 23
130.66/26.17	c (15,0) x[0][16] = 21
130.66/26.17	c (15,0) x[0][17] = 27
130.66/26.17	c (15,0) x[0][18] = 29
130.66/26.17	c (15,0) x[0][19] = 5
130.66/26.17	c (15,0) x[0][20] = 4
130.66/26.17	c (15,0) x[0][21] = 22
130.66/26.17	c (15,0) x[0][22] = 9
130.66/26.17	c (15,0) x[0][23] = 25
130.66/26.17	c (15,0) x[0][24] = 10
130.66/26.17	c (15,0) x[0][25] = 15
130.66/26.17	c (15,0) x[0][26] = 8
130.66/26.17	c (15,0) x[0][27] = 1
130.66/26.17	c (15,0) x[0][28] = 26
130.66/26.17	c (15,0) x[0][29] = 7
130.66/26.17	c (15,0) x[1][0] = 24
130.66/26.17	c (15,0) x[1][1] = 17
130.66/26.17	c (15,0) x[1][2] = 2
130.66/26.17	c (15,0) x[1][3] = 4
130.66/26.17	c (15,0) x[1][4] = 28
130.66/26.17	c (15,0) x[1][5] = 21
130.66/26.17	c (15,0) x[1][6] = 27
130.66/26.17	c (15,0) x[1][7] = 16
130.66/26.17	c (15,0) x[1][8] = 19
130.66/26.17	c (15,0) x[1][9] = 6
130.66/26.17	c (15,0) x[1][10] = 29
130.66/26.17	c (15,0) x[1][11] = 5
130.66/26.17	c (15,0) x[1][12] = 20
130.66/26.17	c (15,0) x[1][13] = 7
130.66/26.17	c (15,0) x[1][14] = 23
130.66/26.17	c (15,0) x[1][15] = 1
130.66/26.17	c (15,0) x[1][16] = 25
130.66/26.17	c (15,0) x[1][17] = 0
130.66/26.17	c (15,0) x[1][18] = 12
130.66/26.17	c (15,0) x[1][19] = 10
130.66/26.17	c (15,0) x[1][20] = 22
130.66/26.17	c (15,0) x[1][21] = 9
130.66/26.17	c (15,0) x[1][22] = 14
130.66/26.17	c (15,0) x[1][23] = 13
130.66/26.17	c (15,0) x[1][24] = 18
130.66/26.17	c (15,0) x[1][25] = 11
130.66/26.17	c (15,0) x[1][26] = 26
130.66/26.17	c (15,0) x[1][27] = 8
130.66/26.17	c (15,0) x[1][28] = 3
130.66/26.17	c (15,0) x[1][29] = 15
130.66/26.17	c (15,0) x[2][0] = 14
130.66/26.17	c (15,0) x[2][1] = 20
130.66/26.17	c (15,0) x[2][2] = 29
130.66/26.17	c (15,0) x[2][3] = 8
130.66/26.17	c (15,0) x[2][4] = 3
130.66/26.17	c (15,0) x[2][5] = 5
130.66/26.17	c (15,0) x[2][6] = 18
130.66/26.17	c (15,0) x[2][7] = 2
130.66/26.17	c (15,0) x[2][8] = 10
130.66/26.17	c (15,0) x[2][9] = 13
130.66/26.17	c (15,0) x[2][10] = 27
130.66/26.17	c (15,0) x[2][11] = 1
130.66/26.17	c (15,0) x[2][12] = 4
130.66/26.17	c (15,0) x[2][13] = 15
130.66/26.17	c (15,0) x[2][14] = 9
130.66/26.17	c (15,0) x[2][15] = 26
130.66/26.17	c (15,0) x[2][16] = 22
130.66/26.17	c (15,0) x[2][17] = 25
130.66/26.17	c (15,0) x[2][18] = 11
130.66/26.17	c (15,0) x[2][19] = 19
130.66/26.17	c (15,0) x[2][20] = 24
130.66/26.17	c (15,0) x[2][21] = 17
130.66/26.17	c (15,0) x[2][22] = 21
130.66/26.17	c (15,0) x[2][23] = 0
130.66/26.17	c (15,0) x[2][24] = 12
130.66/26.17	c (15,0) x[2][25] = 6
130.66/26.18	c (15,0) x[2][26] = 23
130.66/26.18	c (15,0) x[2][27] = 7
130.66/26.18	c (15,0) x[2][28] = 28
130.66/26.18	c (15,0) x[2][29] = 16
130.66/26.18	c (15,0) x[3][0] = 21
130.66/26.18	c (15,0) x[3][1] = 26
130.66/26.18	c (15,0) x[3][2] = 19
130.66/26.18	c (15,0) x[3][3] = 0
130.66/26.18	c (15,0) x[3][4] = 8
130.66/26.18	c (15,0) x[3][5] = 16
130.66/26.18	c (15,0) x[3][6] = 5
130.66/26.18	c (15,0) x[3][7] = 9
130.66/26.18	c (15,0) x[3][8] = 15
130.66/26.18	c (15,0) x[3][9] = 29
130.66/26.18	c (15,0) x[3][10] = 22
130.66/26.18	c (15,0) x[3][11] = 17
130.66/26.18	c (15,0) x[3][12] = 11
130.66/26.18	c (15,0) x[3][13] = 3
130.66/26.18	c (15,0) x[3][14] = 12
130.66/26.18	c (15,0) x[3][15] = 24
130.66/26.18	c (15,0) x[3][16] = 4
130.66/26.18	c (15,0) x[3][17] = 10
130.66/26.18	c (15,0) x[3][18] = 25
130.66/26.18	c (15,0) x[3][19] = 7
130.66/26.18	c (15,0) x[3][20] = 28
130.66/26.18	c (15,0) x[3][21] = 20
130.66/26.18	c (15,0) x[3][22] = 27
130.66/26.18	c (15,0) x[3][23] = 23
130.66/26.18	c (15,0) x[3][24] = 1
130.66/26.18	c (15,0) x[3][25] = 18
130.66/26.18	c (15,0) x[3][26] = 14
130.66/26.18	c (15,0) x[3][27] = 6
130.66/26.18	c (15,0) x[3][28] = 2
130.66/26.18	c (15,0) x[3][29] = 13
130.66/26.18	c (15,0) x[4][0] = 0
130.66/26.18	c (15,0) x[4][1] = 16
130.66/26.18	c (15,0) x[4][2] = 3
130.66/26.18	c (15,0) x[4][3] = 2
130.66/26.18	c (15,0) x[4][4] = 27
130.66/26.18	c (15,0) x[4][5] = 24
130.66/26.18	c (15,0) x[4][6] = 1
130.66/26.18	c (15,0) x[4][7] = 8
130.66/26.18	c (15,0) x[4][8] = 17
130.66/26.18	c (15,0) x[4][9] = 14
130.66/26.18	c (15,0) x[4][10] = 21
130.66/26.18	c (15,0) x[4][11] = 7
130.66/26.18	c (15,0) x[4][12] = 9
130.66/26.18	c (15,0) x[4][13] = 12
130.66/26.18	c (15,0) x[4][14] = 19
130.66/26.18	c (15,0) x[4][15] = 13
130.66/26.18	c (15,0) x[4][16] = 23
130.66/26.18	c (15,0) x[4][17] = 5
130.66/26.18	c (15,0) x[4][18] = 10
130.66/26.18	c (15,0) x[4][19] = 28
130.66/26.18	c (15,0) x[4][20] = 29
130.66/26.18	c (15,0) x[4][21] = 6
130.66/26.18	c (15,0) x[4][22] = 20
130.66/26.18	c (15,0) x[4][23] = 26
130.66/26.18	c (15,0) x[4][24] = 11
130.66/26.18	c (15,0) x[4][25] = 25
130.66/26.18	c (15,0) x[4][26] = 15
130.66/26.18	c (15,0) x[4][27] = 4
130.66/26.18	c (15,0) x[4][28] = 18
130.66/26.18	c (15,0) x[4][29] = 22
130.66/26.18	c (15,0) x[5][0] = 6
130.66/26.18	c (15,0) x[5][1] = 0
130.66/26.18	c (15,0) x[5][2] = 24
130.66/26.18	c (15,0) x[5][3] = 10
130.66/26.18	c (15,0) x[5][4] = 16
130.66/26.18	c (15,0) x[5][5] = 11
130.66/26.18	c (15,0) x[5][6] = 12
130.66/26.18	c (15,0) x[5][7] = 23
130.66/26.18	c (15,0) x[5][8] = 14
130.66/26.18	c (15,0) x[5][9] = 15
130.66/26.18	c (15,0) x[5][10] = 3
130.66/26.18	c (15,0) x[5][11] = 19
130.66/26.18	c (15,0) x[5][12] = 13
130.66/26.18	c (15,0) x[5][13] = 22
130.66/26.18	c (15,0) x[5][14] = 8
130.66/26.18	c (15,0) x[5][15] = 9
130.66/26.18	c (15,0) x[5][16] = 27
130.66/26.18	c (15,0) x[5][17] = 17
130.66/26.18	c (15,0) x[5][18] = 20
130.66/26.18	c (15,0) x[5][19] = 4
130.66/26.18	c (15,0) x[5][20] = 18
130.66/26.18	c (15,0) x[5][21] = 1
130.66/26.18	c (15,0) x[5][22] = 26
130.66/26.18	c (15,0) x[5][23] = 29
130.66/26.18	c (15,0) x[5][24] = 2
130.66/26.18	c (15,0) x[5][25] = 5
130.66/26.18	c (15,0) x[5][26] = 21
130.66/26.18	c (15,0) x[5][27] = 25
130.66/26.18	c (15,0) x[5][28] = 7
130.66/26.18	c (15,0) x[5][29] = 28
130.66/26.18	c (15,0) x[6][0] = 13
130.66/26.18	c (15,0) x[6][1] = 11
130.66/26.18	c (15,0) x[6][2] = 5
130.66/26.18	c (15,0) x[6][3] = 22
130.66/26.18	c (15,0) x[6][4] = 9
130.66/26.18	c (15,0) x[6][5] = 15
130.66/26.18	c (15,0) x[6][6] = 25
130.66/26.18	c (15,0) x[6][7] = 3
130.66/26.18	c (15,0) x[6][8] = 26
130.66/26.18	c (15,0) x[6][9] = 1
130.66/26.18	c (15,0) x[6][10] = 12
130.66/26.18	c (15,0) x[6][11] = 23
130.66/26.18	c (15,0) x[6][12] = 8
130.66/26.18	c (15,0) x[6][13] = 20
130.66/26.18	c (15,0) x[6][14] = 0
130.66/26.18	c (15,0) x[6][15] = 2
130.66/26.18	c (15,0) x[6][16] = 16
130.66/26.18	c (15,0) x[6][17] = 29
130.66/26.18	c (15,0) x[6][18] = 7
130.66/26.18	c (15,0) x[6][19] = 24
130.66/26.18	c (15,0) x[6][20] = 6
130.66/26.18	c (15,0) x[6][21] = 18
130.66/26.18	c (15,0) x[6][22] = 28
130.66/26.18	c (15,0) x[6][23] = 14
130.66/26.18	c (15,0) x[6][24] = 19
130.66/26.18	c (15,0) x[6][25] = 17
130.66/26.18	c (15,0) x[6][26] = 27
130.66/26.18	c (15,0) x[6][27] = 10
130.66/26.18	c (15,0) x[6][28] = 21
130.66/26.18	c (15,0) x[6][29] = 4
130.66/26.18	c (15,0) x[7][0] = 11
130.66/26.18	c (15,0) x[7][1] = 15
130.66/26.18	c (15,0) x[7][2] = 1
130.66/26.18	c (15,0) x[7][3] = 6
130.66/26.18	c (15,0) x[7][4] = 7
130.66/26.18	c (15,0) x[7][5] = 0
130.66/26.18	c (15,0) x[7][6] = 8
130.66/26.18	c (15,0) x[7][7] = 29
130.66/26.18	c (15,0) x[7][8] = 27
130.66/26.18	c (15,0) x[7][9] = 24
130.66/26.18	c (15,0) x[7][10] = 20
130.66/26.18	c (15,0) x[7][11] = 13
130.66/26.18	c (15,0) x[7][12] = 19
130.66/26.18	c (15,0) x[7][13] = 17
130.66/26.18	c (15,0) x[7][14] = 18
130.66/26.18	c (15,0) x[7][15] = 21
130.66/26.18	c (15,0) x[7][16] = 9
130.66/26.18	c (15,0) x[7][17] = 14
130.66/26.18	c (15,0) x[7][18] = 28
130.66/26.18	c (15,0) x[7][19] = 25
130.66/26.18	c (15,0) x[7][20] = 26
130.66/26.18	c (15,0) x[7][21] = 2
130.66/26.18	c (15,0) x[7][22] = 3
130.66/26.18	c (15,0) x[7][23] = 10
130.66/26.18	c (15,0) x[7][24] = 16
130.66/26.18	c (15,0) x[7][25] = 4
130.66/26.18	c (15,0) x[7][26] = 12
130.66/26.18	c (15,0) x[7][27] = 22
130.66/26.18	c (15,0) x[7][28] = 5
130.66/26.18	c (15,0) x[7][29] = 23
130.66/26.18	c (15,0) x[8][0] = 18
130.66/26.18	c (15,0) x[8][1] = 19
130.66/26.18	c (15,0) x[8][2] = 27
130.66/26.18	c (15,0) x[8][3] = 7
130.66/26.18	c (15,0) x[8][4] = 10
130.66/26.18	c (15,0) x[8][5] = 29
130.66/26.18	c (15,0) x[8][6] = 28
130.66/26.18	c (15,0) x[8][7] = 6
130.66/26.18	c (15,0) x[8][8] = 5
130.66/26.18	c (15,0) x[8][9] = 12
130.66/26.18	c (15,0) x[8][10] = 4
130.66/26.18	c (15,0) x[8][11] = 26
130.66/26.18	c (15,0) x[8][12] = 2
130.66/26.18	c (15,0) x[8][13] = 16
130.66/26.18	c (15,0) x[8][14] = 17
130.66/26.18	c (15,0) x[8][15] = 20
130.66/26.18	c (15,0) x[8][16] = 14
130.66/26.18	c (15,0) x[8][17] = 13
130.66/26.18	c (15,0) x[8][18] = 22
130.66/26.18	c (15,0) x[8][19] = 23
130.66/26.18	c (15,0) x[8][20] = 11
130.66/26.18	c (15,0) x[8][21] = 3
130.66/26.18	c (15,0) x[8][22] = 24
130.66/26.18	c (15,0) x[8][23] = 8
130.66/26.18	c (15,0) x[8][24] = 25
130.66/26.18	c (15,0) x[8][25] = 21
130.66/26.18	c (15,0) x[8][26] = 0
130.66/26.18	c (15,0) x[8][27] = 9
130.66/26.18	c (15,0) x[8][28] = 15
130.66/26.18	c (15,0) x[8][29] = 1
130.66/26.18	c (15,0) x[9][0] = 1
130.66/26.18	c (15,0) x[9][1] = 2
130.66/26.18	c (15,0) x[9][2] = 20
130.66/26.18	c (15,0) x[9][3] = 23
130.66/26.18	c (15,0) x[9][4] = 25
130.66/26.18	c (15,0) x[9][5] = 28
130.66/26.18	c (15,0) x[9][6] = 4
130.66/26.18	c (15,0) x[9][7] = 0
130.66/26.18	c (15,0) x[9][8] = 13
130.66/26.18	c (15,0) x[9][9] = 11
130.66/26.18	c (15,0) x[9][10] = 7
130.66/26.18	c (15,0) x[9][11] = 16
130.66/26.18	c (15,0) x[9][12] = 12
130.66/26.18	c (15,0) x[9][13] = 5
130.66/26.18	c (15,0) x[9][14] = 29
130.66/26.18	c (15,0) x[9][15] = 22
130.66/26.18	c (15,0) x[9][16] = 17
130.66/26.18	c (15,0) x[9][17] = 9
130.66/26.18	c (15,0) x[9][18] = 24
130.66/26.18	c (15,0) x[9][19] = 27
130.66/26.18	c (15,0) x[9][20] = 21
130.66/26.18	c (15,0) x[9][21] = 14
130.66/26.18	c (15,0) x[9][22] = 8
130.66/26.18	c (15,0) x[9][23] = 15
130.66/26.18	c (15,0) x[9][24] = 26
130.66/26.18	c (15,0) x[9][25] = 10
130.66/26.18	c (15,0) x[9][26] = 3
130.66/26.18	c (15,0) x[9][27] = 18
130.66/26.18	c (15,0) x[9][28] = 6
130.66/26.18	c (15,0) x[9][29] = 19
130.66/26.18	c (15,0) x[10][0] = 15
130.66/26.18	c (15,0) x[10][1] = 27
130.66/26.18	c (15,0) x[10][2] = 9
130.66/26.18	c (15,0) x[10][3] = 14
130.66/26.18	c (15,0) x[10][4] = 18
130.66/26.18	c (15,0) x[10][5] = 10
130.66/26.18	c (15,0) x[10][6] = 6
130.66/26.18	c (15,0) x[10][7] = 26
130.66/26.18	c (15,0) x[10][8] = 23
130.66/26.18	c (15,0) x[10][9] = 19
130.66/26.18	c (15,0) x[10][10] = 5
130.66/26.18	c (15,0) x[10][11] = 25
130.66/26.18	c (15,0) x[10][12] = 3
130.66/26.18	c (15,0) x[10][13] = 28
130.66/26.18	c (15,0) x[10][14] = 22
130.66/26.18	c (15,0) x[10][15] = 29
130.66/26.18	c (15,0) x[10][16] = 8
130.66/26.18	c (15,0) x[10][17] = 20
130.66/26.18	c (15,0) x[10][18] = 1
130.66/26.18	c (15,0) x[10][19] = 2
130.66/26.18	c (15,0) x[10][20] = 0
130.66/26.18	c (15,0) x[10][21] = 21
130.66/26.18	c (15,0) x[10][22] = 16
130.66/26.18	c (15,0) x[10][23] = 4
130.66/26.18	c (15,0) x[10][24] = 13
130.66/26.18	c (15,0) x[10][25] = 12
130.66/26.18	c (15,0) x[10][26] = 7
130.66/26.18	c (15,0) x[10][27] = 24
130.66/26.18	c (15,0) x[10][28] = 11
130.66/26.18	c (15,0) x[10][29] = 17
130.66/26.18	c (15,0) x[11][0] = 2
130.66/26.18	c (15,0) x[11][1] = 14
130.66/26.18	c (15,0) x[11][2] = 12
130.66/26.18	c (15,0) x[11][3] = 1
130.66/26.18	c (15,0) x[11][4] = 4
130.66/26.18	c (15,0) x[11][5] = 17
130.66/26.18	c (15,0) x[11][6] = 19
130.66/26.18	c (15,0) x[11][7] = 22
130.66/26.18	c (15,0) x[11][8] = 25
130.66/26.18	c (15,0) x[11][9] = 26
130.66/26.18	c (15,0) x[11][10] = 8
130.66/26.18	c (15,0) x[11][11] = 6
130.66/26.18	c (15,0) x[11][12] = 21
130.66/26.18	c (15,0) x[11][13] = 0
130.66/26.18	c (15,0) x[11][14] = 27
130.66/26.18	c (15,0) x[11][15] = 3
130.66/26.18	c (15,0) x[11][16] = 18
130.66/26.18	c (15,0) x[11][17] = 15
130.66/26.18	c (15,0) x[11][18] = 13
130.66/26.19	c (15,0) x[11][19] = 9
130.66/26.19	c (15,0) x[11][20] = 5
130.66/26.19	c (15,0) x[11][21] = 16
130.66/26.19	c (15,0) x[11][22] = 10
130.66/26.19	c (15,0) x[11][23] = 28
130.66/26.19	c (15,0) x[11][24] = 7
130.66/26.19	c (15,0) x[11][25] = 23
130.66/26.19	c (15,0) x[11][26] = 20
130.66/26.19	c (15,0) x[11][27] = 29
130.66/26.19	c (15,0) x[11][28] = 24
130.66/26.19	c (15,0) x[11][29] = 11
130.66/26.19	c (15,0) x[12][0] = 3
130.66/26.19	c (15,0) x[12][1] = 21
130.66/26.19	c (15,0) x[12][2] = 11
130.66/26.19	c (15,0) x[12][3] = 20
130.66/26.19	c (15,0) x[12][4] = 5
130.66/26.19	c (15,0) x[12][5] = 22
130.66/26.19	c (15,0) x[12][6] = 2
130.66/26.19	c (15,0) x[12][7] = 14
130.66/26.19	c (15,0) x[12][8] = 6
130.66/26.19	c (15,0) x[12][9] = 16
130.66/26.19	c (15,0) x[12][10] = 24
130.66/26.19	c (15,0) x[12][11] = 29
130.66/26.19	c (15,0) x[12][12] = 15
130.66/26.19	c (15,0) x[12][13] = 4
130.66/26.19	c (15,0) x[12][14] = 28
130.66/26.19	c (15,0) x[12][15] = 8
130.66/26.19	c (15,0) x[12][16] = 19
130.66/26.19	c (15,0) x[12][17] = 23
130.66/26.19	c (15,0) x[12][18] = 18
130.66/26.19	c (15,0) x[12][19] = 26
130.66/26.19	c (15,0) x[12][20] = 17
130.66/26.19	c (15,0) x[12][21] = 12
130.66/26.19	c (15,0) x[12][22] = 7
130.66/26.19	c (15,0) x[12][23] = 9
130.66/26.19	c (15,0) x[12][24] = 27
130.66/26.19	c (15,0) x[12][25] = 0
130.66/26.19	c (15,0) x[12][26] = 1
130.66/26.19	c (15,0) x[12][27] = 13
130.66/26.19	c (15,0) x[12][28] = 25
130.66/26.19	c (15,0) x[12][29] = 10
130.66/26.19	c (15,0) x[13][0] = 10
130.66/26.19	c (15,0) x[13][1] = 29
130.66/26.19	c (15,0) x[13][2] = 15
130.66/26.19	c (15,0) x[13][3] = 9
130.66/26.19	c (15,0) x[13][4] = 13
130.66/26.19	c (15,0) x[13][5] = 20
130.66/26.19	c (15,0) x[13][6] = 11
130.66/26.19	c (15,0) x[13][7] = 18
130.66/26.19	c (15,0) x[13][8] = 0
130.66/26.19	c (15,0) x[13][9] = 25
130.66/26.19	c (15,0) x[13][10] = 26
130.66/26.19	c (15,0) x[13][11] = 12
130.66/26.19	c (15,0) x[13][12] = 7
130.66/26.19	c (15,0) x[13][13] = 21
130.66/26.19	c (15,0) x[13][14] = 1
130.66/26.19	c (15,0) x[13][15] = 17
130.66/26.19	c (15,0) x[13][16] = 24
130.66/26.19	c (15,0) x[13][17] = 4
130.66/26.19	c (15,0) x[13][18] = 14
130.66/26.19	c (15,0) x[13][19] = 6
130.66/26.19	c (15,0) x[13][20] = 19
130.66/26.19	c (15,0) x[13][21] = 28
130.66/26.19	c (15,0) x[13][22] = 23
130.66/26.19	c (15,0) x[13][23] = 2
130.66/26.19	c (15,0) x[13][24] = 3
130.66/26.19	c (15,0) x[13][25] = 8
130.66/26.19	c (15,0) x[13][26] = 16
130.66/26.19	c (15,0) x[13][27] = 5
130.66/26.19	c (15,0) x[13][28] = 22
130.66/26.19	c (15,0) x[13][29] = 27
130.66/26.19	c (15,0) x[14][0] = 17
130.66/26.19	c (15,0) x[14][1] = 1
130.66/26.19	c (15,0) x[14][2] = 28
130.66/26.19	c (15,0) x[14][3] = 24
130.66/26.19	c (15,0) x[14][4] = 2
130.66/26.19	c (15,0) x[14][5] = 8
130.66/26.19	c (15,0) x[14][6] = 9
130.66/26.19	c (15,0) x[14][7] = 27
130.66/26.19	c (15,0) x[14][8] = 29
130.66/26.19	c (15,0) x[14][9] = 5
130.66/26.19	c (15,0) x[14][10] = 11
130.66/26.19	c (15,0) x[14][11] = 21
130.66/26.19	c (15,0) x[14][12] = 22
130.66/26.19	c (15,0) x[14][13] = 10
130.66/26.19	c (15,0) x[14][14] = 15
130.66/26.19	c (15,0) x[14][15] = 0
130.66/26.19	c (15,0) x[14][16] = 13
130.66/26.19	c (15,0) x[14][17] = 7
130.66/26.19	c (15,0) x[14][18] = 4
130.66/26.19	c (15,0) x[14][19] = 12
130.66/26.19	c (15,0) x[14][20] = 3
130.66/26.19	c (15,0) x[14][21] = 19
130.66/26.19	c (15,0) x[14][22] = 6
130.66/26.19	c (15,0) x[14][23] = 18
130.66/26.19	c (15,0) x[14][24] = 23
130.66/26.19	c (15,0) x[14][25] = 14
130.66/26.19	c (15,0) x[14][26] = 25
130.66/26.19	c (15,0) x[14][27] = 20
130.66/26.19	c (15,0) x[14][28] = 16
130.66/26.19	c (15,0) x[14][29] = 26
130.66/26.19	c (15,0) x[15][0] = 4
130.66/26.19	c (15,0) x[15][1] = 23
130.66/26.19	c (15,0) x[15][2] = 16
130.66/26.19	c (15,0) x[15][3] = 5
130.66/26.19	c (15,0) x[15][4] = 24
130.66/26.19	c (15,0) x[15][5] = 13
130.66/26.19	c (15,0) x[15][6] = 21
130.66/26.19	c (15,0) x[15][7] = 17
130.66/26.19	c (15,0) x[15][8] = 9
130.66/26.19	c (15,0) x[15][9] = 18
130.66/26.19	c (15,0) x[15][10] = 0
130.66/26.19	c (15,0) x[15][11] = 15
130.66/26.19	c (15,0) x[15][12] = 28
130.66/26.19	c (15,0) x[15][13] = 1
130.66/26.19	c (15,0) x[15][14] = 7
130.66/26.19	c (15,0) x[15][15] = 12
130.66/26.19	c (15,0) x[15][16] = 29
130.66/26.19	c (15,0) x[15][17] = 19
130.66/26.19	c (15,0) x[15][18] = 3
130.66/26.19	c (15,0) x[15][19] = 11
130.66/26.19	c (15,0) x[15][20] = 8
130.66/26.19	c (15,0) x[15][21] = 27
130.66/26.19	c (15,0) x[15][22] = 2
130.66/26.19	c (15,0) x[15][23] = 22
130.66/26.19	c (15,0) x[15][24] = 6
130.66/26.19	c (15,0) x[15][25] = 20
130.66/26.19	c (15,0) x[15][26] = 10
130.66/26.19	c (15,0) x[15][27] = 26
130.66/26.19	c (15,0) x[15][28] = 14
130.66/26.19	c (15,0) x[15][29] = 25
130.66/26.19	c (15,0) x[16][0] = 29
130.66/26.19	c (15,0) x[16][1] = 7
130.66/26.19	c (15,0) x[16][2] = 4
130.66/26.19	c (15,0) x[16][3] = 17
130.66/26.19	c (15,0) x[16][4] = 6
130.66/26.19	c (15,0) x[16][5] = 26
130.66/26.19	c (15,0) x[16][6] = 15
130.66/26.19	c (15,0) x[16][7] = 13
130.66/26.19	c (15,0) x[16][8] = 20
130.66/26.19	c (15,0) x[16][9] = 2
130.66/26.19	c (15,0) x[16][10] = 1
130.66/26.19	c (15,0) x[16][11] = 18
130.66/26.19	c (15,0) x[16][12] = 10
130.66/26.19	c (15,0) x[16][13] = 8
130.66/26.19	c (15,0) x[16][14] = 25
130.66/26.19	c (15,0) x[16][15] = 28
130.66/26.19	c (15,0) x[16][16] = 11
130.66/26.19	c (15,0) x[16][17] = 12
130.66/26.19	c (15,0) x[16][18] = 0
130.66/26.19	c (15,0) x[16][19] = 16
130.66/26.19	c (15,0) x[16][20] = 14
130.66/26.19	c (15,0) x[16][21] = 23
130.66/26.19	c (15,0) x[16][22] = 19
130.66/26.19	c (15,0) x[16][23] = 3
130.66/26.19	c (15,0) x[16][24] = 5
130.66/26.19	c (15,0) x[16][25] = 9
130.66/26.19	c (15,0) x[16][26] = 22
130.66/26.19	c (15,0) x[16][27] = 21
130.66/26.19	c (15,0) x[16][28] = 27
130.66/26.19	c (15,0) x[16][29] = 24
130.66/26.19	c (15,0) x[17][0] = 22
130.66/26.19	c (15,0) x[17][1] = 6
130.66/26.19	c (15,0) x[17][2] = 8
130.66/26.19	c (15,0) x[17][3] = 26
130.66/26.19	c (15,0) x[17][4] = 20
130.66/26.19	c (15,0) x[17][5] = 7
130.66/26.19	c (15,0) x[17][6] = 10
130.66/26.19	c (15,0) x[17][7] = 19
130.66/26.19	c (15,0) x[17][8] = 24
130.66/26.19	c (15,0) x[17][9] = 27
130.66/26.19	c (15,0) x[17][10] = 15
130.66/26.19	c (15,0) x[17][11] = 0
130.66/26.19	c (15,0) x[17][12] = 23
130.66/26.19	c (15,0) x[17][13] = 2
130.66/26.19	c (15,0) x[17][14] = 3
130.66/26.19	c (15,0) x[17][15] = 16
130.66/26.19	c (15,0) x[17][16] = 12
130.66/26.19	c (15,0) x[17][17] = 18
130.66/26.19	c (15,0) x[17][18] = 5
130.66/26.19	c (15,0) x[17][19] = 14
130.66/26.19	c (15,0) x[17][20] = 25
130.66/26.19	c (15,0) x[17][21] = 29
130.66/26.19	c (15,0) x[17][22] = 4
130.66/26.19	c (15,0) x[17][23] = 17
130.66/26.19	c (15,0) x[17][24] = 28
130.66/26.19	c (15,0) x[17][25] = 1
130.66/26.19	c (15,0) x[17][26] = 13
130.66/26.19	c (15,0) x[17][27] = 11
130.66/26.19	c (15,0) x[17][28] = 9
130.66/26.19	c (15,0) x[17][29] = 21
130.66/26.19	c (15,0) x[18][0] = 26
130.66/26.19	c (15,0) x[18][1] = 3
130.66/26.19	c (15,0) x[18][2] = 18
130.66/26.19	c (15,0) x[18][3] = 27
130.66/26.19	c (15,0) x[18][4] = 17
130.66/26.19	c (15,0) x[18][5] = 1
130.66/26.19	c (15,0) x[18][6] = 14
130.66/26.19	c (15,0) x[18][7] = 20
130.66/26.19	c (15,0) x[18][8] = 4
130.66/26.19	c (15,0) x[18][9] = 10
130.66/26.19	c (15,0) x[18][10] = 25
130.66/26.19	c (15,0) x[18][11] = 28
130.66/26.19	c (15,0) x[18][12] = 24
130.66/26.19	c (15,0) x[18][13] = 19
130.66/26.19	c (15,0) x[18][14] = 13
130.66/26.19	c (15,0) x[18][15] = 5
130.66/26.19	c (15,0) x[18][16] = 15
130.66/26.19	c (15,0) x[18][17] = 2
130.66/26.19	c (15,0) x[18][18] = 21
130.66/26.19	c (15,0) x[18][19] = 0
130.66/26.19	c (15,0) x[18][20] = 9
130.66/26.19	c (15,0) x[18][21] = 11
130.66/26.19	c (15,0) x[18][22] = 22
130.66/26.19	c (15,0) x[18][23] = 12
130.66/26.19	c (15,0) x[18][24] = 8
130.66/26.19	c (15,0) x[18][25] = 7
130.66/26.19	c (15,0) x[18][26] = 6
130.66/26.19	c (15,0) x[18][27] = 16
130.66/26.19	c (15,0) x[18][28] = 23
130.66/26.19	c (15,0) x[18][29] = 29
130.66/26.19	c (15,0) x[19][0] = 5
130.66/26.19	c (15,0) x[19][1] = 4
130.66/26.19	c (15,0) x[19][2] = 25
130.66/26.19	c (15,0) x[19][3] = 11
130.66/26.19	c (15,0) x[19][4] = 1
130.66/26.19	c (15,0) x[19][5] = 23
130.66/26.19	c (15,0) x[19][6] = 22
130.66/26.19	c (15,0) x[19][7] = 21
130.66/26.19	c (15,0) x[19][8] = 7
130.66/26.19	c (15,0) x[19][9] = 20
130.66/26.19	c (15,0) x[19][10] = 2
130.66/26.19	c (15,0) x[19][11] = 14
130.66/26.19	c (15,0) x[19][12] = 6
130.66/26.19	c (15,0) x[19][13] = 18
130.66/26.19	c (15,0) x[19][14] = 10
130.66/26.19	c (15,0) x[19][15] = 19
130.66/26.19	c (15,0) x[19][16] = 28
130.66/26.19	c (15,0) x[19][17] = 24
130.66/26.19	c (15,0) x[19][18] = 15
130.66/26.19	c (15,0) x[19][19] = 8
130.66/26.19	c (15,0) x[19][20] = 27
130.66/26.19	c (15,0) x[19][21] = 26
130.66/26.19	c (15,0) x[19][22] = 29
130.66/26.19	c (15,0) x[19][23] = 16
130.66/26.19	c (15,0) x[19][24] = 17
130.66/26.19	c (15,0) x[19][25] = 13
130.66/26.19	c (15,0) x[19][26] = 9
130.66/26.19	c (15,0) x[19][27] = 0
130.66/26.19	c (15,0) x[19][28] = 12
130.66/26.19	c (15,0) x[19][29] = 3
130.66/26.19	c (15,0) x[20][0] = 27
130.66/26.19	c (15,0) x[20][1] = 13
130.66/26.19	c (15,0) x[20][2] = 21
130.66/26.19	c (15,0) x[20][3] = 29
130.66/26.19	c (15,0) x[20][4] = 15
130.66/26.19	c (15,0) x[20][5] = 2
130.66/26.19	c (15,0) x[20][6] = 17
130.66/26.19	c (15,0) x[20][7] = 4
130.66/26.19	c (15,0) x[20][8] = 1
130.66/26.19	c (15,0) x[20][9] = 23
130.66/26.19	c (15,0) x[20][10] = 18
130.66/26.19	c (15,0) x[20][11] = 3
130.66/26.19	c (15,0) x[20][12] = 16
130.66/26.19	c (15,0) x[20][13] = 9
130.66/26.19	c (15,0) x[20][14] = 14
130.66/26.19	c (15,0) x[20][15] = 6
130.66/26.19	c (15,0) x[20][16] = 7
130.66/26.19	c (15,0) x[20][17] = 28
130.66/26.19	c (15,0) x[20][18] = 26
130.66/26.19	c (15,0) x[20][19] = 22
130.66/26.19	c (15,0) x[20][20] = 10
130.66/26.19	c (15,0) x[20][21] = 8
130.66/26.19	c (15,0) x[20][22] = 25
130.66/26.19	c (15,0) x[20][23] = 5
130.66/26.19	c (15,0) x[20][24] = 24
130.66/26.19	c (15,0) x[20][25] = 19
130.66/26.19	c (15,0) x[20][26] = 11
130.66/26.19	c (15,0) x[20][27] = 12
130.66/26.19	c (15,0) x[20][28] = 20
130.66/26.19	c (15,0) x[20][29] = 0
130.66/26.19	c (15,0) x[21][0] = 16
130.66/26.19	c (15,0) x[21][1] = 10
130.66/26.19	c (15,0) x[21][2] = 22
130.66/26.19	c (15,0) x[21][3] = 18
130.66/26.19	c (15,0) x[21][4] = 23
130.66/26.19	c (15,0) x[21][5] = 9
130.66/26.19	c (15,0) x[21][6] = 29
130.66/26.19	c (15,0) x[21][7] = 7
130.66/26.19	c (15,0) x[21][8] = 12
130.66/26.19	c (15,0) x[21][9] = 0
130.66/26.19	c (15,0) x[21][10] = 28
130.66/26.19	c (15,0) x[21][11] = 8
130.66/26.19	c (15,0) x[21][12] = 5
130.66/26.19	c (15,0) x[21][13] = 25
130.66/26.19	c (15,0) x[21][14] = 4
130.66/26.19	c (15,0) x[21][15] = 27
130.66/26.19	c (15,0) x[21][16] = 26
130.66/26.19	c (15,0) x[21][17] = 11
130.66/26.19	c (15,0) x[21][18] = 2
130.66/26.19	c (15,0) x[21][19] = 13
130.66/26.19	c (15,0) x[21][20] = 1
130.66/26.19	c (15,0) x[21][21] = 15
130.66/26.19	c (15,0) x[21][22] = 17
130.66/26.19	c (15,0) x[21][23] = 21
130.66/26.19	c (15,0) x[21][24] = 20
130.66/26.19	c (15,0) x[21][25] = 3
130.66/26.19	c (15,0) x[21][26] = 24
130.66/26.19	c (15,0) x[21][27] = 14
130.66/26.19	c (15,0) x[21][28] = 19
130.66/26.19	c (15,0) x[21][29] = 6
130.66/26.19	c (15,0) x[22][0] = 12
130.66/26.19	c (15,0) x[22][1] = 22
130.66/26.19	c (15,0) x[22][2] = 14
130.66/26.19	c (15,0) x[22][3] = 16
130.66/26.19	c (15,0) x[22][4] = 0
130.66/26.19	c (15,0) x[22][5] = 27
130.66/26.19	c (15,0) x[22][6] = 20
130.66/26.19	c (15,0) x[22][7] = 25
130.66/26.19	c (15,0) x[22][8] = 2
130.66/26.19	c (15,0) x[22][9] = 28
130.66/26.19	c (15,0) x[22][10] = 10
130.66/26.19	c (15,0) x[22][11] = 4
130.66/26.19	c (15,0) x[22][12] = 1
130.66/26.19	c (15,0) x[22][13] = 6
130.66/26.19	c (15,0) x[22][14] = 26
130.66/26.19	c (15,0) x[22][15] = 7
130.66/26.19	c (15,0) x[22][16] = 5
130.66/26.19	c (15,0) x[22][17] = 21
130.66/26.19	c (15,0) x[22][18] = 8
130.66/26.19	c (15,0) x[22][19] = 3
130.66/26.19	c (15,0) x[22][20] = 15
130.66/26.19	c (15,0) x[22][21] = 13
130.66/26.19	c (15,0) x[22][22] = 11
130.66/26.19	c (15,0) x[22][23] = 19
130.66/26.19	c (15,0) x[22][24] = 9
130.66/26.19	c (15,0) x[22][25] = 24
130.66/26.19	c (15,0) x[22][26] = 29
130.66/26.19	c (15,0) x[22][27] = 23
130.66/26.19	c (15,0) x[22][28] = 17
130.66/26.19	c (15,0) x[22][29] = 18
130.66/26.19	c (15,0) x[23][0] = 8
130.66/26.19	c (15,0) x[23][1] = 9
130.66/26.19	c (15,0) x[23][2] = 10
130.66/26.19	c (15,0) x[23][3] = 12
130.66/26.19	c (15,0) x[23][4] = 19
130.66/26.19	c (15,0) x[23][5] = 18
130.66/26.19	c (15,0) x[23][6] = 26
130.66/26.19	c (15,0) x[23][7] = 28
130.66/26.19	c (15,0) x[23][8] = 3
130.66/26.19	c (15,0) x[23][9] = 21
130.66/26.19	c (15,0) x[23][10] = 23
130.66/26.19	c (15,0) x[23][11] = 22
130.66/26.19	c (15,0) x[23][12] = 25
130.66/26.19	c (15,0) x[23][13] = 24
130.66/26.19	c (15,0) x[23][14] = 11
130.66/26.19	c (15,0) x[23][15] = 14
130.66/26.19	c (15,0) x[23][16] = 0
130.66/26.19	c (15,0) x[23][17] = 1
130.66/26.19	c (15,0) x[23][18] = 6
130.66/26.19	c (15,0) x[23][19] = 29
130.66/26.19	c (15,0) x[23][20] = 7
130.66/26.19	c (15,0) x[23][21] = 5
130.66/26.19	c (15,0) x[23][22] = 13
130.66/26.19	c (15,0) x[23][23] = 20
130.66/26.19	c (15,0) x[23][24] = 15
130.66/26.19	c (15,0) x[23][25] = 16
130.66/26.19	c (15,0) x[23][26] = 17
130.66/26.19	c (15,0) x[23][27] = 27
130.66/26.19	c (15,0) x[23][28] = 4
130.66/26.19	c (15,0) x[23][29] = 2
130.66/26.19	c (15,0) x[24][0] = 28
130.66/26.19	c (15,0) x[24][1] = 24
130.66/26.19	c (15,0) x[24][2] = 26
130.66/26.19	c (15,0) x[24][3] = 3
130.66/26.19	c (15,0) x[24][4] = 11
130.66/26.19	c (15,0) x[24][5] = 4
130.66/26.19	c (15,0) x[24][6] = 7
130.66/26.19	c (15,0) x[24][7] = 10
130.66/26.19	c (15,0) x[24][8] = 16
130.66/26.19	c (15,0) x[24][9] = 8
130.66/26.19	c (15,0) x[24][10] = 9
130.66/26.19	c (15,0) x[24][11] = 2
130.66/26.19	c (15,0) x[24][12] = 17
130.66/26.19	c (15,0) x[24][13] = 23
130.66/26.19	c (15,0) x[24][14] = 21
130.66/26.19	c (15,0) x[24][15] = 25
130.66/26.19	c (15,0) x[24][16] = 6
130.66/26.19	c (15,0) x[24][17] = 22
130.66/26.19	c (15,0) x[24][18] = 19
130.66/26.19	c (15,0) x[24][19] = 20
130.66/26.19	c (15,0) x[24][20] = 13
130.66/26.19	c (15,0) x[24][21] = 0
130.66/26.19	c (15,0) x[24][22] = 18
130.66/26.19	c (15,0) x[24][23] = 1
130.66/26.19	c (15,0) x[24][24] = 14
130.66/26.19	c (15,0) x[24][25] = 27
130.66/26.19	c (15,0) x[24][26] = 5
130.66/26.19	c (15,0) x[24][27] = 15
130.66/26.19	c (15,0) x[24][28] = 29
130.66/26.19	c (15,0) x[24][29] = 12
130.66/26.19	c (15,0) x[25][0] = 20
130.66/26.19	c (15,0) x[25][1] = 8
130.66/26.19	c (15,0) x[25][2] = 7
130.66/26.19	c (15,0) x[25][3] = 25
130.66/26.19	c (15,0) x[25][4] = 14
130.66/26.19	c (15,0) x[25][5] = 19
130.66/26.19	c (15,0) x[25][6] = 24
130.66/26.19	c (15,0) x[25][7] = 5
130.66/26.19	c (15,0) x[25][8] = 21
130.66/26.19	c (15,0) x[25][9] = 22
130.66/26.19	c (15,0) x[25][10] = 13
130.66/26.19	c (15,0) x[25][11] = 11
130.66/26.19	c (15,0) x[25][12] = 27
130.66/26.19	c (15,0) x[25][13] = 26
130.66/26.19	c (15,0) x[25][14] = 16
130.66/26.19	c (15,0) x[25][15] = 15
130.66/26.19	c (15,0) x[25][16] = 1
130.66/26.19	c (15,0) x[25][17] = 3
130.66/26.19	c (15,0) x[25][18] = 17
130.66/26.19	c (15,0) x[25][19] = 18
130.66/26.19	c (15,0) x[25][20] = 23
130.66/26.19	c (15,0) x[25][21] = 10
130.66/26.19	c (15,0) x[25][22] = 12
130.66/26.19	c (15,0) x[25][23] = 6
130.66/26.19	c (15,0) x[25][24] = 4
130.66/26.19	c (15,0) x[25][25] = 29
130.66/26.19	c (15,0) x[25][26] = 2
130.66/26.19	c (15,0) x[25][27] = 28
130.66/26.19	c (15,0) x[25][28] = 0
130.66/26.19	c (15,0) x[25][29] = 9
130.66/26.19	c (15,0) x[26][0] = 9
130.66/26.19	c (15,0) x[26][1] = 28
130.66/26.19	c (15,0) x[26][2] = 0
130.66/26.19	c (15,0) x[26][3] = 13
130.66/26.19	c (15,0) x[26][4] = 26
130.66/26.19	c (15,0) x[26][5] = 25
130.66/26.19	c (15,0) x[26][6] = 3
130.66/26.19	c (15,0) x[26][7] = 12
130.66/26.19	c (15,0) x[26][8] = 8
130.66/26.19	c (15,0) x[26][9] = 4
130.66/26.19	c (15,0) x[26][10] = 19
130.66/26.19	c (15,0) x[26][11] = 24
130.66/26.19	c (15,0) x[26][12] = 14
130.66/26.19	c (15,0) x[26][13] = 29
130.66/26.19	c (15,0) x[26][14] = 5
130.66/26.19	c (15,0) x[26][15] = 11
130.66/26.19	c (15,0) x[26][16] = 10
130.66/26.19	c (15,0) x[26][17] = 6
130.66/26.19	c (15,0) x[26][18] = 23
130.66/26.19	c (15,0) x[26][19] = 17
130.66/26.19	c (15,0) x[26][20] = 16
130.66/26.19	c (15,0) x[26][21] = 7
130.66/26.19	c (15,0) x[26][22] = 15
130.66/26.19	c (15,0) x[26][23] = 27
130.66/26.19	c (15,0) x[26][24] = 21
130.66/26.19	c (15,0) x[26][25] = 22
130.66/26.19	c (15,0) x[26][26] = 18
130.66/26.19	c (15,0) x[26][27] = 2
130.66/26.19	c (15,0) x[26][28] = 1
130.66/26.19	c (15,0) x[26][29] = 20
130.66/26.19	c (15,0) x[27][0] = 25
130.66/26.19	c (15,0) x[27][1] = 5
130.66/26.19	c (15,0) x[27][2] = 13
130.66/26.19	c (15,0) x[27][3] = 19
130.66/26.19	c (15,0) x[27][4] = 21
130.66/26.19	c (15,0) x[27][5] = 6
130.66/26.19	c (15,0) x[27][6] = 23
130.66/26.19	c (15,0) x[27][7] = 15
130.66/26.19	c (15,0) x[27][8] = 18
130.66/26.19	c (15,0) x[27][9] = 9
130.66/26.19	c (15,0) x[27][10] = 17
130.66/26.19	c (15,0) x[27][11] = 10
130.66/26.19	c (15,0) x[27][12] = 29
130.66/26.19	c (15,0) x[27][13] = 11
130.66/26.19	c (15,0) x[27][14] = 20
130.66/26.19	c (15,0) x[27][15] = 4
130.66/26.19	c (15,0) x[27][16] = 2
130.66/26.19	c (15,0) x[27][17] = 16
130.66/26.19	c (15,0) x[27][18] = 27
130.66/26.19	c (15,0) x[27][19] = 1
130.66/26.19	c (15,0) x[27][20] = 12
130.66/26.19	c (15,0) x[27][21] = 24
130.66/26.19	c (15,0) x[27][22] = 0
130.66/26.19	c (15,0) x[27][23] = 7
130.66/26.19	c (15,0) x[27][24] = 22
130.66/26.19	c (15,0) x[27][25] = 26
130.66/26.19	c (15,0) x[27][26] = 28
130.66/26.19	c (15,0) x[27][27] = 3
130.66/26.19	c (15,0) x[27][28] = 8
130.66/26.19	c (15,0) x[27][29] = 14
130.66/26.19	c (15,0) x[28][0] = 23
130.66/26.19	c (15,0) x[28][1] = 25
130.66/26.19	c (15,0) x[28][2] = 6
130.66/26.19	c (15,0) x[28][3] = 21
130.66/26.19	c (15,0) x[28][4] = 22
130.66/26.19	c (15,0) x[28][5] = 12
130.66/26.19	c (15,0) x[28][6] = 0
130.66/26.19	c (15,0) x[28][7] = 1
130.66/26.19	c (15,0) x[28][8] = 28
130.66/26.19	c (15,0) x[28][9] = 7
130.66/26.19	c (15,0) x[28][10] = 14
130.66/26.19	c (15,0) x[28][11] = 9
130.66/26.19	c (15,0) x[28][12] = 18
130.66/26.19	c (15,0) x[28][13] = 27
130.66/26.19	c (15,0) x[28][14] = 24
130.66/26.19	c (15,0) x[28][15] = 10
130.66/26.19	c (15,0) x[28][16] = 3
130.66/26.19	c (15,0) x[28][17] = 26
130.66/26.19	c (15,0) x[28][18] = 16
130.66/26.19	c (15,0) x[28][19] = 15
130.66/26.19	c (15,0) x[28][20] = 20
130.66/26.19	c (15,0) x[28][21] = 4
130.66/26.19	c (15,0) x[28][22] = 5
130.66/26.19	c (15,0) x[28][23] = 11
130.66/26.19	c (15,0) x[28][24] = 29
130.66/26.19	c (15,0) x[28][25] = 2
130.66/26.19	c (15,0) x[28][26] = 19
130.66/26.19	c (15,0) x[28][27] = 17
130.66/26.19	c (15,0) x[28][28] = 13
130.66/26.19	c (15,0) x[28][29] = 8
130.66/26.19	c (15,0) x[29][0] = 7
130.66/26.19	c (15,0) x[29][1] = 12
130.66/26.19	c (15,0) x[29][2] = 23
130.66/26.19	c (15,0) x[29][3] = 15
130.66/26.19	c (15,0) x[29][4] = 29
130.66/26.19	c (15,0) x[29][5] = 3
130.66/26.19	c (15,0) x[29][6] = 13
130.66/26.19	c (15,0) x[29][7] = 11
130.66/26.19	c (15,0) x[29][8] = 22
130.66/26.19	c (15,0) x[29][9] = 17
130.66/26.19	c (15,0) x[29][10] = 16
130.66/26.19	c (15,0) x[29][11] = 27
130.66/26.19	c (15,0) x[29][12] = 26
130.66/26.19	c (15,0) x[29][13] = 14
130.66/26.19	c (15,0) x[29][14] = 6
130.66/26.19	c (15,0) x[29][15] = 18
130.66/26.19	c (15,0) x[29][16] = 20
130.66/26.19	c (15,0) x[29][17] = 8
130.66/26.19	c (15,0) x[29][18] = 9
130.66/26.19	c (15,0) x[29][19] = 21
130.66/26.19	c (15,0) x[29][20] = 2
130.66/26.19	c (15,0) x[29][21] = 25
130.66/26.19	c (15,0) x[29][22] = 1
130.66/26.19	c (15,0) x[29][23] = 24
130.66/26.19	c (15,0) x[29][24] = 0
130.66/26.19	c (15,0) x[29][25] = 28
130.66/26.19	c (15,0) x[29][26] = 4
130.66/26.19	c (15,0) x[29][27] = 19
130.66/26.19	c (15,0) x[29][28] = 10
130.66/26.19	c (15,0) x[29][29] = 5
130.66/26.19	s SATISFIABLE
130.66/26.19	v <instantiation>
130.66/26.19	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>
130.66/26.19	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>
130.66/26.19	v </instantiation>
130.66/26.19	c (15,0) Show results End
130.66/26.19	c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
130.66/26.19	c (15,0) 14,15,STOP-AFTER(ALL)
130.66/26.19	c END-Prog: Tue Sep 24 22:05:17 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 (14616 MiB free)
  memory of node 1: 16384 MiB (13456 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405290-1569359214/watcher-4405290-1569359214 -o /var/tmp/evaluation-result-4405290-1569359214/solver-4405290-1569359214 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405290-1569359214.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
Starting watchdog thread
solver pid=19652, runsolver pid=19649
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 6.03 6.35 6.23 3/211 19674
/proc/meminfo: memFree=28656280/32770624 swapFree=66954136/67108860
[pid=19652] ppid=19649 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19652/stat : 19652 (scop.sh) S 19649 19652 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512176740 115843072 349 33554432000 4194304 5098028 140728651022480 140728651019736 139875274048124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10178560 140728651031293 140728651031640 140728651031640 140728651034569 0
/proc/19652/statm: 28282 349 296 221 0 87 0
[pid=19655] ppid=19652 vsize=27314120 memory=104080 CPUtime=0.11 cores=0-7
/proc/19655/stat : 19655 (java) S 19652 19652 19238 0 -1 1077944320 6114 0 0 0 8 3 0 0 20 0 20 0 512176740 27969658880 26020 33554432000 4194304 4196468 140733515980224 140733515962768 140239762308855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
/proc/19655/statm: 6828530 26020 2799 1 0 6790935 0
[pid=19655/tid=19656] ppid=19652 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/19655/task/19656/stat : 19656 (java) R 19652 19652 19238 0 -1 4202560 4197 0 0 0 7 2 0 0 20 0 20 0 512176741 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239734143280 140239746389342 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19657] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19657/stat : 19657 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239766550800 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19658] ppid=19652 vsize=27314120 memory=3474723316112676512 CPUtime=0 cores=0-7
/proc/19655/task/19658/stat : 19658 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239549946256 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19659] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19659/stat : 19659 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239548893712 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19660] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19660/stat : 19660 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239547841168 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19661] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19661/stat : 19661 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239546788624 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19662] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19662/stat : 19662 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239545736080 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19663] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19663/stat : 19663 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239544683536 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19664] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19664/stat : 19664 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 26020 33554432000 4194304 4196468 140733515980224 140239543630992 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19665] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19665/stat : 19665 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176744 27969658880 26020 33554432000 4194304 4196468 140733515980224 140238329460720 140239762320002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19666] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19666/stat : 19666 (java) S 19652 19652 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512176745 27969658880 26020 33554432000 4194304 4196468 140733515980224 140237325984672 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19667] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19667/stat : 19667 (java) S 19652 19652 19238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512176745 27969658880 26020 33554432000 4194304 4196468 140733515980224 140237191762928 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19668] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19668/stat : 19668 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176747 27969658880 26020 33554432000 4194304 4196468 140733515980224 140236817258704 140239762327451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19669] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19669/stat : 19669 (java) S 19652 19652 19238 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 512176747 27969658880 26020 33554432000 4194304 4196468 140733515980224 140238328408560 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19670] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19670/stat : 19670 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 26020 33554432000 4194304 4196468 140733515980224 140238327356016 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19671] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19671/stat : 19671 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 26020 33554432000 4194304 4196468 140733515980224 140238326303472 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19672] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19672/stat : 19672 (java) S 19652 19652 19238 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 26020 33554432000 4194304 4196468 140733515980224 140238325250928 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19673] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19673/stat : 19673 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 26020 33554432000 4194304 4196468 140733515980224 140236319353056 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19674] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19674/stat : 19674 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 26020 33554432000 4194304 4196468 140733515980224 140238324197808 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105476 KiB

[startup+0.210319 s]*
/proc/loadavg: 6.03 6.35 6.23 3/211 19674
/proc/meminfo: memFree=28632112/32770624 swapFree=66954136/67108860
[pid=19652] ppid=19649 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19652/stat : 19652 (scop.sh) S 19649 19652 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512176740 115843072 349 33554432000 4194304 5098028 140728651022480 140728651019736 139875274048124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10178560 140728651031293 140728651031640 140728651031640 140728651034569 0
/proc/19652/statm: 28282 349 296 221 0 87 0
[pid=19655] ppid=19652 vsize=27314120 memory=123456 CPUtime=0.25 cores=0-7
/proc/19655/stat : 19655 (java) S 19652 19652 19238 0 -1 1077944320 11753 0 0 0 21 4 0 0 20 0 20 0 512176740 27969658880 30864 33554432000 4194304 4196468 140733515980224 140733515962768 140239762308855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
/proc/19655/statm: 6828530 30864 2919 1 0 6790935 0
[pid=19655/tid=19656] ppid=19652 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/19655/task/19656/stat : 19656 (java) R 19652 19652 19238 0 -1 4202560 9433 0 0 0 16 3 0 0 20 0 20 0 512176741 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239734132816 140239743872411 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19657] ppid=19652 vsize=27314120 memory=10927 CPUtime=0 cores=0-7
/proc/19655/task/19657/stat : 19657 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239766550800 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19658] ppid=19652 vsize=27314120 memory=139887166416630 CPUtime=0 cores=0-7
/proc/19655/task/19658/stat : 19658 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239549946256 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19659] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19659/stat : 19659 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239548893712 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19660] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19660/stat : 19660 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239547841168 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19661] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19661/stat : 19661 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239546788624 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19662] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19662/stat : 19662 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239545736080 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19663] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19663/stat : 19663 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239544683536 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19664] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19664/stat : 19664 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 30864 33554432000 4194304 4196468 140733515980224 140239543630992 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19665] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19665/stat : 19665 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176744 27969658880 30864 33554432000 4194304 4196468 140733515980224 140238329460720 140239762320002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19666] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19666/stat : 19666 (java) S 19652 19652 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512176745 27969658880 30864 33554432000 4194304 4196468 140733515980224 140237325984672 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19667] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19667/stat : 19667 (java) S 19652 19652 19238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512176745 27969658880 30864 33554432000 4194304 4196468 140733515980224 140237191762928 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19668] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19668/stat : 19668 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176747 27969658880 30864 33554432000 4194304 4196468 140733515980224 140236817258704 140239762327451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19669] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19669/stat : 19669 (java) S 19652 19652 19238 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 512176747 27969658880 30864 33554432000 4194304 4196468 140733515980224 140238328408560 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19670] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19670/stat : 19670 (java) S 19652 19652 19238 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 30864 33554432000 4194304 4196468 140733515980224 140238327356016 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19671] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19671/stat : 19671 (java) S 19652 19652 19238 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 30864 33554432000 4194304 4196468 140733515980224 140238326303472 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19672] ppid=19652 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19655/task/19672/stat : 19672 (java) S 19652 19652 19238 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 512176748 27969658880 30864 33554432000 4194304 4196468 140733515980224 140238325250928 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19673] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19673/stat : 19673 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 30864 33554432000 4194304 4196468 140733515980224 140236319353056 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19674] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19674/stat : 19674 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 30864 33554432000 4194304 4196468 140733515980224 140238324197808 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124852 KiB

[startup+0.309868 s]*
/proc/loadavg: 6.03 6.35 6.23 2/211 19674
/proc/meminfo: memFree=28629400/32770624 swapFree=66954136/67108860
[pid=19652] ppid=19649 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19652/stat : 19652 (scop.sh) S 19649 19652 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512176740 115843072 349 33554432000 4194304 5098028 140728651022480 140728651019736 139875274048124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10178560 140728651031293 140728651031640 140728651031640 140728651034569 0
/proc/19652/statm: 28282 349 296 221 0 87 0
[pid=19655] ppid=19652 vsize=27314120 memory=127492 CPUtime=0.42 cores=0-7
/proc/19655/stat : 19655 (java) S 19652 19652 19238 0 -1 1077944320 12302 0 0 0 38 4 0 0 20 0 20 0 512176740 27969658880 31873 33554432000 4194304 4196468 140733515980224 140733515962768 140239762308855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
/proc/19655/statm: 6828530 31873 3021 1 0 6790935 0
[pid=19655/tid=19656] ppid=19652 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/19655/task/19656/stat : 19656 (java) R 19652 19652 19238 0 -1 4202560 9795 0 0 0 26 3 0 0 20 0 20 0 512176741 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239734093840 140239747474494 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19657] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19657/stat : 19657 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239766550800 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19658] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19658/stat : 19658 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239549946256 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19659] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19659/stat : 19659 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239548893712 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19660] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19660/stat : 19660 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239547841168 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19661] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19661/stat : 19661 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239546788624 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19662] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19662/stat : 19662 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239545736080 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19663] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19663/stat : 19663 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239544683536 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19664] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19664/stat : 19664 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176743 27969658880 31873 33554432000 4194304 4196468 140733515980224 140239543630992 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19665] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19665/stat : 19665 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176744 27969658880 31873 33554432000 4194304 4196468 140733515980224 140238329460720 140239762320002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19666] ppid=19652 vsize=27314120 memory=279774035647872 CPUtime=0 cores=0-7
/proc/19655/task/19666/stat : 19666 (java) S 19652 19652 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512176745 27969658880 31873 33554432000 4194304 4196468 140733515980224 140237325984672 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19667] ppid=19652 vsize=27314120 memory=279774035652480 CPUtime=0 cores=0-7
/proc/19655/task/19667/stat : 19667 (java) S 19652 19652 19238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512176745 27969658880 31873 33554432000 4194304 4196468 140733515980224 140237191762928 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19668] ppid=19652 vsize=27314120 memory=279774035657088 CPUtime=0 cores=0-7
/proc/19655/task/19668/stat : 19668 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176747 27969658880 31873 33554432000 4194304 4196468 140733515980224 140236817258704 140239762327451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19669] ppid=19652 vsize=27314120 memory=279774035661696 CPUtime=0.01 cores=0-7
/proc/19655/task/19669/stat : 19669 (java) S 19652 19652 19238 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 512176747 27969658880 31873 33554432000 4194304 4196468 140733515980224 140238328408560 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19670] ppid=19652 vsize=27314120 memory=279774035666304 CPUtime=0 cores=0-7
/proc/19655/task/19670/stat : 19670 (java) S 19652 19652 19238 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 31873 33554432000 4194304 4196468 140733515980224 140238327356016 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19671] ppid=19652 vsize=27314120 memory=279774035670912 CPUtime=0.01 cores=0-7
/proc/19655/task/19671/stat : 19671 (java) S 19652 19652 19238 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 512176748 27969658880 31873 33554432000 4194304 4196468 140733515980224 140238326303472 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19672] ppid=19652 vsize=27314120 memory=279774035675520 CPUtime=0.07 cores=0-7
/proc/19655/task/19672/stat : 19672 (java) S 19652 19652 19238 0 -1 1077944384 510 0 0 0 7 0 0 0 20 0 20 0 512176748 27969658880 31873 33554432000 4194304 4196468 140733515980224 140238325250928 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19673] ppid=19652 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19673/stat : 19673 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 31873 33554432000 4194304 4196468 140733515980224 140236319353056 140239762319061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19674] ppid=19652 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19655/task/19674/stat : 19674 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512176748 27969658880 31873 33554432000 4194304 4196468 140733515980224 140238324197808 140239762320002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128888 KiB

[startup+0.700952 s]
/proc/loadavg: 6.03 6.35 6.23 3/211 19674
/proc/meminfo: memFree=28608700/32770624 swapFree=66954136/67108860
[pid=19652] ppid=19649 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19652/stat : 19652 (scop.sh) S 19649 19652 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512176740 115843072 349 33554432000 4194304 5098028 140728651022480 140728651019736 139875274048124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10178560 140728651031293 140728651031640 140728651031640 140728651034569 0
/proc/19652/statm: 28282 349 296 221 0 87 0
[pid=19655] ppid=19652 vsize=27322516 memory=164084 CPUtime=1.01 cores=0-7
/proc/19655/stat : 19655 (java) S 19652 19652 19238 0 -1 1077944320 20175 0 0 0 94 7 0 0 20 0 20 0 512176740 27978256384 41021 33554432000 4194304 4196468 140733515980224 140733515962768 140239762308855 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
/proc/19655/statm: 6830629 41021 3205 1 0 6791959 0
[pid=19655/tid=19656] ppid=19652 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/19655/task/19656/stat : 19656 (java) R 19652 19652 19238 0 -1 4202560 17031 0 0 0 62 6 0 0 20 0 20 0 512176741 27978256384 41021 33554432000 4194304 4196468 140733515980224 140239734137184 140239762330781 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19657] ppid=19652 vsize=27322516 memory=139887018025856 CPUtime=0 cores=0-7
/proc/19655/task/19657/stat : 19657 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27978256384 41021 33554432000 4194304 4196468 140733515980224 140239766550800 140239762319061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19658] ppid=19652 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19655/task/19658/stat : 19658 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512176743 27978256384 41021 33554432000 4194304 4196468 140733515980224 140239549946256 140239762319061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733515981511 140733515981958 140733515981958 140733515984847 0
[pid=19655/tid=19659] ppid=19652 vsize=27322516 memory=9364 CPUtime=0 cores=0-7

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

[pid=19697/tid=19710] ppid=19677 vsize=803916 memory=50848 CPUtime=13.65 cores=0-7
/proc/19697/task/19710/stat : 19710 (manyglucose-4.1) R 19677 19652 19238 0 -1 4202560 16639 0 0 0 1359 6 0 0 20 0 4 0 512177927 823209984 67586 33554432000 4194304 4454172 140734382021280 140177925397240 4351099 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 26869760 140734382027597 140734382027804 140734382027804 140734382030774 0
[pid=19677/tid=19678] ppid=19652 vsize=8414124 memory=988 CPUtime=0.8 cores=0-7
/proc/19677/task/19678/stat : 19678 (java) S 19652 19652 19238 0 -1 1077944384 17422 0 0 0 73 7 0 0 20 0 24 0 512177803 8616062976 31040 33554432000 4194304 4196468 140736477919088 139636242718624 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19679] ppid=19652 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/19677/task/19679/stat : 19679 (java) S 19652 19652 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139636275120656 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19680] ppid=19652 vsize=8414124 memory=1284 CPUtime=0 cores=0-7
/proc/19677/task/19680/stat : 19680 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139636099762832 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19681] ppid=19652 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/19677/task/19681/stat : 19681 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635754432784 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19682] ppid=19652 vsize=8414124 memory=708 CPUtime=0 cores=0-7
/proc/19677/task/19682/stat : 19682 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635753380240 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19683] ppid=19652 vsize=8414124 memory=9364 CPUtime=0 cores=0-7
/proc/19677/task/19683/stat : 19683 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635752328208 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19684] ppid=19652 vsize=8414124 memory=1120 CPUtime=0 cores=0-7
/proc/19677/task/19684/stat : 19684 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635751275664 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19685] ppid=19652 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/19677/task/19685/stat : 19685 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177804 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635750222608 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19686] ppid=19652 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/19677/task/19686/stat : 19686 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512177805 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635749170064 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19687] ppid=19652 vsize=8414124 memory=8220 CPUtime=0 cores=0-7
/proc/19677/task/19687/stat : 19687 (java) S 19652 19652 19238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512177806 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635699898608 139636270889602 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19688] ppid=19652 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/19677/task/19688/stat : 19688 (java) S 19652 19652 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512177806 8616062976 31040 33554432000 4194304 4196468 140736477919088 139634956821664 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19689] ppid=19652 vsize=8414124 memory=326 CPUtime=0 cores=0-7
/proc/19677/task/19689/stat : 19689 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177807 8616062976 31040 33554432000 4194304 4196468 140736477919088 139634688385776 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19690] ppid=19652 vsize=8414124 memory=325 CPUtime=0 cores=0-7
/proc/19677/task/19690/stat : 19690 (java) S 19652 19652 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177809 8616062976 31040 33554432000 4194304 4196468 140736477919088 139634313877456 139636270897051 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19691] ppid=19652 vsize=8414124 memory=327 CPUtime=0.11 cores=0-7
/proc/19677/task/19691/stat : 19691 (java) S 19652 19652 19238 0 -1 1077944384 858 0 0 0 11 0 0 0 20 0 24 0 512177809 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635698846448 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19692] ppid=19652 vsize=8414124 memory=318 CPUtime=0.11 cores=0-7
/proc/19677/task/19692/stat : 19692 (java) S 19652 19652 19238 0 -1 1077944384 558 0 0 0 11 0 0 0 20 0 24 0 512177809 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635697793904 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19693] ppid=19652 vsize=8414124 memory=326 CPUtime=0.11 cores=0-7
/proc/19677/task/19693/stat : 19693 (java) S 19652 19652 19238 0 -1 1077944384 275 0 0 0 11 0 0 0 20 0 24 0 512177809 8616062976 31040 33554432000 4194304 4196468 140736477919088 139635696740848 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19694] ppid=19652 vsize=8414124 memory=326 CPUtime=0.23 cores=0-7
/proc/19677/task/19694/stat : 19694 (java) S 19652 19652 19238 0 -1 1077944384 532 0 0 0 23 0 0 0 20 0 24 0 512177809 8616062976 31040 33554432000 4194304 4196468 140736477919088 139634822601328 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19695] ppid=19652 vsize=8414124 memory=326 CPUtime=0 cores=0-7
/proc/19677/task/19695/stat : 19695 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512177810 8616062976 31040 33554432000 4194304 4196468 140736477919088 139633815972320 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19696] ppid=19652 vsize=8414124 memory=326 CPUtime=0 cores=0-7
/proc/19677/task/19696/stat : 19696 (java) S 19652 19652 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512177810 8616062976 31040 33554432000 4194304 4196468 140736477919088 139634821548720 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19698] ppid=19652 vsize=8414124 memory=80 CPUtime=0 cores=0-7
/proc/19677/task/19698/stat : 19698 (java) S 19652 19652 19238 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512177881 8616062976 31040 33554432000 4194304 4196468 140736477919088 139634814071744 139636270903065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19700] ppid=19652 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/19677/task/19700/stat : 19700 (java) S 19652 19652 19238 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512177881 8616062976 31040 33554432000 4194304 4196468 140736477919088 139633144872976 139636270900381 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19701] ppid=19652 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/19677/task/19701/stat : 19701 (java) S 19652 19652 19238 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512177881 8616062976 31040 33554432000 4194304 4196468 140736477919088 139633413308560 139636270900381 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19702] ppid=19652 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/19677/task/19702/stat : 19702 (java) S 19652 19652 19238 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512177883 8616062976 31040 33554432000 4194304 4196468 140736477919088 139632876445104 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
Current children cumulated CPU time: 129.42 s
Current children cumulated vsize: 9331168 KiB
Current children cumulated memory: 395980 KiB

[startup+26.0012 s]*
/proc/loadavg: 5.34 6.15 6.16 2/212 19710
/proc/meminfo: memFree=28617172/32770624 swapFree=66954136/67108860
[pid=19652] ppid=19649 vsize=113128 memory=1476 CPUtime=19.87 cores=0-7
/proc/19652/stat : 19652 (scop.sh) S 19649 19652 19238 0 -1 4202496 582 34753 0 0 0 0 1901 86 20 0 1 0 512176740 115843072 369 33554432000 4194304 5098028 140728651022480 140728651019224 139875274048124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10178560 140728651031293 140728651031640 140728651031640 140728651034569 0
/proc/19652/statm: 28282 369 311 221 0 87 0
[pid=19677] ppid=19652 vsize=8283048 memory=138364 CPUtime=110.55 cores=0-7
/proc/19677/stat : 19677 (java) S 19652 19652 19238 0 -1 1077944320 22464 174185 0 0 161 9 10841 44 20 0 22 0 512177803 8481841152 34591 33554432000 4194304 4196468 140736477919088 140736477901632 139636270878455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
/proc/19677/statm: 2070762 34591 3231 1 0 2032106 0
[pid=19677/tid=19678] ppid=19652 vsize=8283048 memory=4232 CPUtime=109.68 cores=0-7
/proc/19677/task/19678/stat : 19678 (java) R 19652 19652 19238 0 -1 4202560 17574 174185 0 0 76 7 10841 44 20 0 22 0 512177803 8481841152 34591 33554432000 4194304 4196468 140736477919088 139636242717072 139636254958942 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19679] ppid=19652 vsize=8283048 memory=8317482817917895235 CPUtime=108.85 cores=0-7
/proc/19677/task/19679/stat : 19679 (java) S 19652 19652 19238 0 -1 1077944384 2 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139636275120656 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19680] ppid=19652 vsize=8283048 memory=86689552796394 CPUtime=108.85 cores=0-7
/proc/19677/task/19680/stat : 19680 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139636099762832 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19681] ppid=19652 vsize=8283048 memory=86689552796394 CPUtime=108.85 cores=0-7
/proc/19677/task/19681/stat : 19681 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635754432784 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19682] ppid=19652 vsize=8283048 memory=86689552796394 CPUtime=108.85 cores=0-7
/proc/19677/task/19682/stat : 19682 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635753380240 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19683] ppid=19652 vsize=8283048 memory=86689552796394 CPUtime=108.85 cores=0-7
/proc/19677/task/19683/stat : 19683 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635752328208 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19684] ppid=19652 vsize=8283048 memory=86689552796394 CPUtime=108.85 cores=0-7
/proc/19677/task/19684/stat : 19684 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635751275664 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19685] ppid=19652 vsize=8283048 memory=86775452142314 CPUtime=108.85 cores=0-7
/proc/19677/task/19685/stat : 19685 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177804 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635750222608 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19686] ppid=19652 vsize=8283048 memory=86775452142314 CPUtime=108.85 cores=0-7
/proc/19677/task/19686/stat : 19686 (java) S 19652 19652 19238 0 -1 1077944384 3 174185 0 0 0 0 10841 44 20 0 22 0 512177805 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635749170064 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19687] ppid=19652 vsize=8283048 memory=86775452142314 CPUtime=108.85 cores=0-7
/proc/19677/task/19687/stat : 19687 (java) S 19652 19652 19238 0 -1 1077944384 5 174185 0 0 0 0 10841 44 20 0 22 0 512177806 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635699898608 139636270889602 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19688] ppid=19652 vsize=8283048 memory=86775452142314 CPUtime=108.85 cores=0-7
/proc/19677/task/19688/stat : 19688 (java) S 19652 19652 19238 0 -1 1077944384 13 174185 0 0 0 0 10841 44 20 0 22 0 512177806 8481841152 34591 33554432000 4194304 4196468 140736477919088 139634956821664 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19689] ppid=19652 vsize=8283048 memory=86775452142314 CPUtime=108.85 cores=0-7
/proc/19677/task/19689/stat : 19689 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177807 8481841152 34591 33554432000 4194304 4196468 140736477919088 139634688385776 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19690] ppid=19652 vsize=8283048 memory=86775452142058 CPUtime=108.85 cores=0-7
/proc/19677/task/19690/stat : 19690 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 22 0 512177809 8481841152 34591 33554432000 4194304 4196468 140736477919088 139634313877456 139636270897051 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19691] ppid=19652 vsize=8283048 memory=86775452142058 CPUtime=109 cores=0-7
/proc/19677/task/19691/stat : 19691 (java) S 19652 19652 19238 0 -1 1077944384 888 174185 0 0 15 0 10841 44 20 0 22 0 512177809 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635698846448 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19692] ppid=19652 vsize=8283048 memory=86775452141802 CPUtime=108.99 cores=0-7
/proc/19677/task/19692/stat : 19692 (java) S 19652 19652 19238 0 -1 1077944384 579 174185 0 0 14 0 10841 44 20 0 22 0 512177809 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635697793904 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19693] ppid=19652 vsize=8283048 memory=0 CPUtime=109 cores=0-7
/proc/19677/task/19693/stat : 19693 (java) S 19652 19652 19238 0 -1 1077944384 423 174185 0 0 15 0 10841 44 20 0 22 0 512177809 8481841152 34591 33554432000 4194304 4196468 140736477919088 139635696740848 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19694] ppid=19652 vsize=8283048 memory=279774037696464 CPUtime=109.13 cores=0-7
/proc/19677/task/19694/stat : 19694 (java) R 19652 19652 19238 0 -1 4202560 1048 174185 0 0 28 0 10841 44 20 0 22 0 512177809 8481841152 34591 33554432000 4194304 4196468 140736477919088 139634822601328 139635772358777 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19695] ppid=19652 vsize=8283048 memory=14981065810905736 CPUtime=108.85 cores=0-7
/proc/19677/task/19695/stat : 19695 (java) S 19652 19652 19238 0 -1 1077944384 3 174185 0 0 0 0 10841 44 20 0 22 0 512177810 8481841152 34591 33554432000 4194304 4196468 140736477919088 139633815972320 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19696] ppid=19652 vsize=8283048 memory=7595711452261279335 CPUtime=108.85 cores=0-7
/proc/19677/task/19696/stat : 19696 (java) S 19652 19652 19238 0 -1 1077944384 3 174185 0 0 0 0 10841 44 20 0 22 0 512177810 8481841152 34591 33554432000 4194304 4196468 140736477919088 139634821548720 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19698] ppid=19652 vsize=8283048 memory=6010431287903805801 CPUtime=108.85 cores=0-7
/proc/19677/task/19698/stat : 19698 (java) S 19652 19652 19238 0 -1 1077944384 24 174185 0 0 0 0 10841 44 20 0 22 0 512177881 8481841152 34591 33554432000 4194304 4196468 140736477919088 139634814070928 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19702] ppid=19652 vsize=8283048 memory=7522227894416859733 CPUtime=108.85 cores=0-7
/proc/19677/task/19702/stat : 19702 (java) S 19652 19652 19238 0 -1 1077944384 15 174185 0 0 0 0 10841 44 20 0 22 0 512177883 8481841152 34591 33554432000 4194304 4196468 140736477919088 139632876446896 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
Current children cumulated CPU time: 130.42 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139840 KiB

[startup+26.2009 s]
/proc/loadavg: 5.34 6.15 6.16 2/212 19710
/proc/meminfo: memFree=28617172/32770624 swapFree=66954136/67108860
[pid=19652] ppid=19649 vsize=113128 memory=1476 CPUtime=19.87 cores=0-7
/proc/19652/stat : 19652 (scop.sh) S 19649 19652 19238 0 -1 4202496 582 34753 0 0 0 0 1901 86 20 0 1 0 512176740 115843072 369 33554432000 4194304 5098028 140728651022480 140728651019224 139875274048124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10178560 140728651031293 140728651031640 140728651031640 140728651034569 0
/proc/19652/statm: 28282 369 311 221 0 87 0
[pid=19677] ppid=19652 vsize=8151972 memory=154940 CPUtime=111.09 cores=0-7
/proc/19677/stat : 19677 (java) S 19652 19652 19238 0 -1 1077944320 25177 174185 0 0 213 11 10841 44 20 0 21 0 512177803 8347619328 38735 33554432000 4194304 4196468 140736477919088 140736477901632 139636270878455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
/proc/19677/statm: 2037993 38735 3238 1 0 1999337 0
[pid=19677/tid=19678] ppid=19652 vsize=8151972 memory=26660 CPUtime=109.87 cores=0-7
/proc/19677/task/19678/stat : 19678 (java) S 19652 19652 19238 0 -1 1077944384 18807 174185 0 0 94 8 10841 44 20 0 21 0 512177803 8347619328 38735 33554432000 4194304 4196468 140736477919088 139636242721936 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19679] ppid=19652 vsize=8151972 memory=6791534058613427641 CPUtime=108.85 cores=0-7
/proc/19677/task/19679/stat : 19679 (java) S 19652 19652 19238 0 -1 1077944384 2 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139636275120656 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19680] ppid=19652 vsize=8151972 memory=288230596050944315 CPUtime=108.85 cores=0-7
/proc/19677/task/19680/stat : 19680 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139636099762832 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19681] ppid=19652 vsize=8151972 memory=14981065810905736 CPUtime=108.85 cores=0-7
/proc/19677/task/19681/stat : 19681 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635754432784 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19682] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19682/stat : 19682 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635753380240 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19683] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19683/stat : 19683 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635752328208 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19684] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19684/stat : 19684 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635751275664 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19685] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19685/stat : 19685 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177804 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635750222608 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19686] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19686/stat : 19686 (java) S 19652 19652 19238 0 -1 1077944384 3 174185 0 0 0 0 10841 44 20 0 21 0 512177805 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635749170064 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19687] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19687/stat : 19687 (java) S 19652 19652 19238 0 -1 1077944384 5 174185 0 0 0 0 10841 44 20 0 21 0 512177806 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635699898816 139636270889602 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19688] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19688/stat : 19688 (java) S 19652 19652 19238 0 -1 1077944384 13 174185 0 0 0 0 10841 44 20 0 21 0 512177806 8347619328 38735 33554432000 4194304 4196468 140736477919088 139634956821664 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19689] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19689/stat : 19689 (java) S 19652 19652 19238 0 -1 1077944384 1 174185 0 0 0 0 10841 44 20 0 21 0 512177807 8347619328 38735 33554432000 4194304 4196468 140736477919088 139634688385776 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19690] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19690/stat : 19690 (java) S 19652 19652 19238 0 -1 1077944384 2 174185 0 0 0 0 10841 44 20 0 21 0 512177809 8347619328 38735 33554432000 4194304 4196468 140736477919088 139634313876512 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19691] ppid=19652 vsize=8151972 memory=0 CPUtime=109.09 cores=0-7
/proc/19677/task/19691/stat : 19691 (java) S 19652 19652 19238 0 -1 1077944384 1167 174185 0 0 24 0 10841 44 20 0 21 0 512177809 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635698846448 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19692] ppid=19652 vsize=8151972 memory=0 CPUtime=109.05 cores=0-7
/proc/19677/task/19692/stat : 19692 (java) S 19652 19652 19238 0 -1 1077944384 908 174185 0 0 20 0 10841 44 20 0 21 0 512177809 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635697793904 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19693] ppid=19652 vsize=8151972 memory=0 CPUtime=109.1 cores=0-7
/proc/19677/task/19693/stat : 19693 (java) S 19652 19652 19238 0 -1 1077944384 1010 174185 0 0 25 0 10841 44 20 0 21 0 512177809 8347619328 38735 33554432000 4194304 4196468 140736477919088 139635696725392 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19694] ppid=19652 vsize=8151972 memory=0 CPUtime=109.24 cores=0-7
/proc/19677/task/19694/stat : 19694 (java) S 19652 19652 19238 0 -1 1077944384 1324 174185 0 0 39 0 10841 44 20 0 21 0 512177809 8347619328 38735 33554432000 4194304 4196468 140736477919088 139634822597200 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19695] ppid=19652 vsize=8151972 memory=139887018918608 CPUtime=108.85 cores=0-7
/proc/19677/task/19695/stat : 19695 (java) S 19652 19652 19238 0 -1 1077944384 3 174185 0 0 0 0 10841 44 20 0 21 0 512177810 8347619328 38735 33554432000 4194304 4196468 140736477919088 139633815972320 139636270888661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19698] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19698/stat : 19698 (java) S 19652 19652 19238 0 -1 1077944384 24 174185 0 0 0 0 10841 44 20 0 21 0 512177881 8347619328 38735 33554432000 4194304 4196468 140736477919088 139634814070928 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
[pid=19677/tid=19702] ppid=19652 vsize=8151972 memory=0 CPUtime=108.85 cores=0-7
/proc/19677/task/19702/stat : 19702 (java) S 19652 19652 19238 0 -1 1077944384 15 174185 0 0 0 0 10841 44 20 0 21 0 512177883 8347619328 38735 33554432000 4194304 4196468 140736477919088 139632876446896 139636270889602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7221248 140736477926367 140736477926534 140736477926534 140736477929423 0
Current children cumulated CPU time: 130.96 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 156416 KiB

Child status: 0
Real time (s): 26.2194
CPU time (s): 131.005
CPU user time (s): 129.572
CPU system time (s): 1.43319
CPU usage (%): 499.649
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4404044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.572
system time used= 1.43319
maximum resident set size= 4403024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234714
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= 14517
involuntary context switches= 1124


# summary of solver processes directly reported to runsolver:
#   pid: 19652
#   total CPU time (s): 131.005
#   total CPU user time (s): 129.572
#   total CPU system time (s): 1.43319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.259787 second user time and 0.354144 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 22:04:51
IDJOB=4405290
IDBENCH=138961
IDSOLVER=2867
FILE ID=node107/4405290-1569359214
RUNJOBID= node107-1569355381-19265
PBS_JOBID= 21705118
Free space on /var/tmp= 12564 MiB

SOLVER NAME= Fun-sCOP order+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 -order 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-4405290-1569359214/watcher-4405290-1569359214 -o /var/tmp/evaluation-result-4405290-1569359214/solver-4405290-1569359214 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405290-1569359214.xml

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

MD5SUM BENCH= bc231a1d8845efcd5c5ebc235ca42ef6
RANDOM SEED=302671860

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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:        28747868 kB
MemAvailable:   31802324 kB
Buffers:           71600 kB
Cached:          3126220 kB
SwapCached:        48180 kB
Active:          1975364 kB
Inactive:        1271628 kB
Active(anon):       4116 kB
Inactive(anon):    98296 kB
Active(file):    1971248 kB
Inactive(file):  1173332 kB
Unevictable:      110988 kB
Mlocked:          110988 kB
SwapTotal:      67108860 kB
SwapFree:       66954136 kB
Dirty:             20584 kB
Writeback:             0 kB
AnonPages:        112636 kB
Mapped:            54120 kB
Shmem:             44524 kB
Slab:             366584 kB
SReclaimable:     338336 kB
SUnreclaim:        28248 kB
KernelStack:        3408 kB
PageTables:         5544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12544 MiB
End job on node107 at 2019-09-24 22:05:17