Trace number 4405317

Some explanations

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

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

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

Solver answer on this benchmark

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

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-21586-serial-file.bin HOME/instance-4405317-1569359234.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 23:06:31 CEST 2019
0.65/0.57	c PID: 21589
0.65/0.57	c IP: 172.20.3.121
0.65/0.57	c HOST: node121.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.65/1.07	c (0,0) Parsing End
1.65/1.08	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.65/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.08	c (0,0) Constraint Name Generate Begin
1.65/1.09	c (0,0) Ctr:HOME/instance-4405317-1569359234.xml,AllDifferentMatrix:Instantiation:Var
1.65/1.09	c (0,0) Constraint Name Generate End
1.65/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.09	c (0,0) CSP to CSPinCNF Begin
1.95/1.12	c (0,0) translated 1 (10%) constraints
5.67/2.84	c (2,2) translated 2 (20%) constraints
5.67/2.87	c (2,2) ===========================================
5.67/2.87	c (2,2) Order
5.67/2.87	c (2,2) ===========================================
7.97/3.43	c (2,2) translated 2855 (10%) constraints
9.03/3.78	c (3,3) translated 5710 (20%) constraints
9.50/4.12	c (3,3) translated 8564 (30%) constraints
9.79/4.44	c (3,3) translated 11419 (40%) constraints
10.09/4.78	c (4,4) translated 14273 (50%) constraints
10.46/5.07	c (4,4) translated 17128 (60%) constraints
10.77/5.35	c (4,4) translated 19983 (70%) constraints
11.10/5.63	c (5,5) translated 22837 (80%) constraints
11.41/5.94	c (5,5) translated 25692 (90%) constraints
11.62/6.19	c (5,5) translated 28546 (100%) constraints
11.62/6.20	c (5,5) CSP to CSPinCNF End
11.75/6.20	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137072 ctr, max domain size 30
11.75/6.20	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.75/6.20	c (5,5) CSPinCNF Propagation Begin
15.15/8.31	c (7,7) 20984 values, 89563 unsatisfiable literals, and 93156 valid clauses are removed
15.15/8.31	c (7,7) CSPinCNF Propagation End
15.15/8.32	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 43916 ctr, max domain size 30
15.15/8.32	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.15/8.32	c (7,7) Simplify CSPinCNF Begin
16.16/8.82	c (8,8) Simplify CSPinCNF End
16.16/8.83	c (8,8) CSP: 866 int (0 aux), 52164 bool (52130 aux), 69046 ctr, max domain size 30
16.16/8.83	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.16/8.83	c (8,8) Calculate Precise Domain Begin
16.16/8.83	c (8,8) 0 values are removed by re-calculation
16.16/8.83	c (8,8) Calculate Precise Domain End
16.16/8.85	c (8,8) CSP: 866 int (0 aux), 52164 bool (52130 aux), 69046 ctr, max domain size 30
16.16/8.85	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.16/8.85	c (8,8) CSPinCNF to SatSolver Begin
17.90/9.39	c (8,8) 6905 (10 %) CSP clauses are encoded (0 SAT variables, 28946 SAT clauses)
18.54/9.56	c (9,9) 13810 (20 %) CSP clauses are encoded (0 SAT variables, 50277 SAT clauses)
18.82/9.71	c (9,9) 20714 (30 %) CSP clauses are encoded (0 SAT variables, 70315 SAT clauses)
18.92/9.85	c (9,9) 27619 (40 %) CSP clauses are encoded (0 SAT variables, 89726 SAT clauses)
19.03/10.00	c (9,9) 34523 (50 %) CSP clauses are encoded (0 SAT variables, 110514 SAT clauses)
19.24/10.14	c (9,9) 41428 (60 %) CSP clauses are encoded (0 SAT variables, 131411 SAT clauses)
19.37/10.28	c (9,9) 48333 (70 %) CSP clauses are encoded (0 SAT variables, 152238 SAT clauses)
19.58/10.42	c (9,9) 55237 (80 %) CSP clauses are encoded (0 SAT variables, 173248 SAT clauses)
19.69/10.56	c (10,9) 62142 (90 %) CSP clauses are encoded (0 SAT variables, 194265 SAT clauses)
19.89/10.70	c (10,10) 69046 (100 %) CSP clauses are encoded (0 SAT variables, 214615 SAT clauses)
19.89/10.70	c (10,10) CSPinCNF to SatSolver End
19.89/10.70	c (10,10) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.89/10.70	c (10,10) 40772 bool, 214616 clause
19.89/10.70	c (10,10) Export Begin
20.10/10.83	c (10,10) Export to HOME/scop-21586-serial-file.bin
20.10/10.83	c (10,10) Export End
20.10/10.83	c (10,10) Export File Size: 0.15 MB
20.10/10.83	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.10/10.84	c END-Prog: Tue Sep 24 23:06:42 CEST 2019
20.10/10.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21586-serial-file.bin
20.84/11.33	c (0,0) Read Serial File Begin
20.84/11.33	c (0,0) HOME/scop-21586-serial-file.bin
21.12/11.59	c (0,0) Read Serial File End
21.46/11.60	
21.46/11.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.46/11.60	(Solving Process)
21.46/11.60	
21.46/11.62	c BEGIN-Prog: Tue Sep 24 23:06:42 CEST 2019
21.46/11.62	c PID: 21609
21.46/11.62	c IP: 172.20.3.121
21.46/11.62	c HOST: node121.alineos.net
21.46/11.63	c (0,0) SatSolver.solve Begin
21.46/11.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405317-1569359234.xml-scop-21589.cnf
21.46/11.65	c (0,0) c
21.46/11.65	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.46/11.65	c (0,0) c
21.46/11.65	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.46/11.65	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.46/11.65	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.46/11.65	c (0,0) c |                                                                                                       |
21.69/11.73	c (0,0) c |  Number of variables:         40772                                                                   |
21.69/11.73	c (0,0) c |  Number of clauses:          214616                                                                   |
21.69/11.73	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.69/11.73	c (0,0) c |                                                                                                       |
21.69/11.94	c (0,0) c |  Simplification time:          0.20 s                                                                 |
21.69/11.94	c (0,0) c |                                                                                                       |
21.69/11.94	c (0,0) c |  Generating clones                                                                                    |
22.03/12.06	c (0,0) c |  all clones generated. Memory =   201.55Mb.                                                           |
22.03/12.06	c (0,0) c ========================================================================================================|
22.03/12.06	c (0,0) c
22.03/12.06	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.03/12.06	c (0,0) c
22.03/12.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.03/12.06	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.03/12.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.03/12.06	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.03/12.06	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.03/12.06	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.03/12.06	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.03/12.06	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.03/12.06	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.03/12.06	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.03/12.06	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.03/12.06	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.03/12.06	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.03/12.06	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.03/12.06	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.03/12.06	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.03/12.06	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.03/12.06	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.03/12.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c real time : 12.857 s
118.91/24.51	c (13,0) c cpu time  : 96.8276 s
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c | Conflicts     |          132074 |      16449 |      16383 |      16395 |      16838 |      16409 |      16408 |      16382 |      16810 |
118.91/24.51	c (13,0) c | Decisions     |         1785722 |     221159 |     225418 |     219871 |     223694 |     222252 |     224499 |     226447 |     222382 |
118.91/24.51	c (13,0) c | Propagations  |       173511524 |   21573707 |   21831136 |   21573859 |   21710729 |   21691224 |   21670217 |   21728957 |   21731695 |
118.91/24.51	c (13,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
118.91/24.51	c (13,0) c | SimpDBs       |             301 |         38 |         38 |         37 |         37 |         38 |         37 |         38 |         38 |
118.91/24.51	c (13,0) c | Restarts      |            1742 |        202 |        214 |        217 |        215 |        219 |        233 |        219 |        223 |
118.91/24.51	c (13,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
118.91/24.51	c (13,0) c | PropBinClauses|       376934787 |   47099386 |   47271665 |   46853748 |   46999138 |   46996689 |   47056898 |   47346231 |   47311032 |
118.91/24.51	c (13,0) c | PropPreBlocker|      1665141633 |  207752714 |  207740082 |  208203234 |  207977431 |  208007621 |  208363199 |  207730800 |  209366552 |
118.91/24.51	c (13,0) c | PropNotBlocker|       436651987 |   54679464 |   54258684 |   54785823 |   54463159 |   54498874 |   54997316 |   54179703 |   54788964 |
118.91/24.51	c (13,0) c | LitFullScans  |      2884252874 |  360083895 |  360070452 |  360278437 |  360161657 |  360147316 |  360732795 |  360059466 |  362718856 |
118.91/24.51	c (13,0) c | LitScanFracts |          756136 |      35256 |      56985 |     258971 |     126015 |     130840 |      74450 |      26405 |      47214 |
118.91/24.51	c (13,0) c | DecisionLevel0|           12552 |       1559 |       1603 |       1548 |       1575 |       1548 |       1574 |       1595 |       1550 |
118.91/24.51	c (13,0) c | Periods       |             480 |         60 |         60 |         60 |         60 |         60 |         60 |         60 |         60 |
118.91/24.51	c (13,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
118.91/24.51	c (13,0) c | Avg_Trail     |                 |       7945 |       7918 |       8020 |       7961 |       8006 |       8003 |       7936 |       7953 |
118.91/24.51	c (13,0) c | Avg_DL        |                 |         91 |         90 |         91 |         92 |         90 |         90 |         90 |         92 |
118.91/24.51	c (13,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
118.91/24.51	c (13,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c | Exported      |           32990 |       4094 |       4150 |       4140 |       4194 |       4106 |       4174 |       4093 |       4039 |
118.91/24.51	c (13,0) c | Imported      |          170292 |      21258 |      21200 |      21269 |      21127 |      21228 |      21232 |      21250 |      21728 |
118.91/24.51	c (13,0) c | Good          |           42427 |       5300 |       5259 |       5314 |       5271 |       5311 |       5291 |       5299 |       5382 |
118.91/24.51	c (13,0) c | Purge         |          127865 |      15958 |      15941 |      15955 |      15856 |      15917 |      15941 |      15951 |      16346 |
118.91/24.51	c (13,0) c | Promoted      |            5350 |        676 |        634 |        671 |        701 |        657 |        685 |        652 |        674 |
118.91/24.51	c (13,0) c | Remove_Imp    |           37373 |       5016 |       4900 |       4941 |       3439 |       4987 |       4982 |       4933 |       4175 |
118.91/24.51	c (13,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c | Unaries       |                 |       1357 |       1389 |       1331 |       1360 |       1329 |       1341 |       1376 |       1327 |
118.91/24.51	c (13,0) c | Binaries      |                 |        921 |        952 |        918 |        954 |        915 |        936 |        920 |        926 |
118.91/24.51	c (13,0) c | Glues         |                 |       1511 |       1579 |       1488 |       1542 |       1479 |       1528 |       1475 |       1525 |
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c | Orig_Seen     |            29 % |      47899 |      48208 |      48442 |      48565 |      48141 |      48340 |      48305 |      48564 |
118.91/24.51	c (13,0) c | Diff Orig seen|                 | -      441 | -      132 |        102 |        225 | -      199 |      X     | -       35 |        224 |
118.91/24.51	c (13,0) c | Hamming       |            12 % |       4988 |       4853 |       5539 |       5026 |       4948 |      X     |       5267 |       4840 |
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c | RunningTime   |                 |   12.4 100%|   12.4 100%|   12.0 100%|   12.1 100%|   12.0 100%|   11.9 100%|   12.3 100%|   11.9 100%|
118.91/24.51	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%|
118.91/24.51	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%|
118.91/24.51	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%|
118.91/24.51	c (13,0) c | SolvingTime   |                 |   12.4     |   12.4     |   12.0     |   12.2     |   12.0     |   11.9     |   12.3     |   11.9     |
118.91/24.51	c (13,0) c | PropagationTim|                 |   11.0  88%|   10.9  87%|   10.5  87%|   10.6  87%|   10.5  88%|   10.4  88%|   10.8  88%|   10.4  87%|
118.91/24.51	c (13,0) c | AnalysisTime  |                 |    0.6   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.6   5%|
118.91/24.51	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%|
118.91/24.51	c (13,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   1%|    0.2   2%|    0.2   2%|
118.91/24.51	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%|
118.91/24.51	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%|
118.91/24.51	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c
118.91/24.51	c (13,0) c Threads : 8
118.91/24.51	c (13,0) c Winner : 5
118.91/24.51	c (13,0) c Conflicts_0 : 16449
118.91/24.51	c (13,0) c Conflicts_1 : 16383
118.91/24.51	c (13,0) c Conflicts_2 : 16395
118.91/24.51	c (13,0) c Conflicts_3 : 16838
118.91/24.51	c (13,0) c Conflicts_4 : 16409
118.91/24.51	c (13,0) c Conflicts_5 : 16408
118.91/24.51	c (13,0) c Conflicts_6 : 16382
118.91/24.51	c (13,0) c Conflicts_7 : 16810
118.91/24.51	c (13,0) c Conflicts_total : 132074
118.91/24.51	c (13,0) c Conflicts_winner : 16408
118.91/24.51	c (13,0) c Decisions_0 : 221159
118.91/24.51	c (13,0) c Decisions_1 : 225418
118.91/24.51	c (13,0) c Decisions_2 : 219871
118.91/24.51	c (13,0) c Decisions_3 : 223694
118.91/24.51	c (13,0) c Decisions_4 : 222252
118.91/24.51	c (13,0) c Decisions_5 : 224499
118.91/24.51	c (13,0) c Decisions_6 : 226447
118.91/24.51	c (13,0) c Decisions_7 : 222382
118.91/24.51	c (13,0) c Decisions_total : 1785722
118.91/24.51	c (13,0) c Decisions_winner : 224499
118.91/24.51	c (13,0) c Propagations_0 : 21573707
118.91/24.51	c (13,0) c Propagations_1 : 21831136
118.91/24.51	c (13,0) c Propagations_2 : 21573859
118.91/24.51	c (13,0) c Propagations_3 : 21710729
118.91/24.51	c (13,0) c Propagations_4 : 21691224
118.91/24.51	c (13,0) c Propagations_5 : 21670217
118.91/24.51	c (13,0) c Propagations_6 : 21728957
118.91/24.51	c (13,0) c Propagations_7 : 21731695
118.91/24.51	c (13,0) c Propagations_total : 173511524
118.91/24.51	c (13,0) c Propagations_winner : 21670217
118.91/24.51	c (13,0) c ReduceDBs_0 : 3
118.91/24.51	c (13,0) c ReduceDBs_1 : 3
118.91/24.51	c (13,0) c ReduceDBs_2 : 3
118.91/24.51	c (13,0) c ReduceDBs_3 : 3
118.91/24.51	c (13,0) c ReduceDBs_4 : 3
118.91/24.51	c (13,0) c ReduceDBs_5 : 3
118.91/24.51	c (13,0) c ReduceDBs_6 : 3
118.91/24.51	c (13,0) c ReduceDBs_7 : 3
118.91/24.51	c (13,0) c ReduceDBs_total : 24
118.91/24.51	c (13,0) c ReduceDBs_winner : 3
118.91/24.51	c (13,0) c SimpDBs_0 : 38
118.91/24.51	c (13,0) c SimpDBs_1 : 38
118.91/24.51	c (13,0) c SimpDBs_2 : 37
118.91/24.51	c (13,0) c SimpDBs_3 : 37
118.91/24.51	c (13,0) c SimpDBs_4 : 38
118.91/24.51	c (13,0) c SimpDBs_5 : 37
118.91/24.51	c (13,0) c SimpDBs_6 : 38
118.91/24.51	c (13,0) c SimpDBs_7 : 38
118.91/24.51	c (13,0) c SimpDBs_total : 301
118.91/24.51	c (13,0) c SimpDBs_winner : 37
118.91/24.51	c (13,0) c Restarts_0 : 202
118.91/24.51	c (13,0) c Restarts_1 : 214
118.91/24.51	c (13,0) c Restarts_2 : 217
118.91/24.51	c (13,0) c Restarts_3 : 215
118.91/24.51	c (13,0) c Restarts_4 : 219
118.91/24.51	c (13,0) c Restarts_5 : 233
118.91/24.51	c (13,0) c Restarts_6 : 219
118.91/24.51	c (13,0) c Restarts_7 : 223
118.91/24.51	c (13,0) c Restarts_total : 1742
118.91/24.51	c (13,0) c Restarts_winner : 233
118.91/24.51	c (13,0) c ForcedImports_0 : 0
118.91/24.51	c (13,0) c ForcedImports_1 : 0
118.91/24.51	c (13,0) c ForcedImports_2 : 0
118.91/24.51	c (13,0) c ForcedImports_3 : 0
118.91/24.51	c (13,0) c ForcedImports_4 : 0
118.91/24.51	c (13,0) c ForcedImports_5 : 0
118.91/24.51	c (13,0) c ForcedImports_6 : 0
118.91/24.51	c (13,0) c ForcedImports_7 : 0
118.91/24.51	c (13,0) c ForcedImports_total : 0
118.91/24.51	c (13,0) c ForcedImports_winner : 0
118.91/24.51	c (13,0) c PropsBinClauses_0 : 47099386
118.91/24.51	c (13,0) c PropsBinClauses_1 : 47271665
118.91/24.51	c (13,0) c PropsBinClauses_2 : 46853748
118.91/24.51	c (13,0) c PropsBinClauses_3 : 46999138
118.91/24.51	c (13,0) c PropsBinClauses_4 : 46996689
118.91/24.51	c (13,0) c PropsBinClauses_5 : 47056898
118.91/24.51	c (13,0) c PropsBinClauses_6 : 47346231
118.91/24.51	c (13,0) c PropsBinClauses_7 : 47311032
118.91/24.51	c (13,0) c PropsBinClauses_total : 376934787
118.91/24.51	c (13,0) c PropsBinClauses_winner : 47056898
118.91/24.51	c (13,0) c PropsPreBlocker_0 : 207752714
118.91/24.51	c (13,0) c PropsPreBlocker_1 : 207740082
118.91/24.51	c (13,0) c PropsPreBlocker_2 : 208203234
118.91/24.51	c (13,0) c PropsPreBlocker_3 : 207977431
118.91/24.51	c (13,0) c PropsPreBlocker_4 : 208007621
118.91/24.51	c (13,0) c PropsPreBlocker_5 : 208363199
118.91/24.51	c (13,0) c PropsPreBlocker_6 : 207730800
118.91/24.51	c (13,0) c PropsPreBlocker_7 : 209366552
118.91/24.51	c (13,0) c PropsPreBlocker_total : 1665141633
118.91/24.51	c (13,0) c PropsPreBlocker_winner : 208363199
118.91/24.51	c (13,0) c PropsNotBlocker_0 : 54679464
118.91/24.51	c (13,0) c PropsNotBlocker_1 : 54258684
118.91/24.51	c (13,0) c PropsNotBlocker_2 : 54785823
118.91/24.51	c (13,0) c PropsNotBlocker_3 : 54463159
118.91/24.51	c (13,0) c PropsNotBlocker_4 : 54498874
118.91/24.51	c (13,0) c PropsNotBlocker_5 : 54997316
118.91/24.51	c (13,0) c PropsNotBlocker_6 : 54179703
118.91/24.51	c (13,0) c PropsNotBlocker_7 : 54788964
118.91/24.51	c (13,0) c PropsNotBlocker_total : 436651987
118.91/24.51	c (13,0) c PropsNotBlocker_winner : 54997316
118.91/24.51	c (13,0) c PropsLitFullScans_0 : 360083895
118.91/24.51	c (13,0) c PropsLitFullScans_1 : 360070452
118.91/24.51	c (13,0) c PropsLitFullScans_2 : 360278437
118.91/24.51	c (13,0) c PropsLitFullScans_3 : 360161657
118.91/24.51	c (13,0) c PropsLitFullScans_4 : 360147316
118.91/24.51	c (13,0) c PropsLitFullScans_5 : 360732795
118.91/24.51	c (13,0) c PropsLitFullScans_6 : 360059466
118.91/24.51	c (13,0) c PropsLitFullScans_7 : 362718856
118.91/24.51	c (13,0) c PropsLitFullScans_total : 2884252874
118.91/24.51	c (13,0) c PropsLitFullScans_winner : 360732795
118.91/24.51	c (13,0) c LitScanFractions_0 : 35256
118.91/24.51	c (13,0) c LitScanFractions_1 : 56985
118.91/24.51	c (13,0) c LitScanFractions_2 : 258971
118.91/24.51	c (13,0) c LitScanFractions_3 : 126015
118.91/24.51	c (13,0) c LitScanFractions_4 : 130840
118.91/24.51	c (13,0) c LitScanFractions_5 : 74450
118.91/24.51	c (13,0) c LitScanFractions_6 : 26405
118.91/24.51	c (13,0) c LitScanFractions_7 : 47214
118.91/24.51	c (13,0) c LitScanFractions_total : 756136
118.91/24.51	c (13,0) c LitScanFractions_winner : 74450
118.91/24.51	c (13,0) c DecisionLevel0_0 : 1559
118.91/24.51	c (13,0) c DecisionLevel0_1 : 1603
118.91/24.51	c (13,0) c DecisionLevel0_2 : 1548
118.91/24.51	c (13,0) c DecisionLevel0_3 : 1575
118.91/24.51	c (13,0) c DecisionLevel0_4 : 1548
118.91/24.51	c (13,0) c DecisionLevel0_5 : 1574
118.91/24.51	c (13,0) c DecisionLevel0_6 : 1595
118.91/24.51	c (13,0) c DecisionLevel0_7 : 1550
118.91/24.51	c (13,0) c DecisionLevel0_total : 12552
118.91/24.52	c (13,0) c DecisionLevel0_winner : 1574
118.91/24.52	c (13,0) c Periods_0 : 60
118.91/24.52	c (13,0) c Periods_1 : 60
118.91/24.52	c (13,0) c Periods_2 : 60
118.91/24.52	c (13,0) c Periods_3 : 60
118.91/24.52	c (13,0) c Periods_4 : 60
118.91/24.52	c (13,0) c Periods_5 : 60
118.91/24.52	c (13,0) c Periods_6 : 60
118.91/24.52	c (13,0) c Periods_7 : 60
118.91/24.52	c (13,0) c Periods_total : 480
118.91/24.52	c (13,0) c Periods_winner : 60
118.91/24.52	c (13,0) c Margin_0 : 20
118.91/24.52	c (13,0) c Margin_1 : 20
118.91/24.52	c (13,0) c Margin_2 : 20
118.91/24.52	c (13,0) c Margin_3 : 20
118.91/24.52	c (13,0) c Margin_4 : 20
118.91/24.52	c (13,0) c Margin_5 : 20
118.91/24.52	c (13,0) c Margin_6 : 20
118.91/24.52	c (13,0) c Margin_7 : 20
118.91/24.52	c (13,0) c Margin_total : 160
118.91/24.52	c (13,0) c Margin_winner : 20
118.91/24.52	c (13,0) c Exported_0 : 4094
118.91/24.52	c (13,0) c Exported_1 : 4150
118.91/24.52	c (13,0) c Exported_2 : 4140
118.91/24.52	c (13,0) c Exported_3 : 4194
118.91/24.52	c (13,0) c Exported_4 : 4106
118.91/24.52	c (13,0) c Exported_5 : 4174
118.91/24.52	c (13,0) c Exported_6 : 4093
118.91/24.52	c (13,0) c Exported_7 : 4039
118.91/24.52	c (13,0) c Exported_total : 32990
118.91/24.52	c (13,0) c Exported_winner : 4174
118.91/24.52	c (13,0) c Imported_0 : 21258
118.91/24.52	c (13,0) c Imported_1 : 21200
118.91/24.52	c (13,0) c Imported_2 : 21269
118.91/24.52	c (13,0) c Imported_3 : 21127
118.91/24.52	c (13,0) c Imported_4 : 21228
118.91/24.52	c (13,0) c Imported_5 : 21232
118.91/24.52	c (13,0) c Imported_6 : 21250
118.91/24.52	c (13,0) c Imported_7 : 21728
118.91/24.52	c (13,0) c Imported_total : 170292
118.91/24.52	c (13,0) c Imported_winner : 21232
118.91/24.52	c (13,0) c Good_0 : 5300
118.91/24.52	c (13,0) c Good_1 : 5259
118.91/24.52	c (13,0) c Good_2 : 5314
118.91/24.52	c (13,0) c Good_3 : 5271
118.91/24.52	c (13,0) c Good_4 : 5311
118.91/24.52	c (13,0) c Good_5 : 5291
118.91/24.52	c (13,0) c Good_6 : 5299
118.91/24.52	c (13,0) c Good_7 : 5382
118.91/24.52	c (13,0) c Good_total : 42427
118.91/24.52	c (13,0) c Good_winner : 5291
118.91/24.52	c (13,0) c Purge_0 : 15958
118.91/24.52	c (13,0) c Purge_1 : 15941
118.91/24.52	c (13,0) c Purge_2 : 15955
118.91/24.52	c (13,0) c Purge_3 : 15856
118.91/24.52	c (13,0) c Purge_4 : 15917
118.91/24.52	c (13,0) c Purge_5 : 15941
118.91/24.52	c (13,0) c Purge_6 : 15951
118.91/24.52	c (13,0) c Purge_7 : 16346
118.91/24.52	c (13,0) c Purge_total : 127865
118.91/24.52	c (13,0) c Purge_winner : 15941
118.91/24.52	c (13,0) c Promoted_0 : 676
118.91/24.52	c (13,0) c Promoted_1 : 634
118.91/24.52	c (13,0) c Promoted_2 : 671
118.91/24.52	c (13,0) c Promoted_3 : 701
118.91/24.52	c (13,0) c Promoted_4 : 657
118.91/24.52	c (13,0) c Promoted_5 : 685
118.91/24.52	c (13,0) c Promoted_6 : 652
118.91/24.52	c (13,0) c Promoted_7 : 674
118.91/24.52	c (13,0) c Promoted_total : 5350
118.91/24.52	c (13,0) c Promoted_winner : 685
118.91/24.52	c (13,0) c Remove_Imp_0 : 5016
118.91/24.52	c (13,0) c Remove_Imp_1 : 4900
118.91/24.52	c (13,0) c Remove_Imp_2 : 4941
118.91/24.52	c (13,0) c Remove_Imp_3 : 3439
118.91/24.52	c (13,0) c Remove_Imp_4 : 4987
118.91/24.52	c (13,0) c Remove_Imp_5 : 4982
118.91/24.52	c (13,0) c Remove_Imp_6 : 4933
118.91/24.52	c (13,0) c Remove_Imp_7 : 4175
118.91/24.52	c (13,0) c Remove_Imp_total : 37373
118.91/24.52	c (13,0) c Remove_Imp_winner : 4982
118.91/24.52	c (13,0) c Blocked_Reuse_0 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_1 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_2 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_3 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_4 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_5 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_6 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_7 : 0
118.91/24.52	c (13,0) c Blocked_Reuse_total : 0
118.91/24.52	c (13,0) c Blocked_Reuse_winner : 0
118.91/24.52	c (13,0) c Unaries_0 : 1357
118.91/24.52	c (13,0) c Unaries_1 : 1389
118.91/24.52	c (13,0) c Unaries_2 : 1331
118.91/24.52	c (13,0) c Unaries_3 : 1360
118.91/24.52	c (13,0) c Unaries_4 : 1329
118.91/24.52	c (13,0) c Unaries_5 : 1341
118.91/24.52	c (13,0) c Unaries_6 : 1376
118.91/24.52	c (13,0) c Unaries_7 : 1327
118.91/24.52	c (13,0) c Unaries_total : 10810
118.91/24.52	c (13,0) c Unaries_winner : 1341
118.91/24.52	c (13,0) c Binaries_0 : 921
118.91/24.52	c (13,0) c Binaries_1 : 952
118.91/24.52	c (13,0) c Binaries_2 : 918
118.91/24.52	c (13,0) c Binaries_3 : 954
118.91/24.52	c (13,0) c Binaries_4 : 915
118.91/24.52	c (13,0) c Binaries_5 : 936
118.91/24.52	c (13,0) c Binaries_6 : 920
118.91/24.52	c (13,0) c Binaries_7 : 926
118.91/24.52	c (13,0) c Binaries_total : 7442
118.91/24.52	c (13,0) c Binaries_winner : 936
118.91/24.52	c (13,0) c Glues_0 : 1511
118.91/24.52	c (13,0) c Glues_1 : 1579
118.91/24.52	c (13,0) c Glues_2 : 1488
118.91/24.52	c (13,0) c Glues_3 : 1542
118.91/24.52	c (13,0) c Glues_4 : 1479
118.91/24.52	c (13,0) c Glues_5 : 1528
118.91/24.52	c (13,0) c Glues_6 : 1475
118.91/24.52	c (13,0) c Glues_7 : 1525
118.91/24.52	c (13,0) c Glues_total : 12127
118.91/24.52	c (13,0) c Glues_winner : 1528
118.91/24.52	c (13,0) c RunningTime_0 : 12.426819
118.91/24.52	c (13,0) c RunningTime_1 : 12.424515
118.91/24.52	c (13,0) c RunningTime_2 : 11.951072
118.91/24.52	c (13,0) c RunningTime_3 : 12.141564
118.91/24.52	c (13,0) c RunningTime_4 : 12.023318
118.91/24.52	c (13,0) c RunningTime_5 : 11.894628
118.91/24.52	c (13,0) c RunningTime_6 : 12.289203
118.91/24.52	c (13,0) c RunningTime_7 : 11.900503
118.91/24.52	c (13,0) c RunningTime_total : 97.051622
118.91/24.52	c (13,0) c RunningTime_winner : 11.894628
118.91/24.52	c (13,0) c WaitingTime_0 : 0.000061
118.91/24.52	c (13,0) c WaitingTime_1 : 0.000044
118.91/24.52	c (13,0) c WaitingTime_2 : 0.000078
118.91/24.52	c (13,0) c WaitingTime_3 : 0.000051
118.91/24.52	c (13,0) c WaitingTime_4 : 0.000062
118.91/24.52	c (13,0) c WaitingTime_5 : 0.000068
118.91/24.52	c (13,0) c WaitingTime_6 : 0.000055
118.91/24.52	c (13,0) c WaitingTime_7 : 0.000067
118.91/24.52	c (13,0) c WaitingTime_total : 0.000485
118.91/24.52	c (13,0) c WaitingTime_winner : 0.000068
118.91/24.52	c (13,0) c ExchangingTime_0 : 0.011306
118.91/24.52	c (13,0) c ExchangingTime_1 : 0.011130
118.91/24.52	c (13,0) c ExchangingTime_2 : 0.010831
118.91/24.52	c (13,0) c ExchangingTime_3 : 0.011429
118.91/24.52	c (13,0) c ExchangingTime_4 : 0.011274
118.91/24.52	c (13,0) c ExchangingTime_5 : 0.011094
118.91/24.52	c (13,0) c ExchangingTime_6 : 0.010572
118.91/24.52	c (13,0) c ExchangingTime_7 : 0.010777
118.91/24.52	c (13,0) c ExchangingTime_total : 0.088414
118.91/24.52	c (13,0) c ExchangingTime_winner : 0.011094
118.91/24.52	c (13,0) c PeriodProcTime_0 : 0.000511
118.91/24.52	c (13,0) c PeriodProcTime_1 : 0.000555
118.91/24.52	c (13,0) c PeriodProcTime_2 : 0.000642
118.91/24.52	c (13,0) c PeriodProcTime_3 : 0.000513
118.91/24.52	c (13,0) c PeriodProcTime_4 : 0.000618
118.91/24.52	c (13,0) c PeriodProcTime_5 : 0.000599
118.91/24.52	c (13,0) c PeriodProcTime_6 : 0.000504
118.91/24.52	c (13,0) c PeriodProcTime_7 : 0.000560
118.91/24.52	c (13,0) c PeriodProcTime_total : 0.004501
118.91/24.52	c (13,0) c PeriodProcTime_winner : 0.000599
118.91/24.52	c (13,0) c SolvingTime_0 : 12.438697
118.91/24.52	c (13,0) c SolvingTime_1 : 12.436244
118.91/24.52	c (13,0) c SolvingTime_2 : 11.962623
118.91/24.52	c (13,0) c SolvingTime_3 : 12.153557
118.91/24.52	c (13,0) c SolvingTime_4 : 12.035272
118.91/24.52	c (13,0) c SolvingTime_5 : 11.906389
118.91/24.52	c (13,0) c SolvingTime_6 : 12.300335
118.91/24.52	c (13,0) c SolvingTime_7 : 11.911907
118.91/24.52	c (13,0) c SolvingTime_total : 97.145023
118.91/24.52	c (13,0) c SolvingTime_winner : 11.906389
118.91/24.52	c (13,0) c PropagationTime_0 : 10.954672
118.91/24.52	c (13,0) c PropagationTime_1 : 10.868365
118.91/24.52	c (13,0) c PropagationTime_2 : 10.460976
118.91/24.52	c (13,0) c PropagationTime_3 : 10.633900
118.91/24.52	c (13,0) c PropagationTime_4 : 10.546518
118.91/24.52	c (13,0) c PropagationTime_5 : 10.428720
118.91/24.52	c (13,0) c PropagationTime_6 : 10.793728
118.91/24.52	c (13,0) c PropagationTime_7 : 10.411757
118.91/24.52	c (13,0) c PropagationTime_total : 85.098635
118.91/24.52	c (13,0) c PropagationTime_winner : 10.428720
118.91/24.52	c (13,0) c AnalysisTime_0 : 0.600993
118.91/24.52	c (13,0) c AnalysisTime_1 : 0.635556
118.91/24.52	c (13,0) c AnalysisTime_2 : 0.637260
118.91/24.52	c (13,0) c AnalysisTime_3 : 0.642803
118.91/24.52	c (13,0) c AnalysisTime_4 : 0.620282
118.91/24.52	c (13,0) c AnalysisTime_5 : 0.616930
118.91/24.52	c (13,0) c AnalysisTime_6 : 0.624800
118.91/24.52	c (13,0) c AnalysisTime_7 : 0.633420
118.91/24.52	c (13,0) c AnalysisTime_total : 5.012043
118.91/24.52	c (13,0) c AnalysisTime_winner : 0.616930
118.91/24.52	c (13,0) c ReductionTime_0 : 0.031330
118.91/24.52	c (13,0) c ReductionTime_1 : 0.032695
118.91/24.52	c (13,0) c ReductionTime_2 : 0.029917
118.91/24.52	c (13,0) c ReductionTime_3 : 0.031216
118.91/24.52	c (13,0) c ReductionTime_4 : 0.029947
118.91/24.52	c (13,0) c ReductionTime_5 : 0.029960
118.91/24.52	c (13,0) c ReductionTime_6 : 0.031284
118.91/24.52	c (13,0) c ReductionTime_7 : 0.029888
118.91/24.52	c (13,0) c ReductionTime_total : 0.246238
118.91/24.52	c (13,0) c ReductionTime_winner : 0.029960
118.91/24.52	c (13,0) c SimplifyTime_0 : 0.180455
118.91/24.52	c (13,0) c SimplifyTime_1 : 0.208817
118.91/24.52	c (13,0) c SimplifyTime_2 : 0.184765
118.91/24.52	c (13,0) c SimplifyTime_3 : 0.183975
118.91/24.52	c (13,0) c SimplifyTime_4 : 0.183114
118.91/24.52	c (13,0) c SimplifyTime_5 : 0.176908
118.91/24.52	c (13,0) c SimplifyTime_6 : 0.184963
118.91/24.52	c (13,0) c SimplifyTime_7 : 0.186143
118.91/24.52	c (13,0) c SimplifyTime_total : 1.489140
118.91/24.52	c (13,0) c SimplifyTime_winner : 0.176908
118.91/24.52	c (13,0) c UsedRateTime_0 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_1 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_2 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_3 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_4 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_5 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_6 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_7 : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_total : 0.000000
118.91/24.52	c (13,0) c UsedRateTime_winner : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_0 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_1 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_2 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_3 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_4 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_5 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_6 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_7 : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_total : 0.000000
118.91/24.52	c (13,0) c OverlapRateTime_winner : 0.000000
118.91/24.52	c (13,0) c
118.91/24.52	c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
118.91/24.52	c (13,0) c
118.91/24.52	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.52	c (13,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
118.91/24.52	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.52	c (13,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
118.91/24.52	c (13,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
118.91/24.52	c (13,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
118.91/24.52	c (13,0) c | Initial random_seed   | 1330587999 |  221657023 |  862337807 | 1704732584 | 1036213505 | 2125399816 |  902270665 | 2003692844 |
118.91/24.52	c (13,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
118.91/24.52	c (13,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
118.91/24.52	c (13,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
118.91/24.52	c (13,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
118.91/24.52	c (13,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
118.91/24.52	c (13,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
118.91/24.52	c (13,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
118.91/24.52	c (13,0) c | var_decay             |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |
118.91/24.52	c (13,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
118.91/24.52	c (13,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
118.91/24.52	c (13,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
118.91/24.52	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
118.91/24.52	c (13,0) 
118.91/24.52	c (13,0) s SATISFIABLE
118.91/24.59	c (13,0) SatSolver.solve End
118.91/24.59	c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
118.91/24.59	c (13,0) Show results Begin
119.41/24.77	c (13,0) x[0][0] = 14
119.41/24.77	c (13,0) x[0][1] = 3
119.41/24.77	c (13,0) x[0][2] = 19
119.41/24.77	c (13,0) x[0][3] = 24
119.41/24.77	c (13,0) x[0][4] = 13
119.41/24.77	c (13,0) x[0][5] = 9
119.41/24.77	c (13,0) x[0][6] = 22
119.41/24.77	c (13,0) x[0][7] = 18
119.41/24.77	c (13,0) x[0][8] = 0
119.41/24.77	c (13,0) x[0][9] = 6
119.41/24.77	c (13,0) x[0][10] = 21
119.41/24.77	c (13,0) x[0][11] = 7
119.41/24.77	c (13,0) x[0][12] = 26
119.41/24.77	c (13,0) x[0][13] = 23
119.41/24.77	c (13,0) x[0][14] = 25
119.41/24.77	c (13,0) x[0][15] = 1
119.41/24.77	c (13,0) x[0][16] = 27
119.41/24.77	c (13,0) x[0][17] = 20
119.41/24.77	c (13,0) x[0][18] = 2
119.41/24.77	c (13,0) x[0][19] = 17
119.41/24.78	c (13,0) x[0][20] = 28
119.41/24.78	c (13,0) x[0][21] = 10
119.41/24.78	c (13,0) x[0][22] = 16
119.41/24.78	c (13,0) x[0][23] = 12
119.41/24.78	c (13,0) x[0][24] = 8
119.41/24.78	c (13,0) x[0][25] = 29
119.41/24.78	c (13,0) x[0][26] = 11
119.41/24.78	c (13,0) x[0][27] = 4
119.41/24.78	c (13,0) x[0][28] = 5
119.41/24.78	c (13,0) x[0][29] = 15
119.41/24.78	c (13,0) x[1][0] = 27
119.41/24.78	c (13,0) x[1][1] = 10
119.41/24.78	c (13,0) x[1][2] = 28
119.41/24.78	c (13,0) x[1][3] = 13
119.41/24.78	c (13,0) x[1][4] = 29
119.41/24.78	c (13,0) x[1][5] = 21
119.41/24.78	c (13,0) x[1][6] = 12
119.41/24.78	c (13,0) x[1][7] = 20
119.41/24.78	c (13,0) x[1][8] = 16
119.41/24.78	c (13,0) x[1][9] = 0
119.41/24.78	c (13,0) x[1][10] = 14
119.41/24.78	c (13,0) x[1][11] = 26
119.41/24.78	c (13,0) x[1][12] = 23
119.41/24.78	c (13,0) x[1][13] = 17
119.41/24.78	c (13,0) x[1][14] = 24
119.41/24.78	c (13,0) x[1][15] = 3
119.41/24.78	c (13,0) x[1][16] = 7
119.41/24.78	c (13,0) x[1][17] = 11
119.41/24.78	c (13,0) x[1][18] = 9
119.41/24.78	c (13,0) x[1][19] = 8
119.41/24.78	c (13,0) x[1][20] = 22
119.41/24.78	c (13,0) x[1][21] = 18
119.41/24.78	c (13,0) x[1][22] = 1
119.41/24.78	c (13,0) x[1][23] = 6
119.41/24.78	c (13,0) x[1][24] = 2
119.41/24.78	c (13,0) x[1][25] = 4
119.41/24.78	c (13,0) x[1][26] = 15
119.41/24.78	c (13,0) x[1][27] = 19
119.41/24.78	c (13,0) x[1][28] = 25
119.41/24.78	c (13,0) x[1][29] = 5
119.41/24.78	c (13,0) x[2][0] = 28
119.41/24.78	c (13,0) x[2][1] = 11
119.41/24.78	c (13,0) x[2][2] = 22
119.41/24.78	c (13,0) x[2][3] = 9
119.41/24.78	c (13,0) x[2][4] = 7
119.41/24.78	c (13,0) x[2][5] = 6
119.41/24.78	c (13,0) x[2][6] = 0
119.41/24.78	c (13,0) x[2][7] = 4
119.41/24.78	c (13,0) x[2][8] = 12
119.41/24.78	c (13,0) x[2][9] = 2
119.41/24.78	c (13,0) x[2][10] = 26
119.41/24.78	c (13,0) x[2][11] = 23
119.41/24.78	c (13,0) x[2][12] = 19
119.41/24.78	c (13,0) x[2][13] = 8
119.41/24.78	c (13,0) x[2][14] = 21
119.41/24.78	c (13,0) x[2][15] = 16
119.41/24.78	c (13,0) x[2][16] = 18
119.41/24.78	c (13,0) x[2][17] = 14
119.41/24.78	c (13,0) x[2][18] = 17
119.41/24.78	c (13,0) x[2][19] = 1
119.41/24.78	c (13,0) x[2][20] = 10
119.41/24.78	c (13,0) x[2][21] = 25
119.41/24.78	c (13,0) x[2][22] = 13
119.41/24.78	c (13,0) x[2][23] = 20
119.41/24.78	c (13,0) x[2][24] = 5
119.41/24.78	c (13,0) x[2][25] = 24
119.41/24.79	c (13,0) x[2][26] = 3
119.41/24.79	c (13,0) x[2][27] = 27
119.41/24.79	c (13,0) x[2][28] = 15
119.41/24.79	c (13,0) x[2][29] = 29
119.41/24.79	c (13,0) x[3][0] = 5
119.41/24.79	c (13,0) x[3][1] = 4
119.41/24.79	c (13,0) x[3][2] = 21
119.41/24.79	c (13,0) x[3][3] = 19
119.41/24.79	c (13,0) x[3][4] = 8
119.41/24.79	c (13,0) x[3][5] = 28
119.41/24.79	c (13,0) x[3][6] = 9
119.41/24.79	c (13,0) x[3][7] = 29
119.41/24.79	c (13,0) x[3][8] = 18
119.41/24.79	c (13,0) x[3][9] = 17
119.41/24.79	c (13,0) x[3][10] = 10
119.41/24.79	c (13,0) x[3][11] = 24
119.41/24.79	c (13,0) x[3][12] = 16
119.41/24.79	c (13,0) x[3][13] = 14
119.41/24.79	c (13,0) x[3][14] = 11
119.41/24.79	c (13,0) x[3][15] = 23
119.41/24.79	c (13,0) x[3][16] = 22
119.41/24.79	c (13,0) x[3][17] = 13
119.41/24.79	c (13,0) x[3][18] = 3
119.41/24.79	c (13,0) x[3][19] = 6
119.41/24.79	c (13,0) x[3][20] = 26
119.41/24.79	c (13,0) x[3][21] = 2
119.41/24.79	c (13,0) x[3][22] = 27
119.41/24.79	c (13,0) x[3][23] = 0
119.41/24.79	c (13,0) x[3][24] = 15
119.41/24.79	c (13,0) x[3][25] = 12
119.41/24.79	c (13,0) x[3][26] = 1
119.41/24.79	c (13,0) x[3][27] = 25
119.41/24.79	c (13,0) x[3][28] = 7
119.41/24.79	c (13,0) x[3][29] = 20
119.41/24.79	c (13,0) x[4][0] = 21
119.41/24.79	c (13,0) x[4][1] = 7
119.41/24.79	c (13,0) x[4][2] = 26
119.41/24.79	c (13,0) x[4][3] = 10
119.41/24.79	c (13,0) x[4][4] = 23
119.41/24.79	c (13,0) x[4][5] = 5
119.41/24.79	c (13,0) x[4][6] = 6
119.41/24.79	c (13,0) x[4][7] = 28
119.41/24.79	c (13,0) x[4][8] = 27
119.41/24.79	c (13,0) x[4][9] = 29
119.41/24.79	c (13,0) x[4][10] = 0
119.41/24.79	c (13,0) x[4][11] = 17
119.41/24.79	c (13,0) x[4][12] = 2
119.41/24.79	c (13,0) x[4][13] = 4
119.41/24.79	c (13,0) x[4][14] = 15
119.41/24.79	c (13,0) x[4][15] = 13
119.41/24.79	c (13,0) x[4][16] = 12
119.41/24.79	c (13,0) x[4][17] = 24
119.41/24.79	c (13,0) x[4][18] = 1
119.41/24.79	c (13,0) x[4][19] = 25
119.41/24.79	c (13,0) x[4][20] = 14
119.41/24.79	c (13,0) x[4][21] = 19
119.41/24.79	c (13,0) x[4][22] = 3
119.41/24.79	c (13,0) x[4][23] = 8
119.41/24.79	c (13,0) x[4][24] = 9
119.41/24.79	c (13,0) x[4][25] = 22
119.41/24.79	c (13,0) x[4][26] = 18
119.41/24.79	c (13,0) x[4][27] = 20
119.41/24.79	c (13,0) x[4][28] = 16
119.41/24.79	c (13,0) x[4][29] = 11
119.41/24.79	c (13,0) x[5][0] = 12
119.41/24.79	c (13,0) x[5][1] = 9
119.41/24.79	c (13,0) x[5][2] = 6
119.41/24.79	c (13,0) x[5][3] = 8
119.41/24.79	c (13,0) x[5][4] = 11
119.41/24.79	c (13,0) x[5][5] = 1
119.41/24.79	c (13,0) x[5][6] = 15
119.41/24.79	c (13,0) x[5][7] = 25
119.41/24.79	c (13,0) x[5][8] = 14
119.41/24.79	c (13,0) x[5][9] = 23
119.41/24.79	c (13,0) x[5][10] = 16
119.41/24.79	c (13,0) x[5][11] = 20
119.41/24.79	c (13,0) x[5][12] = 0
119.41/24.79	c (13,0) x[5][13] = 3
119.41/24.79	c (13,0) x[5][14] = 13
119.41/24.79	c (13,0) x[5][15] = 27
119.41/24.79	c (13,0) x[5][16] = 5
119.41/24.79	c (13,0) x[5][17] = 19
119.41/24.79	c (13,0) x[5][18] = 18
119.41/24.79	c (13,0) x[5][19] = 24
119.41/24.79	c (13,0) x[5][20] = 29
119.41/24.79	c (13,0) x[5][21] = 4
119.41/24.79	c (13,0) x[5][22] = 2
119.41/24.79	c (13,0) x[5][23] = 21
119.41/24.79	c (13,0) x[5][24] = 26
119.41/24.79	c (13,0) x[5][25] = 28
119.41/24.79	c (13,0) x[5][26] = 22
119.41/24.79	c (13,0) x[5][27] = 10
119.41/24.79	c (13,0) x[5][28] = 17
119.41/24.79	c (13,0) x[5][29] = 7
119.41/24.79	c (13,0) x[6][0] = 6
119.41/24.79	c (13,0) x[6][1] = 19
119.41/24.79	c (13,0) x[6][2] = 11
119.41/24.79	c (13,0) x[6][3] = 16
119.41/24.79	c (13,0) x[6][4] = 9
119.41/24.79	c (13,0) x[6][5] = 12
119.41/24.79	c (13,0) x[6][6] = 3
119.41/24.79	c (13,0) x[6][7] = 17
119.41/24.79	c (13,0) x[6][8] = 28
119.41/24.79	c (13,0) x[6][9] = 21
119.41/24.79	c (13,0) x[6][10] = 15
119.41/24.79	c (13,0) x[6][11] = 14
119.41/24.79	c (13,0) x[6][12] = 1
119.41/24.79	c (13,0) x[6][13] = 29
119.41/24.79	c (13,0) x[6][14] = 5
119.41/24.79	c (13,0) x[6][15] = 0
119.41/24.79	c (13,0) x[6][16] = 4
119.41/24.79	c (13,0) x[6][17] = 23
119.41/24.79	c (13,0) x[6][18] = 8
119.41/24.79	c (13,0) x[6][19] = 22
119.41/24.79	c (13,0) x[6][20] = 7
119.41/24.79	c (13,0) x[6][21] = 20
119.41/24.79	c (13,0) x[6][22] = 26
119.41/24.79	c (13,0) x[6][23] = 18
119.41/24.79	c (13,0) x[6][24] = 25
119.41/24.79	c (13,0) x[6][25] = 13
119.41/24.79	c (13,0) x[6][26] = 27
119.41/24.79	c (13,0) x[6][27] = 2
119.41/24.79	c (13,0) x[6][28] = 24
119.41/24.79	c (13,0) x[6][29] = 10
119.41/24.79	c (13,0) x[7][0] = 1
119.41/24.79	c (13,0) x[7][1] = 2
119.41/24.79	c (13,0) x[7][2] = 5
119.41/24.79	c (13,0) x[7][3] = 12
119.41/24.79	c (13,0) x[7][4] = 16
119.41/24.79	c (13,0) x[7][5] = 20
119.41/24.79	c (13,0) x[7][6] = 21
119.41/24.79	c (13,0) x[7][7] = 6
119.41/24.79	c (13,0) x[7][8] = 8
119.41/24.79	c (13,0) x[7][9] = 26
119.41/24.79	c (13,0) x[7][10] = 24
119.41/24.79	c (13,0) x[7][11] = 3
119.41/24.79	c (13,0) x[7][12] = 13
119.41/24.79	c (13,0) x[7][13] = 28
119.41/24.79	c (13,0) x[7][14] = 29
119.41/24.79	c (13,0) x[7][15] = 4
119.41/24.79	c (13,0) x[7][16] = 23
119.41/24.79	c (13,0) x[7][17] = 15
119.41/24.79	c (13,0) x[7][18] = 11
119.41/24.79	c (13,0) x[7][19] = 27
119.41/24.79	c (13,0) x[7][20] = 17
119.41/24.79	c (13,0) x[7][21] = 9
119.41/24.79	c (13,0) x[7][22] = 10
119.41/24.79	c (13,0) x[7][23] = 19
119.41/24.79	c (13,0) x[7][24] = 18
119.41/24.79	c (13,0) x[7][25] = 25
119.41/24.79	c (13,0) x[7][26] = 7
119.41/24.79	c (13,0) x[7][27] = 14
119.41/24.79	c (13,0) x[7][28] = 0
119.41/24.79	c (13,0) x[7][29] = 22
119.41/24.79	c (13,0) x[8][0] = 23
119.41/24.79	c (13,0) x[8][1] = 29
119.41/24.79	c (13,0) x[8][2] = 12
119.41/24.79	c (13,0) x[8][3] = 25
119.41/24.79	c (13,0) x[8][4] = 24
119.41/24.79	c (13,0) x[8][5] = 0
119.41/24.79	c (13,0) x[8][6] = 16
119.41/24.79	c (13,0) x[8][7] = 3
119.41/24.79	c (13,0) x[8][8] = 26
119.41/24.79	c (13,0) x[8][9] = 4
119.41/24.79	c (13,0) x[8][10] = 20
119.41/24.79	c (13,0) x[8][11] = 13
119.41/24.79	c (13,0) x[8][12] = 14
119.41/24.79	c (13,0) x[8][13] = 10
119.41/24.79	c (13,0) x[8][14] = 17
119.41/24.79	c (13,0) x[8][15] = 2
119.41/24.79	c (13,0) x[8][16] = 8
119.41/24.79	c (13,0) x[8][17] = 7
119.41/24.79	c (13,0) x[8][18] = 22
119.41/24.79	c (13,0) x[8][19] = 11
119.41/24.79	c (13,0) x[8][20] = 5
119.41/24.79	c (13,0) x[8][21] = 27
119.41/24.79	c (13,0) x[8][22] = 19
119.41/24.79	c (13,0) x[8][23] = 15
119.41/24.79	c (13,0) x[8][24] = 1
119.41/24.79	c (13,0) x[8][25] = 21
119.41/24.79	c (13,0) x[8][26] = 9
119.41/24.79	c (13,0) x[8][27] = 28
119.41/24.79	c (13,0) x[8][28] = 18
119.41/24.79	c (13,0) x[8][29] = 6
119.41/24.79	c (13,0) x[9][0] = 19
119.41/24.79	c (13,0) x[9][1] = 8
119.41/24.79	c (13,0) x[9][2] = 0
119.41/24.79	c (13,0) x[9][3] = 20
119.41/24.79	c (13,0) x[9][4] = 22
119.41/24.79	c (13,0) x[9][5] = 11
119.41/24.79	c (13,0) x[9][6] = 5
119.41/24.79	c (13,0) x[9][7] = 23
119.41/24.79	c (13,0) x[9][8] = 13
119.41/24.79	c (13,0) x[9][9] = 27
119.41/24.79	c (13,0) x[9][10] = 2
119.41/24.79	c (13,0) x[9][11] = 29
119.41/24.79	c (13,0) x[9][12] = 21
119.41/24.79	c (13,0) x[9][13] = 1
119.41/24.79	c (13,0) x[9][14] = 3
119.41/24.79	c (13,0) x[9][15] = 25
119.41/24.79	c (13,0) x[9][16] = 24
119.41/24.79	c (13,0) x[9][17] = 17
119.41/24.79	c (13,0) x[9][18] = 26
119.41/24.79	c (13,0) x[9][19] = 18
119.41/24.79	c (13,0) x[9][20] = 16
119.41/24.79	c (13,0) x[9][21] = 15
119.41/24.79	c (13,0) x[9][22] = 6
119.41/24.79	c (13,0) x[9][23] = 9
119.41/24.79	c (13,0) x[9][24] = 10
119.41/24.79	c (13,0) x[9][25] = 7
119.41/24.79	c (13,0) x[9][26] = 28
119.41/24.79	c (13,0) x[9][27] = 12
119.41/24.79	c (13,0) x[9][28] = 4
119.41/24.79	c (13,0) x[9][29] = 14
119.41/24.79	c (13,0) x[10][0] = 4
119.41/24.79	c (13,0) x[10][1] = 23
119.41/24.79	c (13,0) x[10][2] = 27
119.41/24.79	c (13,0) x[10][3] = 11
119.41/24.79	c (13,0) x[10][4] = 25
119.41/24.79	c (13,0) x[10][5] = 14
119.41/24.79	c (13,0) x[10][6] = 8
119.41/24.79	c (13,0) x[10][7] = 9
119.41/24.79	c (13,0) x[10][8] = 2
119.41/24.79	c (13,0) x[10][9] = 15
119.41/24.79	c (13,0) x[10][10] = 29
119.41/24.79	c (13,0) x[10][11] = 18
119.41/24.79	c (13,0) x[10][12] = 17
119.41/24.79	c (13,0) x[10][13] = 20
119.41/24.79	c (13,0) x[10][14] = 22
119.41/24.79	c (13,0) x[10][15] = 21
119.41/24.79	c (13,0) x[10][16] = 16
119.41/24.79	c (13,0) x[10][17] = 1
119.41/24.79	c (13,0) x[10][18] = 6
119.41/24.79	c (13,0) x[10][19] = 12
119.41/24.79	c (13,0) x[10][20] = 3
119.41/24.79	c (13,0) x[10][21] = 0
119.41/24.79	c (13,0) x[10][22] = 28
119.41/24.79	c (13,0) x[10][23] = 24
119.41/24.79	c (13,0) x[10][24] = 7
119.41/24.79	c (13,0) x[10][25] = 5
119.41/24.79	c (13,0) x[10][26] = 10
119.41/24.79	c (13,0) x[10][27] = 26
119.41/24.79	c (13,0) x[10][28] = 13
119.41/24.79	c (13,0) x[10][29] = 19
119.41/24.79	c (13,0) x[11][0] = 26
119.41/24.79	c (13,0) x[11][1] = 1
119.41/24.79	c (13,0) x[11][2] = 15
119.41/24.79	c (13,0) x[11][3] = 6
119.41/24.79	c (13,0) x[11][4] = 10
119.41/24.79	c (13,0) x[11][5] = 8
119.41/24.79	c (13,0) x[11][6] = 27
119.41/24.79	c (13,0) x[11][7] = 11
119.41/24.79	c (13,0) x[11][8] = 24
119.41/24.79	c (13,0) x[11][9] = 16
119.41/24.79	c (13,0) x[11][10] = 13
119.41/24.79	c (13,0) x[11][11] = 2
119.41/24.79	c (13,0) x[11][12] = 9
119.41/24.79	c (13,0) x[11][13] = 19
119.41/24.79	c (13,0) x[11][14] = 7
119.41/24.79	c (13,0) x[11][15] = 22
119.41/24.79	c (13,0) x[11][16] = 20
119.41/24.79	c (13,0) x[11][17] = 28
119.41/24.79	c (13,0) x[11][18] = 29
119.41/24.79	c (13,0) x[11][19] = 23
119.41/24.79	c (13,0) x[11][20] = 25
119.41/24.79	c (13,0) x[11][21] = 14
119.41/24.79	c (13,0) x[11][22] = 12
119.41/24.79	c (13,0) x[11][23] = 4
119.41/24.79	c (13,0) x[11][24] = 3
119.41/24.79	c (13,0) x[11][25] = 0
119.41/24.79	c (13,0) x[11][26] = 17
119.41/24.79	c (13,0) x[11][27] = 5
119.41/24.79	c (13,0) x[11][28] = 21
119.41/24.79	c (13,0) x[11][29] = 18
119.41/24.79	c (13,0) x[12][0] = 9
119.41/24.79	c (13,0) x[12][1] = 24
119.41/24.79	c (13,0) x[12][2] = 16
119.41/24.79	c (13,0) x[12][3] = 14
119.41/24.79	c (13,0) x[12][4] = 1
119.41/24.79	c (13,0) x[12][5] = 22
119.41/24.79	c (13,0) x[12][6] = 11
119.41/24.79	c (13,0) x[12][7] = 2
119.41/24.79	c (13,0) x[12][8] = 4
119.41/24.79	c (13,0) x[12][9] = 20
119.41/24.79	c (13,0) x[12][10] = 28
119.41/24.79	c (13,0) x[12][11] = 27
119.41/24.79	c (13,0) x[12][12] = 25
119.41/24.79	c (13,0) x[12][13] = 5
119.41/24.79	c (13,0) x[12][14] = 6
119.41/24.79	c (13,0) x[12][15] = 10
119.41/24.79	c (13,0) x[12][16] = 13
119.41/24.79	c (13,0) x[12][17] = 8
119.41/24.79	c (13,0) x[12][18] = 21
119.41/24.79	c (13,0) x[12][19] = 29
119.41/24.79	c (13,0) x[12][20] = 18
119.41/24.79	c (13,0) x[12][21] = 17
119.41/24.79	c (13,0) x[12][22] = 0
119.41/24.79	c (13,0) x[12][23] = 3
119.41/24.79	c (13,0) x[12][24] = 12
119.41/24.79	c (13,0) x[12][25] = 15
119.41/24.79	c (13,0) x[12][26] = 23
119.41/24.79	c (13,0) x[12][27] = 7
119.41/24.79	c (13,0) x[12][28] = 19
119.41/24.79	c (13,0) x[12][29] = 26
119.41/24.79	c (13,0) x[13][0] = 16
119.41/24.79	c (13,0) x[13][1] = 12
119.41/24.79	c (13,0) x[13][2] = 18
119.41/24.79	c (13,0) x[13][3] = 23
119.41/24.79	c (13,0) x[13][4] = 20
119.41/24.79	c (13,0) x[13][5] = 24
119.41/24.79	c (13,0) x[13][6] = 10
119.41/24.79	c (13,0) x[13][7] = 1
119.41/24.79	c (13,0) x[13][8] = 7
119.41/24.79	c (13,0) x[13][9] = 25
119.41/24.79	c (13,0) x[13][10] = 11
119.41/24.79	c (13,0) x[13][11] = 21
119.41/24.79	c (13,0) x[13][12] = 28
119.41/24.79	c (13,0) x[13][13] = 2
119.41/24.79	c (13,0) x[13][14] = 26
119.41/24.79	c (13,0) x[13][15] = 17
119.41/24.79	c (13,0) x[13][16] = 0
119.41/24.79	c (13,0) x[13][17] = 29
119.41/24.79	c (13,0) x[13][18] = 4
119.41/24.79	c (13,0) x[13][19] = 19
119.41/24.79	c (13,0) x[13][20] = 27
119.41/24.79	c (13,0) x[13][21] = 13
119.41/24.79	c (13,0) x[13][22] = 9
119.41/24.79	c (13,0) x[13][23] = 5
119.41/24.79	c (13,0) x[13][24] = 6
119.41/24.79	c (13,0) x[13][25] = 8
119.41/24.79	c (13,0) x[13][26] = 14
119.41/24.79	c (13,0) x[13][27] = 15
119.41/24.79	c (13,0) x[13][28] = 22
119.41/24.79	c (13,0) x[13][29] = 3
119.41/24.79	c (13,0) x[14][0] = 29
119.41/24.79	c (13,0) x[14][1] = 22
119.41/24.79	c (13,0) x[14][2] = 10
119.41/24.79	c (13,0) x[14][3] = 18
119.41/24.79	c (13,0) x[14][4] = 12
119.41/24.79	c (13,0) x[14][5] = 4
119.41/24.79	c (13,0) x[14][6] = 17
119.41/24.79	c (13,0) x[14][7] = 19
119.41/24.79	c (13,0) x[14][8] = 9
119.41/24.79	c (13,0) x[14][9] = 14
119.41/24.79	c (13,0) x[14][10] = 1
119.41/24.79	c (13,0) x[14][11] = 6
119.41/24.79	c (13,0) x[14][12] = 15
119.41/24.79	c (13,0) x[14][13] = 16
119.41/24.79	c (13,0) x[14][14] = 23
119.41/24.79	c (13,0) x[14][15] = 7
119.41/24.79	c (13,0) x[14][16] = 11
119.41/24.79	c (13,0) x[14][17] = 0
119.41/24.79	c (13,0) x[14][18] = 20
119.41/24.79	c (13,0) x[14][19] = 5
119.41/24.79	c (13,0) x[14][20] = 21
119.41/24.79	c (13,0) x[14][21] = 3
119.41/24.79	c (13,0) x[14][22] = 25
119.41/24.79	c (13,0) x[14][23] = 28
119.41/24.79	c (13,0) x[14][24] = 13
119.41/24.79	c (13,0) x[14][25] = 27
119.41/24.79	c (13,0) x[14][26] = 8
119.41/24.79	c (13,0) x[14][27] = 24
119.41/24.79	c (13,0) x[14][28] = 26
119.41/24.79	c (13,0) x[14][29] = 2
119.41/24.79	c (13,0) x[15][0] = 17
119.41/24.79	c (13,0) x[15][1] = 25
119.41/24.79	c (13,0) x[15][2] = 13
119.41/24.79	c (13,0) x[15][3] = 3
119.41/24.79	c (13,0) x[15][4] = 6
119.41/24.79	c (13,0) x[15][5] = 19
119.41/24.79	c (13,0) x[15][6] = 28
119.41/24.79	c (13,0) x[15][7] = 21
119.41/24.79	c (13,0) x[15][8] = 5
119.41/24.79	c (13,0) x[15][9] = 10
119.41/24.79	c (13,0) x[15][10] = 27
119.41/24.79	c (13,0) x[15][11] = 4
119.41/24.79	c (13,0) x[15][12] = 11
119.41/24.79	c (13,0) x[15][13] = 24
119.41/24.79	c (13,0) x[15][14] = 2
119.41/24.79	c (13,0) x[15][15] = 20
119.41/24.79	c (13,0) x[15][16] = 1
119.41/24.79	c (13,0) x[15][17] = 26
119.41/24.79	c (13,0) x[15][18] = 0
119.41/24.79	c (13,0) x[15][19] = 9
119.41/24.79	c (13,0) x[15][20] = 15
119.41/24.79	c (13,0) x[15][21] = 7
119.41/24.79	c (13,0) x[15][22] = 14
119.41/24.79	c (13,0) x[15][23] = 22
119.41/24.79	c (13,0) x[15][24] = 29
119.41/24.79	c (13,0) x[15][25] = 23
119.41/24.79	c (13,0) x[15][26] = 16
119.41/24.79	c (13,0) x[15][27] = 18
119.41/24.79	c (13,0) x[15][28] = 8
119.41/24.79	c (13,0) x[15][29] = 12
119.41/24.79	c (13,0) x[16][0] = 13
119.41/24.79	c (13,0) x[16][1] = 5
119.41/24.79	c (13,0) x[16][2] = 25
119.41/24.79	c (13,0) x[16][3] = 22
119.41/24.79	c (13,0) x[16][4] = 14
119.41/24.79	c (13,0) x[16][5] = 7
119.41/24.79	c (13,0) x[16][6] = 24
119.41/24.79	c (13,0) x[16][7] = 26
119.41/24.79	c (13,0) x[16][8] = 29
119.41/24.79	c (13,0) x[16][9] = 18
119.41/24.79	c (13,0) x[16][10] = 12
119.41/24.79	c (13,0) x[16][11] = 16
119.41/24.79	c (13,0) x[16][12] = 8
119.41/24.79	c (13,0) x[16][13] = 0
119.41/24.79	c (13,0) x[16][14] = 28
119.41/24.79	c (13,0) x[16][15] = 11
119.41/24.79	c (13,0) x[16][16] = 2
119.41/24.79	c (13,0) x[16][17] = 6
119.41/24.79	c (13,0) x[16][18] = 15
119.41/24.79	c (13,0) x[16][19] = 20
119.41/24.79	c (13,0) x[16][20] = 23
119.41/24.79	c (13,0) x[16][21] = 1
119.41/24.79	c (13,0) x[16][22] = 21
119.41/24.79	c (13,0) x[16][23] = 27
119.41/24.79	c (13,0) x[16][24] = 4
119.41/24.79	c (13,0) x[16][25] = 10
119.41/24.79	c (13,0) x[16][26] = 19
119.41/24.79	c (13,0) x[16][27] = 17
119.41/24.79	c (13,0) x[16][28] = 3
119.41/24.79	c (13,0) x[16][29] = 9
119.41/24.79	c (13,0) x[17][0] = 7
119.41/24.79	c (13,0) x[17][1] = 17
119.41/24.79	c (13,0) x[17][2] = 8
119.41/24.79	c (13,0) x[17][3] = 29
119.41/24.79	c (13,0) x[17][4] = 26
119.41/24.79	c (13,0) x[17][5] = 3
119.41/24.79	c (13,0) x[17][6] = 18
119.41/24.79	c (13,0) x[17][7] = 16
119.41/24.79	c (13,0) x[17][8] = 23
119.41/24.79	c (13,0) x[17][9] = 24
119.41/24.79	c (13,0) x[17][10] = 19
119.41/24.79	c (13,0) x[17][11] = 28
119.41/24.79	c (13,0) x[17][12] = 10
119.41/24.79	c (13,0) x[17][13] = 22
119.41/24.79	c (13,0) x[17][14] = 4
119.41/24.79	c (13,0) x[17][15] = 15
119.41/24.79	c (13,0) x[17][16] = 9
119.41/24.79	c (13,0) x[17][17] = 25
119.41/24.79	c (13,0) x[17][18] = 5
119.41/24.79	c (13,0) x[17][19] = 14
119.41/24.79	c (13,0) x[17][20] = 0
119.41/24.79	c (13,0) x[17][21] = 12
119.41/24.79	c (13,0) x[17][22] = 20
119.41/24.79	c (13,0) x[17][23] = 11
119.41/24.79	c (13,0) x[17][24] = 27
119.41/24.79	c (13,0) x[17][25] = 6
119.41/24.79	c (13,0) x[17][26] = 21
119.41/24.79	c (13,0) x[17][27] = 13
119.41/24.79	c (13,0) x[17][28] = 2
119.41/24.79	c (13,0) x[17][29] = 1
119.41/24.79	c (13,0) x[18][0] = 24
119.41/24.79	c (13,0) x[18][1] = 21
119.41/24.79	c (13,0) x[18][2] = 1
119.41/24.79	c (13,0) x[18][3] = 26
119.41/24.79	c (13,0) x[18][4] = 5
119.41/24.79	c (13,0) x[18][5] = 25
119.41/24.79	c (13,0) x[18][6] = 19
119.41/24.79	c (13,0) x[18][7] = 13
119.41/24.79	c (13,0) x[18][8] = 6
119.41/24.79	c (13,0) x[18][9] = 9
119.41/24.79	c (13,0) x[18][10] = 3
119.41/24.79	c (13,0) x[18][11] = 10
119.41/24.79	c (13,0) x[18][12] = 20
119.41/24.79	c (13,0) x[18][13] = 11
119.41/24.79	c (13,0) x[18][14] = 27
119.41/24.79	c (13,0) x[18][15] = 14
119.41/24.79	c (13,0) x[18][16] = 15
119.41/24.79	c (13,0) x[18][17] = 2
119.41/24.79	c (13,0) x[18][18] = 7
119.41/24.79	c (13,0) x[18][19] = 28
119.41/24.79	c (13,0) x[18][20] = 4
119.41/24.79	c (13,0) x[18][21] = 16
119.41/24.79	c (13,0) x[18][22] = 29
119.41/24.79	c (13,0) x[18][23] = 17
119.41/24.79	c (13,0) x[18][24] = 0
119.41/24.79	c (13,0) x[18][25] = 18
119.41/24.79	c (13,0) x[18][26] = 12
119.41/24.79	c (13,0) x[18][27] = 22
119.41/24.79	c (13,0) x[18][28] = 23
119.41/24.79	c (13,0) x[18][29] = 8
119.41/24.79	c (13,0) x[19][0] = 18
119.41/24.79	c (13,0) x[19][1] = 15
119.41/24.79	c (13,0) x[19][2] = 24
119.41/24.79	c (13,0) x[19][3] = 2
119.41/24.79	c (13,0) x[19][4] = 0
119.41/24.79	c (13,0) x[19][5] = 23
119.41/24.79	c (13,0) x[19][6] = 4
119.41/24.79	c (13,0) x[19][7] = 22
119.41/24.79	c (13,0) x[19][8] = 1
119.41/24.79	c (13,0) x[19][9] = 19
119.41/24.79	c (13,0) x[19][10] = 5
119.41/24.79	c (13,0) x[19][11] = 11
119.41/24.79	c (13,0) x[19][12] = 29
119.41/24.79	c (13,0) x[19][13] = 12
119.41/24.79	c (13,0) x[19][14] = 8
119.41/24.79	c (13,0) x[19][15] = 6
119.41/24.79	c (13,0) x[19][16] = 3
119.41/24.79	c (13,0) x[19][17] = 9
119.41/24.79	c (13,0) x[19][18] = 10
119.41/24.79	c (13,0) x[19][19] = 7
119.41/24.79	c (13,0) x[19][20] = 20
119.41/24.79	c (13,0) x[19][21] = 26
119.41/24.79	c (13,0) x[19][22] = 17
119.41/24.79	c (13,0) x[19][23] = 13
119.41/24.79	c (13,0) x[19][24] = 14
119.41/24.79	c (13,0) x[19][25] = 16
119.41/24.79	c (13,0) x[19][26] = 25
119.41/24.79	c (13,0) x[19][27] = 21
119.41/24.79	c (13,0) x[19][28] = 28
119.41/24.79	c (13,0) x[19][29] = 27
119.41/24.79	c (13,0) x[20][0] = 0
119.41/24.79	c (13,0) x[20][1] = 28
119.41/24.79	c (13,0) x[20][2] = 4
119.41/24.79	c (13,0) x[20][3] = 7
119.41/24.79	c (13,0) x[20][4] = 15
119.41/24.79	c (13,0) x[20][5] = 29
119.41/24.79	c (13,0) x[20][6] = 26
119.41/24.79	c (13,0) x[20][7] = 24
119.41/24.79	c (13,0) x[20][8] = 22
119.41/24.79	c (13,0) x[20][9] = 11
119.41/24.79	c (13,0) x[20][10] = 25
119.41/24.79	c (13,0) x[20][11] = 9
119.41/24.79	c (13,0) x[20][12] = 18
119.41/24.79	c (13,0) x[20][13] = 13
119.41/24.79	c (13,0) x[20][14] = 14
119.41/24.79	c (13,0) x[20][15] = 12
119.41/24.79	c (13,0) x[20][16] = 21
119.41/24.79	c (13,0) x[20][17] = 27
119.41/24.79	c (13,0) x[20][18] = 19
119.41/24.79	c (13,0) x[20][19] = 10
119.41/24.79	c (13,0) x[20][20] = 6
119.41/24.79	c (13,0) x[20][21] = 23
119.41/24.79	c (13,0) x[20][22] = 8
119.41/24.79	c (13,0) x[20][23] = 1
119.41/24.79	c (13,0) x[20][24] = 16
119.41/24.79	c (13,0) x[20][25] = 2
119.41/24.79	c (13,0) x[20][26] = 5
119.41/24.79	c (13,0) x[20][27] = 3
119.41/24.79	c (13,0) x[20][28] = 20
119.41/24.79	c (13,0) x[20][29] = 17
119.41/24.79	c (13,0) x[21][0] = 22
119.41/24.79	c (13,0) x[21][1] = 14
119.41/24.79	c (13,0) x[21][2] = 23
119.41/24.79	c (13,0) x[21][3] = 27
119.41/24.79	c (13,0) x[21][4] = 2
119.41/24.79	c (13,0) x[21][5] = 13
119.41/24.79	c (13,0) x[21][6] = 20
119.41/24.79	c (13,0) x[21][7] = 0
119.41/24.79	c (13,0) x[21][8] = 25
119.41/24.79	c (13,0) x[21][9] = 28
119.41/24.79	c (13,0) x[21][10] = 7
119.41/24.79	c (13,0) x[21][11] = 19
119.41/24.79	c (13,0) x[21][12] = 6
119.41/24.79	c (13,0) x[21][13] = 18
119.41/24.79	c (13,0) x[21][14] = 10
119.41/24.79	c (13,0) x[21][15] = 5
119.41/24.79	c (13,0) x[21][16] = 17
119.41/24.79	c (13,0) x[21][17] = 3
119.41/24.79	c (13,0) x[21][18] = 24
119.41/24.79	c (13,0) x[21][19] = 16
119.41/24.79	c (13,0) x[21][20] = 8
119.41/24.79	c (13,0) x[21][21] = 29
119.41/24.79	c (13,0) x[21][22] = 15
119.41/24.79	c (13,0) x[21][23] = 26
119.41/24.79	c (13,0) x[21][24] = 11
119.41/24.79	c (13,0) x[21][25] = 1
119.41/24.79	c (13,0) x[21][26] = 4
119.41/24.79	c (13,0) x[21][27] = 9
119.41/24.79	c (13,0) x[21][28] = 12
119.41/24.79	c (13,0) x[21][29] = 21
119.41/24.79	c (13,0) x[22][0] = 8
119.41/24.79	c (13,0) x[22][1] = 13
119.41/24.79	c (13,0) x[22][2] = 9
119.41/24.79	c (13,0) x[22][3] = 0
119.41/24.79	c (13,0) x[22][4] = 4
119.41/24.79	c (13,0) x[22][5] = 17
119.41/24.79	c (13,0) x[22][6] = 29
119.41/24.79	c (13,0) x[22][7] = 5
119.41/24.79	c (13,0) x[22][8] = 3
119.41/24.79	c (13,0) x[22][9] = 22
119.41/24.79	c (13,0) x[22][10] = 6
119.41/24.79	c (13,0) x[22][11] = 15
119.41/24.79	c (13,0) x[22][12] = 12
119.41/24.79	c (13,0) x[22][13] = 25
119.41/24.79	c (13,0) x[22][14] = 19
119.41/24.79	c (13,0) x[22][15] = 26
119.41/24.79	c (13,0) x[22][16] = 10
119.41/24.79	c (13,0) x[22][17] = 18
119.41/24.79	c (13,0) x[22][18] = 27
119.41/24.79	c (13,0) x[22][19] = 2
119.41/24.79	c (13,0) x[22][20] = 1
119.41/24.79	c (13,0) x[22][21] = 28
119.41/24.79	c (13,0) x[22][22] = 23
119.41/24.79	c (13,0) x[22][23] = 7
119.41/24.79	c (13,0) x[22][24] = 21
119.41/24.79	c (13,0) x[22][25] = 11
119.41/24.79	c (13,0) x[22][26] = 20
119.41/24.79	c (13,0) x[22][27] = 16
119.41/24.79	c (13,0) x[22][28] = 14
119.41/24.79	c (13,0) x[22][29] = 24
119.41/24.79	c (13,0) x[23][0] = 11
119.41/24.79	c (13,0) x[23][1] = 20
119.41/24.79	c (13,0) x[23][2] = 2
119.41/24.79	c (13,0) x[23][3] = 21
119.41/24.79	c (13,0) x[23][4] = 28
119.41/24.79	c (13,0) x[23][5] = 15
119.41/24.79	c (13,0) x[23][6] = 14
119.41/24.79	c (13,0) x[23][7] = 10
119.41/24.79	c (13,0) x[23][8] = 17
119.41/24.79	c (13,0) x[23][9] = 3
119.41/24.79	c (13,0) x[23][10] = 18
119.41/24.79	c (13,0) x[23][11] = 8
119.41/24.79	c (13,0) x[23][12] = 7
119.41/24.79	c (13,0) x[23][13] = 26
119.41/24.79	c (13,0) x[23][14] = 16
119.41/24.79	c (13,0) x[23][15] = 24
119.41/24.79	c (13,0) x[23][16] = 25
119.41/24.79	c (13,0) x[23][17] = 22
119.41/24.79	c (13,0) x[23][18] = 13
119.41/24.79	c (13,0) x[23][19] = 4
119.41/24.79	c (13,0) x[23][20] = 12
119.41/24.79	c (13,0) x[23][21] = 6
119.41/24.79	c (13,0) x[23][22] = 5
119.41/24.79	c (13,0) x[23][23] = 29
119.41/24.79	c (13,0) x[23][24] = 19
119.41/24.79	c (13,0) x[23][25] = 9
119.41/24.79	c (13,0) x[23][26] = 0
119.41/24.79	c (13,0) x[23][27] = 1
119.41/24.79	c (13,0) x[23][28] = 27
119.41/24.79	c (13,0) x[23][29] = 23
119.41/24.79	c (13,0) x[24][0] = 25
119.41/24.79	c (13,0) x[24][1] = 16
119.41/24.79	c (13,0) x[24][2] = 3
119.41/24.79	c (13,0) x[24][3] = 28
119.41/24.79	c (13,0) x[24][4] = 27
119.41/24.79	c (13,0) x[24][5] = 2
119.41/24.79	c (13,0) x[24][6] = 1
119.41/24.79	c (13,0) x[24][7] = 7
119.41/24.79	c (13,0) x[24][8] = 11
119.41/24.79	c (13,0) x[24][9] = 5
119.41/24.79	c (13,0) x[24][10] = 8
119.41/24.79	c (13,0) x[24][11] = 22
119.41/24.79	c (13,0) x[24][12] = 4
119.41/24.79	c (13,0) x[24][13] = 15
119.41/24.79	c (13,0) x[24][14] = 12
119.41/24.79	c (13,0) x[24][15] = 18
119.41/24.79	c (13,0) x[24][16] = 29
119.41/24.79	c (13,0) x[24][17] = 10
119.41/24.79	c (13,0) x[24][18] = 23
119.41/24.79	c (13,0) x[24][19] = 0
119.41/24.79	c (13,0) x[24][20] = 19
119.41/24.79	c (13,0) x[24][21] = 21
119.41/24.79	c (13,0) x[24][22] = 24
119.41/24.79	c (13,0) x[24][23] = 14
119.41/24.79	c (13,0) x[24][24] = 17
119.41/24.79	c (13,0) x[24][25] = 20
119.41/24.79	c (13,0) x[24][26] = 26
119.41/24.79	c (13,0) x[24][27] = 6
119.41/24.79	c (13,0) x[24][28] = 9
119.41/24.79	c (13,0) x[24][29] = 13
119.41/24.79	c (13,0) x[25][0] = 10
119.41/24.79	c (13,0) x[25][1] = 0
119.41/24.79	c (13,0) x[25][2] = 17
119.41/24.79	c (13,0) x[25][3] = 15
119.41/24.79	c (13,0) x[25][4] = 19
119.41/24.79	c (13,0) x[25][5] = 27
119.41/24.79	c (13,0) x[25][6] = 23
119.41/24.79	c (13,0) x[25][7] = 12
119.41/24.79	c (13,0) x[25][8] = 20
119.41/24.79	c (13,0) x[25][9] = 13
119.41/24.79	c (13,0) x[25][10] = 4
119.41/24.79	c (13,0) x[25][11] = 1
119.41/24.79	c (13,0) x[25][12] = 5
119.41/24.79	c (13,0) x[25][13] = 7
119.41/24.79	c (13,0) x[25][14] = 18
119.41/24.79	c (13,0) x[25][15] = 9
119.41/24.79	c (13,0) x[25][16] = 14
119.41/24.79	c (13,0) x[25][17] = 21
119.41/24.79	c (13,0) x[25][18] = 28
119.41/24.79	c (13,0) x[25][19] = 26
119.41/24.79	c (13,0) x[25][20] = 2
119.41/24.79	c (13,0) x[25][21] = 11
119.41/24.79	c (13,0) x[25][22] = 22
119.41/24.79	c (13,0) x[25][23] = 25
119.41/24.79	c (13,0) x[25][24] = 24
119.41/24.79	c (13,0) x[25][25] = 3
119.41/24.79	c (13,0) x[25][26] = 29
119.41/24.79	c (13,0) x[25][27] = 8
119.41/24.79	c (13,0) x[25][28] = 6
119.41/24.79	c (13,0) x[25][29] = 16
119.41/24.79	c (13,0) x[26][0] = 3
119.41/24.79	c (13,0) x[26][1] = 27
119.41/24.79	c (13,0) x[26][2] = 29
119.41/24.79	c (13,0) x[26][3] = 17
119.41/24.79	c (13,0) x[26][4] = 18
119.41/24.79	c (13,0) x[26][5] = 26
119.41/24.79	c (13,0) x[26][6] = 25
119.41/24.79	c (13,0) x[26][7] = 14
119.41/24.79	c (13,0) x[26][8] = 15
119.41/24.79	c (13,0) x[26][9] = 7
119.41/24.79	c (13,0) x[26][10] = 23
119.41/24.79	c (13,0) x[26][11] = 0
119.41/24.79	c (13,0) x[26][12] = 22
119.41/24.79	c (13,0) x[26][13] = 9
119.41/24.79	c (13,0) x[26][14] = 1
119.41/24.79	c (13,0) x[26][15] = 8
119.41/24.79	c (13,0) x[26][16] = 6
119.41/24.79	c (13,0) x[26][17] = 16
119.41/24.79	c (13,0) x[26][18] = 12
119.41/24.79	c (13,0) x[26][19] = 21
119.41/24.79	c (13,0) x[26][20] = 24
119.41/24.79	c (13,0) x[26][21] = 5
119.41/24.79	c (13,0) x[26][22] = 4
119.41/24.79	c (13,0) x[26][23] = 2
119.41/24.79	c (13,0) x[26][24] = 20
119.41/24.79	c (13,0) x[26][25] = 19
119.41/24.79	c (13,0) x[26][26] = 13
119.41/24.79	c (13,0) x[26][27] = 11
119.41/24.79	c (13,0) x[26][28] = 10
119.41/24.79	c (13,0) x[26][29] = 28
119.41/24.79	c (13,0) x[27][0] = 20
119.41/24.79	c (13,0) x[27][1] = 26
119.41/24.79	c (13,0) x[27][2] = 7
119.41/24.79	c (13,0) x[27][3] = 5
119.41/24.79	c (13,0) x[27][4] = 21
119.41/24.79	c (13,0) x[27][5] = 18
119.41/24.79	c (13,0) x[27][6] = 2
119.41/24.79	c (13,0) x[27][7] = 8
119.41/24.79	c (13,0) x[27][8] = 10
119.41/24.79	c (13,0) x[27][9] = 1
119.41/24.79	c (13,0) x[27][10] = 9
119.41/24.79	c (13,0) x[27][11] = 12
119.41/24.79	c (13,0) x[27][12] = 3
119.41/24.79	c (13,0) x[27][13] = 27
119.41/24.79	c (13,0) x[27][14] = 0
119.41/24.79	c (13,0) x[27][15] = 28
119.41/24.79	c (13,0) x[27][16] = 19
119.41/24.79	c (13,0) x[27][17] = 4
119.41/24.79	c (13,0) x[27][18] = 14
119.41/24.79	c (13,0) x[27][19] = 15
119.41/24.79	c (13,0) x[27][20] = 13
119.41/24.79	c (13,0) x[27][21] = 24
119.41/24.79	c (13,0) x[27][22] = 11
119.41/24.79	c (13,0) x[27][23] = 16
119.41/24.79	c (13,0) x[27][24] = 22
119.41/24.79	c (13,0) x[27][25] = 17
119.41/24.79	c (13,0) x[27][26] = 6
119.41/24.79	c (13,0) x[27][27] = 23
119.41/24.79	c (13,0) x[27][28] = 29
119.41/24.79	c (13,0) x[27][29] = 25
119.41/24.79	c (13,0) x[28][0] = 15
119.41/24.79	c (13,0) x[28][1] = 18
119.41/24.79	c (13,0) x[28][2] = 20
119.41/24.79	c (13,0) x[28][3] = 4
119.41/24.79	c (13,0) x[28][4] = 17
119.41/24.79	c (13,0) x[28][5] = 10
119.41/24.79	c (13,0) x[28][6] = 13
119.41/24.79	c (13,0) x[28][7] = 27
119.41/24.79	c (13,0) x[28][8] = 21
119.41/24.79	c (13,0) x[28][9] = 12
119.41/24.79	c (13,0) x[28][10] = 22
119.41/24.79	c (13,0) x[28][11] = 25
119.41/24.79	c (13,0) x[28][12] = 24
119.41/24.79	c (13,0) x[28][13] = 6
119.41/24.79	c (13,0) x[28][14] = 9
119.41/24.79	c (13,0) x[28][15] = 19
119.41/24.79	c (13,0) x[28][16] = 26
119.41/24.79	c (13,0) x[28][17] = 5
119.41/24.79	c (13,0) x[28][18] = 16
119.41/24.79	c (13,0) x[28][19] = 3
119.41/24.79	c (13,0) x[28][20] = 11
119.41/24.79	c (13,0) x[28][21] = 8
119.41/24.79	c (13,0) x[28][22] = 7
119.41/24.79	c (13,0) x[28][23] = 23
119.41/24.79	c (13,0) x[28][24] = 28
119.41/24.79	c (13,0) x[28][25] = 14
119.41/24.79	c (13,0) x[28][26] = 2
119.41/24.79	c (13,0) x[28][27] = 29
119.41/24.79	c (13,0) x[28][28] = 1
119.41/24.79	c (13,0) x[28][29] = 0
119.41/24.79	c (13,0) x[29][0] = 2
119.41/24.79	c (13,0) x[29][1] = 6
119.41/24.79	c (13,0) x[29][2] = 14
119.41/24.79	c (13,0) x[29][3] = 1
119.41/24.79	c (13,0) x[29][4] = 3
119.41/24.79	c (13,0) x[29][5] = 16
119.41/24.79	c (13,0) x[29][6] = 7
119.41/24.79	c (13,0) x[29][7] = 15
119.41/24.79	c (13,0) x[29][8] = 19
119.41/24.79	c (13,0) x[29][9] = 8
119.41/24.79	c (13,0) x[29][10] = 17
119.41/24.79	c (13,0) x[29][11] = 5
119.41/24.79	c (13,0) x[29][12] = 27
119.41/24.79	c (13,0) x[29][13] = 21
119.41/24.79	c (13,0) x[29][14] = 20
119.41/24.79	c (13,0) x[29][15] = 29
119.41/24.79	c (13,0) x[29][16] = 28
119.41/24.79	c (13,0) x[29][17] = 12
119.41/24.79	c (13,0) x[29][18] = 25
119.41/24.79	c (13,0) x[29][19] = 13
119.41/24.79	c (13,0) x[29][20] = 9
119.41/24.79	c (13,0) x[29][21] = 22
119.41/24.79	c (13,0) x[29][22] = 18
119.41/24.79	c (13,0) x[29][23] = 10
119.41/24.79	c (13,0) x[29][24] = 23
119.41/24.79	c (13,0) x[29][25] = 26
119.41/24.79	c (13,0) x[29][26] = 24
119.41/24.79	c (13,0) x[29][27] = 0
119.41/24.79	c (13,0) x[29][28] = 11
119.41/24.79	c (13,0) x[29][29] = 4
119.41/24.79	s SATISFIABLE
119.75/24.80	v <instantiation>
119.75/24.80	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.75/24.80	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.75/24.80	v </instantiation>
119.75/24.80	c (13,0) Show results End
119.75/24.80	c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
119.75/24.80	c (13,0) 13,13,STOP-AFTER(ALL)
119.75/24.80	c END-Prog: Tue Sep 24 23:06:55 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 (11991 MiB free)
  memory of node 1: 16384 MiB (13158 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405317-1569359234/watcher-4405317-1569359234 -o /var/tmp/evaluation-result-4405317-1569359234/solver-4405317-1569359234 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --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-4405317-1569359234.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
Current StackSize limit: 8192 KiB

solver pid=21586, runsolver pid=21583

[startup+0.100137 s]*
/proc/loadavg: 7.48 6.72 6.44 2/211 21608
/proc/meminfo: memFree=25658808/32770624 swapFree=66992456/67108860
[pid=21586] ppid=21583 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21586/stat : 21586 (scop.sh) S 21583 21586 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512185934 115843072 349 33554432000 4194304 5098028 140736177944128 140736177941384 140017373631100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32161792 140736177947389 140736177947736 140736177947736 140736177950665 0
/proc/21586/statm: 28282 349 296 221 0 87 0
[pid=21589] ppid=21586 vsize=27314120 memory=105828 CPUtime=0.1 cores=0-7
/proc/21589/stat : 21589 (java) S 21586 21586 20811 0 -1 1077944320 6540 0 0 0 8 2 0 0 20 0 20 0 512185934 27969658880 26457 33554432000 4194304 4196468 140726276505184 140726276487728 139866914651895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
/proc/21589/statm: 6828530 26457 2791 1 0 6790935 0
[pid=21589/tid=21590] ppid=21586 vsize=27314120 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/21589/task/21590/stat : 21590 (java) R 21586 21586 20811 0 -1 4202560 4631 0 0 0 7 1 0 0 20 0 20 0 512185935 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866886474944 139866900334421 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21591] ppid=21586 vsize=27314120 memory=732370640965028837 CPUtime=0 cores=0-7
/proc/21589/task/21591/stat : 21591 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866918894096 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21592] ppid=21586 vsize=27314120 memory=140502627575424 CPUtime=0 cores=0-7
/proc/21589/task/21592/stat : 21592 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866752273040 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21593] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21593/stat : 21593 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866335947024 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21594] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21594/stat : 21594 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866334894480 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21595] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21595/stat : 21595 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866333842448 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21596] ppid=21586 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21589/task/21596/stat : 21596 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866332789904 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21597] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21597/stat : 21597 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866331736848 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21598] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21598/stat : 21598 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866330684304 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21599] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21599/stat : 21599 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866040056048 139866914663042 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21600] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21600/stat : 21600 (java) S 21586 21586 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 26457 33554432000 4194304 4196468 140726276505184 139864871789728 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21601] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21601/stat : 21601 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 26457 33554432000 4194304 4196468 140726276505184 139864603353840 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21602] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21602/stat : 21602 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139864228845520 139866914670491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21603] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21603/stat : 21603 (java) S 21586 21586 20811 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866039003888 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21604] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21604/stat : 21604 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866037951344 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21605] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21605/stat : 21605 (java) S 21586 21586 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866036898288 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21606] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21606/stat : 21606 (java) R 21586 21586 20811 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866035845744 139866896062045 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21607] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21607/stat : 21607 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139863730940384 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21608] ppid=21586 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21589/task/21608/stat : 21608 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 26457 33554432000 4194304 4196468 140726276505184 139866034793136 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107224 KiB

[startup+0.210125 s]*
/proc/loadavg: 7.48 6.72 6.44 3/211 21608
/proc/meminfo: memFree=25640608/32770624 swapFree=66992456/67108860
[pid=21586] ppid=21583 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21586/stat : 21586 (scop.sh) S 21583 21586 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512185934 115843072 349 33554432000 4194304 5098028 140736177944128 140736177941384 140017373631100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32161792 140736177947389 140736177947736 140736177947736 140736177950665 0
/proc/21586/statm: 28282 349 296 221 0 87 0
[pid=21589] ppid=21586 vsize=27314120 memory=122712 CPUtime=0.24 cores=0-7
/proc/21589/stat : 21589 (java) S 21586 21586 20811 0 -1 1077944320 11597 0 0 0 20 4 0 0 20 0 20 0 512185934 27969658880 30678 33554432000 4194304 4196468 140726276505184 140726276487728 139866914651895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
/proc/21589/statm: 6828530 30678 2911 1 0 6790935 0
[pid=21589/tid=21590] ppid=21586 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/21589/task/21590/stat : 21590 (java) R 21586 21586 20811 0 -1 4202560 9256 0 0 0 16 3 0 0 20 0 20 0 512185935 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866886471136 139866899817495 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21591] ppid=21586 vsize=27314120 memory=732370640965028837 CPUtime=0 cores=0-7
/proc/21589/task/21591/stat : 21591 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866918894096 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21592] ppid=21586 vsize=27314120 memory=140502627575424 CPUtime=0 cores=0-7
/proc/21589/task/21592/stat : 21592 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866752273040 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21593] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21593/stat : 21593 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866335947024 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21594] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21594/stat : 21594 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866334894480 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21595] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21595/stat : 21595 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866333842448 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21596] ppid=21586 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21589/task/21596/stat : 21596 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866332789904 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21597] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21597/stat : 21597 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866331736848 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21598] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21598/stat : 21598 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866330684304 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21599] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21599/stat : 21599 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866040056048 139866914663042 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21600] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21600/stat : 21600 (java) S 21586 21586 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 30678 33554432000 4194304 4196468 140726276505184 139864871789728 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21601] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21601/stat : 21601 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 30678 33554432000 4194304 4196468 140726276505184 139864603353840 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21602] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21602/stat : 21602 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139864228845520 139866914670491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21603] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21603/stat : 21603 (java) S 21586 21586 20811 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866039003888 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21604] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21604/stat : 21604 (java) S 21586 21586 20811 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866037951344 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21605] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21605/stat : 21605 (java) S 21586 21586 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866036898288 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21606] ppid=21586 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21589/task/21606/stat : 21606 (java) S 21586 21586 20811 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866035845744 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21607] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21607/stat : 21607 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139863730940384 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21608] ppid=21586 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21589/task/21608/stat : 21608 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 30678 33554432000 4194304 4196468 140726276505184 139866034793136 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124108 KiB

[startup+0.309626 s]*
/proc/loadavg: 7.48 6.72 6.44 2/211 21608
/proc/meminfo: memFree=25636700/32770624 swapFree=66992456/67108860
[pid=21586] ppid=21583 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21586/stat : 21586 (scop.sh) S 21583 21586 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512185934 115843072 349 33554432000 4194304 5098028 140736177944128 140736177941384 140017373631100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32161792 140736177947389 140736177947736 140736177947736 140736177950665 0
/proc/21586/statm: 28282 349 296 221 0 87 0
[pid=21589] ppid=21586 vsize=27314120 memory=127208 CPUtime=0.42 cores=0-7
/proc/21589/stat : 21589 (java) S 21586 21586 20811 0 -1 1077944320 12622 0 0 0 37 5 0 0 20 0 20 0 512185934 27969658880 31802 33554432000 4194304 4196468 140726276505184 140726276487728 139866914651895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
/proc/21589/statm: 6828530 31802 3052 1 0 6790935 0
[pid=21589/tid=21590] ppid=21586 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/21589/task/21590/stat : 21590 (java) R 21586 21586 20811 0 -1 4202560 10017 0 0 0 26 4 0 0 20 0 20 0 512185935 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866886481968 139866896215507 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21591] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21591/stat : 21591 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866918894096 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21592] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21592/stat : 21592 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866752273040 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21593] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21593/stat : 21593 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866335947024 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21594] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21594/stat : 21594 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866334894480 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21595] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21595/stat : 21595 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866333842448 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21596] ppid=21586 vsize=27314120 memory=140502473206447 CPUtime=0 cores=0-7
/proc/21589/task/21596/stat : 21596 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866332789904 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21597] ppid=21586 vsize=27314120 memory=140502473208752 CPUtime=0 cores=0-7
/proc/21589/task/21597/stat : 21597 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866331736848 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21598] ppid=21586 vsize=27314120 memory=140502473211056 CPUtime=0 cores=0-7
/proc/21589/task/21598/stat : 21598 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866330684304 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21599] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21599/stat : 21599 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866040056048 139866914663042 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21600] ppid=21586 vsize=27314120 memory=281004946435984 CPUtime=0 cores=0-7
/proc/21589/task/21600/stat : 21600 (java) S 21586 21586 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 31802 33554432000 4194304 4196468 140726276505184 139864871789728 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21601] ppid=21586 vsize=27314120 memory=281004946433680 CPUtime=0 cores=0-7
/proc/21589/task/21601/stat : 21601 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185939 27969658880 31802 33554432000 4194304 4196468 140726276505184 139864603353840 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21602] ppid=21586 vsize=27314120 memory=281004946440592 CPUtime=0 cores=0-7
/proc/21589/task/21602/stat : 21602 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139864228845520 139866914670491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21603] ppid=21586 vsize=27314120 memory=281004946381840 CPUtime=0.01 cores=0-7
/proc/21589/task/21603/stat : 21603 (java) S 21586 21586 20811 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866039003888 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21604] ppid=21586 vsize=27314120 memory=281004946454416 CPUtime=0.01 cores=0-7
/proc/21589/task/21604/stat : 21604 (java) S 21586 21586 20811 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866037951344 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21605] ppid=21586 vsize=27314120 memory=281004946461328 CPUtime=0.01 cores=0-7
/proc/21589/task/21605/stat : 21605 (java) S 21586 21586 20811 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866036898288 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21606] ppid=21586 vsize=27314120 memory=281004946459024 CPUtime=0.07 cores=0-7
/proc/21589/task/21606/stat : 21606 (java) S 21586 21586 20811 0 -1 1077944384 614 0 0 0 7 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866035845744 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21607] ppid=21586 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21607/stat : 21607 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139863730940384 139866914662101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21608] ppid=21586 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21589/task/21608/stat : 21608 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185942 27969658880 31802 33554432000 4194304 4196468 140726276505184 139866034793136 139866914663042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128604 KiB

[startup+0.700928 s]
/proc/loadavg: 7.48 6.72 6.44 2/211 21608
/proc/meminfo: memFree=25614688/32770624 swapFree=66992456/67108860
[pid=21586] ppid=21583 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21586/stat : 21586 (scop.sh) S 21583 21586 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512185934 115843072 349 33554432000 4194304 5098028 140736177944128 140736177941384 140017373631100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32161792 140736177947389 140736177947736 140736177947736 140736177950665 0
/proc/21586/statm: 28282 349 296 221 0 87 0
[pid=21589] ppid=21586 vsize=27320392 memory=165044 CPUtime=1 cores=0-7
/proc/21589/stat : 21589 (java) S 21586 21586 20811 0 -1 1077944320 20274 0 0 0 92 8 0 0 20 0 20 0 512185934 27976081408 41261 33554432000 4194304 4196468 140726276505184 140726276487728 139866914651895 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
/proc/21589/statm: 6830098 41261 3197 1 0 6791447 0
[pid=21589/tid=21590] ppid=21586 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/21589/task/21590/stat : 21590 (java) R 21586 21586 20811 0 -1 4202560 17046 0 0 0 61 6 0 0 20 0 20 0 512185935 27976081408 41261 33554432000 4194304 4196468 140726276505184 139866886489648 139866898732382 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21591] ppid=21586 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21591/stat : 21591 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512185937 27976081408 41261 33554432000 4194304 4196468 140726276505184 139866918894096 139866914662101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21592] ppid=21586 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21592/stat : 21592 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27976081408 41261 33554432000 4194304 4196468 140726276505184 139866752273040 139866914662101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0
[pid=21589/tid=21593] ppid=21586 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21589/task/21593/stat : 21593 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512185937 27976081408 41261 33554432000 4194304 4196468 140726276505184 139866335947024 139866914662101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28352512 140726276506311 140726276506758 140726276506758 140726276509647 0

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

/proc/21609/task/21615/stat : 21615 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589656599056 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21616] ppid=21586 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/21609/task/21616/stat : 21616 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589655546512 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21617] ppid=21586 vsize=8414124 memory=8248 CPUtime=0 cores=0-7
/proc/21609/task/21617/stat : 21617 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589654493456 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21618] ppid=21586 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/21609/task/21618/stat : 21618 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589653440912 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21619] ppid=21586 vsize=8414124 memory=9520 CPUtime=0 cores=0-7
/proc/21609/task/21619/stat : 21619 (java) S 21586 21586 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512187025 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589268478704 140590174997122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21620] ppid=21586 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/21609/task/21620/stat : 21620 (java) S 21586 21586 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512187025 8616062976 30560 33554432000 4194304 4196468 140735348960960 140588775106208 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21621] ppid=21586 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/21609/task/21621/stat : 21621 (java) S 21586 21586 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512187026 8616062976 30560 33554432000 4194304 4196468 140735348960960 140588640883952 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21622] ppid=21586 vsize=8414124 memory=262924 CPUtime=0 cores=0-7
/proc/21609/task/21622/stat : 21622 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140588266379728 140590175004571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21623] ppid=21586 vsize=8414124 memory=288230583169037978 CPUtime=0.11 cores=0-7
/proc/21609/task/21623/stat : 21623 (java) S 21586 21586 20811 0 -1 1077944384 878 0 0 0 11 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589267425520 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21624] ppid=21586 vsize=8414124 memory=13845274597373686 CPUtime=0.11 cores=0-7
/proc/21609/task/21624/stat : 21624 (java) S 21586 21586 20811 0 -1 1077944384 315 0 0 0 11 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589266372976 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21625] ppid=21586 vsize=8414124 memory=7649399379919778098 CPUtime=0.11 cores=0-7
/proc/21609/task/21625/stat : 21625 (java) S 21586 21586 20811 0 -1 1077944384 464 0 0 0 11 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589265319920 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21626] ppid=21586 vsize=8414124 memory=7649399384214745394 CPUtime=0.22 cores=0-7
/proc/21609/task/21626/stat : 21626 (java) S 21586 21586 20811 0 -1 1077944384 587 0 0 0 22 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589264267376 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21627] ppid=21586 vsize=8414124 memory=7649399388509712690 CPUtime=0 cores=0-7
/proc/21609/task/21627/stat : 21627 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140587768474592 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21628] ppid=21586 vsize=8414124 memory=7649399392804679986 CPUtime=0 cores=0-7
/proc/21609/task/21628/stat : 21628 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589263215792 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21630] ppid=21586 vsize=8414124 memory=7649399397099647282 CPUtime=0 cores=0-7
/proc/21609/task/21630/stat : 21630 (java) S 21586 21586 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512187099 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589255181760 140590175010585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21632] ppid=21586 vsize=8414124 memory=7649399358461718834 CPUtime=0 cores=0-7
/proc/21609/task/21632/stat : 21632 (java) S 21586 21586 20811 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512187100 8616062976 30560 33554432000 4194304 4196468 140735348960960 140587097374224 140590175007901 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21633] ppid=21586 vsize=8414124 memory=7649399362756686130 CPUtime=0 cores=0-7
/proc/21609/task/21633/stat : 21633 (java) S 21586 21586 20811 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512187100 8616062976 30560 33554432000 4194304 4196468 140735348960960 140587365809808 140590175007901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21634] ppid=21586 vsize=8414124 memory=7649399367051653426 CPUtime=0 cores=0-7
/proc/21609/task/21634/stat : 21634 (java) S 21586 21586 20811 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512187102 8616062976 30560 33554432000 4194304 4196468 140735348960960 140586828946352 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
Current children cumulated CPU time: 117.24 s
Current children cumulated vsize: 9318260 KiB
Current children cumulated memory: 391108 KiB

[startup+24.4013 s]
/proc/loadavg: 6.72 6.58 6.40 7/222 21643
/proc/meminfo: memFree=25375736/32770624 swapFree=66992456/67108860
[pid=21586] ppid=21583 vsize=113128 memory=1476 CPUtime=20.29 cores=0-7
/proc/21586/stat : 21586 (scop.sh) S 21583 21586 20811 0 -1 4202496 583 35537 0 0 0 0 1948 81 20 0 1 0 512185934 115843072 369 33554432000 4194304 5098028 140736177944128 140736177940872 140017373631100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32161792 140736177947389 140736177947736 140736177947736 140736177950665 0
/proc/21586/statm: 28282 369 311 221 0 87 0
[pid=21609] ppid=21586 vsize=8414124 memory=122240 CPUtime=1.41 cores=0-7
/proc/21609/stat : 21609 (java) S 21586 21586 20811 0 -1 1077944320 20071 0 0 0 132 9 0 0 20 0 24 0 512187022 8616062976 30560 33554432000 4194304 4196468 140735348960960 140735348943504 140590174985975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
/proc/21609/statm: 2103531 30560 3215 1 0 2064875 0
[pid=21629] ppid=21609 vsize=791008 memory=268180 CPUtime=97.01 cores=0-7
/proc/21629/stat : 21629 (manyglucose-4.1) S 21609 21586 20811 0 -1 1077944320 162887 0 0 0 9661 40 0 0 20 0 3 0 512187099 809992192 67045 33554432000 4194304 4454172 140734283293424 140734283291808 140704103907063 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 14794752 140734283297613 140734283297820 140734283297820 140734283300790 0
/proc/21629/statm: 197752 67045 420 64 0 193420 0
[pid=21629/tid=21635] ppid=21609 vsize=791008 memory=1398722017469774279 CPUtime=12.31 cores=0-7
/proc/21629/task/21635/stat : 21635 (manyglucose-4.1) R 21609 21586 20811 0 -1 4202560 16469 0 0 0 1226 5 0 0 20 0 3 0 512187141 809992192 67045 33554432000 4194304 4454172 140734283293424 140704069241944 4332757 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 14794752 140734283297613 140734283297820 140734283297820 140734283300790 0
[pid=21629/tid=21636] ppid=21609 vsize=791008 memory=-7003737579269690708 CPUtime=12.04 cores=0-7
/proc/21629/task/21636/stat : 21636 (manyglucose-4.1) R 21609 21586 20811 0 -1 4202560 16711 0 0 0 1199 5 0 0 20 0 3 0 512187141 809992192 67045 33554432000 4194304 4454172 140734283293424 140704060848696 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 14794752 140734283297613 140734283297820 140734283297820 140734283300790 0
[pid=21609/tid=21610] ppid=21586 vsize=8414124 memory=1808 CPUtime=0.8 cores=0-7
/proc/21609/task/21610/stat : 21610 (java) S 21586 21586 20811 0 -1 1077944384 16409 0 0 0 73 7 0 0 20 0 24 0 512187022 8616062976 30560 33554432000 4194304 4196468 140735348960960 140590146826144 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21611] ppid=21586 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/21609/task/21611/stat : 21611 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140590179228688 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21612] ppid=21586 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/21609/task/21612/stat : 21612 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589984992400 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21613] ppid=21586 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21609/task/21613/stat : 21613 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589658704656 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21614] ppid=21586 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/21609/task/21614/stat : 21614 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589657652112 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21615] ppid=21586 vsize=8414124 memory=57 CPUtime=0 cores=0-7
/proc/21609/task/21615/stat : 21615 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589656599056 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21616] ppid=21586 vsize=8414124 memory=-7523660553960122769 CPUtime=0 cores=0-7
/proc/21609/task/21616/stat : 21616 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589655546512 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21617] ppid=21586 vsize=8414124 memory=4134692831991786133 CPUtime=0 cores=0-7
/proc/21609/task/21617/stat : 21617 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589654493456 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21618] ppid=21586 vsize=8414124 memory=7016952788452204857 CPUtime=0 cores=0-7
/proc/21609/task/21618/stat : 21618 (java) S 21586 21586 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512187023 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589653440912 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21619] ppid=21586 vsize=8414124 memory=4134930537816160314 CPUtime=0 cores=0-7
/proc/21609/task/21619/stat : 21619 (java) S 21586 21586 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512187025 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589268478704 140590174997122 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21620] ppid=21586 vsize=8414124 memory=7016952788452808050 CPUtime=0 cores=0-7
/proc/21609/task/21620/stat : 21620 (java) S 21586 21586 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512187025 8616062976 30560 33554432000 4194304 4196468 140735348960960 140588775106208 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21621] ppid=21586 vsize=8414124 memory=4134930498285298233 CPUtime=0 cores=0-7
/proc/21609/task/21621/stat : 21621 (java) S 21586 21586 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512187026 8616062976 30560 33554432000 4194304 4196468 140735348960960 140588640883952 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21622] ppid=21586 vsize=8414124 memory=8663349401043049113 CPUtime=0 cores=0-7
/proc/21609/task/21622/stat : 21622 (java) S 21586 21586 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140588266379728 140590175004571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21623] ppid=21586 vsize=8414124 memory=9128249998 CPUtime=0.11 cores=0-7
/proc/21609/task/21623/stat : 21623 (java) S 21586 21586 20811 0 -1 1077944384 878 0 0 0 11 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589267425520 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21624] ppid=21586 vsize=8414124 memory=281004946994496 CPUtime=0.11 cores=0-7
/proc/21609/task/21624/stat : 21624 (java) S 21586 21586 20811 0 -1 1077944384 315 0 0 0 11 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589266372976 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21625] ppid=21586 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/21609/task/21625/stat : 21625 (java) S 21586 21586 20811 0 -1 1077944384 464 0 0 0 11 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589265319920 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21626] ppid=21586 vsize=8414124 memory=281004948285376 CPUtime=0.22 cores=0-7
/proc/21609/task/21626/stat : 21626 (java) S 21586 21586 20811 0 -1 1077944384 587 0 0 0 22 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589264267376 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21627] ppid=21586 vsize=8414124 memory=6011696182146962390 CPUtime=0 cores=0-7
/proc/21609/task/21627/stat : 21627 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140587768474592 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21628] ppid=21586 vsize=8414124 memory=-7533522213388100735 CPUtime=0 cores=0-7
/proc/21609/task/21628/stat : 21628 (java) S 21586 21586 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512187028 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589263215792 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21630] ppid=21586 vsize=8414124 memory=-6736937045019192452 CPUtime=0 cores=0-7
/proc/21609/task/21630/stat : 21630 (java) S 21586 21586 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512187099 8616062976 30560 33554432000 4194304 4196468 140735348960960 140589255181760 140590175010585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21632] ppid=21586 vsize=8414124 memory=1404238533774450294 CPUtime=0 cores=0-7
/proc/21609/task/21632/stat : 21632 (java) S 21586 21586 20811 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512187100 8616062976 30560 33554432000 4194304 4196468 140735348960960 140587097374224 140590175007901 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21633] ppid=21586 vsize=8414124 memory=281004947430880 CPUtime=0 cores=0-7
/proc/21609/task/21633/stat : 21633 (java) S 21586 21586 20811 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512187100 8616062976 30560 33554432000 4194304 4196468 140735348960960 140587365809808 140590175007901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21634] ppid=21586 vsize=8414124 memory=7223887401239728208 CPUtime=0 cores=0-7
/proc/21609/task/21634/stat : 21634 (java) S 21586 21586 20811 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512187102 8616062976 30560 33554432000 4194304 4196468 140735348960960 140586828946352 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
Current children cumulated CPU time: 118.71 s
Current children cumulated vsize: 9318260 KiB
Current children cumulated memory: 391896 KiB

[startup+24.801 s]
/proc/loadavg: 6.72 6.58 6.40 7/222 21643
/proc/meminfo: memFree=25375736/32770624 swapFree=66992456/67108860
[pid=21586] ppid=21583 vsize=113128 memory=1476 CPUtime=20.29 cores=0-7
/proc/21586/stat : 21586 (scop.sh) S 21583 21586 20811 0 -1 4202496 583 35537 0 0 0 0 1948 81 20 0 1 0 512185934 115843072 369 33554432000 4194304 5098028 140736177944128 140736177940872 140017373631100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32161792 140736177947389 140736177947736 140736177947736 140736177950665 0
/proc/21586/statm: 28282 369 311 221 0 87 0
[pid=21609] ppid=21586 vsize=8283048 memory=146420 CPUtime=99.46 cores=0-7
/proc/21609/stat : 21609 (java) S 21586 21586 20811 0 -1 1077944320 24040 162926 0 0 211 11 9683 41 20 0 22 0 512187022 8481841152 36605 33554432000 4194304 4196468 140735348960960 140735348943504 140590174985975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
/proc/21609/statm: 2070762 36605 3236 1 0 2032106 0
[pid=21609/tid=21610] ppid=21586 vsize=8283048 memory=6791534058613427641 CPUtime=98.25 cores=0-7
/proc/21609/task/21610/stat : 21610 (java) R 21586 21586 20811 0 -1 4202560 17799 162926 0 0 93 8 9683 41 20 0 22 0 512187022 8481841152 36605 33554432000 4194304 4196468 140735348960960 140590146812608 140590174997910 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21611] ppid=21586 vsize=8283048 memory=1476 CPUtime=97.24 cores=0-7
/proc/21609/task/21611/stat : 21611 (java) S 21586 21586 20811 0 -1 1077944384 1 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140590179228688 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21612] ppid=21586 vsize=8283048 memory=122240 CPUtime=97.24 cores=0-7
/proc/21609/task/21612/stat : 21612 (java) S 21586 21586 20811 0 -1 1077944384 3 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589984992400 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21613] ppid=21586 vsize=8283048 memory=1476 CPUtime=97.24 cores=0-7
/proc/21609/task/21613/stat : 21613 (java) S 21586 21586 20811 0 -1 1077944384 2 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589658704656 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21614] ppid=21586 vsize=8283048 memory=122240 CPUtime=97.24 cores=0-7
/proc/21609/task/21614/stat : 21614 (java) S 21586 21586 20811 0 -1 1077944384 1 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589657652112 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21615] ppid=21586 vsize=8283048 memory=1476 CPUtime=97.24 cores=0-7
/proc/21609/task/21615/stat : 21615 (java) S 21586 21586 20811 0 -1 1077944384 2 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589656599056 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21616] ppid=21586 vsize=8283048 memory=1476 CPUtime=97.24 cores=0-7
/proc/21609/task/21616/stat : 21616 (java) S 21586 21586 20811 0 -1 1077944384 2 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589655546512 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21617] ppid=21586 vsize=8283048 memory=122240 CPUtime=97.24 cores=0-7
/proc/21609/task/21617/stat : 21617 (java) S 21586 21586 20811 0 -1 1077944384 1 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589654493456 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21618] ppid=21586 vsize=8283048 memory=202280 CPUtime=97.24 cores=0-7
/proc/21609/task/21618/stat : 21618 (java) S 21586 21586 20811 0 -1 1077944384 2 162926 0 0 0 0 9683 41 20 0 22 0 512187023 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589653440912 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21619] ppid=21586 vsize=8283048 memory=185740155726060 CPUtime=97.24 cores=0-7
/proc/21609/task/21619/stat : 21619 (java) S 21586 21586 20811 0 -1 1077944384 5 162926 0 0 0 0 9683 41 20 0 22 0 512187025 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589268478704 140590174997122 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21620] ppid=21586 vsize=8283048 memory=1152 CPUtime=97.24 cores=0-7
/proc/21609/task/21620/stat : 21620 (java) S 21586 21586 20811 0 -1 1077944384 13 162926 0 0 0 0 9683 41 20 0 22 0 512187025 8481841152 36605 33554432000 4194304 4196468 140735348960960 140588775106208 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21621] ppid=21586 vsize=8283048 memory=1151 CPUtime=97.24 cores=0-7
/proc/21609/task/21621/stat : 21621 (java) S 21586 21586 20811 0 -1 1077944384 21 162926 0 0 0 0 9683 41 20 0 22 0 512187026 8481841152 36605 33554432000 4194304 4196468 140735348960960 140588640883952 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21622] ppid=21586 vsize=8283048 memory=1152 CPUtime=97.24 cores=0-7
/proc/21609/task/21622/stat : 21622 (java) S 21586 21586 20811 0 -1 1077944384 1 162926 0 0 0 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140588266379728 140590175004571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21623] ppid=21586 vsize=8283048 memory=1151 CPUtime=97.46 cores=0-7
/proc/21609/task/21623/stat : 21623 (java) S 21586 21586 20811 0 -1 1077944384 1016 162926 0 0 22 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589267425520 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21624] ppid=21586 vsize=8283048 memory=1152 CPUtime=97.48 cores=0-7
/proc/21609/task/21624/stat : 21624 (java) R 21586 21586 20811 0 -1 4202560 837 162926 0 0 24 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589266342752 140590175007322 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21625] ppid=21586 vsize=8283048 memory=1151 CPUtime=97.47 cores=0-7
/proc/21609/task/21625/stat : 21625 (java) R 21586 21586 20811 0 -1 4202560 822 162926 0 0 23 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589265309632 140590175007322 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21626] ppid=21586 vsize=8283048 memory=80 CPUtime=97.62 cores=0-7
/proc/21609/task/21626/stat : 21626 (java) R 21586 21586 20811 0 -1 4202560 1592 162926 0 0 38 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589264267376 140590175007322 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21627] ppid=21586 vsize=8283048 memory=0 CPUtime=97.24 cores=0-7
/proc/21609/task/21627/stat : 21627 (java) S 21586 21586 20811 0 -1 1077944384 3 162926 0 0 0 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140587768474592 140590174996181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21628] ppid=21586 vsize=8283048 memory=0 CPUtime=97.24 cores=0-7
/proc/21609/task/21628/stat : 21628 (java) S 21586 21586 20811 0 -1 1077944384 3 162926 0 0 0 0 9683 41 20 0 22 0 512187028 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589263215792 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21630] ppid=21586 vsize=8283048 memory=0 CPUtime=97.24 cores=0-7
/proc/21609/task/21630/stat : 21630 (java) S 21586 21586 20811 0 -1 1077944384 25 162926 0 0 0 0 9683 41 20 0 22 0 512187099 8481841152 36605 33554432000 4194304 4196468 140735348960960 140589255180944 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
[pid=21609/tid=21634] ppid=21586 vsize=8283048 memory=0 CPUtime=97.24 cores=0-7
/proc/21609/task/21634/stat : 21634 (java) S 21586 21586 20811 0 -1 1077944384 13 162926 0 0 0 0 9683 41 20 0 22 0 512187102 8481841152 36605 33554432000 4194304 4196468 140735348960960 140586828948144 140590174997122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140735348962271 140735348962438 140735348962438 140735348965327 0
Current children cumulated CPU time: 119.75 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 147896 KiB

Child status: 0
Real time (s): 24.8229
CPU time (s): 119.806
CPU user time (s): 118.443
CPU system time (s): 1.36277
CPU usage (%): 482.642
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4330736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.443
system time used= 1.36277
maximum resident set size= 4334368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223125
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= 11201
involuntary context switches= 1191


# summary of solver processes directly reported to runsolver:
#   pid: 21586
#   total CPU time (s): 119.806
#   total CPU user time (s): 118.443
#   total CPU system time (s): 1.36277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.244035 second user time and 0.326959 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 23:06:31
IDJOB=4405317
IDBENCH=138963
IDSOLVER=2867
FILE ID=node121/4405317-1569359234
RUNJOBID= node121-1569357356-20838
PBS_JOBID= 21705107
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405317-1569359234/watcher-4405317-1569359234 -o /var/tmp/evaluation-result-4405317-1569359234/solver-4405317-1569359234 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --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-4405317-1569359234.xml

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

MD5SUM BENCH= 595b80e98a8312b53afa04c8c4859da3
RANDOM SEED=724543907

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25753200 kB
MemAvailable:   31843904 kB
Buffers:          152752 kB
Cached:          6027772 kB
SwapCached:         4600 kB
Active:          3065872 kB
Inactive:        3123852 kB
Active(anon):       2640 kB
Inactive(anon):    55932 kB
Active(file):    3063232 kB
Inactive(file):  3067920 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       66992456 kB
Dirty:             20472 kB
Writeback:             0 kB
AnonPages:        120236 kB
Mapped:            53564 kB
Shmem:             41144 kB
Slab:             417832 kB
SReclaimable:     388012 kB
SUnreclaim:        29820 kB
KernelStack:        3728 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-24 23:06:56