Trace number 4392764

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-19.xml
MD5SUM3875648f967e99deb98809a056dae84c
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 benchmark32.512
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28670-serial-file.bin HOME/instance-4392764-1568442889.xml
0.65/0.53	
0.65/0.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 08:34:10 CEST 2019
0.65/0.56	c PID: 28673
0.65/0.56	c IP: 172.20.3.119
0.65/0.56	c HOST: node119.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.67/1.06	c (0,0) Parsing End
1.67/1.07	c (0,0) CSP: 863 int (0 aux), 37 bool (0 aux), 2 ctr, max domain size 30
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) Constraint Name Generate Begin
1.67/1.07	c (0,0) Ctr:HOME/instance-4392764-1568442889.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.07	c (0,0) Constraint Name Generate End
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) CSP to CSPinCNF Begin
1.67/1.11	c (0,0) translated 1 (10%) constraints
5.66/2.81	c (2,2) translated 2 (20%) constraints
5.66/2.84	c (2,2) ===========================================
6.01/2.93	c (2,2) Hybrid: #OE=374, #LE=526
6.01/2.93	c (2,2) Hybrid
6.01/2.93	c (2,2) ===========================================
7.86/3.47	c (2,2) translated 2855 (10%) constraints
8.59/3.80	c (3,3) translated 5710 (20%) constraints
8.95/4.13	c (3,3) translated 8564 (30%) constraints
9.24/4.44	c (3,3) translated 11419 (40%) constraints
9.54/4.77	c (4,4) translated 14273 (50%) constraints
9.88/5.07	c (4,4) translated 17128 (60%) constraints
10.47/5.35	c (4,4) translated 19983 (70%) constraints
10.80/5.62	c (5,5) translated 22837 (80%) constraints
11.13/5.92	c (5,5) translated 25692 (90%) constraints
11.34/6.16	c (5,5) translated 28546 (100%) constraints
11.34/6.17	c (5,5) CSP to CSPinCNF End
11.34/6.17	c (5,5) CSP: 863 int (0 aux), 27037 bool (27000 aux), 137072 ctr, max domain size 30
11.34/6.17	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.34/6.17	c (5,5) CSPinCNF Propagation Begin
15.29/8.31	c (7,7) 20232 values, 87628 unsatisfiable literals, and 90932 valid clauses are removed
15.29/8.31	c (7,7) CSPinCNF Propagation End
15.29/8.32	c (7,7) CSP: 863 int (0 aux), 27037 bool (27000 aux), 46140 ctr, max domain size 30
15.29/8.32	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.29/8.37	c (7,7) Hybrid: #OE=27374, #LE=526
15.29/8.37	c (7,7) Simplify CSPinCNF Begin
16.76/8.93	c (8,8) Simplify CSPinCNF End
16.76/8.94	c (8,8) CSP: 863 int (0 aux), 53333 bool (53296 aux), 72436 ctr, max domain size 30
16.76/8.94	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.76/8.94	c (8,8) Calculate Precise Domain Begin
16.76/8.94	c (8,8) 0 values are removed by re-calculation
16.76/8.94	c (8,8) Calculate Precise Domain End
16.76/8.95	c (8,8) CSP: 863 int (0 aux), 53333 bool (53296 aux), 72436 ctr, max domain size 30
16.76/8.95	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.76/8.95	c (8,8) CSPinCNF to SatSolver Begin
18.85/9.51	c (8,8) 7244 (10 %) CSP clauses are encoded (0 SAT variables, 30858 SAT clauses)
18.98/9.66	c (9,9) 14488 (20 %) CSP clauses are encoded (0 SAT variables, 52636 SAT clauses)
19.25/9.82	c (9,9) 21731 (30 %) CSP clauses are encoded (0 SAT variables, 76403 SAT clauses)
19.38/9.97	c (9,9) 28975 (40 %) CSP clauses are encoded (0 SAT variables, 99485 SAT clauses)
19.51/10.11	c (9,9) 36218 (50 %) CSP clauses are encoded (0 SAT variables, 119230 SAT clauses)
19.70/10.25	c (9,9) 43462 (60 %) CSP clauses are encoded (0 SAT variables, 141198 SAT clauses)
19.82/10.39	c (9,9) 50706 (70 %) CSP clauses are encoded (0 SAT variables, 162854 SAT clauses)
20.10/10.53	c (9,9) 57949 (80 %) CSP clauses are encoded (0 SAT variables, 185623 SAT clauses)
20.19/10.67	c (10,10) 65193 (90 %) CSP clauses are encoded (0 SAT variables, 207239 SAT clauses)
20.40/10.81	c (10,10) 72436 (100 %) CSP clauses are encoded (0 SAT variables, 229242 SAT clauses)
20.40/10.81	c (10,10) CSPinCNF to SatSolver End
20.40/10.81	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.40/10.81	c (10,10) 42757 bool, 229243 clause
20.40/10.81	c (10,10) Export Begin
20.59/10.95	c (10,10) Export to HOME/scop-28670-serial-file.bin
20.59/10.95	c (10,10) Export End
20.59/10.95	c (10,10) Export File Size: 0.15 MB
20.59/10.95	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.59/10.95	c END-Prog: Sat Sep 14 08:34:20 CEST 2019
20.59/11.00	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28670-serial-file.bin
21.31/11.45	c (0,0) Read Serial File Begin
21.31/11.45	c (0,0) HOME/scop-28670-serial-file.bin
21.86/11.71	c (0,0) Read Serial File End
21.86/11.72	
21.86/11.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.86/11.72	(Solving Process)
21.86/11.72	
21.86/11.74	c BEGIN-Prog: Sat Sep 14 08:34:21 CEST 2019
21.86/11.74	c PID: 28695
21.86/11.74	c IP: 172.20.3.119
21.86/11.74	c HOST: node119.alineos.net
21.86/11.75	c (0,0) SatSolver.solve Begin
21.86/11.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392764-1568442889.xml-scop-28673.cnf
21.86/11.77	c (0,0) c
21.86/11.77	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.86/11.77	c (0,0) c
21.86/11.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.86/11.77	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.86/11.77	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.86/11.77	c (0,0) c |                                                                                                       |
22.13/11.86	c (0,0) c |  Number of variables:         42757                                                                   |
22.13/11.86	c (0,0) c |  Number of clauses:          229243                                                                   |
22.13/11.86	c (0,0) c |  Parse time:                   0.08 s                                                                 |
22.13/11.86	c (0,0) c |                                                                                                       |
22.39/12.08	c (0,0) c |  Simplification time:          0.22 s                                                                 |
22.39/12.08	c (0,0) c |                                                                                                       |
22.39/12.08	c (0,0) c |  Generating clones                                                                                    |
22.58/12.21	c (0,0) c |  all clones generated. Memory =   209.17Mb.                                                           |
22.58/12.21	c (0,0) c ========================================================================================================|
22.58/12.21	c (0,0) c
22.58/12.21	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.58/12.21	c (0,0) c
22.58/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.58/12.21	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.58/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.58/12.21	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.58/12.21	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.58/12.21	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.58/12.21	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.58/12.21	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.58/12.21	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.58/12.21	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.58/12.21	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.58/12.21	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.58/12.21	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.58/12.21	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.58/12.21	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.58/12.21	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.58/12.21	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.58/12.21	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.58/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.88	c (25,0) c
216.79/36.88	c (25,0) c real time : 25.1142 s
216.79/36.88	c (25,0) c cpu time  : 194.172 s
216.79/36.88	c (25,0) c
216.79/36.88	c (25,0) c
216.79/36.88	c (25,0) c
216.79/36.88	c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
216.79/36.88	c (25,0) c
216.79/36.88	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.88	c (25,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
216.79/36.88	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.88	c (25,0) c | Conflicts     |          238973 |      29264 |      29739 |      29519 |      30001 |      30507 |      30466 |      29894 |      29583 |
216.79/36.88	c (25,0) c | Decisions     |         2512651 |     315694 |     304483 |     316284 |     324189 |     313424 |     314215 |     308926 |     315436 |
216.79/36.88	c (25,0) c | Propagations  |       298149597 |   37199761 |   36690325 |   37197779 |   37661201 |   37748768 |   37974664 |   36945184 |   36731915 |
216.79/36.88	c (25,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
216.79/36.88	c (25,0) c | SimpDBs       |             417 |         53 |         51 |         52 |         53 |         52 |         52 |         52 |         52 |
216.79/36.88	c (25,0) c | Restarts      |            3442 |        421 |        430 |        419 |        440 |        441 |        433 |        429 |        429 |
216.79/36.88	c (25,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
216.79/36.88	c (25,0) c | PropBinClauses|       732263351 |   90527354 |   89985310 |   90941008 |   92145458 |   92713802 |   93965151 |   91474681 |   90510587 |
216.79/36.88	c (25,0) c | PropPreBlocker|      3399675909 |  419309401 |  419053434 |  419998850 |  427016277 |  430447519 |  437262061 |  426321203 |  420267164 |
216.79/36.88	c (25,0) c | PropNotBlocker|       896215846 |  110242704 |  110672514 |  110552243 |  112929266 |  113500739 |  115827539 |  111928483 |  110562358 |
216.79/36.88	c (25,0) c | LitFullScans  |      5894105260 |  726295332 |  726934601 |  728381153 |  740833587 |  746912794 |  757909687 |  738159939 |  728678167 |
216.79/36.89	c (25,0) c | LitScanFracts |         1959065 |     286972 |     118891 |     329946 |     328081 |     185851 |     176861 |     154357 |     378106 |
216.79/36.89	c (25,0) c | DecisionLevel0|           14061 |       1769 |       1731 |       1763 |       1807 |       1777 |       1761 |       1715 |       1738 |
216.79/36.89	c (25,0) c | Periods       |             980 |        121 |        121 |        121 |        123 |        124 |        126 |        123 |        121 |
216.79/36.89	c (25,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
216.79/36.89	c (25,0) c | Avg_Trail     |                 |       8683 |       8604 |       8631 |       8644 |       8623 |       8688 |       8712 |       8678 |
216.79/36.89	c (25,0) c | Avg_DL        |                 |         97 |         95 |         99 |         99 |         96 |         98 |        100 |        100 |
216.79/36.89	c (25,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
216.79/36.89	c (25,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
216.79/36.89	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.89	c (25,0) c | Exported      |           49827 |       6117 |       6237 |       6173 |       6277 |       6358 |       6296 |       6194 |       6175 |
216.79/36.89	c (25,0) c | Imported      |          311974 |      38477 |      38367 |      38712 |      39280 |      39414 |      39995 |      39016 |      38713 |
216.79/36.89	c (25,0) c | Good          |           59357 |       7357 |       7311 |       7375 |       7404 |       7448 |       7543 |       7458 |       7461 |
216.79/36.89	c (25,0) c | Purge         |          252617 |      31120 |      31056 |      31337 |      31876 |      31966 |      32452 |      31558 |      31252 |
216.79/36.89	c (25,0) c | Promoted      |           20013 |       2426 |       2461 |       2435 |       2457 |       2553 |       2677 |       2553 |       2451 |
216.79/36.89	c (25,0) c | Remove_Imp    |          145376 |      18465 |      17912 |      18214 |      18261 |      17854 |      18236 |      18215 |      18219 |
216.79/36.89	c (25,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
216.79/36.89	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.89	c (25,0) c | Unaries       |                 |       1348 |       1301 |       1344 |       1367 |       1336 |       1328 |       1286 |       1309 |
216.79/36.89	c (25,0) c | Binaries      |                 |       1099 |       1163 |       1122 |       1147 |       1133 |       1088 |       1071 |       1046 |
216.79/36.89	c (25,0) c | Glues         |                 |       1967 |       2030 |       2031 |       2013 |       2059 |       2009 |       1921 |       1925 |
216.79/36.89	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.89	c (25,0) c | Orig_Seen     |            34 % |      60357 |      59956 |      60533 |      60564 |      60383 |      61126 |      60522 |      60541 |
216.79/36.89	c (25,0) c | Diff Orig seen|                 | -      184 | -      585 | -        8 |         23 | -      158 |        585 | -       19 |      X     |
216.79/36.89	c (25,0) c | Hamming       |            12 % |       5242 |       5601 |       5848 |       5481 |       5393 |       5459 |       5654 |      X     |
216.79/36.89	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.89	c (25,0) c | RunningTime   |                 |   24.6 100%|   24.3 100%|   24.3 100%|   24.3 100%|   24.3 100%|   24.3 100%|   24.3 100%|   24.3 100%|
216.79/36.89	c (25,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%|
216.79/36.89	c (25,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%|
216.79/36.89	c (25,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%|
216.79/36.89	c (25,0) c | SolvingTime   |                 |   24.7     |   24.3     |   24.3     |   24.3     |   24.3     |   24.3     |   24.3     |   24.3     |
216.79/36.89	c (25,0) c | PropagationTim|                 |   21.6  88%|   21.2  87%|   21.3  87%|   21.2  87%|   21.2  87%|   21.2  87%|   21.2  87%|   21.2  87%|
216.79/36.89	c (25,0) c | AnalysisTime  |                 |    1.5   6%|    1.6   6%|    1.5   6%|    1.6   6%|    1.6   6%|    1.6   6%|    1.6   7%|    1.6   6%|
216.79/36.89	c (25,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
216.79/36.89	c (25,0) c | SimplifyTime  |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
216.79/36.89	c (25,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%|
216.79/36.89	c (25,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%|
216.79/36.89	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.79/36.89	c (25,0) c
216.79/36.89	c (25,0) c
216.79/36.89	c (25,0) c Threads : 8
216.79/36.89	c (25,0) c Winner : 7
216.79/36.89	c (25,0) c Conflicts_0 : 29264
216.79/36.89	c (25,0) c Conflicts_1 : 29739
216.79/36.89	c (25,0) c Conflicts_2 : 29519
216.79/36.89	c (25,0) c Conflicts_3 : 30001
216.79/36.89	c (25,0) c Conflicts_4 : 30507
216.79/36.89	c (25,0) c Conflicts_5 : 30466
216.79/36.89	c (25,0) c Conflicts_6 : 29894
216.79/36.89	c (25,0) c Conflicts_7 : 29583
216.79/36.89	c (25,0) c Conflicts_total : 238973
216.79/36.89	c (25,0) c Conflicts_winner : 29583
216.79/36.89	c (25,0) c Decisions_0 : 315694
216.79/36.89	c (25,0) c Decisions_1 : 304483
216.79/36.89	c (25,0) c Decisions_2 : 316284
216.79/36.89	c (25,0) c Decisions_3 : 324189
216.79/36.89	c (25,0) c Decisions_4 : 313424
216.79/36.89	c (25,0) c Decisions_5 : 314215
216.79/36.89	c (25,0) c Decisions_6 : 308926
216.79/36.89	c (25,0) c Decisions_7 : 315436
216.79/36.89	c (25,0) c Decisions_total : 2512651
216.79/36.89	c (25,0) c Decisions_winner : 315436
216.79/36.89	c (25,0) c Propagations_0 : 37199761
216.79/36.89	c (25,0) c Propagations_1 : 36690325
216.79/36.89	c (25,0) c Propagations_2 : 37197779
216.79/36.89	c (25,0) c Propagations_3 : 37661201
216.79/36.89	c (25,0) c Propagations_4 : 37748768
216.79/36.89	c (25,0) c Propagations_5 : 37974664
216.79/36.89	c (25,0) c Propagations_6 : 36945184
216.79/36.89	c (25,0) c Propagations_7 : 36731915
216.79/36.89	c (25,0) c Propagations_total : 298149597
216.79/36.89	c (25,0) c Propagations_winner : 36731915
216.79/36.89	c (25,0) c ReduceDBs_0 : 4
216.79/36.89	c (25,0) c ReduceDBs_1 : 4
216.79/36.89	c (25,0) c ReduceDBs_2 : 4
216.79/36.89	c (25,0) c ReduceDBs_3 : 4
216.79/36.89	c (25,0) c ReduceDBs_4 : 4
216.79/36.89	c (25,0) c ReduceDBs_5 : 4
216.79/36.89	c (25,0) c ReduceDBs_6 : 4
216.79/36.89	c (25,0) c ReduceDBs_7 : 4
216.79/36.89	c (25,0) c ReduceDBs_total : 32
216.79/36.89	c (25,0) c ReduceDBs_winner : 4
216.79/36.89	c (25,0) c SimpDBs_0 : 53
216.79/36.89	c (25,0) c SimpDBs_1 : 51
216.79/36.89	c (25,0) c SimpDBs_2 : 52
216.79/36.89	c (25,0) c SimpDBs_3 : 53
216.79/36.89	c (25,0) c SimpDBs_4 : 52
216.79/36.89	c (25,0) c SimpDBs_5 : 52
216.79/36.89	c (25,0) c SimpDBs_6 : 52
216.79/36.89	c (25,0) c SimpDBs_7 : 52
216.79/36.89	c (25,0) c SimpDBs_total : 417
216.79/36.89	c (25,0) c SimpDBs_winner : 52
216.79/36.89	c (25,0) c Restarts_0 : 421
216.79/36.89	c (25,0) c Restarts_1 : 430
216.79/36.89	c (25,0) c Restarts_2 : 419
216.79/36.89	c (25,0) c Restarts_3 : 440
216.79/36.89	c (25,0) c Restarts_4 : 441
216.79/36.89	c (25,0) c Restarts_5 : 433
216.79/36.89	c (25,0) c Restarts_6 : 429
216.79/36.89	c (25,0) c Restarts_7 : 429
216.79/36.89	c (25,0) c Restarts_total : 3442
216.79/36.89	c (25,0) c Restarts_winner : 429
216.79/36.89	c (25,0) c ForcedImports_0 : 0
216.79/36.89	c (25,0) c ForcedImports_1 : 0
216.79/36.89	c (25,0) c ForcedImports_2 : 0
216.79/36.89	c (25,0) c ForcedImports_3 : 0
216.79/36.89	c (25,0) c ForcedImports_4 : 0
216.79/36.89	c (25,0) c ForcedImports_5 : 0
216.79/36.89	c (25,0) c ForcedImports_6 : 0
216.79/36.89	c (25,0) c ForcedImports_7 : 0
216.79/36.89	c (25,0) c ForcedImports_total : 0
216.79/36.89	c (25,0) c ForcedImports_winner : 0
216.79/36.89	c (25,0) c PropsBinClauses_0 : 90527354
216.79/36.89	c (25,0) c PropsBinClauses_1 : 89985310
216.79/36.89	c (25,0) c PropsBinClauses_2 : 90941008
216.79/36.89	c (25,0) c PropsBinClauses_3 : 92145458
216.79/36.89	c (25,0) c PropsBinClauses_4 : 92713802
216.79/36.89	c (25,0) c PropsBinClauses_5 : 93965151
216.79/36.89	c (25,0) c PropsBinClauses_6 : 91474681
216.79/36.89	c (25,0) c PropsBinClauses_7 : 90510587
216.79/36.89	c (25,0) c PropsBinClauses_total : 732263351
216.79/36.89	c (25,0) c PropsBinClauses_winner : 90510587
216.79/36.89	c (25,0) c PropsPreBlocker_0 : 419309401
216.79/36.89	c (25,0) c PropsPreBlocker_1 : 419053434
216.79/36.89	c (25,0) c PropsPreBlocker_2 : 419998850
216.79/36.89	c (25,0) c PropsPreBlocker_3 : 427016277
216.79/36.89	c (25,0) c PropsPreBlocker_4 : 430447519
216.79/36.89	c (25,0) c PropsPreBlocker_5 : 437262061
216.79/36.89	c (25,0) c PropsPreBlocker_6 : 426321203
216.79/36.89	c (25,0) c PropsPreBlocker_7 : 420267164
216.79/36.89	c (25,0) c PropsPreBlocker_total : 3399675909
216.79/36.89	c (25,0) c PropsPreBlocker_winner : 420267164
216.79/36.89	c (25,0) c PropsNotBlocker_0 : 110242704
216.79/36.89	c (25,0) c PropsNotBlocker_1 : 110672514
216.79/36.89	c (25,0) c PropsNotBlocker_2 : 110552243
216.79/36.89	c (25,0) c PropsNotBlocker_3 : 112929266
216.79/36.89	c (25,0) c PropsNotBlocker_4 : 113500739
216.79/36.89	c (25,0) c PropsNotBlocker_5 : 115827539
216.79/36.89	c (25,0) c PropsNotBlocker_6 : 111928483
216.79/36.89	c (25,0) c PropsNotBlocker_7 : 110562358
216.79/36.89	c (25,0) c PropsNotBlocker_total : 896215846
216.79/36.89	c (25,0) c PropsNotBlocker_winner : 110562358
216.79/36.89	c (25,0) c PropsLitFullScans_0 : 726295332
216.79/36.89	c (25,0) c PropsLitFullScans_1 : 726934601
216.79/36.89	c (25,0) c PropsLitFullScans_2 : 728381153
216.79/36.89	c (25,0) c PropsLitFullScans_3 : 740833587
216.79/36.89	c (25,0) c PropsLitFullScans_4 : 746912794
216.79/36.89	c (25,0) c PropsLitFullScans_5 : 757909687
216.79/36.89	c (25,0) c PropsLitFullScans_6 : 738159939
216.79/36.89	c (25,0) c PropsLitFullScans_7 : 728678167
216.79/36.89	c (25,0) c PropsLitFullScans_total : 5894105260
216.79/36.89	c (25,0) c PropsLitFullScans_winner : 728678167
216.79/36.89	c (25,0) c LitScanFractions_0 : 286972
216.79/36.89	c (25,0) c LitScanFractions_1 : 118891
216.79/36.89	c (25,0) c LitScanFractions_2 : 329946
216.79/36.89	c (25,0) c LitScanFractions_3 : 328081
216.79/36.89	c (25,0) c LitScanFractions_4 : 185851
216.79/36.89	c (25,0) c LitScanFractions_5 : 176861
216.79/36.89	c (25,0) c LitScanFractions_6 : 154357
216.79/36.89	c (25,0) c LitScanFractions_7 : 378106
216.79/36.89	c (25,0) c LitScanFractions_total : 1959065
216.79/36.89	c (25,0) c LitScanFractions_winner : 378106
216.79/36.89	c (25,0) c DecisionLevel0_0 : 1769
216.79/36.89	c (25,0) c DecisionLevel0_1 : 1731
216.79/36.89	c (25,0) c DecisionLevel0_2 : 1763
216.79/36.89	c (25,0) c DecisionLevel0_3 : 1807
216.79/36.89	c (25,0) c DecisionLevel0_4 : 1777
216.79/36.89	c (25,0) c DecisionLevel0_5 : 1761
216.79/36.89	c (25,0) c DecisionLevel0_6 : 1715
216.79/36.89	c (25,0) c DecisionLevel0_7 : 1738
216.79/36.89	c (25,0) c DecisionLevel0_total : 14061
216.79/36.89	c (25,0) c DecisionLevel0_winner : 1738
216.79/36.89	c (25,0) c Periods_0 : 121
216.79/36.89	c (25,0) c Periods_1 : 121
216.79/36.89	c (25,0) c Periods_2 : 121
216.79/36.89	c (25,0) c Periods_3 : 123
216.79/36.89	c (25,0) c Periods_4 : 124
216.79/36.89	c (25,0) c Periods_5 : 126
216.79/36.89	c (25,0) c Periods_6 : 123
216.79/36.89	c (25,0) c Periods_7 : 121
216.79/36.89	c (25,0) c Periods_total : 980
216.79/36.89	c (25,0) c Periods_winner : 121
216.79/36.89	c (25,0) c Margin_0 : 20
216.79/36.89	c (25,0) c Margin_1 : 20
216.79/36.89	c (25,0) c Margin_2 : 20
216.79/36.89	c (25,0) c Margin_3 : 20
216.79/36.89	c (25,0) c Margin_4 : 20
216.79/36.89	c (25,0) c Margin_5 : 20
216.79/36.89	c (25,0) c Margin_6 : 20
216.79/36.89	c (25,0) c Margin_7 : 20
216.79/36.89	c (25,0) c Margin_total : 160
216.79/36.89	c (25,0) c Margin_winner : 20
216.79/36.89	c (25,0) c Exported_0 : 6117
216.79/36.89	c (25,0) c Exported_1 : 6237
216.79/36.89	c (25,0) c Exported_2 : 6173
216.79/36.89	c (25,0) c Exported_3 : 6277
216.79/36.89	c (25,0) c Exported_4 : 6358
216.79/36.89	c (25,0) c Exported_5 : 6296
216.79/36.89	c (25,0) c Exported_6 : 6194
216.79/36.89	c (25,0) c Exported_7 : 6175
216.79/36.89	c (25,0) c Exported_total : 49827
216.79/36.89	c (25,0) c Exported_winner : 6175
216.79/36.89	c (25,0) c Imported_0 : 38477
216.79/36.89	c (25,0) c Imported_1 : 38367
216.79/36.89	c (25,0) c Imported_2 : 38712
216.79/36.89	c (25,0) c Imported_3 : 39280
216.79/36.89	c (25,0) c Imported_4 : 39414
216.79/36.89	c (25,0) c Imported_5 : 39995
216.79/36.89	c (25,0) c Imported_6 : 39016
216.79/36.89	c (25,0) c Imported_7 : 38713
216.79/36.89	c (25,0) c Imported_total : 311974
216.79/36.89	c (25,0) c Imported_winner : 38713
216.79/36.89	c (25,0) c Good_0 : 7357
216.79/36.89	c (25,0) c Good_1 : 7311
216.79/36.89	c (25,0) c Good_2 : 7375
216.79/36.89	c (25,0) c Good_3 : 7404
216.79/36.89	c (25,0) c Good_4 : 7448
216.79/36.89	c (25,0) c Good_5 : 7543
216.79/36.89	c (25,0) c Good_6 : 7458
216.79/36.89	c (25,0) c Good_7 : 7461
216.79/36.89	c (25,0) c Good_total : 59357
216.79/36.89	c (25,0) c Good_winner : 7461
216.79/36.89	c (25,0) c Purge_0 : 31120
216.79/36.89	c (25,0) c Purge_1 : 31056
216.79/36.89	c (25,0) c Purge_2 : 31337
216.79/36.89	c (25,0) c Purge_3 : 31876
216.79/36.89	c (25,0) c Purge_4 : 31966
216.79/36.89	c (25,0) c Purge_5 : 32452
216.79/36.89	c (25,0) c Purge_6 : 31558
216.79/36.89	c (25,0) c Purge_7 : 31252
216.79/36.89	c (25,0) c Purge_total : 252617
216.79/36.89	c (25,0) c Purge_winner : 31252
216.79/36.89	c (25,0) c Promoted_0 : 2426
216.79/36.89	c (25,0) c Promoted_1 : 2461
216.79/36.89	c (25,0) c Promoted_2 : 2435
216.79/36.89	c (25,0) c Promoted_3 : 2457
216.79/36.89	c (25,0) c Promoted_4 : 2553
216.79/36.89	c (25,0) c Promoted_5 : 2677
216.79/36.89	c (25,0) c Promoted_6 : 2553
216.79/36.89	c (25,0) c Promoted_7 : 2451
216.79/36.89	c (25,0) c Promoted_total : 20013
216.79/36.89	c (25,0) c Promoted_winner : 2451
216.79/36.89	c (25,0) c Remove_Imp_0 : 18465
216.79/36.89	c (25,0) c Remove_Imp_1 : 17912
216.79/36.89	c (25,0) c Remove_Imp_2 : 18214
216.79/36.89	c (25,0) c Remove_Imp_3 : 18261
216.79/36.89	c (25,0) c Remove_Imp_4 : 17854
216.79/36.89	c (25,0) c Remove_Imp_5 : 18236
216.79/36.89	c (25,0) c Remove_Imp_6 : 18215
216.79/36.89	c (25,0) c Remove_Imp_7 : 18219
216.79/36.89	c (25,0) c Remove_Imp_total : 145376
216.79/36.89	c (25,0) c Remove_Imp_winner : 18219
216.79/36.89	c (25,0) c Blocked_Reuse_0 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_1 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_2 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_3 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_4 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_5 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_6 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_7 : 0
216.79/36.89	c (25,0) c Blocked_Reuse_total : 0
216.79/36.90	c (25,0) c Blocked_Reuse_winner : 0
216.79/36.90	c (25,0) c Unaries_0 : 1348
216.79/36.90	c (25,0) c Unaries_1 : 1301
216.79/36.90	c (25,0) c Unaries_2 : 1344
216.79/36.90	c (25,0) c Unaries_3 : 1367
216.79/36.90	c (25,0) c Unaries_4 : 1336
216.79/36.90	c (25,0) c Unaries_5 : 1328
216.79/36.90	c (25,0) c Unaries_6 : 1286
216.79/36.90	c (25,0) c Unaries_7 : 1309
216.79/36.90	c (25,0) c Unaries_total : 10619
216.79/36.90	c (25,0) c Unaries_winner : 1309
216.79/36.90	c (25,0) c Binaries_0 : 1099
216.79/36.90	c (25,0) c Binaries_1 : 1163
216.79/36.90	c (25,0) c Binaries_2 : 1122
216.79/36.90	c (25,0) c Binaries_3 : 1147
216.79/36.90	c (25,0) c Binaries_4 : 1133
216.79/36.90	c (25,0) c Binaries_5 : 1088
216.79/36.90	c (25,0) c Binaries_6 : 1071
216.79/36.90	c (25,0) c Binaries_7 : 1046
216.79/36.90	c (25,0) c Binaries_total : 8869
216.79/36.90	c (25,0) c Binaries_winner : 1046
216.79/36.90	c (25,0) c Glues_0 : 1967
216.79/36.90	c (25,0) c Glues_1 : 2030
216.79/36.90	c (25,0) c Glues_2 : 2031
216.79/36.90	c (25,0) c Glues_3 : 2013
216.79/36.90	c (25,0) c Glues_4 : 2059
216.79/36.90	c (25,0) c Glues_5 : 2009
216.79/36.90	c (25,0) c Glues_6 : 1921
216.79/36.90	c (25,0) c Glues_7 : 1925
216.79/36.90	c (25,0) c Glues_total : 15955
216.79/36.90	c (25,0) c Glues_winner : 1925
216.79/36.90	c (25,0) c RunningTime_0 : 24.642327
216.79/36.90	c (25,0) c RunningTime_1 : 24.293693
216.79/36.90	c (25,0) c RunningTime_2 : 24.300319
216.79/36.90	c (25,0) c RunningTime_3 : 24.294007
216.79/36.90	c (25,0) c RunningTime_4 : 24.298922
216.79/36.90	c (25,0) c RunningTime_5 : 24.297507
216.79/36.90	c (25,0) c RunningTime_6 : 24.312687
216.79/36.90	c (25,0) c RunningTime_7 : 24.277943
216.79/36.90	c (25,0) c RunningTime_total : 194.717404
216.79/36.90	c (25,0) c RunningTime_winner : 24.277943
216.79/36.90	c (25,0) c WaitingTime_0 : 0.000119
216.79/36.90	c (25,0) c WaitingTime_1 : 0.000151
216.79/36.90	c (25,0) c WaitingTime_2 : 0.000157
216.79/36.90	c (25,0) c WaitingTime_3 : 0.000188
216.79/36.90	c (25,0) c WaitingTime_4 : 0.000189
216.79/36.90	c (25,0) c WaitingTime_5 : 0.000167
216.79/36.90	c (25,0) c WaitingTime_6 : 0.000176
216.79/36.90	c (25,0) c WaitingTime_7 : 0.000156
216.79/36.90	c (25,0) c WaitingTime_total : 0.001303
216.79/36.90	c (25,0) c WaitingTime_winner : 0.000156
216.79/36.90	c (25,0) c ExchangingTime_0 : 0.019220
216.79/36.90	c (25,0) c ExchangingTime_1 : 0.018859
216.79/36.90	c (25,0) c ExchangingTime_2 : 0.023833
216.79/36.90	c (25,0) c ExchangingTime_3 : 0.019287
216.79/36.90	c (25,0) c ExchangingTime_4 : 0.023801
216.79/36.90	c (25,0) c ExchangingTime_5 : 0.019405
216.79/36.90	c (25,0) c ExchangingTime_6 : 0.019777
216.79/36.90	c (25,0) c ExchangingTime_7 : 0.019393
216.79/36.90	c (25,0) c ExchangingTime_total : 0.163575
216.79/36.90	c (25,0) c ExchangingTime_winner : 0.019393
216.79/36.90	c (25,0) c PeriodProcTime_0 : 0.000973
216.79/36.90	c (25,0) c PeriodProcTime_1 : 0.001146
216.79/36.90	c (25,0) c PeriodProcTime_2 : 0.001215
216.79/36.90	c (25,0) c PeriodProcTime_3 : 0.000986
216.79/36.90	c (25,0) c PeriodProcTime_4 : 0.001260
216.79/36.90	c (25,0) c PeriodProcTime_5 : 0.000996
216.79/36.90	c (25,0) c PeriodProcTime_6 : 0.001305
216.79/36.90	c (25,0) c PeriodProcTime_7 : 0.001203
216.79/36.90	c (25,0) c PeriodProcTime_total : 0.009085
216.79/36.90	c (25,0) c PeriodProcTime_winner : 0.001203
216.79/36.90	c (25,0) c SolvingTime_0 : 24.662639
216.79/36.90	c (25,0) c SolvingTime_1 : 24.313849
216.79/36.90	c (25,0) c SolvingTime_2 : 24.325523
216.79/36.90	c (25,0) c SolvingTime_3 : 24.314467
216.79/36.90	c (25,0) c SolvingTime_4 : 24.324173
216.79/36.90	c (25,0) c SolvingTime_5 : 24.318075
216.79/36.90	c (25,0) c SolvingTime_6 : 24.333946
216.79/36.90	c (25,0) c SolvingTime_7 : 24.298695
216.79/36.90	c (25,0) c SolvingTime_total : 194.891367
216.79/36.90	c (25,0) c SolvingTime_winner : 24.298695
216.79/36.90	c (25,0) c PropagationTime_0 : 21.640864
216.79/36.90	c (25,0) c PropagationTime_1 : 21.224937
216.92/36.90	c (25,0) c PropagationTime_2 : 21.274099
216.92/36.90	c (25,0) c PropagationTime_3 : 21.220486
216.92/36.90	c (25,0) c PropagationTime_4 : 21.227381
216.92/36.90	c (25,0) c PropagationTime_5 : 21.215654
216.92/36.90	c (25,0) c PropagationTime_6 : 21.213520
216.92/36.90	c (25,0) c PropagationTime_7 : 21.214836
216.92/36.90	c (25,0) c PropagationTime_total : 170.231777
216.92/36.90	c (25,0) c PropagationTime_winner : 21.214836
216.92/36.90	c (25,0) c AnalysisTime_0 : 1.522954
216.92/36.90	c (25,0) c AnalysisTime_1 : 1.556106
216.92/36.90	c (25,0) c AnalysisTime_2 : 1.537822
216.92/36.90	c (25,0) c AnalysisTime_3 : 1.564318
216.92/36.90	c (25,0) c AnalysisTime_4 : 1.577443
216.92/36.90	c (25,0) c AnalysisTime_5 : 1.580397
216.92/36.90	c (25,0) c AnalysisTime_6 : 1.601578
216.92/36.90	c (25,0) c AnalysisTime_7 : 1.559882
216.92/36.90	c (25,0) c AnalysisTime_total : 12.500501
216.92/36.90	c (25,0) c AnalysisTime_winner : 1.559882
216.92/36.90	c (25,0) c ReductionTime_0 : 0.068357
216.92/36.90	c (25,0) c ReductionTime_1 : 0.072590
216.92/36.90	c (25,0) c ReductionTime_2 : 0.069920
216.92/36.90	c (25,0) c ReductionTime_3 : 0.068729
216.92/36.90	c (25,0) c ReductionTime_4 : 0.068815
216.92/36.90	c (25,0) c ReductionTime_5 : 0.068581
216.92/36.90	c (25,0) c ReductionTime_6 : 0.069966
216.92/36.90	c (25,0) c ReductionTime_7 : 0.069239
216.92/36.90	c (25,0) c ReductionTime_total : 0.556198
216.92/36.90	c (25,0) c ReductionTime_winner : 0.069239
216.92/36.90	c (25,0) c SimplifyTime_0 : 0.320285
216.92/36.90	c (25,0) c SimplifyTime_1 : 0.326286
216.92/36.90	c (25,0) c SimplifyTime_2 : 0.326566
216.92/36.90	c (25,0) c SimplifyTime_3 : 0.328521
216.92/36.90	c (25,0) c SimplifyTime_4 : 0.328080
216.92/36.90	c (25,0) c SimplifyTime_5 : 0.326346
216.92/36.90	c (25,0) c SimplifyTime_6 : 0.334296
216.92/36.90	c (25,0) c SimplifyTime_7 : 0.331285
216.92/36.90	c (25,0) c SimplifyTime_total : 2.621664
216.92/36.90	c (25,0) c SimplifyTime_winner : 0.331285
216.92/36.90	c (25,0) c UsedRateTime_0 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_1 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_2 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_3 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_4 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_5 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_6 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_7 : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_total : 0.000000
216.92/36.90	c (25,0) c UsedRateTime_winner : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_0 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_1 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_2 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_3 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_4 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_5 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_6 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_7 : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_total : 0.000000
216.92/36.90	c (25,0) c OverlapRateTime_winner : 0.000000
216.92/36.90	c (25,0) c
216.92/36.90	c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
216.92/36.90	c (25,0) c
216.92/36.90	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.92/36.90	c (25,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
216.92/36.90	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.92/36.90	c (25,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
216.92/36.90	c (25,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
216.92/36.90	c (25,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
216.92/36.90	c (25,0) c | Initial random_seed   | 1776107875 |  671106980 | 1905085616 |  427635190 |  209213086 | 1678040805 |  395336077 | 1740756942 |
216.92/36.90	c (25,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
216.92/36.90	c (25,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
216.92/36.90	c (25,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
216.92/36.90	c (25,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
216.92/36.90	c (25,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
216.92/36.90	c (25,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
216.92/36.90	c (25,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
216.92/36.90	c (25,0) c | var_decay             |     0.8500 |     0.8500 |     0.8500 |     0.8600 |     0.8600 |     0.8600 |     0.8500 |     0.8500 |
216.92/36.90	c (25,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
216.92/36.90	c (25,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
216.92/36.90	c (25,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
216.92/36.90	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
216.92/36.90	c (25,0) 
216.92/36.90	c (25,0) s SATISFIABLE
216.92/36.96	c (25,0) SatSolver.solve End
216.92/36.96	c (25,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
216.92/36.96	c (25,0) Show results Begin
217.41/37.15	c (25,0) x[0][0] = 24
217.41/37.15	c (25,0) x[0][1] = 17
217.41/37.15	c (25,0) x[0][2] = 9
217.41/37.15	c (25,0) x[0][3] = 1
217.41/37.15	c (25,0) x[0][4] = 25
217.41/37.15	c (25,0) x[0][5] = 21
217.41/37.15	c (25,0) x[0][6] = 8
217.41/37.15	c (25,0) x[0][7] = 10
217.41/37.15	c (25,0) x[0][8] = 6
217.41/37.15	c (25,0) x[0][9] = 5
217.41/37.15	c (25,0) x[0][10] = 11
217.41/37.15	c (25,0) x[0][11] = 15
217.41/37.15	c (25,0) x[0][12] = 29
217.41/37.15	c (25,0) x[0][13] = 2
217.41/37.15	c (25,0) x[0][14] = 23
217.41/37.15	c (25,0) x[0][15] = 4
217.41/37.15	c (25,0) x[0][16] = 20
217.41/37.15	c (25,0) x[0][17] = 7
217.41/37.15	c (25,0) x[0][18] = 3
217.41/37.15	c (25,0) x[0][19] = 22
217.41/37.15	c (25,0) x[0][20] = 19
217.41/37.15	c (25,0) x[0][21] = 28
217.41/37.15	c (25,0) x[0][22] = 13
217.41/37.15	c (25,0) x[0][23] = 0
217.41/37.15	c (25,0) x[0][24] = 27
217.41/37.15	c (25,0) x[0][25] = 18
217.41/37.15	c (25,0) x[0][26] = 12
217.41/37.15	c (25,0) x[0][27] = 14
217.41/37.15	c (25,0) x[0][28] = 26
217.41/37.15	c (25,0) x[0][29] = 16
217.41/37.15	c (25,0) x[1][0] = 23
217.41/37.15	c (25,0) x[1][1] = 11
217.41/37.15	c (25,0) x[1][2] = 27
217.41/37.15	c (25,0) x[1][3] = 13
217.41/37.15	c (25,0) x[1][4] = 6
217.41/37.15	c (25,0) x[1][5] = 2
217.41/37.15	c (25,0) x[1][6] = 18
217.41/37.15	c (25,0) x[1][7] = 12
217.41/37.15	c (25,0) x[1][8] = 21
217.41/37.15	c (25,0) x[1][9] = 16
217.41/37.15	c (25,0) x[1][10] = 5
217.41/37.15	c (25,0) x[1][11] = 24
217.41/37.15	c (25,0) x[1][12] = 26
217.41/37.15	c (25,0) x[1][13] = 28
217.41/37.15	c (25,0) x[1][14] = 0
217.41/37.15	c (25,0) x[1][15] = 14
217.41/37.15	c (25,0) x[1][16] = 22
217.41/37.15	c (25,0) x[1][17] = 29
217.41/37.15	c (25,0) x[1][18] = 15
217.41/37.15	c (25,0) x[1][19] = 17
217.41/37.15	c (25,0) x[1][20] = 9
217.41/37.15	c (25,0) x[1][21] = 25
217.41/37.15	c (25,0) x[1][22] = 7
217.41/37.15	c (25,0) x[1][23] = 19
217.41/37.15	c (25,0) x[1][24] = 4
217.41/37.15	c (25,0) x[1][25] = 3
217.41/37.15	c (25,0) x[1][26] = 10
217.41/37.15	c (25,0) x[1][27] = 20
217.41/37.15	c (25,0) x[1][28] = 1
217.41/37.15	c (25,0) x[1][29] = 8
217.41/37.15	c (25,0) x[2][0] = 6
217.41/37.15	c (25,0) x[2][1] = 1
217.41/37.15	c (25,0) x[2][2] = 25
217.41/37.15	c (25,0) x[2][3] = 24
217.41/37.15	c (25,0) x[2][4] = 16
217.41/37.15	c (25,0) x[2][5] = 27
217.41/37.15	c (25,0) x[2][6] = 5
217.41/37.15	c (25,0) x[2][7] = 13
217.41/37.15	c (25,0) x[2][8] = 19
217.41/37.15	c (25,0) x[2][9] = 12
217.41/37.15	c (25,0) x[2][10] = 0
217.41/37.15	c (25,0) x[2][11] = 17
217.41/37.15	c (25,0) x[2][12] = 23
217.41/37.15	c (25,0) x[2][13] = 8
217.41/37.15	c (25,0) x[2][14] = 22
217.41/37.15	c (25,0) x[2][15] = 10
217.41/37.15	c (25,0) x[2][16] = 15
217.41/37.15	c (25,0) x[2][17] = 26
217.41/37.15	c (25,0) x[2][18] = 20
217.41/37.15	c (25,0) x[2][19] = 9
217.41/37.15	c (25,0) x[2][20] = 28
217.41/37.15	c (25,0) x[2][21] = 4
217.41/37.15	c (25,0) x[2][22] = 3
217.41/37.15	c (25,0) x[2][23] = 7
217.41/37.15	c (25,0) x[2][24] = 2
217.41/37.15	c (25,0) x[2][25] = 21
217.41/37.16	c (25,0) x[2][26] = 29
217.41/37.16	c (25,0) x[2][27] = 11
217.41/37.16	c (25,0) x[2][28] = 14
217.41/37.16	c (25,0) x[2][29] = 18
217.41/37.16	c (25,0) x[3][0] = 1
217.41/37.16	c (25,0) x[3][1] = 16
217.41/37.16	c (25,0) x[3][2] = 24
217.41/37.16	c (25,0) x[3][3] = 26
217.41/37.16	c (25,0) x[3][4] = 29
217.41/37.16	c (25,0) x[3][5] = 3
217.41/37.16	c (25,0) x[3][6] = 25
217.41/37.16	c (25,0) x[3][7] = 2
217.41/37.16	c (25,0) x[3][8] = 12
217.41/37.16	c (25,0) x[3][9] = 11
217.41/37.16	c (25,0) x[3][10] = 22
217.41/37.16	c (25,0) x[3][11] = 27
217.41/37.16	c (25,0) x[3][12] = 6
217.41/37.16	c (25,0) x[3][13] = 0
217.41/37.16	c (25,0) x[3][14] = 9
217.41/37.16	c (25,0) x[3][15] = 28
217.41/37.16	c (25,0) x[3][16] = 23
217.41/37.16	c (25,0) x[3][17] = 5
217.41/37.16	c (25,0) x[3][18] = 14
217.41/37.16	c (25,0) x[3][19] = 13
217.41/37.16	c (25,0) x[3][20] = 4
217.41/37.16	c (25,0) x[3][21] = 7
217.41/37.16	c (25,0) x[3][22] = 10
217.41/37.16	c (25,0) x[3][23] = 21
217.41/37.16	c (25,0) x[3][24] = 18
217.41/37.16	c (25,0) x[3][25] = 8
217.41/37.16	c (25,0) x[3][26] = 15
217.41/37.16	c (25,0) x[3][27] = 17
217.41/37.16	c (25,0) x[3][28] = 20
217.41/37.16	c (25,0) x[3][29] = 19
217.41/37.16	c (25,0) x[4][0] = 29
217.41/37.16	c (25,0) x[4][1] = 18
217.41/37.16	c (25,0) x[4][2] = 15
217.41/37.16	c (25,0) x[4][3] = 10
217.41/37.16	c (25,0) x[4][4] = 22
217.41/37.16	c (25,0) x[4][5] = 6
217.41/37.16	c (25,0) x[4][6] = 19
217.41/37.16	c (25,0) x[4][7] = 28
217.41/37.16	c (25,0) x[4][8] = 8
217.41/37.16	c (25,0) x[4][9] = 2
217.41/37.16	c (25,0) x[4][10] = 13
217.41/37.16	c (25,0) x[4][11] = 7
217.41/37.16	c (25,0) x[4][12] = 25
217.41/37.16	c (25,0) x[4][13] = 23
217.41/37.16	c (25,0) x[4][14] = 4
217.41/37.16	c (25,0) x[4][15] = 11
217.41/37.16	c (25,0) x[4][16] = 3
217.41/37.16	c (25,0) x[4][17] = 20
217.41/37.16	c (25,0) x[4][18] = 1
217.41/37.16	c (25,0) x[4][19] = 24
217.41/37.16	c (25,0) x[4][20] = 26
217.41/37.16	c (25,0) x[4][21] = 21
217.41/37.16	c (25,0) x[4][22] = 12
217.41/37.16	c (25,0) x[4][23] = 17
217.41/37.16	c (25,0) x[4][24] = 14
217.41/37.16	c (25,0) x[4][25] = 9
217.41/37.16	c (25,0) x[4][26] = 5
217.41/37.16	c (25,0) x[4][27] = 16
217.41/37.16	c (25,0) x[4][28] = 27
217.41/37.16	c (25,0) x[4][29] = 0
217.41/37.16	c (25,0) x[5][0] = 8
217.41/37.16	c (25,0) x[5][1] = 19
217.41/37.16	c (25,0) x[5][2] = 1
217.41/37.16	c (25,0) x[5][3] = 15
217.41/37.16	c (25,0) x[5][4] = 13
217.41/37.16	c (25,0) x[5][5] = 20
217.41/37.16	c (25,0) x[5][6] = 10
217.41/37.16	c (25,0) x[5][7] = 17
217.41/37.16	c (25,0) x[5][8] = 22
217.41/37.16	c (25,0) x[5][9] = 21
217.41/37.16	c (25,0) x[5][10] = 16
217.41/37.16	c (25,0) x[5][11] = 18
217.41/37.16	c (25,0) x[5][12] = 0
217.41/37.16	c (25,0) x[5][13] = 4
217.41/37.16	c (25,0) x[5][14] = 29
217.41/37.16	c (25,0) x[5][15] = 9
217.41/37.16	c (25,0) x[5][16] = 12
217.41/37.16	c (25,0) x[5][17] = 3
217.41/37.16	c (25,0) x[5][18] = 25
217.41/37.16	c (25,0) x[5][19] = 2
217.41/37.16	c (25,0) x[5][20] = 24
217.41/37.16	c (25,0) x[5][21] = 27
217.41/37.16	c (25,0) x[5][22] = 28
217.41/37.16	c (25,0) x[5][23] = 14
217.41/37.16	c (25,0) x[5][24] = 7
217.41/37.16	c (25,0) x[5][25] = 23
217.41/37.16	c (25,0) x[5][26] = 26
217.41/37.16	c (25,0) x[5][27] = 6
217.41/37.16	c (25,0) x[5][28] = 11
217.41/37.16	c (25,0) x[5][29] = 5
217.41/37.16	c (25,0) x[6][0] = 28
217.41/37.16	c (25,0) x[6][1] = 29
217.41/37.16	c (25,0) x[6][2] = 16
217.41/37.16	c (25,0) x[6][3] = 0
217.41/37.16	c (25,0) x[6][4] = 19
217.41/37.16	c (25,0) x[6][5] = 26
217.41/37.16	c (25,0) x[6][6] = 14
217.41/37.16	c (25,0) x[6][7] = 23
217.41/37.16	c (25,0) x[6][8] = 9
217.41/37.16	c (25,0) x[6][9] = 3
217.41/37.16	c (25,0) x[6][10] = 12
217.41/37.16	c (25,0) x[6][11] = 25
217.41/37.16	c (25,0) x[6][12] = 15
217.41/37.16	c (25,0) x[6][13] = 20
217.41/37.16	c (25,0) x[6][14] = 21
217.41/37.16	c (25,0) x[6][15] = 7
217.41/37.16	c (25,0) x[6][16] = 27
217.41/37.16	c (25,0) x[6][17] = 17
217.41/37.16	c (25,0) x[6][18] = 2
217.41/37.16	c (25,0) x[6][19] = 18
217.41/37.16	c (25,0) x[6][20] = 8
217.41/37.16	c (25,0) x[6][21] = 6
217.41/37.16	c (25,0) x[6][22] = 1
217.41/37.16	c (25,0) x[6][23] = 22
217.41/37.16	c (25,0) x[6][24] = 13
217.41/37.16	c (25,0) x[6][25] = 24
217.41/37.16	c (25,0) x[6][26] = 11
217.41/37.16	c (25,0) x[6][27] = 10
217.41/37.16	c (25,0) x[6][28] = 5
217.41/37.16	c (25,0) x[6][29] = 4
217.41/37.16	c (25,0) x[7][0] = 20
217.41/37.16	c (25,0) x[7][1] = 4
217.41/37.16	c (25,0) x[7][2] = 6
217.41/37.16	c (25,0) x[7][3] = 17
217.41/37.16	c (25,0) x[7][4] = 26
217.41/37.16	c (25,0) x[7][5] = 9
217.41/37.16	c (25,0) x[7][6] = 24
217.41/37.16	c (25,0) x[7][7] = 0
217.41/37.16	c (25,0) x[7][8] = 29
217.41/37.16	c (25,0) x[7][9] = 19
217.41/37.16	c (25,0) x[7][10] = 14
217.41/37.16	c (25,0) x[7][11] = 2
217.41/37.16	c (25,0) x[7][12] = 8
217.41/37.16	c (25,0) x[7][13] = 7
217.41/37.16	c (25,0) x[7][14] = 27
217.41/37.16	c (25,0) x[7][15] = 16
217.41/37.16	c (25,0) x[7][16] = 18
217.41/37.16	c (25,0) x[7][17] = 15
217.41/37.16	c (25,0) x[7][18] = 22
217.41/37.16	c (25,0) x[7][19] = 5
217.41/37.16	c (25,0) x[7][20] = 21
217.41/37.16	c (25,0) x[7][21] = 13
217.41/37.16	c (25,0) x[7][22] = 11
217.41/37.16	c (25,0) x[7][23] = 28
217.41/37.16	c (25,0) x[7][24] = 25
217.41/37.16	c (25,0) x[7][25] = 10
217.41/37.16	c (25,0) x[7][26] = 3
217.41/37.16	c (25,0) x[7][27] = 23
217.41/37.16	c (25,0) x[7][28] = 12
217.41/37.16	c (25,0) x[7][29] = 1
217.41/37.16	c (25,0) x[8][0] = 7
217.41/37.16	c (25,0) x[8][1] = 2
217.41/37.16	c (25,0) x[8][2] = 14
217.41/37.16	c (25,0) x[8][3] = 20
217.41/37.16	c (25,0) x[8][4] = 18
217.41/37.16	c (25,0) x[8][5] = 29
217.41/37.16	c (25,0) x[8][6] = 15
217.41/37.16	c (25,0) x[8][7] = 5
217.41/37.16	c (25,0) x[8][8] = 0
217.41/37.16	c (25,0) x[8][9] = 9
217.41/37.16	c (25,0) x[8][10] = 8
217.41/37.16	c (25,0) x[8][11] = 23
217.41/37.16	c (25,0) x[8][12] = 22
217.41/37.16	c (25,0) x[8][13] = 25
217.41/37.16	c (25,0) x[8][14] = 6
217.41/37.16	c (25,0) x[8][15] = 17
217.41/37.16	c (25,0) x[8][16] = 28
217.41/37.16	c (25,0) x[8][17] = 13
217.41/37.17	c (25,0) x[8][18] = 16
217.41/37.17	c (25,0) x[8][19] = 26
217.41/37.17	c (25,0) x[8][20] = 10
217.41/37.17	c (25,0) x[8][21] = 3
217.41/37.17	c (25,0) x[8][22] = 21
217.41/37.17	c (25,0) x[8][23] = 11
217.41/37.17	c (25,0) x[8][24] = 12
217.41/37.17	c (25,0) x[8][25] = 4
217.41/37.17	c (25,0) x[8][26] = 1
217.41/37.17	c (25,0) x[8][27] = 24
217.41/37.17	c (25,0) x[8][28] = 19
217.41/37.17	c (25,0) x[8][29] = 27
217.41/37.17	c (25,0) x[9][0] = 19
217.41/37.17	c (25,0) x[9][1] = 26
217.41/37.17	c (25,0) x[9][2] = 23
217.41/37.17	c (25,0) x[9][3] = 9
217.41/37.17	c (25,0) x[9][4] = 2
217.41/37.17	c (25,0) x[9][5] = 25
217.41/37.17	c (25,0) x[9][6] = 11
217.41/37.17	c (25,0) x[9][7] = 3
217.41/37.17	c (25,0) x[9][8] = 14
217.41/37.17	c (25,0) x[9][9] = 18
217.41/37.17	c (25,0) x[9][10] = 29
217.41/37.17	c (25,0) x[9][11] = 6
217.41/37.17	c (25,0) x[9][12] = 10
217.41/37.17	c (25,0) x[9][13] = 21
217.41/37.17	c (25,0) x[9][14] = 13
217.41/37.17	c (25,0) x[9][15] = 15
217.41/37.17	c (25,0) x[9][16] = 1
217.41/37.17	c (25,0) x[9][17] = 27
217.41/37.17	c (25,0) x[9][18] = 28
217.41/37.17	c (25,0) x[9][19] = 12
217.41/37.17	c (25,0) x[9][20] = 17
217.41/37.17	c (25,0) x[9][21] = 22
217.41/37.17	c (25,0) x[9][22] = 4
217.41/37.17	c (25,0) x[9][23] = 20
217.41/37.17	c (25,0) x[9][24] = 24
217.41/37.17	c (25,0) x[9][25] = 16
217.41/37.17	c (25,0) x[9][26] = 8
217.41/37.17	c (25,0) x[9][27] = 5
217.41/37.17	c (25,0) x[9][28] = 0
217.41/37.17	c (25,0) x[9][29] = 7
217.41/37.17	c (25,0) x[10][0] = 21
217.41/37.17	c (25,0) x[10][1] = 0
217.41/37.17	c (25,0) x[10][2] = 2
217.41/37.17	c (25,0) x[10][3] = 11
217.41/37.17	c (25,0) x[10][4] = 27
217.41/37.17	c (25,0) x[10][5] = 4
217.41/37.17	c (25,0) x[10][6] = 6
217.41/37.17	c (25,0) x[10][7] = 8
217.41/37.17	c (25,0) x[10][8] = 13
217.41/37.17	c (25,0) x[10][9] = 23
217.41/37.17	c (25,0) x[10][10] = 25
217.41/37.17	c (25,0) x[10][11] = 20
217.41/37.17	c (25,0) x[10][12] = 14
217.41/37.17	c (25,0) x[10][13] = 22
217.41/37.17	c (25,0) x[10][14] = 7
217.41/37.17	c (25,0) x[10][15] = 5
217.41/37.17	c (25,0) x[10][16] = 17
217.41/37.17	c (25,0) x[10][17] = 24
217.41/37.17	c (25,0) x[10][18] = 19
217.41/37.17	c (25,0) x[10][19] = 3
217.41/37.17	c (25,0) x[10][20] = 12
217.41/37.17	c (25,0) x[10][21] = 1
217.41/37.17	c (25,0) x[10][22] = 9
217.41/37.17	c (25,0) x[10][23] = 26
217.41/37.17	c (25,0) x[10][24] = 16
217.41/37.17	c (25,0) x[10][25] = 28
217.41/37.17	c (25,0) x[10][26] = 18
217.41/37.17	c (25,0) x[10][27] = 29
217.41/37.17	c (25,0) x[10][28] = 15
217.41/37.17	c (25,0) x[10][29] = 10
217.41/37.17	c (25,0) x[11][0] = 2
217.41/37.17	c (25,0) x[11][1] = 21
217.41/37.17	c (25,0) x[11][2] = 13
217.41/37.17	c (25,0) x[11][3] = 14
217.41/37.17	c (25,0) x[11][4] = 7
217.41/37.17	c (25,0) x[11][5] = 5
217.41/37.17	c (25,0) x[11][6] = 26
217.41/37.17	c (25,0) x[11][7] = 20
217.41/37.17	c (25,0) x[11][8] = 25
217.41/37.17	c (25,0) x[11][9] = 15
217.41/37.17	c (25,0) x[11][10] = 10
217.41/37.17	c (25,0) x[11][11] = 9
217.41/37.17	c (25,0) x[11][12] = 12
217.41/37.17	c (25,0) x[11][13] = 24
217.41/37.17	c (25,0) x[11][14] = 16
217.41/37.17	c (25,0) x[11][15] = 6
217.41/37.17	c (25,0) x[11][16] = 11
217.41/37.17	c (25,0) x[11][17] = 28
217.41/37.17	c (25,0) x[11][18] = 23
217.41/37.17	c (25,0) x[11][19] = 27
217.41/37.17	c (25,0) x[11][20] = 22
217.41/37.17	c (25,0) x[11][21] = 29
217.41/37.17	c (25,0) x[11][22] = 18
217.41/37.17	c (25,0) x[11][23] = 8
217.41/37.17	c (25,0) x[11][24] = 17
217.41/37.17	c (25,0) x[11][25] = 1
217.41/37.17	c (25,0) x[11][26] = 19
217.41/37.17	c (25,0) x[11][27] = 0
217.41/37.17	c (25,0) x[11][28] = 4
217.41/37.17	c (25,0) x[11][29] = 3
217.41/37.17	c (25,0) x[12][0] = 18
217.41/37.17	c (25,0) x[12][1] = 14
217.41/37.17	c (25,0) x[12][2] = 0
217.41/37.17	c (25,0) x[12][3] = 22
217.41/37.17	c (25,0) x[12][4] = 21
217.41/37.17	c (25,0) x[12][5] = 8
217.41/37.17	c (25,0) x[12][6] = 29
217.41/37.17	c (25,0) x[12][7] = 24
217.41/37.17	c (25,0) x[12][8] = 23
217.41/37.17	c (25,0) x[12][9] = 1
217.41/37.17	c (25,0) x[12][10] = 6
217.41/37.17	c (25,0) x[12][11] = 16
217.41/37.17	c (25,0) x[12][12] = 3
217.41/37.17	c (25,0) x[12][13] = 10
217.41/37.17	c (25,0) x[12][14] = 20
217.41/37.17	c (25,0) x[12][15] = 12
217.41/37.17	c (25,0) x[12][16] = 25
217.41/37.17	c (25,0) x[12][17] = 2
217.41/37.17	c (25,0) x[12][18] = 27
217.41/37.17	c (25,0) x[12][19] = 4
217.41/37.17	c (25,0) x[12][20] = 5
217.41/37.17	c (25,0) x[12][21] = 26
217.41/37.17	c (25,0) x[12][22] = 19
217.41/37.17	c (25,0) x[12][23] = 15
217.41/37.17	c (25,0) x[12][24] = 28
217.41/37.17	c (25,0) x[12][25] = 13
217.41/37.17	c (25,0) x[12][26] = 17
217.41/37.17	c (25,0) x[12][27] = 7
217.41/37.17	c (25,0) x[12][28] = 9
217.41/37.17	c (25,0) x[12][29] = 11
217.41/37.17	c (25,0) x[13][0] = 14
217.41/37.17	c (25,0) x[13][1] = 13
217.41/37.17	c (25,0) x[13][2] = 28
217.41/37.17	c (25,0) x[13][3] = 3
217.41/37.17	c (25,0) x[13][4] = 8
217.41/37.17	c (25,0) x[13][5] = 16
217.41/37.17	c (25,0) x[13][6] = 1
217.41/37.17	c (25,0) x[13][7] = 9
217.41/37.17	c (25,0) x[13][8] = 2
217.41/37.17	c (25,0) x[13][9] = 6
217.41/37.17	c (25,0) x[13][10] = 19
217.41/37.17	c (25,0) x[13][11] = 22
217.41/37.17	c (25,0) x[13][12] = 4
217.41/37.17	c (25,0) x[13][13] = 27
217.41/37.17	c (25,0) x[13][14] = 18
217.41/37.17	c (25,0) x[13][15] = 0
217.41/37.17	c (25,0) x[13][16] = 29
217.41/37.17	c (25,0) x[13][17] = 23
217.41/37.17	c (25,0) x[13][18] = 24
217.41/37.17	c (25,0) x[13][19] = 11
217.41/37.17	c (25,0) x[13][20] = 25
217.41/37.17	c (25,0) x[13][21] = 20
217.41/37.17	c (25,0) x[13][22] = 5
217.41/37.17	c (25,0) x[13][23] = 10
217.41/37.17	c (25,0) x[13][24] = 21
217.41/37.17	c (25,0) x[13][25] = 26
217.41/37.17	c (25,0) x[13][26] = 7
217.41/37.17	c (25,0) x[13][27] = 15
217.41/37.17	c (25,0) x[13][28] = 17
217.41/37.17	c (25,0) x[13][29] = 12
217.41/37.17	c (25,0) x[14][0] = 10
217.41/37.17	c (25,0) x[14][1] = 15
217.41/37.17	c (25,0) x[14][2] = 12
217.41/37.17	c (25,0) x[14][3] = 27
217.41/37.17	c (25,0) x[14][4] = 3
217.41/37.17	c (25,0) x[14][5] = 0
217.41/37.17	c (25,0) x[14][6] = 23
217.41/37.17	c (25,0) x[14][7] = 18
217.41/37.17	c (25,0) x[14][8] = 17
217.41/37.17	c (25,0) x[14][9] = 22
217.41/37.17	c (25,0) x[14][10] = 1
217.41/37.17	c (25,0) x[14][11] = 21
217.41/37.17	c (25,0) x[14][12] = 11
217.41/37.17	c (25,0) x[14][13] = 5
217.41/37.17	c (25,0) x[14][14] = 28
217.41/37.17	c (25,0) x[14][15] = 24
217.41/37.17	c (25,0) x[14][16] = 6
217.41/37.17	c (25,0) x[14][17] = 16
217.41/37.17	c (25,0) x[14][18] = 7
217.41/37.17	c (25,0) x[14][19] = 25
217.41/37.17	c (25,0) x[14][20] = 14
217.41/37.17	c (25,0) x[14][21] = 8
217.41/37.17	c (25,0) x[14][22] = 20
217.41/37.17	c (25,0) x[14][23] = 13
217.41/37.17	c (25,0) x[14][24] = 29
217.41/37.17	c (25,0) x[14][25] = 19
217.41/37.17	c (25,0) x[14][26] = 9
217.41/37.17	c (25,0) x[14][27] = 4
217.41/37.17	c (25,0) x[14][28] = 2
217.41/37.17	c (25,0) x[14][29] = 26
217.41/37.17	c (25,0) x[15][0] = 15
217.41/37.17	c (25,0) x[15][1] = 8
217.41/37.17	c (25,0) x[15][2] = 10
217.41/37.17	c (25,0) x[15][3] = 29
217.41/37.17	c (25,0) x[15][4] = 4
217.41/37.17	c (25,0) x[15][5] = 11
217.41/37.17	c (25,0) x[15][6] = 27
217.41/37.17	c (25,0) x[15][7] = 19
217.41/37.17	c (25,0) x[15][8] = 26
217.41/37.17	c (25,0) x[15][9] = 7
217.41/37.17	c (25,0) x[15][10] = 28
217.41/37.17	c (25,0) x[15][11] = 1
217.41/37.17	c (25,0) x[15][12] = 13
217.41/37.17	c (25,0) x[15][13] = 16
217.41/37.17	c (25,0) x[15][14] = 14
217.41/37.17	c (25,0) x[15][15] = 3
217.41/37.17	c (25,0) x[15][16] = 21
217.41/37.17	c (25,0) x[15][17] = 22
217.41/37.17	c (25,0) x[15][18] = 6
217.41/37.17	c (25,0) x[15][19] = 23
217.41/37.17	c (25,0) x[15][20] = 20
217.41/37.17	c (25,0) x[15][21] = 24
217.41/37.17	c (25,0) x[15][22] = 25
217.41/37.17	c (25,0) x[15][23] = 5
217.41/37.17	c (25,0) x[15][24] = 9
217.41/37.17	c (25,0) x[15][25] = 12
217.41/37.17	c (25,0) x[15][26] = 0
217.41/37.17	c (25,0) x[15][27] = 2
217.41/37.17	c (25,0) x[15][28] = 18
217.41/37.17	c (25,0) x[15][29] = 17
217.41/37.17	c (25,0) x[16][0] = 12
217.41/37.17	c (25,0) x[16][1] = 25
217.41/37.17	c (25,0) x[16][2] = 18
217.41/37.17	c (25,0) x[16][3] = 23
217.41/37.17	c (25,0) x[16][4] = 14
217.41/37.17	c (25,0) x[16][5] = 10
217.41/37.17	c (25,0) x[16][6] = 9
217.41/37.17	c (25,0) x[16][7] = 6
217.41/37.17	c (25,0) x[16][8] = 5
217.41/37.17	c (25,0) x[16][9] = 29
217.41/37.17	c (25,0) x[16][10] = 20
217.41/37.17	c (25,0) x[16][11] = 28
217.41/37.17	c (25,0) x[16][12] = 17
217.41/37.17	c (25,0) x[16][13] = 11
217.41/37.17	c (25,0) x[16][14] = 19
217.41/37.17	c (25,0) x[16][15] = 21
217.41/37.17	c (25,0) x[16][16] = 26
217.41/37.17	c (25,0) x[16][17] = 8
217.41/37.17	c (25,0) x[16][18] = 4
217.41/37.17	c (25,0) x[16][19] = 7
217.41/37.17	c (25,0) x[16][20] = 13
217.41/37.17	c (25,0) x[16][21] = 2
217.41/37.17	c (25,0) x[16][22] = 0
217.41/37.17	c (25,0) x[16][23] = 27
217.41/37.17	c (25,0) x[16][24] = 1
217.41/37.17	c (25,0) x[16][25] = 15
217.41/37.17	c (25,0) x[16][26] = 16
217.41/37.17	c (25,0) x[16][27] = 3
217.41/37.17	c (25,0) x[16][28] = 24
217.41/37.17	c (25,0) x[16][29] = 22
217.41/37.17	c (25,0) x[17][0] = 13
217.41/37.17	c (25,0) x[17][1] = 24
217.41/37.17	c (25,0) x[17][2] = 7
217.41/37.17	c (25,0) x[17][3] = 5
217.41/37.17	c (25,0) x[17][4] = 0
217.41/37.17	c (25,0) x[17][5] = 22
217.41/37.17	c (25,0) x[17][6] = 12
217.41/37.17	c (25,0) x[17][7] = 15
217.41/37.17	c (25,0) x[17][8] = 16
217.41/37.17	c (25,0) x[17][9] = 28
217.41/37.17	c (25,0) x[17][10] = 17
217.41/37.17	c (25,0) x[17][11] = 29
217.41/37.17	c (25,0) x[17][12] = 27
217.41/37.17	c (25,0) x[17][13] = 9
217.41/37.17	c (25,0) x[17][14] = 1
217.41/37.17	c (25,0) x[17][15] = 26
217.41/37.17	c (25,0) x[17][16] = 14
217.41/37.17	c (25,0) x[17][17] = 25
217.41/37.17	c (25,0) x[17][18] = 18
217.41/37.17	c (25,0) x[17][19] = 20
217.41/37.17	c (25,0) x[17][20] = 11
217.41/37.17	c (25,0) x[17][21] = 19
217.41/37.17	c (25,0) x[17][22] = 8
217.41/37.17	c (25,0) x[17][23] = 23
217.41/37.17	c (25,0) x[17][24] = 10
217.41/37.17	c (25,0) x[17][25] = 6
217.41/37.17	c (25,0) x[17][26] = 4
217.41/37.17	c (25,0) x[17][27] = 21
217.41/37.17	c (25,0) x[17][28] = 3
217.41/37.17	c (25,0) x[17][29] = 2
217.41/37.17	c (25,0) x[18][0] = 27
217.41/37.17	c (25,0) x[18][1] = 7
217.41/37.17	c (25,0) x[18][2] = 26
217.41/37.17	c (25,0) x[18][3] = 8
217.41/37.17	c (25,0) x[18][4] = 20
217.41/37.17	c (25,0) x[18][5] = 28
217.41/37.17	c (25,0) x[18][6] = 21
217.41/37.17	c (25,0) x[18][7] = 22
217.41/37.17	c (25,0) x[18][8] = 18
217.41/37.17	c (25,0) x[18][9] = 0
217.41/37.17	c (25,0) x[18][10] = 15
217.41/37.17	c (25,0) x[18][11] = 10
217.41/37.17	c (25,0) x[18][12] = 16
217.41/37.17	c (25,0) x[18][13] = 17
217.41/37.17	c (25,0) x[18][14] = 3
217.41/37.17	c (25,0) x[18][15] = 1
217.41/37.17	c (25,0) x[18][16] = 2
217.41/37.17	c (25,0) x[18][17] = 4
217.41/37.17	c (25,0) x[18][18] = 12
217.41/37.17	c (25,0) x[18][19] = 19
217.41/37.17	c (25,0) x[18][20] = 6
217.41/37.17	c (25,0) x[18][21] = 5
217.41/37.17	c (25,0) x[18][22] = 24
217.41/37.17	c (25,0) x[18][23] = 29
217.41/37.17	c (25,0) x[18][24] = 11
217.41/37.17	c (25,0) x[18][25] = 14
217.41/37.17	c (25,0) x[18][26] = 23
217.41/37.17	c (25,0) x[18][27] = 25
217.41/37.17	c (25,0) x[18][28] = 13
217.41/37.17	c (25,0) x[18][29] = 9
217.41/37.17	c (25,0) x[19][0] = 9
217.41/37.17	c (25,0) x[19][1] = 6
217.41/37.17	c (25,0) x[19][2] = 4
217.41/37.17	c (25,0) x[19][3] = 16
217.41/37.17	c (25,0) x[19][4] = 11
217.41/37.17	c (25,0) x[19][5] = 15
217.41/37.17	c (25,0) x[19][6] = 7
217.41/37.17	c (25,0) x[19][7] = 21
217.41/37.17	c (25,0) x[19][8] = 28
217.41/37.17	c (25,0) x[19][9] = 8
217.41/37.17	c (25,0) x[19][10] = 27
217.41/37.17	c (25,0) x[19][11] = 5
217.41/37.17	c (25,0) x[19][12] = 20
217.41/37.17	c (25,0) x[19][13] = 26
217.41/37.17	c (25,0) x[19][14] = 17
217.41/37.17	c (25,0) x[19][15] = 2
217.41/37.17	c (25,0) x[19][16] = 10
217.41/37.17	c (25,0) x[19][17] = 14
217.41/37.17	c (25,0) x[19][18] = 13
217.41/37.17	c (25,0) x[19][19] = 29
217.41/37.17	c (25,0) x[19][20] = 3
217.41/37.17	c (25,0) x[19][21] = 12
217.41/37.17	c (25,0) x[19][22] = 23
217.41/37.17	c (25,0) x[19][23] = 18
217.41/37.17	c (25,0) x[19][24] = 19
217.41/37.17	c (25,0) x[19][25] = 0
217.41/37.17	c (25,0) x[19][26] = 22
217.41/37.17	c (25,0) x[19][27] = 1
217.41/37.17	c (25,0) x[19][28] = 25
217.41/37.17	c (25,0) x[19][29] = 24
217.41/37.17	c (25,0) x[20][0] = 11
217.41/37.17	c (25,0) x[20][1] = 22
217.41/37.17	c (25,0) x[20][2] = 17
217.41/37.17	c (25,0) x[20][3] = 12
217.41/37.17	c (25,0) x[20][4] = 10
217.41/37.17	c (25,0) x[20][5] = 13
217.41/37.17	c (25,0) x[20][6] = 3
217.41/37.17	c (25,0) x[20][7] = 29
217.41/37.17	c (25,0) x[20][8] = 27
217.41/37.17	c (25,0) x[20][9] = 20
217.41/37.17	c (25,0) x[20][10] = 4
217.41/37.17	c (25,0) x[20][11] = 26
217.41/37.17	c (25,0) x[20][12] = 2
217.41/37.17	c (25,0) x[20][13] = 19
217.41/37.17	c (25,0) x[20][14] = 24
217.41/37.17	c (25,0) x[20][15] = 23
217.41/37.17	c (25,0) x[20][16] = 7
217.41/37.17	c (25,0) x[20][17] = 21
217.41/37.17	c (25,0) x[20][18] = 5
217.41/37.17	c (25,0) x[20][19] = 16
217.41/37.17	c (25,0) x[20][20] = 1
217.41/37.17	c (25,0) x[20][21] = 14
217.41/37.17	c (25,0) x[20][22] = 6
217.41/37.17	c (25,0) x[20][23] = 9
217.41/37.17	c (25,0) x[20][24] = 0
217.41/37.17	c (25,0) x[20][25] = 25
217.41/37.17	c (25,0) x[20][26] = 28
217.41/37.17	c (25,0) x[20][27] = 18
217.41/37.17	c (25,0) x[20][28] = 8
217.41/37.17	c (25,0) x[20][29] = 15
217.41/37.17	c (25,0) x[21][0] = 25
217.41/37.17	c (25,0) x[21][1] = 3
217.41/37.17	c (25,0) x[21][2] = 20
217.41/37.17	c (25,0) x[21][3] = 2
217.41/37.17	c (25,0) x[21][4] = 5
217.41/37.17	c (25,0) x[21][5] = 23
217.41/37.17	c (25,0) x[21][6] = 13
217.41/37.17	c (25,0) x[21][7] = 16
217.41/37.17	c (25,0) x[21][8] = 4
217.41/37.17	c (25,0) x[21][9] = 27
217.41/37.17	c (25,0) x[21][10] = 26
217.41/37.17	c (25,0) x[21][11] = 11
217.41/37.17	c (25,0) x[21][12] = 18
217.41/37.17	c (25,0) x[21][13] = 12
217.41/37.17	c (25,0) x[21][14] = 8
217.41/37.17	c (25,0) x[21][15] = 29
217.41/37.17	c (25,0) x[21][16] = 19
217.41/37.17	c (25,0) x[21][17] = 9
217.41/37.17	c (25,0) x[21][18] = 10
217.41/37.17	c (25,0) x[21][19] = 1
217.41/37.17	c (25,0) x[21][20] = 0
217.41/37.17	c (25,0) x[21][21] = 15
217.41/37.17	c (25,0) x[21][22] = 17
217.41/37.17	c (25,0) x[21][23] = 24
217.41/37.17	c (25,0) x[21][24] = 6
217.41/37.17	c (25,0) x[21][25] = 7
217.41/37.17	c (25,0) x[21][26] = 14
217.41/37.17	c (25,0) x[21][27] = 22
217.41/37.17	c (25,0) x[21][28] = 21
217.41/37.17	c (25,0) x[21][29] = 28
217.41/37.17	c (25,0) x[22][0] = 4
217.41/37.17	c (25,0) x[22][1] = 10
217.41/37.17	c (25,0) x[22][2] = 29
217.41/37.17	c (25,0) x[22][3] = 7
217.41/37.17	c (25,0) x[22][4] = 12
217.41/37.17	c (25,0) x[22][5] = 18
217.41/37.17	c (25,0) x[22][6] = 17
217.41/37.17	c (25,0) x[22][7] = 1
217.41/37.17	c (25,0) x[22][8] = 24
217.41/37.17	c (25,0) x[22][9] = 13
217.41/37.17	c (25,0) x[22][10] = 21
217.41/37.17	c (25,0) x[22][11] = 8
217.41/37.17	c (25,0) x[22][12] = 19
217.41/37.17	c (25,0) x[22][13] = 15
217.41/37.17	c (25,0) x[22][14] = 26
217.41/37.17	c (25,0) x[22][15] = 27
217.41/37.17	c (25,0) x[22][16] = 16
217.41/37.17	c (25,0) x[22][17] = 0
217.41/37.17	c (25,0) x[22][18] = 11
217.41/37.17	c (25,0) x[22][19] = 28
217.41/37.17	c (25,0) x[22][20] = 2
217.41/37.17	c (25,0) x[22][21] = 23
217.41/37.17	c (25,0) x[22][22] = 14
217.41/37.17	c (25,0) x[22][23] = 3
217.41/37.17	c (25,0) x[22][24] = 5
217.41/37.17	c (25,0) x[22][25] = 20
217.41/37.17	c (25,0) x[22][26] = 6
217.41/37.17	c (25,0) x[22][27] = 9
217.41/37.17	c (25,0) x[22][28] = 22
217.41/37.17	c (25,0) x[22][29] = 25
217.41/37.17	c (25,0) x[23][0] = 0
217.41/37.17	c (25,0) x[23][1] = 5
217.41/37.17	c (25,0) x[23][2] = 11
217.41/37.17	c (25,0) x[23][3] = 18
217.41/37.17	c (25,0) x[23][4] = 23
217.41/37.17	c (25,0) x[23][5] = 24
217.41/37.17	c (25,0) x[23][6] = 4
217.41/37.17	c (25,0) x[23][7] = 26
217.41/37.17	c (25,0) x[23][8] = 1
217.41/37.17	c (25,0) x[23][9] = 17
217.41/37.17	c (25,0) x[23][10] = 7
217.41/37.17	c (25,0) x[23][11] = 14
217.41/37.17	c (25,0) x[23][12] = 9
217.41/37.17	c (25,0) x[23][13] = 6
217.41/37.17	c (25,0) x[23][14] = 25
217.41/37.17	c (25,0) x[23][15] = 19
217.41/37.17	c (25,0) x[23][16] = 13
217.41/37.17	c (25,0) x[23][17] = 12
217.41/37.17	c (25,0) x[23][18] = 8
217.41/37.17	c (25,0) x[23][19] = 15
217.41/37.17	c (25,0) x[23][20] = 16
217.41/37.17	c (25,0) x[23][21] = 10
217.41/37.17	c (25,0) x[23][22] = 29
217.41/37.17	c (25,0) x[23][23] = 2
217.41/37.17	c (25,0) x[23][24] = 3
217.41/37.17	c (25,0) x[23][25] = 22
217.41/37.17	c (25,0) x[23][26] = 21
217.41/37.17	c (25,0) x[23][27] = 27
217.41/37.17	c (25,0) x[23][28] = 28
217.41/37.17	c (25,0) x[23][29] = 20
217.41/37.17	c (25,0) x[24][0] = 17
217.41/37.17	c (25,0) x[24][1] = 28
217.41/37.17	c (25,0) x[24][2] = 8
217.41/37.17	c (25,0) x[24][3] = 6
217.41/37.17	c (25,0) x[24][4] = 9
217.41/37.17	c (25,0) x[24][5] = 1
217.41/37.17	c (25,0) x[24][6] = 22
217.41/37.17	c (25,0) x[24][7] = 25
217.41/37.17	c (25,0) x[24][8] = 15
217.41/37.17	c (25,0) x[24][9] = 14
217.41/37.17	c (25,0) x[24][10] = 3
217.41/37.17	c (25,0) x[24][11] = 13
217.41/37.17	c (25,0) x[24][12] = 5
217.41/37.17	c (25,0) x[24][13] = 29
217.41/37.17	c (25,0) x[24][14] = 2
217.41/37.17	c (25,0) x[24][15] = 20
217.41/37.17	c (25,0) x[24][16] = 4
217.41/37.17	c (25,0) x[24][17] = 18
217.41/37.17	c (25,0) x[24][18] = 0
217.41/37.17	c (25,0) x[24][19] = 21
217.41/37.17	c (25,0) x[24][20] = 7
217.41/37.17	c (25,0) x[24][21] = 11
217.41/37.17	c (25,0) x[24][22] = 16
217.41/37.17	c (25,0) x[24][23] = 12
217.41/37.17	c (25,0) x[24][24] = 26
217.41/37.17	c (25,0) x[24][25] = 27
217.41/37.17	c (25,0) x[24][26] = 24
217.41/37.17	c (25,0) x[24][27] = 19
217.41/37.17	c (25,0) x[24][28] = 10
217.41/37.17	c (25,0) x[24][29] = 23
217.41/37.17	c (25,0) x[25][0] = 26
217.41/37.17	c (25,0) x[25][1] = 20
217.41/37.17	c (25,0) x[25][2] = 21
217.41/37.17	c (25,0) x[25][3] = 19
217.41/37.17	c (25,0) x[25][4] = 24
217.41/37.17	c (25,0) x[25][5] = 17
217.41/37.17	c (25,0) x[25][6] = 28
217.41/37.17	c (25,0) x[25][7] = 7
217.41/37.17	c (25,0) x[25][8] = 3
217.41/37.17	c (25,0) x[25][9] = 10
217.41/37.17	c (25,0) x[25][10] = 18
217.41/37.17	c (25,0) x[25][11] = 12
217.41/37.17	c (25,0) x[25][12] = 1
217.41/37.17	c (25,0) x[25][13] = 13
217.41/37.17	c (25,0) x[25][14] = 5
217.41/37.17	c (25,0) x[25][15] = 22
217.41/37.17	c (25,0) x[25][16] = 0
217.41/37.17	c (25,0) x[25][17] = 11
217.41/37.17	c (25,0) x[25][18] = 29
217.41/37.17	c (25,0) x[25][19] = 6
217.41/37.17	c (25,0) x[25][20] = 27
217.41/37.17	c (25,0) x[25][21] = 9
217.41/37.17	c (25,0) x[25][22] = 15
217.41/37.17	c (25,0) x[25][23] = 4
217.41/37.17	c (25,0) x[25][24] = 23
217.41/37.17	c (25,0) x[25][25] = 2
217.41/37.17	c (25,0) x[25][26] = 25
217.41/37.17	c (25,0) x[25][27] = 8
217.41/37.17	c (25,0) x[25][28] = 16
217.41/37.17	c (25,0) x[25][29] = 14
217.41/37.17	c (25,0) x[26][0] = 3
217.41/37.17	c (25,0) x[26][1] = 9
217.41/37.17	c (25,0) x[26][2] = 5
217.41/37.17	c (25,0) x[26][3] = 28
217.41/37.17	c (25,0) x[26][4] = 1
217.41/37.17	c (25,0) x[26][5] = 12
217.41/37.17	c (25,0) x[26][6] = 16
217.41/37.17	c (25,0) x[26][7] = 27
217.41/37.17	c (25,0) x[26][8] = 10
217.41/37.17	c (25,0) x[26][9] = 26
217.41/37.17	c (25,0) x[26][10] = 2
217.41/37.17	c (25,0) x[26][11] = 4
217.41/37.17	c (25,0) x[26][12] = 7
217.41/37.17	c (25,0) x[26][13] = 14
217.41/37.17	c (25,0) x[26][14] = 11
217.41/37.17	c (25,0) x[26][15] = 18
217.41/37.17	c (25,0) x[26][16] = 24
217.41/37.17	c (25,0) x[26][17] = 19
217.41/37.17	c (25,0) x[26][18] = 21
217.41/37.17	c (25,0) x[26][19] = 8
217.41/37.17	c (25,0) x[26][20] = 23
217.41/37.17	c (25,0) x[26][21] = 0
217.41/37.17	c (25,0) x[26][22] = 22
217.41/37.17	c (25,0) x[26][23] = 25
217.41/37.17	c (25,0) x[26][24] = 15
217.41/37.17	c (25,0) x[26][25] = 17
217.41/37.17	c (25,0) x[26][26] = 20
217.41/37.17	c (25,0) x[26][27] = 13
217.41/37.17	c (25,0) x[26][28] = 6
217.41/37.17	c (25,0) x[26][29] = 29
217.41/37.17	c (25,0) x[27][0] = 22
217.41/37.17	c (25,0) x[27][1] = 23
217.41/37.17	c (25,0) x[27][2] = 3
217.41/37.17	c (25,0) x[27][3] = 25
217.41/37.17	c (25,0) x[27][4] = 17
217.41/37.17	c (25,0) x[27][5] = 14
217.41/37.17	c (25,0) x[27][6] = 2
217.41/37.17	c (25,0) x[27][7] = 4
217.41/37.17	c (25,0) x[27][8] = 11
217.41/37.17	c (25,0) x[27][9] = 24
217.41/37.17	c (25,0) x[27][10] = 9
217.41/37.17	c (25,0) x[27][11] = 19
217.41/37.17	c (25,0) x[27][12] = 28
217.41/37.17	c (25,0) x[27][13] = 18
217.41/37.17	c (25,0) x[27][14] = 10
217.41/37.17	c (25,0) x[27][15] = 8
217.41/37.17	c (25,0) x[27][16] = 5
217.41/37.17	c (25,0) x[27][17] = 6
217.41/37.17	c (25,0) x[27][18] = 26
217.41/37.17	c (25,0) x[27][19] = 0
217.41/37.17	c (25,0) x[27][20] = 15
217.41/37.17	c (25,0) x[27][21] = 16
217.41/37.17	c (25,0) x[27][22] = 27
217.41/37.17	c (25,0) x[27][23] = 1
217.41/37.17	c (25,0) x[27][24] = 20
217.41/37.17	c (25,0) x[27][25] = 29
217.41/37.17	c (25,0) x[27][26] = 13
217.41/37.17	c (25,0) x[27][27] = 12
217.41/37.17	c (25,0) x[27][28] = 7
217.41/37.17	c (25,0) x[27][29] = 21
217.41/37.17	c (25,0) x[28][0] = 5
217.41/37.17	c (25,0) x[28][1] = 27
217.41/37.17	c (25,0) x[28][2] = 22
217.41/37.17	c (25,0) x[28][3] = 4
217.41/37.17	c (25,0) x[28][4] = 15
217.41/37.17	c (25,0) x[28][5] = 19
217.41/37.17	c (25,0) x[28][6] = 20
217.41/37.17	c (25,0) x[28][7] = 14
217.41/37.17	c (25,0) x[28][8] = 7
217.41/37.17	c (25,0) x[28][9] = 25
217.41/37.17	c (25,0) x[28][10] = 24
217.41/37.17	c (25,0) x[28][11] = 0
217.41/37.17	c (25,0) x[28][12] = 21
217.41/37.17	c (25,0) x[28][13] = 3
217.41/37.17	c (25,0) x[28][14] = 12
217.41/37.17	c (25,0) x[28][15] = 13
217.41/37.17	c (25,0) x[28][16] = 9
217.41/37.17	c (25,0) x[28][17] = 1
217.41/37.17	c (25,0) x[28][18] = 17
217.41/37.17	c (25,0) x[28][19] = 10
217.41/37.17	c (25,0) x[28][20] = 29
217.41/37.17	c (25,0) x[28][21] = 18
217.41/37.17	c (25,0) x[28][22] = 26
217.41/37.17	c (25,0) x[28][23] = 16
217.41/37.17	c (25,0) x[28][24] = 8
217.41/37.17	c (25,0) x[28][25] = 11
217.41/37.17	c (25,0) x[28][26] = 2
217.41/37.17	c (25,0) x[28][27] = 28
217.41/37.17	c (25,0) x[28][28] = 23
217.41/37.17	c (25,0) x[28][29] = 6
217.41/37.17	c (25,0) x[29][0] = 16
217.41/37.17	c (25,0) x[29][1] = 12
217.41/37.17	c (25,0) x[29][2] = 19
217.41/37.17	c (25,0) x[29][3] = 21
217.41/37.17	c (25,0) x[29][4] = 28
217.41/37.17	c (25,0) x[29][5] = 7
217.41/37.17	c (25,0) x[29][6] = 0
217.41/37.17	c (25,0) x[29][7] = 11
217.41/37.17	c (25,0) x[29][8] = 20
217.41/37.17	c (25,0) x[29][9] = 4
217.41/37.17	c (25,0) x[29][10] = 23
217.41/37.17	c (25,0) x[29][11] = 3
217.41/37.17	c (25,0) x[29][12] = 24
217.41/37.17	c (25,0) x[29][13] = 1
217.41/37.17	c (25,0) x[29][14] = 15
217.41/37.17	c (25,0) x[29][15] = 25
217.41/37.17	c (25,0) x[29][16] = 8
217.41/37.17	c (25,0) x[29][17] = 10
217.41/37.17	c (25,0) x[29][18] = 9
217.41/37.17	c (25,0) x[29][19] = 14
217.41/37.17	c (25,0) x[29][20] = 18
217.41/37.17	c (25,0) x[29][21] = 17
217.41/37.17	c (25,0) x[29][22] = 2
217.41/37.17	c (25,0) x[29][23] = 6
217.41/37.17	c (25,0) x[29][24] = 22
217.41/37.17	c (25,0) x[29][25] = 5
217.41/37.17	c (25,0) x[29][26] = 27
217.41/37.17	c (25,0) x[29][27] = 26
217.41/37.17	c (25,0) x[29][28] = 29
217.41/37.17	c (25,0) x[29][29] = 13
217.41/37.17	s SATISFIABLE
217.41/37.18	v <instantiation>
217.41/37.18	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>
217.41/37.18	v     <values>24 17 9 1 25 21 8 10 6 5 11 15 29 2 23 4 20 7 3 22 19 28 13 0 27 18 12 14 26 16 23 11 27 13 6 2 18 12 21 16 5 24 26 28 0 14 22 29 15 17 9 25 7 19 4 3 10 20 1 8 6 1 25 24 16 27 5 13 19 12 0 17 23 8 22 10 15 26 20 9 28 4 3 7 2 21 29 11 14 18 1 16 24 26 29 3 25 2 12 11 22 27 6 0 9 28 23 5 14 13 4 7 10 21 18 8 15 17 20 19 29 18 15 10 22 6 19 28 8 2 13 7 25 23 4 11 3 20 1 24 26 21 12 17 14 9 5 16 27 0 8 19 1 15 13 20 10 17 22 21 16 18 0 4 29 9 12 3 25 2 24 27 28 14 7 23 26 6 11 5 28 29 16 0 19 26 14 23 9 3 12 25 15 20 21 7 27 17 2 18 8 6 1 22 13 24 11 10 5 4 20 4 6 17 26 9 24 0 29 19 14 2 8 7 27 16 18 15 22 5 21 13 11 28 25 10 3 23 12 1 7 2 14 20 18 29 15 5 0 9 8 23 22 25 6 17 28 13 16 26 10 3 21 11 12 4 1 24 19 27 19 26 23 9 2 25 11 3 14 18 29 6 10 21 13 15 1 27 28 12 17 22 4 20 24 16 8 5 0 7 21 0 2 11 27 4 6 8 13 23 25 20 14 22 7 5 17 24 19 3 12 1 9 26 16 28 18 29 15 10 2 21 13 14 7 5 26 20 25 15 10 9 12 24 16 6 11 28 23 27 22 29 18 8 17 1 19 0 4 3 18 14 0 22 21 8 29 24 23 1 6 16 3 10 20 12 25 2 27 4 5 26 19 15 28 13 17 7 9 11 14 13 28 3 8 16 1 9 2 6 19 22 4 27 18 0 29 23 24 11 25 20 5 10 21 26 7 15 17 12 10 15 12 27 3 0 23 18 17 22 1 21 11 5 28 24 6 16 7 25 14 8 20 13 29 19 9 4 2 26 15 8 10 29 4 11 27 19 26 7 28 1 13 16 14 3 21 22 6 23 20 24 25 5 9 12 0 2 18 17 12 25 18 23 14 10 9 6 5 29 20 28 17 11 19 21 26 8 4 7 13 2 0 27 1 15 16 3 24 22 13 24 7 5 0 22 12 15 16 28 17 29 27 9 1 26 14 25 18 20 11 19 8 23 10 6 4 21 3 2 27 7 26 8 20 28 21 22 18 0 15 10 16 17 3 1 2 4 12 19 6 5 24 29 11 14 23 25 13 9 9 6 4 16 11 15 7 21 28 8 27 5 20 26 17 2 10 14 13 29 3 12 23 18 19 0 22 1 25 24 11 22 17 12 10 13 3 29 27 20 4 26 2 19 24 23 7 21 5 16 1 14 6 9 0 25 28 18 8 15 25 3 20 2 5 23 13 16 4 27 26 11 18 12 8 29 19 9 10 1 0 15 17 24 6 7 14 22 21 28 4 10 29 7 12 18 17 1 24 13 21 8 19 15 26 27 16 0 11 28 2 23 14 3 5 20 6 9 22 25 0 5 11 18 23 24 4 26 1 17 7 14 9 6 25 19 13 12 8 15 16 10 29 2 3 22 21 27 28 20 17 28 8 6 9 1 22 25 15 14 3 13 5 29 2 20 4 18 0 21 7 11 16 12 26 27 24 19 10 23 26 20 21 19 24 17 28 7 3 10 18 12 1 13 5 22 0 11 29 6 27 9 15 4 23 2 25 8 16 14 3 9 5 28 1 12 16 27 10 26 2 4 7 14 11 18 24 19 21 8 23 0 22 25 15 17 20 13 6 29 22 23 3 25 17 14 2 4 11 24 9 19 28 18 10 8 5 6 26 0 15 16 27 1 20 29 13 12 7 21 5 27 22 4 15 19 20 14 7 25 24 0 21 3 12 13 9 1 17 10 29 18 26 16 8 11 2 28 23 6 16 12 19 21 28 7 0 11 20 4 23 3 24 1 15 25 8 10 9 14 18 17 2 6 22 5 27 26 29 13</values>
217.41/37.18	v </instantiation>
217.41/37.18	c (25,0) Show results End
217.41/37.18	c (25,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
217.41/37.18	c (25,0) 25,25,STOP-AFTER(ALL)
217.41/37.18	c END-Prog: Sat Sep 14 08:34:47 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 (12444 MiB free)
  memory of node 1: 16384 MiB (11669 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392764-1568442889/watcher-4392764-1568442889 -o /tmp/evaluation-result-4392764-1568442889/solver-4392764-1568442889 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392764-1568442889.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28670, runsolver pid=28667
Current StackSize limit: 8192 KiB


[startup+0.100196 s]*
/proc/loadavg: 7.45 6.38 7.29 2/212 28692
/proc/meminfo: memFree=24598432/32770624 swapFree=66939852/67108860
[pid=28670] ppid=28667 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28670/stat : 28670 (scop.sh) S 28667 28670 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420203802 115843072 348 33554432000 4194304 5098028 140725243788112 140725243785368 140041934623356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22118400 140725243790116 140725243790444 140725243790444 140725243793357 0
/proc/28670/statm: 28282 348 296 221 0 87 0
[pid=28673] ppid=28670 vsize=27314120 memory=107636 CPUtime=0.11 cores=0-7
/proc/28673/stat : 28673 (java) S 28670 28670 28228 0 -1 1077944320 6508 0 0 0 8 3 0 0 20 0 20 0 420203802 27969658880 26909 33554432000 4194304 4196468 140730392295520 140730392278064 140365354745591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
/proc/28673/statm: 6828530 26909 2801 1 0 6790935 0
[pid=28673/tid=28674] ppid=28670 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/28673/task/28674/stat : 28674 (java) R 28670 28670 28228 0 -1 4202560 4598 0 0 0 7 2 0 0 20 0 20 0 420203802 27969658880 26909 33554432000 4194304 4196468 140730392295520 140365326571920 140365340116873 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28675] ppid=28670 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28673/task/28675/stat : 28675 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140365358988304 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28676] ppid=28670 vsize=27314120 memory=139620953888384 CPUtime=0 cores=0-7
/proc/28673/task/28676/stat : 28676 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140365173144720 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28677] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28677/stat : 28677 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140365172091664 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28678] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28678/stat : 28678 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140365171039120 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28679] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28679/stat : 28679 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140365169986064 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28680] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28680/stat : 28680 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140364772702864 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28681] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28681/stat : 28681 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140364771649808 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28682] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28682/stat : 28682 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 26909 33554432000 4194304 4196468 140730392295520 140364770597264 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28683] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28683/stat : 28683 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420203806 27969658880 26909 33554432000 4194304 4196468 140730392295520 140363808299760 140365354756738 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28684] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28684/stat : 28684 (java) S 28670 28670 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420203807 27969658880 26909 33554432000 4194304 4196468 140730392295520 140363020887712 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28685] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28685/stat : 28685 (java) S 28670 28670 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420203807 27969658880 26909 33554432000 4194304 4196468 140730392295520 140362886665456 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28686] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28686/stat : 28686 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 26909 33554432000 4194304 4196468 140730392295520 140362512161232 140365354764187 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28687] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28687/stat : 28687 (java) S 28670 28670 28228 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 26909 33554432000 4194304 4196468 140730392295520 140363807246576 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28688] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28688/stat : 28688 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 26909 33554432000 4194304 4196468 140730392295520 140363806194032 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28689] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28689/stat : 28689 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 26909 33554432000 4194304 4196468 140730392295520 140363805140976 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28690] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28690/stat : 28690 (java) R 28670 28670 28228 0 -1 4202560 262 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 26909 33554432000 4194304 4196468 140730392295520 140363804086024 140365334988284 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28691] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28691/stat : 28691 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203810 27969658880 26973 33554432000 4194304 4196468 140730392295520 140362014256096 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28692] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28692/stat : 28692 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203810 27969658880 26973 33554432000 4194304 4196468 140730392295520 140363803036848 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109028 KiB

[startup+0.210691 s]*
/proc/loadavg: 7.45 6.38 7.29 2/212 28692
/proc/meminfo: memFree=24580036/32770624 swapFree=66939852/67108860
[pid=28670] ppid=28667 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28670/stat : 28670 (scop.sh) S 28667 28670 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420203802 115843072 348 33554432000 4194304 5098028 140725243788112 140725243785368 140041934623356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22118400 140725243790116 140725243790444 140725243790444 140725243793357 0
/proc/28670/statm: 28282 348 296 221 0 87 0
[pid=28673] ppid=28670 vsize=27314120 memory=122440 CPUtime=0.25 cores=0-7
/proc/28673/stat : 28673 (java) S 28670 28670 28228 0 -1 1077944320 11498 0 0 0 21 4 0 0 20 0 20 0 420203802 27969658880 30610 33554432000 4194304 4196468 140730392295520 140730392278064 140365354745591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
/proc/28673/statm: 6828530 30610 2957 1 0 6790935 0
[pid=28673/tid=28674] ppid=28670 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28673/task/28674/stat : 28674 (java) R 28670 28670 28228 0 -1 4202560 9190 0 0 0 17 3 0 0 20 0 20 0 420203802 27969658880 30610 33554432000 4194304 4196468 140730392295520 140365326564832 140365340439016 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28675] ppid=28670 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28673/task/28675/stat : 28675 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140365358988304 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28676] ppid=28670 vsize=27314120 memory=3977156974270748320 CPUtime=0 cores=0-7
/proc/28673/task/28676/stat : 28676 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140365173144720 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28677] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28677/stat : 28677 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140365172091664 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28678] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28678/stat : 28678 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140365171039120 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28679] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28679/stat : 28679 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140365169986064 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28680] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28680/stat : 28680 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140364772702864 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28681] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28681/stat : 28681 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140364771649808 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28682] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28682/stat : 28682 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 30610 33554432000 4194304 4196468 140730392295520 140364770597264 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28683] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28683/stat : 28683 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420203806 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363808299760 140365354756738 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28684] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28684/stat : 28684 (java) S 28670 28670 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420203807 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363020887712 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28685] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28685/stat : 28685 (java) S 28670 28670 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420203807 27969658880 30610 33554432000 4194304 4196468 140730392295520 140362886665456 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28686] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28686/stat : 28686 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 30610 33554432000 4194304 4196468 140730392295520 140362512161232 140365354764187 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28687] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28687/stat : 28687 (java) S 28670 28670 28228 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363807246576 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28688] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28688/stat : 28688 (java) S 28670 28670 28228 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363806194032 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28689] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28689/stat : 28689 (java) S 28670 28670 28228 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363805140976 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28690] ppid=28670 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28673/task/28690/stat : 28690 (java) S 28670 28670 28228 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 420203809 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363804088432 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28691] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28691/stat : 28691 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203810 27969658880 30610 33554432000 4194304 4196468 140730392295520 140362014256096 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28692] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28692/stat : 28692 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203810 27969658880 30610 33554432000 4194304 4196468 140730392295520 140363803036848 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123832 KiB

[startup+0.3104 s]*
/proc/loadavg: 7.45 6.38 7.29 2/212 28692
/proc/meminfo: memFree=24576996/32770624 swapFree=66939852/67108860
[pid=28670] ppid=28667 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28670/stat : 28670 (scop.sh) S 28667 28670 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420203802 115843072 348 33554432000 4194304 5098028 140725243788112 140725243785368 140041934623356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22118400 140725243790116 140725243790444 140725243790444 140725243793357 0
/proc/28670/statm: 28282 348 296 221 0 87 0
[pid=28673] ppid=28670 vsize=27314120 memory=126116 CPUtime=0.42 cores=0-7
/proc/28673/stat : 28673 (java) S 28670 28670 28228 0 -1 1077944320 12463 0 0 0 38 4 0 0 20 0 20 0 420203802 27969658880 31529 33554432000 4194304 4196468 140730392295520 140730392278064 140365354745591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
/proc/28673/statm: 6828530 31529 3008 1 0 6790935 0
[pid=28673/tid=28674] ppid=28670 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28673/task/28674/stat : 28674 (java) R 28670 28670 28228 0 -1 4202560 9954 0 0 0 26 3 0 0 20 0 20 0 420203802 27969658880 31529 33554432000 4194304 4196468 140730392295520 140365326536240 140365335020786 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28675] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28675/stat : 28675 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140365358988304 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28676] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28676/stat : 28676 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140365173144720 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28677] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28677/stat : 28677 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140365172091664 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28678] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28678/stat : 28678 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140365171039120 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28679] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28679/stat : 28679 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140365169986064 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28680] ppid=28670 vsize=27314120 memory=139620796951215 CPUtime=0 cores=0-7
/proc/28673/task/28680/stat : 28680 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140364772702864 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28681] ppid=28670 vsize=27314120 memory=139620796953520 CPUtime=0 cores=0-7
/proc/28673/task/28681/stat : 28681 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140364771649808 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28682] ppid=28670 vsize=27314120 memory=139620796955824 CPUtime=0 cores=0-7
/proc/28673/task/28682/stat : 28682 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203805 27969658880 31529 33554432000 4194304 4196468 140730392295520 140364770597264 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28683] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28683/stat : 28683 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420203806 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363808299760 140365354756738 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28684] ppid=28670 vsize=27314120 memory=279241593925520 CPUtime=0 cores=0-7
/proc/28673/task/28684/stat : 28684 (java) S 28670 28670 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420203807 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363020887712 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28685] ppid=28670 vsize=27314120 memory=279241593923216 CPUtime=0 cores=0-7
/proc/28673/task/28685/stat : 28685 (java) S 28670 28670 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420203807 27969658880 31529 33554432000 4194304 4196468 140730392295520 140362886665456 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28686] ppid=28670 vsize=27314120 memory=279241593930128 CPUtime=0 cores=0-7
/proc/28673/task/28686/stat : 28686 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203809 27969658880 31529 33554432000 4194304 4196468 140730392295520 140362512161232 140365354764187 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28687] ppid=28670 vsize=27314120 memory=279241593871408 CPUtime=0.01 cores=0-7
/proc/28673/task/28687/stat : 28687 (java) S 28670 28670 28228 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 420203809 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363807246576 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28688] ppid=28670 vsize=27314120 memory=279241593943952 CPUtime=0.01 cores=0-7
/proc/28673/task/28688/stat : 28688 (java) S 28670 28670 28228 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 20 0 420203809 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363806194032 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28689] ppid=28670 vsize=27314120 memory=279241593950864 CPUtime=0.02 cores=0-7
/proc/28673/task/28689/stat : 28689 (java) S 28670 28670 28228 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 420203809 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363805140976 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28690] ppid=28670 vsize=27314120 memory=279241593948560 CPUtime=0.07 cores=0-7
/proc/28673/task/28690/stat : 28690 (java) S 28670 28670 28228 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 420203809 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363804088432 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28691] ppid=28670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28691/stat : 28691 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420203810 27969658880 31529 33554432000 4194304 4196468 140730392295520 140362014256096 140365354755797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28692] ppid=28670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28673/task/28692/stat : 28692 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203810 27969658880 31529 33554432000 4194304 4196468 140730392295520 140363803036848 140365354756738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127508 KiB

[startup+0.700868 s]
/proc/loadavg: 7.45 6.38 7.29 2/212 28692
/proc/meminfo: memFree=24553036/32770624 swapFree=66939852/67108860
[pid=28670] ppid=28667 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28670/stat : 28670 (scop.sh) S 28667 28670 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420203802 115843072 348 33554432000 4194304 5098028 140725243788112 140725243785368 140041934623356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22118400 140725243790116 140725243790444 140725243790444 140725243793357 0
/proc/28670/statm: 28282 348 296 221 0 87 0
[pid=28673] ppid=28670 vsize=27322516 memory=164172 CPUtime=1 cores=0-7
/proc/28673/stat : 28673 (java) S 28670 28670 28228 0 -1 1077944320 20139 0 0 0 93 7 0 0 20 0 20 0 420203802 27978256384 41043 33554432000 4194304 4196468 140730392295520 140730392278064 140365354745591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
/proc/28673/statm: 6830629 41043 3202 1 0 6791959 0
[pid=28673/tid=28674] ppid=28670 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/28673/task/28674/stat : 28674 (java) R 28670 28670 28228 0 -1 4202560 17086 0 0 0 62 6 0 0 20 0 20 0 420203802 27978256384 41043 33554432000 4194304 4196468 140730392295520 140365326580568 140365346996226 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28675] ppid=28670 vsize=27322516 memory=139620797162352 CPUtime=0 cores=0-7
/proc/28673/task/28675/stat : 28675 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27978256384 41043 33554432000 4194304 4196468 140730392295520 140365358988304 140365354755797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28676] ppid=28670 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/28673/task/28676/stat : 28676 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27978256384 41043 33554432000 4194304 4196468 140730392295520 140365173144720 140365354755797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0
[pid=28673/tid=28677] ppid=28670 vsize=27322516 memory=1256 CPUtime=0 cores=0-7
/proc/28673/task/28677/stat : 28677 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420203805 27978256384 41043 33554432000 4194304 4196468 140730392295520 140365172091664 140365354755797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32899072 140730392298218 140730392298646 140730392298646 140730392301519 0

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

[pid=28695/tid=28696] ppid=28670 vsize=8414124 memory=124412 CPUtime=0.79 cores=0-7
/proc/28695/task/28696/stat : 28696 (java) S 28670 28670 28228 0 -1 1077944384 16900 0 0 0 72 7 0 0 20 0 24 0 420204902 8616062976 31103 33554432000 4194304 4196468 140729631978832 140474325245856 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28697] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28697/stat : 28697 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140474357647632 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28698] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28698/stat : 28698 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140474157816208 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28699] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28699/stat : 28699 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140474156763664 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28700] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28700/stat : 28700 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140474155711120 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28701] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28701/stat : 28701 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140474154658576 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28702] ppid=28670 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/28695/task/28702/stat : 28702 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473834400656 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28703] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28703/stat : 28703 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473833348112 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28704] ppid=28670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28695/task/28704/stat : 28704 (java) S 28670 28670 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420204903 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473832295568 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28705] ppid=28670 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/28695/task/28705/stat : 28705 (java) S 28670 28670 28228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420204905 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473581049840 140474353416834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28706] ppid=28670 vsize=8414124 memory=124412 CPUtime=0 cores=0-7
/proc/28695/task/28706/stat : 28706 (java) S 28670 28670 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420204905 8616062976 31103 33554432000 4194304 4196468 140729631978832 140472945206176 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28707] ppid=28670 vsize=8414124 memory=395896 CPUtime=0 cores=0-7
/proc/28695/task/28707/stat : 28707 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420204905 8616062976 31103 33554432000 4194304 4196468 140729631978832 140472676770800 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28708] ppid=28670 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/28695/task/28708/stat : 28708 (java) S 28670 28670 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140472302262480 140474353424283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28709] ppid=28670 vsize=8414124 memory=1548 CPUtime=0.08 cores=0-7
/proc/28695/task/28709/stat : 28709 (java) S 28670 28670 28228 0 -1 1077944384 592 0 0 0 8 0 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473579997680 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28710] ppid=28670 vsize=8414124 memory=7686721470317960091 CPUtime=0.09 cores=0-7
/proc/28695/task/28710/stat : 28710 (java) S 28670 28670 28228 0 -1 1077944384 402 0 0 0 9 0 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473578945136 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28711] ppid=28670 vsize=8414124 memory=7992 CPUtime=0.14 cores=0-7
/proc/28695/task/28711/stat : 28711 (java) S 28670 28670 28228 0 -1 1077944384 675 0 0 0 14 0 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473577892592 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28712] ppid=28670 vsize=8414124 memory=9580 CPUtime=0.21 cores=0-7
/proc/28695/task/28712/stat : 28712 (java) S 28670 28670 28228 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473576840048 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28713] ppid=28670 vsize=8414124 memory=124412 CPUtime=0 cores=0-7
/proc/28695/task/28713/stat : 28713 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140471804356832 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28714] ppid=28670 vsize=8414124 memory=390760 CPUtime=0.01 cores=0-7
/proc/28695/task/28714/stat : 28714 (java) S 28670 28670 28228 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 420204908 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473575786928 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28716] ppid=28670 vsize=8414124 memory=15825490741037707 CPUtime=0 cores=0-7
/proc/28695/task/28716/stat : 28716 (java) S 28670 28670 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420204979 8616062976 31103 33554432000 4194304 4196468 140729631978832 140473567753408 140474353430297 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28718] ppid=28670 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/28695/task/28718/stat : 28718 (java) S 28670 28670 28228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420204979 8616062976 31103 33554432000 4194304 4196468 140729631978832 140471133257488 140474353427613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28719] ppid=28670 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/28695/task/28719/stat : 28719 (java) S 28670 28670 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420204979 8616062976 31103 33554432000 4194304 4196468 140729631978832 140471401693072 140474353427613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28720] ppid=28670 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/28695/task/28720/stat : 28720 (java) S 28670 28670 28228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420204981 8616062976 31103 33554432000 4194304 4196468 140729631978832 140470864830128 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
Current children cumulated CPU time: 216.79 s
Current children cumulated vsize: 9325932 KiB
Current children cumulated memory: 522156 KiB

[startup+37.0101 s]*
/proc/loadavg: 7.31 6.42 7.27 3/214 28728
/proc/meminfo: memFree=24559300/32770624 swapFree=66939852/67108860
[pid=28670] ppid=28667 vsize=113128 memory=1472 CPUtime=20.79 cores=0-7
/proc/28670/stat : 28670 (scop.sh) S 28667 28670 28228 0 -1 4202496 582 36991 0 0 0 0 1995 84 20 0 1 0 420203802 115843072 368 33554432000 4194304 5098028 140725243788112 140725243784856 140041934623356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22118400 140725243790116 140725243790444 140725243790444 140725243793357 0
/proc/28670/statm: 28282 368 311 221 0 87 0
[pid=28695] ppid=28670 vsize=8283048 memory=140716 CPUtime=196.44 cores=0-7
/proc/28695/stat : 28695 (java) S 28670 28670 28228 0 -1 1077944320 21669 214695 0 0 161 10 19418 55 20 0 22 0 420204902 8481841152 35179 33554432000 4194304 4196468 140729631978832 140729631961376 140474353405687 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
/proc/28695/statm: 2070762 35179 3229 1 0 2032106 0
[pid=28695/tid=28696] ppid=28670 vsize=8283048 memory=8317482817917895235 CPUtime=195.58 cores=0-7
/proc/28695/task/28696/stat : 28696 (java) R 28670 28670 28228 0 -1 4202560 17061 214695 0 0 78 7 19418 55 20 0 22 0 420204902 8481841152 35179 33554432000 4194304 4196468 140729631978832 140474325241840 140474353417622 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28697] ppid=28670 vsize=8283048 memory=4872558044660077418 CPUtime=194.73 cores=0-7
/proc/28695/task/28697/stat : 28697 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140474357647632 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28698] ppid=28670 vsize=8283048 memory=139620953906048 CPUtime=194.73 cores=0-7
/proc/28695/task/28698/stat : 28698 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140474157816208 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28699] ppid=28670 vsize=8283048 memory=664971934029340515 CPUtime=194.73 cores=0-7
/proc/28695/task/28699/stat : 28699 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140474156763664 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28700] ppid=28670 vsize=8283048 memory=6944656575208382560 CPUtime=194.73 cores=0-7
/proc/28695/task/28700/stat : 28700 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140474155711120 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28701] ppid=28670 vsize=8283048 memory=0 CPUtime=194.73 cores=0-7
/proc/28695/task/28701/stat : 28701 (java) S 28670 28670 28228 0 -1 1077944384 3 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140474154658576 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28702] ppid=28670 vsize=8283048 memory=4304 CPUtime=194.73 cores=0-7
/proc/28695/task/28702/stat : 28702 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473834400656 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28703] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.73 cores=0-7
/proc/28695/task/28703/stat : 28703 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473833348112 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28704] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.73 cores=0-7
/proc/28695/task/28704/stat : 28704 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473832295568 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28705] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.73 cores=0-7
/proc/28695/task/28705/stat : 28705 (java) S 28670 28670 28228 0 -1 1077944384 8 214695 0 0 0 0 19418 55 20 0 22 0 420204905 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473581049840 140474353416834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28706] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.73 cores=0-7
/proc/28695/task/28706/stat : 28706 (java) S 28670 28670 28228 0 -1 1077944384 13 214695 0 0 0 0 19418 55 20 0 22 0 420204905 8481841152 35179 33554432000 4194304 4196468 140729631978832 140472945206176 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28707] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.73 cores=0-7
/proc/28695/task/28707/stat : 28707 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204905 8481841152 35179 33554432000 4194304 4196468 140729631978832 140472676770800 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28708] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.73 cores=0-7
/proc/28695/task/28708/stat : 28708 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140472302262480 140474353424283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28709] ppid=28670 vsize=8283048 memory=7521946415161958487 CPUtime=194.86 cores=0-7
/proc/28695/task/28709/stat : 28709 (java) S 28670 28670 28228 0 -1 1077944384 796 214695 0 0 13 0 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473579997680 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28710] ppid=28670 vsize=8283048 memory=0 CPUtime=194.85 cores=0-7
/proc/28695/task/28710/stat : 28710 (java) S 28670 28670 28228 0 -1 1077944384 425 214695 0 0 12 0 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473578945136 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28711] ppid=28670 vsize=8283048 memory=0 CPUtime=194.91 cores=0-7
/proc/28695/task/28711/stat : 28711 (java) S 28670 28670 28228 0 -1 1077944384 701 214695 0 0 18 0 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473577892592 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28712] ppid=28670 vsize=8283048 memory=0 CPUtime=195.01 cores=0-7
/proc/28695/task/28712/stat : 28712 (java) S 28670 28670 28228 0 -1 1077944384 1103 214695 0 0 28 0 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473576840048 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28713] ppid=28670 vsize=8283048 memory=0 CPUtime=194.73 cores=0-7
/proc/28695/task/28713/stat : 28713 (java) S 28670 28670 28228 0 -1 1077944384 3 214695 0 0 0 0 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140471804356832 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28714] ppid=28670 vsize=8283048 memory=-1 CPUtime=194.74 cores=0-7
/proc/28695/task/28714/stat : 28714 (java) S 28670 28670 28228 0 -1 1077944384 3 214695 0 0 0 1 19418 55 20 0 22 0 420204908 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473575786928 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28716] ppid=28670 vsize=8283048 memory=-1 CPUtime=194.73 cores=0-7
/proc/28695/task/28716/stat : 28716 (java) S 28670 28670 28228 0 -1 1077944384 24 214695 0 0 0 0 19418 55 20 0 22 0 420204979 8481841152 35179 33554432000 4194304 4196468 140729631978832 140473567752592 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28720] ppid=28670 vsize=8283048 memory=0 CPUtime=194.73 cores=0-7
/proc/28695/task/28720/stat : 28720 (java) S 28670 28670 28228 0 -1 1077944384 10 214695 0 0 0 0 19418 55 20 0 22 0 420204981 8481841152 35179 33554432000 4194304 4196468 140729631978832 140470864831920 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
Current children cumulated CPU time: 217.23 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142188 KiB

[startup+37.1104 s]
/proc/loadavg: 7.31 6.42 7.27 3/214 28728
/proc/meminfo: memFree=24559300/32770624 swapFree=66939852/67108860
[pid=28670] ppid=28667 vsize=113128 memory=1472 CPUtime=20.79 cores=0-7
/proc/28670/stat : 28670 (scop.sh) S 28667 28670 28228 0 -1 4202496 582 36991 0 0 0 0 1995 84 20 0 1 0 420203802 115843072 368 33554432000 4194304 5098028 140725243788112 140725243784856 140041934623356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22118400 140725243790116 140725243790444 140725243790444 140725243793357 0
/proc/28670/statm: 28282 368 311 221 0 87 0
[pid=28695] ppid=28670 vsize=8283048 memory=144008 CPUtime=196.62 cores=0-7
/proc/28695/stat : 28695 (java) S 28670 28670 28228 0 -1 1077944320 21983 214695 0 0 179 10 19418 55 20 0 22 0 420204902 8481841152 36002 33554432000 4194304 4196468 140729631978832 140729631961376 140474353405687 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
/proc/28695/statm: 2070762 36002 3233 1 0 2032106 0
[pid=28695/tid=28696] ppid=28670 vsize=8283048 memory=1472 CPUtime=195.67 cores=0-7
/proc/28695/task/28696/stat : 28696 (java) R 28670 28670 28228 0 -1 4202560 17194 214695 0 0 87 7 19418 55 20 0 22 0 420204902 8481841152 36002 33554432000 4194304 4196468 140729631978832 140474325244640 140474353417622 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28697] ppid=28670 vsize=8283048 memory=380832 CPUtime=194.73 cores=0-7
/proc/28695/task/28697/stat : 28697 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140474357647632 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28698] ppid=28670 vsize=8283048 memory=395852 CPUtime=194.73 cores=0-7
/proc/28695/task/28698/stat : 28698 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140474157816208 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28699] ppid=28670 vsize=8283048 memory=210628 CPUtime=194.73 cores=0-7
/proc/28695/task/28699/stat : 28699 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140474156763664 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28700] ppid=28670 vsize=8283048 memory=507 CPUtime=194.73 cores=0-7
/proc/28695/task/28700/stat : 28700 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140474155711120 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28701] ppid=28670 vsize=8283048 memory=210584 CPUtime=194.73 cores=0-7
/proc/28695/task/28701/stat : 28701 (java) S 28670 28670 28228 0 -1 1077944384 3 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140474154658576 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28702] ppid=28670 vsize=8283048 memory=209256 CPUtime=194.73 cores=0-7
/proc/28695/task/28702/stat : 28702 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473834400656 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28703] ppid=28670 vsize=8283048 memory=1472 CPUtime=194.73 cores=0-7
/proc/28695/task/28703/stat : 28703 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473833348112 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28704] ppid=28670 vsize=8283048 memory=124412 CPUtime=194.73 cores=0-7
/proc/28695/task/28704/stat : 28704 (java) S 28670 28670 28228 0 -1 1077944384 2 214695 0 0 0 0 19418 55 20 0 22 0 420204903 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473832295568 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28705] ppid=28670 vsize=8283048 memory=328560 CPUtime=194.73 cores=0-7
/proc/28695/task/28705/stat : 28705 (java) S 28670 28670 28228 0 -1 1077944384 8 214695 0 0 0 0 19418 55 20 0 22 0 420204905 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473581049840 140474353416834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28706] ppid=28670 vsize=8283048 memory=0 CPUtime=194.73 cores=0-7
/proc/28695/task/28706/stat : 28706 (java) S 28670 28670 28228 0 -1 1077944384 13 214695 0 0 0 0 19418 55 20 0 22 0 420204905 8481841152 36002 33554432000 4194304 4196468 140729631978832 140472945206176 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28707] ppid=28670 vsize=8283048 memory=92 CPUtime=194.73 cores=0-7
/proc/28695/task/28707/stat : 28707 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204905 8481841152 36002 33554432000 4194304 4196468 140729631978832 140472676770800 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28708] ppid=28670 vsize=8283048 memory=558 CPUtime=194.73 cores=0-7
/proc/28695/task/28708/stat : 28708 (java) S 28670 28670 28228 0 -1 1077944384 1 214695 0 0 0 0 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140472302262480 140474353424283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28709] ppid=28670 vsize=8283048 memory=41316 CPUtime=194.87 cores=0-7
/proc/28695/task/28709/stat : 28709 (java) S 28670 28670 28228 0 -1 1077944384 810 214695 0 0 14 0 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473579997680 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28710] ppid=28670 vsize=8283048 memory=988 CPUtime=194.87 cores=0-7
/proc/28695/task/28710/stat : 28710 (java) S 28670 28670 28228 0 -1 1077944384 432 214695 0 0 14 0 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473578945136 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28711] ppid=28670 vsize=8283048 memory=139620797339873 CPUtime=194.92 cores=0-7
/proc/28695/task/28711/stat : 28711 (java) R 28670 28670 28228 0 -1 4202560 713 214695 0 0 19 0 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473577876432 140474332624344 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28712] ppid=28670 vsize=8283048 memory=7686721470317960091 CPUtime=195.08 cores=0-7
/proc/28695/task/28712/stat : 28712 (java) R 28670 28670 28228 0 -1 4202560 1251 214695 0 0 34 1 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473576840048 140474332208992 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28713] ppid=28670 vsize=8283048 memory=1472 CPUtime=194.73 cores=0-7
/proc/28695/task/28713/stat : 28713 (java) S 28670 28670 28228 0 -1 1077944384 3 214695 0 0 0 0 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140471804356832 140474353415893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28714] ppid=28670 vsize=8283048 memory=124412 CPUtime=194.74 cores=0-7
/proc/28695/task/28714/stat : 28714 (java) S 28670 28670 28228 0 -1 1077944384 3 214695 0 0 0 1 19418 55 20 0 22 0 420204908 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473575786928 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28716] ppid=28670 vsize=8283048 memory=380108 CPUtime=194.73 cores=0-7
/proc/28695/task/28716/stat : 28716 (java) S 28670 28670 28228 0 -1 1077944384 24 214695 0 0 0 0 19418 55 20 0 22 0 420204979 8481841152 36002 33554432000 4194304 4196468 140729631978832 140473567752592 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
[pid=28695/tid=28720] ppid=28670 vsize=8283048 memory=1472 CPUtime=194.73 cores=0-7
/proc/28695/task/28720/stat : 28720 (java) S 28670 28670 28228 0 -1 1077944384 10 214695 0 0 0 0 19418 55 20 0 22 0 420204981 8481841152 36002 33554432000 4194304 4196468 140729631978832 140470864831920 140474353416834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34160640 140729631986679 140729631986838 140729631986838 140729631989711 0
Current children cumulated CPU time: 217.41 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 145480 KiB

Child status: 0
Real time (s): 37.1997
CPU time (s): 217.651
CPU user time (s): 216.128
CPU system time (s): 1.52213
CPU usage (%): 585.087
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4470028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.128
system time used= 1.52213
maximum resident set size= 4473308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12204
involuntary context switches= 2159


# summary of solver processes directly reported to runsolver:
#   pid: 28670
#   total CPU time (s): 217.651
#   total CPU user time (s): 216.128
#   total CPU system time (s): 1.52213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.294054 second user time and 0.581501 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 08:34:09
IDJOB=4392764
IDBENCH=138957
IDSOLVER=2839
FILE ID=node119/4392764-1568442889
RUNJOBID= node119-1568442536-28255
PBS_JOBID= 21702345
Free space on /tmp= 61504 MiB

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

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

MD5SUM BENCH= 3875648f967e99deb98809a056dae84c
RANDOM SEED=537877899

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        24693480 kB
MemAvailable:   31824864 kB
Buffers:          191868 kB
Cached:          7207828 kB
SwapCached:        61128 kB
Active:          2829216 kB
Inactive:        4635376 kB
Active(anon):       3456 kB
Inactive(anon):   102744 kB
Active(file):    2825760 kB
Inactive(file):  4532632 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:             20768 kB
Writeback:             0 kB
AnonPages:        112648 kB
Mapped:            44940 kB
Shmem:             32816 kB
Slab:             207580 kB
SReclaimable:     177652 kB
SUnreclaim:        29928 kB
KernelStack:        3424 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497948 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61484 MiB
End job on node119 at 2019-09-14 08:34:47