Trace number 4405333

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 109.936 23.2708

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-08.xml
MD5SUMa38db4eec3f77542c2f3ff7a616038a8
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 benchmark9.15382
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-24691-serial-file.bin HOME/instance-4405333-1569359245.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:06:42 CEST 2019
0.66/0.57	c PID: 24694
0.66/0.57	c IP: 172.20.3.147
0.66/0.57	c HOST: node147.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.66/1.06	c (0,0) Parsing End
1.66/1.07	c (0,0) CSP: 862 int (0 aux), 38 bool (0 aux), 2 ctr, max domain size 30
1.66/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.08	c (0,0) Constraint Name Generate Begin
1.66/1.08	c (0,0) Ctr:HOME/instance-4405333-1569359245.xml,AllDifferentMatrix:Instantiation:Var
1.66/1.08	c (0,0) Constraint Name Generate End
1.66/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.08	c (0,0) CSP to CSPinCNF Begin
1.93/1.12	c (0,0) translated 1 (10%) constraints
5.82/2.84	c (2,2) translated 2 (20%) constraints
6.10/2.96	c (2,2) ===========================================
6.10/2.96	c (2,2) Order
6.10/2.96	c (2,2) ===========================================
8.00/3.42	c (2,2) translated 2855 (10%) constraints
8.99/3.75	c (3,3) translated 5710 (20%) constraints
9.41/4.08	c (3,3) translated 8564 (30%) constraints
9.70/4.38	c (3,3) translated 11419 (40%) constraints
10.10/4.71	c (4,4) translated 14273 (50%) constraints
10.33/4.99	c (4,4) translated 17128 (60%) constraints
10.67/5.25	c (4,4) translated 19983 (70%) constraints
10.99/5.52	c (4,4) translated 22837 (80%) constraints
11.32/5.81	c (5,5) translated 25692 (90%) constraints
11.53/6.05	c (5,5) translated 28546 (100%) constraints
11.53/6.06	c (5,5) CSP to CSPinCNF End
11.53/6.06	c (5,5) CSP: 862 int (0 aux), 27038 bool (27000 aux), 137072 ctr, max domain size 30
11.53/6.06	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.53/6.06	c (5,5) CSPinCNF Propagation Begin
14.82/8.15	c (7,7) 20684 values, 88694 unsatisfiable literals, and 92199 valid clauses are removed
14.82/8.15	c (7,7) CSPinCNF Propagation End
14.82/8.16	c (7,7) CSP: 862 int (0 aux), 27038 bool (27000 aux), 44873 ctr, max domain size 30
14.82/8.16	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.82/8.16	c (7,7) Simplify CSPinCNF Begin
15.87/8.69	c (8,8) Simplify CSPinCNF End
15.97/8.70	c (8,8) CSP: 862 int (0 aux), 52752 bool (52714 aux), 70587 ctr, max domain size 30
15.97/8.70	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.97/8.70	c (8,8) Calculate Precise Domain Begin
15.97/8.70	c (8,8) 0 values are removed by re-calculation
15.97/8.70	c (8,8) Calculate Precise Domain End
15.97/8.71	c (8,8) CSP: 862 int (0 aux), 52752 bool (52714 aux), 70587 ctr, max domain size 30
15.97/8.71	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.97/8.71	c (8,8) CSPinCNF to SatSolver Begin
17.72/9.25	c (8,8) 7059 (10 %) CSP clauses are encoded (0 SAT variables, 28248 SAT clauses)
18.11/9.41	c (8,8) 14118 (20 %) CSP clauses are encoded (0 SAT variables, 49861 SAT clauses)
18.26/9.57	c (9,9) 21177 (30 %) CSP clauses are encoded (0 SAT variables, 71924 SAT clauses)
18.48/9.71	c (9,9) 28235 (40 %) CSP clauses are encoded (0 SAT variables, 91904 SAT clauses)
18.58/9.85	c (9,9) 35294 (50 %) CSP clauses are encoded (0 SAT variables, 114354 SAT clauses)
18.68/10.00	c (9,9) 42353 (60 %) CSP clauses are encoded (0 SAT variables, 136114 SAT clauses)
18.94/10.15	c (9,9) 49411 (70 %) CSP clauses are encoded (0 SAT variables, 158592 SAT clauses)
19.03/10.28	c (9,9) 56470 (80 %) CSP clauses are encoded (0 SAT variables, 179401 SAT clauses)
19.23/10.42	c (9,9) 63529 (90 %) CSP clauses are encoded (0 SAT variables, 200068 SAT clauses)
19.34/10.55	c (10,9) 70587 (100 %) CSP clauses are encoded (0 SAT variables, 220606 SAT clauses)
19.34/10.55	c (10,9) CSPinCNF to SatSolver End
19.34/10.55	c (10,9) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.34/10.55	c (10,9) 41692 bool, 220607 clause
19.34/10.55	c (10,9) Export Begin
19.49/10.69	c (10,10) Export to HOME/scop-24691-serial-file.bin
19.49/10.69	c (10,10) Export End
19.49/10.69	c (10,10) Export File Size: 0.15 MB
19.49/10.69	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
19.49/10.69	c END-Prog: Tue Sep 24 23:06:52 CEST 2019
19.76/10.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24691-serial-file.bin
20.28/11.19	c (0,0) Read Serial File Begin
20.28/11.19	c (0,0) HOME/scop-24691-serial-file.bin
20.73/11.45	c (0,0) Read Serial File End
20.73/11.46	
20.73/11.46	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.73/11.46	(Solving Process)
20.73/11.46	
20.73/11.48	c BEGIN-Prog: Tue Sep 24 23:06:53 CEST 2019
20.73/11.48	c PID: 24714
20.73/11.48	c IP: 172.20.3.147
20.73/11.48	c HOST: node147.alineos.net
20.73/11.49	c (0,0) SatSolver.solve Begin
20.73/11.49	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405333-1569359245.xml-scop-24694.cnf
21.03/11.51	c (0,0) c
21.03/11.51	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.03/11.51	c (0,0) c
21.03/11.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.03/11.51	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.03/11.51	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.03/11.51	c (0,0) c |                                                                                                       |
21.03/11.59	c (0,0) c |  Number of variables:         41692                                                                   |
21.03/11.59	c (0,0) c |  Number of clauses:          220607                                                                   |
21.03/11.59	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.03/11.59	c (0,0) c |                                                                                                       |
21.18/11.81	c (0,0) c |  Simplification time:          0.21 s                                                                 |
21.18/11.81	c (0,0) c |                                                                                                       |
21.18/11.81	c (0,0) c |  Generating clones                                                                                    |
21.18/11.93	c (0,0) c |  all clones generated. Memory =   206.46Mb.                                                           |
21.18/11.93	c (0,0) c ========================================================================================================|
21.18/11.93	c (0,0) c
21.18/11.93	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.18/11.93	c (0,0) c
21.18/11.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.18/11.93	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.18/11.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.18/11.93	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.18/11.93	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.18/11.93	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.18/11.93	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.18/11.93	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.18/11.93	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.18/11.93	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.18/11.93	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.18/11.93	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.18/11.93	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.18/11.93	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.18/11.93	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.18/11.93	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.18/11.93	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.18/11.93	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.18/11.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c real time : 11.4376 s
108.75/22.95	c (11,0) c cpu time  : 87.4196 s
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c | Conflicts     |          117266 |      14330 |      13456 |      14715 |      15140 |      15348 |      14297 |      15001 |      14979 |
108.75/22.95	c (11,0) c | Decisions     |         1777627 |     220426 |     216471 |     223825 |     227320 |     223675 |     215219 |     226459 |     224232 |
108.75/22.95	c (11,0) c | Propagations  |       156543113 |   19190522 |   18435059 |   20036535 |   19895475 |   20186558 |   18772055 |   20121346 |   19905563 |
108.75/22.95	c (11,0) c | ReduceDBs     |              23 |          3 |          2 |          3 |          3 |          3 |          3 |          3 |          3 |
108.75/22.95	c (11,0) c | SimpDBs       |             267 |         33 |         32 |         34 |         34 |         34 |         32 |         34 |         34 |
108.75/22.95	c (11,0) c | Restarts      |            1350 |        159 |        142 |        178 |        173 |        172 |        159 |        181 |        186 |
108.75/22.95	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
108.75/22.95	c (11,0) c | PropBinClauses|       327313465 |   39760413 |   37619361 |   41671862 |   42092777 |   42709430 |   39100791 |   42479556 |   41879275 |
108.75/22.95	c (11,0) c | PropPreBlocker|      1460330370 |  177512419 |  166760241 |  185458194 |  187983777 |  191498568 |  174743464 |  189539593 |  186834114 |
108.75/22.95	c (11,0) c | PropNotBlocker|       391082466 |   47765694 |   44706759 |   49551674 |   50079028 |   51073123 |   47150643 |   50698593 |   50056952 |
108.75/22.95	c (11,0) c | LitFullScans  |      2522418147 |  306598574 |  288582547 |  320784481 |  324256705 |  330085510 |  301877257 |  327373059 |  322860014 |
108.75/22.95	c (11,0) c | LitScanFracts |          923390 |       5600 |     212780 |     115920 |     252979 |      68389 |     177057 |      38320 |      52345 |
108.75/22.95	c (11,0) c | DecisionLevel0|           11654 |       1439 |       1408 |       1475 |       1468 |       1464 |       1431 |       1472 |       1497 |
108.75/22.95	c (11,0) c | Periods       |             418 |         51 |         48 |         53 |         54 |         55 |         50 |         54 |         53 |
108.75/22.95	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
108.75/22.95	c (11,0) c | Avg_Trail     |                 |       7810 |       7707 |       7843 |       7840 |       7902 |       7761 |       7924 |       7804 |
108.75/22.95	c (11,0) c | Avg_DL        |                 |         98 |         99 |         99 |         99 |         98 |         99 |        100 |         98 |
108.75/22.95	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
108.75/22.95	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c | Exported      |           30624 |       3801 |       3550 |       3786 |       3906 |       3909 |       3848 |       3918 |       3906 |
108.75/22.95	c (11,0) c | Imported      |          128477 |      14822 |      12750 |      17002 |      16911 |      17656 |      14758 |      17594 |      16984 |
108.75/22.95	c (11,0) c | Good          |           34112 |       4019 |       3579 |       4477 |       4390 |       4612 |       4038 |       4580 |       4417 |
108.75/22.95	c (11,0) c | Purge         |           94365 |      10803 |       9171 |      12525 |      12521 |      13044 |      10720 |      13014 |      12567 |
108.75/22.95	c (11,0) c | Promoted      |            3779 |        436 |        355 |        515 |        520 |        538 |        420 |        510 |        485 |
108.75/22.95	c (11,0) c | Remove_Imp    |           30012 |       4105 |          0 |       4818 |       4067 |       4159 |       3993 |       4794 |       4076 |
108.75/22.95	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c | Unaries       |                 |       1280 |       1266 |       1297 |       1295 |       1292 |       1272 |       1291 |       1311 |
108.75/22.95	c (11,0) c | Binaries      |                 |        894 |        850 |        847 |        916 |        864 |        900 |        870 |        923 |
108.75/22.95	c (11,0) c | Glues         |                 |       1449 |       1321 |       1374 |       1425 |       1379 |       1409 |       1424 |       1450 |
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c | Orig_Seen     |            27 % |      45336 |      44703 |      46223 |      46255 |      47076 |      45041 |      46926 |      46545 |
108.75/22.95	c (11,0) c | Diff Orig seen|                 |        633 |      X     |       1520 |       1552 |       2373 |        338 |       2223 |       1842 |
108.75/22.95	c (11,0) c | Hamming       |            12 % |       5262 |      X     |       5148 |       5959 |       4874 |       5283 |       5498 |       5430 |
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c | RunningTime   |                 |   11.0 100%|   11.0 100%|   11.0 100%|   11.0 100%|   11.0 100%|   11.0 100%|   11.0 100%|   11.0 100%|
108.75/22.95	c (11,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%|
108.75/22.95	c (11,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%|
108.75/22.95	c (11,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%|
108.75/22.95	c (11,0) c | SolvingTime   |                 |   11.0     |   11.0     |   11.0     |   11.0     |   11.0     |   11.0     |   11.0     |   11.0     |
108.75/22.95	c (11,0) c | PropagationTim|                 |    9.7  88%|    9.8  89%|    9.6  88%|    9.7  88%|    9.6  88%|    9.7  88%|    9.7  88%|    9.7  88%|
108.75/22.95	c (11,0) c | AnalysisTime  |                 |    0.5   4%|    0.4   4%|    0.5   5%|    0.5   5%|    0.5   5%|    0.5   4%|    0.5   5%|    0.5   5%|
108.75/22.95	c (11,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%|
108.75/22.95	c (11,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   1%|    0.2   1%|    0.2   2%|
108.75/22.95	c (11,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%|
108.75/22.95	c (11,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%|
108.75/22.95	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c
108.75/22.95	c (11,0) c Threads : 8
108.75/22.95	c (11,0) c Winner : 1
108.75/22.95	c (11,0) c Conflicts_0 : 14330
108.75/22.95	c (11,0) c Conflicts_1 : 13456
108.75/22.95	c (11,0) c Conflicts_2 : 14715
108.75/22.95	c (11,0) c Conflicts_3 : 15140
108.75/22.95	c (11,0) c Conflicts_4 : 15348
108.75/22.95	c (11,0) c Conflicts_5 : 14297
108.75/22.95	c (11,0) c Conflicts_6 : 15001
108.75/22.95	c (11,0) c Conflicts_7 : 14979
108.75/22.95	c (11,0) c Conflicts_total : 117266
108.75/22.95	c (11,0) c Conflicts_winner : 13456
108.75/22.95	c (11,0) c Decisions_0 : 220426
108.75/22.95	c (11,0) c Decisions_1 : 216471
108.75/22.95	c (11,0) c Decisions_2 : 223825
108.75/22.95	c (11,0) c Decisions_3 : 227320
108.75/22.95	c (11,0) c Decisions_4 : 223675
108.75/22.95	c (11,0) c Decisions_5 : 215219
108.75/22.95	c (11,0) c Decisions_6 : 226459
108.75/22.95	c (11,0) c Decisions_7 : 224232
108.75/22.95	c (11,0) c Decisions_total : 1777627
108.75/22.95	c (11,0) c Decisions_winner : 216471
108.75/22.95	c (11,0) c Propagations_0 : 19190522
108.75/22.95	c (11,0) c Propagations_1 : 18435059
108.75/22.95	c (11,0) c Propagations_2 : 20036535
108.75/22.95	c (11,0) c Propagations_3 : 19895475
108.75/22.95	c (11,0) c Propagations_4 : 20186558
108.75/22.95	c (11,0) c Propagations_5 : 18772055
108.75/22.95	c (11,0) c Propagations_6 : 20121346
108.75/22.95	c (11,0) c Propagations_7 : 19905563
108.75/22.95	c (11,0) c Propagations_total : 156543113
108.75/22.95	c (11,0) c Propagations_winner : 18435059
108.75/22.95	c (11,0) c ReduceDBs_0 : 3
108.75/22.95	c (11,0) c ReduceDBs_1 : 2
108.75/22.95	c (11,0) c ReduceDBs_2 : 3
108.75/22.95	c (11,0) c ReduceDBs_3 : 3
108.75/22.95	c (11,0) c ReduceDBs_4 : 3
108.75/22.95	c (11,0) c ReduceDBs_5 : 3
108.75/22.95	c (11,0) c ReduceDBs_6 : 3
108.75/22.95	c (11,0) c ReduceDBs_7 : 3
108.75/22.95	c (11,0) c ReduceDBs_total : 23
108.75/22.95	c (11,0) c ReduceDBs_winner : 2
108.75/22.95	c (11,0) c SimpDBs_0 : 33
108.75/22.95	c (11,0) c SimpDBs_1 : 32
108.75/22.95	c (11,0) c SimpDBs_2 : 34
108.75/22.95	c (11,0) c SimpDBs_3 : 34
108.75/22.95	c (11,0) c SimpDBs_4 : 34
108.75/22.95	c (11,0) c SimpDBs_5 : 32
108.75/22.95	c (11,0) c SimpDBs_6 : 34
108.75/22.95	c (11,0) c SimpDBs_7 : 34
108.75/22.95	c (11,0) c SimpDBs_total : 267
108.75/22.95	c (11,0) c SimpDBs_winner : 32
108.75/22.95	c (11,0) c Restarts_0 : 159
108.75/22.95	c (11,0) c Restarts_1 : 142
108.75/22.95	c (11,0) c Restarts_2 : 178
108.75/22.95	c (11,0) c Restarts_3 : 173
108.75/22.95	c (11,0) c Restarts_4 : 172
108.75/22.95	c (11,0) c Restarts_5 : 159
108.75/22.95	c (11,0) c Restarts_6 : 181
108.75/22.95	c (11,0) c Restarts_7 : 186
108.75/22.95	c (11,0) c Restarts_total : 1350
108.75/22.95	c (11,0) c Restarts_winner : 142
108.75/22.95	c (11,0) c ForcedImports_0 : 0
108.75/22.95	c (11,0) c ForcedImports_1 : 0
108.75/22.95	c (11,0) c ForcedImports_2 : 0
108.75/22.95	c (11,0) c ForcedImports_3 : 0
108.75/22.95	c (11,0) c ForcedImports_4 : 0
108.75/22.95	c (11,0) c ForcedImports_5 : 0
108.75/22.95	c (11,0) c ForcedImports_6 : 0
108.75/22.95	c (11,0) c ForcedImports_7 : 0
108.75/22.95	c (11,0) c ForcedImports_total : 0
108.75/22.95	c (11,0) c ForcedImports_winner : 0
108.75/22.95	c (11,0) c PropsBinClauses_0 : 39760413
108.75/22.95	c (11,0) c PropsBinClauses_1 : 37619361
108.75/22.95	c (11,0) c PropsBinClauses_2 : 41671862
108.75/22.95	c (11,0) c PropsBinClauses_3 : 42092777
108.75/22.95	c (11,0) c PropsBinClauses_4 : 42709430
108.75/22.95	c (11,0) c PropsBinClauses_5 : 39100791
108.75/22.95	c (11,0) c PropsBinClauses_6 : 42479556
108.75/22.95	c (11,0) c PropsBinClauses_7 : 41879275
108.75/22.95	c (11,0) c PropsBinClauses_total : 327313465
108.75/22.95	c (11,0) c PropsBinClauses_winner : 37619361
108.75/22.95	c (11,0) c PropsPreBlocker_0 : 177512419
108.75/22.95	c (11,0) c PropsPreBlocker_1 : 166760241
108.75/22.95	c (11,0) c PropsPreBlocker_2 : 185458194
108.75/22.95	c (11,0) c PropsPreBlocker_3 : 187983777
108.75/22.95	c (11,0) c PropsPreBlocker_4 : 191498568
108.75/22.95	c (11,0) c PropsPreBlocker_5 : 174743464
108.75/22.95	c (11,0) c PropsPreBlocker_6 : 189539593
108.75/22.95	c (11,0) c PropsPreBlocker_7 : 186834114
108.75/22.95	c (11,0) c PropsPreBlocker_total : 1460330370
108.75/22.95	c (11,0) c PropsPreBlocker_winner : 166760241
108.75/22.95	c (11,0) c PropsNotBlocker_0 : 47765694
108.75/22.95	c (11,0) c PropsNotBlocker_1 : 44706759
108.75/22.95	c (11,0) c PropsNotBlocker_2 : 49551674
108.75/22.95	c (11,0) c PropsNotBlocker_3 : 50079028
108.75/22.95	c (11,0) c PropsNotBlocker_4 : 51073123
108.75/22.95	c (11,0) c PropsNotBlocker_5 : 47150643
108.75/22.95	c (11,0) c PropsNotBlocker_6 : 50698593
108.75/22.95	c (11,0) c PropsNotBlocker_7 : 50056952
108.75/22.95	c (11,0) c PropsNotBlocker_total : 391082466
108.75/22.95	c (11,0) c PropsNotBlocker_winner : 44706759
108.75/22.95	c (11,0) c PropsLitFullScans_0 : 306598574
108.75/22.95	c (11,0) c PropsLitFullScans_1 : 288582547
108.75/22.95	c (11,0) c PropsLitFullScans_2 : 320784481
108.75/22.95	c (11,0) c PropsLitFullScans_3 : 324256705
108.75/22.95	c (11,0) c PropsLitFullScans_4 : 330085510
108.75/22.95	c (11,0) c PropsLitFullScans_5 : 301877257
108.75/22.95	c (11,0) c PropsLitFullScans_6 : 327373059
108.75/22.95	c (11,0) c PropsLitFullScans_7 : 322860014
108.75/22.95	c (11,0) c PropsLitFullScans_total : 2522418147
108.75/22.96	c (11,0) c PropsLitFullScans_winner : 288582547
108.75/22.96	c (11,0) c LitScanFractions_0 : 5600
108.75/22.96	c (11,0) c LitScanFractions_1 : 212780
108.75/22.96	c (11,0) c LitScanFractions_2 : 115920
108.75/22.96	c (11,0) c LitScanFractions_3 : 252979
108.75/22.96	c (11,0) c LitScanFractions_4 : 68389
108.75/22.96	c (11,0) c LitScanFractions_5 : 177057
108.75/22.96	c (11,0) c LitScanFractions_6 : 38320
108.75/22.96	c (11,0) c LitScanFractions_7 : 52345
108.75/22.96	c (11,0) c LitScanFractions_total : 923390
108.75/22.96	c (11,0) c LitScanFractions_winner : 212780
108.75/22.96	c (11,0) c DecisionLevel0_0 : 1439
108.75/22.96	c (11,0) c DecisionLevel0_1 : 1408
108.75/22.96	c (11,0) c DecisionLevel0_2 : 1475
108.75/22.96	c (11,0) c DecisionLevel0_3 : 1468
108.75/22.96	c (11,0) c DecisionLevel0_4 : 1464
108.75/22.96	c (11,0) c DecisionLevel0_5 : 1431
108.75/22.96	c (11,0) c DecisionLevel0_6 : 1472
108.75/22.96	c (11,0) c DecisionLevel0_7 : 1497
108.75/22.96	c (11,0) c DecisionLevel0_total : 11654
108.75/22.96	c (11,0) c DecisionLevel0_winner : 1408
108.75/22.96	c (11,0) c Periods_0 : 51
108.75/22.96	c (11,0) c Periods_1 : 48
108.75/22.96	c (11,0) c Periods_2 : 53
108.75/22.96	c (11,0) c Periods_3 : 54
108.75/22.96	c (11,0) c Periods_4 : 55
108.75/22.96	c (11,0) c Periods_5 : 50
108.75/22.96	c (11,0) c Periods_6 : 54
108.75/22.96	c (11,0) c Periods_7 : 53
108.75/22.96	c (11,0) c Periods_total : 418
108.75/22.96	c (11,0) c Periods_winner : 48
108.75/22.96	c (11,0) c Margin_0 : 20
108.75/22.96	c (11,0) c Margin_1 : 20
108.75/22.96	c (11,0) c Margin_2 : 20
108.75/22.96	c (11,0) c Margin_3 : 20
108.75/22.96	c (11,0) c Margin_4 : 20
108.75/22.96	c (11,0) c Margin_5 : 20
108.75/22.96	c (11,0) c Margin_6 : 20
108.75/22.96	c (11,0) c Margin_7 : 20
108.75/22.96	c (11,0) c Margin_total : 160
108.75/22.96	c (11,0) c Margin_winner : 20
108.75/22.96	c (11,0) c Exported_0 : 3801
108.75/22.96	c (11,0) c Exported_1 : 3550
108.75/22.96	c (11,0) c Exported_2 : 3786
108.75/22.96	c (11,0) c Exported_3 : 3906
108.75/22.96	c (11,0) c Exported_4 : 3909
108.75/22.96	c (11,0) c Exported_5 : 3848
108.75/22.96	c (11,0) c Exported_6 : 3918
108.75/22.96	c (11,0) c Exported_7 : 3906
108.75/22.96	c (11,0) c Exported_total : 30624
108.75/22.96	c (11,0) c Exported_winner : 3550
108.75/22.96	c (11,0) c Imported_0 : 14822
108.75/22.96	c (11,0) c Imported_1 : 12750
108.75/22.96	c (11,0) c Imported_2 : 17002
108.75/22.96	c (11,0) c Imported_3 : 16911
108.75/22.96	c (11,0) c Imported_4 : 17656
108.75/22.96	c (11,0) c Imported_5 : 14758
108.75/22.96	c (11,0) c Imported_6 : 17594
108.75/22.96	c (11,0) c Imported_7 : 16984
108.75/22.96	c (11,0) c Imported_total : 128477
108.75/22.96	c (11,0) c Imported_winner : 12750
108.75/22.96	c (11,0) c Good_0 : 4019
108.75/22.96	c (11,0) c Good_1 : 3579
108.75/22.96	c (11,0) c Good_2 : 4477
108.75/22.96	c (11,0) c Good_3 : 4390
108.75/22.96	c (11,0) c Good_4 : 4612
108.75/22.96	c (11,0) c Good_5 : 4038
108.75/22.96	c (11,0) c Good_6 : 4580
108.75/22.96	c (11,0) c Good_7 : 4417
108.75/22.96	c (11,0) c Good_total : 34112
108.75/22.96	c (11,0) c Good_winner : 3579
108.75/22.96	c (11,0) c Purge_0 : 10803
108.75/22.96	c (11,0) c Purge_1 : 9171
108.75/22.96	c (11,0) c Purge_2 : 12525
108.75/22.96	c (11,0) c Purge_3 : 12521
108.75/22.96	c (11,0) c Purge_4 : 13044
108.75/22.96	c (11,0) c Purge_5 : 10720
108.75/22.96	c (11,0) c Purge_6 : 13014
108.75/22.96	c (11,0) c Purge_7 : 12567
108.75/22.96	c (11,0) c Purge_total : 94365
108.75/22.96	c (11,0) c Purge_winner : 9171
108.75/22.96	c (11,0) c Promoted_0 : 436
108.75/22.96	c (11,0) c Promoted_1 : 355
108.75/22.96	c (11,0) c Promoted_2 : 515
108.75/22.96	c (11,0) c Promoted_3 : 520
108.75/22.96	c (11,0) c Promoted_4 : 538
108.75/22.96	c (11,0) c Promoted_5 : 420
108.75/22.96	c (11,0) c Promoted_6 : 510
108.75/22.96	c (11,0) c Promoted_7 : 485
108.75/22.96	c (11,0) c Promoted_total : 3779
108.75/22.96	c (11,0) c Promoted_winner : 355
108.75/22.96	c (11,0) c Remove_Imp_0 : 4105
108.75/22.96	c (11,0) c Remove_Imp_1 : 0
108.75/22.96	c (11,0) c Remove_Imp_2 : 4818
108.75/22.96	c (11,0) c Remove_Imp_3 : 4067
108.75/22.96	c (11,0) c Remove_Imp_4 : 4159
108.75/22.96	c (11,0) c Remove_Imp_5 : 3993
108.75/22.96	c (11,0) c Remove_Imp_6 : 4794
108.75/22.96	c (11,0) c Remove_Imp_7 : 4076
108.75/22.96	c (11,0) c Remove_Imp_total : 30012
108.75/22.96	c (11,0) c Remove_Imp_winner : 0
108.75/22.96	c (11,0) c Blocked_Reuse_0 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_1 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_2 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_3 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_4 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_5 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_6 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_7 : 0
108.75/22.96	c (11,0) c Blocked_Reuse_total : 0
108.75/22.96	c (11,0) c Blocked_Reuse_winner : 0
108.75/22.96	c (11,0) c Unaries_0 : 1280
108.75/22.96	c (11,0) c Unaries_1 : 1266
108.75/22.96	c (11,0) c Unaries_2 : 1297
108.75/22.96	c (11,0) c Unaries_3 : 1295
108.75/22.96	c (11,0) c Unaries_4 : 1292
108.75/22.96	c (11,0) c Unaries_5 : 1272
108.75/22.96	c (11,0) c Unaries_6 : 1291
108.75/22.96	c (11,0) c Unaries_7 : 1311
108.75/22.96	c (11,0) c Unaries_total : 10304
108.75/22.96	c (11,0) c Unaries_winner : 1266
108.75/22.96	c (11,0) c Binaries_0 : 894
108.75/22.96	c (11,0) c Binaries_1 : 850
108.75/22.96	c (11,0) c Binaries_2 : 847
108.75/22.96	c (11,0) c Binaries_3 : 916
108.75/22.96	c (11,0) c Binaries_4 : 864
108.75/22.96	c (11,0) c Binaries_5 : 900
108.75/22.96	c (11,0) c Binaries_6 : 870
108.75/22.96	c (11,0) c Binaries_7 : 923
108.75/22.96	c (11,0) c Binaries_total : 7064
108.75/22.96	c (11,0) c Binaries_winner : 850
108.75/22.96	c (11,0) c Glues_0 : 1449
108.75/22.96	c (11,0) c Glues_1 : 1321
108.75/22.96	c (11,0) c Glues_2 : 1374
108.75/22.96	c (11,0) c Glues_3 : 1425
108.75/22.96	c (11,0) c Glues_4 : 1379
108.75/22.96	c (11,0) c Glues_5 : 1409
108.75/22.96	c (11,0) c Glues_6 : 1424
108.75/22.96	c (11,0) c Glues_7 : 1450
108.75/22.96	c (11,0) c Glues_total : 11231
108.75/22.96	c (11,0) c Glues_winner : 1321
108.75/22.96	c (11,0) c RunningTime_0 : 10.988271
108.75/22.96	c (11,0) c RunningTime_1 : 10.974475
108.75/22.96	c (11,0) c RunningTime_2 : 10.978541
108.75/22.96	c (11,0) c RunningTime_3 : 10.982773
108.75/22.96	c (11,0) c RunningTime_4 : 10.991060
108.75/22.96	c (11,0) c RunningTime_5 : 10.985798
108.75/22.96	c (11,0) c RunningTime_6 : 10.999682
108.75/22.96	c (11,0) c RunningTime_7 : 10.992919
108.75/22.96	c (11,0) c RunningTime_total : 87.893520
108.75/22.96	c (11,0) c RunningTime_winner : 10.974475
108.75/22.96	c (11,0) c WaitingTime_0 : 0.000040
108.75/22.96	c (11,0) c WaitingTime_1 : 0.000035
108.75/22.96	c (11,0) c WaitingTime_2 : 0.000051
108.75/22.96	c (11,0) c WaitingTime_3 : 0.000054
108.75/22.96	c (11,0) c WaitingTime_4 : 0.000054
108.75/22.96	c (11,0) c WaitingTime_5 : 0.000061
108.75/22.96	c (11,0) c WaitingTime_6 : 0.000051
108.75/22.96	c (11,0) c WaitingTime_7 : 0.000054
108.75/22.96	c (11,0) c WaitingTime_total : 0.000398
108.75/22.96	c (11,0) c WaitingTime_winner : 0.000035
108.75/22.96	c (11,0) c ExchangingTime_0 : 0.007946
108.75/22.96	c (11,0) c ExchangingTime_1 : 0.008483
108.75/22.96	c (11,0) c ExchangingTime_2 : 0.008615
108.75/22.96	c (11,0) c ExchangingTime_3 : 0.009388
108.75/22.96	c (11,0) c ExchangingTime_4 : 0.008893
108.75/22.96	c (11,0) c ExchangingTime_5 : 0.008572
108.75/22.96	c (11,0) c ExchangingTime_6 : 0.010106
108.75/22.96	c (11,0) c ExchangingTime_7 : 0.008822
108.75/22.96	c (11,0) c ExchangingTime_total : 0.070825
108.75/22.96	c (11,0) c ExchangingTime_winner : 0.008483
108.75/22.96	c (11,0) c PeriodProcTime_0 : 0.000454
108.75/22.96	c (11,0) c PeriodProcTime_1 : 0.000461
108.75/22.96	c (11,0) c PeriodProcTime_2 : 0.000432
108.75/22.96	c (11,0) c PeriodProcTime_3 : 0.000498
108.75/22.96	c (11,0) c PeriodProcTime_4 : 0.000501
108.75/22.96	c (11,0) c PeriodProcTime_5 : 0.000571
108.75/22.96	c (11,0) c PeriodProcTime_6 : 0.000501
108.75/22.96	c (11,0) c PeriodProcTime_7 : 0.000500
108.75/22.96	c (11,0) c PeriodProcTime_total : 0.003918
108.75/22.96	c (11,0) c PeriodProcTime_winner : 0.000461
108.75/22.96	c (11,0) c SolvingTime_0 : 10.996711
108.75/22.96	c (11,0) c SolvingTime_1 : 10.983454
108.75/22.96	c (11,0) c SolvingTime_2 : 10.987640
108.75/22.96	c (11,0) c SolvingTime_3 : 10.992712
108.75/22.96	c (11,0) c SolvingTime_4 : 11.000509
108.75/22.96	c (11,0) c SolvingTime_5 : 10.995002
108.75/22.96	c (11,0) c SolvingTime_6 : 11.010340
108.75/22.96	c (11,0) c SolvingTime_7 : 11.002295
108.75/22.96	c (11,0) c SolvingTime_total : 87.968662
108.75/22.96	c (11,0) c SolvingTime_winner : 10.983454
108.75/22.96	c (11,0) c PropagationTime_0 : 9.702518
108.75/22.96	c (11,0) c PropagationTime_1 : 9.779358
108.75/22.96	c (11,0) c PropagationTime_2 : 9.636951
108.75/22.96	c (11,0) c PropagationTime_3 : 9.664773
108.75/22.96	c (11,0) c PropagationTime_4 : 9.645735
108.75/22.96	c (11,0) c PropagationTime_5 : 9.703366
108.75/22.96	c (11,0) c PropagationTime_6 : 9.666994
108.75/22.96	c (11,0) c PropagationTime_7 : 9.667091
108.75/22.96	c (11,0) c PropagationTime_total : 77.466786
108.75/22.96	c (11,0) c PropagationTime_winner : 9.779358
108.75/22.96	c (11,0) c AnalysisTime_0 : 0.471980
108.75/22.96	c (11,0) c AnalysisTime_1 : 0.435470
108.75/22.96	c (11,0) c AnalysisTime_2 : 0.513885
108.75/22.96	c (11,0) c AnalysisTime_3 : 0.495473
108.75/22.96	c (11,0) c AnalysisTime_4 : 0.521525
108.75/22.96	c (11,0) c AnalysisTime_5 : 0.474649
108.75/22.96	c (11,0) c AnalysisTime_6 : 0.508709
108.75/22.96	c (11,0) c AnalysisTime_7 : 0.507127
108.75/22.96	c (11,0) c AnalysisTime_total : 3.928818
108.75/22.96	c (11,0) c AnalysisTime_winner : 0.435470
108.75/22.96	c (11,0) c ReductionTime_0 : 0.031989
108.75/22.96	c (11,0) c ReductionTime_1 : 0.001219
108.75/22.96	c (11,0) c ReductionTime_2 : 0.031069
108.75/22.96	c (11,0) c ReductionTime_3 : 0.030396
108.75/22.96	c (11,0) c ReductionTime_4 : 0.030061
108.75/22.96	c (11,0) c ReductionTime_5 : 0.031396
108.75/22.96	c (11,0) c ReductionTime_6 : 0.029104
108.75/22.96	c (11,0) c ReductionTime_7 : 0.030745
108.75/22.96	c (11,0) c ReductionTime_total : 0.215979
108.75/22.96	c (11,0) c ReductionTime_winner : 0.001219
108.75/22.96	c (11,0) c SimplifyTime_0 : 0.160157
108.75/22.96	c (11,0) c SimplifyTime_1 : 0.151906
108.75/22.96	c (11,0) c SimplifyTime_2 : 0.170660
108.75/22.96	c (11,0) c SimplifyTime_3 : 0.166475
108.75/22.96	c (11,0) c SimplifyTime_4 : 0.166961
108.75/22.96	c (11,0) c SimplifyTime_5 : 0.158213
108.75/22.96	c (11,0) c SimplifyTime_6 : 0.161857
108.75/22.96	c (11,0) c SimplifyTime_7 : 0.169816
108.75/22.96	c (11,0) c SimplifyTime_total : 1.306045
108.75/22.96	c (11,0) c SimplifyTime_winner : 0.151906
108.75/22.96	c (11,0) c UsedRateTime_0 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_1 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_2 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_3 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_4 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_5 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_6 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_7 : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_total : 0.000000
108.75/22.96	c (11,0) c UsedRateTime_winner : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_0 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_1 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_2 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_3 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_4 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_5 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_6 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_7 : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_total : 0.000000
108.75/22.96	c (11,0) c OverlapRateTime_winner : 0.000000
108.75/22.96	c (11,0) c
108.75/22.96	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
108.75/22.96	c (11,0) c
108.75/22.96	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.96	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
108.75/22.96	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.96	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
108.75/22.96	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
108.75/22.96	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
108.75/22.96	c (11,0) c | Initial random_seed   | 1137563359 | 1454799231 | 1433853694 |  535100675 | 1484719152 | 1876720036 |  648640428 |  471093008 |
108.75/22.96	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
108.75/22.96	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
108.75/22.96	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
108.75/22.96	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
108.75/22.96	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
108.75/22.96	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
108.75/22.96	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
108.75/22.96	c (11,0) c | var_decay             |     0.8200 |     0.8200 |     0.8200 |     0.8300 |     0.8300 |     0.8200 |     0.8300 |     0.8200 |
108.75/22.96	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
108.75/22.96	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
108.75/22.96	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
108.75/22.96	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
108.75/22.96	c (11,0) 
108.75/22.96	c (11,0) s SATISFIABLE
109.22/23.03	c (11,0) SatSolver.solve End
109.22/23.03	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
109.22/23.03	c (11,0) Show results Begin
109.71/23.22	c (12,0) x[0][0] = 19
109.71/23.22	c (12,0) x[0][1] = 27
109.71/23.22	c (12,0) x[0][2] = 20
109.71/23.22	c (12,0) x[0][3] = 22
109.71/23.22	c (12,0) x[0][4] = 17
109.71/23.22	c (12,0) x[0][5] = 21
109.71/23.22	c (12,0) x[0][6] = 18
109.71/23.22	c (12,0) x[0][7] = 28
109.71/23.22	c (12,0) x[0][8] = 23
109.71/23.22	c (12,0) x[0][9] = 4
109.71/23.22	c (12,0) x[0][10] = 7
109.71/23.22	c (12,0) x[0][11] = 6
109.71/23.22	c (12,0) x[0][12] = 26
109.71/23.22	c (12,0) x[0][13] = 3
109.71/23.22	c (12,0) x[0][14] = 1
109.71/23.22	c (12,0) x[0][15] = 2
109.71/23.22	c (12,0) x[0][16] = 13
109.71/23.22	c (12,0) x[0][17] = 25
109.71/23.22	c (12,0) x[0][18] = 15
109.71/23.22	c (12,0) x[0][19] = 8
109.71/23.22	c (12,0) x[0][20] = 16
109.71/23.22	c (12,0) x[0][21] = 14
109.71/23.22	c (12,0) x[0][22] = 5
109.71/23.22	c (12,0) x[0][23] = 11
109.71/23.22	c (12,0) x[0][24] = 0
109.71/23.22	c (12,0) x[0][25] = 12
109.71/23.22	c (12,0) x[0][26] = 29
109.71/23.22	c (12,0) x[0][27] = 9
109.71/23.22	c (12,0) x[0][28] = 24
109.71/23.22	c (12,0) x[0][29] = 10
109.71/23.22	c (12,0) x[1][0] = 10
109.71/23.22	c (12,0) x[1][1] = 21
109.71/23.22	c (12,0) x[1][2] = 15
109.71/23.22	c (12,0) x[1][3] = 6
109.71/23.22	c (12,0) x[1][4] = 5
109.71/23.22	c (12,0) x[1][5] = 3
109.71/23.22	c (12,0) x[1][6] = 24
109.71/23.22	c (12,0) x[1][7] = 18
109.71/23.22	c (12,0) x[1][8] = 14
109.71/23.22	c (12,0) x[1][9] = 25
109.71/23.22	c (12,0) x[1][10] = 16
109.71/23.22	c (12,0) x[1][11] = 28
109.71/23.22	c (12,0) x[1][12] = 8
109.71/23.22	c (12,0) x[1][13] = 29
109.71/23.22	c (12,0) x[1][14] = 11
109.71/23.22	c (12,0) x[1][15] = 27
109.71/23.22	c (12,0) x[1][16] = 7
109.71/23.22	c (12,0) x[1][17] = 26
109.71/23.22	c (12,0) x[1][18] = 2
109.71/23.22	c (12,0) x[1][19] = 20
109.71/23.22	c (12,0) x[1][20] = 12
109.71/23.22	c (12,0) x[1][21] = 0
109.71/23.22	c (12,0) x[1][22] = 1
109.71/23.22	c (12,0) x[1][23] = 23
109.71/23.22	c (12,0) x[1][24] = 9
109.71/23.22	c (12,0) x[1][25] = 22
109.71/23.22	c (12,0) x[1][26] = 19
109.71/23.22	c (12,0) x[1][27] = 17
109.71/23.22	c (12,0) x[1][28] = 13
109.71/23.22	c (12,0) x[1][29] = 4
109.71/23.22	c (12,0) x[2][0] = 5
109.71/23.22	c (12,0) x[2][1] = 17
109.71/23.22	c (12,0) x[2][2] = 29
109.71/23.22	c (12,0) x[2][3] = 16
109.71/23.22	c (12,0) x[2][4] = 23
109.71/23.22	c (12,0) x[2][5] = 28
109.71/23.22	c (12,0) x[2][6] = 21
109.71/23.22	c (12,0) x[2][7] = 10
109.71/23.22	c (12,0) x[2][8] = 22
109.71/23.22	c (12,0) x[2][9] = 15
109.71/23.22	c (12,0) x[2][10] = 24
109.71/23.22	c (12,0) x[2][11] = 1
109.71/23.22	c (12,0) x[2][12] = 27
109.71/23.22	c (12,0) x[2][13] = 18
109.71/23.22	c (12,0) x[2][14] = 3
109.71/23.22	c (12,0) x[2][15] = 9
109.71/23.22	c (12,0) x[2][16] = 12
109.71/23.22	c (12,0) x[2][17] = 6
109.71/23.22	c (12,0) x[2][18] = 14
109.71/23.22	c (12,0) x[2][19] = 7
109.71/23.22	c (12,0) x[2][20] = 19
109.71/23.22	c (12,0) x[2][21] = 2
109.71/23.22	c (12,0) x[2][22] = 26
109.71/23.22	c (12,0) x[2][23] = 0
109.71/23.22	c (12,0) x[2][24] = 4
109.71/23.22	c (12,0) x[2][25] = 8
109.71/23.23	c (12,0) x[2][26] = 25
109.71/23.23	c (12,0) x[2][27] = 13
109.71/23.23	c (12,0) x[2][28] = 11
109.71/23.23	c (12,0) x[2][29] = 20
109.71/23.23	c (12,0) x[3][0] = 12
109.71/23.23	c (12,0) x[3][1] = 16
109.71/23.23	c (12,0) x[3][2] = 8
109.71/23.23	c (12,0) x[3][3] = 20
109.71/23.23	c (12,0) x[3][4] = 18
109.71/23.23	c (12,0) x[3][5] = 4
109.71/23.23	c (12,0) x[3][6] = 1
109.71/23.23	c (12,0) x[3][7] = 22
109.71/23.23	c (12,0) x[3][8] = 10
109.71/23.23	c (12,0) x[3][9] = 17
109.71/23.23	c (12,0) x[3][10] = 19
109.71/23.23	c (12,0) x[3][11] = 9
109.71/23.23	c (12,0) x[3][12] = 23
109.71/23.23	c (12,0) x[3][13] = 13
109.71/23.23	c (12,0) x[3][14] = 28
109.71/23.23	c (12,0) x[3][15] = 25
109.71/23.23	c (12,0) x[3][16] = 27
109.71/23.23	c (12,0) x[3][17] = 21
109.71/23.23	c (12,0) x[3][18] = 6
109.71/23.23	c (12,0) x[3][19] = 0
109.71/23.23	c (12,0) x[3][20] = 5
109.71/23.23	c (12,0) x[3][21] = 15
109.71/23.23	c (12,0) x[3][22] = 2
109.71/23.23	c (12,0) x[3][23] = 14
109.71/23.23	c (12,0) x[3][24] = 11
109.71/23.23	c (12,0) x[3][25] = 3
109.71/23.23	c (12,0) x[3][26] = 24
109.71/23.23	c (12,0) x[3][27] = 26
109.71/23.23	c (12,0) x[3][28] = 7
109.71/23.23	c (12,0) x[3][29] = 29
109.71/23.23	c (12,0) x[4][0] = 15
109.71/23.23	c (12,0) x[4][1] = 26
109.71/23.23	c (12,0) x[4][2] = 4
109.71/23.23	c (12,0) x[4][3] = 27
109.71/23.23	c (12,0) x[4][4] = 22
109.71/23.23	c (12,0) x[4][5] = 2
109.71/23.23	c (12,0) x[4][6] = 8
109.71/23.23	c (12,0) x[4][7] = 11
109.71/23.23	c (12,0) x[4][8] = 21
109.71/23.23	c (12,0) x[4][9] = 7
109.71/23.23	c (12,0) x[4][10] = 0
109.71/23.23	c (12,0) x[4][11] = 29
109.71/23.23	c (12,0) x[4][12] = 25
109.71/23.23	c (12,0) x[4][13] = 14
109.71/23.23	c (12,0) x[4][14] = 12
109.71/23.23	c (12,0) x[4][15] = 18
109.71/23.23	c (12,0) x[4][16] = 24
109.71/23.23	c (12,0) x[4][17] = 16
109.71/23.23	c (12,0) x[4][18] = 5
109.71/23.23	c (12,0) x[4][19] = 19
109.71/23.23	c (12,0) x[4][20] = 28
109.71/23.23	c (12,0) x[4][21] = 9
109.71/23.23	c (12,0) x[4][22] = 23
109.71/23.23	c (12,0) x[4][23] = 17
109.71/23.23	c (12,0) x[4][24] = 1
109.71/23.23	c (12,0) x[4][25] = 10
109.71/23.23	c (12,0) x[4][26] = 6
109.71/23.23	c (12,0) x[4][27] = 20
109.71/23.23	c (12,0) x[4][28] = 3
109.71/23.23	c (12,0) x[4][29] = 13
109.71/23.23	c (12,0) x[5][0] = 8
109.71/23.23	c (12,0) x[5][1] = 4
109.71/23.23	c (12,0) x[5][2] = 17
109.71/23.23	c (12,0) x[5][3] = 26
109.71/23.23	c (12,0) x[5][4] = 3
109.71/23.23	c (12,0) x[5][5] = 29
109.71/23.23	c (12,0) x[5][6] = 11
109.71/23.23	c (12,0) x[5][7] = 27
109.71/23.23	c (12,0) x[5][8] = 28
109.71/23.23	c (12,0) x[5][9] = 19
109.71/23.23	c (12,0) x[5][10] = 12
109.71/23.23	c (12,0) x[5][11] = 10
109.71/23.23	c (12,0) x[5][12] = 14
109.71/23.23	c (12,0) x[5][13] = 6
109.71/23.23	c (12,0) x[5][14] = 9
109.71/23.23	c (12,0) x[5][15] = 13
109.71/23.23	c (12,0) x[5][16] = 16
109.71/23.23	c (12,0) x[5][17] = 15
109.71/23.23	c (12,0) x[5][18] = 25
109.71/23.23	c (12,0) x[5][19] = 1
109.71/23.23	c (12,0) x[5][20] = 2
109.71/23.23	c (12,0) x[5][21] = 24
109.71/23.23	c (12,0) x[5][22] = 22
109.71/23.23	c (12,0) x[5][23] = 5
109.71/23.23	c (12,0) x[5][24] = 7
109.71/23.23	c (12,0) x[5][25] = 23
109.71/23.23	c (12,0) x[5][26] = 20
109.71/23.23	c (12,0) x[5][27] = 0
109.71/23.23	c (12,0) x[5][28] = 18
109.71/23.23	c (12,0) x[5][29] = 21
109.71/23.23	c (12,0) x[6][0] = 11
109.71/23.23	c (12,0) x[6][1] = 29
109.71/23.23	c (12,0) x[6][2] = 3
109.71/23.23	c (12,0) x[6][3] = 28
109.71/23.23	c (12,0) x[6][4] = 12
109.71/23.23	c (12,0) x[6][5] = 9
109.71/23.23	c (12,0) x[6][6] = 15
109.71/23.23	c (12,0) x[6][7] = 26
109.71/23.23	c (12,0) x[6][8] = 27
109.71/23.23	c (12,0) x[6][9] = 5
109.71/23.23	c (12,0) x[6][10] = 4
109.71/23.23	c (12,0) x[6][11] = 13
109.71/23.23	c (12,0) x[6][12] = 24
109.71/23.23	c (12,0) x[6][13] = 7
109.71/23.23	c (12,0) x[6][14] = 0
109.71/23.23	c (12,0) x[6][15] = 6
109.71/23.23	c (12,0) x[6][16] = 1
109.71/23.23	c (12,0) x[6][17] = 14
109.71/23.23	c (12,0) x[6][18] = 10
109.71/23.23	c (12,0) x[6][19] = 18
109.71/23.23	c (12,0) x[6][20] = 23
109.71/23.23	c (12,0) x[6][21] = 25
109.71/23.23	c (12,0) x[6][22] = 20
109.71/23.23	c (12,0) x[6][23] = 21
109.71/23.23	c (12,0) x[6][24] = 16
109.71/23.23	c (12,0) x[6][25] = 19
109.71/23.23	c (12,0) x[6][26] = 22
109.71/23.23	c (12,0) x[6][27] = 8
109.71/23.23	c (12,0) x[6][28] = 2
109.71/23.23	c (12,0) x[6][29] = 17
109.71/23.23	c (12,0) x[7][0] = 21
109.71/23.23	c (12,0) x[7][1] = 7
109.71/23.23	c (12,0) x[7][2] = 22
109.71/23.23	c (12,0) x[7][3] = 17
109.71/23.23	c (12,0) x[7][4] = 9
109.71/23.23	c (12,0) x[7][5] = 18
109.71/23.23	c (12,0) x[7][6] = 3
109.71/23.23	c (12,0) x[7][7] = 16
109.71/23.23	c (12,0) x[7][8] = 25
109.71/23.23	c (12,0) x[7][9] = 29
109.71/23.23	c (12,0) x[7][10] = 23
109.71/23.23	c (12,0) x[7][11] = 20
109.71/23.23	c (12,0) x[7][12] = 1
109.71/23.23	c (12,0) x[7][13] = 19
109.71/23.23	c (12,0) x[7][14] = 5
109.71/23.23	c (12,0) x[7][15] = 15
109.71/23.23	c (12,0) x[7][16] = 0
109.71/23.23	c (12,0) x[7][17] = 28
109.71/23.23	c (12,0) x[7][18] = 27
109.71/23.23	c (12,0) x[7][19] = 13
109.71/23.23	c (12,0) x[7][20] = 24
109.71/23.23	c (12,0) x[7][21] = 26
109.71/23.23	c (12,0) x[7][22] = 11
109.71/23.23	c (12,0) x[7][23] = 12
109.71/23.23	c (12,0) x[7][24] = 8
109.71/23.23	c (12,0) x[7][25] = 14
109.71/23.23	c (12,0) x[7][26] = 2
109.71/23.23	c (12,0) x[7][27] = 10
109.71/23.23	c (12,0) x[7][28] = 4
109.71/23.23	c (12,0) x[7][29] = 6
109.71/23.23	c (12,0) x[8][0] = 24
109.71/23.23	c (12,0) x[8][1] = 6
109.71/23.23	c (12,0) x[8][2] = 1
109.71/23.23	c (12,0) x[8][3] = 0
109.71/23.23	c (12,0) x[8][4] = 7
109.71/23.23	c (12,0) x[8][5] = 11
109.71/23.23	c (12,0) x[8][6] = 14
109.71/23.23	c (12,0) x[8][7] = 20
109.71/23.23	c (12,0) x[8][8] = 13
109.71/23.23	c (12,0) x[8][9] = 2
109.71/23.23	c (12,0) x[8][10] = 27
109.71/23.23	c (12,0) x[8][11] = 16
109.71/23.23	c (12,0) x[8][12] = 28
109.71/23.23	c (12,0) x[8][13] = 15
109.71/23.23	c (12,0) x[8][14] = 29
109.71/23.23	c (12,0) x[8][15] = 23
109.71/23.23	c (12,0) x[8][16] = 5
109.71/23.23	c (12,0) x[8][17] = 18
109.71/23.23	c (12,0) x[8][18] = 3
109.71/23.23	c (12,0) x[8][19] = 12
109.71/23.23	c (12,0) x[8][20] = 25
109.71/23.24	c (12,0) x[8][21] = 4
109.71/23.24	c (12,0) x[8][22] = 19
109.71/23.24	c (12,0) x[8][23] = 8
109.71/23.24	c (12,0) x[8][24] = 17
109.71/23.24	c (12,0) x[8][25] = 9
109.71/23.24	c (12,0) x[8][26] = 21
109.71/23.24	c (12,0) x[8][27] = 22
109.71/23.24	c (12,0) x[8][28] = 10
109.71/23.24	c (12,0) x[8][29] = 26
109.71/23.24	c (12,0) x[9][0] = 6
109.71/23.24	c (12,0) x[9][1] = 19
109.71/23.24	c (12,0) x[9][2] = 27
109.71/23.24	c (12,0) x[9][3] = 18
109.71/23.24	c (12,0) x[9][4] = 29
109.71/23.24	c (12,0) x[9][5] = 13
109.71/23.24	c (12,0) x[9][6] = 0
109.71/23.24	c (12,0) x[9][7] = 5
109.71/23.24	c (12,0) x[9][8] = 1
109.71/23.24	c (12,0) x[9][9] = 10
109.71/23.24	c (12,0) x[9][10] = 28
109.71/23.24	c (12,0) x[9][11] = 8
109.71/23.24	c (12,0) x[9][12] = 12
109.71/23.24	c (12,0) x[9][13] = 16
109.71/23.24	c (12,0) x[9][14] = 23
109.71/23.24	c (12,0) x[9][15] = 7
109.71/23.24	c (12,0) x[9][16] = 25
109.71/23.24	c (12,0) x[9][17] = 22
109.71/23.24	c (12,0) x[9][18] = 21
109.71/23.24	c (12,0) x[9][19] = 26
109.71/23.24	c (12,0) x[9][20] = 3
109.71/23.24	c (12,0) x[9][21] = 17
109.71/23.24	c (12,0) x[9][22] = 4
109.71/23.24	c (12,0) x[9][23] = 15
109.71/23.24	c (12,0) x[9][24] = 20
109.71/23.24	c (12,0) x[9][25] = 11
109.71/23.24	c (12,0) x[9][26] = 14
109.71/23.24	c (12,0) x[9][27] = 2
109.71/23.24	c (12,0) x[9][28] = 9
109.71/23.24	c (12,0) x[9][29] = 24
109.71/23.24	c (12,0) x[10][0] = 16
109.71/23.24	c (12,0) x[10][1] = 10
109.71/23.24	c (12,0) x[10][2] = 6
109.71/23.24	c (12,0) x[10][3] = 19
109.71/23.24	c (12,0) x[10][4] = 25
109.71/23.24	c (12,0) x[10][5] = 17
109.71/23.24	c (12,0) x[10][6] = 9
109.71/23.24	c (12,0) x[10][7] = 0
109.71/23.24	c (12,0) x[10][8] = 12
109.71/23.24	c (12,0) x[10][9] = 18
109.71/23.24	c (12,0) x[10][10] = 20
109.71/23.24	c (12,0) x[10][11] = 14
109.71/23.24	c (12,0) x[10][12] = 21
109.71/23.24	c (12,0) x[10][13] = 26
109.71/23.24	c (12,0) x[10][14] = 27
109.71/23.24	c (12,0) x[10][15] = 29
109.71/23.24	c (12,0) x[10][16] = 23
109.71/23.24	c (12,0) x[10][17] = 5
109.71/23.24	c (12,0) x[10][18] = 4
109.71/23.24	c (12,0) x[10][19] = 24
109.71/23.24	c (12,0) x[10][20] = 8
109.71/23.24	c (12,0) x[10][21] = 11
109.71/23.24	c (12,0) x[10][22] = 13
109.71/23.24	c (12,0) x[10][23] = 2
109.71/23.24	c (12,0) x[10][24] = 22
109.71/23.24	c (12,0) x[10][25] = 7
109.71/23.24	c (12,0) x[10][26] = 3
109.71/23.24	c (12,0) x[10][27] = 1
109.71/23.24	c (12,0) x[10][28] = 28
109.71/23.24	c (12,0) x[10][29] = 15
109.71/23.24	c (12,0) x[11][0] = 27
109.71/23.24	c (12,0) x[11][1] = 20
109.71/23.24	c (12,0) x[11][2] = 2
109.71/23.24	c (12,0) x[11][3] = 13
109.71/23.24	c (12,0) x[11][4] = 1
109.71/23.24	c (12,0) x[11][5] = 16
109.71/23.24	c (12,0) x[11][6] = 5
109.71/23.24	c (12,0) x[11][7] = 19
109.71/23.24	c (12,0) x[11][8] = 7
109.71/23.24	c (12,0) x[11][9] = 11
109.71/23.24	c (12,0) x[11][10] = 26
109.71/23.24	c (12,0) x[11][11] = 0
109.71/23.24	c (12,0) x[11][12] = 18
109.71/23.24	c (12,0) x[11][13] = 8
109.71/23.24	c (12,0) x[11][14] = 25
109.71/23.24	c (12,0) x[11][15] = 14
109.71/23.24	c (12,0) x[11][16] = 6
109.71/23.24	c (12,0) x[11][17] = 4
109.71/23.24	c (12,0) x[11][18] = 28
109.71/23.24	c (12,0) x[11][19] = 17
109.71/23.24	c (12,0) x[11][20] = 22
109.71/23.24	c (12,0) x[11][21] = 12
109.71/23.24	c (12,0) x[11][22] = 9
109.71/23.24	c (12,0) x[11][23] = 24
109.71/23.24	c (12,0) x[11][24] = 10
109.71/23.24	c (12,0) x[11][25] = 15
109.71/23.24	c (12,0) x[11][26] = 23
109.71/23.24	c (12,0) x[11][27] = 21
109.71/23.24	c (12,0) x[11][28] = 29
109.71/23.24	c (12,0) x[11][29] = 3
109.71/23.24	c (12,0) x[12][0] = 2
109.71/23.24	c (12,0) x[12][1] = 1
109.71/23.24	c (12,0) x[12][2] = 18
109.71/23.24	c (12,0) x[12][3] = 10
109.71/23.24	c (12,0) x[12][4] = 0
109.71/23.24	c (12,0) x[12][5] = 5
109.71/23.24	c (12,0) x[12][6] = 20
109.71/23.24	c (12,0) x[12][7] = 14
109.71/23.24	c (12,0) x[12][8] = 17
109.71/23.24	c (12,0) x[12][9] = 27
109.71/23.24	c (12,0) x[12][10] = 15
109.71/23.24	c (12,0) x[12][11] = 25
109.71/23.24	c (12,0) x[12][12] = 29
109.71/23.24	c (12,0) x[12][13] = 11
109.71/23.24	c (12,0) x[12][14] = 21
109.71/23.24	c (12,0) x[12][15] = 26
109.71/23.24	c (12,0) x[12][16] = 4
109.71/23.24	c (12,0) x[12][17] = 23
109.71/23.24	c (12,0) x[12][18] = 22
109.71/23.24	c (12,0) x[12][19] = 9
109.71/23.24	c (12,0) x[12][20] = 6
109.71/23.24	c (12,0) x[12][21] = 19
109.71/23.24	c (12,0) x[12][22] = 28
109.71/23.24	c (12,0) x[12][23] = 3
109.71/23.24	c (12,0) x[12][24] = 13
109.71/23.24	c (12,0) x[12][25] = 24
109.71/23.24	c (12,0) x[12][26] = 7
109.71/23.24	c (12,0) x[12][27] = 16
109.71/23.24	c (12,0) x[12][28] = 8
109.71/23.24	c (12,0) x[12][29] = 12
109.71/23.24	c (12,0) x[13][0] = 20
109.71/23.24	c (12,0) x[13][1] = 14
109.71/23.24	c (12,0) x[13][2] = 7
109.71/23.24	c (12,0) x[13][3] = 8
109.71/23.24	c (12,0) x[13][4] = 24
109.71/23.24	c (12,0) x[13][5] = 19
109.71/23.24	c (12,0) x[13][6] = 28
109.71/23.24	c (12,0) x[13][7] = 21
109.71/23.24	c (12,0) x[13][8] = 0
109.71/23.24	c (12,0) x[13][9] = 23
109.71/23.24	c (12,0) x[13][10] = 29
109.71/23.24	c (12,0) x[13][11] = 18
109.71/23.24	c (12,0) x[13][12] = 2
109.71/23.24	c (12,0) x[13][13] = 9
109.71/23.24	c (12,0) x[13][14] = 26
109.71/23.24	c (12,0) x[13][15] = 1
109.71/23.24	c (12,0) x[13][16] = 15
109.71/23.24	c (12,0) x[13][17] = 12
109.71/23.24	c (12,0) x[13][18] = 16
109.71/23.24	c (12,0) x[13][19] = 4
109.71/23.24	c (12,0) x[13][20] = 17
109.71/23.24	c (12,0) x[13][21] = 10
109.71/23.24	c (12,0) x[13][22] = 6
109.71/23.24	c (12,0) x[13][23] = 22
109.71/23.24	c (12,0) x[13][24] = 3
109.71/23.24	c (12,0) x[13][25] = 5
109.71/23.24	c (12,0) x[13][26] = 13
109.71/23.24	c (12,0) x[13][27] = 27
109.71/23.24	c (12,0) x[13][28] = 25
109.71/23.24	c (12,0) x[13][29] = 11
109.71/23.24	c (12,0) x[14][0] = 3
109.71/23.24	c (12,0) x[14][1] = 2
109.71/23.24	c (12,0) x[14][2] = 19
109.71/23.24	c (12,0) x[14][3] = 11
109.71/23.24	c (12,0) x[14][4] = 16
109.71/23.24	c (12,0) x[14][5] = 6
109.71/23.24	c (12,0) x[14][6] = 25
109.71/23.24	c (12,0) x[14][7] = 13
109.71/23.24	c (12,0) x[14][8] = 26
109.71/23.24	c (12,0) x[14][9] = 28
109.71/23.24	c (12,0) x[14][10] = 17
109.71/23.24	c (12,0) x[14][11] = 21
109.71/23.24	c (12,0) x[14][12] = 10
109.71/23.24	c (12,0) x[14][13] = 22
109.71/23.24	c (12,0) x[14][14] = 15
109.71/23.24	c (12,0) x[14][15] = 12
109.71/23.24	c (12,0) x[14][16] = 14
109.71/23.24	c (12,0) x[14][17] = 7
109.71/23.24	c (12,0) x[14][18] = 24
109.71/23.24	c (12,0) x[14][19] = 5
109.71/23.24	c (12,0) x[14][20] = 0
109.71/23.24	c (12,0) x[14][21] = 8
109.71/23.24	c (12,0) x[14][22] = 18
109.71/23.24	c (12,0) x[14][23] = 9
109.71/23.24	c (12,0) x[14][24] = 23
109.71/23.24	c (12,0) x[14][25] = 29
109.71/23.24	c (12,0) x[14][26] = 1
109.71/23.24	c (12,0) x[14][27] = 4
109.71/23.24	c (12,0) x[14][28] = 20
109.71/23.24	c (12,0) x[14][29] = 27
109.71/23.24	c (12,0) x[15][0] = 29
109.71/23.24	c (12,0) x[15][1] = 0
109.71/23.24	c (12,0) x[15][2] = 26
109.71/23.24	c (12,0) x[15][3] = 5
109.71/23.24	c (12,0) x[15][4] = 8
109.71/23.24	c (12,0) x[15][5] = 27
109.71/23.24	c (12,0) x[15][6] = 19
109.71/23.24	c (12,0) x[15][7] = 25
109.71/23.24	c (12,0) x[15][8] = 3
109.71/23.24	c (12,0) x[15][9] = 16
109.71/23.24	c (12,0) x[15][10] = 14
109.71/23.24	c (12,0) x[15][11] = 2
109.71/23.24	c (12,0) x[15][12] = 6
109.71/23.24	c (12,0) x[15][13] = 10
109.71/23.24	c (12,0) x[15][14] = 4
109.71/23.24	c (12,0) x[15][15] = 24
109.71/23.24	c (12,0) x[15][16] = 28
109.71/23.24	c (12,0) x[15][17] = 20
109.71/23.24	c (12,0) x[15][18] = 23
109.71/23.24	c (12,0) x[15][19] = 22
109.71/23.24	c (12,0) x[15][20] = 1
109.71/23.24	c (12,0) x[15][21] = 7
109.71/23.24	c (12,0) x[15][22] = 15
109.71/23.24	c (12,0) x[15][23] = 13
109.71/23.24	c (12,0) x[15][24] = 21
109.71/23.24	c (12,0) x[15][25] = 17
109.71/23.24	c (12,0) x[15][26] = 9
109.71/23.24	c (12,0) x[15][27] = 11
109.71/23.24	c (12,0) x[15][28] = 12
109.71/23.24	c (12,0) x[15][29] = 18
109.71/23.24	c (12,0) x[16][0] = 25
109.71/23.24	c (12,0) x[16][1] = 5
109.71/23.24	c (12,0) x[16][2] = 9
109.71/23.24	c (12,0) x[16][3] = 2
109.71/23.24	c (12,0) x[16][4] = 19
109.71/23.24	c (12,0) x[16][5] = 1
109.71/23.24	c (12,0) x[16][6] = 13
109.71/23.24	c (12,0) x[16][7] = 24
109.71/23.24	c (12,0) x[16][8] = 18
109.71/23.24	c (12,0) x[16][9] = 6
109.71/23.24	c (12,0) x[16][10] = 3
109.71/23.24	c (12,0) x[16][11] = 11
109.71/23.24	c (12,0) x[16][12] = 7
109.71/23.24	c (12,0) x[16][13] = 12
109.71/23.24	c (12,0) x[16][14] = 14
109.71/23.24	c (12,0) x[16][15] = 16
109.71/23.24	c (12,0) x[16][16] = 20
109.71/23.24	c (12,0) x[16][17] = 27
109.71/23.24	c (12,0) x[16][18] = 17
109.71/23.24	c (12,0) x[16][19] = 21
109.71/23.24	c (12,0) x[16][20] = 15
109.71/23.24	c (12,0) x[16][21] = 23
109.71/23.24	c (12,0) x[16][22] = 0
109.71/23.24	c (12,0) x[16][23] = 10
109.71/23.24	c (12,0) x[16][24] = 29
109.71/23.24	c (12,0) x[16][25] = 26
109.71/23.24	c (12,0) x[16][26] = 4
109.71/23.24	c (12,0) x[16][27] = 28
109.71/23.24	c (12,0) x[16][28] = 22
109.71/23.24	c (12,0) x[16][29] = 8
109.71/23.24	c (12,0) x[17][0] = 1
109.71/23.24	c (12,0) x[17][1] = 15
109.71/23.24	c (12,0) x[17][2] = 21
109.71/23.24	c (12,0) x[17][3] = 9
109.71/23.24	c (12,0) x[17][4] = 11
109.71/23.24	c (12,0) x[17][5] = 7
109.71/23.24	c (12,0) x[17][6] = 2
109.71/23.24	c (12,0) x[17][7] = 17
109.71/23.24	c (12,0) x[17][8] = 20
109.71/23.24	c (12,0) x[17][9] = 0
109.71/23.24	c (12,0) x[17][10] = 22
109.71/23.24	c (12,0) x[17][11] = 24
109.71/23.24	c (12,0) x[17][12] = 13
109.71/23.24	c (12,0) x[17][13] = 25
109.71/23.24	c (12,0) x[17][14] = 18
109.71/23.24	c (12,0) x[17][15] = 4
109.71/23.24	c (12,0) x[17][16] = 26
109.71/23.24	c (12,0) x[17][17] = 3
109.71/23.24	c (12,0) x[17][18] = 8
109.71/23.24	c (12,0) x[17][19] = 23
109.71/23.24	c (12,0) x[17][20] = 27
109.71/23.24	c (12,0) x[17][21] = 28
109.71/23.24	c (12,0) x[17][22] = 12
109.71/23.24	c (12,0) x[17][23] = 16
109.71/23.24	c (12,0) x[17][24] = 14
109.71/23.24	c (12,0) x[17][25] = 6
109.71/23.24	c (12,0) x[17][26] = 10
109.71/23.24	c (12,0) x[17][27] = 29
109.71/23.24	c (12,0) x[17][28] = 5
109.71/23.24	c (12,0) x[17][29] = 19
109.71/23.24	c (12,0) x[18][0] = 14
109.71/23.24	c (12,0) x[18][1] = 12
109.71/23.24	c (12,0) x[18][2] = 25
109.71/23.24	c (12,0) x[18][3] = 4
109.71/23.24	c (12,0) x[18][4] = 13
109.71/23.24	c (12,0) x[18][5] = 20
109.71/23.24	c (12,0) x[18][6] = 27
109.71/23.24	c (12,0) x[18][7] = 8
109.71/23.24	c (12,0) x[18][8] = 11
109.71/23.24	c (12,0) x[18][9] = 1
109.71/23.24	c (12,0) x[18][10] = 18
109.71/23.24	c (12,0) x[18][11] = 26
109.71/23.24	c (12,0) x[18][12] = 19
109.71/23.24	c (12,0) x[18][13] = 21
109.71/23.24	c (12,0) x[18][14] = 2
109.71/23.24	c (12,0) x[18][15] = 17
109.71/23.24	c (12,0) x[18][16] = 3
109.71/23.24	c (12,0) x[18][17] = 29
109.71/23.24	c (12,0) x[18][18] = 9
109.71/23.24	c (12,0) x[18][19] = 15
109.71/23.24	c (12,0) x[18][20] = 10
109.71/23.24	c (12,0) x[18][21] = 22
109.71/23.24	c (12,0) x[18][22] = 24
109.71/23.24	c (12,0) x[18][23] = 28
109.71/23.24	c (12,0) x[18][24] = 5
109.71/23.24	c (12,0) x[18][25] = 0
109.71/23.24	c (12,0) x[18][26] = 16
109.71/23.24	c (12,0) x[18][27] = 7
109.71/23.24	c (12,0) x[18][28] = 6
109.71/23.24	c (12,0) x[18][29] = 23
109.71/23.24	c (12,0) x[19][0] = 23
109.71/23.24	c (12,0) x[19][1] = 22
109.71/23.24	c (12,0) x[19][2] = 24
109.71/23.24	c (12,0) x[19][3] = 21
109.71/23.24	c (12,0) x[19][4] = 4
109.71/23.24	c (12,0) x[19][5] = 25
109.71/23.24	c (12,0) x[19][6] = 6
109.71/23.24	c (12,0) x[19][7] = 15
109.71/23.24	c (12,0) x[19][8] = 16
109.71/23.24	c (12,0) x[19][9] = 14
109.71/23.24	c (12,0) x[19][10] = 1
109.71/23.24	c (12,0) x[19][11] = 17
109.71/23.24	c (12,0) x[19][12] = 3
109.71/23.24	c (12,0) x[19][13] = 20
109.71/23.24	c (12,0) x[19][14] = 10
109.71/23.24	c (12,0) x[19][15] = 8
109.71/23.24	c (12,0) x[19][16] = 9
109.71/23.24	c (12,0) x[19][17] = 11
109.71/23.24	c (12,0) x[19][18] = 7
109.71/23.24	c (12,0) x[19][19] = 2
109.71/23.24	c (12,0) x[19][20] = 18
109.71/23.24	c (12,0) x[19][21] = 29
109.71/23.24	c (12,0) x[19][22] = 27
109.71/23.24	c (12,0) x[19][23] = 19
109.71/23.24	c (12,0) x[19][24] = 26
109.71/23.24	c (12,0) x[19][25] = 13
109.71/23.24	c (12,0) x[19][26] = 5
109.71/23.24	c (12,0) x[19][27] = 12
109.71/23.24	c (12,0) x[19][28] = 0
109.71/23.24	c (12,0) x[19][29] = 28
109.71/23.24	c (12,0) x[20][0] = 13
109.71/23.24	c (12,0) x[20][1] = 25
109.71/23.24	c (12,0) x[20][2] = 28
109.71/23.24	c (12,0) x[20][3] = 23
109.71/23.24	c (12,0) x[20][4] = 10
109.71/23.24	c (12,0) x[20][5] = 14
109.71/23.24	c (12,0) x[20][6] = 29
109.71/23.24	c (12,0) x[20][7] = 12
109.71/23.24	c (12,0) x[20][8] = 24
109.71/23.24	c (12,0) x[20][9] = 26
109.71/23.24	c (12,0) x[20][10] = 21
109.71/23.24	c (12,0) x[20][11] = 5
109.71/23.24	c (12,0) x[20][12] = 0
109.71/23.24	c (12,0) x[20][13] = 17
109.71/23.24	c (12,0) x[20][14] = 22
109.71/23.24	c (12,0) x[20][15] = 20
109.71/23.24	c (12,0) x[20][16] = 2
109.71/23.24	c (12,0) x[20][17] = 1
109.71/23.24	c (12,0) x[20][18] = 19
109.71/23.24	c (12,0) x[20][19] = 27
109.71/23.24	c (12,0) x[20][20] = 11
109.71/23.24	c (12,0) x[20][21] = 3
109.71/23.24	c (12,0) x[20][22] = 7
109.71/23.24	c (12,0) x[20][23] = 4
109.71/23.24	c (12,0) x[20][24] = 15
109.71/23.24	c (12,0) x[20][25] = 18
109.71/23.24	c (12,0) x[20][26] = 8
109.71/23.24	c (12,0) x[20][27] = 6
109.71/23.24	c (12,0) x[20][28] = 16
109.71/23.24	c (12,0) x[20][29] = 9
109.71/23.24	c (12,0) x[21][0] = 0
109.71/23.24	c (12,0) x[21][1] = 9
109.71/23.24	c (12,0) x[21][2] = 12
109.71/23.24	c (12,0) x[21][3] = 15
109.71/23.24	c (12,0) x[21][4] = 20
109.71/23.24	c (12,0) x[21][5] = 24
109.71/23.24	c (12,0) x[21][6] = 26
109.71/23.24	c (12,0) x[21][7] = 23
109.71/23.24	c (12,0) x[21][8] = 6
109.71/23.24	c (12,0) x[21][9] = 22
109.71/23.24	c (12,0) x[21][10] = 8
109.71/23.24	c (12,0) x[21][11] = 3
109.71/23.24	c (12,0) x[21][12] = 16
109.71/23.24	c (12,0) x[21][13] = 4
109.71/23.24	c (12,0) x[21][14] = 19
109.71/23.24	c (12,0) x[21][15] = 10
109.71/23.24	c (12,0) x[21][16] = 11
109.71/23.24	c (12,0) x[21][17] = 2
109.71/23.24	c (12,0) x[21][18] = 13
109.71/23.24	c (12,0) x[21][19] = 25
109.71/23.24	c (12,0) x[21][20] = 29
109.71/23.24	c (12,0) x[21][21] = 21
109.71/23.24	c (12,0) x[21][22] = 14
109.71/23.24	c (12,0) x[21][23] = 7
109.71/23.24	c (12,0) x[21][24] = 27
109.71/23.24	c (12,0) x[21][25] = 1
109.71/23.24	c (12,0) x[21][26] = 28
109.71/23.24	c (12,0) x[21][27] = 18
109.71/23.24	c (12,0) x[21][28] = 17
109.71/23.24	c (12,0) x[21][29] = 5
109.71/23.24	c (12,0) x[22][0] = 7
109.71/23.24	c (12,0) x[22][1] = 23
109.71/23.24	c (12,0) x[22][2] = 5
109.71/23.24	c (12,0) x[22][3] = 24
109.71/23.24	c (12,0) x[22][4] = 28
109.71/23.24	c (12,0) x[22][5] = 26
109.71/23.24	c (12,0) x[22][6] = 4
109.71/23.24	c (12,0) x[22][7] = 9
109.71/23.24	c (12,0) x[22][8] = 8
109.71/23.24	c (12,0) x[22][9] = 13
109.71/23.24	c (12,0) x[22][10] = 10
109.71/23.24	c (12,0) x[22][11] = 22
109.71/23.24	c (12,0) x[22][12] = 15
109.71/23.24	c (12,0) x[22][13] = 0
109.71/23.24	c (12,0) x[22][14] = 6
109.71/23.24	c (12,0) x[22][15] = 11
109.71/23.24	c (12,0) x[22][16] = 21
109.71/23.24	c (12,0) x[22][17] = 17
109.71/23.24	c (12,0) x[22][18] = 18
109.71/23.24	c (12,0) x[22][19] = 3
109.71/23.24	c (12,0) x[22][20] = 20
109.71/23.24	c (12,0) x[22][21] = 16
109.71/23.24	c (12,0) x[22][22] = 29
109.71/23.24	c (12,0) x[22][23] = 27
109.71/23.24	c (12,0) x[22][24] = 25
109.71/23.24	c (12,0) x[22][25] = 2
109.71/23.24	c (12,0) x[22][26] = 12
109.71/23.24	c (12,0) x[22][27] = 19
109.71/23.24	c (12,0) x[22][28] = 14
109.71/23.24	c (12,0) x[22][29] = 1
109.71/23.24	c (12,0) x[23][0] = 18
109.71/23.24	c (12,0) x[23][1] = 3
109.71/23.24	c (12,0) x[23][2] = 11
109.71/23.24	c (12,0) x[23][3] = 7
109.71/23.24	c (12,0) x[23][4] = 27
109.71/23.24	c (12,0) x[23][5] = 10
109.71/23.24	c (12,0) x[23][6] = 17
109.71/23.24	c (12,0) x[23][7] = 1
109.71/23.24	c (12,0) x[23][8] = 9
109.71/23.24	c (12,0) x[23][9] = 21
109.71/23.24	c (12,0) x[23][10] = 5
109.71/23.24	c (12,0) x[23][11] = 23
109.71/23.24	c (12,0) x[23][12] = 4
109.71/23.24	c (12,0) x[23][13] = 2
109.71/23.24	c (12,0) x[23][14] = 20
109.71/23.24	c (12,0) x[23][15] = 22
109.71/23.24	c (12,0) x[23][16] = 8
109.71/23.24	c (12,0) x[23][17] = 13
109.71/23.24	c (12,0) x[23][18] = 29
109.71/23.24	c (12,0) x[23][19] = 16
109.71/23.24	c (12,0) x[23][20] = 14
109.71/23.24	c (12,0) x[23][21] = 6
109.71/23.24	c (12,0) x[23][22] = 25
109.71/23.24	c (12,0) x[23][23] = 26
109.71/23.24	c (12,0) x[23][24] = 12
109.71/23.24	c (12,0) x[23][25] = 28
109.71/23.24	c (12,0) x[23][26] = 15
109.71/23.24	c (12,0) x[23][27] = 24
109.71/23.24	c (12,0) x[23][28] = 19
109.71/23.24	c (12,0) x[23][29] = 0
109.71/23.24	c (12,0) x[24][0] = 26
109.71/23.24	c (12,0) x[24][1] = 13
109.71/23.24	c (12,0) x[24][2] = 23
109.71/23.24	c (12,0) x[24][3] = 29
109.71/23.24	c (12,0) x[24][4] = 14
109.71/23.24	c (12,0) x[24][5] = 8
109.71/23.24	c (12,0) x[24][6] = 7
109.71/23.24	c (12,0) x[24][7] = 3
109.71/23.24	c (12,0) x[24][8] = 4
109.71/23.24	c (12,0) x[24][9] = 12
109.71/23.24	c (12,0) x[24][10] = 9
109.71/23.24	c (12,0) x[24][11] = 15
109.71/23.24	c (12,0) x[24][12] = 22
109.71/23.24	c (12,0) x[24][13] = 5
109.71/23.24	c (12,0) x[24][14] = 24
109.71/23.24	c (12,0) x[24][15] = 28
109.71/23.24	c (12,0) x[24][16] = 19
109.71/23.24	c (12,0) x[24][17] = 10
109.71/23.24	c (12,0) x[24][18] = 0
109.71/23.24	c (12,0) x[24][19] = 6
109.71/23.24	c (12,0) x[24][20] = 21
109.71/23.24	c (12,0) x[24][21] = 18
109.71/23.24	c (12,0) x[24][22] = 17
109.71/23.24	c (12,0) x[24][23] = 1
109.71/23.24	c (12,0) x[24][24] = 2
109.71/23.24	c (12,0) x[24][25] = 20
109.71/23.24	c (12,0) x[24][26] = 11
109.71/23.24	c (12,0) x[24][27] = 25
109.71/23.24	c (12,0) x[24][28] = 27
109.71/23.24	c (12,0) x[24][29] = 16
109.71/23.24	c (12,0) x[25][0] = 28
109.71/23.24	c (12,0) x[25][1] = 8
109.71/23.24	c (12,0) x[25][2] = 13
109.71/23.24	c (12,0) x[25][3] = 1
109.71/23.24	c (12,0) x[25][4] = 26
109.71/23.24	c (12,0) x[25][5] = 0
109.71/23.24	c (12,0) x[25][6] = 22
109.71/23.24	c (12,0) x[25][7] = 29
109.71/23.24	c (12,0) x[25][8] = 2
109.71/23.24	c (12,0) x[25][9] = 3
109.71/23.24	c (12,0) x[25][10] = 6
109.71/23.24	c (12,0) x[25][11] = 19
109.71/23.24	c (12,0) x[25][12] = 20
109.71/23.24	c (12,0) x[25][13] = 23
109.71/23.24	c (12,0) x[25][14] = 16
109.71/23.24	c (12,0) x[25][15] = 5
109.71/23.24	c (12,0) x[25][16] = 18
109.71/23.24	c (12,0) x[25][17] = 9
109.71/23.24	c (12,0) x[25][18] = 12
109.71/23.24	c (12,0) x[25][19] = 11
109.71/23.24	c (12,0) x[25][20] = 7
109.71/23.24	c (12,0) x[25][21] = 27
109.71/23.24	c (12,0) x[25][22] = 10
109.71/23.24	c (12,0) x[25][23] = 25
109.71/23.24	c (12,0) x[25][24] = 24
109.71/23.24	c (12,0) x[25][25] = 4
109.71/23.24	c (12,0) x[25][26] = 17
109.71/23.24	c (12,0) x[25][27] = 15
109.71/23.24	c (12,0) x[25][28] = 21
109.71/23.24	c (12,0) x[25][29] = 14
109.71/23.24	c (12,0) x[26][0] = 17
109.71/23.24	c (12,0) x[26][1] = 24
109.71/23.24	c (12,0) x[26][2] = 16
109.71/23.24	c (12,0) x[26][3] = 14
109.71/23.24	c (12,0) x[26][4] = 2
109.71/23.24	c (12,0) x[26][5] = 22
109.71/23.24	c (12,0) x[26][6] = 23
109.71/23.24	c (12,0) x[26][7] = 4
109.71/23.24	c (12,0) x[26][8] = 15
109.71/23.24	c (12,0) x[26][9] = 20
109.71/23.24	c (12,0) x[26][10] = 25
109.71/23.24	c (12,0) x[26][11] = 12
109.71/23.24	c (12,0) x[26][12] = 9
109.71/23.24	c (12,0) x[26][13] = 28
109.71/23.24	c (12,0) x[26][14] = 8
109.71/23.24	c (12,0) x[26][15] = 0
109.71/23.24	c (12,0) x[26][16] = 29
109.71/23.24	c (12,0) x[26][17] = 19
109.71/23.24	c (12,0) x[26][18] = 11
109.71/23.24	c (12,0) x[26][19] = 10
109.71/23.24	c (12,0) x[26][20] = 13
109.71/23.24	c (12,0) x[26][21] = 5
109.71/23.24	c (12,0) x[26][22] = 21
109.71/23.24	c (12,0) x[26][23] = 6
109.71/23.24	c (12,0) x[26][24] = 18
109.71/23.24	c (12,0) x[26][25] = 27
109.71/23.24	c (12,0) x[26][26] = 26
109.71/23.24	c (12,0) x[26][27] = 3
109.71/23.24	c (12,0) x[26][28] = 1
109.71/23.24	c (12,0) x[26][29] = 7
109.71/23.24	c (12,0) x[27][0] = 4
109.71/23.24	c (12,0) x[27][1] = 18
109.71/23.24	c (12,0) x[27][2] = 10
109.71/23.24	c (12,0) x[27][3] = 25
109.71/23.24	c (12,0) x[27][4] = 6
109.71/23.24	c (12,0) x[27][5] = 15
109.71/23.24	c (12,0) x[27][6] = 12
109.71/23.24	c (12,0) x[27][7] = 7
109.71/23.24	c (12,0) x[27][8] = 5
109.71/23.24	c (12,0) x[27][9] = 24
109.71/23.24	c (12,0) x[27][10] = 11
109.71/23.24	c (12,0) x[27][11] = 27
109.71/23.24	c (12,0) x[27][12] = 17
109.71/23.24	c (12,0) x[27][13] = 1
109.71/23.24	c (12,0) x[27][14] = 13
109.71/23.24	c (12,0) x[27][15] = 3
109.71/23.24	c (12,0) x[27][16] = 22
109.71/23.24	c (12,0) x[27][17] = 8
109.71/23.24	c (12,0) x[27][18] = 26
109.71/23.24	c (12,0) x[27][19] = 28
109.71/23.24	c (12,0) x[27][20] = 9
109.71/23.24	c (12,0) x[27][21] = 20
109.71/23.24	c (12,0) x[27][22] = 16
109.71/23.24	c (12,0) x[27][23] = 29
109.71/23.24	c (12,0) x[27][24] = 19
109.71/23.24	c (12,0) x[27][25] = 21
109.71/23.24	c (12,0) x[27][26] = 0
109.71/23.24	c (12,0) x[27][27] = 14
109.71/23.24	c (12,0) x[27][28] = 23
109.71/23.24	c (12,0) x[27][29] = 2
109.71/23.24	c (12,0) x[28][0] = 9
109.71/23.24	c (12,0) x[28][1] = 28
109.71/23.24	c (12,0) x[28][2] = 14
109.71/23.24	c (12,0) x[28][3] = 12
109.71/23.24	c (12,0) x[28][4] = 15
109.71/23.24	c (12,0) x[28][5] = 23
109.71/23.24	c (12,0) x[28][6] = 16
109.71/23.24	c (12,0) x[28][7] = 2
109.71/23.24	c (12,0) x[28][8] = 19
109.71/23.24	c (12,0) x[28][9] = 8
109.71/23.24	c (12,0) x[28][10] = 13
109.71/23.24	c (12,0) x[28][11] = 7
109.71/23.24	c (12,0) x[28][12] = 11
109.71/23.24	c (12,0) x[28][13] = 24
109.71/23.24	c (12,0) x[28][14] = 17
109.71/23.24	c (12,0) x[28][15] = 21
109.71/23.24	c (12,0) x[28][16] = 10
109.71/23.24	c (12,0) x[28][17] = 0
109.71/23.24	c (12,0) x[28][18] = 20
109.71/23.24	c (12,0) x[28][19] = 29
109.71/23.24	c (12,0) x[28][20] = 4
109.71/23.24	c (12,0) x[28][21] = 1
109.71/23.24	c (12,0) x[28][22] = 3
109.71/23.24	c (12,0) x[28][23] = 18
109.71/23.24	c (12,0) x[28][24] = 6
109.71/23.24	c (12,0) x[28][25] = 25
109.71/23.24	c (12,0) x[28][26] = 27
109.71/23.24	c (12,0) x[28][27] = 5
109.71/23.24	c (12,0) x[28][28] = 26
109.71/23.24	c (12,0) x[28][29] = 22
109.71/23.24	c (12,0) x[29][0] = 22
109.71/23.24	c (12,0) x[29][1] = 11
109.71/23.24	c (12,0) x[29][2] = 0
109.71/23.24	c (12,0) x[29][3] = 3
109.71/23.24	c (12,0) x[29][4] = 21
109.71/23.24	c (12,0) x[29][5] = 12
109.71/23.24	c (12,0) x[29][6] = 10
109.71/23.24	c (12,0) x[29][7] = 6
109.71/23.24	c (12,0) x[29][8] = 29
109.71/23.24	c (12,0) x[29][9] = 9
109.71/23.24	c (12,0) x[29][10] = 2
109.71/23.24	c (12,0) x[29][11] = 4
109.71/23.24	c (12,0) x[29][12] = 5
109.71/23.24	c (12,0) x[29][13] = 27
109.71/23.24	c (12,0) x[29][14] = 7
109.71/23.24	c (12,0) x[29][15] = 19
109.71/23.24	c (12,0) x[29][16] = 17
109.71/23.24	c (12,0) x[29][17] = 24
109.71/23.24	c (12,0) x[29][18] = 1
109.71/23.24	c (12,0) x[29][19] = 14
109.71/23.24	c (12,0) x[29][20] = 26
109.71/23.24	c (12,0) x[29][21] = 13
109.71/23.24	c (12,0) x[29][22] = 8
109.71/23.24	c (12,0) x[29][23] = 20
109.71/23.24	c (12,0) x[29][24] = 28
109.71/23.24	c (12,0) x[29][25] = 16
109.71/23.24	c (12,0) x[29][26] = 18
109.71/23.24	c (12,0) x[29][27] = 23
109.71/23.24	c (12,0) x[29][28] = 15
109.71/23.24	c (12,0) x[29][29] = 25
109.71/23.24	s SATISFIABLE
109.71/23.25	v <instantiation>
109.71/23.25	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>
109.71/23.25	v     <values>19 27 20 22 17 21 18 28 23 4 7 6 26 3 1 2 13 25 15 8 16 14 5 11 0 12 29 9 24 10 10 21 15 6 5 3 24 18 14 25 16 28 8 29 11 27 7 26 2 20 12 0 1 23 9 22 19 17 13 4 5 17 29 16 23 28 21 10 22 15 24 1 27 18 3 9 12 6 14 7 19 2 26 0 4 8 25 13 11 20 12 16 8 20 18 4 1 22 10 17 19 9 23 13 28 25 27 21 6 0 5 15 2 14 11 3 24 26 7 29 15 26 4 27 22 2 8 11 21 7 0 29 25 14 12 18 24 16 5 19 28 9 23 17 1 10 6 20 3 13 8 4 17 26 3 29 11 27 28 19 12 10 14 6 9 13 16 15 25 1 2 24 22 5 7 23 20 0 18 21 11 29 3 28 12 9 15 26 27 5 4 13 24 7 0 6 1 14 10 18 23 25 20 21 16 19 22 8 2 17 21 7 22 17 9 18 3 16 25 29 23 20 1 19 5 15 0 28 27 13 24 26 11 12 8 14 2 10 4 6 24 6 1 0 7 11 14 20 13 2 27 16 28 15 29 23 5 18 3 12 25 4 19 8 17 9 21 22 10 26 6 19 27 18 29 13 0 5 1 10 28 8 12 16 23 7 25 22 21 26 3 17 4 15 20 11 14 2 9 24 16 10 6 19 25 17 9 0 12 18 20 14 21 26 27 29 23 5 4 24 8 11 13 2 22 7 3 1 28 15 27 20 2 13 1 16 5 19 7 11 26 0 18 8 25 14 6 4 28 17 22 12 9 24 10 15 23 21 29 3 2 1 18 10 0 5 20 14 17 27 15 25 29 11 21 26 4 23 22 9 6 19 28 3 13 24 7 16 8 12 20 14 7 8 24 19 28 21 0 23 29 18 2 9 26 1 15 12 16 4 17 10 6 22 3 5 13 27 25 11 3 2 19 11 16 6 25 13 26 28 17 21 10 22 15 12 14 7 24 5 0 8 18 9 23 29 1 4 20 27 29 0 26 5 8 27 19 25 3 16 14 2 6 10 4 24 28 20 23 22 1 7 15 13 21 17 9 11 12 18 25 5 9 2 19 1 13 24 18 6 3 11 7 12 14 16 20 27 17 21 15 23 0 10 29 26 4 28 22 8 1 15 21 9 11 7 2 17 20 0 22 24 13 25 18 4 26 3 8 23 27 28 12 16 14 6 10 29 5 19 14 12 25 4 13 20 27 8 11 1 18 26 19 21 2 17 3 29 9 15 10 22 24 28 5 0 16 7 6 23 23 22 24 21 4 25 6 15 16 14 1 17 3 20 10 8 9 11 7 2 18 29 27 19 26 13 5 12 0 28 13 25 28 23 10 14 29 12 24 26 21 5 0 17 22 20 2 1 19 27 11 3 7 4 15 18 8 6 16 9 0 9 12 15 20 24 26 23 6 22 8 3 16 4 19 10 11 2 13 25 29 21 14 7 27 1 28 18 17 5 7 23 5 24 28 26 4 9 8 13 10 22 15 0 6 11 21 17 18 3 20 16 29 27 25 2 12 19 14 1 18 3 11 7 27 10 17 1 9 21 5 23 4 2 20 22 8 13 29 16 14 6 25 26 12 28 15 24 19 0 26 13 23 29 14 8 7 3 4 12 9 15 22 5 24 28 19 10 0 6 21 18 17 1 2 20 11 25 27 16 28 8 13 1 26 0 22 29 2 3 6 19 20 23 16 5 18 9 12 11 7 27 10 25 24 4 17 15 21 14 17 24 16 14 2 22 23 4 15 20 25 12 9 28 8 0 29 19 11 10 13 5 21 6 18 27 26 3 1 7 4 18 10 25 6 15 12 7 5 24 11 27 17 1 13 3 22 8 26 28 9 20 16 29 19 21 0 14 23 2 9 28 14 12 15 23 16 2 19 8 13 7 11 24 17 21 10 0 20 29 4 1 3 18 6 25 27 5 26 22 22 11 0 3 21 12 10 6 29 9 2 4 5 27 7 19 17 24 1 14 26 13 8 20 28 16 18 23 15 25</values>
109.71/23.25	v </instantiation>
109.71/23.25	c (12,0) Show results End
109.71/23.25	c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
109.71/23.25	c (12,0) 11,12,STOP-AFTER(ALL)
109.71/23.25	c END-Prog: Tue Sep 24 23:07:05 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 (13764 MiB free)
  memory of node 1: 16384 MiB (10860 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405333-1569359245/watcher-4405333-1569359245 -o /var/tmp/evaluation-result-4405333-1569359245/solver-4405333-1569359245 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --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-4405333-1569359245.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 3.81 3.63 5.58 2/211 24713
/proc/meminfo: memFree=25119908/32770624 swapFree=66935948/67108860
[pid=24691] ppid=24688 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24691/stat : 24691 (scop.sh) S 24688 24691 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511838307 115843072 349 33554432000 4194304 5098028 140726110247424 140726110244680 140479452996220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25255936 140726110253821 140726110254168 140726110254168 140726110257097 0
/proc/24691/statm: 28282 349 296 221 0 87 0
[pid=24694] ppid=24691 vsize=27314120 memory=107676 CPUtime=0.1 cores=0-7
/proc/24694/stat : 24694 (java) S 24691 24691 24340 0 -1 1077944320 6465 0 0 0 8 2 0 0 20 0 20 0 511838307 27969658880 26919 33554432000 4194304 4196468 140726940044784 140726940027328 140445205499639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
/proc/24694/statm: 6828530 26919 2800 1 0 6790935 0
[pid=24694/tid=24695] ppid=24691 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24694/task/24695/stat : 24695 (java) R 24691 24691 24340 0 -1 4202560 4575 0 0 0 7 2 0 0 20 0 20 0 511838308 27969658880 26919 33554432000 4194304 4196468 140726940044784 140445177303840 140445205511574 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24696] ppid=24691 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140445209741712 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24697] ppid=24691 vsize=27314120 memory=139704437491328 CPUtime=0 cores=0-7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140445030037776 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24698] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140445028985488 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24699] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140444626110992 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24700] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140444625058704 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24701] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140444624005904 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24702] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140444622953616 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24703] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 26919 33554432000 4194304 4196468 140726940044784 140444621900816 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24704] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443257284720 140445205510786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24705] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24691 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443148870432 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24706] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 26919 33554432000 4194304 4196468 140726940044784 140442880435312 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24707] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140442505926736 140445205518235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24708] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24691 24340 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443256232560 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24709] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443255179760 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24710] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24710/stat : 24710 (java) R 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443254127472 140445205510786 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24711] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24691 24340 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443253074672 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24712] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140442008021344 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24713] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24713/stat : 24713 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 26919 33554432000 4194304 4196468 140726940044784 140443252021552 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109072 KiB

[startup+0.210198 s]*
/proc/loadavg: 3.81 3.63 5.58 3/211 24713
/proc/meminfo: memFree=25101012/32770624 swapFree=66935948/67108860
[pid=24691] ppid=24688 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24691/stat : 24691 (scop.sh) S 24688 24691 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511838307 115843072 349 33554432000 4194304 5098028 140726110247424 140726110244680 140479452996220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25255936 140726110253821 140726110254168 140726110254168 140726110257097 0
/proc/24691/statm: 28282 349 296 221 0 87 0
[pid=24694] ppid=24691 vsize=27314120 memory=124760 CPUtime=0.24 cores=0-7
/proc/24694/stat : 24694 (java) S 24691 24691 24340 0 -1 1077944320 11473 0 0 0 20 4 0 0 20 0 20 0 511838307 27969658880 31190 33554432000 4194304 4196468 140726940044784 140726940027328 140445205499639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
/proc/24694/statm: 6828530 31190 2979 1 0 6790935 0
[pid=24694/tid=24695] ppid=24691 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24694/task/24695/stat : 24695 (java) R 24691 24691 24340 0 -1 4202560 9187 0 0 0 16 3 0 0 20 0 20 0 511838308 27969658880 31190 33554432000 4194304 4196468 140726940044784 140445177322352 140445187064592 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24696] ppid=24691 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140445209741712 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24697] ppid=24691 vsize=27314120 memory=139704441017025 CPUtime=0 cores=0-7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140445030037776 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24698] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140445028985488 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24699] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140444626110992 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24700] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140444625058704 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24701] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140444624005904 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24702] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140444622953616 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24703] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 31190 33554432000 4194304 4196468 140726940044784 140444621900816 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24704] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443257284720 140445205510786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24705] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24691 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443148870432 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24706] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 31190 33554432000 4194304 4196468 140726940044784 140442880435312 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24707] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140442505926736 140445205518235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24708] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24691 24340 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443256232560 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24709] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443255179760 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24710] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24691 24340 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443254127472 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24711] ppid=24691 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24691 24340 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443253074672 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24712] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140442008021344 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24713] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24713/stat : 24713 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 31190 33554432000 4194304 4196468 140726940044784 140443252021552 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126156 KiB

[startup+0.309644 s]*
/proc/loadavg: 3.81 3.63 5.58 3/211 24713
/proc/meminfo: memFree=25097848/32770624 swapFree=66935948/67108860
[pid=24691] ppid=24688 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24691/stat : 24691 (scop.sh) S 24688 24691 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511838307 115843072 349 33554432000 4194304 5098028 140726110247424 140726110244680 140479452996220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25255936 140726110253821 140726110254168 140726110254168 140726110257097 0
/proc/24691/statm: 28282 349 296 221 0 87 0
[pid=24694] ppid=24691 vsize=27314120 memory=128172 CPUtime=0.42 cores=0-7
/proc/24694/stat : 24694 (java) S 24691 24691 24340 0 -1 1077944320 12397 0 0 0 37 5 0 0 20 0 20 0 511838307 27969658880 32043 33554432000 4194304 4196468 140726940044784 140726940027328 140445205499639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
/proc/24694/statm: 6828530 32043 3023 1 0 6790935 0
[pid=24694/tid=24695] ppid=24691 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24694/task/24695/stat : 24695 (java) R 24691 24691 24340 0 -1 4202560 9940 0 0 0 25 4 0 0 20 0 20 0 511838308 27969658880 32043 33554432000 4194304 4196468 140726940044784 140445177329712 140445185774791 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24696] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140445209741712 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24697] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140445030037776 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24698] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140445028985488 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24699] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140444626110992 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24700] ppid=24691 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140444625058704 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24701] ppid=24691 vsize=27314120 memory=139704280380335 CPUtime=0 cores=0-7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140444624005904 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24702] ppid=24691 vsize=27314120 memory=139704280382640 CPUtime=0 cores=0-7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140444622953616 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24703] ppid=24691 vsize=27314120 memory=139704280384944 CPUtime=0 cores=0-7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27969658880 32043 33554432000 4194304 4196468 140726940044784 140444621900816 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24704] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443257284720 140445205510786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24705] ppid=24691 vsize=27314120 memory=279408560776848 CPUtime=0 cores=0-7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24691 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443148870432 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24706] ppid=24691 vsize=27314120 memory=279408560783760 CPUtime=0 cores=0-7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838312 27969658880 32043 33554432000 4194304 4196468 140726940044784 140442880435312 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24707] ppid=24691 vsize=27314120 memory=279408560725040 CPUtime=0 cores=0-7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140442505926736 140445205518235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24708] ppid=24691 vsize=27314120 memory=279408560797584 CPUtime=0.01 cores=0-7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24691 24340 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443256232560 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24709] ppid=24691 vsize=27314120 memory=279408560804496 CPUtime=0.02 cores=0-7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24691 24340 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443255179760 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24710] ppid=24691 vsize=27314120 memory=279408560802192 CPUtime=0 cores=0-7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24691 24340 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443254127472 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24711] ppid=24691 vsize=27314120 memory=279408560818352 CPUtime=0.07 cores=0-7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24691 24340 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443253074672 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24712] ppid=24691 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140442008021344 140445205509845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24713] ppid=24691 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24694/task/24713/stat : 24713 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838315 27969658880 32043 33554432000 4194304 4196468 140726940044784 140443252021552 140445205510786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129568 KiB

[startup+0.70097 s]
/proc/loadavg: 3.58 3.59 5.55 2/211 24713
/proc/meminfo: memFree=25074160/32770624 swapFree=66935948/67108860
[pid=24691] ppid=24688 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24691/stat : 24691 (scop.sh) S 24688 24691 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511838307 115843072 349 33554432000 4194304 5098028 140726110247424 140726110244680 140479452996220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25255936 140726110253821 140726110254168 140726110254168 140726110257097 0
/proc/24691/statm: 28282 349 296 221 0 87 0
[pid=24694] ppid=24691 vsize=27322516 memory=167596 CPUtime=0.99 cores=0-7
/proc/24694/stat : 24694 (java) S 24691 24691 24340 0 -1 1077944320 19983 0 0 0 91 8 0 0 20 0 20 0 511838307 27978256384 41899 33554432000 4194304 4196468 140726940044784 140726940027328 140445205499639 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
/proc/24694/statm: 6830629 41899 3181 1 0 6791959 0
[pid=24694/tid=24695] ppid=24691 vsize=27322516 memory=279408561176240 CPUtime=0.68 cores=0-7
/proc/24694/task/24695/stat : 24695 (java) R 24691 24691 24340 0 -1 4202560 17032 0 0 0 61 7 0 0 20 0 20 0 511838308 27978256384 41899 33554432000 4194304 4196468 140726940044784 140445177331376 140445189580126 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24696] ppid=24691 vsize=27322516 memory=139704280589168 CPUtime=0 cores=0-7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27978256384 41899 33554432000 4194304 4196468 140726940044784 140445209741712 140445205509845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24697] ppid=24691 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511838310 27978256384 41899 33554432000 4194304 4196468 140726940044784 140445030037776 140445205509845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0
[pid=24694/tid=24698] ppid=24691 vsize=27322516 memory=1128 CPUtime=0 cores=0-7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511838310 27978256384 41899 33554432000 4194304 4196468 140726940044784 140445028985488 140445205509845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36757504 140726940046023 140726940046470 140726940046470 140726940049359 0

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

/proc/24714/task/24726/stat : 24726 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839384 8616062976 31018 33554432000 4194304 4196468 140727525612480 140508915558000 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24727] ppid=24691 vsize=8414124 memory=35508 CPUtime=0 cores=0-7
/proc/24714/task/24727/stat : 24727 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140508541049424 140510642771867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24728] ppid=24691 vsize=8414124 memory=492 CPUtime=0.09 cores=0-7
/proc/24714/task/24728/stat : 24728 (java) S 24691 24691 24340 0 -1 1077944384 702 0 0 0 9 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510070720624 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24729] ppid=24691 vsize=8414124 memory=1560 CPUtime=0.11 cores=0-7
/proc/24714/task/24729/stat : 24729 (java) S 24691 24691 24340 0 -1 1077944384 553 0 0 0 11 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510069667824 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24730] ppid=24691 vsize=8414124 memory=932 CPUtime=0.11 cores=0-7
/proc/24714/task/24730/stat : 24730 (java) S 24691 24691 24340 0 -1 1077944384 343 0 0 0 11 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510068615536 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24731] ppid=24691 vsize=8414124 memory=1636 CPUtime=0.22 cores=0-7
/proc/24714/task/24731/stat : 24731 (java) S 24691 24691 24340 0 -1 1077944384 592 0 0 0 22 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510067562736 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24732] ppid=24691 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/24714/task/24732/stat : 24732 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511839387 8616062976 31018 33554432000 4194304 4196468 140727525612480 140508043144032 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24733] ppid=24691 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/24714/task/24733/stat : 24733 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511839387 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510066510640 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24735] ppid=24691 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/24714/task/24735/stat : 24735 (java) S 24691 24691 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511839458 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510058477376 140510642777881 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24737] ppid=24691 vsize=8414124 memory=2520 CPUtime=0 cores=0-7
/proc/24714/task/24737/stat : 24737 (java) S 24691 24691 24340 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511839459 8616062976 31018 33554432000 4194304 4196468 140727525612480 140507372043664 140510642775197 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24738] ppid=24691 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/24714/task/24738/stat : 24738 (java) S 24691 24691 24340 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511839459 8616062976 31018 33554432000 4194304 4196468 140727525612480 140507640478992 140510642775197 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24739] ppid=24691 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24714/task/24739/stat : 24739 (java) S 24691 24691 24340 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511839461 8616062976 31018 33554432000 4194304 4196468 140727525612480 140507103616304 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
Current children cumulated CPU time: 104.75 s
Current children cumulated vsize: 9330372 KiB
Current children cumulated memory: 367000 KiB

[startup+22.8022 s]
/proc/loadavg: 3.79 3.62 5.52 9/225 24749
/proc/meminfo: memFree=24868888/32770624 swapFree=66935948/67108860
[pid=24691] ppid=24688 vsize=113128 memory=1476 CPUtime=19.79 cores=0-7
/proc/24691/stat : 24691 (scop.sh) S 24688 24691 24340 0 -1 4202496 583 33623 0 0 0 0 1897 82 20 0 1 0 511838307 115843072 369 33554432000 4194304 5098028 140726110247424 140726110244168 140479452996220 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25255936 140726110253821 140726110254168 140726110254168 140726110257097 0
/proc/24691/statm: 28282 369 311 221 0 87 0
[pid=24714] ppid=24691 vsize=8414124 memory=124072 CPUtime=1.41 cores=0-7
/proc/24714/stat : 24714 (java) S 24691 24691 24340 0 -1 1077944320 21375 0 0 0 131 10 0 0 20 0 24 0 511839380 8616062976 31018 33554432000 4194304 4196468 140727525612480 140727525595024 140510642753271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
/proc/24714/statm: 2103531 31018 3198 1 0 2064875 0
[pid=24734] ppid=24714 vsize=796044 memory=247280 CPUtime=86.75 cores=0-7
/proc/24734/stat : 24734 (manyglucose-4.1) S 24714 24691 24340 0 -1 1077944320 160414 0 0 0 8636 39 0 0 20 0 9 0 511839458 815149056 61820 33554432000 4194304 4454172 140733196709072 140733196707472 140685594909314 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
/proc/24734/statm: 199011 61820 407 64 0 194679 0
[pid=24734/tid=24740] ppid=24714 vsize=796044 memory=245749438791951 CPUtime=10.82 cores=0-7
/proc/24734/task/24740/stat : 24740 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 18833 0 0 0 1080 2 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685558430968 4349826 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24741] ppid=24714 vsize=796044 memory=245749438791952 CPUtime=10.81 cores=0-7
/proc/24734/task/24741/stat : 24741 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 12436 0 0 0 1077 4 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685539412728 4353764 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24742] ppid=24714 vsize=796044 memory=245749438791954 CPUtime=10.82 cores=0-7
/proc/24734/task/24742/stat : 24742 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 15586 0 0 0 1080 2 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685531020024 4349826 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24743] ppid=24714 vsize=796044 memory=245749438791956 CPUtime=10.81 cores=0-7
/proc/24734/task/24743/stat : 24743 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 17127 0 0 0 1074 7 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685522627432 4329051 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24744] ppid=24714 vsize=796044 memory=279408561643344 CPUtime=10.81 cores=0-7
/proc/24734/task/24744/stat : 24744 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 13849 0 0 0 1079 2 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685514234616 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24745] ppid=24714 vsize=796044 memory=245751318743883 CPUtime=10.57 cores=0-7
/proc/24734/task/24745/stat : 24745 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 15328 0 0 0 1053 4 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685505841912 4351286 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24746] ppid=24714 vsize=796044 memory=245749438791951 CPUtime=10.81 cores=0-7
/proc/24734/task/24746/stat : 24746 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 16937 0 0 0 1075 6 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685497449208 4351231 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24734/tid=24747] ppid=24714 vsize=796044 memory=245749438791952 CPUtime=10.81 cores=0-7
/proc/24734/task/24747/stat : 24747 (manyglucose-4.1) R 24714 24691 24340 0 -1 4202560 15716 0 0 0 1079 2 0 0 20 0 9 0 511839501 815149056 61820 33554432000 4194304 4454172 140733196709072 140685489056504 4351769 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 20213760 140733196714829 140733196715036 140733196715036 140733196718006 0
[pid=24714/tid=24715] ppid=24691 vsize=8414124 memory=245749438791954 CPUtime=0.81 cores=0-7
/proc/24714/task/24715/stat : 24715 (java) S 24691 24691 24340 0 -1 1077944384 17784 0 0 0 74 7 0 0 20 0 24 0 511839381 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510614593440 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24716] ppid=24691 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24714/task/24716/stat : 24716 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510646995856 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24717] ppid=24691 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24714/task/24717/stat : 24717 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510461152016 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24718] ppid=24691 vsize=8414124 memory=7594592226532020839 CPUtime=0 cores=0-7
/proc/24714/task/24718/stat : 24718 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510126308496 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24719] ppid=24691 vsize=8414124 memory=6947198693588227944 CPUtime=0 cores=0-7
/proc/24714/task/24719/stat : 24719 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510125255696 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24720] ppid=24691 vsize=8414124 memory=7091033531850711403 CPUtime=0 cores=0-7
/proc/24714/task/24720/stat : 24720 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510124202384 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24721] ppid=24691 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/24714/task/24721/stat : 24721 (java) S 24691 24691 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510123149584 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24722] ppid=24691 vsize=8414124 memory=6010431322213212521 CPUtime=0 cores=0-7
/proc/24714/task/24722/stat : 24722 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510122097296 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24723] ppid=24691 vsize=8414124 memory=6946049695143715161 CPUtime=0 cores=0-7
/proc/24714/task/24723/stat : 24723 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839382 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510121044496 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24724] ppid=24691 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24714/task/24724/stat : 24724 (java) S 24691 24691 24340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511839383 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510071773808 140510642764418 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24725] ppid=24691 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24714/task/24725/stat : 24725 (java) S 24691 24691 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511839384 8616062976 31018 33554432000 4194304 4196468 140727525612480 140509183993120 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24726] ppid=24691 vsize=8414124 memory=279408562910496 CPUtime=0 cores=0-7
/proc/24714/task/24726/stat : 24726 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839384 8616062976 31018 33554432000 4194304 4196468 140727525612480 140508915558000 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24727] ppid=24691 vsize=8414124 memory=139704281472080 CPUtime=0 cores=0-7
/proc/24714/task/24727/stat : 24727 (java) S 24691 24691 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140508541049424 140510642771867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24728] ppid=24691 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/24714/task/24728/stat : 24728 (java) S 24691 24691 24340 0 -1 1077944384 702 0 0 0 9 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510070720624 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24729] ppid=24691 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/24714/task/24729/stat : 24729 (java) S 24691 24691 24340 0 -1 1077944384 553 0 0 0 11 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510069667824 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24730] ppid=24691 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/24714/task/24730/stat : 24730 (java) S 24691 24691 24340 0 -1 1077944384 343 0 0 0 11 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510068615536 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24731] ppid=24691 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/24714/task/24731/stat : 24731 (java) S 24691 24691 24340 0 -1 1077944384 592 0 0 0 22 0 0 0 20 0 24 0 511839386 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510067562736 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24732] ppid=24691 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24714/task/24732/stat : 24732 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511839387 8616062976 31018 33554432000 4194304 4196468 140727525612480 140508043144032 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24733] ppid=24691 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24714/task/24733/stat : 24733 (java) S 24691 24691 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511839387 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510066510640 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24735] ppid=24691 vsize=8414124 memory=9 CPUtime=0 cores=0-7
/proc/24714/task/24735/stat : 24735 (java) S 24691 24691 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511839458 8616062976 31018 33554432000 4194304 4196468 140727525612480 140510058477376 140510642777881 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24737] ppid=24691 vsize=8414124 memory=11 CPUtime=0 cores=0-7
/proc/24714/task/24737/stat : 24737 (java) S 24691 24691 24340 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511839459 8616062976 31018 33554432000 4194304 4196468 140727525612480 140507372043664 140510642775197 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24738] ppid=24691 vsize=8414124 memory=11 CPUtime=0 cores=0-7
/proc/24714/task/24738/stat : 24738 (java) S 24691 24691 24340 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511839459 8616062976 31018 33554432000 4194304 4196468 140727525612480 140507640478992 140510642775197 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24739] ppid=24691 vsize=8414124 memory=22 CPUtime=0 cores=0-7
/proc/24714/task/24739/stat : 24739 (java) S 24691 24691 24340 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511839461 8616062976 31018 33554432000 4194304 4196468 140727525612480 140507103616304 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
Current children cumulated CPU time: 107.95 s
Current children cumulated vsize: 9323296 KiB
Current children cumulated memory: 372828 KiB

[startup+23.2009 s]
/proc/loadavg: 3.79 3.62 5.52 4/215 24749
/proc/meminfo: memFree=25088208/32770624 swapFree=66935948/67108860
[pid=24691] ppid=24688 vsize=113128 memory=1476 CPUtime=19.79 cores=0-7
/proc/24691/stat : 24691 (scop.sh) S 24688 24691 24340 0 -1 4202496 583 33623 0 0 0 0 1897 82 20 0 1 0 511838307 115843072 369 33554432000 4194304 5098028 140726110247424 140726110244168 140479452996220 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25255936 140726110253821 140726110254168 140726110254168 140726110257097 0
/proc/24691/statm: 28282 369 311 221 0 87 0
[pid=24714] ppid=24691 vsize=8283048 memory=145052 CPUtime=89.92 cores=0-7
/proc/24714/stat : 24714 (java) S 24691 24691 24340 0 -1 1077944320 23221 160805 0 0 199 10 8742 41 20 0 22 0 511839380 8481841152 36263 33554432000 4194304 4196468 140727525612480 140727525595024 140510642753271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
/proc/24714/statm: 2070762 36263 3234 1 0 2032106 0
[pid=24714/tid=24715] ppid=24691 vsize=8283048 memory=11 CPUtime=88.81 cores=0-7
/proc/24714/task/24715/stat : 24715 (java) R 24691 24691 24340 0 -1 4202560 18076 160805 0 0 91 7 8742 41 20 0 22 0 511839381 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510614592080 140510642765206 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24716] ppid=24691 vsize=8283048 memory=22 CPUtime=87.83 cores=0-7
/proc/24714/task/24716/stat : 24716 (java) S 24691 24691 24340 0 -1 1077944384 2 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510646995856 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24717] ppid=24691 vsize=8283048 memory=0 CPUtime=87.83 cores=0-7
/proc/24714/task/24717/stat : 24717 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510461152016 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24718] ppid=24691 vsize=8283048 memory=7686721470300658839 CPUtime=87.83 cores=0-7
/proc/24714/task/24718/stat : 24718 (java) S 24691 24691 24340 0 -1 1077944384 3 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510126308496 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24719] ppid=24691 vsize=8283048 memory=0 CPUtime=87.83 cores=0-7
/proc/24714/task/24719/stat : 24719 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510125255696 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24720] ppid=24691 vsize=8283048 memory=139704280993280 CPUtime=87.83 cores=0-7
/proc/24714/task/24720/stat : 24720 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510124202384 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24721] ppid=24691 vsize=8283048 memory=0 CPUtime=87.83 cores=0-7
/proc/24714/task/24721/stat : 24721 (java) S 24691 24691 24340 0 -1 1077944384 2 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510123149584 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24722] ppid=24691 vsize=8283048 memory=247280 CPUtime=87.83 cores=0-7
/proc/24714/task/24722/stat : 24722 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510122097296 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24723] ppid=24691 vsize=8283048 memory=1476 CPUtime=87.83 cores=0-7
/proc/24714/task/24723/stat : 24723 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839382 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510121044496 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24724] ppid=24691 vsize=8283048 memory=124072 CPUtime=87.83 cores=0-7
/proc/24714/task/24724/stat : 24724 (java) S 24691 24691 24340 0 -1 1077944384 5 160805 0 0 0 0 8742 41 20 0 22 0 511839383 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510071773808 140510642764418 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24725] ppid=24691 vsize=8283048 memory=246984 CPUtime=87.83 cores=0-7
/proc/24714/task/24725/stat : 24725 (java) S 24691 24691 24340 0 -1 1077944384 13 160805 0 0 0 0 8742 41 20 0 22 0 511839384 8481841152 36263 33554432000 4194304 4196468 140727525612480 140509183993120 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24726] ppid=24691 vsize=8283048 memory=65376 CPUtime=87.83 cores=0-7
/proc/24714/task/24726/stat : 24726 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839384 8481841152 36263 33554432000 4194304 4196468 140727525612480 140508915558000 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24727] ppid=24691 vsize=8283048 memory=124072 CPUtime=87.83 cores=0-7
/proc/24714/task/24727/stat : 24727 (java) S 24691 24691 24340 0 -1 1077944384 1 160805 0 0 0 0 8742 41 20 0 22 0 511839386 8481841152 36263 33554432000 4194304 4196468 140727525612480 140508541049424 140510642771867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24728] ppid=24691 vsize=8283048 memory=1476 CPUtime=88.05 cores=0-7
/proc/24714/task/24728/stat : 24728 (java) R 24691 24691 24340 0 -1 4202560 1088 160805 0 0 22 0 8742 41 20 0 22 0 511839386 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510070720624 140510626239213 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24729] ppid=24691 vsize=8283048 memory=124072 CPUtime=88.05 cores=0-7
/proc/24714/task/24729/stat : 24729 (java) R 24691 24691 24340 0 -1 4202560 617 160805 0 0 22 0 8742 41 20 0 22 0 511839386 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510069647056 140510622257008 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24730] ppid=24691 vsize=8283048 memory=207140 CPUtime=88.02 cores=0-7
/proc/24714/task/24730/stat : 24730 (java) R 24691 24691 24340 0 -1 4202560 543 160805 0 0 19 0 8742 41 20 0 22 0 511839386 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510068615536 140510624274467 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24731] ppid=24691 vsize=8283048 memory=2520 CPUtime=88.18 cores=0-7
/proc/24714/task/24731/stat : 24731 (java) R 24691 24691 24340 0 -1 4202560 1308 160805 0 0 35 0 8742 41 20 0 22 0 511839386 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510067562736 140510642774618 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24732] ppid=24691 vsize=8283048 memory=3512 CPUtime=87.83 cores=0-7
/proc/24714/task/24732/stat : 24732 (java) S 24691 24691 24340 0 -1 1077944384 3 160805 0 0 0 0 8742 41 20 0 22 0 511839387 8481841152 36263 33554432000 4194304 4196468 140727525612480 140508043144032 140510642763477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24733] ppid=24691 vsize=8283048 memory=65376 CPUtime=87.83 cores=0-7
/proc/24714/task/24733/stat : 24733 (java) S 24691 24691 24340 0 -1 1077944384 3 160805 0 0 0 0 8742 41 20 0 22 0 511839387 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510066510640 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24735] ppid=24691 vsize=8283048 memory=2020 CPUtime=87.83 cores=0-7
/proc/24714/task/24735/stat : 24735 (java) S 24691 24691 24340 0 -1 1077944384 25 160805 0 0 0 0 8742 41 20 0 22 0 511839458 8481841152 36263 33554432000 4194304 4196468 140727525612480 140510058476560 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
[pid=24714/tid=24739] ppid=24691 vsize=8283048 memory=988 CPUtime=87.83 cores=0-7
/proc/24714/task/24739/stat : 24739 (java) S 24691 24691 24340 0 -1 1077944384 15 160805 0 0 0 0 8742 41 20 0 22 0 511839461 8481841152 36263 33554432000 4194304 4196468 140727525612480 140507103618096 140510642764418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19619840 140727525614559 140727525614726 140727525614726 140727525617615 0
Current children cumulated CPU time: 109.71 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146528 KiB

Child status: 0
Real time (s): 23.2708
CPU time (s): 109.936
CPU user time (s): 108.571
CPU system time (s): 1.36512
CPU usage (%): 472.421
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4347444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.571
system time used= 1.36512
maximum resident set size= 4346416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13727
involuntary context switches= 1030


# summary of solver processes directly reported to runsolver:
#   pid: 24691
#   total CPU time (s): 109.936
#   total CPU user time (s): 108.571
#   total CPU system time (s): 1.36512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.206655 second user time and 0.342305 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 23:06:41
IDJOB=4405333
IDBENCH=138965
IDSOLVER=2867
FILE ID=node147/4405333-1569359245
RUNJOBID= node147-1569358595-24367
PBS_JOBID= 21705113
Free space on /var/tmp= 13508 MiB

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

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

MD5SUM BENCH= a38db4eec3f77542c2f3ff7a616038a8
RANDOM SEED=1848303765

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25217176 kB
MemAvailable:   31777644 kB
Buffers:          146848 kB
Cached:          6473072 kB
SwapCached:        68688 kB
Active:          3287500 kB
Inactive:        3405264 kB
Active(anon):       4096 kB
Inactive(anon):   126000 kB
Active(file):    3283404 kB
Inactive(file):  3279264 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:             20308 kB
Writeback:             0 kB
AnonPages:        129968 kB
Mapped:            57668 kB
Shmem:             49088 kB
Slab:             455328 kB
SReclaimable:     426260 kB
SUnreclaim:        29068 kB
KernelStack:        3712 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

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