Trace number 4392457

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28917-serial-file.bin HOME/instance-4392457-1568442955.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:35:16 CEST 2019
0.66/0.57	c PID: 28920
0.66/0.57	c IP: 172.20.3.119
0.66/0.57	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.68/1.06	c (0,0) Parsing End
1.68/1.07	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.68/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.07	c (0,0) Constraint Name Generate Begin
1.68/1.07	c (0,0) Ctr:HOME/instance-4392457-1568442955.xml,AllDifferentMatrix:Instantiation:Var
1.68/1.07	c (0,0) Constraint Name Generate End
1.68/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.07	c (0,0) CSP to CSPinCNF Begin
1.92/1.11	c (0,0) translated 1 (10%) constraints
5.66/2.84	c (2,2) translated 2 (20%) constraints
5.66/2.86	c (2,2) ===========================================
6.83/3.14	c (2,2) Order
6.83/3.14	c (2,2) ===========================================
8.00/3.44	c (2,2) translated 2855 (10%) constraints
8.88/3.77	c (3,3) translated 5710 (20%) constraints
9.23/4.10	c (3,3) translated 8564 (30%) constraints
9.62/4.41	c (3,3) translated 11419 (40%) constraints
9.94/4.74	c (4,4) translated 14273 (50%) constraints
10.42/5.03	c (4,4) translated 17128 (60%) constraints
10.74/5.30	c (4,4) translated 19983 (70%) constraints
10.94/5.57	c (5,5) translated 22837 (80%) constraints
11.27/5.87	c (5,5) translated 25692 (90%) constraints
11.60/6.11	c (5,5) translated 28546 (100%) constraints
11.60/6.11	c (5,5) CSP to CSPinCNF End
11.60/6.12	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137072 ctr, max domain size 30
11.60/6.12	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.60/6.12	c (5,5) CSPinCNF Propagation Begin
14.84/8.22	c (7,7) 20984 values, 89563 unsatisfiable literals, and 93156 valid clauses are removed
14.84/8.22	c (7,7) CSPinCNF Propagation End
14.84/8.22	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 43916 ctr, max domain size 30
14.84/8.22	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.84/8.23	c (7,7) Simplify CSPinCNF Begin
15.88/8.74	c (8,8) Simplify CSPinCNF End
15.88/8.75	c (8,8) CSP: 866 int (0 aux), 52164 bool (52130 aux), 69046 ctr, max domain size 30
15.88/8.75	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.88/8.75	c (8,8) Calculate Precise Domain Begin
15.88/8.75	c (8,8) 0 values are removed by re-calculation
15.88/8.75	c (8,8) Calculate Precise Domain End
15.88/8.77	c (8,8) CSP: 866 int (0 aux), 52164 bool (52130 aux), 69046 ctr, max domain size 30
15.88/8.77	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.88/8.77	c (8,8) CSPinCNF to SatSolver Begin
17.97/9.30	c (8,8) 6905 (10 %) CSP clauses are encoded (0 SAT variables, 28946 SAT clauses)
18.18/9.46	c (8,8) 13810 (20 %) CSP clauses are encoded (0 SAT variables, 50277 SAT clauses)
18.46/9.61	c (9,9) 20714 (30 %) CSP clauses are encoded (0 SAT variables, 70315 SAT clauses)
18.57/9.74	c (9,9) 27619 (40 %) CSP clauses are encoded (0 SAT variables, 89726 SAT clauses)
18.67/9.88	c (9,9) 34523 (50 %) CSP clauses are encoded (0 SAT variables, 110514 SAT clauses)
18.89/10.02	c (9,9) 41428 (60 %) CSP clauses are encoded (0 SAT variables, 131411 SAT clauses)
19.08/10.15	c (9,9) 48333 (70 %) CSP clauses are encoded (0 SAT variables, 152238 SAT clauses)
19.17/10.29	c (9,9) 55237 (80 %) CSP clauses are encoded (0 SAT variables, 173248 SAT clauses)
19.37/10.43	c (9,9) 62142 (90 %) CSP clauses are encoded (0 SAT variables, 194265 SAT clauses)
19.48/10.56	c (10,9) 69046 (100 %) CSP clauses are encoded (0 SAT variables, 214615 SAT clauses)
19.48/10.56	c (10,9) CSPinCNF to SatSolver End
19.48/10.56	c (10,9) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.48/10.56	c (10,9) 40772 bool, 214616 clause
19.48/10.56	c (10,9) Export Begin
19.62/10.69	c (10,10) Export to HOME/scop-28917-serial-file.bin
19.62/10.69	c (10,10) Export End
19.62/10.69	c (10,10) Export File Size: 0.15 MB
19.62/10.69	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
19.62/10.69	c END-Prog: Sat Sep 14 08:35:26 CEST 2019
19.90/10.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28917-serial-file.bin
20.42/11.19	c (0,0) Read Serial File Begin
20.42/11.19	c (0,0) HOME/scop-28917-serial-file.bin
20.87/11.45	c (0,0) Read Serial File End
20.87/11.46	
20.87/11.46	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.87/11.46	(Solving Process)
20.87/11.46	
20.87/11.48	c BEGIN-Prog: Sat Sep 14 08:35:27 CEST 2019
20.87/11.48	c PID: 28940
20.87/11.48	c IP: 172.20.3.119
20.87/11.48	c HOST: node119.alineos.net
20.87/11.49	c (0,0) SatSolver.solve Begin
20.87/11.49	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392457-1568442955.xml-scop-28920.cnf
21.17/11.51	c (0,0) c
21.17/11.51	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.17/11.51	c (0,0) c
21.17/11.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.17/11.51	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.17/11.51	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.17/11.51	c (0,0) c |                                                                                                       |
21.17/11.59	c (0,0) c |  Number of variables:         40772                                                                   |
21.17/11.59	c (0,0) c |  Number of clauses:          214616                                                                   |
21.17/11.59	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.17/11.59	c (0,0) c |                                                                                                       |
21.32/11.80	c (0,0) c |  Simplification time:          0.20 s                                                                 |
21.32/11.80	c (0,0) c |                                                                                                       |
21.32/11.80	c (0,0) c |  Generating clones                                                                                    |
21.32/11.92	c (0,0) c |  all clones generated. Memory =   201.55Mb.                                                           |
21.32/11.92	c (0,0) c ========================================================================================================|
21.32/11.92	c (0,0) c
21.32/11.92	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.32/11.92	c (0,0) c
21.32/11.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.32/11.92	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.32/11.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.32/11.92	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.32/11.92	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.32/11.92	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.32/11.92	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.32/11.92	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.32/11.92	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.32/11.92	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.32/11.92	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.32/11.92	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.32/11.92	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.32/11.92	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.32/11.92	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.32/11.92	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.32/11.92	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.32/11.92	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.32/11.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c real time : 13.0796 s
119.16/24.59	c (13,0) c cpu time  : 97.512 s
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c | Conflicts     |          132466 |      16449 |      16383 |      16503 |      16838 |      16584 |      16408 |      16382 |      16919 |
119.16/24.59	c (13,0) c | Decisions     |         1788193 |     221159 |     225418 |     220563 |     223694 |     223295 |     224499 |     226447 |     223118 |
119.16/24.59	c (13,0) c | Propagations  |       173976838 |   21573707 |   21831136 |   21699568 |   21710729 |   21900647 |   21670217 |   21728957 |   21861877 |
119.16/24.59	c (13,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
119.16/24.59	c (13,0) c | SimpDBs       |             301 |         38 |         38 |         37 |         37 |         38 |         37 |         38 |         38 |
119.16/24.59	c (13,0) c | Restarts      |            1749 |        202 |        214 |        219 |        215 |        222 |        233 |        219 |        225 |
119.16/24.59	c (13,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.16/24.59	c (13,0) c | PropBinClauses|       378250838 |   47099386 |   47271665 |   47223511 |   46999138 |   47573764 |   47056898 |   47346231 |   47680245 |
119.16/24.59	c (13,0) c | PropPreBlocker|      1671290960 |  207752714 |  207740082 |  209892151 |  207977431 |  210692370 |  208363199 |  207730800 |  211142213 |
119.16/24.59	c (13,0) c | PropNotBlocker|       438169354 |   54679464 |   54258684 |   55199637 |   54463159 |   55161962 |   54997316 |   54179703 |   55229429 |
119.16/24.59	c (13,0) c | LitFullScans  |      2894427825 |  360083895 |  360070452 |  363072104 |  360161657 |  364575066 |  360732795 |  360059466 |  365672390 |
119.16/24.59	c (13,0) c | LitScanFracts |          756136 |      35256 |      56985 |     258971 |     126015 |     130840 |      74450 |      26405 |      47214 |
119.16/24.59	c (13,0) c | DecisionLevel0|           12560 |       1559 |       1603 |       1550 |       1575 |       1551 |       1574 |       1595 |       1553 |
119.16/24.59	c (13,0) c | Periods       |             480 |         60 |         60 |         60 |         60 |         60 |         60 |         60 |         60 |
119.16/24.59	c (13,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
119.16/24.59	c (13,0) c | Avg_Trail     |                 |       7945 |       7918 |       8031 |       7961 |       8023 |       8003 |       7936 |       7963 |
119.16/24.59	c (13,0) c | Avg_DL        |                 |         91 |         90 |         91 |         92 |         90 |         90 |         90 |         92 |
119.16/24.59	c (13,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.16/24.59	c (13,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c | Exported      |           33059 |       4094 |       4150 |       4159 |       4194 |       4139 |       4174 |       4093 |       4056 |
119.16/24.59	c (13,0) c | Imported      |          171233 |      21258 |      21200 |      21739 |      21127 |      21699 |      21232 |      21250 |      21728 |
119.16/24.59	c (13,0) c | Good          |           42595 |       5300 |       5259 |       5400 |       5271 |       5393 |       5291 |       5299 |       5382 |
119.16/24.59	c (13,0) c | Purge         |          128638 |      15958 |      15941 |      16339 |      15856 |      16306 |      15941 |      15951 |      16346 |
119.16/24.59	c (13,0) c | Promoted      |            5409 |        676 |        634 |        684 |        701 |        687 |        685 |        652 |        690 |
119.16/24.59	c (13,0) c | Remove_Imp    |           37373 |       5016 |       4900 |       4941 |       3439 |       4987 |       4982 |       4933 |       4175 |
119.16/24.59	c (13,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c | Unaries       |                 |       1357 |       1389 |       1331 |       1360 |       1329 |       1341 |       1376 |       1328 |
119.16/24.59	c (13,0) c | Binaries      |                 |        921 |        952 |        924 |        954 |        917 |        936 |        920 |        929 |
119.16/24.59	c (13,0) c | Glues         |                 |       1511 |       1579 |       1494 |       1542 |       1493 |       1528 |       1475 |       1533 |
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c | Orig_Seen     |            29 % |      47899 |      48208 |      48543 |      48565 |      48301 |      48340 |      48305 |      48699 |
119.16/24.59	c (13,0) c | Diff Orig seen|                 | -      441 | -      132 |        203 |        225 | -       39 |      X     | -       35 |        359 |
119.16/24.59	c (13,0) c | Hamming       |            12 % |       4988 |       4853 |       5113 |       5026 |       4364 |      X     |       5267 |       4900 |
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c | RunningTime   |                 |   12.6 100%|   12.5 100%|   12.1 100%|   12.3 100%|   12.1 100%|   12.1 100%|   12.2 100%|   12.1 100%|
119.16/24.59	c (13,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%|
119.16/24.59	c (13,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%|
119.16/24.59	c (13,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%|
119.16/24.59	c (13,0) c | SolvingTime   |                 |   12.7     |   12.5     |   12.1     |   12.3     |   12.1     |   12.1     |   12.3     |   12.1     |
119.16/24.59	c (13,0) c | PropagationTim|                 |   11.2  88%|   10.9  88%|   10.6  87%|   10.8  87%|   10.6  88%|   10.6  88%|   10.7  88%|   10.6  87%|
119.16/24.59	c (13,0) c | AnalysisTime  |                 |    0.6   5%|    0.6   5%|    0.6   5%|    0.7   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.7   5%|
119.16/24.59	c (13,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
119.16/24.59	c (13,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   1%|    0.2   2%|    0.2   2%|
119.16/24.59	c (13,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%|
119.16/24.59	c (13,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%|
119.16/24.59	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c
119.16/24.59	c (13,0) c Threads : 8
119.16/24.59	c (13,0) c Winner : 5
119.16/24.59	c (13,0) c Conflicts_0 : 16449
119.16/24.59	c (13,0) c Conflicts_1 : 16383
119.16/24.59	c (13,0) c Conflicts_2 : 16503
119.16/24.59	c (13,0) c Conflicts_3 : 16838
119.16/24.59	c (13,0) c Conflicts_4 : 16584
119.16/24.59	c (13,0) c Conflicts_5 : 16408
119.16/24.59	c (13,0) c Conflicts_6 : 16382
119.16/24.59	c (13,0) c Conflicts_7 : 16919
119.16/24.59	c (13,0) c Conflicts_total : 132466
119.16/24.59	c (13,0) c Conflicts_winner : 16408
119.16/24.59	c (13,0) c Decisions_0 : 221159
119.16/24.59	c (13,0) c Decisions_1 : 225418
119.16/24.59	c (13,0) c Decisions_2 : 220563
119.16/24.59	c (13,0) c Decisions_3 : 223694
119.16/24.59	c (13,0) c Decisions_4 : 223295
119.16/24.59	c (13,0) c Decisions_5 : 224499
119.16/24.59	c (13,0) c Decisions_6 : 226447
119.16/24.59	c (13,0) c Decisions_7 : 223118
119.16/24.59	c (13,0) c Decisions_total : 1788193
119.16/24.59	c (13,0) c Decisions_winner : 224499
119.16/24.59	c (13,0) c Propagations_0 : 21573707
119.16/24.59	c (13,0) c Propagations_1 : 21831136
119.16/24.59	c (13,0) c Propagations_2 : 21699568
119.16/24.59	c (13,0) c Propagations_3 : 21710729
119.16/24.59	c (13,0) c Propagations_4 : 21900647
119.16/24.59	c (13,0) c Propagations_5 : 21670217
119.16/24.59	c (13,0) c Propagations_6 : 21728957
119.16/24.59	c (13,0) c Propagations_7 : 21861877
119.16/24.59	c (13,0) c Propagations_total : 173976838
119.16/24.59	c (13,0) c Propagations_winner : 21670217
119.16/24.59	c (13,0) c ReduceDBs_0 : 3
119.16/24.59	c (13,0) c ReduceDBs_1 : 3
119.16/24.59	c (13,0) c ReduceDBs_2 : 3
119.16/24.59	c (13,0) c ReduceDBs_3 : 3
119.16/24.59	c (13,0) c ReduceDBs_4 : 3
119.16/24.59	c (13,0) c ReduceDBs_5 : 3
119.16/24.59	c (13,0) c ReduceDBs_6 : 3
119.16/24.59	c (13,0) c ReduceDBs_7 : 3
119.16/24.59	c (13,0) c ReduceDBs_total : 24
119.16/24.59	c (13,0) c ReduceDBs_winner : 3
119.16/24.59	c (13,0) c SimpDBs_0 : 38
119.16/24.59	c (13,0) c SimpDBs_1 : 38
119.16/24.59	c (13,0) c SimpDBs_2 : 37
119.16/24.59	c (13,0) c SimpDBs_3 : 37
119.16/24.59	c (13,0) c SimpDBs_4 : 38
119.16/24.59	c (13,0) c SimpDBs_5 : 37
119.16/24.59	c (13,0) c SimpDBs_6 : 38
119.16/24.59	c (13,0) c SimpDBs_7 : 38
119.16/24.59	c (13,0) c SimpDBs_total : 301
119.16/24.59	c (13,0) c SimpDBs_winner : 37
119.16/24.59	c (13,0) c Restarts_0 : 202
119.16/24.59	c (13,0) c Restarts_1 : 214
119.16/24.59	c (13,0) c Restarts_2 : 219
119.16/24.59	c (13,0) c Restarts_3 : 215
119.16/24.59	c (13,0) c Restarts_4 : 222
119.16/24.59	c (13,0) c Restarts_5 : 233
119.16/24.59	c (13,0) c Restarts_6 : 219
119.16/24.59	c (13,0) c Restarts_7 : 225
119.16/24.59	c (13,0) c Restarts_total : 1749
119.16/24.59	c (13,0) c Restarts_winner : 233
119.16/24.59	c (13,0) c ForcedImports_0 : 0
119.16/24.59	c (13,0) c ForcedImports_1 : 0
119.16/24.59	c (13,0) c ForcedImports_2 : 0
119.16/24.59	c (13,0) c ForcedImports_3 : 0
119.16/24.59	c (13,0) c ForcedImports_4 : 0
119.16/24.59	c (13,0) c ForcedImports_5 : 0
119.16/24.59	c (13,0) c ForcedImports_6 : 0
119.16/24.59	c (13,0) c ForcedImports_7 : 0
119.16/24.59	c (13,0) c ForcedImports_total : 0
119.16/24.59	c (13,0) c ForcedImports_winner : 0
119.16/24.59	c (13,0) c PropsBinClauses_0 : 47099386
119.16/24.59	c (13,0) c PropsBinClauses_1 : 47271665
119.16/24.59	c (13,0) c PropsBinClauses_2 : 47223511
119.16/24.59	c (13,0) c PropsBinClauses_3 : 46999138
119.16/24.59	c (13,0) c PropsBinClauses_4 : 47573764
119.16/24.59	c (13,0) c PropsBinClauses_5 : 47056898
119.16/24.59	c (13,0) c PropsBinClauses_6 : 47346231
119.16/24.59	c (13,0) c PropsBinClauses_7 : 47680245
119.16/24.59	c (13,0) c PropsBinClauses_total : 378250838
119.16/24.59	c (13,0) c PropsBinClauses_winner : 47056898
119.16/24.59	c (13,0) c PropsPreBlocker_0 : 207752714
119.16/24.59	c (13,0) c PropsPreBlocker_1 : 207740082
119.16/24.59	c (13,0) c PropsPreBlocker_2 : 209892151
119.16/24.59	c (13,0) c PropsPreBlocker_3 : 207977431
119.16/24.59	c (13,0) c PropsPreBlocker_4 : 210692370
119.16/24.59	c (13,0) c PropsPreBlocker_5 : 208363199
119.16/24.59	c (13,0) c PropsPreBlocker_6 : 207730800
119.16/24.59	c (13,0) c PropsPreBlocker_7 : 211142213
119.16/24.59	c (13,0) c PropsPreBlocker_total : 1671290960
119.16/24.59	c (13,0) c PropsPreBlocker_winner : 208363199
119.16/24.59	c (13,0) c PropsNotBlocker_0 : 54679464
119.16/24.59	c (13,0) c PropsNotBlocker_1 : 54258684
119.16/24.59	c (13,0) c PropsNotBlocker_2 : 55199637
119.16/24.59	c (13,0) c PropsNotBlocker_3 : 54463159
119.16/24.59	c (13,0) c PropsNotBlocker_4 : 55161962
119.16/24.59	c (13,0) c PropsNotBlocker_5 : 54997316
119.16/24.59	c (13,0) c PropsNotBlocker_6 : 54179703
119.16/24.59	c (13,0) c PropsNotBlocker_7 : 55229429
119.16/24.59	c (13,0) c PropsNotBlocker_total : 438169354
119.16/24.59	c (13,0) c PropsNotBlocker_winner : 54997316
119.16/24.59	c (13,0) c PropsLitFullScans_0 : 360083895
119.16/24.59	c (13,0) c PropsLitFullScans_1 : 360070452
119.16/24.59	c (13,0) c PropsLitFullScans_2 : 363072104
119.16/24.59	c (13,0) c PropsLitFullScans_3 : 360161657
119.16/24.59	c (13,0) c PropsLitFullScans_4 : 364575066
119.16/24.60	c (13,0) c PropsLitFullScans_5 : 360732795
119.16/24.60	c (13,0) c PropsLitFullScans_6 : 360059466
119.16/24.60	c (13,0) c PropsLitFullScans_7 : 365672390
119.16/24.60	c (13,0) c PropsLitFullScans_total : 2894427825
119.16/24.60	c (13,0) c PropsLitFullScans_winner : 360732795
119.16/24.60	c (13,0) c LitScanFractions_0 : 35256
119.16/24.60	c (13,0) c LitScanFractions_1 : 56985
119.16/24.60	c (13,0) c LitScanFractions_2 : 258971
119.16/24.60	c (13,0) c LitScanFractions_3 : 126015
119.16/24.60	c (13,0) c LitScanFractions_4 : 130840
119.16/24.60	c (13,0) c LitScanFractions_5 : 74450
119.16/24.60	c (13,0) c LitScanFractions_6 : 26405
119.16/24.60	c (13,0) c LitScanFractions_7 : 47214
119.16/24.60	c (13,0) c LitScanFractions_total : 756136
119.16/24.60	c (13,0) c LitScanFractions_winner : 74450
119.16/24.60	c (13,0) c DecisionLevel0_0 : 1559
119.16/24.60	c (13,0) c DecisionLevel0_1 : 1603
119.16/24.60	c (13,0) c DecisionLevel0_2 : 1550
119.16/24.60	c (13,0) c DecisionLevel0_3 : 1575
119.16/24.60	c (13,0) c DecisionLevel0_4 : 1551
119.16/24.60	c (13,0) c DecisionLevel0_5 : 1574
119.16/24.60	c (13,0) c DecisionLevel0_6 : 1595
119.16/24.60	c (13,0) c DecisionLevel0_7 : 1553
119.16/24.60	c (13,0) c DecisionLevel0_total : 12560
119.16/24.60	c (13,0) c DecisionLevel0_winner : 1574
119.16/24.60	c (13,0) c Periods_0 : 60
119.16/24.60	c (13,0) c Periods_1 : 60
119.16/24.60	c (13,0) c Periods_2 : 60
119.16/24.60	c (13,0) c Periods_3 : 60
119.16/24.60	c (13,0) c Periods_4 : 60
119.16/24.60	c (13,0) c Periods_5 : 60
119.16/24.60	c (13,0) c Periods_6 : 60
119.16/24.60	c (13,0) c Periods_7 : 60
119.16/24.60	c (13,0) c Periods_total : 480
119.16/24.60	c (13,0) c Periods_winner : 60
119.16/24.60	c (13,0) c Margin_0 : 20
119.16/24.60	c (13,0) c Margin_1 : 20
119.16/24.60	c (13,0) c Margin_2 : 20
119.16/24.60	c (13,0) c Margin_3 : 20
119.16/24.60	c (13,0) c Margin_4 : 20
119.16/24.60	c (13,0) c Margin_5 : 20
119.16/24.60	c (13,0) c Margin_6 : 20
119.16/24.60	c (13,0) c Margin_7 : 20
119.16/24.60	c (13,0) c Margin_total : 160
119.16/24.60	c (13,0) c Margin_winner : 20
119.16/24.60	c (13,0) c Exported_0 : 4094
119.16/24.60	c (13,0) c Exported_1 : 4150
119.16/24.60	c (13,0) c Exported_2 : 4159
119.16/24.60	c (13,0) c Exported_3 : 4194
119.16/24.60	c (13,0) c Exported_4 : 4139
119.16/24.60	c (13,0) c Exported_5 : 4174
119.27/24.60	c (13,0) c Exported_6 : 4093
119.27/24.60	c (13,0) c Exported_7 : 4056
119.27/24.60	c (13,0) c Exported_total : 33059
119.27/24.60	c (13,0) c Exported_winner : 4174
119.27/24.60	c (13,0) c Imported_0 : 21258
119.27/24.60	c (13,0) c Imported_1 : 21200
119.27/24.60	c (13,0) c Imported_2 : 21739
119.27/24.60	c (13,0) c Imported_3 : 21127
119.27/24.60	c (13,0) c Imported_4 : 21699
119.27/24.60	c (13,0) c Imported_5 : 21232
119.27/24.60	c (13,0) c Imported_6 : 21250
119.27/24.60	c (13,0) c Imported_7 : 21728
119.27/24.60	c (13,0) c Imported_total : 171233
119.27/24.60	c (13,0) c Imported_winner : 21232
119.27/24.60	c (13,0) c Good_0 : 5300
119.27/24.60	c (13,0) c Good_1 : 5259
119.27/24.60	c (13,0) c Good_2 : 5400
119.27/24.60	c (13,0) c Good_3 : 5271
119.27/24.60	c (13,0) c Good_4 : 5393
119.27/24.60	c (13,0) c Good_5 : 5291
119.27/24.60	c (13,0) c Good_6 : 5299
119.27/24.60	c (13,0) c Good_7 : 5382
119.27/24.60	c (13,0) c Good_total : 42595
119.27/24.60	c (13,0) c Good_winner : 5291
119.27/24.60	c (13,0) c Purge_0 : 15958
119.27/24.60	c (13,0) c Purge_1 : 15941
119.27/24.60	c (13,0) c Purge_2 : 16339
119.27/24.60	c (13,0) c Purge_3 : 15856
119.27/24.60	c (13,0) c Purge_4 : 16306
119.27/24.60	c (13,0) c Purge_5 : 15941
119.27/24.60	c (13,0) c Purge_6 : 15951
119.27/24.60	c (13,0) c Purge_7 : 16346
119.27/24.60	c (13,0) c Purge_total : 128638
119.27/24.60	c (13,0) c Purge_winner : 15941
119.27/24.60	c (13,0) c Promoted_0 : 676
119.27/24.60	c (13,0) c Promoted_1 : 634
119.27/24.60	c (13,0) c Promoted_2 : 684
119.27/24.60	c (13,0) c Promoted_3 : 701
119.27/24.60	c (13,0) c Promoted_4 : 687
119.27/24.60	c (13,0) c Promoted_5 : 685
119.27/24.60	c (13,0) c Promoted_6 : 652
119.27/24.60	c (13,0) c Promoted_7 : 690
119.27/24.60	c (13,0) c Promoted_total : 5409
119.27/24.60	c (13,0) c Promoted_winner : 685
119.27/24.60	c (13,0) c Remove_Imp_0 : 5016
119.27/24.60	c (13,0) c Remove_Imp_1 : 4900
119.27/24.60	c (13,0) c Remove_Imp_2 : 4941
119.27/24.60	c (13,0) c Remove_Imp_3 : 3439
119.27/24.60	c (13,0) c Remove_Imp_4 : 4987
119.27/24.60	c (13,0) c Remove_Imp_5 : 4982
119.27/24.60	c (13,0) c Remove_Imp_6 : 4933
119.27/24.60	c (13,0) c Remove_Imp_7 : 4175
119.27/24.60	c (13,0) c Remove_Imp_total : 37373
119.27/24.60	c (13,0) c Remove_Imp_winner : 4982
119.27/24.60	c (13,0) c Blocked_Reuse_0 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_1 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_2 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_3 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_4 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_5 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_6 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_7 : 0
119.27/24.60	c (13,0) c Blocked_Reuse_total : 0
119.27/24.60	c (13,0) c Blocked_Reuse_winner : 0
119.27/24.60	c (13,0) c Unaries_0 : 1357
119.27/24.60	c (13,0) c Unaries_1 : 1389
119.27/24.60	c (13,0) c Unaries_2 : 1331
119.27/24.60	c (13,0) c Unaries_3 : 1360
119.27/24.60	c (13,0) c Unaries_4 : 1329
119.27/24.60	c (13,0) c Unaries_5 : 1341
119.27/24.60	c (13,0) c Unaries_6 : 1376
119.27/24.60	c (13,0) c Unaries_7 : 1328
119.27/24.60	c (13,0) c Unaries_total : 10811
119.27/24.60	c (13,0) c Unaries_winner : 1341
119.27/24.60	c (13,0) c Binaries_0 : 921
119.27/24.60	c (13,0) c Binaries_1 : 952
119.27/24.60	c (13,0) c Binaries_2 : 924
119.27/24.60	c (13,0) c Binaries_3 : 954
119.27/24.60	c (13,0) c Binaries_4 : 917
119.27/24.60	c (13,0) c Binaries_5 : 936
119.27/24.60	c (13,0) c Binaries_6 : 920
119.27/24.60	c (13,0) c Binaries_7 : 929
119.27/24.60	c (13,0) c Binaries_total : 7453
119.27/24.60	c (13,0) c Binaries_winner : 936
119.27/24.60	c (13,0) c Glues_0 : 1511
119.27/24.60	c (13,0) c Glues_1 : 1579
119.27/24.60	c (13,0) c Glues_2 : 1494
119.27/24.60	c (13,0) c Glues_3 : 1542
119.27/24.60	c (13,0) c Glues_4 : 1493
119.27/24.60	c (13,0) c Glues_5 : 1528
119.27/24.60	c (13,0) c Glues_6 : 1475
119.27/24.60	c (13,0) c Glues_7 : 1533
119.27/24.60	c (13,0) c Glues_total : 12155
119.27/24.60	c (13,0) c Glues_winner : 1528
119.27/24.60	c (13,0) c RunningTime_0 : 12.647479
119.27/24.60	c (13,0) c RunningTime_1 : 12.477418
119.27/24.60	c (13,0) c RunningTime_2 : 12.083865
119.27/24.60	c (13,0) c RunningTime_3 : 12.313310
119.27/24.60	c (13,0) c RunningTime_4 : 12.093315
119.27/24.60	c (13,0) c RunningTime_5 : 12.056801
119.27/24.60	c (13,0) c RunningTime_6 : 12.240855
119.27/24.60	c (13,0) c RunningTime_7 : 12.089496
119.27/24.60	c (13,0) c RunningTime_total : 98.002538
119.27/24.60	c (13,0) c RunningTime_winner : 12.056801
119.27/24.60	c (13,0) c WaitingTime_0 : 0.000049
119.27/24.60	c (13,0) c WaitingTime_1 : 0.000049
119.27/24.60	c (13,0) c WaitingTime_2 : 0.000067
119.27/24.60	c (13,0) c WaitingTime_3 : 0.000057
119.27/24.60	c (13,0) c WaitingTime_4 : 0.000056
119.27/24.60	c (13,0) c WaitingTime_5 : 0.000053
119.27/24.60	c (13,0) c WaitingTime_6 : 0.000067
119.27/24.60	c (13,0) c WaitingTime_7 : 0.000073
119.27/24.60	c (13,0) c WaitingTime_total : 0.000472
119.27/24.60	c (13,0) c WaitingTime_winner : 0.000053
119.27/24.60	c (13,0) c ExchangingTime_0 : 0.010735
119.27/24.60	c (13,0) c ExchangingTime_1 : 0.010846
119.27/24.60	c (13,0) c ExchangingTime_2 : 0.010825
119.27/24.60	c (13,0) c ExchangingTime_3 : 0.011155
119.27/24.60	c (13,0) c ExchangingTime_4 : 0.011044
119.27/24.60	c (13,0) c ExchangingTime_5 : 0.011419
119.27/24.60	c (13,0) c ExchangingTime_6 : 0.010844
119.27/24.60	c (13,0) c ExchangingTime_7 : 0.010755
119.27/24.60	c (13,0) c ExchangingTime_total : 0.087623
119.27/24.60	c (13,0) c ExchangingTime_winner : 0.011419
119.27/24.60	c (13,0) c PeriodProcTime_0 : 0.000671
119.27/24.60	c (13,0) c PeriodProcTime_1 : 0.000634
119.27/24.60	c (13,0) c PeriodProcTime_2 : 0.000483
119.27/24.60	c (13,0) c PeriodProcTime_3 : 0.000555
119.27/24.60	c (13,0) c PeriodProcTime_4 : 0.000502
119.27/24.60	c (13,0) c PeriodProcTime_5 : 0.000650
119.27/24.60	c (13,0) c PeriodProcTime_6 : 0.000661
119.27/24.60	c (13,0) c PeriodProcTime_7 : 0.000543
119.27/24.60	c (13,0) c PeriodProcTime_total : 0.004697
119.27/24.60	c (13,0) c PeriodProcTime_winner : 0.000650
119.27/24.60	c (13,0) c SolvingTime_0 : 12.658935
119.27/24.60	c (13,0) c SolvingTime_1 : 12.488947
119.27/24.60	c (13,0) c SolvingTime_2 : 12.095240
119.27/24.60	c (13,0) c SolvingTime_3 : 12.325077
119.27/24.60	c (13,0) c SolvingTime_4 : 12.104916
119.27/24.60	c (13,0) c SolvingTime_5 : 12.068922
119.27/24.60	c (13,0) c SolvingTime_6 : 12.252427
119.27/24.60	c (13,0) c SolvingTime_7 : 12.100867
119.27/24.60	c (13,0) c SolvingTime_total : 98.095330
119.27/24.60	c (13,0) c SolvingTime_winner : 12.068922
119.27/24.60	c (13,0) c PropagationTime_0 : 11.156871
119.27/24.60	c (13,0) c PropagationTime_1 : 10.946384
119.27/24.60	c (13,0) c PropagationTime_2 : 10.581857
119.27/24.60	c (13,0) c PropagationTime_3 : 10.762600
119.27/24.60	c (13,0) c PropagationTime_4 : 10.605894
119.27/24.60	c (13,0) c PropagationTime_5 : 10.576448
119.27/24.60	c (13,0) c PropagationTime_6 : 10.726665
119.27/24.60	c (13,0) c PropagationTime_7 : 10.578076
119.27/24.60	c (13,0) c PropagationTime_total : 85.934796
119.27/24.60	c (13,0) c PropagationTime_winner : 10.576448
119.27/24.60	c (13,0) c AnalysisTime_0 : 0.612140
119.27/24.60	c (13,0) c AnalysisTime_1 : 0.641268
119.27/24.60	c (13,0) c AnalysisTime_2 : 0.645560
119.27/24.60	c (13,0) c AnalysisTime_3 : 0.653584
119.27/24.60	c (13,0) c AnalysisTime_4 : 0.628670
119.27/24.60	c (13,0) c AnalysisTime_5 : 0.618536
119.27/24.60	c (13,0) c AnalysisTime_6 : 0.631886
119.27/24.60	c (13,0) c AnalysisTime_7 : 0.650475
119.27/24.60	c (13,0) c AnalysisTime_total : 5.082119
119.27/24.60	c (13,0) c AnalysisTime_winner : 0.618536
119.27/24.60	c (13,0) c ReductionTime_0 : 0.031674
119.27/24.60	c (13,0) c ReductionTime_1 : 0.032919
119.27/24.60	c (13,0) c ReductionTime_2 : 0.031394
119.27/24.60	c (13,0) c ReductionTime_3 : 0.030460
119.27/24.60	c (13,0) c ReductionTime_4 : 0.030668
119.27/24.60	c (13,0) c ReductionTime_5 : 0.029771
119.27/24.60	c (13,0) c ReductionTime_6 : 0.030709
119.27/24.60	c (13,0) c ReductionTime_7 : 0.035281
119.27/24.60	c (13,0) c ReductionTime_total : 0.252876
119.27/24.60	c (13,0) c ReductionTime_winner : 0.029771
119.27/24.60	c (13,0) c SimplifyTime_0 : 0.179957
119.27/24.60	c (13,0) c SimplifyTime_1 : 0.186263
119.27/24.60	c (13,0) c SimplifyTime_2 : 0.182501
119.27/24.60	c (13,0) c SimplifyTime_3 : 0.203437
119.27/24.60	c (13,0) c SimplifyTime_4 : 0.183358
119.27/24.60	c (13,0) c SimplifyTime_5 : 0.174688
119.27/24.60	c (13,0) c SimplifyTime_6 : 0.185158
119.27/24.60	c (13,0) c SimplifyTime_7 : 0.186418
119.27/24.60	c (13,0) c SimplifyTime_total : 1.481781
119.27/24.60	c (13,0) c SimplifyTime_winner : 0.174688
119.27/24.60	c (13,0) c UsedRateTime_0 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_1 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_2 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_3 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_4 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_5 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_6 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_7 : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_total : 0.000000
119.27/24.60	c (13,0) c UsedRateTime_winner : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_0 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_1 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_2 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_3 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_4 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_5 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_6 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_7 : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_total : 0.000000
119.27/24.60	c (13,0) c OverlapRateTime_winner : 0.000000
119.27/24.60	c (13,0) c
119.27/24.60	c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
119.27/24.60	c (13,0) c
119.27/24.60	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.27/24.60	c (13,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
119.27/24.60	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.27/24.60	c (13,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
119.27/24.60	c (13,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
119.27/24.60	c (13,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
119.27/24.60	c (13,0) c | Initial random_seed   | 1330587999 |  221657023 |  420954991 | 1704732584 |  380126262 | 2125399816 |  902270665 |  945063508 |
119.27/24.60	c (13,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
119.27/24.60	c (13,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
119.27/24.60	c (13,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
119.27/24.60	c (13,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
119.27/24.60	c (13,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
119.27/24.60	c (13,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
119.27/24.60	c (13,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
119.27/24.60	c (13,0) c | var_decay             |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |
119.27/24.60	c (13,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
119.27/24.60	c (13,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
119.27/24.60	c (13,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
119.27/24.60	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.27/24.60	c (13,0) 
119.27/24.60	c (13,0) s SATISFIABLE
119.27/24.66	c (13,0) SatSolver.solve End
119.27/24.66	c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
119.27/24.66	c (13,0) Show results Begin
119.81/24.85	c (13,0) x[0][0] = 14
119.81/24.85	c (13,0) x[0][1] = 3
119.81/24.85	c (13,0) x[0][2] = 19
119.81/24.85	c (13,0) x[0][3] = 24
119.81/24.85	c (13,0) x[0][4] = 13
119.81/24.85	c (13,0) x[0][5] = 9
119.81/24.85	c (13,0) x[0][6] = 22
119.81/24.85	c (13,0) x[0][7] = 18
119.81/24.85	c (13,0) x[0][8] = 0
119.81/24.85	c (13,0) x[0][9] = 6
119.81/24.85	c (13,0) x[0][10] = 21
119.81/24.85	c (13,0) x[0][11] = 7
119.81/24.85	c (13,0) x[0][12] = 26
119.81/24.85	c (13,0) x[0][13] = 23
119.81/24.85	c (13,0) x[0][14] = 25
119.81/24.85	c (13,0) x[0][15] = 1
119.81/24.85	c (13,0) x[0][16] = 27
119.81/24.85	c (13,0) x[0][17] = 20
119.81/24.85	c (13,0) x[0][18] = 2
119.81/24.85	c (13,0) x[0][19] = 17
119.81/24.85	c (13,0) x[0][20] = 28
119.81/24.85	c (13,0) x[0][21] = 10
119.81/24.85	c (13,0) x[0][22] = 16
119.81/24.85	c (13,0) x[0][23] = 12
119.81/24.85	c (13,0) x[0][24] = 8
119.81/24.85	c (13,0) x[0][25] = 29
119.81/24.85	c (13,0) x[0][26] = 11
119.81/24.85	c (13,0) x[0][27] = 4
119.81/24.85	c (13,0) x[0][28] = 5
119.81/24.85	c (13,0) x[0][29] = 15
119.81/24.85	c (13,0) x[1][0] = 27
119.81/24.85	c (13,0) x[1][1] = 10
119.81/24.85	c (13,0) x[1][2] = 28
119.81/24.85	c (13,0) x[1][3] = 13
119.81/24.85	c (13,0) x[1][4] = 29
119.81/24.85	c (13,0) x[1][5] = 21
119.81/24.85	c (13,0) x[1][6] = 12
119.81/24.85	c (13,0) x[1][7] = 20
119.81/24.85	c (13,0) x[1][8] = 16
119.81/24.85	c (13,0) x[1][9] = 0
119.81/24.85	c (13,0) x[1][10] = 14
119.81/24.85	c (13,0) x[1][11] = 26
119.81/24.85	c (13,0) x[1][12] = 23
119.81/24.85	c (13,0) x[1][13] = 17
119.81/24.85	c (13,0) x[1][14] = 24
119.81/24.85	c (13,0) x[1][15] = 3
119.81/24.85	c (13,0) x[1][16] = 7
119.81/24.85	c (13,0) x[1][17] = 11
119.81/24.85	c (13,0) x[1][18] = 9
119.81/24.85	c (13,0) x[1][19] = 8
119.81/24.86	c (13,0) x[1][20] = 22
119.81/24.86	c (13,0) x[1][21] = 18
119.81/24.86	c (13,0) x[1][22] = 1
119.81/24.86	c (13,0) x[1][23] = 6
119.81/24.86	c (13,0) x[1][24] = 2
119.81/24.86	c (13,0) x[1][25] = 4
119.81/24.86	c (13,0) x[1][26] = 15
119.81/24.86	c (13,0) x[1][27] = 19
119.81/24.86	c (13,0) x[1][28] = 25
119.81/24.86	c (13,0) x[1][29] = 5
119.81/24.86	c (13,0) x[2][0] = 28
119.81/24.86	c (13,0) x[2][1] = 11
119.81/24.86	c (13,0) x[2][2] = 22
119.81/24.86	c (13,0) x[2][3] = 9
119.81/24.86	c (13,0) x[2][4] = 7
119.81/24.86	c (13,0) x[2][5] = 6
119.81/24.86	c (13,0) x[2][6] = 0
119.81/24.86	c (13,0) x[2][7] = 4
119.81/24.86	c (13,0) x[2][8] = 12
119.81/24.86	c (13,0) x[2][9] = 2
119.81/24.86	c (13,0) x[2][10] = 26
119.81/24.86	c (13,0) x[2][11] = 23
119.81/24.86	c (13,0) x[2][12] = 19
119.81/24.86	c (13,0) x[2][13] = 8
119.81/24.86	c (13,0) x[2][14] = 21
119.81/24.86	c (13,0) x[2][15] = 16
119.81/24.86	c (13,0) x[2][16] = 18
119.81/24.86	c (13,0) x[2][17] = 14
119.81/24.86	c (13,0) x[2][18] = 17
119.81/24.86	c (13,0) x[2][19] = 1
119.81/24.86	c (13,0) x[2][20] = 10
119.81/24.86	c (13,0) x[2][21] = 25
119.81/24.86	c (13,0) x[2][22] = 13
119.81/24.86	c (13,0) x[2][23] = 20
119.81/24.86	c (13,0) x[2][24] = 5
119.81/24.86	c (13,0) x[2][25] = 24
119.81/24.87	c (13,0) x[2][26] = 3
119.81/24.87	c (13,0) x[2][27] = 27
119.81/24.87	c (13,0) x[2][28] = 15
119.81/24.87	c (13,0) x[2][29] = 29
119.81/24.87	c (13,0) x[3][0] = 5
119.81/24.87	c (13,0) x[3][1] = 4
119.81/24.87	c (13,0) x[3][2] = 21
119.81/24.87	c (13,0) x[3][3] = 19
119.81/24.87	c (13,0) x[3][4] = 8
119.81/24.87	c (13,0) x[3][5] = 28
119.81/24.87	c (13,0) x[3][6] = 9
119.81/24.87	c (13,0) x[3][7] = 29
119.81/24.87	c (13,0) x[3][8] = 18
119.81/24.87	c (13,0) x[3][9] = 17
119.81/24.87	c (13,0) x[3][10] = 10
119.81/24.87	c (13,0) x[3][11] = 24
119.81/24.87	c (13,0) x[3][12] = 16
119.81/24.87	c (13,0) x[3][13] = 14
119.81/24.87	c (13,0) x[3][14] = 11
119.81/24.87	c (13,0) x[3][15] = 23
119.81/24.87	c (13,0) x[3][16] = 22
119.81/24.87	c (13,0) x[3][17] = 13
119.81/24.87	c (13,0) x[3][18] = 3
119.81/24.87	c (13,0) x[3][19] = 6
119.81/24.87	c (13,0) x[3][20] = 26
119.81/24.87	c (13,0) x[3][21] = 2
119.81/24.87	c (13,0) x[3][22] = 27
119.81/24.87	c (13,0) x[3][23] = 0
119.81/24.87	c (13,0) x[3][24] = 15
119.81/24.87	c (13,0) x[3][25] = 12
119.81/24.87	c (13,0) x[3][26] = 1
119.81/24.87	c (13,0) x[3][27] = 25
119.81/24.87	c (13,0) x[3][28] = 7
119.81/24.87	c (13,0) x[3][29] = 20
119.81/24.87	c (13,0) x[4][0] = 21
119.81/24.87	c (13,0) x[4][1] = 7
119.81/24.87	c (13,0) x[4][2] = 26
119.81/24.87	c (13,0) x[4][3] = 10
119.81/24.87	c (13,0) x[4][4] = 23
119.81/24.87	c (13,0) x[4][5] = 5
119.81/24.87	c (13,0) x[4][6] = 6
119.81/24.87	c (13,0) x[4][7] = 28
119.81/24.87	c (13,0) x[4][8] = 27
119.81/24.87	c (13,0) x[4][9] = 29
119.81/24.87	c (13,0) x[4][10] = 0
119.81/24.87	c (13,0) x[4][11] = 17
119.81/24.87	c (13,0) x[4][12] = 2
119.81/24.87	c (13,0) x[4][13] = 4
119.81/24.87	c (13,0) x[4][14] = 15
119.81/24.87	c (13,0) x[4][15] = 13
119.81/24.87	c (13,0) x[4][16] = 12
119.81/24.87	c (13,0) x[4][17] = 24
119.81/24.87	c (13,0) x[4][18] = 1
119.81/24.87	c (13,0) x[4][19] = 25
119.81/24.87	c (13,0) x[4][20] = 14
119.81/24.87	c (13,0) x[4][21] = 19
119.81/24.87	c (13,0) x[4][22] = 3
119.81/24.87	c (13,0) x[4][23] = 8
119.81/24.87	c (13,0) x[4][24] = 9
119.81/24.87	c (13,0) x[4][25] = 22
119.81/24.87	c (13,0) x[4][26] = 18
119.81/24.87	c (13,0) x[4][27] = 20
119.81/24.87	c (13,0) x[4][28] = 16
119.81/24.87	c (13,0) x[4][29] = 11
119.81/24.87	c (13,0) x[5][0] = 12
119.81/24.87	c (13,0) x[5][1] = 9
119.81/24.87	c (13,0) x[5][2] = 6
119.81/24.87	c (13,0) x[5][3] = 8
119.81/24.87	c (13,0) x[5][4] = 11
119.81/24.87	c (13,0) x[5][5] = 1
119.81/24.87	c (13,0) x[5][6] = 15
119.81/24.87	c (13,0) x[5][7] = 25
119.81/24.87	c (13,0) x[5][8] = 14
119.81/24.87	c (13,0) x[5][9] = 23
119.81/24.87	c (13,0) x[5][10] = 16
119.81/24.87	c (13,0) x[5][11] = 20
119.81/24.87	c (13,0) x[5][12] = 0
119.81/24.87	c (13,0) x[5][13] = 3
119.81/24.87	c (13,0) x[5][14] = 13
119.81/24.87	c (13,0) x[5][15] = 27
119.81/24.87	c (13,0) x[5][16] = 5
119.81/24.87	c (13,0) x[5][17] = 19
119.81/24.87	c (13,0) x[5][18] = 18
119.81/24.87	c (13,0) x[5][19] = 24
119.81/24.87	c (13,0) x[5][20] = 29
119.81/24.87	c (13,0) x[5][21] = 4
119.81/24.87	c (13,0) x[5][22] = 2
119.81/24.87	c (13,0) x[5][23] = 21
119.81/24.87	c (13,0) x[5][24] = 26
119.81/24.87	c (13,0) x[5][25] = 28
119.81/24.87	c (13,0) x[5][26] = 22
119.81/24.87	c (13,0) x[5][27] = 10
119.81/24.87	c (13,0) x[5][28] = 17
119.81/24.87	c (13,0) x[5][29] = 7
119.81/24.87	c (13,0) x[6][0] = 6
119.81/24.87	c (13,0) x[6][1] = 19
119.81/24.87	c (13,0) x[6][2] = 11
119.81/24.87	c (13,0) x[6][3] = 16
119.81/24.87	c (13,0) x[6][4] = 9
119.81/24.87	c (13,0) x[6][5] = 12
119.81/24.87	c (13,0) x[6][6] = 3
119.81/24.87	c (13,0) x[6][7] = 17
119.81/24.87	c (13,0) x[6][8] = 28
119.81/24.87	c (13,0) x[6][9] = 21
119.81/24.87	c (13,0) x[6][10] = 15
119.81/24.87	c (13,0) x[6][11] = 14
119.81/24.87	c (13,0) x[6][12] = 1
119.81/24.87	c (13,0) x[6][13] = 29
119.81/24.87	c (13,0) x[6][14] = 5
119.81/24.87	c (13,0) x[6][15] = 0
119.81/24.87	c (13,0) x[6][16] = 4
119.81/24.87	c (13,0) x[6][17] = 23
119.81/24.87	c (13,0) x[6][18] = 8
119.81/24.87	c (13,0) x[6][19] = 22
119.81/24.87	c (13,0) x[6][20] = 7
119.81/24.87	c (13,0) x[6][21] = 20
119.81/24.87	c (13,0) x[6][22] = 26
119.81/24.87	c (13,0) x[6][23] = 18
119.81/24.87	c (13,0) x[6][24] = 25
119.81/24.87	c (13,0) x[6][25] = 13
119.81/24.87	c (13,0) x[6][26] = 27
119.81/24.87	c (13,0) x[6][27] = 2
119.81/24.87	c (13,0) x[6][28] = 24
119.81/24.87	c (13,0) x[6][29] = 10
119.81/24.87	c (13,0) x[7][0] = 1
119.81/24.87	c (13,0) x[7][1] = 2
119.81/24.87	c (13,0) x[7][2] = 5
119.81/24.87	c (13,0) x[7][3] = 12
119.81/24.87	c (13,0) x[7][4] = 16
119.81/24.87	c (13,0) x[7][5] = 20
119.81/24.87	c (13,0) x[7][6] = 21
119.81/24.87	c (13,0) x[7][7] = 6
119.81/24.87	c (13,0) x[7][8] = 8
119.81/24.87	c (13,0) x[7][9] = 26
119.81/24.87	c (13,0) x[7][10] = 24
119.81/24.87	c (13,0) x[7][11] = 3
119.81/24.87	c (13,0) x[7][12] = 13
119.81/24.87	c (13,0) x[7][13] = 28
119.81/24.87	c (13,0) x[7][14] = 29
119.81/24.87	c (13,0) x[7][15] = 4
119.81/24.87	c (13,0) x[7][16] = 23
119.81/24.87	c (13,0) x[7][17] = 15
119.81/24.87	c (13,0) x[7][18] = 11
119.81/24.87	c (13,0) x[7][19] = 27
119.81/24.87	c (13,0) x[7][20] = 17
119.81/24.87	c (13,0) x[7][21] = 9
119.81/24.87	c (13,0) x[7][22] = 10
119.81/24.87	c (13,0) x[7][23] = 19
119.81/24.87	c (13,0) x[7][24] = 18
119.81/24.87	c (13,0) x[7][25] = 25
119.81/24.87	c (13,0) x[7][26] = 7
119.81/24.87	c (13,0) x[7][27] = 14
119.81/24.87	c (13,0) x[7][28] = 0
119.81/24.87	c (13,0) x[7][29] = 22
119.81/24.87	c (13,0) x[8][0] = 23
119.81/24.87	c (13,0) x[8][1] = 29
119.81/24.87	c (13,0) x[8][2] = 12
119.81/24.87	c (13,0) x[8][3] = 25
119.81/24.87	c (13,0) x[8][4] = 24
119.81/24.87	c (13,0) x[8][5] = 0
119.81/24.87	c (13,0) x[8][6] = 16
119.81/24.87	c (13,0) x[8][7] = 3
119.81/24.87	c (13,0) x[8][8] = 26
119.81/24.87	c (13,0) x[8][9] = 4
119.81/24.87	c (13,0) x[8][10] = 20
119.81/24.87	c (13,0) x[8][11] = 13
119.81/24.87	c (13,0) x[8][12] = 14
119.81/24.87	c (13,0) x[8][13] = 10
119.81/24.87	c (13,0) x[8][14] = 17
119.81/24.87	c (13,0) x[8][15] = 2
119.81/24.87	c (13,0) x[8][16] = 8
119.81/24.87	c (13,0) x[8][17] = 7
119.81/24.87	c (13,0) x[8][18] = 22
119.81/24.87	c (13,0) x[8][19] = 11
119.81/24.87	c (13,0) x[8][20] = 5
119.81/24.87	c (13,0) x[8][21] = 27
119.81/24.87	c (13,0) x[8][22] = 19
119.81/24.87	c (13,0) x[8][23] = 15
119.81/24.87	c (13,0) x[8][24] = 1
119.81/24.87	c (13,0) x[8][25] = 21
119.81/24.87	c (13,0) x[8][26] = 9
119.81/24.87	c (13,0) x[8][27] = 28
119.81/24.87	c (13,0) x[8][28] = 18
119.81/24.87	c (13,0) x[8][29] = 6
119.81/24.87	c (13,0) x[9][0] = 19
119.81/24.87	c (13,0) x[9][1] = 8
119.81/24.87	c (13,0) x[9][2] = 0
119.81/24.87	c (13,0) x[9][3] = 20
119.81/24.87	c (13,0) x[9][4] = 22
119.81/24.87	c (13,0) x[9][5] = 11
119.81/24.87	c (13,0) x[9][6] = 5
119.81/24.87	c (13,0) x[9][7] = 23
119.81/24.87	c (13,0) x[9][8] = 13
119.81/24.87	c (13,0) x[9][9] = 27
119.81/24.87	c (13,0) x[9][10] = 2
119.81/24.87	c (13,0) x[9][11] = 29
119.81/24.87	c (13,0) x[9][12] = 21
119.81/24.87	c (13,0) x[9][13] = 1
119.81/24.87	c (13,0) x[9][14] = 3
119.81/24.87	c (13,0) x[9][15] = 25
119.81/24.87	c (13,0) x[9][16] = 24
119.81/24.87	c (13,0) x[9][17] = 17
119.81/24.87	c (13,0) x[9][18] = 26
119.81/24.87	c (13,0) x[9][19] = 18
119.81/24.87	c (13,0) x[9][20] = 16
119.81/24.87	c (13,0) x[9][21] = 15
119.81/24.87	c (13,0) x[9][22] = 6
119.81/24.87	c (13,0) x[9][23] = 9
119.81/24.87	c (13,0) x[9][24] = 10
119.81/24.87	c (13,0) x[9][25] = 7
119.81/24.87	c (13,0) x[9][26] = 28
119.81/24.87	c (13,0) x[9][27] = 12
119.81/24.87	c (13,0) x[9][28] = 4
119.81/24.87	c (13,0) x[9][29] = 14
119.81/24.87	c (13,0) x[10][0] = 4
119.81/24.87	c (13,0) x[10][1] = 23
119.81/24.87	c (13,0) x[10][2] = 27
119.81/24.87	c (13,0) x[10][3] = 11
119.81/24.87	c (13,0) x[10][4] = 25
119.81/24.87	c (13,0) x[10][5] = 14
119.81/24.87	c (13,0) x[10][6] = 8
119.81/24.87	c (13,0) x[10][7] = 9
119.81/24.87	c (13,0) x[10][8] = 2
119.81/24.87	c (13,0) x[10][9] = 15
119.81/24.87	c (13,0) x[10][10] = 29
119.81/24.87	c (13,0) x[10][11] = 18
119.81/24.87	c (13,0) x[10][12] = 17
119.81/24.87	c (13,0) x[10][13] = 20
119.81/24.87	c (13,0) x[10][14] = 22
119.81/24.87	c (13,0) x[10][15] = 21
119.81/24.87	c (13,0) x[10][16] = 16
119.81/24.87	c (13,0) x[10][17] = 1
119.81/24.87	c (13,0) x[10][18] = 6
119.81/24.87	c (13,0) x[10][19] = 12
119.81/24.87	c (13,0) x[10][20] = 3
119.81/24.87	c (13,0) x[10][21] = 0
119.81/24.87	c (13,0) x[10][22] = 28
119.81/24.87	c (13,0) x[10][23] = 24
119.81/24.87	c (13,0) x[10][24] = 7
119.81/24.87	c (13,0) x[10][25] = 5
119.81/24.87	c (13,0) x[10][26] = 10
119.81/24.87	c (13,0) x[10][27] = 26
119.81/24.87	c (13,0) x[10][28] = 13
119.81/24.87	c (13,0) x[10][29] = 19
119.81/24.87	c (13,0) x[11][0] = 26
119.81/24.87	c (13,0) x[11][1] = 1
119.81/24.87	c (13,0) x[11][2] = 15
119.81/24.87	c (13,0) x[11][3] = 6
119.81/24.87	c (13,0) x[11][4] = 10
119.81/24.87	c (13,0) x[11][5] = 8
119.81/24.87	c (13,0) x[11][6] = 27
119.81/24.87	c (13,0) x[11][7] = 11
119.81/24.87	c (13,0) x[11][8] = 24
119.81/24.87	c (13,0) x[11][9] = 16
119.81/24.87	c (13,0) x[11][10] = 13
119.81/24.87	c (13,0) x[11][11] = 2
119.81/24.87	c (13,0) x[11][12] = 9
119.81/24.87	c (13,0) x[11][13] = 19
119.81/24.87	c (13,0) x[11][14] = 7
119.81/24.87	c (13,0) x[11][15] = 22
119.81/24.87	c (13,0) x[11][16] = 20
119.81/24.87	c (13,0) x[11][17] = 28
119.81/24.87	c (13,0) x[11][18] = 29
119.81/24.87	c (13,0) x[11][19] = 23
119.81/24.87	c (13,0) x[11][20] = 25
119.81/24.87	c (13,0) x[11][21] = 14
119.81/24.87	c (13,0) x[11][22] = 12
119.81/24.87	c (13,0) x[11][23] = 4
119.81/24.87	c (13,0) x[11][24] = 3
119.81/24.87	c (13,0) x[11][25] = 0
119.81/24.87	c (13,0) x[11][26] = 17
119.81/24.87	c (13,0) x[11][27] = 5
119.81/24.87	c (13,0) x[11][28] = 21
119.81/24.87	c (13,0) x[11][29] = 18
119.81/24.87	c (13,0) x[12][0] = 9
119.81/24.87	c (13,0) x[12][1] = 24
119.81/24.87	c (13,0) x[12][2] = 16
119.81/24.87	c (13,0) x[12][3] = 14
119.81/24.87	c (13,0) x[12][4] = 1
119.81/24.87	c (13,0) x[12][5] = 22
119.81/24.87	c (13,0) x[12][6] = 11
119.81/24.87	c (13,0) x[12][7] = 2
119.81/24.87	c (13,0) x[12][8] = 4
119.81/24.87	c (13,0) x[12][9] = 20
119.81/24.87	c (13,0) x[12][10] = 28
119.81/24.87	c (13,0) x[12][11] = 27
119.81/24.87	c (13,0) x[12][12] = 25
119.81/24.87	c (13,0) x[12][13] = 5
119.81/24.87	c (13,0) x[12][14] = 6
119.81/24.87	c (13,0) x[12][15] = 10
119.81/24.87	c (13,0) x[12][16] = 13
119.81/24.87	c (13,0) x[12][17] = 8
119.81/24.87	c (13,0) x[12][18] = 21
119.81/24.87	c (13,0) x[12][19] = 29
119.81/24.87	c (13,0) x[12][20] = 18
119.81/24.87	c (13,0) x[12][21] = 17
119.81/24.87	c (13,0) x[12][22] = 0
119.81/24.87	c (13,0) x[12][23] = 3
119.81/24.87	c (13,0) x[12][24] = 12
119.81/24.87	c (13,0) x[12][25] = 15
119.81/24.87	c (13,0) x[12][26] = 23
119.81/24.87	c (13,0) x[12][27] = 7
119.81/24.87	c (13,0) x[12][28] = 19
119.81/24.87	c (13,0) x[12][29] = 26
119.81/24.87	c (13,0) x[13][0] = 16
119.81/24.87	c (13,0) x[13][1] = 12
119.81/24.87	c (13,0) x[13][2] = 18
119.81/24.87	c (13,0) x[13][3] = 23
119.81/24.87	c (13,0) x[13][4] = 20
119.81/24.87	c (13,0) x[13][5] = 24
119.81/24.87	c (13,0) x[13][6] = 10
119.81/24.87	c (13,0) x[13][7] = 1
119.81/24.87	c (13,0) x[13][8] = 7
119.81/24.87	c (13,0) x[13][9] = 25
119.81/24.87	c (13,0) x[13][10] = 11
119.81/24.87	c (13,0) x[13][11] = 21
119.81/24.87	c (13,0) x[13][12] = 28
119.81/24.87	c (13,0) x[13][13] = 2
119.81/24.87	c (13,0) x[13][14] = 26
119.81/24.87	c (13,0) x[13][15] = 17
119.81/24.87	c (13,0) x[13][16] = 0
119.81/24.87	c (13,0) x[13][17] = 29
119.81/24.87	c (13,0) x[13][18] = 4
119.81/24.87	c (13,0) x[13][19] = 19
119.81/24.87	c (13,0) x[13][20] = 27
119.81/24.87	c (13,0) x[13][21] = 13
119.81/24.87	c (13,0) x[13][22] = 9
119.81/24.87	c (13,0) x[13][23] = 5
119.81/24.87	c (13,0) x[13][24] = 6
119.81/24.87	c (13,0) x[13][25] = 8
119.81/24.87	c (13,0) x[13][26] = 14
119.81/24.87	c (13,0) x[13][27] = 15
119.81/24.87	c (13,0) x[13][28] = 22
119.81/24.87	c (13,0) x[13][29] = 3
119.81/24.87	c (13,0) x[14][0] = 29
119.81/24.87	c (13,0) x[14][1] = 22
119.81/24.87	c (13,0) x[14][2] = 10
119.81/24.87	c (13,0) x[14][3] = 18
119.81/24.87	c (13,0) x[14][4] = 12
119.81/24.87	c (13,0) x[14][5] = 4
119.81/24.87	c (13,0) x[14][6] = 17
119.81/24.87	c (13,0) x[14][7] = 19
119.81/24.87	c (13,0) x[14][8] = 9
119.81/24.87	c (13,0) x[14][9] = 14
119.81/24.87	c (13,0) x[14][10] = 1
119.81/24.87	c (13,0) x[14][11] = 6
119.81/24.87	c (13,0) x[14][12] = 15
119.81/24.87	c (13,0) x[14][13] = 16
119.81/24.87	c (13,0) x[14][14] = 23
119.81/24.87	c (13,0) x[14][15] = 7
119.81/24.87	c (13,0) x[14][16] = 11
119.81/24.87	c (13,0) x[14][17] = 0
119.81/24.87	c (13,0) x[14][18] = 20
119.81/24.87	c (13,0) x[14][19] = 5
119.81/24.87	c (13,0) x[14][20] = 21
119.81/24.87	c (13,0) x[14][21] = 3
119.81/24.87	c (13,0) x[14][22] = 25
119.81/24.87	c (13,0) x[14][23] = 28
119.81/24.87	c (13,0) x[14][24] = 13
119.81/24.87	c (13,0) x[14][25] = 27
119.81/24.87	c (13,0) x[14][26] = 8
119.81/24.87	c (13,0) x[14][27] = 24
119.81/24.87	c (13,0) x[14][28] = 26
119.81/24.87	c (13,0) x[14][29] = 2
119.81/24.87	c (13,0) x[15][0] = 17
119.81/24.87	c (13,0) x[15][1] = 25
119.81/24.87	c (13,0) x[15][2] = 13
119.81/24.87	c (13,0) x[15][3] = 3
119.81/24.87	c (13,0) x[15][4] = 6
119.81/24.87	c (13,0) x[15][5] = 19
119.81/24.87	c (13,0) x[15][6] = 28
119.81/24.87	c (13,0) x[15][7] = 21
119.81/24.87	c (13,0) x[15][8] = 5
119.81/24.87	c (13,0) x[15][9] = 10
119.81/24.87	c (13,0) x[15][10] = 27
119.81/24.87	c (13,0) x[15][11] = 4
119.81/24.87	c (13,0) x[15][12] = 11
119.81/24.87	c (13,0) x[15][13] = 24
119.81/24.87	c (13,0) x[15][14] = 2
119.81/24.87	c (13,0) x[15][15] = 20
119.81/24.87	c (13,0) x[15][16] = 1
119.81/24.87	c (13,0) x[15][17] = 26
119.81/24.87	c (13,0) x[15][18] = 0
119.81/24.87	c (13,0) x[15][19] = 9
119.81/24.87	c (13,0) x[15][20] = 15
119.81/24.87	c (13,0) x[15][21] = 7
119.81/24.87	c (13,0) x[15][22] = 14
119.81/24.87	c (13,0) x[15][23] = 22
119.81/24.87	c (13,0) x[15][24] = 29
119.81/24.87	c (13,0) x[15][25] = 23
119.81/24.87	c (13,0) x[15][26] = 16
119.81/24.87	c (13,0) x[15][27] = 18
119.81/24.87	c (13,0) x[15][28] = 8
119.81/24.87	c (13,0) x[15][29] = 12
119.81/24.87	c (13,0) x[16][0] = 13
119.81/24.87	c (13,0) x[16][1] = 5
119.81/24.87	c (13,0) x[16][2] = 25
119.81/24.87	c (13,0) x[16][3] = 22
119.81/24.87	c (13,0) x[16][4] = 14
119.81/24.87	c (13,0) x[16][5] = 7
119.81/24.87	c (13,0) x[16][6] = 24
119.81/24.87	c (13,0) x[16][7] = 26
119.81/24.87	c (13,0) x[16][8] = 29
119.81/24.87	c (13,0) x[16][9] = 18
119.81/24.87	c (13,0) x[16][10] = 12
119.81/24.87	c (13,0) x[16][11] = 16
119.81/24.87	c (13,0) x[16][12] = 8
119.81/24.87	c (13,0) x[16][13] = 0
119.81/24.87	c (13,0) x[16][14] = 28
119.81/24.87	c (13,0) x[16][15] = 11
119.81/24.87	c (13,0) x[16][16] = 2
119.81/24.87	c (13,0) x[16][17] = 6
119.81/24.87	c (13,0) x[16][18] = 15
119.81/24.87	c (13,0) x[16][19] = 20
119.81/24.87	c (13,0) x[16][20] = 23
119.81/24.87	c (13,0) x[16][21] = 1
119.81/24.87	c (13,0) x[16][22] = 21
119.81/24.87	c (13,0) x[16][23] = 27
119.81/24.87	c (13,0) x[16][24] = 4
119.81/24.87	c (13,0) x[16][25] = 10
119.81/24.87	c (13,0) x[16][26] = 19
119.81/24.87	c (13,0) x[16][27] = 17
119.81/24.87	c (13,0) x[16][28] = 3
119.81/24.87	c (13,0) x[16][29] = 9
119.81/24.87	c (13,0) x[17][0] = 7
119.81/24.87	c (13,0) x[17][1] = 17
119.81/24.87	c (13,0) x[17][2] = 8
119.81/24.87	c (13,0) x[17][3] = 29
119.81/24.87	c (13,0) x[17][4] = 26
119.81/24.87	c (13,0) x[17][5] = 3
119.81/24.87	c (13,0) x[17][6] = 18
119.81/24.87	c (13,0) x[17][7] = 16
119.81/24.87	c (13,0) x[17][8] = 23
119.81/24.87	c (13,0) x[17][9] = 24
119.81/24.87	c (13,0) x[17][10] = 19
119.81/24.87	c (13,0) x[17][11] = 28
119.81/24.87	c (13,0) x[17][12] = 10
119.81/24.87	c (13,0) x[17][13] = 22
119.81/24.87	c (13,0) x[17][14] = 4
119.81/24.87	c (13,0) x[17][15] = 15
119.81/24.87	c (13,0) x[17][16] = 9
119.81/24.87	c (13,0) x[17][17] = 25
119.81/24.87	c (13,0) x[17][18] = 5
119.81/24.87	c (13,0) x[17][19] = 14
119.81/24.87	c (13,0) x[17][20] = 0
119.81/24.87	c (13,0) x[17][21] = 12
119.81/24.87	c (13,0) x[17][22] = 20
119.81/24.87	c (13,0) x[17][23] = 11
119.81/24.87	c (13,0) x[17][24] = 27
119.81/24.87	c (13,0) x[17][25] = 6
119.81/24.87	c (13,0) x[17][26] = 21
119.81/24.87	c (13,0) x[17][27] = 13
119.81/24.87	c (13,0) x[17][28] = 2
119.81/24.87	c (13,0) x[17][29] = 1
119.81/24.87	c (13,0) x[18][0] = 24
119.81/24.87	c (13,0) x[18][1] = 21
119.81/24.87	c (13,0) x[18][2] = 1
119.81/24.87	c (13,0) x[18][3] = 26
119.81/24.87	c (13,0) x[18][4] = 5
119.81/24.87	c (13,0) x[18][5] = 25
119.81/24.87	c (13,0) x[18][6] = 19
119.81/24.87	c (13,0) x[18][7] = 13
119.81/24.87	c (13,0) x[18][8] = 6
119.81/24.87	c (13,0) x[18][9] = 9
119.81/24.87	c (13,0) x[18][10] = 3
119.81/24.87	c (13,0) x[18][11] = 10
119.81/24.87	c (13,0) x[18][12] = 20
119.81/24.87	c (13,0) x[18][13] = 11
119.81/24.87	c (13,0) x[18][14] = 27
119.81/24.87	c (13,0) x[18][15] = 14
119.81/24.87	c (13,0) x[18][16] = 15
119.81/24.87	c (13,0) x[18][17] = 2
119.81/24.87	c (13,0) x[18][18] = 7
119.81/24.87	c (13,0) x[18][19] = 28
119.81/24.87	c (13,0) x[18][20] = 4
119.81/24.87	c (13,0) x[18][21] = 16
119.81/24.87	c (13,0) x[18][22] = 29
119.81/24.87	c (13,0) x[18][23] = 17
119.81/24.87	c (13,0) x[18][24] = 0
119.81/24.87	c (13,0) x[18][25] = 18
119.81/24.87	c (13,0) x[18][26] = 12
119.81/24.87	c (13,0) x[18][27] = 22
119.81/24.87	c (13,0) x[18][28] = 23
119.81/24.87	c (13,0) x[18][29] = 8
119.81/24.87	c (13,0) x[19][0] = 18
119.81/24.87	c (13,0) x[19][1] = 15
119.81/24.87	c (13,0) x[19][2] = 24
119.81/24.87	c (13,0) x[19][3] = 2
119.81/24.87	c (13,0) x[19][4] = 0
119.81/24.87	c (13,0) x[19][5] = 23
119.81/24.87	c (13,0) x[19][6] = 4
119.81/24.87	c (13,0) x[19][7] = 22
119.81/24.87	c (13,0) x[19][8] = 1
119.81/24.87	c (13,0) x[19][9] = 19
119.81/24.87	c (13,0) x[19][10] = 5
119.81/24.87	c (13,0) x[19][11] = 11
119.81/24.87	c (13,0) x[19][12] = 29
119.81/24.87	c (13,0) x[19][13] = 12
119.81/24.87	c (13,0) x[19][14] = 8
119.81/24.87	c (13,0) x[19][15] = 6
119.81/24.87	c (13,0) x[19][16] = 3
119.81/24.87	c (13,0) x[19][17] = 9
119.81/24.87	c (13,0) x[19][18] = 10
119.81/24.87	c (13,0) x[19][19] = 7
119.81/24.87	c (13,0) x[19][20] = 20
119.81/24.87	c (13,0) x[19][21] = 26
119.81/24.87	c (13,0) x[19][22] = 17
119.81/24.87	c (13,0) x[19][23] = 13
119.81/24.87	c (13,0) x[19][24] = 14
119.81/24.87	c (13,0) x[19][25] = 16
119.81/24.87	c (13,0) x[19][26] = 25
119.81/24.87	c (13,0) x[19][27] = 21
119.81/24.87	c (13,0) x[19][28] = 28
119.81/24.87	c (13,0) x[19][29] = 27
119.81/24.87	c (13,0) x[20][0] = 0
119.81/24.87	c (13,0) x[20][1] = 28
119.81/24.87	c (13,0) x[20][2] = 4
119.81/24.87	c (13,0) x[20][3] = 7
119.81/24.87	c (13,0) x[20][4] = 15
119.81/24.87	c (13,0) x[20][5] = 29
119.81/24.87	c (13,0) x[20][6] = 26
119.81/24.87	c (13,0) x[20][7] = 24
119.81/24.87	c (13,0) x[20][8] = 22
119.81/24.87	c (13,0) x[20][9] = 11
119.81/24.87	c (13,0) x[20][10] = 25
119.81/24.87	c (13,0) x[20][11] = 9
119.81/24.87	c (13,0) x[20][12] = 18
119.81/24.87	c (13,0) x[20][13] = 13
119.81/24.87	c (13,0) x[20][14] = 14
119.81/24.87	c (13,0) x[20][15] = 12
119.81/24.87	c (13,0) x[20][16] = 21
119.81/24.87	c (13,0) x[20][17] = 27
119.81/24.87	c (13,0) x[20][18] = 19
119.81/24.87	c (13,0) x[20][19] = 10
119.81/24.87	c (13,0) x[20][20] = 6
119.81/24.87	c (13,0) x[20][21] = 23
119.81/24.87	c (13,0) x[20][22] = 8
119.81/24.87	c (13,0) x[20][23] = 1
119.81/24.87	c (13,0) x[20][24] = 16
119.81/24.87	c (13,0) x[20][25] = 2
119.81/24.87	c (13,0) x[20][26] = 5
119.81/24.87	c (13,0) x[20][27] = 3
119.81/24.87	c (13,0) x[20][28] = 20
119.81/24.87	c (13,0) x[20][29] = 17
119.81/24.87	c (13,0) x[21][0] = 22
119.81/24.87	c (13,0) x[21][1] = 14
119.81/24.87	c (13,0) x[21][2] = 23
119.81/24.87	c (13,0) x[21][3] = 27
119.81/24.87	c (13,0) x[21][4] = 2
119.81/24.87	c (13,0) x[21][5] = 13
119.81/24.87	c (13,0) x[21][6] = 20
119.81/24.87	c (13,0) x[21][7] = 0
119.81/24.87	c (13,0) x[21][8] = 25
119.81/24.87	c (13,0) x[21][9] = 28
119.81/24.87	c (13,0) x[21][10] = 7
119.81/24.87	c (13,0) x[21][11] = 19
119.81/24.87	c (13,0) x[21][12] = 6
119.81/24.87	c (13,0) x[21][13] = 18
119.81/24.87	c (13,0) x[21][14] = 10
119.81/24.87	c (13,0) x[21][15] = 5
119.81/24.87	c (13,0) x[21][16] = 17
119.81/24.87	c (13,0) x[21][17] = 3
119.81/24.87	c (13,0) x[21][18] = 24
119.81/24.87	c (13,0) x[21][19] = 16
119.81/24.87	c (13,0) x[21][20] = 8
119.81/24.87	c (13,0) x[21][21] = 29
119.81/24.87	c (13,0) x[21][22] = 15
119.81/24.87	c (13,0) x[21][23] = 26
119.81/24.87	c (13,0) x[21][24] = 11
119.81/24.87	c (13,0) x[21][25] = 1
119.81/24.87	c (13,0) x[21][26] = 4
119.81/24.87	c (13,0) x[21][27] = 9
119.81/24.87	c (13,0) x[21][28] = 12
119.81/24.87	c (13,0) x[21][29] = 21
119.81/24.87	c (13,0) x[22][0] = 8
119.81/24.87	c (13,0) x[22][1] = 13
119.81/24.87	c (13,0) x[22][2] = 9
119.81/24.87	c (13,0) x[22][3] = 0
119.81/24.87	c (13,0) x[22][4] = 4
119.81/24.87	c (13,0) x[22][5] = 17
119.81/24.87	c (13,0) x[22][6] = 29
119.81/24.87	c (13,0) x[22][7] = 5
119.81/24.87	c (13,0) x[22][8] = 3
119.81/24.87	c (13,0) x[22][9] = 22
119.81/24.87	c (13,0) x[22][10] = 6
119.81/24.87	c (13,0) x[22][11] = 15
119.81/24.87	c (13,0) x[22][12] = 12
119.81/24.87	c (13,0) x[22][13] = 25
119.81/24.87	c (13,0) x[22][14] = 19
119.81/24.87	c (13,0) x[22][15] = 26
119.81/24.87	c (13,0) x[22][16] = 10
119.81/24.87	c (13,0) x[22][17] = 18
119.81/24.87	c (13,0) x[22][18] = 27
119.81/24.87	c (13,0) x[22][19] = 2
119.81/24.87	c (13,0) x[22][20] = 1
119.81/24.87	c (13,0) x[22][21] = 28
119.81/24.87	c (13,0) x[22][22] = 23
119.81/24.87	c (13,0) x[22][23] = 7
119.81/24.87	c (13,0) x[22][24] = 21
119.81/24.87	c (13,0) x[22][25] = 11
119.81/24.87	c (13,0) x[22][26] = 20
119.81/24.87	c (13,0) x[22][27] = 16
119.81/24.87	c (13,0) x[22][28] = 14
119.81/24.87	c (13,0) x[22][29] = 24
119.81/24.87	c (13,0) x[23][0] = 11
119.81/24.87	c (13,0) x[23][1] = 20
119.81/24.87	c (13,0) x[23][2] = 2
119.81/24.87	c (13,0) x[23][3] = 21
119.81/24.87	c (13,0) x[23][4] = 28
119.81/24.87	c (13,0) x[23][5] = 15
119.81/24.87	c (13,0) x[23][6] = 14
119.81/24.87	c (13,0) x[23][7] = 10
119.81/24.87	c (13,0) x[23][8] = 17
119.81/24.87	c (13,0) x[23][9] = 3
119.81/24.87	c (13,0) x[23][10] = 18
119.81/24.87	c (13,0) x[23][11] = 8
119.81/24.87	c (13,0) x[23][12] = 7
119.81/24.87	c (13,0) x[23][13] = 26
119.81/24.87	c (13,0) x[23][14] = 16
119.81/24.87	c (13,0) x[23][15] = 24
119.81/24.87	c (13,0) x[23][16] = 25
119.81/24.87	c (13,0) x[23][17] = 22
119.81/24.87	c (13,0) x[23][18] = 13
119.81/24.87	c (13,0) x[23][19] = 4
119.81/24.87	c (13,0) x[23][20] = 12
119.81/24.87	c (13,0) x[23][21] = 6
119.81/24.87	c (13,0) x[23][22] = 5
119.81/24.87	c (13,0) x[23][23] = 29
119.81/24.87	c (13,0) x[23][24] = 19
119.81/24.87	c (13,0) x[23][25] = 9
119.81/24.87	c (13,0) x[23][26] = 0
119.81/24.87	c (13,0) x[23][27] = 1
119.81/24.87	c (13,0) x[23][28] = 27
119.81/24.87	c (13,0) x[23][29] = 23
119.81/24.87	c (13,0) x[24][0] = 25
119.81/24.87	c (13,0) x[24][1] = 16
119.81/24.87	c (13,0) x[24][2] = 3
119.81/24.87	c (13,0) x[24][3] = 28
119.81/24.87	c (13,0) x[24][4] = 27
119.81/24.87	c (13,0) x[24][5] = 2
119.81/24.87	c (13,0) x[24][6] = 1
119.81/24.87	c (13,0) x[24][7] = 7
119.81/24.87	c (13,0) x[24][8] = 11
119.81/24.87	c (13,0) x[24][9] = 5
119.81/24.87	c (13,0) x[24][10] = 8
119.81/24.87	c (13,0) x[24][11] = 22
119.81/24.87	c (13,0) x[24][12] = 4
119.81/24.87	c (13,0) x[24][13] = 15
119.81/24.87	c (13,0) x[24][14] = 12
119.81/24.87	c (13,0) x[24][15] = 18
119.81/24.87	c (13,0) x[24][16] = 29
119.81/24.87	c (13,0) x[24][17] = 10
119.81/24.87	c (13,0) x[24][18] = 23
119.81/24.87	c (13,0) x[24][19] = 0
119.81/24.87	c (13,0) x[24][20] = 19
119.81/24.87	c (13,0) x[24][21] = 21
119.81/24.87	c (13,0) x[24][22] = 24
119.81/24.87	c (13,0) x[24][23] = 14
119.81/24.87	c (13,0) x[24][24] = 17
119.81/24.87	c (13,0) x[24][25] = 20
119.81/24.87	c (13,0) x[24][26] = 26
119.81/24.87	c (13,0) x[24][27] = 6
119.81/24.87	c (13,0) x[24][28] = 9
119.81/24.87	c (13,0) x[24][29] = 13
119.81/24.87	c (13,0) x[25][0] = 10
119.81/24.87	c (13,0) x[25][1] = 0
119.81/24.87	c (13,0) x[25][2] = 17
119.81/24.87	c (13,0) x[25][3] = 15
119.81/24.87	c (13,0) x[25][4] = 19
119.81/24.87	c (13,0) x[25][5] = 27
119.81/24.87	c (13,0) x[25][6] = 23
119.81/24.87	c (13,0) x[25][7] = 12
119.81/24.87	c (13,0) x[25][8] = 20
119.81/24.87	c (13,0) x[25][9] = 13
119.81/24.87	c (13,0) x[25][10] = 4
119.81/24.87	c (13,0) x[25][11] = 1
119.81/24.87	c (13,0) x[25][12] = 5
119.81/24.87	c (13,0) x[25][13] = 7
119.81/24.87	c (13,0) x[25][14] = 18
119.81/24.87	c (13,0) x[25][15] = 9
119.81/24.87	c (13,0) x[25][16] = 14
119.81/24.87	c (13,0) x[25][17] = 21
119.81/24.87	c (13,0) x[25][18] = 28
119.81/24.87	c (13,0) x[25][19] = 26
119.81/24.87	c (13,0) x[25][20] = 2
119.81/24.87	c (13,0) x[25][21] = 11
119.81/24.87	c (13,0) x[25][22] = 22
119.81/24.87	c (13,0) x[25][23] = 25
119.81/24.87	c (13,0) x[25][24] = 24
119.81/24.87	c (13,0) x[25][25] = 3
119.81/24.87	c (13,0) x[25][26] = 29
119.81/24.87	c (13,0) x[25][27] = 8
119.81/24.87	c (13,0) x[25][28] = 6
119.81/24.87	c (13,0) x[25][29] = 16
119.81/24.87	c (13,0) x[26][0] = 3
119.81/24.87	c (13,0) x[26][1] = 27
119.81/24.87	c (13,0) x[26][2] = 29
119.81/24.87	c (13,0) x[26][3] = 17
119.81/24.87	c (13,0) x[26][4] = 18
119.81/24.87	c (13,0) x[26][5] = 26
119.81/24.87	c (13,0) x[26][6] = 25
119.81/24.87	c (13,0) x[26][7] = 14
119.81/24.87	c (13,0) x[26][8] = 15
119.81/24.87	c (13,0) x[26][9] = 7
119.81/24.87	c (13,0) x[26][10] = 23
119.81/24.87	c (13,0) x[26][11] = 0
119.81/24.87	c (13,0) x[26][12] = 22
119.81/24.87	c (13,0) x[26][13] = 9
119.81/24.87	c (13,0) x[26][14] = 1
119.81/24.87	c (13,0) x[26][15] = 8
119.81/24.87	c (13,0) x[26][16] = 6
119.81/24.87	c (13,0) x[26][17] = 16
119.81/24.87	c (13,0) x[26][18] = 12
119.81/24.87	c (13,0) x[26][19] = 21
119.81/24.87	c (13,0) x[26][20] = 24
119.81/24.87	c (13,0) x[26][21] = 5
119.81/24.87	c (13,0) x[26][22] = 4
119.81/24.87	c (13,0) x[26][23] = 2
119.81/24.87	c (13,0) x[26][24] = 20
119.81/24.87	c (13,0) x[26][25] = 19
119.81/24.87	c (13,0) x[26][26] = 13
119.81/24.87	c (13,0) x[26][27] = 11
119.81/24.87	c (13,0) x[26][28] = 10
119.81/24.87	c (13,0) x[26][29] = 28
119.81/24.87	c (13,0) x[27][0] = 20
119.81/24.87	c (13,0) x[27][1] = 26
119.81/24.87	c (13,0) x[27][2] = 7
119.81/24.87	c (13,0) x[27][3] = 5
119.81/24.87	c (13,0) x[27][4] = 21
119.81/24.87	c (13,0) x[27][5] = 18
119.81/24.87	c (13,0) x[27][6] = 2
119.81/24.87	c (13,0) x[27][7] = 8
119.81/24.87	c (13,0) x[27][8] = 10
119.81/24.87	c (13,0) x[27][9] = 1
119.81/24.87	c (13,0) x[27][10] = 9
119.81/24.87	c (13,0) x[27][11] = 12
119.81/24.87	c (13,0) x[27][12] = 3
119.81/24.87	c (13,0) x[27][13] = 27
119.81/24.87	c (13,0) x[27][14] = 0
119.81/24.87	c (13,0) x[27][15] = 28
119.81/24.87	c (13,0) x[27][16] = 19
119.81/24.87	c (13,0) x[27][17] = 4
119.81/24.87	c (13,0) x[27][18] = 14
119.81/24.87	c (13,0) x[27][19] = 15
119.81/24.87	c (13,0) x[27][20] = 13
119.81/24.87	c (13,0) x[27][21] = 24
119.81/24.87	c (13,0) x[27][22] = 11
119.81/24.87	c (13,0) x[27][23] = 16
119.81/24.87	c (13,0) x[27][24] = 22
119.81/24.87	c (13,0) x[27][25] = 17
119.81/24.87	c (13,0) x[27][26] = 6
119.81/24.87	c (13,0) x[27][27] = 23
119.81/24.87	c (13,0) x[27][28] = 29
119.81/24.87	c (13,0) x[27][29] = 25
119.81/24.87	c (13,0) x[28][0] = 15
119.81/24.87	c (13,0) x[28][1] = 18
119.81/24.87	c (13,0) x[28][2] = 20
119.81/24.87	c (13,0) x[28][3] = 4
119.81/24.87	c (13,0) x[28][4] = 17
119.81/24.87	c (13,0) x[28][5] = 10
119.81/24.87	c (13,0) x[28][6] = 13
119.81/24.87	c (13,0) x[28][7] = 27
119.81/24.87	c (13,0) x[28][8] = 21
119.81/24.87	c (13,0) x[28][9] = 12
119.81/24.87	c (13,0) x[28][10] = 22
119.81/24.87	c (13,0) x[28][11] = 25
119.81/24.87	c (13,0) x[28][12] = 24
119.81/24.87	c (13,0) x[28][13] = 6
119.81/24.87	c (13,0) x[28][14] = 9
119.81/24.87	c (13,0) x[28][15] = 19
119.81/24.87	c (13,0) x[28][16] = 26
119.81/24.87	c (13,0) x[28][17] = 5
119.81/24.87	c (13,0) x[28][18] = 16
119.81/24.87	c (13,0) x[28][19] = 3
119.81/24.87	c (13,0) x[28][20] = 11
119.81/24.87	c (13,0) x[28][21] = 8
119.81/24.87	c (13,0) x[28][22] = 7
119.81/24.87	c (13,0) x[28][23] = 23
119.81/24.87	c (13,0) x[28][24] = 28
119.81/24.87	c (13,0) x[28][25] = 14
119.81/24.87	c (13,0) x[28][26] = 2
119.81/24.87	c (13,0) x[28][27] = 29
119.81/24.87	c (13,0) x[28][28] = 1
119.81/24.87	c (13,0) x[28][29] = 0
119.81/24.87	c (13,0) x[29][0] = 2
119.81/24.87	c (13,0) x[29][1] = 6
119.81/24.87	c (13,0) x[29][2] = 14
119.81/24.87	c (13,0) x[29][3] = 1
119.81/24.87	c (13,0) x[29][4] = 3
119.81/24.87	c (13,0) x[29][5] = 16
119.81/24.87	c (13,0) x[29][6] = 7
119.81/24.87	c (13,0) x[29][7] = 15
119.81/24.87	c (13,0) x[29][8] = 19
119.81/24.87	c (13,0) x[29][9] = 8
119.81/24.87	c (13,0) x[29][10] = 17
119.81/24.87	c (13,0) x[29][11] = 5
119.81/24.87	c (13,0) x[29][12] = 27
119.81/24.87	c (13,0) x[29][13] = 21
119.81/24.87	c (13,0) x[29][14] = 20
119.81/24.87	c (13,0) x[29][15] = 29
119.81/24.87	c (13,0) x[29][16] = 28
119.81/24.87	c (13,0) x[29][17] = 12
119.81/24.87	c (13,0) x[29][18] = 25
119.81/24.87	c (13,0) x[29][19] = 13
119.81/24.87	c (13,0) x[29][20] = 9
119.81/24.87	c (13,0) x[29][21] = 22
119.81/24.87	c (13,0) x[29][22] = 18
119.81/24.87	c (13,0) x[29][23] = 10
119.81/24.87	c (13,0) x[29][24] = 23
119.81/24.87	c (13,0) x[29][25] = 26
119.81/24.87	c (13,0) x[29][26] = 24
119.81/24.87	c (13,0) x[29][27] = 0
119.81/24.87	c (13,0) x[29][28] = 11
119.81/24.87	c (13,0) x[29][29] = 4
119.81/24.87	s SATISFIABLE
119.81/24.88	v <instantiation>
119.81/24.88	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>
119.81/24.88	v     <values>14 3 19 24 13 9 22 18 0 6 21 7 26 23 25 1 27 20 2 17 28 10 16 12 8 29 11 4 5 15 27 10 28 13 29 21 12 20 16 0 14 26 23 17 24 3 7 11 9 8 22 18 1 6 2 4 15 19 25 5 28 11 22 9 7 6 0 4 12 2 26 23 19 8 21 16 18 14 17 1 10 25 13 20 5 24 3 27 15 29 5 4 21 19 8 28 9 29 18 17 10 24 16 14 11 23 22 13 3 6 26 2 27 0 15 12 1 25 7 20 21 7 26 10 23 5 6 28 27 29 0 17 2 4 15 13 12 24 1 25 14 19 3 8 9 22 18 20 16 11 12 9 6 8 11 1 15 25 14 23 16 20 0 3 13 27 5 19 18 24 29 4 2 21 26 28 22 10 17 7 6 19 11 16 9 12 3 17 28 21 15 14 1 29 5 0 4 23 8 22 7 20 26 18 25 13 27 2 24 10 1 2 5 12 16 20 21 6 8 26 24 3 13 28 29 4 23 15 11 27 17 9 10 19 18 25 7 14 0 22 23 29 12 25 24 0 16 3 26 4 20 13 14 10 17 2 8 7 22 11 5 27 19 15 1 21 9 28 18 6 19 8 0 20 22 11 5 23 13 27 2 29 21 1 3 25 24 17 26 18 16 15 6 9 10 7 28 12 4 14 4 23 27 11 25 14 8 9 2 15 29 18 17 20 22 21 16 1 6 12 3 0 28 24 7 5 10 26 13 19 26 1 15 6 10 8 27 11 24 16 13 2 9 19 7 22 20 28 29 23 25 14 12 4 3 0 17 5 21 18 9 24 16 14 1 22 11 2 4 20 28 27 25 5 6 10 13 8 21 29 18 17 0 3 12 15 23 7 19 26 16 12 18 23 20 24 10 1 7 25 11 21 28 2 26 17 0 29 4 19 27 13 9 5 6 8 14 15 22 3 29 22 10 18 12 4 17 19 9 14 1 6 15 16 23 7 11 0 20 5 21 3 25 28 13 27 8 24 26 2 17 25 13 3 6 19 28 21 5 10 27 4 11 24 2 20 1 26 0 9 15 7 14 22 29 23 16 18 8 12 13 5 25 22 14 7 24 26 29 18 12 16 8 0 28 11 2 6 15 20 23 1 21 27 4 10 19 17 3 9 7 17 8 29 26 3 18 16 23 24 19 28 10 22 4 15 9 25 5 14 0 12 20 11 27 6 21 13 2 1 24 21 1 26 5 25 19 13 6 9 3 10 20 11 27 14 15 2 7 28 4 16 29 17 0 18 12 22 23 8 18 15 24 2 0 23 4 22 1 19 5 11 29 12 8 6 3 9 10 7 20 26 17 13 14 16 25 21 28 27 0 28 4 7 15 29 26 24 22 11 25 9 18 13 14 12 21 27 19 10 6 23 8 1 16 2 5 3 20 17 22 14 23 27 2 13 20 0 25 28 7 19 6 18 10 5 17 3 24 16 8 29 15 26 11 1 4 9 12 21 8 13 9 0 4 17 29 5 3 22 6 15 12 25 19 26 10 18 27 2 1 28 23 7 21 11 20 16 14 24 11 20 2 21 28 15 14 10 17 3 18 8 7 26 16 24 25 22 13 4 12 6 5 29 19 9 0 1 27 23 25 16 3 28 27 2 1 7 11 5 8 22 4 15 12 18 29 10 23 0 19 21 24 14 17 20 26 6 9 13 10 0 17 15 19 27 23 12 20 13 4 1 5 7 18 9 14 21 28 26 2 11 22 25 24 3 29 8 6 16 3 27 29 17 18 26 25 14 15 7 23 0 22 9 1 8 6 16 12 21 24 5 4 2 20 19 13 11 10 28 20 26 7 5 21 18 2 8 10 1 9 12 3 27 0 28 19 4 14 15 13 24 11 16 22 17 6 23 29 25 15 18 20 4 17 10 13 27 21 12 22 25 24 6 9 19 26 5 16 3 11 8 7 23 28 14 2 29 1 0 2 6 14 1 3 16 7 15 19 8 17 5 27 21 20 29 28 12 25 13 9 22 18 10 23 26 24 0 11 4</values>
119.81/24.88	v </instantiation>
119.81/24.88	c (13,0) Show results End
119.81/24.88	c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
119.81/24.88	c (13,0) 13,13,STOP-AFTER(ALL)
119.81/24.88	c END-Prog: Sat Sep 14 08:35:40 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12442 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-4392457-1568442955/watcher-4392457-1568442955 -o /tmp/evaluation-result-4392457-1568442955/solver-4392457-1568442955 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392457-1568442955.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=28917, runsolver pid=28914
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 6.32 6.23 7.18 2/211 28939
/proc/meminfo: memFree=24594460/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420210381 115843072 348 33554432000 4194304 5098028 140733335059632 140733335056888 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 348 296 221 0 87 0
[pid=28920] ppid=28917 vsize=27314120 memory=107640 CPUtime=0.11 cores=0-7
/proc/28920/stat : 28920 (java) S 28917 28917 28228 0 -1 1077944320 6417 0 0 0 8 3 0 0 20 0 20 0 420210382 27969658880 26910 33554432000 4194304 4196468 140727847107248 140727847089792 140102919728887 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
/proc/28920/statm: 6828530 26910 2817 1 0 6790935 0
[pid=28920/tid=28921] ppid=28917 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/28920/task/28921/stat : 28921 (java) R 28917 28917 28228 0 -1 4202560 4505 0 0 0 6 2 0 0 20 0 20 0 420210382 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102891561088 140102911966014 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28922] ppid=28917 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28920/task/28922/stat : 28922 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102923971728 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28923] ppid=28917 vsize=27314120 memory=140018296116864 CPUtime=0 cores=0-7
/proc/28920/task/28923/stat : 28923 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102707366928 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28924] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28924/stat : 28924 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102340696976 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28925] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28925/stat : 28925 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102339644176 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28926] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28926/stat : 28926 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102338591376 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28927] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28927/stat : 28927 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102337538576 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28928] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28928/stat : 28928 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102336485776 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28929] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28929/stat : 28929 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 26910 33554432000 4194304 4196468 140727847107248 140102335432976 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28930] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28930/stat : 28930 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210386 27969658880 26910 33554432000 4194304 4196468 140727847107248 140101910743920 140102919740034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28931] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28931/stat : 28931 (java) S 28917 28917 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420210386 27969658880 26910 33554432000 4194304 4196468 140727847107248 140100893664800 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28932] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28932/stat : 28932 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210387 27969658880 26910 33554432000 4194304 4196468 140727847107248 140100625229168 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28933] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28933/stat : 28933 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 26910 33554432000 4194304 4196468 140727847107248 140100250720592 140102919747483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28934] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28934/stat : 28934 (java) S 28917 28917 28228 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 26910 33554432000 4194304 4196468 140727847107248 140101909690736 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28935] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28935/stat : 28935 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 26910 33554432000 4194304 4196468 140727847107248 140101908637936 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28936] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28936/stat : 28936 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 26910 33554432000 4194304 4196468 140727847107248 140101907585136 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28937] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28937/stat : 28937 (java) S 28917 28917 28228 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 26910 33554432000 4194304 4196468 140727847107248 140101906532336 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28938] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28938/stat : 28938 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 26910 33554432000 4194304 4196468 140727847107248 140099752815712 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28939] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28939/stat : 28939 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210390 27969658880 26910 33554432000 4194304 4196468 140727847107248 140101905480752 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109032 KiB

[startup+0.211573 s]*
/proc/loadavg: 6.32 6.23 7.18 2/211 28939
/proc/meminfo: memFree=24572912/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420210381 115843072 348 33554432000 4194304 5098028 140733335059632 140733335056888 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 348 296 221 0 87 0
[pid=28920] ppid=28917 vsize=27314120 memory=126436 CPUtime=0.24 cores=0-7
/proc/28920/stat : 28920 (java) S 28917 28917 28228 0 -1 1077944320 12021 0 0 0 20 4 0 0 20 0 20 0 420210382 27969658880 31609 33554432000 4194304 4196468 140727847107248 140727847089792 140102919728887 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
/proc/28920/statm: 6828530 31609 2941 1 0 6790935 0
[pid=28920/tid=28921] ppid=28917 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28920/task/28921/stat : 28921 (java) R 28917 28917 28228 0 -1 4202560 9730 0 0 0 16 4 0 0 20 0 20 0 420210382 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102891543952 140102901292512 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28922] ppid=28917 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28920/task/28922/stat : 28922 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102923971728 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28923] ppid=28917 vsize=27314120 memory=140018296143613 CPUtime=0 cores=0-7
/proc/28920/task/28923/stat : 28923 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102707366928 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28924] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28924/stat : 28924 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102340696976 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28925] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28925/stat : 28925 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102339644176 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28926] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28926/stat : 28926 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102338591376 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28927] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28927/stat : 28927 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102337538576 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28928] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28928/stat : 28928 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102336485776 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28929] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28929/stat : 28929 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 31609 33554432000 4194304 4196468 140727847107248 140102335432976 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28930] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28930/stat : 28930 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210386 27969658880 31609 33554432000 4194304 4196468 140727847107248 140101910743920 140102919740034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28931] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28931/stat : 28931 (java) S 28917 28917 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420210386 27969658880 31609 33554432000 4194304 4196468 140727847107248 140100893664800 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28932] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28932/stat : 28932 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210387 27969658880 31609 33554432000 4194304 4196468 140727847107248 140100625229168 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28933] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28933/stat : 28933 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 31609 33554432000 4194304 4196468 140727847107248 140100250720592 140102919747483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28934] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28934/stat : 28934 (java) S 28917 28917 28228 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 31609 33554432000 4194304 4196468 140727847107248 140101909690736 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28935] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28935/stat : 28935 (java) S 28917 28917 28228 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 31609 33554432000 4194304 4196468 140727847107248 140101908637936 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28936] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28936/stat : 28936 (java) S 28917 28917 28228 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 31609 33554432000 4194304 4196468 140727847107248 140101907585136 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28937] ppid=28917 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28920/task/28937/stat : 28937 (java) S 28917 28917 28228 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 420210389 27969658880 31609 33554432000 4194304 4196468 140727847107248 140101906532336 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28938] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28938/stat : 28938 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 31609 33554432000 4194304 4196468 140727847107248 140099752815712 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28939] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28939/stat : 28939 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210390 27969658880 31609 33554432000 4194304 4196468 140727847107248 140101905480752 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127828 KiB

[startup+0.310351 s]*
/proc/loadavg: 6.32 6.23 7.18 2/211 28939
/proc/meminfo: memFree=24570244/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420210381 115843072 348 33554432000 4194304 5098028 140733335059632 140733335056888 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 348 296 221 0 87 0
[pid=28920] ppid=28917 vsize=27314120 memory=130040 CPUtime=0.42 cores=0-7
/proc/28920/stat : 28920 (java) S 28917 28917 28228 0 -1 1077944320 12356 0 0 0 37 5 0 0 20 0 20 0 420210382 27969658880 32510 33554432000 4194304 4196468 140727847107248 140727847089792 140102919728887 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
/proc/28920/statm: 6828530 32510 3048 1 0 6790935 0
[pid=28920/tid=28921] ppid=28917 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28920/task/28921/stat : 28921 (java) R 28917 28917 28228 0 -1 4202560 9917 0 0 0 25 4 0 0 20 0 20 0 420210382 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102891547264 140102902915696 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28922] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28922/stat : 28922 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102923971728 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28923] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28923/stat : 28923 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102707366928 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28924] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28924/stat : 28924 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102340696976 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28925] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28925/stat : 28925 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102339644176 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28926] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28926/stat : 28926 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102338591376 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28927] ppid=28917 vsize=27314120 memory=140018148534959 CPUtime=0 cores=0-7
/proc/28920/task/28927/stat : 28927 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102337538576 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28928] ppid=28917 vsize=27314120 memory=140018148537264 CPUtime=0 cores=0-7
/proc/28920/task/28928/stat : 28928 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102336485776 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28929] ppid=28917 vsize=27314120 memory=140018148539568 CPUtime=0 cores=0-7
/proc/28920/task/28929/stat : 28929 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210384 27969658880 32510 33554432000 4194304 4196468 140727847107248 140102335432976 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28930] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28930/stat : 28930 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210386 27969658880 32510 33554432000 4194304 4196468 140727847107248 140101910743920 140102919740034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28931] ppid=28917 vsize=27314120 memory=280036297093008 CPUtime=0 cores=0-7
/proc/28920/task/28931/stat : 28931 (java) S 28917 28917 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420210386 27969658880 32510 33554432000 4194304 4196468 140727847107248 140100893664800 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28932] ppid=28917 vsize=27314120 memory=280036297090704 CPUtime=0 cores=0-7
/proc/28920/task/28932/stat : 28932 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210387 27969658880 32510 33554432000 4194304 4196468 140727847107248 140100625229168 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28933] ppid=28917 vsize=27314120 memory=280036297097616 CPUtime=0 cores=0-7
/proc/28920/task/28933/stat : 28933 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 32510 33554432000 4194304 4196468 140727847107248 140100250720592 140102919747483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28934] ppid=28917 vsize=27314120 memory=280036297038896 CPUtime=0 cores=0-7
/proc/28920/task/28934/stat : 28934 (java) S 28917 28917 28228 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 32510 33554432000 4194304 4196468 140727847107248 140101909690736 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28935] ppid=28917 vsize=27314120 memory=280036297111440 CPUtime=0.02 cores=0-7
/proc/28920/task/28935/stat : 28935 (java) R 28917 28917 28228 0 -1 4202560 148 0 0 0 2 0 0 0 20 0 20 0 420210389 27969658880 32510 33554432000 4194304 4196468 140727847107248 140101908637936 140102904841904 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28936] ppid=28917 vsize=27314120 memory=280036297118352 CPUtime=0.01 cores=0-7
/proc/28920/task/28936/stat : 28936 (java) S 28917 28917 28228 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 420210389 27969658880 32510 33554432000 4194304 4196468 140727847107248 140101907585136 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28937] ppid=28917 vsize=27314120 memory=280036297116048 CPUtime=0.07 cores=0-7
/proc/28920/task/28937/stat : 28937 (java) S 28917 28917 28228 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 20 0 420210389 27969658880 32510 33554432000 4194304 4196468 140727847107248 140101906532336 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28938] ppid=28917 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28938/stat : 28938 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420210389 27969658880 32510 33554432000 4194304 4196468 140727847107248 140099752815712 140102919739093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28939] ppid=28917 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28920/task/28939/stat : 28939 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210390 27969658880 32510 33554432000 4194304 4196468 140727847107248 140101905480752 140102919740034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131432 KiB

[startup+0.700914 s]
/proc/loadavg: 6.32 6.23 7.18 2/211 28939
/proc/meminfo: memFree=24549148/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420210381 115843072 348 33554432000 4194304 5098028 140733335059632 140733335056888 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 348 296 221 0 87 0
[pid=28920] ppid=28917 vsize=27322516 memory=165796 CPUtime=0.99 cores=0-7
/proc/28920/stat : 28920 (java) S 28917 28917 28228 0 -1 1077944320 20031 0 0 0 91 8 0 0 20 0 20 0 420210382 27978256384 41449 33554432000 4194304 4196468 140727847107248 140727847089792 140102919728887 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
/proc/28920/statm: 6830629 41449 3206 1 0 6791959 0
[pid=28920/tid=28921] ppid=28917 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/28920/task/28921/stat : 28921 (java) R 28917 28917 28228 0 -1 4202560 17046 0 0 0 61 7 0 0 20 0 20 0 420210382 27978256384 41449 33554432000 4194304 4196468 140727847107248 140102891560624 140102919750813 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28922] ppid=28917 vsize=27322516 memory=140018148746096 CPUtime=0 cores=0-7
/proc/28920/task/28922/stat : 28922 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27978256384 41449 33554432000 4194304 4196468 140727847107248 140102923971728 140102919739093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28923] ppid=28917 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/28920/task/28923/stat : 28923 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420210384 27978256384 41449 33554432000 4194304 4196468 140727847107248 140102707366928 140102919739093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0
[pid=28920/tid=28924] ppid=28917 vsize=27322516 memory=1256 CPUtime=0 cores=0-7
/proc/28920/task/28924/stat : 28924 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420210384 27978256384 41449 33554432000 4194304 4196468 140727847107248 140102340696976 140102919739093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35360768 140727847109355 140727847109782 140727847109782 140727847112655 0

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

/proc/28940/task/28951/stat : 28951 (java) S 28917 28917 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420211458 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171357971488 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28952] ppid=28917 vsize=8414124 memory=7955166091236687980 CPUtime=0 cores=0-7
/proc/28940/task/28952/stat : 28952 (java) S 28917 28917 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420211458 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171223749488 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28953] ppid=28917 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28940/task/28953/stat : 28953 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140170849245008 140172756637595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28954] ppid=28917 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/28940/task/28954/stat : 28954 (java) S 28917 28917 28228 0 -1 1077944384 887 0 0 0 13 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171580533616 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28955] ppid=28917 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/28940/task/28955/stat : 28955 (java) S 28917 28917 28228 0 -1 1077944384 356 0 0 0 10 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171579480816 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28956] ppid=28917 vsize=8414124 memory=7018968215529875520 CPUtime=0.09 cores=0-7
/proc/28940/task/28956/stat : 28956 (java) S 28917 28917 28228 0 -1 1077944384 421 0 0 0 9 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171578428016 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28957] ppid=28917 vsize=8414124 memory=3473455226993784117 CPUtime=0.23 cores=0-7
/proc/28940/task/28957/stat : 28957 (java) S 28917 28917 28228 0 -1 1077944384 582 0 0 0 23 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171577375216 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28958] ppid=28917 vsize=8414124 memory=3763093063592849455 CPUtime=0 cores=0-7
/proc/28940/task/28958/stat : 28958 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140170351340128 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28959] ppid=28917 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/28940/task/28959/stat : 28959 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171576322608 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28961] ppid=28917 vsize=8414124 memory=7929203116135822344 CPUtime=0 cores=0-7
/proc/28940/task/28961/stat : 28961 (java) S 28917 28917 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420211532 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171568288832 140172756643609 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28963] ppid=28917 vsize=8414124 memory=7649399397166954546 CPUtime=0 cores=0-7
/proc/28940/task/28963/stat : 28963 (java) S 28917 28917 28228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420211533 8616062976 30559 33554432000 4194304 4196468 140728113165504 140169680240784 140172756640925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28964] ppid=28917 vsize=8414124 memory=7649399362823993394 CPUtime=0 cores=0-7
/proc/28940/task/28964/stat : 28964 (java) S 28917 28917 28228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420211533 8616062976 30559 33554432000 4194304 4196468 140728113165504 140169948676112 140172756640925 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28965] ppid=28917 vsize=8414124 memory=7649399371413927986 CPUtime=0 cores=0-7
/proc/28940/task/28965/stat : 28965 (java) S 28917 28917 28228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420211535 8616062976 30559 33554432000 4194304 4196468 140728113165504 140169411812912 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
Current children cumulated CPU time: 117.79 s
Current children cumulated vsize: 9318260 KiB
Current children cumulated memory: 390732 KiB

[startup+24.4011 s]
/proc/loadavg: 5.64 6.06 7.10 8/223 28973
/proc/meminfo: memFree=24311196/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1472 CPUtime=19.93 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 582 35377 0 0 0 0 1909 84 20 0 1 0 420210381 115843072 368 33554432000 4194304 5098028 140733335059632 140733335056376 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 368 311 221 0 87 0
[pid=28940] ppid=28917 vsize=8414124 memory=122236 CPUtime=1.4 cores=0-7
/proc/28940/stat : 28940 (java) S 28917 28917 28228 0 -1 1077944320 20068 0 0 0 130 10 0 0 20 0 24 0 420211455 8616062976 30559 33554432000 4194304 4196468 140728113165504 140728113148048 140172756618999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
/proc/28940/statm: 2103531 30559 3203 1 0 2064875 0
[pid=28960] ppid=28940 vsize=791008 memory=267988 CPUtime=97.71 cores=0-7
/proc/28960/stat : 28960 (manyglucose-4.1) S 28940 28917 28228 0 -1 1077944320 167278 0 0 0 9730 41 0 0 20 0 3 0 420211532 809992192 66997 33554432000 4194304 4454172 140724037188624 140724037187008 140299974364919 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 37765120 140724037194601 140724037194800 140724037194800 140724037197754 0
/proc/28960/statm: 197752 66997 420 64 0 193420 0
[pid=28960/tid=28966] ppid=28940 vsize=791008 memory=266660 CPUtime=12.42 cores=0-7
/proc/28960/task/28966/stat : 28966 (manyglucose-4.1) R 28940 28917 28228 0 -1 4202560 17661 0 0 0 1236 6 0 0 20 0 3 0 420211574 809992192 66997 33554432000 4194304 4454172 140724037188624 140299939699640 4351289 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 37765120 140724037194601 140724037194800 140724037194800 140724037197754 0
[pid=28960/tid=28967] ppid=28940 vsize=791008 memory=3611978298749454770 CPUtime=12.42 cores=0-7
/proc/28960/task/28967/stat : 28967 (manyglucose-4.1) R 28940 28917 28228 0 -1 4202560 16383 0 0 0 1237 5 0 0 20 0 3 0 420211574 809992192 66997 33554432000 4194304 4454172 140724037188624 140299931306552 4321898 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 37765120 140724037194601 140724037194800 140724037194800 140724037197754 0
[pid=28940/tid=28941] ppid=28917 vsize=8414124 memory=1620 CPUtime=0.79 cores=0-7
/proc/28940/task/28941/stat : 28941 (java) S 28917 28917 28228 0 -1 1077944384 16402 0 0 0 72 7 0 0 20 0 24 0 420211455 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172728459168 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28942] ppid=28917 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/28940/task/28942/stat : 28942 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172760861328 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28943] ppid=28917 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28940/task/28943/stat : 28943 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172241570320 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28944] ppid=28917 vsize=8414124 memory=3540032242238473928 CPUtime=0 cores=0-7
/proc/28940/task/28944/stat : 28944 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172240517520 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28945] ppid=28917 vsize=8414124 memory=280036298688128 CPUtime=0 cores=0-7
/proc/28940/task/28945/stat : 28945 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172239464720 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28946] ppid=28917 vsize=8414124 memory=280036297657464 CPUtime=0 cores=0-7
/proc/28940/task/28946/stat : 28946 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172238412944 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28947] ppid=28917 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28940/task/28947/stat : 28947 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172237360144 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28948] ppid=28917 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28940/task/28948/stat : 28948 (java) S 28917 28917 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172236307344 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28949] ppid=28917 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28940/task/28949/stat : 28949 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211456 8616062976 30559 33554432000 4194304 4196468 140728113165504 140172235254544 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28950] ppid=28917 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28940/task/28950/stat : 28950 (java) S 28917 28917 28228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420211458 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171581585776 140172756630146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28951] ppid=28917 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/28940/task/28951/stat : 28951 (java) S 28917 28917 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420211458 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171357971488 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28952] ppid=28917 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/28940/task/28952/stat : 28952 (java) S 28917 28917 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420211458 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171223749488 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28953] ppid=28917 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/28940/task/28953/stat : 28953 (java) S 28917 28917 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140170849245008 140172756637595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28954] ppid=28917 vsize=8414124 memory=3688 CPUtime=0.13 cores=0-7
/proc/28940/task/28954/stat : 28954 (java) S 28917 28917 28228 0 -1 1077944384 887 0 0 0 13 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171580533616 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28955] ppid=28917 vsize=8414124 memory=1984 CPUtime=0.1 cores=0-7
/proc/28940/task/28955/stat : 28955 (java) S 28917 28917 28228 0 -1 1077944384 356 0 0 0 10 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171579480816 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28956] ppid=28917 vsize=8414124 memory=1440 CPUtime=0.09 cores=0-7
/proc/28940/task/28956/stat : 28956 (java) S 28917 28917 28228 0 -1 1077944384 421 0 0 0 9 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171578428016 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28957] ppid=28917 vsize=8414124 memory=816 CPUtime=0.23 cores=0-7
/proc/28940/task/28957/stat : 28957 (java) S 28917 28917 28228 0 -1 1077944384 582 0 0 0 23 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171577375216 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28958] ppid=28917 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/28940/task/28958/stat : 28958 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140170351340128 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28959] ppid=28917 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/28940/task/28959/stat : 28959 (java) S 28917 28917 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420211461 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171576322608 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28961] ppid=28917 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/28940/task/28961/stat : 28961 (java) S 28917 28917 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420211532 8616062976 30559 33554432000 4194304 4196468 140728113165504 140171568288832 140172756643609 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28963] ppid=28917 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/28940/task/28963/stat : 28963 (java) S 28917 28917 28228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420211533 8616062976 30559 33554432000 4194304 4196468 140728113165504 140169680240784 140172756640925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28964] ppid=28917 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/28940/task/28964/stat : 28964 (java) S 28917 28917 28228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420211533 8616062976 30559 33554432000 4194304 4196468 140728113165504 140169948676112 140172756640925 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28965] ppid=28917 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/28940/task/28965/stat : 28965 (java) S 28917 28917 28228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420211535 8616062976 30559 33554432000 4194304 4196468 140728113165504 140169411812912 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
Current children cumulated CPU time: 119.04 s
Current children cumulated vsize: 9318260 KiB
Current children cumulated memory: 391696 KiB

[startup+24.801 s]
/proc/loadavg: 5.64 6.06 7.10 8/223 28973
/proc/meminfo: memFree=24311196/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1472 CPUtime=19.93 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 582 35377 0 0 0 0 1909 84 20 0 1 0 420210381 115843072 368 33554432000 4194304 5098028 140733335059632 140733335056376 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 368 311 221 0 87 0
[pid=28940] ppid=28917 vsize=8283048 memory=140204 CPUtime=99.88 cores=0-7
/proc/28940/stat : 28940 (java) S 28917 28917 28228 0 -1 1077944320 22019 167291 0 0 182 11 9752 43 20 0 22 0 420211455 8481841152 35051 33554432000 4194304 4196468 140728113165504 140728113148048 140172756618999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
/proc/28940/statm: 2070762 35051 3234 1 0 2032106 0
[pid=28940/tid=28941] ppid=28917 vsize=8283048 memory=56 CPUtime=98.88 cores=0-7
/proc/28940/task/28941/stat : 28941 (java) R 28917 28917 28228 0 -1 4202560 16688 167291 0 0 85 8 9752 43 20 0 22 0 420211455 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172728456992 140172756630934 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28942] ppid=28917 vsize=8283048 memory=6791534058613427641 CPUtime=97.95 cores=0-7
/proc/28940/task/28942/stat : 28942 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172760861328 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28943] ppid=28917 vsize=8283048 memory=122236 CPUtime=97.95 cores=0-7
/proc/28940/task/28943/stat : 28943 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172241570320 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28944] ppid=28917 vsize=8283048 memory=266144 CPUtime=97.95 cores=0-7
/proc/28940/task/28944/stat : 28944 (java) S 28917 28917 28228 0 -1 1077944384 3 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172240517520 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28945] ppid=28917 vsize=8283048 memory=0 CPUtime=97.95 cores=0-7
/proc/28940/task/28945/stat : 28945 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172239464720 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28946] ppid=28917 vsize=8283048 memory=0 CPUtime=97.95 cores=0-7
/proc/28940/task/28946/stat : 28946 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172238412944 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28947] ppid=28917 vsize=8283048 memory=0 CPUtime=97.95 cores=0-7
/proc/28940/task/28947/stat : 28947 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172237360144 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28948] ppid=28917 vsize=8283048 memory=280036296884464 CPUtime=97.95 cores=0-7
/proc/28940/task/28948/stat : 28948 (java) S 28917 28917 28228 0 -1 1077944384 2 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172236307344 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28949] ppid=28917 vsize=8283048 memory=1548 CPUtime=97.95 cores=0-7
/proc/28940/task/28949/stat : 28949 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211456 8481841152 35051 33554432000 4194304 4196468 140728113165504 140172235254544 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28950] ppid=28917 vsize=8283048 memory=1728 CPUtime=97.95 cores=0-7
/proc/28940/task/28950/stat : 28950 (java) S 28917 28917 28228 0 -1 1077944384 8 167291 0 0 0 0 9752 43 20 0 22 0 420211458 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171581585776 140172756630146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28951] ppid=28917 vsize=8283048 memory=7992 CPUtime=97.95 cores=0-7
/proc/28940/task/28951/stat : 28951 (java) S 28917 28917 28228 0 -1 1077944384 13 167291 0 0 0 0 9752 43 20 0 22 0 420211458 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171357971488 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28952] ppid=28917 vsize=8283048 memory=9580 CPUtime=97.95 cores=0-7
/proc/28940/task/28952/stat : 28952 (java) S 28917 28917 28228 0 -1 1077944384 21 167291 0 0 0 0 9752 43 20 0 22 0 420211458 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171223749488 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28953] ppid=28917 vsize=8283048 memory=1052 CPUtime=97.95 cores=0-7
/proc/28940/task/28953/stat : 28953 (java) S 28917 28917 28228 0 -1 1077944384 1 167291 0 0 0 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140170849245008 140172756637595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28954] ppid=28917 vsize=8283048 memory=776 CPUtime=98.16 cores=0-7
/proc/28940/task/28954/stat : 28954 (java) R 28917 28917 28228 0 -1 4202560 1021 167291 0 0 21 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171580522048 140172738163542 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28955] ppid=28917 vsize=8283048 memory=2832 CPUtime=98.11 cores=0-7
/proc/28940/task/28955/stat : 28955 (java) R 28917 28917 28228 0 -1 4202560 399 167291 0 0 16 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171579480816 140172749604041 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28956] ppid=28917 vsize=8283048 memory=0 CPUtime=98.1 cores=0-7
/proc/28940/task/28956/stat : 28956 (java) S 28917 28917 28228 0 -1 1077944384 636 167291 0 0 15 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171578428016 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28957] ppid=28917 vsize=8283048 memory=9047017150487036571 CPUtime=98.29 cores=0-7
/proc/28940/task/28957/stat : 28957 (java) S 28917 28917 28228 0 -1 1077944384 1297 167291 0 0 34 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171577375216 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28958] ppid=28917 vsize=8283048 memory=8514726395714825349 CPUtime=97.95 cores=0-7
/proc/28940/task/28958/stat : 28958 (java) S 28917 28917 28228 0 -1 1077944384 3 167291 0 0 0 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140170351340128 140172756629205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28959] ppid=28917 vsize=8283048 memory=-8253362762722141311 CPUtime=97.95 cores=0-7
/proc/28940/task/28959/stat : 28959 (java) S 28917 28917 28228 0 -1 1077944384 3 167291 0 0 0 0 9752 43 20 0 22 0 420211461 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171576322608 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28961] ppid=28917 vsize=8283048 memory=-8412656567318647667 CPUtime=97.95 cores=0-7
/proc/28940/task/28961/stat : 28961 (java) S 28917 28917 28228 0 -1 1077944384 25 167291 0 0 0 0 9752 43 20 0 22 0 420211532 8481841152 35051 33554432000 4194304 4196468 140728113165504 140171568288016 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
[pid=28940/tid=28965] ppid=28917 vsize=8283048 memory=4427205132082312746 CPUtime=97.95 cores=0-7
/proc/28940/task/28965/stat : 28965 (java) S 28917 28917 28228 0 -1 1077944384 15 167291 0 0 0 0 9752 43 20 0 22 0 420211535 8481841152 35051 33554432000 4194304 4196468 140728113165504 140169411814704 140172756630146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7680000 140728113169399 140728113169558 140728113169558 140728113172431 0
Current children cumulated CPU time: 119.81 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 141676 KiB

[startup+24.901 s]
/proc/loadavg: 5.64 6.06 7.10 8/223 28973
/proc/meminfo: memFree=24311196/32770624 swapFree=66939852/67108860
[pid=28917] ppid=28914 vsize=113128 memory=1472 CPUtime=19.93 cores=0-7
/proc/28917/stat : 28917 (scop.sh) S 28914 28917 28228 0 -1 4202496 582 35377 0 0 0 0 1909 84 20 0 1 0 420210381 115843072 368 33554432000 4194304 5098028 140733335059632 140733335056376 140682103116412 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39194624 140733335061285 140733335061612 140733335061612 140733335064525 0
/proc/28917/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 19.93 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 24.9046
CPU time (s): 120.131
CPU user time (s): 118.71
CPU system time (s): 1.4206
CPU usage (%): 482.363
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4337828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.71
system time used= 1.4206
maximum resident set size= 4336828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13696
involuntary context switches= 1122


# summary of solver processes directly reported to runsolver:
#   pid: 28917
#   total CPU time (s): 120.131
#   total CPU user time (s): 118.71
#   total CPU system time (s): 1.4206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.189383 second user time and 0.392521 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 08:35:15
IDJOB=4392457
IDBENCH=138963
IDSOLVER=2838
FILE ID=node119/4392457-1568442955
RUNJOBID= node119-1568442536-28255
PBS_JOBID= 21702345
Free space on /tmp= 61504 MiB

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

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

MD5SUM BENCH= 595b80e98a8312b53afa04c8c4859da3
RANDOM SEED=775577930

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:        24690832 kB
MemAvailable:   31821776 kB
Buffers:          191944 kB
Cached:          7207992 kB
SwapCached:        61128 kB
Active:          2827952 kB
Inactive:        4635512 kB
Active(anon):       2772 kB
Inactive(anon):   102744 kB
Active(file):    2825180 kB
Inactive(file):  4532768 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:             20840 kB
Writeback:             0 kB
AnonPages:        112432 kB
Mapped:            44892 kB
Shmem:             32816 kB
Slab:             207868 kB
SReclaimable:     177660 kB
SUnreclaim:        30208 kB
KernelStack:        3344 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498192 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:35:40