Trace number 4392780

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19208-serial-file.bin HOME/instance-4392780-1568443060.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 08:37:00 CEST 2019
0.65/0.57	c PID: 19211
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.66/1.06	c (0,0) Parsing End
1.66/1.07	c (0,0) CSP: 867 int (0 aux), 33 bool (0 aux), 2 ctr, max domain size 30
1.66/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.07	c (0,0) Constraint Name Generate Begin
1.66/1.08	c (0,0) Ctr:HOME/instance-4392780-1568443060.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.90/1.11	c (0,0) translated 1 (10%) constraints
5.67/2.83	c (2,2) translated 2 (20%) constraints
5.67/2.86	c (2,2) ===========================================
5.97/2.94	c (2,2) Hybrid: #OE=374, #LE=526
5.97/2.94	c (2,2) Hybrid
5.97/2.94	c (2,2) ===========================================
7.84/3.49	c (2,2) translated 2855 (10%) constraints
9.03/3.84	c (3,3) translated 5710 (20%) constraints
9.38/4.18	c (3,3) translated 8564 (30%) constraints
9.78/4.50	c (3,3) translated 11419 (40%) constraints
10.08/4.84	c (4,4) translated 14273 (50%) constraints
10.44/5.14	c (4,4) translated 17128 (60%) constraints
10.76/5.42	c (4,4) translated 19983 (70%) constraints
11.09/5.70	c (5,5) translated 22837 (80%) constraints
11.41/6.02	c (5,5) translated 25692 (90%) constraints
11.60/6.27	c (5,5) translated 28546 (100%) constraints
11.60/6.27	c (5,5) CSP to CSPinCNF End
11.60/6.28	c (5,5) CSP: 867 int (0 aux), 27033 bool (27000 aux), 137072 ctr, max domain size 30
11.60/6.28	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.60/6.28	c (5,5) CSPinCNF Propagation Begin
15.11/8.34	c (7,7) 20371 values, 87331 unsatisfiable literals, and 90849 valid clauses are removed
15.11/8.34	c (7,7) CSPinCNF Propagation End
15.11/8.34	c (7,7) CSP: 867 int (0 aux), 27033 bool (27000 aux), 46223 ctr, max domain size 30
15.11/8.34	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.11/8.39	c (7,7) Hybrid: #OE=27374, #LE=526
15.11/8.39	c (7,7) Simplify CSPinCNF Begin
16.50/8.93	c (8,8) Simplify CSPinCNF End
16.50/8.94	c (8,8) CSP: 867 int (0 aux), 53415 bool (53382 aux), 72605 ctr, max domain size 30
16.50/8.94	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.50/8.94	c (8,8) Calculate Precise Domain Begin
16.50/8.94	c (8,8) 0 values are removed by re-calculation
16.50/8.94	c (8,8) Calculate Precise Domain End
16.50/8.95	c (8,8) CSP: 867 int (0 aux), 53415 bool (53382 aux), 72605 ctr, max domain size 30
16.50/8.95	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.50/8.95	c (8,8) CSPinCNF to SatSolver Begin
18.52/9.51	c (8,8) 7261 (10 %) CSP clauses are encoded (0 SAT variables, 29841 SAT clauses)
18.73/9.67	c (9,9) 14521 (20 %) CSP clauses are encoded (0 SAT variables, 52389 SAT clauses)
18.98/9.82	c (9,9) 21782 (30 %) CSP clauses are encoded (0 SAT variables, 73840 SAT clauses)
19.11/9.96	c (9,9) 29042 (40 %) CSP clauses are encoded (0 SAT variables, 95922 SAT clauses)
19.22/10.10	c (9,9) 36303 (50 %) CSP clauses are encoded (0 SAT variables, 117471 SAT clauses)
19.42/10.25	c (9,9) 43563 (60 %) CSP clauses are encoded (0 SAT variables, 140625 SAT clauses)
19.54/10.39	c (9,9) 50824 (70 %) CSP clauses are encoded (0 SAT variables, 162858 SAT clauses)
19.79/10.52	c (9,9) 58084 (80 %) CSP clauses are encoded (0 SAT variables, 183464 SAT clauses)
19.89/10.65	c (10,10) 65345 (90 %) CSP clauses are encoded (0 SAT variables, 205009 SAT clauses)
19.99/10.78	c (10,10) 72605 (100 %) CSP clauses are encoded (0 SAT variables, 226263 SAT clauses)
19.99/10.79	c (10,10) CSPinCNF to SatSolver End
19.99/10.79	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.99/10.79	c (10,10) 42853 bool, 226264 clause
19.99/10.79	c (10,10) Export Begin
20.30/10.93	c (10,10) Export to HOME/scop-19208-serial-file.bin
20.30/10.93	c (10,10) Export End
20.30/10.93	c (10,10) Export File Size: 0.15 MB
20.30/10.93	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.30/10.93	c END-Prog: Sat Sep 14 08:37:10 CEST 2019
20.30/10.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19208-serial-file.bin
21.01/11.44	c (0,0) Read Serial File Begin
21.01/11.44	c (0,0) HOME/scop-19208-serial-file.bin
21.56/11.70	c (0,0) Read Serial File End
21.56/11.72	
21.56/11.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.56/11.72	(Solving Process)
21.56/11.72	
21.56/11.74	c BEGIN-Prog: Sat Sep 14 08:37:11 CEST 2019
21.56/11.74	c PID: 19232
21.56/11.74	c IP: 172.20.3.140
21.56/11.74	c HOST: node140.alineos.net
21.56/11.74	c (0,0) SatSolver.solve Begin
21.56/11.74	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392780-1568443060.xml-scop-19211.cnf
21.56/11.77	c (0,0) c
21.56/11.77	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.56/11.77	c (0,0) c
21.56/11.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.56/11.77	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.56/11.77	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.56/11.77	c (0,0) c |                                                                                                       |
21.80/11.85	c (0,0) c |  Number of variables:         42853                                                                   |
21.80/11.85	c (0,0) c |  Number of clauses:          226264                                                                   |
21.80/11.85	c (0,0) c |  Parse time:                   0.08 s                                                                 |
21.80/11.85	c (0,0) c |                                                                                                       |
22.08/12.08	c (0,0) c |  Simplification time:          0.22 s                                                                 |
22.08/12.08	c (0,0) c |                                                                                                       |
22.08/12.08	c (0,0) c |  Generating clones                                                                                    |
22.28/12.21	c (0,0) c |  all clones generated. Memory =   208.81Mb.                                                           |
22.28/12.21	c (0,0) c ========================================================================================================|
22.28/12.21	c (0,0) c
22.28/12.21	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.28/12.21	c (0,0) c
22.28/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/12.21	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.28/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/12.21	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.28/12.21	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.28/12.21	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.28/12.21	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.28/12.21	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/12.21	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.28/12.21	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.28/12.21	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.28/12.21	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.28/12.21	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/12.21	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.28/12.21	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.28/12.21	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.28/12.21	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/12.21	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.28/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
259.31/42.02	c (30,0) c
259.31/42.02	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
259.31/42.02	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
259.31/42.02	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
259.31/42.02	c (30,0) c |  0 |    493 |     266953 |      32719 |    58487 |    16340 |     6390 |    41474 |     2917 |      135 |  20 |  5.657 |
259.31/42.02	c (30,0) c |  1 |    541 |     282159 |      35084 |    59922 |    18686 |     6721 |    43805 |     3299 |      147 |  20 |  5.671 |
259.31/42.02	c (30,0) c |  2 |    556 |     281336 |      36819 |    60826 |    10618 |     6932 |    45309 |     3470 |      155 |  20 |  5.675 |
259.31/42.02	c (30,0) c |  3 |    566 |     281692 |      36871 |    60828 |    10684 |     7070 |    45207 |     3434 |      155 |  20 |  5.675 |
259.31/42.02	c (30,0) c |  4 |    544 |     280593 |      35882 |    60554 |    19497 |     6866 |    44509 |     3339 |      152 |  20 |  5.675 |
259.31/42.02	c (30,0) c |  5 |    539 |     275061 |      35521 |    59612 |    19140 |     6855 |    43918 |     3284 |      148 |  20 |  5.666 |
259.31/42.02	c (30,0) c |  6 |    544 |     276566 |      36419 |    60972 |    10233 |     7064 |    44984 |     3478 |      154 |  20 |  5.671 |
259.31/42.02	c (30,0) c |  7 |    558 |     285442 |      36800 |    60980 |    10605 |     7008 |    45200 |     3505 |      155 |  20 |  5.673 |
259.31/42.02	c (30,0) c 
259.31/42.02	c (30,0) c synthesis      286115 conflicts   342585192 propagations     1207 conflicts/sec  1445683 propagations/sec
259.31/42.02	c (30,0) c real: 30.2498 s, cpu: 236.971 s, memory: 779.48 Mb
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c real time : 34.292 s
277.20/46.06	c (34,0) c cpu time  : 254.839 s
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c | Conflicts     |          308389 |      38305 |      38567 |      38733 |      38661 |      38375 |      38717 |      38448 |      38583 |
277.20/46.06	c (34,0) c | Decisions     |         2308514 |     286290 |     294926 |     288788 |     287969 |     289500 |     286256 |     283107 |     291678 |
277.20/46.06	c (34,0) c | Propagations  |       366893129 |   46041791 |   46039635 |   45705616 |   45819465 |   46026809 |   45460082 |   45598395 |   46201336 |
277.20/46.06	c (34,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
277.20/46.06	c (34,0) c | SimpDBs       |             476 |         59 |         60 |         59 |         59 |         61 |         59 |         59 |         60 |
277.20/46.06	c (34,0) c | Restarts      |            4691 |        578 |        602 |        586 |        593 |        585 |        592 |        572 |        583 |
277.20/46.06	c (34,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
277.20/46.06	c (34,0) c | PropBinClauses|       969832744 |  121317263 |  121096511 |  121279407 |  121580777 |  121015717 |  121111624 |  121037356 |  121394089 |
277.20/46.06	c (34,0) c | PropPreBlocker|      4487341752 |  560863272 |  559008294 |  561962826 |  562569758 |  559294568 |  560668717 |  560805755 |  562168562 |
277.20/46.06	c (34,0) c | PropNotBlocker|      1174585031 |  146390045 |  146924040 |  147045967 |  146582991 |  146937191 |  147322233 |  146718495 |  146664069 |
277.20/46.06	c (34,0) c | LitFullScans  |      7883659933 |  984712839 |  984280460 |  987221179 |  987699330 |  984221812 |  984525297 |  984214627 |  986784389 |
277.20/46.06	c (34,0) c | LitScanFracts |         3164922 |     699189 |     270112 |     132580 |     428766 |     201088 |     486775 |     209430 |     736982 |
277.20/46.06	c (34,0) c | DecisionLevel0|           15432 |       1910 |       1987 |       1972 |       1885 |       1946 |       1916 |       1896 |       1920 |
277.20/46.06	c (34,0) c | Periods       |            1312 |        164 |        164 |        164 |        164 |        164 |        164 |        164 |        164 |
277.20/46.06	c (34,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
277.20/46.06	c (34,0) c | Avg_Trail     |                 |       8660 |       8614 |       8652 |       8700 |       8622 |       8637 |       8655 |       8678 |
277.20/46.06	c (34,0) c | Avg_DL        |                 |         80 |         81 |         82 |         84 |         80 |         80 |         81 |         83 |
277.20/46.06	c (34,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
277.20/46.06	c (34,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c | Exported      |           58262 |       7175 |       7230 |       7253 |       7345 |       7257 |       7326 |       7371 |       7305 |
277.20/46.06	c (34,0) c | Imported      |          373622 |      46735 |      46682 |      46883 |      46748 |      46643 |      46609 |      46543 |      46779 |
277.20/46.06	c (34,0) c | Good          |           58071 |       7258 |       7233 |       7262 |       7275 |       7271 |       7236 |       7277 |       7259 |
277.20/46.06	c (34,0) c | Purge         |          315551 |      39477 |      39449 |      39621 |      39473 |      39372 |      39373 |      39266 |      39520 |
277.20/46.06	c (34,0) c | Promoted      |           28539 |       3508 |       3600 |       3608 |       3548 |       3505 |       3521 |       3624 |       3625 |
277.20/46.06	c (34,0) c | Remove_Imp    |          198124 |      24954 |      24763 |      24784 |      24680 |      24858 |      24493 |      24750 |      24842 |
277.20/46.06	c (34,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c | Unaries       |                 |       1332 |       1385 |       1386 |       1292 |       1361 |       1324 |       1324 |       1337 |
277.20/46.06	c (34,0) c | Binaries      |                 |       1047 |       1075 |       1056 |       1048 |       1044 |       1079 |       1033 |       1055 |
277.20/46.06	c (34,0) c | Glues         |                 |       1918 |       1927 |       1936 |       1885 |       1908 |       1930 |       1902 |       1870 |
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c | Orig_Seen     |            36 % |      61321 |      61495 |      61717 |      61686 |      61754 |      61213 |      61910 |      61740 |
277.20/46.06	c (34,0) c | Diff Orig seen|                 | -      419 | -      245 | -       23 | -       54 |         14 | -      527 |        170 |      X     |
277.20/46.06	c (34,0) c | Hamming       |            12 % |       5056 |       5084 |       5189 |       5076 |       5272 |       5280 |       5247 |      X     |
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c | RunningTime   |                 |   33.8 100%|   32.4 100%|   31.4 100%|   31.4 100%|   31.9 100%|   32.3 100%|   31.5 100%|   31.2  99%|
277.20/46.06	c (34,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.3   1%|
277.20/46.06	c (34,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%|
277.20/46.06	c (34,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%|
277.20/46.06	c (34,0) c | SolvingTime   |                 |   33.8     |   32.4     |   31.5     |   31.5     |   31.9     |   32.3     |   31.5     |   31.5     |
277.20/46.06	c (34,0) c | PropagationTim|                 |   29.8  88%|   28.4  87%|   27.4  87%|   27.4  87%|   27.8  87%|   28.1  87%|   27.4  87%|   27.4  87%|
277.20/46.06	c (34,0) c | AnalysisTime  |                 |    2.3   7%|    2.3   7%|    2.4   8%|    2.4   8%|    2.4   7%|    2.4   8%|    2.4   8%|    2.3   7%|
277.20/46.06	c (34,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
277.20/46.06	c (34,0) c | SimplifyTime  |                 |    0.3   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|
277.20/46.06	c (34,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%|
277.20/46.06	c (34,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%|
277.20/46.06	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c
277.20/46.06	c (34,0) c Threads : 8
277.20/46.06	c (34,0) c Winner : 7
277.20/46.06	c (34,0) c Conflicts_0 : 38305
277.20/46.06	c (34,0) c Conflicts_1 : 38567
277.20/46.06	c (34,0) c Conflicts_2 : 38733
277.20/46.06	c (34,0) c Conflicts_3 : 38661
277.20/46.06	c (34,0) c Conflicts_4 : 38375
277.20/46.06	c (34,0) c Conflicts_5 : 38717
277.20/46.06	c (34,0) c Conflicts_6 : 38448
277.20/46.06	c (34,0) c Conflicts_7 : 38583
277.20/46.06	c (34,0) c Conflicts_total : 308389
277.20/46.06	c (34,0) c Conflicts_winner : 38583
277.20/46.06	c (34,0) c Decisions_0 : 286290
277.20/46.06	c (34,0) c Decisions_1 : 294926
277.20/46.06	c (34,0) c Decisions_2 : 288788
277.20/46.06	c (34,0) c Decisions_3 : 287969
277.20/46.06	c (34,0) c Decisions_4 : 289500
277.20/46.06	c (34,0) c Decisions_5 : 286256
277.20/46.06	c (34,0) c Decisions_6 : 283107
277.20/46.06	c (34,0) c Decisions_7 : 291678
277.20/46.06	c (34,0) c Decisions_total : 2308514
277.20/46.06	c (34,0) c Decisions_winner : 291678
277.20/46.06	c (34,0) c Propagations_0 : 46041791
277.20/46.06	c (34,0) c Propagations_1 : 46039635
277.20/46.06	c (34,0) c Propagations_2 : 45705616
277.20/46.06	c (34,0) c Propagations_3 : 45819465
277.20/46.06	c (34,0) c Propagations_4 : 46026809
277.20/46.06	c (34,0) c Propagations_5 : 45460082
277.20/46.06	c (34,0) c Propagations_6 : 45598395
277.20/46.06	c (34,0) c Propagations_7 : 46201336
277.20/46.06	c (34,0) c Propagations_total : 366893129
277.20/46.06	c (34,0) c Propagations_winner : 46201336
277.20/46.06	c (34,0) c ReduceDBs_0 : 5
277.20/46.06	c (34,0) c ReduceDBs_1 : 5
277.20/46.06	c (34,0) c ReduceDBs_2 : 5
277.20/46.06	c (34,0) c ReduceDBs_3 : 5
277.20/46.06	c (34,0) c ReduceDBs_4 : 5
277.20/46.06	c (34,0) c ReduceDBs_5 : 5
277.20/46.06	c (34,0) c ReduceDBs_6 : 5
277.20/46.06	c (34,0) c ReduceDBs_7 : 5
277.20/46.06	c (34,0) c ReduceDBs_total : 40
277.20/46.06	c (34,0) c ReduceDBs_winner : 5
277.20/46.06	c (34,0) c SimpDBs_0 : 59
277.20/46.06	c (34,0) c SimpDBs_1 : 60
277.20/46.06	c (34,0) c SimpDBs_2 : 59
277.20/46.06	c (34,0) c SimpDBs_3 : 59
277.20/46.06	c (34,0) c SimpDBs_4 : 61
277.20/46.06	c (34,0) c SimpDBs_5 : 59
277.20/46.06	c (34,0) c SimpDBs_6 : 59
277.20/46.06	c (34,0) c SimpDBs_7 : 60
277.20/46.06	c (34,0) c SimpDBs_total : 476
277.20/46.06	c (34,0) c SimpDBs_winner : 60
277.20/46.06	c (34,0) c Restarts_0 : 578
277.20/46.06	c (34,0) c Restarts_1 : 602
277.20/46.06	c (34,0) c Restarts_2 : 586
277.20/46.06	c (34,0) c Restarts_3 : 593
277.20/46.06	c (34,0) c Restarts_4 : 585
277.20/46.06	c (34,0) c Restarts_5 : 592
277.20/46.06	c (34,0) c Restarts_6 : 572
277.20/46.06	c (34,0) c Restarts_7 : 583
277.20/46.06	c (34,0) c Restarts_total : 4691
277.20/46.06	c (34,0) c Restarts_winner : 583
277.20/46.06	c (34,0) c ForcedImports_0 : 0
277.20/46.06	c (34,0) c ForcedImports_1 : 0
277.20/46.06	c (34,0) c ForcedImports_2 : 0
277.20/46.06	c (34,0) c ForcedImports_3 : 0
277.20/46.06	c (34,0) c ForcedImports_4 : 0
277.20/46.06	c (34,0) c ForcedImports_5 : 0
277.20/46.07	c (34,0) c ForcedImports_6 : 0
277.20/46.07	c (34,0) c ForcedImports_7 : 0
277.20/46.07	c (34,0) c ForcedImports_total : 0
277.20/46.07	c (34,0) c ForcedImports_winner : 0
277.20/46.07	c (34,0) c PropsBinClauses_0 : 121317263
277.20/46.07	c (34,0) c PropsBinClauses_1 : 121096511
277.20/46.07	c (34,0) c PropsBinClauses_2 : 121279407
277.20/46.07	c (34,0) c PropsBinClauses_3 : 121580777
277.20/46.07	c (34,0) c PropsBinClauses_4 : 121015717
277.20/46.07	c (34,0) c PropsBinClauses_5 : 121111624
277.20/46.07	c (34,0) c PropsBinClauses_6 : 121037356
277.20/46.07	c (34,0) c PropsBinClauses_7 : 121394089
277.20/46.07	c (34,0) c PropsBinClauses_total : 969832744
277.20/46.07	c (34,0) c PropsBinClauses_winner : 121394089
277.20/46.07	c (34,0) c PropsPreBlocker_0 : 560863272
277.20/46.07	c (34,0) c PropsPreBlocker_1 : 559008294
277.20/46.07	c (34,0) c PropsPreBlocker_2 : 561962826
277.20/46.07	c (34,0) c PropsPreBlocker_3 : 562569758
277.20/46.07	c (34,0) c PropsPreBlocker_4 : 559294568
277.20/46.07	c (34,0) c PropsPreBlocker_5 : 560668717
277.20/46.07	c (34,0) c PropsPreBlocker_6 : 560805755
277.20/46.07	c (34,0) c PropsPreBlocker_7 : 562168562
277.20/46.07	c (34,0) c PropsPreBlocker_total : 4487341752
277.20/46.07	c (34,0) c PropsPreBlocker_winner : 562168562
277.20/46.07	c (34,0) c PropsNotBlocker_0 : 146390045
277.20/46.07	c (34,0) c PropsNotBlocker_1 : 146924040
277.20/46.07	c (34,0) c PropsNotBlocker_2 : 147045967
277.20/46.07	c (34,0) c PropsNotBlocker_3 : 146582991
277.20/46.07	c (34,0) c PropsNotBlocker_4 : 146937191
277.20/46.07	c (34,0) c PropsNotBlocker_5 : 147322233
277.20/46.07	c (34,0) c PropsNotBlocker_6 : 146718495
277.20/46.07	c (34,0) c PropsNotBlocker_7 : 146664069
277.20/46.07	c (34,0) c PropsNotBlocker_total : 1174585031
277.20/46.07	c (34,0) c PropsNotBlocker_winner : 146664069
277.20/46.07	c (34,0) c PropsLitFullScans_0 : 984712839
277.20/46.07	c (34,0) c PropsLitFullScans_1 : 984280460
277.20/46.07	c (34,0) c PropsLitFullScans_2 : 987221179
277.20/46.07	c (34,0) c PropsLitFullScans_3 : 987699330
277.20/46.07	c (34,0) c PropsLitFullScans_4 : 984221812
277.20/46.07	c (34,0) c PropsLitFullScans_5 : 984525297
277.20/46.07	c (34,0) c PropsLitFullScans_6 : 984214627
277.20/46.07	c (34,0) c PropsLitFullScans_7 : 986784389
277.20/46.07	c (34,0) c PropsLitFullScans_total : 7883659933
277.20/46.07	c (34,0) c PropsLitFullScans_winner : 986784389
277.20/46.07	c (34,0) c LitScanFractions_0 : 699189
277.20/46.07	c (34,0) c LitScanFractions_1 : 270112
277.20/46.07	c (34,0) c LitScanFractions_2 : 132580
277.20/46.07	c (34,0) c LitScanFractions_3 : 428766
277.20/46.07	c (34,0) c LitScanFractions_4 : 201088
277.20/46.07	c (34,0) c LitScanFractions_5 : 486775
277.20/46.07	c (34,0) c LitScanFractions_6 : 209430
277.20/46.07	c (34,0) c LitScanFractions_7 : 736982
277.20/46.07	c (34,0) c LitScanFractions_total : 3164922
277.20/46.07	c (34,0) c LitScanFractions_winner : 736982
277.20/46.07	c (34,0) c DecisionLevel0_0 : 1910
277.20/46.07	c (34,0) c DecisionLevel0_1 : 1987
277.20/46.07	c (34,0) c DecisionLevel0_2 : 1972
277.20/46.07	c (34,0) c DecisionLevel0_3 : 1885
277.20/46.07	c (34,0) c DecisionLevel0_4 : 1946
277.20/46.07	c (34,0) c DecisionLevel0_5 : 1916
277.20/46.07	c (34,0) c DecisionLevel0_6 : 1896
277.20/46.07	c (34,0) c DecisionLevel0_7 : 1920
277.20/46.07	c (34,0) c DecisionLevel0_total : 15432
277.20/46.07	c (34,0) c DecisionLevel0_winner : 1920
277.20/46.07	c (34,0) c Periods_0 : 164
277.20/46.07	c (34,0) c Periods_1 : 164
277.20/46.07	c (34,0) c Periods_2 : 164
277.20/46.07	c (34,0) c Periods_3 : 164
277.20/46.07	c (34,0) c Periods_4 : 164
277.20/46.07	c (34,0) c Periods_5 : 164
277.20/46.07	c (34,0) c Periods_6 : 164
277.20/46.07	c (34,0) c Periods_7 : 164
277.20/46.07	c (34,0) c Periods_total : 1312
277.20/46.07	c (34,0) c Periods_winner : 164
277.20/46.07	c (34,0) c Margin_0 : 20
277.20/46.07	c (34,0) c Margin_1 : 20
277.20/46.07	c (34,0) c Margin_2 : 20
277.20/46.07	c (34,0) c Margin_3 : 20
277.20/46.07	c (34,0) c Margin_4 : 20
277.20/46.07	c (34,0) c Margin_5 : 20
277.20/46.07	c (34,0) c Margin_6 : 20
277.20/46.07	c (34,0) c Margin_7 : 20
277.20/46.07	c (34,0) c Margin_total : 160
277.20/46.07	c (34,0) c Margin_winner : 20
277.20/46.07	c (34,0) c Exported_0 : 7175
277.20/46.07	c (34,0) c Exported_1 : 7230
277.20/46.07	c (34,0) c Exported_2 : 7253
277.20/46.07	c (34,0) c Exported_3 : 7345
277.20/46.07	c (34,0) c Exported_4 : 7257
277.20/46.07	c (34,0) c Exported_5 : 7326
277.20/46.07	c (34,0) c Exported_6 : 7371
277.20/46.07	c (34,0) c Exported_7 : 7305
277.20/46.07	c (34,0) c Exported_total : 58262
277.20/46.07	c (34,0) c Exported_winner : 7305
277.20/46.07	c (34,0) c Imported_0 : 46735
277.20/46.07	c (34,0) c Imported_1 : 46682
277.20/46.07	c (34,0) c Imported_2 : 46883
277.20/46.07	c (34,0) c Imported_3 : 46748
277.20/46.07	c (34,0) c Imported_4 : 46643
277.20/46.07	c (34,0) c Imported_5 : 46609
277.20/46.07	c (34,0) c Imported_6 : 46543
277.20/46.07	c (34,0) c Imported_7 : 46779
277.20/46.07	c (34,0) c Imported_total : 373622
277.20/46.07	c (34,0) c Imported_winner : 46779
277.20/46.07	c (34,0) c Good_0 : 7258
277.20/46.07	c (34,0) c Good_1 : 7233
277.20/46.07	c (34,0) c Good_2 : 7262
277.20/46.07	c (34,0) c Good_3 : 7275
277.20/46.07	c (34,0) c Good_4 : 7271
277.20/46.07	c (34,0) c Good_5 : 7236
277.20/46.07	c (34,0) c Good_6 : 7277
277.20/46.07	c (34,0) c Good_7 : 7259
277.20/46.07	c (34,0) c Good_total : 58071
277.20/46.07	c (34,0) c Good_winner : 7259
277.20/46.07	c (34,0) c Purge_0 : 39477
277.20/46.07	c (34,0) c Purge_1 : 39449
277.20/46.07	c (34,0) c Purge_2 : 39621
277.20/46.07	c (34,0) c Purge_3 : 39473
277.20/46.07	c (34,0) c Purge_4 : 39372
277.20/46.07	c (34,0) c Purge_5 : 39373
277.20/46.07	c (34,0) c Purge_6 : 39266
277.20/46.07	c (34,0) c Purge_7 : 39520
277.20/46.07	c (34,0) c Purge_total : 315551
277.20/46.07	c (34,0) c Purge_winner : 39520
277.20/46.07	c (34,0) c Promoted_0 : 3508
277.20/46.07	c (34,0) c Promoted_1 : 3600
277.20/46.07	c (34,0) c Promoted_2 : 3608
277.20/46.07	c (34,0) c Promoted_3 : 3548
277.20/46.07	c (34,0) c Promoted_4 : 3505
277.20/46.07	c (34,0) c Promoted_5 : 3521
277.20/46.07	c (34,0) c Promoted_6 : 3624
277.20/46.07	c (34,0) c Promoted_7 : 3625
277.20/46.07	c (34,0) c Promoted_total : 28539
277.20/46.07	c (34,0) c Promoted_winner : 3625
277.20/46.07	c (34,0) c Remove_Imp_0 : 24954
277.20/46.07	c (34,0) c Remove_Imp_1 : 24763
277.20/46.07	c (34,0) c Remove_Imp_2 : 24784
277.20/46.07	c (34,0) c Remove_Imp_3 : 24680
277.20/46.07	c (34,0) c Remove_Imp_4 : 24858
277.20/46.07	c (34,0) c Remove_Imp_5 : 24493
277.20/46.07	c (34,0) c Remove_Imp_6 : 24750
277.20/46.07	c (34,0) c Remove_Imp_7 : 24842
277.20/46.07	c (34,0) c Remove_Imp_total : 198124
277.20/46.07	c (34,0) c Remove_Imp_winner : 24842
277.20/46.07	c (34,0) c Blocked_Reuse_0 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_1 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_2 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_3 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_4 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_5 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_6 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_7 : 0
277.20/46.07	c (34,0) c Blocked_Reuse_total : 0
277.20/46.07	c (34,0) c Blocked_Reuse_winner : 0
277.20/46.07	c (34,0) c Unaries_0 : 1332
277.20/46.07	c (34,0) c Unaries_1 : 1385
277.20/46.07	c (34,0) c Unaries_2 : 1386
277.20/46.07	c (34,0) c Unaries_3 : 1292
277.20/46.07	c (34,0) c Unaries_4 : 1361
277.20/46.07	c (34,0) c Unaries_5 : 1324
277.20/46.07	c (34,0) c Unaries_6 : 1324
277.20/46.07	c (34,0) c Unaries_7 : 1337
277.20/46.07	c (34,0) c Unaries_total : 10741
277.20/46.07	c (34,0) c Unaries_winner : 1337
277.20/46.07	c (34,0) c Binaries_0 : 1047
277.20/46.07	c (34,0) c Binaries_1 : 1075
277.20/46.07	c (34,0) c Binaries_2 : 1056
277.20/46.07	c (34,0) c Binaries_3 : 1048
277.20/46.07	c (34,0) c Binaries_4 : 1044
277.20/46.07	c (34,0) c Binaries_5 : 1079
277.20/46.07	c (34,0) c Binaries_6 : 1033
277.20/46.07	c (34,0) c Binaries_7 : 1055
277.20/46.07	c (34,0) c Binaries_total : 8437
277.20/46.07	c (34,0) c Binaries_winner : 1055
277.20/46.07	c (34,0) c Glues_0 : 1918
277.20/46.07	c (34,0) c Glues_1 : 1927
277.20/46.07	c (34,0) c Glues_2 : 1936
277.20/46.07	c (34,0) c Glues_3 : 1885
277.20/46.07	c (34,0) c Glues_4 : 1908
277.20/46.07	c (34,0) c Glues_5 : 1930
277.20/46.07	c (34,0) c Glues_6 : 1902
277.20/46.07	c (34,0) c Glues_7 : 1870
277.20/46.07	c (34,0) c Glues_total : 15276
277.20/46.07	c (34,0) c Glues_winner : 1870
277.20/46.07	c (34,0) c RunningTime_0 : 33.820886
277.20/46.07	c (34,0) c RunningTime_1 : 32.405603
277.20/46.07	c (34,0) c RunningTime_2 : 31.437048
277.20/46.07	c (34,0) c RunningTime_3 : 31.435357
277.20/46.07	c (34,0) c RunningTime_4 : 31.904629
277.20/46.07	c (34,0) c RunningTime_5 : 32.281965
277.20/46.07	c (34,0) c RunningTime_6 : 31.476134
277.20/46.07	c (34,0) c RunningTime_7 : 31.150124
277.20/46.07	c (34,0) c RunningTime_total : 255.911747
277.20/46.07	c (34,0) c RunningTime_winner : 31.150124
277.20/46.07	c (34,0) c WaitingTime_0 : 0.000259
277.20/46.07	c (34,0) c WaitingTime_1 : 0.000210
277.20/46.07	c (34,0) c WaitingTime_2 : 0.055378
277.20/46.07	c (34,0) c WaitingTime_3 : 0.078689
277.20/46.07	c (34,0) c WaitingTime_4 : 0.000245
277.20/46.07	c (34,0) c WaitingTime_5 : 0.000215
277.20/46.07	c (34,0) c WaitingTime_6 : 0.000241
277.20/46.07	c (34,0) c WaitingTime_7 : 0.316202
277.20/46.07	c (34,0) c WaitingTime_total : 0.451438
277.20/46.07	c (34,0) c WaitingTime_winner : 0.316202
277.20/46.07	c (34,0) c ExchangingTime_0 : 0.023244
277.20/46.07	c (34,0) c ExchangingTime_1 : 0.026055
277.20/46.07	c (34,0) c ExchangingTime_2 : 0.026670
277.20/46.07	c (34,0) c ExchangingTime_3 : 0.022842
277.20/46.07	c (34,0) c ExchangingTime_4 : 0.029597
277.20/46.07	c (34,0) c ExchangingTime_5 : 0.022922
277.20/46.07	c (34,0) c ExchangingTime_6 : 0.022796
277.20/46.07	c (34,0) c ExchangingTime_7 : 0.023762
277.20/46.07	c (34,0) c ExchangingTime_total : 0.197886
277.20/46.07	c (34,0) c ExchangingTime_winner : 0.023762
277.20/46.07	c (34,0) c PeriodProcTime_0 : 0.001702
277.20/46.07	c (34,0) c PeriodProcTime_1 : 0.001601
277.20/46.07	c (34,0) c PeriodProcTime_2 : 0.001494
277.20/46.07	c (34,0) c PeriodProcTime_3 : 0.001467
277.20/46.07	c (34,0) c PeriodProcTime_4 : 0.001457
277.20/46.07	c (34,0) c PeriodProcTime_5 : 0.001530
277.20/46.07	c (34,0) c PeriodProcTime_6 : 0.001644
277.20/46.07	c (34,0) c PeriodProcTime_7 : 0.001441
277.20/46.07	c (34,0) c PeriodProcTime_total : 0.012336
277.20/46.07	c (34,0) c PeriodProcTime_winner : 0.001441
277.20/46.07	c (34,0) c SolvingTime_0 : 33.846092
277.20/46.07	c (34,0) c SolvingTime_1 : 32.433469
277.20/46.07	c (34,0) c SolvingTime_2 : 31.520590
277.20/46.07	c (34,0) c SolvingTime_3 : 31.538355
277.20/46.07	c (34,0) c SolvingTime_4 : 31.935927
277.20/46.07	c (34,0) c SolvingTime_5 : 32.306632
277.20/46.07	c (34,0) c SolvingTime_6 : 31.500814
277.20/46.07	c (34,0) c SolvingTime_7 : 31.491528
277.20/46.07	c (34,0) c SolvingTime_total : 256.573408
277.20/46.07	c (34,0) c SolvingTime_winner : 31.491528
277.20/46.07	c (34,0) c PropagationTime_0 : 29.832250
277.20/46.07	c (34,0) c PropagationTime_1 : 28.353076
277.20/46.07	c (34,0) c PropagationTime_2 : 27.398669
277.20/46.07	c (34,0) c PropagationTime_3 : 27.441971
277.20/46.07	c (34,0) c PropagationTime_4 : 27.811056
277.20/46.07	c (34,0) c PropagationTime_5 : 28.097836
277.20/46.07	c (34,0) c PropagationTime_6 : 27.394304
277.20/46.07	c (34,0) c PropagationTime_7 : 27.371769
277.20/46.07	c (34,0) c PropagationTime_total : 223.700930
277.20/46.07	c (34,0) c PropagationTime_winner : 27.371769
277.20/46.07	c (34,0) c AnalysisTime_0 : 2.297472
277.20/46.07	c (34,0) c AnalysisTime_1 : 2.332539
277.20/46.07	c (34,0) c AnalysisTime_2 : 2.377793
277.20/46.07	c (34,0) c AnalysisTime_3 : 2.370131
277.20/46.07	c (34,0) c AnalysisTime_4 : 2.363370
277.20/46.07	c (34,0) c AnalysisTime_5 : 2.432468
277.20/46.07	c (34,0) c AnalysisTime_6 : 2.370709
277.20/46.07	c (34,0) c AnalysisTime_7 : 2.334621
277.20/46.07	c (34,0) c AnalysisTime_total : 18.879105
277.20/46.07	c (34,0) c AnalysisTime_winner : 2.334621
277.20/46.07	c (34,0) c ReductionTime_0 : 0.098469
277.20/46.07	c (34,0) c ReductionTime_1 : 0.110752
277.20/46.07	c (34,0) c ReductionTime_2 : 0.104947
277.20/46.07	c (34,0) c ReductionTime_3 : 0.103424
277.20/46.07	c (34,0) c ReductionTime_4 : 0.104407
277.20/46.07	c (34,0) c ReductionTime_5 : 0.103440
277.20/46.07	c (34,0) c ReductionTime_6 : 0.103730
277.20/46.07	c (34,0) c ReductionTime_7 : 0.104885
277.20/46.07	c (34,0) c ReductionTime_total : 0.834054
277.20/46.07	c (34,0) c ReductionTime_winner : 0.104885
277.20/46.07	c (34,0) c SimplifyTime_0 : 0.349930
277.20/46.07	c (34,0) c SimplifyTime_1 : 0.377019
277.20/46.07	c (34,0) c SimplifyTime_2 : 0.376501
277.20/46.07	c (34,0) c SimplifyTime_3 : 0.368994
277.20/46.07	c (34,0) c SimplifyTime_4 : 0.394118
277.20/46.07	c (34,0) c SimplifyTime_5 : 0.371469
277.20/46.07	c (34,0) c SimplifyTime_6 : 0.376349
277.20/46.07	c (34,0) c SimplifyTime_7 : 0.401476
277.20/46.07	c (34,0) c SimplifyTime_total : 3.015857
277.20/46.07	c (34,0) c SimplifyTime_winner : 0.401476
277.20/46.07	c (34,0) c UsedRateTime_0 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_1 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_2 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_3 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_4 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_5 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_6 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_7 : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_total : 0.000000
277.20/46.07	c (34,0) c UsedRateTime_winner : 0.000000
277.20/46.07	c (34,0) c OverlapRateTime_0 : 0.000000
277.20/46.07	c (34,0) c OverlapRateTime_1 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_2 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_3 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_4 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_5 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_6 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_7 : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_total : 0.000000
277.20/46.08	c (34,0) c OverlapRateTime_winner : 0.000000
277.20/46.08	c (34,0) c
277.20/46.08	c (34,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
277.20/46.08	c (34,0) c
277.20/46.08	c (34,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.08	c (34,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
277.20/46.08	c (34,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.08	c (34,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
277.20/46.08	c (34,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
277.20/46.08	c (34,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
277.20/46.08	c (34,0) c | Initial random_seed   |  622027476 |   44362443 |  203673923 |  468683192 | 1127307313 |  847710062 |   36415852 |  284169913 |
277.20/46.08	c (34,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
277.20/46.08	c (34,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
277.20/46.08	c (34,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
277.20/46.08	c (34,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
277.20/46.08	c (34,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
277.20/46.08	c (34,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
277.20/46.08	c (34,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
277.20/46.08	c (34,0) c | var_decay             |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |
277.20/46.08	c (34,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
277.20/46.08	c (34,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
277.20/46.08	c (34,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
277.20/46.08	c (34,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.20/46.08	c (34,0) 
277.20/46.08	c (34,0) s SATISFIABLE
277.42/46.13	c (34,0) SatSolver.solve End
277.42/46.13	c (34,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
277.42/46.14	c (34,0) Show results Begin
277.81/46.34	c (34,0) x[0][0] = 24
277.81/46.34	c (34,0) x[0][1] = 25
277.81/46.34	c (34,0) x[0][2] = 15
277.81/46.34	c (34,0) x[0][3] = 9
277.81/46.34	c (34,0) x[0][4] = 14
277.81/46.34	c (34,0) x[0][5] = 13
277.81/46.34	c (34,0) x[0][6] = 12
277.81/46.34	c (34,0) x[0][7] = 8
277.81/46.34	c (34,0) x[0][8] = 17
277.81/46.34	c (34,0) x[0][9] = 10
277.81/46.34	c (34,0) x[0][10] = 22
277.81/46.34	c (34,0) x[0][11] = 18
277.81/46.34	c (34,0) x[0][12] = 20
277.81/46.34	c (34,0) x[0][13] = 2
277.81/46.34	c (34,0) x[0][14] = 26
277.81/46.34	c (34,0) x[0][15] = 4
277.81/46.34	c (34,0) x[0][16] = 19
277.81/46.34	c (34,0) x[0][17] = 16
277.81/46.34	c (34,0) x[0][18] = 1
277.81/46.34	c (34,0) x[0][19] = 7
277.81/46.34	c (34,0) x[0][20] = 3
277.81/46.34	c (34,0) x[0][21] = 5
277.81/46.34	c (34,0) x[0][22] = 29
277.81/46.34	c (34,0) x[0][23] = 27
277.81/46.34	c (34,0) x[0][24] = 28
277.81/46.34	c (34,0) x[0][25] = 0
277.81/46.34	c (34,0) x[0][26] = 6
277.81/46.34	c (34,0) x[0][27] = 23
277.81/46.34	c (34,0) x[0][28] = 21
277.81/46.34	c (34,0) x[0][29] = 11
277.81/46.34	c (34,0) x[1][0] = 21
277.81/46.34	c (34,0) x[1][1] = 15
277.81/46.34	c (34,0) x[1][2] = 9
277.81/46.34	c (34,0) x[1][3] = 2
277.81/46.34	c (34,0) x[1][4] = 24
277.81/46.34	c (34,0) x[1][5] = 17
277.81/46.34	c (34,0) x[1][6] = 29
277.81/46.34	c (34,0) x[1][7] = 19
277.81/46.34	c (34,0) x[1][8] = 12
277.81/46.34	c (34,0) x[1][9] = 4
277.81/46.34	c (34,0) x[1][10] = 11
277.81/46.34	c (34,0) x[1][11] = 22
277.81/46.34	c (34,0) x[1][12] = 27
277.81/46.34	c (34,0) x[1][13] = 8
277.81/46.34	c (34,0) x[1][14] = 23
277.81/46.34	c (34,0) x[1][15] = 25
277.81/46.34	c (34,0) x[1][16] = 7
277.81/46.34	c (34,0) x[1][17] = 18
277.81/46.34	c (34,0) x[1][18] = 14
277.81/46.34	c (34,0) x[1][19] = 5
277.81/46.34	c (34,0) x[1][20] = 6
277.81/46.34	c (34,0) x[1][21] = 3
277.81/46.34	c (34,0) x[1][22] = 0
277.81/46.34	c (34,0) x[1][23] = 13
277.81/46.34	c (34,0) x[1][24] = 1
277.81/46.34	c (34,0) x[1][25] = 10
277.81/46.34	c (34,0) x[1][26] = 26
277.81/46.34	c (34,0) x[1][27] = 20
277.81/46.34	c (34,0) x[1][28] = 28
277.81/46.34	c (34,0) x[1][29] = 16
277.81/46.34	c (34,0) x[2][0] = 10
277.81/46.34	c (34,0) x[2][1] = 9
277.81/46.34	c (34,0) x[2][2] = 8
277.81/46.34	c (34,0) x[2][3] = 1
277.81/46.34	c (34,0) x[2][4] = 0
277.81/46.34	c (34,0) x[2][5] = 4
277.81/46.34	c (34,0) x[2][6] = 25
277.81/46.34	c (34,0) x[2][7] = 29
277.81/46.34	c (34,0) x[2][8] = 16
277.81/46.34	c (34,0) x[2][9] = 3
277.81/46.34	c (34,0) x[2][10] = 12
277.81/46.35	c (34,0) x[2][11] = 6
277.81/46.35	c (34,0) x[2][12] = 24
277.81/46.35	c (34,0) x[2][13] = 22
277.81/46.35	c (34,0) x[2][14] = 2
277.81/46.35	c (34,0) x[2][15] = 11
277.81/46.35	c (34,0) x[2][16] = 20
277.81/46.35	c (34,0) x[2][17] = 26
277.81/46.35	c (34,0) x[2][18] = 28
277.81/46.35	c (34,0) x[2][19] = 14
277.81/46.35	c (34,0) x[2][20] = 27
277.81/46.35	c (34,0) x[2][21] = 18
277.81/46.35	c (34,0) x[2][22] = 7
277.81/46.35	c (34,0) x[2][23] = 17
277.81/46.35	c (34,0) x[2][24] = 21
277.81/46.35	c (34,0) x[2][25] = 13
277.81/46.35	c (34,0) x[2][26] = 15
277.81/46.35	c (34,0) x[2][27] = 19
277.81/46.35	c (34,0) x[2][28] = 5
277.81/46.35	c (34,0) x[2][29] = 23
277.81/46.35	c (34,0) x[3][0] = 17
277.81/46.35	c (34,0) x[3][1] = 16
277.81/46.35	c (34,0) x[3][2] = 4
277.81/46.35	c (34,0) x[3][3] = 13
277.81/46.35	c (34,0) x[3][4] = 1
277.81/46.35	c (34,0) x[3][5] = 2
277.81/46.35	c (34,0) x[3][6] = 14
277.81/46.35	c (34,0) x[3][7] = 22
277.81/46.35	c (34,0) x[3][8] = 19
277.81/46.35	c (34,0) x[3][9] = 5
277.81/46.35	c (34,0) x[3][10] = 9
277.81/46.35	c (34,0) x[3][11] = 10
277.81/46.35	c (34,0) x[3][12] = 18
277.81/46.35	c (34,0) x[3][13] = 6
277.81/46.35	c (34,0) x[3][14] = 28
277.81/46.35	c (34,0) x[3][15] = 8
277.81/46.35	c (34,0) x[3][16] = 15
277.81/46.35	c (34,0) x[3][17] = 29
277.81/46.35	c (34,0) x[3][18] = 3
277.81/46.35	c (34,0) x[3][19] = 12
277.81/46.35	c (34,0) x[3][20] = 25
277.81/46.35	c (34,0) x[3][21] = 26
277.81/46.35	c (34,0) x[3][22] = 23
277.81/46.35	c (34,0) x[3][23] = 7
277.81/46.35	c (34,0) x[3][24] = 24
277.81/46.35	c (34,0) x[3][25] = 20
277.81/46.35	c (34,0) x[3][26] = 21
277.81/46.35	c (34,0) x[3][27] = 27
277.81/46.35	c (34,0) x[3][28] = 11
277.81/46.35	c (34,0) x[3][29] = 0
277.81/46.35	c (34,0) x[4][0] = 6
277.81/46.35	c (34,0) x[4][1] = 23
277.81/46.35	c (34,0) x[4][2] = 10
277.81/46.35	c (34,0) x[4][3] = 3
277.81/46.35	c (34,0) x[4][4] = 26
277.81/46.35	c (34,0) x[4][5] = 29
277.81/46.35	c (34,0) x[4][6] = 18
277.81/46.35	c (34,0) x[4][7] = 15
277.81/46.35	c (34,0) x[4][8] = 20
277.81/46.35	c (34,0) x[4][9] = 13
277.81/46.35	c (34,0) x[4][10] = 2
277.81/46.35	c (34,0) x[4][11] = 17
277.81/46.35	c (34,0) x[4][12] = 5
277.81/46.35	c (34,0) x[4][13] = 7
277.81/46.35	c (34,0) x[4][14] = 25
277.81/46.35	c (34,0) x[4][15] = 22
277.81/46.35	c (34,0) x[4][16] = 16
277.81/46.35	c (34,0) x[4][17] = 14
277.81/46.35	c (34,0) x[4][18] = 19
277.81/46.35	c (34,0) x[4][19] = 0
277.81/46.35	c (34,0) x[4][20] = 1
277.81/46.35	c (34,0) x[4][21] = 11
277.81/46.35	c (34,0) x[4][22] = 27
277.81/46.35	c (34,0) x[4][23] = 4
277.81/46.35	c (34,0) x[4][24] = 9
277.81/46.35	c (34,0) x[4][25] = 28
277.81/46.35	c (34,0) x[4][26] = 8
277.81/46.35	c (34,0) x[4][27] = 21
277.81/46.35	c (34,0) x[4][28] = 12
277.81/46.35	c (34,0) x[4][29] = 24
277.81/46.35	c (34,0) x[5][0] = 29
277.81/46.35	c (34,0) x[5][1] = 11
277.81/46.35	c (34,0) x[5][2] = 16
277.81/46.35	c (34,0) x[5][3] = 14
277.81/46.35	c (34,0) x[5][4] = 5
277.81/46.35	c (34,0) x[5][5] = 7
277.81/46.35	c (34,0) x[5][6] = 19
277.81/46.35	c (34,0) x[5][7] = 23
277.81/46.35	c (34,0) x[5][8] = 26
277.81/46.35	c (34,0) x[5][9] = 8
277.81/46.35	c (34,0) x[5][10] = 0
277.81/46.35	c (34,0) x[5][11] = 21
277.81/46.35	c (34,0) x[5][12] = 3
277.81/46.35	c (34,0) x[5][13] = 1
277.81/46.35	c (34,0) x[5][14] = 22
277.81/46.35	c (34,0) x[5][15] = 28
277.81/46.35	c (34,0) x[5][16] = 12
277.81/46.35	c (34,0) x[5][17] = 6
277.81/46.35	c (34,0) x[5][18] = 15
277.81/46.35	c (34,0) x[5][19] = 18
277.81/46.35	c (34,0) x[5][20] = 10
277.81/46.35	c (34,0) x[5][21] = 4
277.81/46.35	c (34,0) x[5][22] = 24
277.81/46.35	c (34,0) x[5][23] = 9
277.81/46.35	c (34,0) x[5][24] = 20
277.81/46.35	c (34,0) x[5][25] = 17
277.81/46.35	c (34,0) x[5][26] = 25
277.81/46.35	c (34,0) x[5][27] = 2
277.81/46.35	c (34,0) x[5][28] = 13
277.81/46.35	c (34,0) x[5][29] = 27
277.81/46.35	c (34,0) x[6][0] = 19
277.81/46.35	c (34,0) x[6][1] = 14
277.81/46.35	c (34,0) x[6][2] = 1
277.81/46.35	c (34,0) x[6][3] = 10
277.81/46.35	c (34,0) x[6][4] = 2
277.81/46.35	c (34,0) x[6][5] = 25
277.81/46.35	c (34,0) x[6][6] = 7
277.81/46.35	c (34,0) x[6][7] = 5
277.81/46.35	c (34,0) x[6][8] = 11
277.81/46.35	c (34,0) x[6][9] = 24
277.81/46.35	c (34,0) x[6][10] = 4
277.81/46.35	c (34,0) x[6][11] = 0
277.81/46.35	c (34,0) x[6][12] = 17
277.81/46.35	c (34,0) x[6][13] = 18
277.81/46.35	c (34,0) x[6][14] = 20
277.81/46.35	c (34,0) x[6][15] = 6
277.81/46.35	c (34,0) x[6][16] = 22
277.81/46.35	c (34,0) x[6][17] = 15
277.81/46.35	c (34,0) x[6][18] = 27
277.81/46.35	c (34,0) x[6][19] = 21
277.81/46.35	c (34,0) x[6][20] = 26
277.81/46.35	c (34,0) x[6][21] = 8
277.81/46.35	c (34,0) x[6][22] = 13
277.81/46.35	c (34,0) x[6][23] = 28
277.81/46.35	c (34,0) x[6][24] = 12
277.81/46.35	c (34,0) x[6][25] = 9
277.81/46.35	c (34,0) x[6][26] = 23
277.81/46.35	c (34,0) x[6][27] = 16
277.81/46.35	c (34,0) x[6][28] = 29
277.81/46.35	c (34,0) x[6][29] = 3
277.81/46.35	c (34,0) x[7][0] = 14
277.81/46.35	c (34,0) x[7][1] = 26
277.81/46.35	c (34,0) x[7][2] = 21
277.81/46.35	c (34,0) x[7][3] = 25
277.81/46.35	c (34,0) x[7][4] = 11
277.81/46.35	c (34,0) x[7][5] = 18
277.81/46.35	c (34,0) x[7][6] = 9
277.81/46.35	c (34,0) x[7][7] = 27
277.81/46.35	c (34,0) x[7][8] = 24
277.81/46.35	c (34,0) x[7][9] = 20
277.81/46.35	c (34,0) x[7][10] = 10
277.81/46.35	c (34,0) x[7][11] = 4
277.81/46.35	c (34,0) x[7][12] = 19
277.81/46.35	c (34,0) x[7][13] = 28
277.81/46.35	c (34,0) x[7][14] = 0
277.81/46.35	c (34,0) x[7][15] = 13
277.81/46.35	c (34,0) x[7][16] = 17
277.81/46.35	c (34,0) x[7][17] = 12
277.81/46.35	c (34,0) x[7][18] = 16
277.81/46.35	c (34,0) x[7][19] = 23
277.81/46.35	c (34,0) x[7][20] = 7
277.81/46.35	c (34,0) x[7][21] = 29
277.81/46.35	c (34,0) x[7][22] = 6
277.81/46.35	c (34,0) x[7][23] = 5
277.81/46.35	c (34,0) x[7][24] = 8
277.81/46.35	c (34,0) x[7][25] = 2
277.81/46.35	c (34,0) x[7][26] = 1
277.81/46.35	c (34,0) x[7][27] = 15
277.81/46.35	c (34,0) x[7][28] = 3
277.81/46.35	c (34,0) x[7][29] = 22
277.81/46.35	c (34,0) x[8][0] = 9
277.81/46.35	c (34,0) x[8][1] = 20
277.81/46.35	c (34,0) x[8][2] = 5
277.81/46.35	c (34,0) x[8][3] = 23
277.81/46.35	c (34,0) x[8][4] = 19
277.81/46.35	c (34,0) x[8][5] = 8
277.81/46.35	c (34,0) x[8][6] = 28
277.81/46.35	c (34,0) x[8][7] = 26
277.81/46.35	c (34,0) x[8][8] = 25
277.81/46.35	c (34,0) x[8][9] = 1
277.81/46.35	c (34,0) x[8][10] = 14
277.81/46.35	c (34,0) x[8][11] = 11
277.81/46.35	c (34,0) x[8][12] = 12
277.81/46.35	c (34,0) x[8][13] = 4
277.81/46.35	c (34,0) x[8][14] = 13
277.81/46.35	c (34,0) x[8][15] = 7
277.81/46.35	c (34,0) x[8][16] = 3
277.81/46.35	c (34,0) x[8][17] = 22
277.81/46.35	c (34,0) x[8][18] = 24
277.81/46.35	c (34,0) x[8][19] = 17
277.81/46.35	c (34,0) x[8][20] = 21
277.81/46.35	c (34,0) x[8][21] = 0
277.81/46.35	c (34,0) x[8][22] = 15
277.81/46.35	c (34,0) x[8][23] = 2
277.81/46.35	c (34,0) x[8][24] = 29
277.81/46.35	c (34,0) x[8][25] = 27
277.81/46.35	c (34,0) x[8][26] = 16
277.81/46.35	c (34,0) x[8][27] = 6
277.81/46.35	c (34,0) x[8][28] = 18
277.81/46.35	c (34,0) x[8][29] = 10
277.81/46.35	c (34,0) x[9][0] = 5
277.81/46.35	c (34,0) x[9][1] = 6
277.81/46.35	c (34,0) x[9][2] = 13
277.81/46.35	c (34,0) x[9][3] = 21
277.81/46.35	c (34,0) x[9][4] = 15
277.81/46.35	c (34,0) x[9][5] = 1
277.81/46.35	c (34,0) x[9][6] = 26
277.81/46.35	c (34,0) x[9][7] = 12
277.81/46.35	c (34,0) x[9][8] = 9
277.81/46.35	c (34,0) x[9][9] = 27
277.81/46.35	c (34,0) x[9][10] = 16
277.81/46.35	c (34,0) x[9][11] = 24
277.81/46.35	c (34,0) x[9][12] = 23
277.81/46.35	c (34,0) x[9][13] = 17
277.81/46.35	c (34,0) x[9][14] = 18
277.81/46.35	c (34,0) x[9][15] = 2
277.81/46.35	c (34,0) x[9][16] = 11
277.81/46.35	c (34,0) x[9][17] = 28
277.81/46.35	c (34,0) x[9][18] = 8
277.81/46.35	c (34,0) x[9][19] = 29
277.81/46.35	c (34,0) x[9][20] = 19
277.81/46.35	c (34,0) x[9][21] = 10
277.81/46.35	c (34,0) x[9][22] = 20
277.81/46.35	c (34,0) x[9][23] = 3
277.81/46.35	c (34,0) x[9][24] = 4
277.81/46.35	c (34,0) x[9][25] = 25
277.81/46.35	c (34,0) x[9][26] = 22
277.81/46.35	c (34,0) x[9][27] = 14
277.81/46.35	c (34,0) x[9][28] = 0
277.81/46.35	c (34,0) x[9][29] = 7
277.81/46.35	c (34,0) x[10][0] = 22
277.81/46.35	c (34,0) x[10][1] = 17
277.81/46.35	c (34,0) x[10][2] = 12
277.81/46.35	c (34,0) x[10][3] = 4
277.81/46.35	c (34,0) x[10][4] = 10
277.81/46.35	c (34,0) x[10][5] = 14
277.81/46.35	c (34,0) x[10][6] = 27
277.81/46.35	c (34,0) x[10][7] = 16
277.81/46.35	c (34,0) x[10][8] = 23
277.81/46.35	c (34,0) x[10][9] = 28
277.81/46.35	c (34,0) x[10][10] = 26
277.81/46.35	c (34,0) x[10][11] = 2
277.81/46.35	c (34,0) x[10][12] = 7
277.81/46.35	c (34,0) x[10][13] = 29
277.81/46.35	c (34,0) x[10][14] = 3
277.81/46.35	c (34,0) x[10][15] = 18
277.81/46.35	c (34,0) x[10][16] = 8
277.81/46.35	c (34,0) x[10][17] = 5
277.81/46.35	c (34,0) x[10][18] = 6
277.81/46.35	c (34,0) x[10][19] = 25
277.81/46.35	c (34,0) x[10][20] = 0
277.81/46.35	c (34,0) x[10][21] = 9
277.81/46.35	c (34,0) x[10][22] = 11
277.81/46.35	c (34,0) x[10][23] = 21
277.81/46.35	c (34,0) x[10][24] = 13
277.81/46.35	c (34,0) x[10][25] = 15
277.81/46.35	c (34,0) x[10][26] = 19
277.81/46.35	c (34,0) x[10][27] = 1
277.81/46.35	c (34,0) x[10][28] = 24
277.81/46.35	c (34,0) x[10][29] = 20
277.81/46.35	c (34,0) x[11][0] = 13
277.81/46.35	c (34,0) x[11][1] = 7
277.81/46.35	c (34,0) x[11][2] = 17
277.81/46.35	c (34,0) x[11][3] = 24
277.81/46.35	c (34,0) x[11][4] = 16
277.81/46.35	c (34,0) x[11][5] = 22
277.81/46.35	c (34,0) x[11][6] = 5
277.81/46.35	c (34,0) x[11][7] = 20
277.81/46.35	c (34,0) x[11][8] = 1
277.81/46.35	c (34,0) x[11][9] = 21
277.81/46.35	c (34,0) x[11][10] = 19
277.81/46.35	c (34,0) x[11][11] = 29
277.81/46.35	c (34,0) x[11][12] = 9
277.81/46.35	c (34,0) x[11][13] = 11
277.81/46.35	c (34,0) x[11][14] = 6
277.81/46.35	c (34,0) x[11][15] = 15
277.81/46.35	c (34,0) x[11][16] = 2
277.81/46.35	c (34,0) x[11][17] = 27
277.81/46.35	c (34,0) x[11][18] = 12
277.81/46.35	c (34,0) x[11][19] = 8
277.81/46.35	c (34,0) x[11][20] = 18
277.81/46.35	c (34,0) x[11][21] = 25
277.81/46.35	c (34,0) x[11][22] = 4
277.81/46.35	c (34,0) x[11][23] = 0
277.81/46.35	c (34,0) x[11][24] = 10
277.81/46.35	c (34,0) x[11][25] = 14
277.81/46.35	c (34,0) x[11][26] = 28
277.81/46.35	c (34,0) x[11][27] = 3
277.81/46.35	c (34,0) x[11][28] = 23
277.81/46.35	c (34,0) x[11][29] = 26
277.81/46.35	c (34,0) x[12][0] = 12
277.81/46.35	c (34,0) x[12][1] = 1
277.81/46.35	c (34,0) x[12][2] = 20
277.81/46.35	c (34,0) x[12][3] = 11
277.81/46.35	c (34,0) x[12][4] = 28
277.81/46.35	c (34,0) x[12][5] = 26
277.81/46.35	c (34,0) x[12][6] = 4
277.81/46.35	c (34,0) x[12][7] = 24
277.81/46.35	c (34,0) x[12][8] = 3
277.81/46.35	c (34,0) x[12][9] = 23
277.81/46.35	c (34,0) x[12][10] = 21
277.81/46.35	c (34,0) x[12][11] = 13
277.81/46.35	c (34,0) x[12][12] = 6
277.81/46.35	c (34,0) x[12][13] = 27
277.81/46.35	c (34,0) x[12][14] = 5
277.81/46.35	c (34,0) x[12][15] = 16
277.81/46.35	c (34,0) x[12][16] = 29
277.81/46.35	c (34,0) x[12][17] = 2
277.81/46.35	c (34,0) x[12][18] = 18
277.81/46.35	c (34,0) x[12][19] = 10
277.81/46.35	c (34,0) x[12][20] = 15
277.81/46.35	c (34,0) x[12][21] = 7
277.81/46.35	c (34,0) x[12][22] = 17
277.81/46.35	c (34,0) x[12][23] = 8
277.81/46.35	c (34,0) x[12][24] = 0
277.81/46.35	c (34,0) x[12][25] = 19
277.81/46.35	c (34,0) x[12][26] = 9
277.81/46.35	c (34,0) x[12][27] = 22
277.81/46.35	c (34,0) x[12][28] = 25
277.81/46.35	c (34,0) x[12][29] = 14
277.81/46.35	c (34,0) x[13][0] = 26
277.81/46.35	c (34,0) x[13][1] = 22
277.81/46.35	c (34,0) x[13][2] = 27
277.81/46.35	c (34,0) x[13][3] = 19
277.81/46.35	c (34,0) x[13][4] = 3
277.81/46.35	c (34,0) x[13][5] = 23
277.81/46.35	c (34,0) x[13][6] = 17
277.81/46.35	c (34,0) x[13][7] = 25
277.81/46.35	c (34,0) x[13][8] = 6
277.81/46.35	c (34,0) x[13][9] = 12
277.81/46.35	c (34,0) x[13][10] = 28
277.81/46.35	c (34,0) x[13][11] = 8
277.81/46.35	c (34,0) x[13][12] = 2
277.81/46.35	c (34,0) x[13][13] = 21
277.81/46.35	c (34,0) x[13][14] = 16
277.81/46.35	c (34,0) x[13][15] = 10
277.81/46.35	c (34,0) x[13][16] = 0
277.81/46.35	c (34,0) x[13][17] = 1
277.81/46.35	c (34,0) x[13][18] = 13
277.81/46.35	c (34,0) x[13][19] = 15
277.81/46.35	c (34,0) x[13][20] = 11
277.81/46.35	c (34,0) x[13][21] = 24
277.81/46.35	c (34,0) x[13][22] = 14
277.81/46.35	c (34,0) x[13][23] = 20
277.81/46.35	c (34,0) x[13][24] = 5
277.81/46.35	c (34,0) x[13][25] = 29
277.81/46.35	c (34,0) x[13][26] = 4
277.81/46.35	c (34,0) x[13][27] = 18
277.81/46.35	c (34,0) x[13][28] = 7
277.81/46.35	c (34,0) x[13][29] = 9
277.81/46.35	c (34,0) x[14][0] = 15
277.81/46.35	c (34,0) x[14][1] = 3
277.81/46.35	c (34,0) x[14][2] = 18
277.81/46.35	c (34,0) x[14][3] = 29
277.81/46.35	c (34,0) x[14][4] = 20
277.81/46.35	c (34,0) x[14][5] = 10
277.81/46.35	c (34,0) x[14][6] = 13
277.81/46.35	c (34,0) x[14][7] = 14
277.81/46.35	c (34,0) x[14][8] = 0
277.81/46.35	c (34,0) x[14][9] = 6
277.81/46.35	c (34,0) x[14][10] = 25
277.81/46.35	c (34,0) x[14][11] = 1
277.81/46.35	c (34,0) x[14][12] = 16
277.81/46.35	c (34,0) x[14][13] = 9
277.81/46.35	c (34,0) x[14][14] = 27
277.81/46.35	c (34,0) x[14][15] = 12
277.81/46.35	c (34,0) x[14][16] = 21
277.81/46.35	c (34,0) x[14][17] = 4
277.81/46.35	c (34,0) x[14][18] = 11
277.81/46.35	c (34,0) x[14][19] = 26
277.81/46.35	c (34,0) x[14][20] = 24
277.81/46.35	c (34,0) x[14][21] = 19
277.81/46.35	c (34,0) x[14][22] = 28
277.81/46.35	c (34,0) x[14][23] = 22
277.81/46.35	c (34,0) x[14][24] = 23
277.81/46.35	c (34,0) x[14][25] = 7
277.81/46.35	c (34,0) x[14][26] = 5
277.81/46.35	c (34,0) x[14][27] = 17
277.81/46.35	c (34,0) x[14][28] = 8
277.81/46.35	c (34,0) x[14][29] = 2
277.81/46.35	c (34,0) x[15][0] = 2
277.81/46.35	c (34,0) x[15][1] = 24
277.81/46.35	c (34,0) x[15][2] = 26
277.81/46.35	c (34,0) x[15][3] = 8
277.81/46.35	c (34,0) x[15][4] = 12
277.81/46.35	c (34,0) x[15][5] = 0
277.81/46.35	c (34,0) x[15][6] = 11
277.81/46.35	c (34,0) x[15][7] = 21
277.81/46.35	c (34,0) x[15][8] = 5
277.81/46.35	c (34,0) x[15][9] = 25
277.81/46.35	c (34,0) x[15][10] = 29
277.81/46.35	c (34,0) x[15][11] = 28
277.81/46.35	c (34,0) x[15][12] = 14
277.81/46.35	c (34,0) x[15][13] = 23
277.81/46.35	c (34,0) x[15][14] = 15
277.81/46.35	c (34,0) x[15][15] = 20
277.81/46.35	c (34,0) x[15][16] = 27
277.81/46.35	c (34,0) x[15][17] = 19
277.81/46.35	c (34,0) x[15][18] = 17
277.81/46.35	c (34,0) x[15][19] = 6
277.81/46.35	c (34,0) x[15][20] = 22
277.81/46.35	c (34,0) x[15][21] = 13
277.81/46.35	c (34,0) x[15][22] = 3
277.81/46.35	c (34,0) x[15][23] = 1
277.81/46.35	c (34,0) x[15][24] = 16
277.81/46.35	c (34,0) x[15][25] = 4
277.81/46.35	c (34,0) x[15][26] = 10
277.81/46.35	c (34,0) x[15][27] = 7
277.81/46.35	c (34,0) x[15][28] = 9
277.81/46.35	c (34,0) x[15][29] = 18
277.81/46.35	c (34,0) x[16][0] = 3
277.81/46.35	c (34,0) x[16][1] = 5
277.81/46.35	c (34,0) x[16][2] = 24
277.81/46.35	c (34,0) x[16][3] = 26
277.81/46.35	c (34,0) x[16][4] = 7
277.81/46.35	c (34,0) x[16][5] = 11
277.81/46.35	c (34,0) x[16][6] = 6
277.81/46.35	c (34,0) x[16][7] = 28
277.81/46.35	c (34,0) x[16][8] = 10
277.81/46.35	c (34,0) x[16][9] = 9
277.81/46.35	c (34,0) x[16][10] = 20
277.81/46.35	c (34,0) x[16][11] = 12
277.81/46.35	c (34,0) x[16][12] = 29
277.81/46.35	c (34,0) x[16][13] = 16
277.81/46.35	c (34,0) x[16][14] = 19
277.81/46.35	c (34,0) x[16][15] = 0
277.81/46.35	c (34,0) x[16][16] = 23
277.81/46.35	c (34,0) x[16][17] = 21
277.81/46.35	c (34,0) x[16][18] = 2
277.81/46.35	c (34,0) x[16][19] = 27
277.81/46.35	c (34,0) x[16][20] = 17
277.81/46.35	c (34,0) x[16][21] = 15
277.81/46.35	c (34,0) x[16][22] = 8
277.81/46.35	c (34,0) x[16][23] = 25
277.81/46.35	c (34,0) x[16][24] = 22
277.81/46.35	c (34,0) x[16][25] = 18
277.81/46.35	c (34,0) x[16][26] = 13
277.81/46.35	c (34,0) x[16][27] = 4
277.81/46.35	c (34,0) x[16][28] = 14
277.81/46.35	c (34,0) x[16][29] = 1
277.81/46.35	c (34,0) x[17][0] = 16
277.81/46.36	c (34,0) x[17][1] = 12
277.81/46.36	c (34,0) x[17][2] = 23
277.81/46.36	c (34,0) x[17][3] = 6
277.81/46.36	c (34,0) x[17][4] = 13
277.81/46.36	c (34,0) x[17][5] = 15
277.81/46.36	c (34,0) x[17][6] = 8
277.81/46.36	c (34,0) x[17][7] = 18
277.81/46.36	c (34,0) x[17][8] = 21
277.81/46.36	c (34,0) x[17][9] = 7
277.81/46.36	c (34,0) x[17][10] = 1
277.81/46.36	c (34,0) x[17][11] = 27
277.81/46.36	c (34,0) x[17][12] = 28
277.81/46.36	c (34,0) x[17][13] = 0
277.81/46.36	c (34,0) x[17][14] = 10
277.81/46.36	c (34,0) x[17][15] = 5
277.81/46.36	c (34,0) x[17][16] = 24
277.81/46.36	c (34,0) x[17][17] = 11
277.81/46.36	c (34,0) x[17][18] = 26
277.81/46.36	c (34,0) x[17][19] = 22
277.81/46.36	c (34,0) x[17][20] = 14
277.81/46.36	c (34,0) x[17][21] = 2
277.81/46.36	c (34,0) x[17][22] = 9
277.81/46.36	c (34,0) x[17][23] = 29
277.81/46.36	c (34,0) x[17][24] = 17
277.81/46.36	c (34,0) x[17][25] = 3
277.81/46.36	c (34,0) x[17][26] = 20
277.81/46.36	c (34,0) x[17][27] = 25
277.81/46.36	c (34,0) x[17][28] = 4
277.81/46.36	c (34,0) x[17][29] = 19
277.81/46.36	c (34,0) x[18][0] = 8
277.81/46.36	c (34,0) x[18][1] = 2
277.81/46.36	c (34,0) x[18][2] = 7
277.81/46.36	c (34,0) x[18][3] = 27
277.81/46.36	c (34,0) x[18][4] = 6
277.81/46.36	c (34,0) x[18][5] = 12
277.81/46.36	c (34,0) x[18][6] = 20
277.81/46.36	c (34,0) x[18][7] = 1
277.81/46.36	c (34,0) x[18][8] = 15
277.81/46.36	c (34,0) x[18][9] = 17
277.81/46.36	c (34,0) x[18][10] = 3
277.81/46.36	c (34,0) x[18][11] = 23
277.81/46.36	c (34,0) x[18][12] = 10
277.81/46.36	c (34,0) x[18][13] = 5
277.81/46.36	c (34,0) x[18][14] = 11
277.81/46.36	c (34,0) x[18][15] = 19
277.81/46.36	c (34,0) x[18][16] = 14
277.81/46.36	c (34,0) x[18][17] = 0
277.81/46.36	c (34,0) x[18][18] = 9
277.81/46.36	c (34,0) x[18][19] = 28
277.81/46.36	c (34,0) x[18][20] = 13
277.81/46.36	c (34,0) x[18][21] = 22
277.81/46.36	c (34,0) x[18][22] = 18
277.81/46.36	c (34,0) x[18][23] = 26
277.81/46.36	c (34,0) x[18][24] = 25
277.81/46.36	c (34,0) x[18][25] = 21
277.81/46.36	c (34,0) x[18][26] = 29
277.81/46.36	c (34,0) x[18][27] = 24
277.81/46.36	c (34,0) x[18][28] = 16
277.81/46.36	c (34,0) x[18][29] = 4
277.81/46.36	c (34,0) x[19][0] = 28
277.81/46.36	c (34,0) x[19][1] = 19
277.81/46.36	c (34,0) x[19][2] = 25
277.81/46.36	c (34,0) x[19][3] = 0
277.81/46.36	c (34,0) x[19][4] = 27
277.81/46.36	c (34,0) x[19][5] = 20
277.81/46.36	c (34,0) x[19][6] = 21
277.81/46.36	c (34,0) x[19][7] = 3
277.81/46.36	c (34,0) x[19][8] = 18
277.81/46.36	c (34,0) x[19][9] = 15
277.81/46.36	c (34,0) x[19][10] = 7
277.81/46.36	c (34,0) x[19][11] = 26
277.81/46.36	c (34,0) x[19][12] = 22
277.81/46.36	c (34,0) x[19][13] = 24
277.81/46.36	c (34,0) x[19][14] = 4
277.81/46.36	c (34,0) x[19][15] = 29
277.81/46.36	c (34,0) x[19][16] = 5
277.81/46.36	c (34,0) x[19][17] = 13
277.81/46.36	c (34,0) x[19][18] = 23
277.81/46.36	c (34,0) x[19][19] = 9
277.81/46.36	c (34,0) x[19][20] = 16
277.81/46.36	c (34,0) x[19][21] = 6
277.81/46.36	c (34,0) x[19][22] = 2
277.81/46.36	c (34,0) x[19][23] = 14
277.81/46.36	c (34,0) x[19][24] = 11
277.81/46.36	c (34,0) x[19][25] = 1
277.81/46.36	c (34,0) x[19][26] = 17
277.81/46.36	c (34,0) x[19][27] = 12
277.81/46.36	c (34,0) x[19][28] = 10
277.81/46.36	c (34,0) x[19][29] = 8
277.81/46.36	c (34,0) x[20][0] = 25
277.81/46.36	c (34,0) x[20][1] = 8
277.81/46.36	c (34,0) x[20][2] = 28
277.81/46.36	c (34,0) x[20][3] = 22
277.81/46.36	c (34,0) x[20][4] = 29
277.81/46.36	c (34,0) x[20][5] = 16
277.81/46.36	c (34,0) x[20][6] = 23
277.81/46.36	c (34,0) x[20][7] = 11
277.81/46.36	c (34,0) x[20][8] = 4
277.81/46.36	c (34,0) x[20][9] = 26
277.81/46.36	c (34,0) x[20][10] = 17
277.81/46.36	c (34,0) x[20][11] = 19
277.81/46.36	c (34,0) x[20][12] = 13
277.81/46.36	c (34,0) x[20][13] = 3
277.81/46.36	c (34,0) x[20][14] = 1
277.81/46.36	c (34,0) x[20][15] = 27
277.81/46.36	c (34,0) x[20][16] = 9
277.81/46.36	c (34,0) x[20][17] = 10
277.81/46.36	c (34,0) x[20][18] = 5
277.81/46.36	c (34,0) x[20][19] = 2
277.81/46.36	c (34,0) x[20][20] = 12
277.81/46.36	c (34,0) x[20][21] = 14
277.81/46.36	c (34,0) x[20][22] = 21
277.81/46.36	c (34,0) x[20][23] = 18
277.81/46.36	c (34,0) x[20][24] = 15
277.81/46.36	c (34,0) x[20][25] = 24
277.81/46.36	c (34,0) x[20][26] = 7
277.81/46.36	c (34,0) x[20][27] = 0
277.81/46.36	c (34,0) x[20][28] = 20
277.81/46.36	c (34,0) x[20][29] = 6
277.81/46.36	c (34,0) x[21][0] = 23
277.81/46.36	c (34,0) x[21][1] = 27
277.81/46.36	c (34,0) x[21][2] = 14
277.81/46.36	c (34,0) x[21][3] = 5
277.81/46.36	c (34,0) x[21][4] = 21
277.81/46.36	c (34,0) x[21][5] = 19
277.81/46.36	c (34,0) x[21][6] = 2
277.81/46.36	c (34,0) x[21][7] = 0
277.81/46.36	c (34,0) x[21][8] = 8
277.81/46.36	c (34,0) x[21][9] = 16
277.81/46.36	c (34,0) x[21][10] = 6
277.81/46.36	c (34,0) x[21][11] = 25
277.81/46.36	c (34,0) x[21][12] = 15
277.81/46.36	c (34,0) x[21][13] = 13
277.81/46.36	c (34,0) x[21][14] = 12
277.81/46.36	c (34,0) x[21][15] = 9
277.81/46.36	c (34,0) x[21][16] = 4
277.81/46.36	c (34,0) x[21][17] = 7
277.81/46.36	c (34,0) x[21][18] = 20
277.81/46.36	c (34,0) x[21][19] = 11
277.81/46.36	c (34,0) x[21][20] = 28
277.81/46.36	c (34,0) x[21][21] = 1
277.81/46.36	c (34,0) x[21][22] = 26
277.81/46.36	c (34,0) x[21][23] = 24
277.81/46.36	c (34,0) x[21][24] = 18
277.81/46.36	c (34,0) x[21][25] = 22
277.81/46.36	c (34,0) x[21][26] = 3
277.81/46.36	c (34,0) x[21][27] = 10
277.81/46.36	c (34,0) x[21][28] = 17
277.81/46.36	c (34,0) x[21][29] = 29
277.81/46.36	c (34,0) x[22][0] = 7
277.81/46.36	c (34,0) x[22][1] = 10
277.81/46.36	c (34,0) x[22][2] = 11
277.81/46.36	c (34,0) x[22][3] = 12
277.81/46.36	c (34,0) x[22][4] = 18
277.81/46.36	c (34,0) x[22][5] = 5
277.81/46.36	c (34,0) x[22][6] = 1
277.81/46.36	c (34,0) x[22][7] = 9
277.81/46.36	c (34,0) x[22][8] = 29
277.81/46.36	c (34,0) x[22][9] = 19
277.81/46.36	c (34,0) x[22][10] = 8
277.81/46.36	c (34,0) x[22][11] = 14
277.81/46.36	c (34,0) x[22][12] = 26
277.81/46.36	c (34,0) x[22][13] = 20
277.81/46.36	c (34,0) x[22][14] = 17
277.81/46.36	c (34,0) x[22][15] = 21
277.81/46.36	c (34,0) x[22][16] = 25
277.81/46.36	c (34,0) x[22][17] = 3
277.81/46.36	c (34,0) x[22][18] = 0
277.81/46.36	c (34,0) x[22][19] = 16
277.81/46.36	c (34,0) x[22][20] = 4
277.81/46.36	c (34,0) x[22][21] = 28
277.81/46.36	c (34,0) x[22][22] = 22
277.81/46.36	c (34,0) x[22][23] = 6
277.81/46.36	c (34,0) x[22][24] = 27
277.81/46.36	c (34,0) x[22][25] = 23
277.81/46.36	c (34,0) x[22][26] = 24
277.81/46.36	c (34,0) x[22][27] = 13
277.81/46.36	c (34,0) x[22][28] = 2
277.81/46.36	c (34,0) x[22][29] = 15
277.81/46.36	c (34,0) x[23][0] = 4
277.81/46.36	c (34,0) x[23][1] = 13
277.81/46.36	c (34,0) x[23][2] = 6
277.81/46.36	c (34,0) x[23][3] = 18
277.81/46.36	c (34,0) x[23][4] = 17
277.81/46.36	c (34,0) x[23][5] = 9
277.81/46.36	c (34,0) x[23][6] = 10
277.81/46.36	c (34,0) x[23][7] = 2
277.81/46.36	c (34,0) x[23][8] = 22
277.81/46.36	c (34,0) x[23][9] = 0
277.81/46.36	c (34,0) x[23][10] = 15
277.81/46.36	c (34,0) x[23][11] = 16
277.81/46.36	c (34,0) x[23][12] = 1
277.81/46.36	c (34,0) x[23][13] = 19
277.81/46.36	c (34,0) x[23][14] = 21
277.81/46.36	c (34,0) x[23][15] = 14
277.81/46.36	c (34,0) x[23][16] = 28
277.81/46.36	c (34,0) x[23][17] = 20
277.81/46.36	c (34,0) x[23][18] = 7
277.81/46.36	c (34,0) x[23][19] = 24
277.81/46.36	c (34,0) x[23][20] = 29
277.81/46.36	c (34,0) x[23][21] = 23
277.81/46.36	c (34,0) x[23][22] = 25
277.81/46.36	c (34,0) x[23][23] = 11
277.81/46.36	c (34,0) x[23][24] = 3
277.81/46.36	c (34,0) x[23][25] = 26
277.81/46.36	c (34,0) x[23][26] = 12
277.81/46.36	c (34,0) x[23][27] = 8
277.81/46.36	c (34,0) x[23][28] = 27
277.81/46.36	c (34,0) x[23][29] = 5
277.81/46.36	c (34,0) x[24][0] = 11
277.81/46.36	c (34,0) x[24][1] = 4
277.81/46.36	c (34,0) x[24][2] = 0
277.81/46.36	c (34,0) x[24][3] = 28
277.81/46.36	c (34,0) x[24][4] = 8
277.81/46.36	c (34,0) x[24][5] = 3
277.81/46.36	c (34,0) x[24][6] = 22
277.81/46.36	c (34,0) x[24][7] = 7
277.81/46.36	c (34,0) x[24][8] = 2
277.81/46.36	c (34,0) x[24][9] = 14
277.81/46.36	c (34,0) x[24][10] = 18
277.81/46.36	c (34,0) x[24][11] = 5
277.81/46.36	c (34,0) x[24][12] = 21
277.81/46.36	c (34,0) x[24][13] = 10
277.81/46.36	c (34,0) x[24][14] = 9
277.81/46.36	c (34,0) x[24][15] = 24
277.81/46.36	c (34,0) x[24][16] = 1
277.81/46.36	c (34,0) x[24][17] = 17
277.81/46.36	c (34,0) x[24][18] = 25
277.81/46.36	c (34,0) x[24][19] = 20
277.81/46.36	c (34,0) x[24][20] = 23
277.81/46.36	c (34,0) x[24][21] = 16
277.81/46.36	c (34,0) x[24][22] = 12
277.81/46.36	c (34,0) x[24][23] = 15
277.81/46.36	c (34,0) x[24][24] = 26
277.81/46.36	c (34,0) x[24][25] = 6
277.81/46.36	c (34,0) x[24][26] = 27
277.81/46.36	c (34,0) x[24][27] = 29
277.81/46.36	c (34,0) x[24][28] = 19
277.81/46.36	c (34,0) x[24][29] = 13
277.81/46.36	c (34,0) x[25][0] = 20
277.81/46.36	c (34,0) x[25][1] = 28
277.81/46.36	c (34,0) x[25][2] = 29
277.81/46.36	c (34,0) x[25][3] = 7
277.81/46.36	c (34,0) x[25][4] = 25
277.81/46.36	c (34,0) x[25][5] = 24
277.81/46.36	c (34,0) x[25][6] = 0
277.81/46.36	c (34,0) x[25][7] = 6
277.81/46.36	c (34,0) x[25][8] = 27
277.81/46.36	c (34,0) x[25][9] = 22
277.81/46.36	c (34,0) x[25][10] = 23
277.81/46.36	c (34,0) x[25][11] = 3
277.81/46.36	c (34,0) x[25][12] = 11
277.81/46.36	c (34,0) x[25][13] = 12
277.81/46.36	c (34,0) x[25][14] = 14
277.81/46.36	c (34,0) x[25][15] = 1
277.81/46.36	c (34,0) x[25][16] = 13
277.81/46.36	c (34,0) x[25][17] = 9
277.81/46.36	c (34,0) x[25][18] = 4
277.81/46.36	c (34,0) x[25][19] = 19
277.81/46.36	c (34,0) x[25][20] = 8
277.81/46.36	c (34,0) x[25][21] = 17
277.81/46.36	c (34,0) x[25][22] = 5
277.81/46.36	c (34,0) x[25][23] = 10
277.81/46.36	c (34,0) x[25][24] = 2
277.81/46.36	c (34,0) x[25][25] = 16
277.81/46.36	c (34,0) x[25][26] = 18
277.81/46.36	c (34,0) x[25][27] = 26
277.81/46.36	c (34,0) x[25][28] = 15
277.81/46.36	c (34,0) x[25][29] = 21
277.81/46.36	c (34,0) x[26][0] = 18
277.81/46.36	c (34,0) x[26][1] = 21
277.81/46.36	c (34,0) x[26][2] = 19
277.81/46.36	c (34,0) x[26][3] = 20
277.81/46.36	c (34,0) x[26][4] = 9
277.81/46.36	c (34,0) x[26][5] = 28
277.81/46.36	c (34,0) x[26][6] = 16
277.81/46.36	c (34,0) x[26][7] = 4
277.81/46.36	c (34,0) x[26][8] = 13
277.81/46.36	c (34,0) x[26][9] = 29
277.81/46.36	c (34,0) x[26][10] = 5
277.81/46.36	c (34,0) x[26][11] = 7
277.81/46.36	c (34,0) x[26][12] = 0
277.81/46.36	c (34,0) x[26][13] = 15
277.81/46.36	c (34,0) x[26][14] = 24
277.81/46.36	c (34,0) x[26][15] = 23
277.81/46.36	c (34,0) x[26][16] = 10
277.81/46.36	c (34,0) x[26][17] = 25
277.81/46.36	c (34,0) x[26][18] = 22
277.81/46.36	c (34,0) x[26][19] = 3
277.81/46.36	c (34,0) x[26][20] = 2
277.81/46.36	c (34,0) x[26][21] = 27
277.81/46.36	c (34,0) x[26][22] = 1
277.81/46.36	c (34,0) x[26][23] = 12
277.81/46.36	c (34,0) x[26][24] = 6
277.81/46.36	c (34,0) x[26][25] = 8
277.81/46.36	c (34,0) x[26][26] = 14
277.81/46.36	c (34,0) x[26][27] = 11
277.81/46.36	c (34,0) x[26][28] = 26
277.81/46.36	c (34,0) x[26][29] = 17
277.81/46.36	c (34,0) x[27][0] = 27
277.81/46.36	c (34,0) x[27][1] = 18
277.81/46.36	c (34,0) x[27][2] = 2
277.81/46.36	c (34,0) x[27][3] = 17
277.81/46.36	c (34,0) x[27][4] = 22
277.81/46.36	c (34,0) x[27][5] = 21
277.81/46.36	c (34,0) x[27][6] = 3
277.81/46.36	c (34,0) x[27][7] = 10
277.81/46.36	c (34,0) x[27][8] = 14
277.81/46.36	c (34,0) x[27][9] = 11
277.81/46.36	c (34,0) x[27][10] = 24
277.81/46.36	c (34,0) x[27][11] = 15
277.81/46.36	c (34,0) x[27][12] = 4
277.81/46.36	c (34,0) x[27][13] = 25
277.81/46.36	c (34,0) x[27][14] = 8
277.81/46.36	c (34,0) x[27][15] = 26
277.81/46.36	c (34,0) x[27][16] = 6
277.81/46.36	c (34,0) x[27][17] = 23
277.81/46.36	c (34,0) x[27][18] = 29
277.81/46.36	c (34,0) x[27][19] = 13
277.81/46.36	c (34,0) x[27][20] = 9
277.81/46.36	c (34,0) x[27][21] = 20
277.81/46.36	c (34,0) x[27][22] = 19
277.81/46.36	c (34,0) x[27][23] = 16
277.81/46.36	c (34,0) x[27][24] = 7
277.81/46.36	c (34,0) x[27][25] = 12
277.81/46.36	c (34,0) x[27][26] = 0
277.81/46.36	c (34,0) x[27][27] = 5
277.81/46.36	c (34,0) x[27][28] = 1
277.81/46.36	c (34,0) x[27][29] = 28
277.81/46.36	c (34,0) x[28][0] = 0
277.81/46.36	c (34,0) x[28][1] = 29
277.81/46.36	c (34,0) x[28][2] = 3
277.81/46.36	c (34,0) x[28][3] = 15
277.81/46.36	c (34,0) x[28][4] = 4
277.81/46.36	c (34,0) x[28][5] = 6
277.81/46.36	c (34,0) x[28][6] = 24
277.81/46.36	c (34,0) x[28][7] = 13
277.81/46.36	c (34,0) x[28][8] = 28
277.81/46.36	c (34,0) x[28][9] = 18
277.81/46.36	c (34,0) x[28][10] = 27
277.81/46.36	c (34,0) x[28][11] = 20
277.81/46.36	c (34,0) x[28][12] = 25
277.81/46.36	c (34,0) x[28][13] = 14
277.81/46.36	c (34,0) x[28][14] = 7
277.81/46.36	c (34,0) x[28][15] = 17
277.81/46.36	c (34,0) x[28][16] = 26
277.81/46.36	c (34,0) x[28][17] = 8
277.81/46.36	c (34,0) x[28][18] = 10
277.81/46.36	c (34,0) x[28][19] = 1
277.81/46.36	c (34,0) x[28][20] = 5
277.81/46.36	c (34,0) x[28][21] = 21
277.81/46.36	c (34,0) x[28][22] = 16
277.81/46.36	c (34,0) x[28][23] = 23
277.81/46.36	c (34,0) x[28][24] = 19
277.81/46.36	c (34,0) x[28][25] = 11
277.81/46.36	c (34,0) x[28][26] = 2
277.81/46.36	c (34,0) x[28][27] = 9
277.81/46.36	c (34,0) x[28][28] = 22
277.81/46.36	c (34,0) x[28][29] = 12
277.81/46.36	c (34,0) x[29][0] = 1
277.81/46.36	c (34,0) x[29][1] = 0
277.81/46.36	c (34,0) x[29][2] = 22
277.81/46.36	c (34,0) x[29][3] = 16
277.81/46.36	c (34,0) x[29][4] = 23
277.81/46.36	c (34,0) x[29][5] = 27
277.81/46.36	c (34,0) x[29][6] = 15
277.81/46.36	c (34,0) x[29][7] = 17
277.81/46.36	c (34,0) x[29][8] = 7
277.81/46.36	c (34,0) x[29][9] = 2
277.81/46.36	c (34,0) x[29][10] = 13
277.81/46.36	c (34,0) x[29][11] = 9
277.81/46.36	c (34,0) x[29][12] = 8
277.81/46.36	c (34,0) x[29][13] = 26
277.81/46.36	c (34,0) x[29][14] = 29
277.81/46.36	c (34,0) x[29][15] = 3
277.81/46.36	c (34,0) x[29][16] = 18
277.81/46.36	c (34,0) x[29][17] = 24
277.81/46.36	c (34,0) x[29][18] = 21
277.81/46.36	c (34,0) x[29][19] = 4
277.81/46.36	c (34,0) x[29][20] = 20
277.81/46.36	c (34,0) x[29][21] = 12
277.81/46.36	c (34,0) x[29][22] = 10
277.81/46.36	c (34,0) x[29][23] = 19
277.81/46.36	c (34,0) x[29][24] = 14
277.81/46.36	c (34,0) x[29][25] = 5
277.81/46.36	c (34,0) x[29][26] = 11
277.81/46.36	c (34,0) x[29][27] = 28
277.81/46.36	c (34,0) x[29][28] = 6
277.81/46.36	c (34,0) x[29][29] = 25
277.81/46.36	s SATISFIABLE
277.81/46.36	v <instantiation>
277.81/46.36	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>
277.81/46.36	v     <values>24 25 15 9 14 13 12 8 17 10 22 18 20 2 26 4 19 16 1 7 3 5 29 27 28 0 6 23 21 11 21 15 9 2 24 17 29 19 12 4 11 22 27 8 23 25 7 18 14 5 6 3 0 13 1 10 26 20 28 16 10 9 8 1 0 4 25 29 16 3 12 6 24 22 2 11 20 26 28 14 27 18 7 17 21 13 15 19 5 23 17 16 4 13 1 2 14 22 19 5 9 10 18 6 28 8 15 29 3 12 25 26 23 7 24 20 21 27 11 0 6 23 10 3 26 29 18 15 20 13 2 17 5 7 25 22 16 14 19 0 1 11 27 4 9 28 8 21 12 24 29 11 16 14 5 7 19 23 26 8 0 21 3 1 22 28 12 6 15 18 10 4 24 9 20 17 25 2 13 27 19 14 1 10 2 25 7 5 11 24 4 0 17 18 20 6 22 15 27 21 26 8 13 28 12 9 23 16 29 3 14 26 21 25 11 18 9 27 24 20 10 4 19 28 0 13 17 12 16 23 7 29 6 5 8 2 1 15 3 22 9 20 5 23 19 8 28 26 25 1 14 11 12 4 13 7 3 22 24 17 21 0 15 2 29 27 16 6 18 10 5 6 13 21 15 1 26 12 9 27 16 24 23 17 18 2 11 28 8 29 19 10 20 3 4 25 22 14 0 7 22 17 12 4 10 14 27 16 23 28 26 2 7 29 3 18 8 5 6 25 0 9 11 21 13 15 19 1 24 20 13 7 17 24 16 22 5 20 1 21 19 29 9 11 6 15 2 27 12 8 18 25 4 0 10 14 28 3 23 26 12 1 20 11 28 26 4 24 3 23 21 13 6 27 5 16 29 2 18 10 15 7 17 8 0 19 9 22 25 14 26 22 27 19 3 23 17 25 6 12 28 8 2 21 16 10 0 1 13 15 11 24 14 20 5 29 4 18 7 9 15 3 18 29 20 10 13 14 0 6 25 1 16 9 27 12 21 4 11 26 24 19 28 22 23 7 5 17 8 2 2 24 26 8 12 0 11 21 5 25 29 28 14 23 15 20 27 19 17 6 22 13 3 1 16 4 10 7 9 18 3 5 24 26 7 11 6 28 10 9 20 12 29 16 19 0 23 21 2 27 17 15 8 25 22 18 13 4 14 1 16 12 23 6 13 15 8 18 21 7 1 27 28 0 10 5 24 11 26 22 14 2 9 29 17 3 20 25 4 19 8 2 7 27 6 12 20 1 15 17 3 23 10 5 11 19 14 0 9 28 13 22 18 26 25 21 29 24 16 4 28 19 25 0 27 20 21 3 18 15 7 26 22 24 4 29 5 13 23 9 16 6 2 14 11 1 17 12 10 8 25 8 28 22 29 16 23 11 4 26 17 19 13 3 1 27 9 10 5 2 12 14 21 18 15 24 7 0 20 6 23 27 14 5 21 19 2 0 8 16 6 25 15 13 12 9 4 7 20 11 28 1 26 24 18 22 3 10 17 29 7 10 11 12 18 5 1 9 29 19 8 14 26 20 17 21 25 3 0 16 4 28 22 6 27 23 24 13 2 15 4 13 6 18 17 9 10 2 22 0 15 16 1 19 21 14 28 20 7 24 29 23 25 11 3 26 12 8 27 5 11 4 0 28 8 3 22 7 2 14 18 5 21 10 9 24 1 17 25 20 23 16 12 15 26 6 27 29 19 13 20 28 29 7 25 24 0 6 27 22 23 3 11 12 14 1 13 9 4 19 8 17 5 10 2 16 18 26 15 21 18 21 19 20 9 28 16 4 13 29 5 7 0 15 24 23 10 25 22 3 2 27 1 12 6 8 14 11 26 17 27 18 2 17 22 21 3 10 14 11 24 15 4 25 8 26 6 23 29 13 9 20 19 16 7 12 0 5 1 28 0 29 3 15 4 6 24 13 28 18 27 20 25 14 7 17 26 8 10 1 5 21 16 23 19 11 2 9 22 12 1 0 22 16 23 27 15 17 7 2 13 9 8 26 29 3 18 24 21 4 20 12 10 19 14 5 11 28 6 25</values>
277.81/46.36	v </instantiation>
277.81/46.36	c (34,0) Show results End
277.81/46.36	c (34,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
277.81/46.36	c (34,0) 34,34,STOP-AFTER(ALL)
277.81/46.36	c END-Prog: Sat Sep 14 08:37:46 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 (10591 MiB free)
  memory of node 1: 16384 MiB (13424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392780-1568443060/watcher-4392780-1568443060 -o /tmp/evaluation-result-4392780-1568443060/solver-4392780-1568443060 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568438992-17578 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392780-1568443060.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=19208, runsolver pid=19205
Current StackSize limit: 8192 KiB


[startup+0.103456 s]*
/proc/loadavg: 7.71 6.99 7.35 2/211 19230
/proc/meminfo: memFree=24499180/32770624 swapFree=66999332/67108860
[pid=19208] ppid=19205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19208/stat : 19208 (scop.sh) S 19205 19208 17551 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420244412 115843072 349 33554432000 4194304 5098028 140721307154896 140721307152152 140221535548028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25673728 140721307157284 140721307157612 140721307157612 140721307160525 0
/proc/19208/statm: 28282 349 296 221 0 87 0
[pid=19211] ppid=19208 vsize=27314120 memory=106388 CPUtime=0.11 cores=0-7
/proc/19211/stat : 19211 (java) S 19208 19208 17551 0 -1 1077944320 6677 0 0 0 8 3 0 0 20 0 20 0 420244413 27969658880 26597 33554432000 4194304 4196468 140723657755872 140723657738416 139918322482935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
/proc/19211/statm: 6828530 26597 2823 1 0 6790935 0
[pid=19211/tid=19212] ppid=19208 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19211/task/19212/stat : 19212 (java) R 19208 19208 17551 0 -1 4202560 4679 0 0 0 7 2 0 0 20 0 20 0 420244413 27969658880 26597 33554432000 4194304 4196468 140723657755872 139918294297448 139918322504861 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19213] ppid=19208 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19211/task/19213/stat : 19213 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 26597 33554432000 4194304 4196468 140723657755872 139918326725392 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19214] ppid=19208 vsize=27314120 memory=139748149909120 CPUtime=0 cores=0-7
/proc/19211/task/19214/stat : 19214 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 26597 33554432000 4194304 4196468 140723657755872 139918157974416 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19215] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19215/stat : 19215 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 26597 33554432000 4194304 4196468 140723657755872 139917743467536 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19216] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19216/stat : 19216 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 26597 33554432000 4194304 4196468 140723657755872 139917742414992 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19217] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19217/stat : 19217 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 26597 33554432000 4194304 4196468 140723657755872 139917741361424 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19218] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19218/stat : 19218 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 26597 33554432000 4194304 4196468 140723657755872 139917740308880 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19219] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19219/stat : 19219 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244416 27969658880 26597 33554432000 4194304 4196468 140723657755872 139917739256336 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19220] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19220/stat : 19220 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244416 27969658880 26597 33554432000 4194304 4196468 140723657755872 139917738203792 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19221] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19221/stat : 19221 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244417 27969658880 26597 33554432000 4194304 4196468 140723657755872 139916843944432 139918322494082 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19222] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19222/stat : 19222 (java) S 19208 19208 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420244417 27969658880 26597 33554432000 4194304 4196468 140723657755872 139915941635488 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19223] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19223/stat : 19223 (java) S 19208 19208 17551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420244418 27969658880 26597 33554432000 4194304 4196468 140723657755872 139915807413744 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19224] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19224/stat : 19224 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 26597 33554432000 4194304 4196468 140723657755872 139915432909520 139918322501531 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19225] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19225/stat : 19225 (java) S 19208 19208 17551 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 26597 33554432000 4194304 4196468 140723657755872 139916842891248 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19226] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19226/stat : 19226 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 26597 33554432000 4194304 4196468 140723657755872 139916841838704 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19227] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19227/stat : 19227 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 26597 33554432000 4194304 4196468 140723657755872 139916840786160 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19228] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19228/stat : 19228 (java) S 19208 19208 17551 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 26597 33554432000 4194304 4196468 140723657755872 139916839733616 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19229] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19229/stat : 19229 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 26597 33554432000 4194304 4196468 140723657755872 139914935003872 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19230] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19230/stat : 19230 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244421 27969658880 26597 33554432000 4194304 4196468 140723657755872 139916838681520 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107784 KiB

[startup+0.210505 s]*
/proc/loadavg: 7.71 6.99 7.35 2/211 19230
/proc/meminfo: memFree=24477740/32770624 swapFree=66999332/67108860
[pid=19208] ppid=19205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19208/stat : 19208 (scop.sh) S 19205 19208 17551 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420244412 115843072 349 33554432000 4194304 5098028 140721307154896 140721307152152 140221535548028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25673728 140721307157284 140721307157612 140721307157612 140721307160525 0
/proc/19208/statm: 28282 349 296 221 0 87 0
[pid=19211] ppid=19208 vsize=27314120 memory=123164 CPUtime=0.25 cores=0-7
/proc/19211/stat : 19211 (java) S 19208 19208 17551 0 -1 1077944320 12235 0 0 0 20 5 0 0 20 0 20 0 420244413 27969658880 30791 33554432000 4194304 4196468 140723657755872 140723657738416 139918322482935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
/proc/19211/statm: 6828530 30791 2940 1 0 6790935 0
[pid=19211/tid=19212] ppid=19208 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19211/task/19212/stat : 19212 (java) R 19208 19208 17551 0 -1 4202560 9869 0 0 0 16 4 0 0 20 0 20 0 420244413 27969658880 30791 33554432000 4194304 4196468 140723657755872 139918294282320 139918302758070 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19213] ppid=19208 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/19211/task/19213/stat : 19213 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 30791 33554432000 4194304 4196468 140723657755872 139918326725392 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19214] ppid=19208 vsize=27314120 memory=139748149926200 CPUtime=0 cores=0-7
/proc/19211/task/19214/stat : 19214 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 30791 33554432000 4194304 4196468 140723657755872 139918157974416 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19215] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19215/stat : 19215 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 30791 33554432000 4194304 4196468 140723657755872 139917743467536 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19216] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19216/stat : 19216 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 30791 33554432000 4194304 4196468 140723657755872 139917742414992 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19217] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19217/stat : 19217 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 30791 33554432000 4194304 4196468 140723657755872 139917741361424 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19218] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19218/stat : 19218 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 30791 33554432000 4194304 4196468 140723657755872 139917740308880 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19219] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19219/stat : 19219 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244416 27969658880 30791 33554432000 4194304 4196468 140723657755872 139917739256336 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19220] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19220/stat : 19220 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244416 27969658880 30791 33554432000 4194304 4196468 140723657755872 139917738203792 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19221] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19221/stat : 19221 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244417 27969658880 30791 33554432000 4194304 4196468 140723657755872 139916843944432 139918322494082 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19222] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19222/stat : 19222 (java) S 19208 19208 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420244417 27969658880 30791 33554432000 4194304 4196468 140723657755872 139915941635488 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19223] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19223/stat : 19223 (java) S 19208 19208 17551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420244418 27969658880 30791 33554432000 4194304 4196468 140723657755872 139915807413744 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19224] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19224/stat : 19224 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 30791 33554432000 4194304 4196468 140723657755872 139915432909520 139918322501531 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19225] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19225/stat : 19225 (java) S 19208 19208 17551 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 30791 33554432000 4194304 4196468 140723657755872 139916842891248 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19226] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19226/stat : 19226 (java) S 19208 19208 17551 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 30791 33554432000 4194304 4196468 140723657755872 139916841838704 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19227] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19227/stat : 19227 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 30791 33554432000 4194304 4196468 140723657755872 139916840786160 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19228] ppid=19208 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19211/task/19228/stat : 19228 (java) S 19208 19208 17551 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 20 0 420244420 27969658880 30791 33554432000 4194304 4196468 140723657755872 139916839733616 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19229] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19229/stat : 19229 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 30791 33554432000 4194304 4196468 140723657755872 139914935003872 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19230] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19230/stat : 19230 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244421 27969658880 30791 33554432000 4194304 4196468 140723657755872 139916838681520 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124560 KiB

[startup+0.310422 s]*
/proc/loadavg: 7.71 6.99 7.35 2/211 19230
/proc/meminfo: memFree=24474700/32770624 swapFree=66999332/67108860
[pid=19208] ppid=19205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19208/stat : 19208 (scop.sh) S 19205 19208 17551 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420244412 115843072 349 33554432000 4194304 5098028 140721307154896 140721307152152 140221535548028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25673728 140721307157284 140721307157612 140721307157612 140721307160525 0
/proc/19208/statm: 28282 349 296 221 0 87 0
[pid=19211] ppid=19208 vsize=27314120 memory=127060 CPUtime=0.42 cores=0-7
/proc/19211/stat : 19211 (java) S 19208 19208 17551 0 -1 1077944320 12941 0 0 0 37 5 0 0 20 0 20 0 420244413 27969658880 31765 33554432000 4194304 4196468 140723657755872 140723657738416 139918322482935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
/proc/19211/statm: 6828530 31765 3011 1 0 6790935 0
[pid=19211/tid=19212] ppid=19208 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19211/task/19212/stat : 19212 (java) R 19208 19208 17551 0 -1 4202560 10306 0 0 0 25 4 0 0 20 0 20 0 420244413 27969658880 31765 33554432000 4194304 4196468 140723657755872 139918294265952 139918307648574 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19213] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19213/stat : 19213 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 31765 33554432000 4194304 4196468 140723657755872 139918326725392 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19214] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19214/stat : 19214 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 31765 33554432000 4194304 4196468 140723657755872 139918157974416 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19215] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19215/stat : 19215 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 31765 33554432000 4194304 4196468 140723657755872 139917743467536 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19216] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19216/stat : 19216 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 31765 33554432000 4194304 4196468 140723657755872 139917742414992 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19217] ppid=19208 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/19211/task/19217/stat : 19217 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 31765 33554432000 4194304 4196468 140723657755872 139917741361424 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19218] ppid=19208 vsize=27314120 memory=139748035359663 CPUtime=0 cores=0-7
/proc/19211/task/19218/stat : 19218 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27969658880 31765 33554432000 4194304 4196468 140723657755872 139917740308880 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19219] ppid=19208 vsize=27314120 memory=139748035361968 CPUtime=0 cores=0-7
/proc/19211/task/19219/stat : 19219 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244416 27969658880 31765 33554432000 4194304 4196468 140723657755872 139917739256336 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19220] ppid=19208 vsize=27314120 memory=139748035364272 CPUtime=0 cores=0-7
/proc/19211/task/19220/stat : 19220 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244416 27969658880 31765 33554432000 4194304 4196468 140723657755872 139917738203792 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19221] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19221/stat : 19221 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244417 27969658880 31765 33554432000 4194304 4196468 140723657755872 139916843944432 139918322494082 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19222] ppid=19208 vsize=27314120 memory=279496070735504 CPUtime=0 cores=0-7
/proc/19211/task/19222/stat : 19222 (java) S 19208 19208 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420244417 27969658880 31765 33554432000 4194304 4196468 140723657755872 139915941635488 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19223] ppid=19208 vsize=27314120 memory=279496070742416 CPUtime=0 cores=0-7
/proc/19211/task/19223/stat : 19223 (java) S 19208 19208 17551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420244418 27969658880 31765 33554432000 4194304 4196468 140723657755872 139915807413744 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19224] ppid=19208 vsize=27314120 memory=279496070683568 CPUtime=0 cores=0-7
/proc/19211/task/19224/stat : 19224 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 31765 33554432000 4194304 4196468 140723657755872 139915432909520 139918322501531 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19225] ppid=19208 vsize=27314120 memory=279496070756240 CPUtime=0.01 cores=0-7
/proc/19211/task/19225/stat : 19225 (java) R 19208 19208 17551 0 -1 4202560 418 0 0 0 1 0 0 0 20 0 20 0 420244420 27969658880 31765 33554432000 4194304 4196468 140723657755872 139916842891248 139918306012524 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19226] ppid=19208 vsize=27314120 memory=279496070763152 CPUtime=0 cores=0-7
/proc/19211/task/19226/stat : 19226 (java) S 19208 19208 17551 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 31765 33554432000 4194304 4196468 140723657755872 139916841838704 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19227] ppid=19208 vsize=27314120 memory=279496070760848 CPUtime=0.01 cores=0-7
/proc/19211/task/19227/stat : 19227 (java) S 19208 19208 17551 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 420244420 27969658880 31765 33554432000 4194304 4196468 140723657755872 139916840786160 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19228] ppid=19208 vsize=27314120 memory=279496070777008 CPUtime=0.07 cores=0-7
/proc/19211/task/19228/stat : 19228 (java) S 19208 19208 17551 0 -1 1077944384 615 0 0 0 7 0 0 0 20 0 20 0 420244420 27969658880 31765 33554432000 4194304 4196468 140723657755872 139916839733616 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19229] ppid=19208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19229/stat : 19229 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420244420 27969658880 31765 33554432000 4194304 4196468 140723657755872 139914935003872 139918322493141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19230] ppid=19208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19211/task/19230/stat : 19230 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420244421 27969658880 31765 33554432000 4194304 4196468 140723657755872 139916838681520 139918322494082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128456 KiB

[startup+0.702958 s]
/proc/loadavg: 7.71 6.99 7.35 2/211 19230
/proc/meminfo: memFree=24453968/32770624 swapFree=66999332/67108860
[pid=19208] ppid=19205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19208/stat : 19208 (scop.sh) S 19205 19208 17551 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420244412 115843072 349 33554432000 4194304 5098028 140721307154896 140721307152152 140221535548028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25673728 140721307157284 140721307157612 140721307157612 140721307160525 0
/proc/19208/statm: 28282 349 296 221 0 87 0
[pid=19211] ppid=19208 vsize=27322516 memory=162852 CPUtime=0.99 cores=0-7
/proc/19211/stat : 19211 (java) S 19208 19208 17551 0 -1 1077944320 20381 0 0 0 91 8 0 0 20 0 20 0 420244413 27978256384 40713 33554432000 4194304 4196468 140723657755872 140723657738416 139918322482935 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
/proc/19211/statm: 6830629 40713 3202 1 0 6791959 0
[pid=19211/tid=19212] ppid=19208 vsize=27322516 memory=279496071134896 CPUtime=0.67 cores=0-7
/proc/19211/task/19212/stat : 19212 (java) R 19208 19208 17551 0 -1 4202560 17154 0 0 0 61 6 0 0 20 0 20 0 420244413 27978256384 40713 33554432000 4194304 4196468 140723657755872 139918294312288 139918306563422 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19213] ppid=19208 vsize=27322516 memory=139748035568496 CPUtime=0 cores=0-7
/proc/19211/task/19213/stat : 19213 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27978256384 40713 33554432000 4194304 4196468 140723657755872 139918326725392 139918322493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19214] ppid=19208 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19211/task/19214/stat : 19214 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27978256384 40713 33554432000 4194304 4196468 140723657755872 139918157974416 139918322493141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0
[pid=19211/tid=19215] ppid=19208 vsize=27322516 memory=5912 CPUtime=0 cores=0-7
/proc/19211/task/19215/stat : 19215 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420244415 27978256384 40713 33554432000 4194304 4196468 140723657755872 139917743467536 139918322493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32006144 140723657761514 140723657761942 140723657761942 140723657764815 0

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

[pid=19232/tid=19233] ppid=19208 vsize=8414124 memory=-9032646778893398418 CPUtime=0.8 cores=0-7
/proc/19232/task/19233/stat : 19233 (java) S 19208 19208 17551 0 -1 1077944384 17440 0 0 0 74 6 0 0 20 0 24 0 420245512 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232906788768 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19234] ppid=19208 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19232/task/19234/stat : 19234 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232939191440 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19235] ppid=19208 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/19232/task/19235/stat : 19235 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232763833360 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19236] ppid=19208 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/19232/task/19236/stat : 19236 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232419343248 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19237] ppid=19208 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/19232/task/19237/stat : 19237 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232418290448 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19238] ppid=19208 vsize=8414124 memory=279496070529264 CPUtime=0 cores=0-7
/proc/19232/task/19238/stat : 19238 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232417237648 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19239] ppid=19208 vsize=8414124 memory=279496070531752 CPUtime=0 cores=0-7
/proc/19232/task/19239/stat : 19239 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232416184848 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19240] ppid=19208 vsize=8414124 memory=279496070529264 CPUtime=0 cores=0-7
/proc/19232/task/19240/stat : 19240 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232415132048 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19241] ppid=19208 vsize=8414124 memory=7235147594880805952 CPUtime=0 cores=0-7
/proc/19232/task/19241/stat : 19241 (java) S 19208 19208 17551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420245513 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232414079248 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19242] ppid=19208 vsize=8414124 memory=7164215870466838891 CPUtime=0 cores=0-7
/proc/19232/task/19242/stat : 19242 (java) S 19208 19208 17551 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420245515 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232229784432 140232934959746 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19243] ppid=19208 vsize=8414124 memory=6082202987142080599 CPUtime=0 cores=0-7
/proc/19232/task/19243/stat : 19243 (java) S 19208 19208 17551 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420245515 8616062976 29905 33554432000 4194304 4196468 140728913106912 140231420405280 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19244] ppid=19208 vsize=8414124 memory=9036308491 CPUtime=0 cores=0-7
/proc/19232/task/19244/stat : 19244 (java) S 19208 19208 17551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420245515 8616062976 29905 33554432000 4194304 4196468 140728913106912 140231286183280 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19245] ppid=19208 vsize=8414124 memory=-9032646778893398418 CPUtime=0 cores=0-7
/proc/19232/task/19245/stat : 19245 (java) S 19208 19208 17551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140230911678800 140232934967195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19246] ppid=19208 vsize=8414124 memory=-7242455096852575424 CPUtime=0.11 cores=0-7
/proc/19232/task/19246/stat : 19246 (java) S 19208 19208 17551 0 -1 1077944384 583 0 0 0 11 0 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232228731248 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19247] ppid=19208 vsize=8414124 memory=-2698091958562968990 CPUtime=0.13 cores=0-7
/proc/19232/task/19247/stat : 19247 (java) S 19208 19208 17551 0 -1 1077944384 605 0 0 0 13 0 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232227678448 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19248] ppid=19208 vsize=8414124 memory=4427211789800017270 CPUtime=0.07 cores=0-7
/proc/19232/task/19248/stat : 19248 (java) S 19208 19208 17551 0 -1 1077944384 351 0 0 0 7 0 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232158603376 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19249] ppid=19208 vsize=8414124 memory=-6000919503509141558 CPUtime=0.22 cores=0-7
/proc/19232/task/19249/stat : 19249 (java) S 19208 19208 17551 0 -1 1077944384 548 0 0 0 22 0 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232157550576 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19250] ppid=19208 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19232/task/19250/stat : 19250 (java) S 19208 19208 17551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140230413773920 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19251] ppid=19208 vsize=8414124 memory=279496073131392 CPUtime=0.01 cores=0-7
/proc/19232/task/19251/stat : 19251 (java) S 19208 19208 17551 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 420245518 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232156498992 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19253] ppid=19208 vsize=8414124 memory=6441111001786503254 CPUtime=0 cores=0-7
/proc/19232/task/19253/stat : 19253 (java) S 19208 19208 17551 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420245589 8616062976 29905 33554432000 4194304 4196468 140728913106912 140232226068032 140232934973209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19255] ppid=19208 vsize=8414124 memory=5937552182518306914 CPUtime=0 cores=0-7
/proc/19232/task/19255/stat : 19255 (java) S 19208 19208 17551 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420245590 8616062976 29905 33554432000 4194304 4196468 140728913106912 140229742673552 140232934970525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19256] ppid=19208 vsize=8414124 memory=66508871 CPUtime=0 cores=0-7
/proc/19232/task/19256/stat : 19256 (java) S 19208 19208 17551 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420245590 8616062976 29905 33554432000 4194304 4196468 140728913106912 140230011108880 140232934970525 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19257] ppid=19208 vsize=8414124 memory=139748036572871 CPUtime=0 cores=0-7
/proc/19232/task/19257/stat : 19257 (java) S 19208 19208 17551 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420245592 8616062976 29905 33554432000 4194304 4196468 140728913106912 140229474245680 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
Current children cumulated CPU time: 277.2 s
Current children cumulated vsize: 9325432 KiB
Current children cumulated memory: 531484 KiB

[startup+46.201 s]
/proc/loadavg: 7.05 6.86 7.29 2/217 19267
/proc/meminfo: memFree=24072940/32770624 swapFree=66999332/67108860
[pid=19208] ppid=19205 vsize=113128 memory=1476 CPUtime=20.47 cores=0-7
/proc/19208/stat : 19208 (scop.sh) S 19205 19208 17551 0 -1 4202496 583 35576 0 0 0 0 1962 85 20 0 1 0 420244412 115843072 369 33554432000 4194304 5098028 140721307154896 140721307151640 140221535548028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25673728 140721307157284 140721307157612 140721307157612 140721307160525 0
/proc/19208/statm: 28282 369 311 221 0 87 0
[pid=19232] ppid=19208 vsize=8283048 memory=135708 CPUtime=257.13 cores=0-7
/proc/19232/stat : 19232 (java) S 19208 19208 17551 0 -1 1077944320 21962 238873 0 0 163 10 25484 56 20 0 22 0 420245512 8481841152 33927 33554432000 4194304 4196468 140728913106912 140728913089456 140232934948599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
/proc/19232/statm: 2070762 33927 3231 1 0 2032106 0
[pid=19232/tid=19233] ppid=19208 vsize=8283048 memory=0 CPUtime=256.27 cores=0-7
/proc/19232/task/19233/stat : 19233 (java) R 19208 19208 17551 0 -1 4202560 17599 238873 0 0 80 7 25484 56 20 0 22 0 420245512 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232906787088 140232934960534 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19234] ppid=19208 vsize=8283048 memory=0 CPUtime=255.4 cores=0-7
/proc/19232/task/19234/stat : 19234 (java) S 19208 19208 17551 0 -1 1077944384 1 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232939191440 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19235] ppid=19208 vsize=8283048 memory=641 CPUtime=255.4 cores=0-7
/proc/19232/task/19235/stat : 19235 (java) S 19208 19208 17551 0 -1 1077944384 1 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232763833360 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19236] ppid=19208 vsize=8283048 memory=-7884497098661908577 CPUtime=255.4 cores=0-7
/proc/19232/task/19236/stat : 19236 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232419343248 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19237] ppid=19208 vsize=8283048 memory=6944656592455359532 CPUtime=255.4 cores=0-7
/proc/19232/task/19237/stat : 19237 (java) S 19208 19208 17551 0 -1 1077944384 3 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232418290448 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19238] ppid=19208 vsize=8283048 memory=304556123141439514 CPUtime=255.4 cores=0-7
/proc/19232/task/19238/stat : 19238 (java) S 19208 19208 17551 0 -1 1077944384 3 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232417237648 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19239] ppid=19208 vsize=8283048 memory=288230583166042425 CPUtime=255.4 cores=0-7
/proc/19232/task/19239/stat : 19239 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232416184848 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19240] ppid=19208 vsize=8283048 memory=14973369229511284 CPUtime=255.4 cores=0-7
/proc/19232/task/19240/stat : 19240 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232415132048 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19241] ppid=19208 vsize=8283048 memory=119620 CPUtime=255.4 cores=0-7
/proc/19232/task/19241/stat : 19241 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232414079248 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19242] ppid=19208 vsize=8283048 memory=380856 CPUtime=255.4 cores=0-7
/proc/19232/task/19242/stat : 19242 (java) S 19208 19208 17551 0 -1 1077944384 7 238873 0 0 0 0 25484 56 20 0 22 0 420245515 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232229784432 140232934959746 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19243] ppid=19208 vsize=8283048 memory=7686721470267234204 CPUtime=255.4 cores=0-7
/proc/19232/task/19243/stat : 19243 (java) S 19208 19208 17551 0 -1 1077944384 13 238873 0 0 0 0 25484 56 20 0 22 0 420245515 8481841152 33927 33554432000 4194304 4196468 140728913106912 140231420405280 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19244] ppid=19208 vsize=8283048 memory=4872558044660077418 CPUtime=255.4 cores=0-7
/proc/19232/task/19244/stat : 19244 (java) S 19208 19208 17551 0 -1 1077944384 21 238873 0 0 0 0 25484 56 20 0 22 0 420245515 8481841152 33927 33554432000 4194304 4196468 140728913106912 140231286183280 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19245] ppid=19208 vsize=8283048 memory=7686721470267234204 CPUtime=255.4 cores=0-7
/proc/19232/task/19245/stat : 19245 (java) S 19208 19208 17551 0 -1 1077944384 1 238873 0 0 0 0 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140230911678800 140232934967195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19246] ppid=19208 vsize=8283048 memory=4872558044660077418 CPUtime=255.53 cores=0-7
/proc/19232/task/19246/stat : 19246 (java) S 19208 19208 17551 0 -1 1077944384 602 238873 0 0 13 0 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232228731248 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19247] ppid=19208 vsize=8283048 memory=0 CPUtime=255.58 cores=0-7
/proc/19232/task/19247/stat : 19247 (java) R 19208 19208 17551 0 -1 1077944384 669 238873 0 0 18 0 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232227678448 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19248] ppid=19208 vsize=8283048 memory=0 CPUtime=255.5 cores=0-7
/proc/19232/task/19248/stat : 19248 (java) S 19208 19208 17551 0 -1 1077944384 366 238873 0 0 10 0 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232158603376 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19249] ppid=19208 vsize=8283048 memory=0 CPUtime=255.7 cores=0-7
/proc/19232/task/19249/stat : 19249 (java) R 19208 19208 17551 0 -1 4202560 1105 238873 0 0 30 0 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232157550576 140232912951267 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19250] ppid=19208 vsize=8283048 memory=0 CPUtime=255.4 cores=0-7
/proc/19232/task/19250/stat : 19250 (java) S 19208 19208 17551 0 -1 1077944384 3 238873 0 0 0 0 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140230413773920 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19251] ppid=19208 vsize=8283048 memory=0 CPUtime=255.41 cores=0-7
/proc/19232/task/19251/stat : 19251 (java) S 19208 19208 17551 0 -1 1077944384 5 238873 0 0 0 1 25484 56 20 0 22 0 420245518 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232156498992 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19253] ppid=19208 vsize=8283048 memory=532 CPUtime=255.4 cores=0-7
/proc/19232/task/19253/stat : 19253 (java) S 19208 19208 17551 0 -1 1077944384 26 238873 0 0 0 0 25484 56 20 0 22 0 420245589 8481841152 33927 33554432000 4194304 4196468 140728913106912 140232226067216 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19257] ppid=19208 vsize=8283048 memory=932 CPUtime=255.4 cores=0-7
/proc/19232/task/19257/stat : 19257 (java) S 19208 19208 17551 0 -1 1077944384 14 238873 0 0 0 0 25484 56 20 0 22 0 420245592 8481841152 33927 33554432000 4194304 4196468 140728913106912 140229474247472 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
Current children cumulated CPU time: 277.6 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137184 KiB

[startup+46.3011 s]
/proc/loadavg: 7.05 6.86 7.29 2/217 19267
/proc/meminfo: memFree=24072940/32770624 swapFree=66999332/67108860
[pid=19208] ppid=19205 vsize=113128 memory=1476 CPUtime=20.47 cores=0-7
/proc/19208/stat : 19208 (scop.sh) S 19205 19208 17551 0 -1 4202496 583 35576 0 0 0 0 1962 85 20 0 1 0 420244412 115843072 369 33554432000 4194304 5098028 140721307154896 140721307151640 140221535548028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25673728 140721307157284 140721307157612 140721307157612 140721307160525 0
/proc/19208/statm: 28282 369 311 221 0 87 0
[pid=19232] ppid=19208 vsize=8283048 memory=138904 CPUtime=257.34 cores=0-7
/proc/19232/stat : 19232 (java) S 19208 19208 17551 0 -1 1077944320 22295 238873 0 0 184 10 25484 56 20 0 22 0 420245512 8481841152 34726 33554432000 4194304 4196468 140728913106912 140728913089456 140232934948599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
/proc/19232/statm: 2070762 34726 3233 1 0 2032106 0
[pid=19232/tid=19233] ppid=19208 vsize=8283048 memory=13 CPUtime=256.37 cores=0-7
/proc/19232/task/19233/stat : 19233 (java) R 19208 19208 17551 0 -1 4202560 17730 238873 0 0 90 7 25484 56 20 0 22 0 420245512 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232906784000 140232441577762 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19234] ppid=19208 vsize=8283048 memory=1476 CPUtime=255.4 cores=0-7
/proc/19232/task/19234/stat : 19234 (java) S 19208 19208 17551 0 -1 1077944384 1 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232939191440 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19235] ppid=19208 vsize=8283048 memory=1476 CPUtime=255.4 cores=0-7
/proc/19232/task/19235/stat : 19235 (java) S 19208 19208 17551 0 -1 1077944384 1 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232763833360 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19236] ppid=19208 vsize=8283048 memory=129872 CPUtime=255.4 cores=0-7
/proc/19232/task/19236/stat : 19236 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232419343248 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19237] ppid=19208 vsize=8283048 memory=119620 CPUtime=255.4 cores=0-7
/proc/19232/task/19237/stat : 19237 (java) S 19208 19208 17551 0 -1 1077944384 3 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232418290448 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19238] ppid=19208 vsize=8283048 memory=1476 CPUtime=255.4 cores=0-7
/proc/19232/task/19238/stat : 19238 (java) S 19208 19208 17551 0 -1 1077944384 3 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232417237648 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19239] ppid=19208 vsize=8283048 memory=408004 CPUtime=255.4 cores=0-7
/proc/19232/task/19239/stat : 19239 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232416184848 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19240] ppid=19208 vsize=8283048 memory=279496071843504 CPUtime=255.4 cores=0-7
/proc/19232/task/19240/stat : 19240 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232415132048 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19241] ppid=19208 vsize=8283048 memory=1476 CPUtime=255.4 cores=0-7
/proc/19232/task/19241/stat : 19241 (java) S 19208 19208 17551 0 -1 1077944384 2 238873 0 0 0 0 25484 56 20 0 22 0 420245513 8481841152 34726 33554432000 4194304 4196468 140728913106912 140232414079248 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19242] ppid=19208 vsize=8283048 memory=119620 CPUtime=255.4 cores=0-7
/proc/19232/task/19242/stat : 19242 (java) S 19208 19208 17551 0 -1 1077944384 7 238873 0 0 0 0 25484 56 20 0 22 0 420245515 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232229784432 140232934959746 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19243] ppid=19208 vsize=8283048 memory=7686721470267234204 CPUtime=255.4 cores=0-7
/proc/19232/task/19243/stat : 19243 (java) S 19208 19208 17551 0 -1 1077944384 13 238873 0 0 0 0 25484 56 20 0 22 0 420245515 8481841152 35238 33554432000 4194304 4196468 140728913106912 140231420405280 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19244] ppid=19208 vsize=8283048 memory=1476 CPUtime=255.4 cores=0-7
/proc/19232/task/19244/stat : 19244 (java) S 19208 19208 17551 0 -1 1077944384 21 238873 0 0 0 0 25484 56 20 0 22 0 420245515 8481841152 35238 33554432000 4194304 4196468 140728913106912 140231286183280 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19245] ppid=19208 vsize=8283048 memory=0 CPUtime=255.4 cores=0-7
/proc/19232/task/19245/stat : 19245 (java) S 19208 19208 17551 0 -1 1077944384 1 238873 0 0 0 0 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140230911678800 140232934967195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19246] ppid=19208 vsize=8283048 memory=11 CPUtime=255.55 cores=0-7
/proc/19232/task/19246/stat : 19246 (java) S 19208 19208 17551 0 -1 1077944384 617 238873 0 0 15 0 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232228731248 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19247] ppid=19208 vsize=8283048 memory=1436 CPUtime=255.6 cores=0-7
/proc/19232/task/19247/stat : 19247 (java) S 19208 19208 17551 0 -1 1077944384 677 238873 0 0 20 0 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232227678448 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19248] ppid=19208 vsize=8283048 memory=1652 CPUtime=255.52 cores=0-7
/proc/19232/task/19248/stat : 19248 (java) S 19208 19208 17551 0 -1 1077944384 384 238873 0 0 12 0 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232158603376 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19249] ppid=19208 vsize=8283048 memory=7679937539659563795 CPUtime=255.76 cores=0-7
/proc/19232/task/19249/stat : 19249 (java) S 19208 19208 17551 0 -1 1077944384 1265 238873 0 0 36 0 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232157550576 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19250] ppid=19208 vsize=8283048 memory=4628973048998956406 CPUtime=255.4 cores=0-7
/proc/19232/task/19250/stat : 19250 (java) S 19208 19208 17551 0 -1 1077944384 3 238873 0 0 0 0 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140230413773920 140232934958805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19251] ppid=19208 vsize=8283048 memory=1220 CPUtime=255.41 cores=0-7
/proc/19232/task/19251/stat : 19251 (java) S 19208 19208 17551 0 -1 1077944384 5 238873 0 0 0 1 25484 56 20 0 22 0 420245518 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232156498992 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19253] ppid=19208 vsize=8283048 memory=14004 CPUtime=255.4 cores=0-7
/proc/19232/task/19253/stat : 19253 (java) S 19208 19208 17551 0 -1 1077944384 26 238873 0 0 0 0 25484 56 20 0 22 0 420245589 8481841152 35238 33554432000 4194304 4196468 140728913106912 140232226067216 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
[pid=19232/tid=19257] ppid=19208 vsize=8283048 memory=119620 CPUtime=255.4 cores=0-7
/proc/19232/task/19257/stat : 19257 (java) S 19208 19208 17551 0 -1 1077944384 14 238873 0 0 0 0 25484 56 20 0 22 0 420245592 8481841152 35238 33554432000 4194304 4196468 140728913106912 140229474247472 140232934959746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140728913110007 140728913110166 140728913110166 140728913113039 0
Current children cumulated CPU time: 277.81 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 140380 KiB

Child status: 0
Real time (s): 46.387
CPU time (s): 278.117
CPU user time (s): 276.554
CPU system time (s): 1.56241
CPU usage (%): 599.558
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4457252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.554
system time used= 1.56241
maximum resident set size= 4458540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14877
involuntary context switches= 2946


# summary of solver processes directly reported to runsolver:
#   pid: 19208
#   total CPU time (s): 278.117
#   total CPU user time (s): 276.554
#   total CPU system time (s): 1.56241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.430964 second user time and 0.655242 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 08:36:59
IDJOB=4392780
IDBENCH=138974
IDSOLVER=2839
FILE ID=node140/4392780-1568443060
RUNJOBID= node140-1568438992-17578
PBS_JOBID= 21702327
Free space on /tmp= 58140 MiB

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

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

MD5SUM BENCH= cae06e42b01baa71e2bfd0e1b4deb8b1
RANDOM SEED=930887304

node140.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.43
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.43
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.43
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.43
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:        24593588 kB
MemAvailable:   31859064 kB
Buffers:          177800 kB
Cached:          7294864 kB
SwapCached:         2700 kB
Active:          1528824 kB
Inactive:        5951688 kB
Active(anon):       4160 kB
Inactive(anon):    44336 kB
Active(file):    1524664 kB
Inactive(file):  5907352 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999332 kB
Dirty:             20428 kB
Writeback:             0 kB
AnonPages:        132032 kB
Mapped:            44476 kB
Shmem:             32288 kB
Slab:             291756 kB
SReclaimable:     261920 kB
SUnreclaim:        29836 kB
KernelStack:        3712 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58120 MiB
End job on node140 at 2019-09-14 08:37:46