Trace number 4405623

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-09-22)SAT 239.958 40.0305

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-11.xml
MD5SUM593ac311ff8adf8f7756cc1eeec69a70
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.7897
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-24507-serial-file.bin HOME/instance-4405623-1569359085.xml
0.66/0.55	
0.66/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:04:05 CEST 2019
0.66/0.57	c PID: 24510
0.66/0.57	c IP: 172.20.3.133
0.66/0.57	c HOST: node133.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.64/1.07	c (0,0) Parsing End
1.64/1.08	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.64/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.08	c (0,0) Constraint Name Generate Begin
1.64/1.09	c (0,0) Ctr:HOME/instance-4405623-1569359085.xml,AllDifferentMatrix:Instantiation:Var
1.64/1.09	c (0,0) Constraint Name Generate End
1.64/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.09	c (0,0) CSP to CSPinCNF Begin
1.92/1.12	c (0,0) translated 1 (10%) constraints
5.67/2.84	c (2,2) translated 2 (20%) constraints
5.67/2.87	c (2,2) ===========================================
6.72/3.21	c (2,2) Hybrid: #OE=374, #LE=526
6.72/3.21	c (2,2) Hybrid
6.72/3.21	c (2,2) ===========================================
8.13/3.50	c (2,2) translated 2855 (10%) constraints
8.76/3.84	c (3,3) translated 5710 (20%) constraints
9.12/4.17	c (3,3) translated 8564 (30%) constraints
9.41/4.48	c (3,3) translated 11419 (40%) constraints
9.82/4.81	c (4,4) translated 14273 (50%) constraints
10.05/5.09	c (4,4) translated 17128 (60%) constraints
10.64/5.37	c (4,4) translated 19983 (70%) constraints
10.98/5.64	c (5,5) translated 22837 (80%) constraints
11.31/5.95	c (5,5) translated 25692 (90%) constraints
11.52/6.19	c (5,5) translated 28546 (100%) constraints
11.52/6.20	c (5,5) CSP to CSPinCNF End
11.52/6.20	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137072 ctr, max domain size 30
11.52/6.20	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.52/6.20	c (5,5) CSPinCNF Propagation Begin
15.45/8.34	c (7,7) 20523 values, 88261 unsatisfiable literals, and 91699 valid clauses are removed
15.45/8.34	c (7,7) CSPinCNF Propagation End
15.45/8.34	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 45373 ctr, max domain size 30
15.45/8.34	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.45/8.40	c (7,7) Hybrid: #OE=27374, #LE=526
15.45/8.40	c (7,7) Simplify CSPinCNF Begin
16.92/8.96	c (8,8) Simplify CSPinCNF End
16.92/8.98	c (8,8) CSP: 866 int (0 aux), 52934 bool (52900 aux), 71273 ctr, max domain size 30
16.92/8.98	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.92/8.98	c (8,8) Calculate Precise Domain Begin
16.92/8.98	c (8,8) 0 values are removed by re-calculation
16.92/8.98	c (8,8) Calculate Precise Domain End
16.92/8.99	c (8,8) CSP: 866 int (0 aux), 52934 bool (52900 aux), 71273 ctr, max domain size 30
16.92/8.99	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.92/8.99	c (8,8) CSPinCNF to SatSolver Begin
18.92/9.55	c (9,8) 7128 (10 %) CSP clauses are encoded (0 SAT variables, 29968 SAT clauses)
19.42/9.71	c (9,9) 14255 (20 %) CSP clauses are encoded (0 SAT variables, 51754 SAT clauses)
19.55/9.86	c (9,9) 21382 (30 %) CSP clauses are encoded (0 SAT variables, 73576 SAT clauses)
19.78/10.00	c (9,9) 28510 (40 %) CSP clauses are encoded (0 SAT variables, 95382 SAT clauses)
19.91/10.14	c (9,9) 35637 (50 %) CSP clauses are encoded (0 SAT variables, 115901 SAT clauses)
20.01/10.28	c (9,9) 42764 (60 %) CSP clauses are encoded (0 SAT variables, 137352 SAT clauses)
20.28/10.42	c (9,9) 49892 (70 %) CSP clauses are encoded (0 SAT variables, 158872 SAT clauses)
20.41/10.56	c (10,9) 57019 (80 %) CSP clauses are encoded (0 SAT variables, 180517 SAT clauses)
20.51/10.70	c (10,10) 64146 (90 %) CSP clauses are encoded (0 SAT variables, 202286 SAT clauses)
20.72/10.83	c (10,10) 71273 (100 %) CSP clauses are encoded (0 SAT variables, 223417 SAT clauses)
20.72/10.83	c (10,10) CSPinCNF to SatSolver End
20.72/10.83	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.72/10.83	c (10,10) 42081 bool, 223418 clause
20.72/10.83	c (10,10) Export Begin
20.87/10.98	c (10,10) Export to HOME/scop-24507-serial-file.bin
20.87/10.98	c (10,10) Export End
20.87/10.99	c (10,10) Export File Size: 0.15 MB
20.87/10.99	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.87/10.99	c END-Prog: Tue Sep 24 23:04:15 CEST 2019
21.13/11.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24507-serial-file.bin
21.64/11.48	c (0,0) Read Serial File Begin
21.64/11.48	c (0,0) HOME/scop-24507-serial-file.bin
22.13/11.73	c (0,0) Read Serial File End
22.13/11.75	
22.13/11.75	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
22.13/11.75	(Solving Process)
22.13/11.75	
22.13/11.77	c BEGIN-Prog: Tue Sep 24 23:04:16 CEST 2019
22.13/11.77	c PID: 24532
22.13/11.77	c IP: 172.20.3.133
22.13/11.77	c HOST: node133.alineos.net
22.13/11.77	c (0,0) SatSolver.solve Begin
22.13/11.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405623-1569359085.xml-scop-24510.cnf
22.41/11.80	c (0,0) c
22.41/11.80	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)
22.41/11.80	c (0,0) c
22.41/11.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.41/11.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.41/11.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.41/11.80	c (0,0) c |                                                                                                       |
22.41/11.88	c (0,0) c |  Number of variables:         42081                                                                   |
22.41/11.88	c (0,0) c |  Number of clauses:          223418                                                                   |
22.41/11.88	c (0,0) c |  Parse time:                   0.07 s                                                                 |
22.41/11.88	c (0,0) c |                                                                                                       |
22.52/12.10	c (0,0) c |  Simplification time:          0.22 s                                                                 |
22.52/12.10	c (0,0) c |                                                                                                       |
22.52/12.10	c (0,0) c |  Generating clones                                                                                    |
22.93/12.23	c (0,0) c |  all clones generated. Memory =   207.57Mb.                                                           |
22.93/12.23	c (0,0) c ========================================================================================================|
22.93/12.23	c (0,0) c
22.93/12.23	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.93/12.23	c (0,0) c
22.93/12.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.93/12.23	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.93/12.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.93/12.23	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.93/12.23	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.93/12.23	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.93/12.23	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.93/12.23	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.93/12.23	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.93/12.23	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.93/12.23	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.93/12.23	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.93/12.23	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.93/12.23	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.93/12.23	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.93/12.23	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.93/12.23	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.93/12.23	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.93/12.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c real time : 27.9132 s
239.14/39.71	c (28,0) c cpu time  : 216.077 s
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c | Conflicts     |          254297 |      32768 |      28806 |      33015 |      32772 |      32865 |      32587 |      28714 |      32770 |
239.14/39.71	c (28,0) c | Decisions     |         2306924 |     286513 |     276647 |     291997 |     296374 |     293818 |     287874 |     281031 |     292670 |
239.14/39.71	c (28,0) c | Propagations  |       319638147 |   41028345 |   36542468 |   40979737 |   41319870 |   41328133 |   40890938 |   36620689 |   40927967 |
239.14/39.71	c (28,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
239.14/39.71	c (28,0) c | SimpDBs       |             440 |         56 |         52 |         55 |         55 |         57 |         56 |         53 |         56 |
239.14/39.71	c (28,0) c | Restarts      |            3925 |        504 |        434 |        506 |        516 |        504 |        508 |        448 |        505 |
239.14/39.71	c (28,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
239.14/39.71	c (28,0) c | PropBinClauses|       810373172 |  104439211 |   90573166 |  104880841 |  104922127 |  104722017 |  104521077 |   91446931 |  104867802 |
239.14/39.71	c (28,0) c | PropPreBlocker|      3727484713 |  482192592 |  414694776 |  483445388 |  483006428 |  481947365 |  482106204 |  417134233 |  482957727 |
239.14/39.71	c (28,0) c | PropNotBlocker|       954200217 |  123597209 |  106121048 |  122918490 |  123664546 |  124773243 |  123194816 |  106747253 |  123183612 |
239.14/39.71	c (28,0) c | LitFullScans  |      6473242893 |  838495396 |  718425996 |  838869696 |  838044873 |  839720272 |  838171064 |  722876051 |  838639545 |
239.14/39.71	c (28,0) c | LitScanFracts |         2127193 |     360138 |     338656 |     317990 |     185277 |     258458 |      99584 |     354768 |     212322 |
239.14/39.71	c (28,0) c | DecisionLevel0|           14702 |       1848 |       1765 |       1848 |       1855 |       1866 |       1871 |       1804 |       1845 |
239.14/39.71	c (28,0) c | Periods       |            1073 |        139 |        119 |        139 |        139 |        139 |        139 |        120 |        139 |
239.14/39.71	c (28,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
239.14/39.71	c (28,0) c | Avg_Trail     |                 |       8948 |       8865 |       8962 |       8928 |       8889 |       8975 |       8880 |       8967 |
239.14/39.71	c (28,0) c | Avg_DL        |                 |         87 |         89 |         90 |         90 |         87 |         87 |         91 |         91 |
239.14/39.71	c (28,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
239.14/39.71	c (28,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c | Exported      |           51489 |       6606 |       6104 |       6538 |       6436 |       6599 |       6604 |       6031 |       6571 |
239.14/39.71	c (28,0) c | Imported      |          326448 |      41917 |      37180 |      41907 |      42068 |      41971 |      41942 |      37533 |      41930 |
239.14/39.71	c (28,0) c | Good          |           56553 |       7122 |       6840 |       7186 |       7082 |       7071 |       7144 |       6924 |       7184 |
239.14/39.71	c (28,0) c | Purge         |          269895 |      34795 |      30340 |      34721 |      34986 |      34900 |      34798 |      30609 |      34746 |
239.14/39.71	c (28,0) c | Promoted      |           22225 |       2897 |       2377 |       2922 |       2910 |       3028 |       2839 |       2388 |       2864 |
239.14/39.71	c (28,0) c | Remove_Imp    |          140649 |      17540 |      17470 |      17339 |      17554 |      17518 |      17760 |      17934 |      17534 |
239.14/39.71	c (28,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c | Unaries       |                 |       1344 |       1331 |       1342 |       1339 |       1362 |       1363 |       1356 |       1340 |
239.14/39.71	c (28,0) c | Binaries      |                 |       1057 |       1052 |        991 |       1107 |       1111 |       1023 |        988 |        990 |
239.14/39.71	c (28,0) c | Glues         |                 |       1845 |       1795 |       1740 |       1936 |       1925 |       1843 |       1748 |       1814 |
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c | Orig_Seen     |            35 % |      59879 |      57546 |      60064 |      60109 |      59606 |      59723 |      57869 |      59964 |
239.14/39.71	c (28,0) c | Diff Orig seen|                 |       2333 |      X     |       2518 |       2563 |       2060 |       2177 |        323 |       2418 |
239.14/39.71	c (28,0) c | Hamming       |            12 % |       5387 |      X     |       5430 |       5271 |       5378 |       5277 |       4873 |       5189 |
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c | RunningTime   |                 |   27.4 100%|   27.4 100%|   27.1  99%|   27.2  99%|   26.9  98%|   26.4  96%|   27.4 100%|   26.9  98%|
239.14/39.71	c (28,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.3   1%|    0.2   1%|    0.6   2%|    1.1   4%|    0.0   0%|    0.5   2%|
239.14/39.71	c (28,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%|
239.14/39.71	c (28,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%|
239.14/39.71	c (28,0) c | SolvingTime   |                 |   27.5     |   27.4     |   27.5     |   27.5     |   27.5     |   27.4     |   27.5     |   27.5     |
239.14/39.71	c (28,0) c | PropagationTim|                 |   24.1  88%|   24.0  87%|   24.0  87%|   24.1  88%|   24.1  88%|   24.1  88%|   24.0  87%|   24.0  87%|
239.14/39.71	c (28,0) c | AnalysisTime  |                 |    1.8   7%|    1.8   7%|    1.9   7%|    1.8   7%|    1.8   7%|    1.9   7%|    1.8   7%|    1.9   7%|
239.14/39.71	c (28,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%|
239.14/39.71	c (28,0) c | SimplifyTime  |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.4   1%|    0.4   1%|    0.3   1%|    0.3   1%|    0.4   1%|
239.14/39.71	c (28,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%|
239.14/39.71	c (28,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%|
239.14/39.71	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c
239.14/39.71	c (28,0) c Threads : 8
239.14/39.71	c (28,0) c Winner : 1
239.14/39.71	c (28,0) c Conflicts_0 : 32768
239.14/39.71	c (28,0) c Conflicts_1 : 28806
239.14/39.71	c (28,0) c Conflicts_2 : 33015
239.14/39.71	c (28,0) c Conflicts_3 : 32772
239.14/39.71	c (28,0) c Conflicts_4 : 32865
239.14/39.71	c (28,0) c Conflicts_5 : 32587
239.14/39.71	c (28,0) c Conflicts_6 : 28714
239.14/39.71	c (28,0) c Conflicts_7 : 32770
239.14/39.71	c (28,0) c Conflicts_total : 254297
239.14/39.71	c (28,0) c Conflicts_winner : 28806
239.14/39.71	c (28,0) c Decisions_0 : 286513
239.14/39.71	c (28,0) c Decisions_1 : 276647
239.14/39.71	c (28,0) c Decisions_2 : 291997
239.14/39.71	c (28,0) c Decisions_3 : 296374
239.14/39.71	c (28,0) c Decisions_4 : 293818
239.14/39.71	c (28,0) c Decisions_5 : 287874
239.14/39.71	c (28,0) c Decisions_6 : 281031
239.14/39.71	c (28,0) c Decisions_7 : 292670
239.14/39.71	c (28,0) c Decisions_total : 2306924
239.14/39.71	c (28,0) c Decisions_winner : 276647
239.14/39.71	c (28,0) c Propagations_0 : 41028345
239.14/39.71	c (28,0) c Propagations_1 : 36542468
239.14/39.71	c (28,0) c Propagations_2 : 40979737
239.14/39.71	c (28,0) c Propagations_3 : 41319870
239.14/39.71	c (28,0) c Propagations_4 : 41328133
239.14/39.71	c (28,0) c Propagations_5 : 40890938
239.14/39.71	c (28,0) c Propagations_6 : 36620689
239.14/39.71	c (28,0) c Propagations_7 : 40927967
239.14/39.71	c (28,0) c Propagations_total : 319638147
239.14/39.71	c (28,0) c Propagations_winner : 36542468
239.14/39.71	c (28,0) c ReduceDBs_0 : 4
239.14/39.71	c (28,0) c ReduceDBs_1 : 4
239.14/39.71	c (28,0) c ReduceDBs_2 : 4
239.14/39.71	c (28,0) c ReduceDBs_3 : 4
239.14/39.71	c (28,0) c ReduceDBs_4 : 4
239.14/39.71	c (28,0) c ReduceDBs_5 : 4
239.14/39.71	c (28,0) c ReduceDBs_6 : 4
239.14/39.71	c (28,0) c ReduceDBs_7 : 4
239.14/39.71	c (28,0) c ReduceDBs_total : 32
239.14/39.71	c (28,0) c ReduceDBs_winner : 4
239.14/39.71	c (28,0) c SimpDBs_0 : 56
239.14/39.71	c (28,0) c SimpDBs_1 : 52
239.14/39.71	c (28,0) c SimpDBs_2 : 55
239.14/39.71	c (28,0) c SimpDBs_3 : 55
239.14/39.71	c (28,0) c SimpDBs_4 : 57
239.14/39.71	c (28,0) c SimpDBs_5 : 56
239.14/39.71	c (28,0) c SimpDBs_6 : 53
239.14/39.71	c (28,0) c SimpDBs_7 : 56
239.14/39.71	c (28,0) c SimpDBs_total : 440
239.14/39.71	c (28,0) c SimpDBs_winner : 52
239.14/39.71	c (28,0) c Restarts_0 : 504
239.14/39.71	c (28,0) c Restarts_1 : 434
239.14/39.71	c (28,0) c Restarts_2 : 506
239.14/39.72	c (28,0) c Restarts_3 : 516
239.14/39.72	c (28,0) c Restarts_4 : 504
239.14/39.72	c (28,0) c Restarts_5 : 508
239.14/39.72	c (28,0) c Restarts_6 : 448
239.14/39.72	c (28,0) c Restarts_7 : 505
239.14/39.72	c (28,0) c Restarts_total : 3925
239.14/39.72	c (28,0) c Restarts_winner : 434
239.14/39.72	c (28,0) c ForcedImports_0 : 0
239.14/39.72	c (28,0) c ForcedImports_1 : 0
239.14/39.72	c (28,0) c ForcedImports_2 : 0
239.14/39.72	c (28,0) c ForcedImports_3 : 0
239.14/39.72	c (28,0) c ForcedImports_4 : 0
239.14/39.72	c (28,0) c ForcedImports_5 : 0
239.14/39.72	c (28,0) c ForcedImports_6 : 0
239.14/39.72	c (28,0) c ForcedImports_7 : 0
239.14/39.72	c (28,0) c ForcedImports_total : 0
239.14/39.72	c (28,0) c ForcedImports_winner : 0
239.14/39.72	c (28,0) c PropsBinClauses_0 : 104439211
239.14/39.72	c (28,0) c PropsBinClauses_1 : 90573166
239.14/39.72	c (28,0) c PropsBinClauses_2 : 104880841
239.14/39.72	c (28,0) c PropsBinClauses_3 : 104922127
239.14/39.72	c (28,0) c PropsBinClauses_4 : 104722017
239.14/39.72	c (28,0) c PropsBinClauses_5 : 104521077
239.14/39.72	c (28,0) c PropsBinClauses_6 : 91446931
239.14/39.72	c (28,0) c PropsBinClauses_7 : 104867802
239.14/39.72	c (28,0) c PropsBinClauses_total : 810373172
239.14/39.72	c (28,0) c PropsBinClauses_winner : 90573166
239.14/39.72	c (28,0) c PropsPreBlocker_0 : 482192592
239.14/39.72	c (28,0) c PropsPreBlocker_1 : 414694776
239.14/39.72	c (28,0) c PropsPreBlocker_2 : 483445388
239.14/39.72	c (28,0) c PropsPreBlocker_3 : 483006428
239.14/39.72	c (28,0) c PropsPreBlocker_4 : 481947365
239.14/39.72	c (28,0) c PropsPreBlocker_5 : 482106204
239.14/39.72	c (28,0) c PropsPreBlocker_6 : 417134233
239.14/39.72	c (28,0) c PropsPreBlocker_7 : 482957727
239.14/39.72	c (28,0) c PropsPreBlocker_total : 3727484713
239.14/39.72	c (28,0) c PropsPreBlocker_winner : 414694776
239.14/39.72	c (28,0) c PropsNotBlocker_0 : 123597209
239.14/39.72	c (28,0) c PropsNotBlocker_1 : 106121048
239.14/39.72	c (28,0) c PropsNotBlocker_2 : 122918490
239.14/39.72	c (28,0) c PropsNotBlocker_3 : 123664546
239.14/39.72	c (28,0) c PropsNotBlocker_4 : 124773243
239.14/39.72	c (28,0) c PropsNotBlocker_5 : 123194816
239.14/39.72	c (28,0) c PropsNotBlocker_6 : 106747253
239.14/39.72	c (28,0) c PropsNotBlocker_7 : 123183612
239.14/39.72	c (28,0) c PropsNotBlocker_total : 954200217
239.14/39.72	c (28,0) c PropsNotBlocker_winner : 106121048
239.14/39.72	c (28,0) c PropsLitFullScans_0 : 838495396
239.14/39.72	c (28,0) c PropsLitFullScans_1 : 718425996
239.14/39.72	c (28,0) c PropsLitFullScans_2 : 838869696
239.14/39.72	c (28,0) c PropsLitFullScans_3 : 838044873
239.14/39.72	c (28,0) c PropsLitFullScans_4 : 839720272
239.14/39.72	c (28,0) c PropsLitFullScans_5 : 838171064
239.14/39.72	c (28,0) c PropsLitFullScans_6 : 722876051
239.14/39.72	c (28,0) c PropsLitFullScans_7 : 838639545
239.14/39.72	c (28,0) c PropsLitFullScans_total : 6473242893
239.14/39.72	c (28,0) c PropsLitFullScans_winner : 718425996
239.14/39.72	c (28,0) c LitScanFractions_0 : 360138
239.14/39.72	c (28,0) c LitScanFractions_1 : 338656
239.14/39.72	c (28,0) c LitScanFractions_2 : 317990
239.14/39.72	c (28,0) c LitScanFractions_3 : 185277
239.14/39.72	c (28,0) c LitScanFractions_4 : 258458
239.14/39.72	c (28,0) c LitScanFractions_5 : 99584
239.14/39.72	c (28,0) c LitScanFractions_6 : 354768
239.14/39.72	c (28,0) c LitScanFractions_7 : 212322
239.14/39.72	c (28,0) c LitScanFractions_total : 2127193
239.14/39.72	c (28,0) c LitScanFractions_winner : 338656
239.14/39.72	c (28,0) c DecisionLevel0_0 : 1848
239.14/39.72	c (28,0) c DecisionLevel0_1 : 1765
239.14/39.72	c (28,0) c DecisionLevel0_2 : 1848
239.14/39.72	c (28,0) c DecisionLevel0_3 : 1855
239.14/39.72	c (28,0) c DecisionLevel0_4 : 1866
239.14/39.72	c (28,0) c DecisionLevel0_5 : 1871
239.14/39.72	c (28,0) c DecisionLevel0_6 : 1804
239.14/39.72	c (28,0) c DecisionLevel0_7 : 1845
239.14/39.72	c (28,0) c DecisionLevel0_total : 14702
239.14/39.72	c (28,0) c DecisionLevel0_winner : 1765
239.14/39.72	c (28,0) c Periods_0 : 139
239.14/39.72	c (28,0) c Periods_1 : 119
239.14/39.72	c (28,0) c Periods_2 : 139
239.14/39.72	c (28,0) c Periods_3 : 139
239.14/39.72	c (28,0) c Periods_4 : 139
239.14/39.72	c (28,0) c Periods_5 : 139
239.14/39.72	c (28,0) c Periods_6 : 120
239.14/39.72	c (28,0) c Periods_7 : 139
239.14/39.72	c (28,0) c Periods_total : 1073
239.14/39.72	c (28,0) c Periods_winner : 119
239.14/39.72	c (28,0) c Margin_0 : 20
239.14/39.72	c (28,0) c Margin_1 : 20
239.14/39.72	c (28,0) c Margin_2 : 20
239.14/39.72	c (28,0) c Margin_3 : 20
239.14/39.72	c (28,0) c Margin_4 : 20
239.14/39.72	c (28,0) c Margin_5 : 20
239.14/39.72	c (28,0) c Margin_6 : 20
239.14/39.72	c (28,0) c Margin_7 : 20
239.14/39.72	c (28,0) c Margin_total : 160
239.14/39.72	c (28,0) c Margin_winner : 20
239.14/39.72	c (28,0) c Exported_0 : 6606
239.14/39.72	c (28,0) c Exported_1 : 6104
239.14/39.72	c (28,0) c Exported_2 : 6538
239.14/39.72	c (28,0) c Exported_3 : 6436
239.14/39.72	c (28,0) c Exported_4 : 6599
239.14/39.72	c (28,0) c Exported_5 : 6604
239.14/39.72	c (28,0) c Exported_6 : 6031
239.14/39.72	c (28,0) c Exported_7 : 6571
239.14/39.72	c (28,0) c Exported_total : 51489
239.14/39.72	c (28,0) c Exported_winner : 6104
239.14/39.72	c (28,0) c Imported_0 : 41917
239.14/39.72	c (28,0) c Imported_1 : 37180
239.14/39.72	c (28,0) c Imported_2 : 41907
239.14/39.72	c (28,0) c Imported_3 : 42068
239.14/39.72	c (28,0) c Imported_4 : 41971
239.14/39.72	c (28,0) c Imported_5 : 41942
239.14/39.72	c (28,0) c Imported_6 : 37533
239.14/39.72	c (28,0) c Imported_7 : 41930
239.14/39.72	c (28,0) c Imported_total : 326448
239.14/39.72	c (28,0) c Imported_winner : 37180
239.14/39.72	c (28,0) c Good_0 : 7122
239.14/39.72	c (28,0) c Good_1 : 6840
239.14/39.72	c (28,0) c Good_2 : 7186
239.14/39.72	c (28,0) c Good_3 : 7082
239.14/39.72	c (28,0) c Good_4 : 7071
239.14/39.72	c (28,0) c Good_5 : 7144
239.14/39.72	c (28,0) c Good_6 : 6924
239.14/39.72	c (28,0) c Good_7 : 7184
239.14/39.72	c (28,0) c Good_total : 56553
239.14/39.72	c (28,0) c Good_winner : 6840
239.14/39.72	c (28,0) c Purge_0 : 34795
239.14/39.72	c (28,0) c Purge_1 : 30340
239.14/39.72	c (28,0) c Purge_2 : 34721
239.14/39.72	c (28,0) c Purge_3 : 34986
239.14/39.72	c (28,0) c Purge_4 : 34900
239.14/39.72	c (28,0) c Purge_5 : 34798
239.14/39.72	c (28,0) c Purge_6 : 30609
239.14/39.72	c (28,0) c Purge_7 : 34746
239.14/39.72	c (28,0) c Purge_total : 269895
239.14/39.72	c (28,0) c Purge_winner : 30340
239.14/39.72	c (28,0) c Promoted_0 : 2897
239.14/39.72	c (28,0) c Promoted_1 : 2377
239.14/39.72	c (28,0) c Promoted_2 : 2922
239.14/39.72	c (28,0) c Promoted_3 : 2910
239.14/39.72	c (28,0) c Promoted_4 : 3028
239.14/39.72	c (28,0) c Promoted_5 : 2839
239.14/39.72	c (28,0) c Promoted_6 : 2388
239.14/39.72	c (28,0) c Promoted_7 : 2864
239.14/39.72	c (28,0) c Promoted_total : 22225
239.14/39.72	c (28,0) c Promoted_winner : 2377
239.14/39.72	c (28,0) c Remove_Imp_0 : 17540
239.14/39.72	c (28,0) c Remove_Imp_1 : 17470
239.14/39.72	c (28,0) c Remove_Imp_2 : 17339
239.14/39.72	c (28,0) c Remove_Imp_3 : 17554
239.14/39.72	c (28,0) c Remove_Imp_4 : 17518
239.14/39.72	c (28,0) c Remove_Imp_5 : 17760
239.14/39.72	c (28,0) c Remove_Imp_6 : 17934
239.14/39.72	c (28,0) c Remove_Imp_7 : 17534
239.14/39.72	c (28,0) c Remove_Imp_total : 140649
239.14/39.72	c (28,0) c Remove_Imp_winner : 17470
239.14/39.72	c (28,0) c Blocked_Reuse_0 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_1 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_2 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_3 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_4 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_5 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_6 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_7 : 0
239.14/39.72	c (28,0) c Blocked_Reuse_total : 0
239.14/39.72	c (28,0) c Blocked_Reuse_winner : 0
239.14/39.72	c (28,0) c Unaries_0 : 1344
239.14/39.72	c (28,0) c Unaries_1 : 1331
239.14/39.72	c (28,0) c Unaries_2 : 1342
239.14/39.72	c (28,0) c Unaries_3 : 1339
239.14/39.72	c (28,0) c Unaries_4 : 1362
239.14/39.72	c (28,0) c Unaries_5 : 1363
239.14/39.72	c (28,0) c Unaries_6 : 1356
239.14/39.72	c (28,0) c Unaries_7 : 1340
239.14/39.72	c (28,0) c Unaries_total : 10777
239.14/39.72	c (28,0) c Unaries_winner : 1331
239.14/39.72	c (28,0) c Binaries_0 : 1057
239.14/39.72	c (28,0) c Binaries_1 : 1052
239.14/39.72	c (28,0) c Binaries_2 : 991
239.14/39.72	c (28,0) c Binaries_3 : 1107
239.14/39.72	c (28,0) c Binaries_4 : 1111
239.14/39.72	c (28,0) c Binaries_5 : 1023
239.14/39.72	c (28,0) c Binaries_6 : 988
239.14/39.72	c (28,0) c Binaries_7 : 990
239.14/39.72	c (28,0) c Binaries_total : 8319
239.14/39.72	c (28,0) c Binaries_winner : 1052
239.14/39.72	c (28,0) c Glues_0 : 1845
239.14/39.72	c (28,0) c Glues_1 : 1795
239.14/39.72	c (28,0) c Glues_2 : 1740
239.14/39.72	c (28,0) c Glues_3 : 1936
239.14/39.72	c (28,0) c Glues_4 : 1925
239.14/39.72	c (28,0) c Glues_5 : 1843
239.14/39.72	c (28,0) c Glues_6 : 1748
239.14/39.72	c (28,0) c Glues_7 : 1814
239.14/39.72	c (28,0) c Glues_total : 14646
239.14/39.72	c (28,0) c Glues_winner : 1795
239.14/39.72	c (28,0) c RunningTime_0 : 27.412764
239.14/39.72	c (28,0) c RunningTime_1 : 27.420993
239.14/39.72	c (28,0) c RunningTime_2 : 27.116336
239.14/39.72	c (28,0) c RunningTime_3 : 27.218688
239.14/39.72	c (28,0) c RunningTime_4 : 26.872140
239.14/39.72	c (28,0) c RunningTime_5 : 26.361500
239.14/39.72	c (28,0) c RunningTime_6 : 27.443603
239.14/39.72	c (28,0) c RunningTime_7 : 26.900821
239.14/39.72	c (28,0) c RunningTime_total : 216.746845
239.14/39.72	c (28,0) c RunningTime_winner : 27.420993
239.14/39.72	c (28,0) c WaitingTime_0 : 0.021118
239.14/39.72	c (28,0) c WaitingTime_1 : 0.000129
239.14/39.72	c (28,0) c WaitingTime_2 : 0.335781
239.14/39.72	c (28,0) c WaitingTime_3 : 0.212453
239.14/39.72	c (28,0) c WaitingTime_4 : 0.581903
239.14/39.72	c (28,0) c WaitingTime_5 : 1.056292
239.14/39.72	c (28,0) c WaitingTime_6 : 0.000160
239.14/39.72	c (28,0) c WaitingTime_7 : 0.548118
239.14/39.72	c (28,0) c WaitingTime_total : 2.755955
239.14/39.72	c (28,0) c WaitingTime_winner : 0.000129
239.14/39.72	c (28,0) c ExchangingTime_0 : 0.020234
239.14/39.72	c (28,0) c ExchangingTime_1 : 0.020352
239.14/39.72	c (28,0) c ExchangingTime_2 : 0.023389
239.14/39.72	c (28,0) c ExchangingTime_3 : 0.024601
239.14/39.72	c (28,0) c ExchangingTime_4 : 0.020891
239.14/39.72	c (28,0) c ExchangingTime_5 : 0.026368
239.14/39.72	c (28,0) c ExchangingTime_6 : 0.021115
239.14/39.72	c (28,0) c ExchangingTime_7 : 0.020532
239.14/39.72	c (28,0) c ExchangingTime_total : 0.177482
239.14/39.72	c (28,0) c ExchangingTime_winner : 0.020352
239.14/39.72	c (28,0) c PeriodProcTime_0 : 0.001236
239.14/39.72	c (28,0) c PeriodProcTime_1 : 0.001485
239.14/39.72	c (28,0) c PeriodProcTime_2 : 0.001214
239.14/39.72	c (28,0) c PeriodProcTime_3 : 0.001212
239.14/39.72	c (28,0) c PeriodProcTime_4 : 0.001196
239.14/39.72	c (28,0) c PeriodProcTime_5 : 0.001234
239.14/39.72	c (28,0) c PeriodProcTime_6 : 0.001155
239.14/39.72	c (28,0) c PeriodProcTime_7 : 0.001133
239.14/39.72	c (28,0) c PeriodProcTime_total : 0.009866
239.14/39.72	c (28,0) c PeriodProcTime_winner : 0.001485
239.14/39.72	c (28,0) c SolvingTime_0 : 27.455352
239.14/39.72	c (28,0) c SolvingTime_1 : 27.442959
239.14/39.72	c (28,0) c SolvingTime_2 : 27.476720
239.14/39.72	c (28,0) c SolvingTime_3 : 27.456955
239.14/39.72	c (28,0) c SolvingTime_4 : 27.476130
239.14/39.72	c (28,0) c SolvingTime_5 : 27.445393
239.14/39.72	c (28,0) c SolvingTime_6 : 27.466033
239.14/39.72	c (28,0) c SolvingTime_7 : 27.470605
239.14/39.72	c (28,0) c SolvingTime_total : 219.690147
239.14/39.72	c (28,0) c SolvingTime_winner : 27.442959
239.14/39.72	c (28,0) c PropagationTime_0 : 24.090828
239.14/39.72	c (28,0) c PropagationTime_1 : 23.962655
239.14/39.72	c (28,0) c PropagationTime_2 : 24.020801
239.14/39.72	c (28,0) c PropagationTime_3 : 24.065878
239.14/39.72	c (28,0) c PropagationTime_4 : 24.060052
239.14/39.72	c (28,0) c PropagationTime_5 : 24.067853
239.14/39.72	c (28,0) c PropagationTime_6 : 23.958261
239.14/39.72	c (28,0) c PropagationTime_7 : 24.034138
239.14/39.72	c (28,0) c PropagationTime_total : 192.260466
239.14/39.72	c (28,0) c PropagationTime_winner : 23.962655
239.14/39.72	c (28,0) c AnalysisTime_0 : 1.825521
239.14/39.72	c (28,0) c AnalysisTime_1 : 1.813221
239.14/39.72	c (28,0) c AnalysisTime_2 : 1.897888
239.14/39.72	c (28,0) c AnalysisTime_3 : 1.822944
239.14/39.72	c (28,0) c AnalysisTime_4 : 1.799767
239.14/39.72	c (28,0) c AnalysisTime_5 : 1.853805
239.14/39.72	c (28,0) c AnalysisTime_6 : 1.832413
239.14/39.72	c (28,0) c AnalysisTime_7 : 1.859406
239.14/39.72	c (28,0) c AnalysisTime_total : 14.704965
239.14/39.72	c (28,0) c AnalysisTime_winner : 1.813221
239.14/39.72	c (28,0) c ReductionTime_0 : 0.066514
239.14/39.72	c (28,0) c ReductionTime_1 : 0.080833
239.14/39.72	c (28,0) c ReductionTime_2 : 0.065760
239.14/39.72	c (28,0) c ReductionTime_3 : 0.065921
239.14/39.72	c (28,0) c ReductionTime_4 : 0.067485
239.14/39.72	c (28,0) c ReductionTime_5 : 0.064912
239.14/39.72	c (28,0) c ReductionTime_6 : 0.087122
239.14/39.72	c (28,0) c ReductionTime_7 : 0.068365
239.14/39.72	c (28,0) c ReductionTime_total : 0.566912
239.14/39.72	c (28,0) c ReductionTime_winner : 0.080833
239.14/39.72	c (28,0) c SimplifyTime_0 : 0.325683
239.14/39.72	c (28,0) c SimplifyTime_1 : 0.345518
239.14/39.72	c (28,0) c SimplifyTime_2 : 0.337646
239.14/39.72	c (28,0) c SimplifyTime_3 : 0.350478
239.14/39.72	c (28,0) c SimplifyTime_4 : 0.392919
239.14/39.72	c (28,0) c SimplifyTime_5 : 0.333256
239.14/39.72	c (28,0) c SimplifyTime_6 : 0.330157
239.14/39.72	c (28,0) c SimplifyTime_7 : 0.376492
239.14/39.72	c (28,0) c SimplifyTime_total : 2.792150
239.14/39.72	c (28,0) c SimplifyTime_winner : 0.345518
239.14/39.72	c (28,0) c UsedRateTime_0 : 0.000000
239.14/39.72	c (28,0) c UsedRateTime_1 : 0.000000
239.14/39.72	c (28,0) c UsedRateTime_2 : 0.000000
239.14/39.72	c (28,0) c UsedRateTime_3 : 0.000000
239.14/39.72	c (28,0) c UsedRateTime_4 : 0.000000
239.14/39.72	c (28,0) c UsedRateTime_5 : 0.000000
239.14/39.72	c (28,0) c UsedRateTime_6 : 0.000000
239.14/39.73	c (28,0) c UsedRateTime_7 : 0.000000
239.14/39.73	c (28,0) c UsedRateTime_total : 0.000000
239.14/39.73	c (28,0) c UsedRateTime_winner : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_0 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_1 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_2 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_3 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_4 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_5 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_6 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_7 : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_total : 0.000000
239.14/39.73	c (28,0) c OverlapRateTime_winner : 0.000000
239.14/39.73	c (28,0) c
239.14/39.73	c (28,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
239.14/39.73	c (28,0) c
239.14/39.73	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.73	c (28,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
239.14/39.73	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.73	c (28,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
239.14/39.73	c (28,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
239.14/39.73	c (28,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
239.14/39.73	c (28,0) c | Initial random_seed   | 2118442424 | 1144445577 | 2138257442 |  533911473 | 1908110099 |  317066410 | 2055968342 |  554302464 |
239.14/39.73	c (28,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
239.14/39.73	c (28,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
239.14/39.73	c (28,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
239.14/39.73	c (28,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
239.14/39.73	c (28,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
239.14/39.73	c (28,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
239.14/39.73	c (28,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
239.14/39.73	c (28,0) c | var_decay             |     0.8600 |     0.8500 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8500 |     0.8600 |
239.14/39.73	c (28,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
239.14/39.73	c (28,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
239.14/39.73	c (28,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
239.14/39.73	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.14/39.73	c (28,0) 
239.14/39.73	c (28,0) s SATISFIABLE
239.14/39.79	c (28,0) SatSolver.solve End
239.14/39.79	c (28,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
239.14/39.79	c (28,0) Show results Begin
239.62/39.98	c (28,0) x[0][0] = 20
239.62/39.98	c (28,0) x[0][1] = 27
239.62/39.98	c (28,0) x[0][2] = 26
239.62/39.98	c (28,0) x[0][3] = 16
239.62/39.98	c (28,0) x[0][4] = 9
239.62/39.98	c (28,0) x[0][5] = 21
239.62/39.98	c (28,0) x[0][6] = 28
239.62/39.98	c (28,0) x[0][7] = 5
239.62/39.98	c (28,0) x[0][8] = 2
239.62/39.98	c (28,0) x[0][9] = 10
239.62/39.98	c (28,0) x[0][10] = 22
239.62/39.98	c (28,0) x[0][11] = 23
239.62/39.98	c (28,0) x[0][12] = 13
239.62/39.98	c (28,0) x[0][13] = 15
239.62/39.98	c (28,0) x[0][14] = 4
239.62/39.98	c (28,0) x[0][15] = 19
239.62/39.98	c (28,0) x[0][16] = 14
239.62/39.98	c (28,0) x[0][17] = 12
239.62/39.98	c (28,0) x[0][18] = 17
239.62/39.98	c (28,0) x[0][19] = 8
239.62/39.98	c (28,0) x[0][20] = 25
239.62/39.98	c (28,0) x[0][21] = 7
239.62/39.98	c (28,0) x[0][22] = 1
239.62/39.98	c (28,0) x[0][23] = 6
239.62/39.98	c (28,0) x[0][24] = 11
239.62/39.98	c (28,0) x[0][25] = 29
239.62/39.98	c (28,0) x[0][26] = 24
239.62/39.98	c (28,0) x[0][27] = 3
239.62/39.98	c (28,0) x[0][28] = 0
239.62/39.98	c (28,0) x[0][29] = 18
239.62/39.98	c (28,0) x[1][0] = 18
239.62/39.98	c (28,0) x[1][1] = 24
239.62/39.98	c (28,0) x[1][2] = 2
239.62/39.98	c (28,0) x[1][3] = 26
239.62/39.98	c (28,0) x[1][4] = 23
239.62/39.98	c (28,0) x[1][5] = 29
239.62/39.98	c (28,0) x[1][6] = 11
239.62/39.98	c (28,0) x[1][7] = 17
239.62/39.98	c (28,0) x[1][8] = 14
239.62/39.98	c (28,0) x[1][9] = 0
239.62/39.98	c (28,0) x[1][10] = 13
239.62/39.98	c (28,0) x[1][11] = 7
239.62/39.98	c (28,0) x[1][12] = 5
239.62/39.98	c (28,0) x[1][13] = 25
239.62/39.98	c (28,0) x[1][14] = 21
239.62/39.98	c (28,0) x[1][15] = 22
239.62/39.98	c (28,0) x[1][16] = 20
239.62/39.98	c (28,0) x[1][17] = 15
239.62/39.98	c (28,0) x[1][18] = 9
239.62/39.98	c (28,0) x[1][19] = 27
239.62/39.98	c (28,0) x[1][20] = 4
239.62/39.98	c (28,0) x[1][21] = 28
239.62/39.98	c (28,0) x[1][22] = 3
239.62/39.98	c (28,0) x[1][23] = 12
239.62/39.98	c (28,0) x[1][24] = 1
239.62/39.98	c (28,0) x[1][25] = 19
239.62/39.98	c (28,0) x[1][26] = 16
239.62/39.98	c (28,0) x[1][27] = 10
239.62/39.98	c (28,0) x[1][28] = 6
239.62/39.98	c (28,0) x[1][29] = 8
239.62/39.98	c (28,0) x[2][0] = 29
239.62/39.98	c (28,0) x[2][1] = 0
239.62/39.98	c (28,0) x[2][2] = 19
239.62/39.98	c (28,0) x[2][3] = 13
239.62/39.98	c (28,0) x[2][4] = 6
239.62/39.98	c (28,0) x[2][5] = 16
239.62/39.98	c (28,0) x[2][6] = 24
239.62/39.98	c (28,0) x[2][7] = 2
239.62/39.98	c (28,0) x[2][8] = 21
239.62/39.98	c (28,0) x[2][9] = 1
239.62/39.98	c (28,0) x[2][10] = 12
239.62/39.98	c (28,0) x[2][11] = 8
239.62/39.98	c (28,0) x[2][12] = 7
239.62/39.98	c (28,0) x[2][13] = 23
239.62/39.98	c (28,0) x[2][14] = 15
239.62/39.98	c (28,0) x[2][15] = 11
239.62/39.98	c (28,0) x[2][16] = 27
239.62/39.98	c (28,0) x[2][17] = 14
239.62/39.98	c (28,0) x[2][18] = 18
239.62/39.98	c (28,0) x[2][19] = 22
239.62/39.98	c (28,0) x[2][20] = 17
239.62/39.98	c (28,0) x[2][21] = 20
239.62/39.98	c (28,0) x[2][22] = 28
239.62/39.98	c (28,0) x[2][23] = 3
239.62/39.98	c (28,0) x[2][24] = 25
239.62/39.98	c (28,0) x[2][25] = 10
239.62/39.99	c (28,0) x[2][26] = 5
239.62/39.99	c (28,0) x[2][27] = 26
239.62/39.99	c (28,0) x[2][28] = 9
239.62/39.99	c (28,0) x[2][29] = 4
239.62/39.99	c (28,0) x[3][0] = 4
239.62/39.99	c (28,0) x[3][1] = 20
239.62/39.99	c (28,0) x[3][2] = 22
239.62/39.99	c (28,0) x[3][3] = 17
239.62/39.99	c (28,0) x[3][4] = 26
239.62/39.99	c (28,0) x[3][5] = 8
239.62/39.99	c (28,0) x[3][6] = 0
239.62/39.99	c (28,0) x[3][7] = 12
239.62/39.99	c (28,0) x[3][8] = 23
239.62/39.99	c (28,0) x[3][9] = 11
239.62/39.99	c (28,0) x[3][10] = 27
239.62/39.99	c (28,0) x[3][11] = 28
239.62/39.99	c (28,0) x[3][12] = 18
239.62/39.99	c (28,0) x[3][13] = 7
239.62/39.99	c (28,0) x[3][14] = 24
239.62/39.99	c (28,0) x[3][15] = 5
239.62/39.99	c (28,0) x[3][16] = 16
239.62/39.99	c (28,0) x[3][17] = 19
239.62/39.99	c (28,0) x[3][18] = 15
239.62/39.99	c (28,0) x[3][19] = 29
239.62/39.99	c (28,0) x[3][20] = 14
239.62/39.99	c (28,0) x[3][21] = 9
239.62/39.99	c (28,0) x[3][22] = 6
239.62/39.99	c (28,0) x[3][23] = 13
239.62/39.99	c (28,0) x[3][24] = 10
239.62/39.99	c (28,0) x[3][25] = 25
239.62/39.99	c (28,0) x[3][26] = 2
239.62/39.99	c (28,0) x[3][27] = 1
239.62/39.99	c (28,0) x[3][28] = 21
239.62/39.99	c (28,0) x[3][29] = 3
239.62/39.99	c (28,0) x[4][0] = 3
239.62/39.99	c (28,0) x[4][1] = 2
239.62/39.99	c (28,0) x[4][2] = 1
239.62/39.99	c (28,0) x[4][3] = 22
239.62/39.99	c (28,0) x[4][4] = 20
239.62/39.99	c (28,0) x[4][5] = 11
239.62/39.99	c (28,0) x[4][6] = 14
239.62/39.99	c (28,0) x[4][7] = 16
239.62/39.99	c (28,0) x[4][8] = 18
239.62/39.99	c (28,0) x[4][9] = 27
239.62/39.99	c (28,0) x[4][10] = 23
239.62/39.99	c (28,0) x[4][11] = 12
239.62/39.99	c (28,0) x[4][12] = 4
239.62/39.99	c (28,0) x[4][13] = 6
239.62/39.99	c (28,0) x[4][14] = 10
239.62/39.99	c (28,0) x[4][15] = 15
239.62/39.99	c (28,0) x[4][16] = 19
239.62/39.99	c (28,0) x[4][17] = 5
239.62/39.99	c (28,0) x[4][18] = 26
239.62/39.99	c (28,0) x[4][19] = 28
239.62/39.99	c (28,0) x[4][20] = 24
239.62/39.99	c (28,0) x[4][21] = 8
239.62/39.99	c (28,0) x[4][22] = 13
239.62/39.99	c (28,0) x[4][23] = 17
239.62/40.00	c (28,0) x[4][24] = 9
239.62/40.00	c (28,0) x[4][25] = 7
239.62/40.00	c (28,0) x[4][26] = 0
239.62/40.00	c (28,0) x[4][27] = 29
239.62/40.00	c (28,0) x[4][28] = 25
239.62/40.00	c (28,0) x[4][29] = 21
239.62/40.00	c (28,0) x[5][0] = 21
239.62/40.00	c (28,0) x[5][1] = 6
239.62/40.00	c (28,0) x[5][2] = 3
239.62/40.00	c (28,0) x[5][3] = 0
239.62/40.00	c (28,0) x[5][4] = 10
239.62/40.00	c (28,0) x[5][5] = 5
239.62/40.00	c (28,0) x[5][6] = 4
239.62/40.00	c (28,0) x[5][7] = 11
239.62/40.00	c (28,0) x[5][8] = 17
239.62/40.00	c (28,0) x[5][9] = 8
239.62/40.00	c (28,0) x[5][10] = 28
239.62/40.00	c (28,0) x[5][11] = 22
239.62/40.00	c (28,0) x[5][12] = 29
239.62/40.00	c (28,0) x[5][13] = 12
239.62/40.00	c (28,0) x[5][14] = 16
239.62/40.00	c (28,0) x[5][15] = 23
239.62/40.00	c (28,0) x[5][16] = 24
239.62/40.00	c (28,0) x[5][17] = 26
239.62/40.00	c (28,0) x[5][18] = 27
239.62/40.00	c (28,0) x[5][19] = 18
239.62/40.00	c (28,0) x[5][20] = 9
239.62/40.00	c (28,0) x[5][21] = 2
239.62/40.00	c (28,0) x[5][22] = 19
239.62/40.00	c (28,0) x[5][23] = 15
239.62/40.00	c (28,0) x[5][24] = 20
239.62/40.00	c (28,0) x[5][25] = 13
239.62/40.00	c (28,0) x[5][26] = 25
239.62/40.00	c (28,0) x[5][27] = 7
239.62/40.00	c (28,0) x[5][28] = 14
239.62/40.00	c (28,0) x[5][29] = 1
239.62/40.00	c (28,0) x[6][0] = 22
239.62/40.00	c (28,0) x[6][1] = 13
239.62/40.00	c (28,0) x[6][2] = 18
239.62/40.00	c (28,0) x[6][3] = 23
239.62/40.00	c (28,0) x[6][4] = 8
239.62/40.00	c (28,0) x[6][5] = 15
239.62/40.00	c (28,0) x[6][6] = 20
239.62/40.00	c (28,0) x[6][7] = 4
239.62/40.00	c (28,0) x[6][8] = 25
239.62/40.00	c (28,0) x[6][9] = 14
239.62/40.00	c (28,0) x[6][10] = 26
239.62/40.00	c (28,0) x[6][11] = 6
239.62/40.00	c (28,0) x[6][12] = 3
239.62/40.00	c (28,0) x[6][13] = 9
239.62/40.00	c (28,0) x[6][14] = 5
239.62/40.00	c (28,0) x[6][15] = 27
239.62/40.00	c (28,0) x[6][16] = 11
239.62/40.00	c (28,0) x[6][17] = 17
239.62/40.00	c (28,0) x[6][18] = 28
239.62/40.00	c (28,0) x[6][19] = 24
239.62/40.00	c (28,0) x[6][20] = 1
239.62/40.00	c (28,0) x[6][21] = 12
239.62/40.00	c (28,0) x[6][22] = 2
239.62/40.00	c (28,0) x[6][23] = 10
239.62/40.00	c (28,0) x[6][24] = 19
239.62/40.00	c (28,0) x[6][25] = 16
239.62/40.00	c (28,0) x[6][26] = 7
239.62/40.00	c (28,0) x[6][27] = 21
239.62/40.00	c (28,0) x[6][28] = 29
239.62/40.00	c (28,0) x[6][29] = 0
239.62/40.00	c (28,0) x[7][0] = 5
239.62/40.00	c (28,0) x[7][1] = 22
239.62/40.00	c (28,0) x[7][2] = 24
239.62/40.00	c (28,0) x[7][3] = 7
239.62/40.00	c (28,0) x[7][4] = 19
239.62/40.00	c (28,0) x[7][5] = 28
239.62/40.00	c (28,0) x[7][6] = 25
239.62/40.00	c (28,0) x[7][7] = 15
239.62/40.00	c (28,0) x[7][8] = 9
239.62/40.00	c (28,0) x[7][9] = 26
239.62/40.00	c (28,0) x[7][10] = 18
239.62/40.00	c (28,0) x[7][11] = 11
239.62/40.00	c (28,0) x[7][12] = 16
239.62/40.00	c (28,0) x[7][13] = 17
239.62/40.00	c (28,0) x[7][14] = 14
239.62/40.00	c (28,0) x[7][15] = 8
239.62/40.00	c (28,0) x[7][16] = 2
239.62/40.00	c (28,0) x[7][17] = 10
239.62/40.00	c (28,0) x[7][18] = 13
239.62/40.00	c (28,0) x[7][19] = 4
239.62/40.00	c (28,0) x[7][20] = 6
239.62/40.00	c (28,0) x[7][21] = 21
239.62/40.00	c (28,0) x[7][22] = 23
239.62/40.00	c (28,0) x[7][23] = 29
239.62/40.00	c (28,0) x[7][24] = 0
239.62/40.00	c (28,0) x[7][25] = 3
239.62/40.00	c (28,0) x[7][26] = 1
239.62/40.00	c (28,0) x[7][27] = 27
239.62/40.00	c (28,0) x[7][28] = 12
239.62/40.00	c (28,0) x[7][29] = 20
239.62/40.00	c (28,0) x[8][0] = 8
239.62/40.00	c (28,0) x[8][1] = 28
239.62/40.00	c (28,0) x[8][2] = 6
239.62/40.00	c (28,0) x[8][3] = 10
239.62/40.00	c (28,0) x[8][4] = 16
239.62/40.00	c (28,0) x[8][5] = 9
239.62/40.00	c (28,0) x[8][6] = 13
239.62/40.00	c (28,0) x[8][7] = 26
239.62/40.00	c (28,0) x[8][8] = 1
239.62/40.00	c (28,0) x[8][9] = 23
239.62/40.00	c (28,0) x[8][10] = 29
239.62/40.00	c (28,0) x[8][11] = 24
239.62/40.00	c (28,0) x[8][12] = 21
239.62/40.00	c (28,0) x[8][13] = 4
239.62/40.00	c (28,0) x[8][14] = 27
239.62/40.00	c (28,0) x[8][15] = 2
239.62/40.00	c (28,0) x[8][16] = 5
239.62/40.00	c (28,0) x[8][17] = 0
239.62/40.00	c (28,0) x[8][18] = 20
239.62/40.00	c (28,0) x[8][19] = 19
239.62/40.00	c (28,0) x[8][20] = 3
239.62/40.00	c (28,0) x[8][21] = 15
239.62/40.00	c (28,0) x[8][22] = 11
239.62/40.00	c (28,0) x[8][23] = 7
239.62/40.00	c (28,0) x[8][24] = 18
239.62/40.00	c (28,0) x[8][25] = 12
239.62/40.00	c (28,0) x[8][26] = 14
239.62/40.00	c (28,0) x[8][27] = 25
239.62/40.00	c (28,0) x[8][28] = 22
239.62/40.00	c (28,0) x[8][29] = 17
239.62/40.00	c (28,0) x[9][0] = 26
239.62/40.00	c (28,0) x[9][1] = 5
239.62/40.00	c (28,0) x[9][2] = 11
239.62/40.00	c (28,0) x[9][3] = 4
239.62/40.00	c (28,0) x[9][4] = 24
239.62/40.00	c (28,0) x[9][5] = 12
239.62/40.00	c (28,0) x[9][6] = 16
239.62/40.00	c (28,0) x[9][7] = 1
239.62/40.00	c (28,0) x[9][8] = 6
239.62/40.00	c (28,0) x[9][9] = 25
239.62/40.00	c (28,0) x[9][10] = 8
239.62/40.00	c (28,0) x[9][11] = 18
239.62/40.00	c (28,0) x[9][12] = 27
239.62/40.00	c (28,0) x[9][13] = 21
239.62/40.00	c (28,0) x[9][14] = 0
239.62/40.00	c (28,0) x[9][15] = 3
239.62/40.00	c (28,0) x[9][16] = 23
239.62/40.00	c (28,0) x[9][17] = 2
239.62/40.00	c (28,0) x[9][18] = 19
239.62/40.00	c (28,0) x[9][19] = 7
239.62/40.00	c (28,0) x[9][20] = 28
239.62/40.00	c (28,0) x[9][21] = 29
239.62/40.00	c (28,0) x[9][22] = 22
239.62/40.00	c (28,0) x[9][23] = 20
239.62/40.00	c (28,0) x[9][24] = 14
239.62/40.00	c (28,0) x[9][25] = 9
239.62/40.00	c (28,0) x[9][26] = 13
239.62/40.00	c (28,0) x[9][27] = 17
239.62/40.00	c (28,0) x[9][28] = 15
239.62/40.00	c (28,0) x[9][29] = 10
239.62/40.00	c (28,0) x[10][0] = 2
239.62/40.00	c (28,0) x[10][1] = 25
239.62/40.00	c (28,0) x[10][2] = 28
239.62/40.00	c (28,0) x[10][3] = 14
239.62/40.00	c (28,0) x[10][4] = 7
239.62/40.00	c (28,0) x[10][5] = 0
239.62/40.00	c (28,0) x[10][6] = 17
239.62/40.00	c (28,0) x[10][7] = 18
239.62/40.00	c (28,0) x[10][8] = 8
239.62/40.00	c (28,0) x[10][9] = 5
239.62/40.00	c (28,0) x[10][10] = 1
239.62/40.00	c (28,0) x[10][11] = 10
239.62/40.00	c (28,0) x[10][12] = 11
239.62/40.00	c (28,0) x[10][13] = 26
239.62/40.00	c (28,0) x[10][14] = 22
239.62/40.00	c (28,0) x[10][15] = 16
239.62/40.00	c (28,0) x[10][16] = 13
239.62/40.00	c (28,0) x[10][17] = 20
239.62/40.00	c (28,0) x[10][18] = 12
239.62/40.00	c (28,0) x[10][19] = 23
239.62/40.00	c (28,0) x[10][20] = 15
239.62/40.00	c (28,0) x[10][21] = 6
239.62/40.00	c (28,0) x[10][22] = 4
239.62/40.00	c (28,0) x[10][23] = 19
239.62/40.00	c (28,0) x[10][24] = 29
239.62/40.00	c (28,0) x[10][25] = 21
239.62/40.00	c (28,0) x[10][26] = 3
239.62/40.00	c (28,0) x[10][27] = 24
239.62/40.00	c (28,0) x[10][28] = 27
239.62/40.00	c (28,0) x[10][29] = 9
239.62/40.00	c (28,0) x[11][0] = 27
239.62/40.00	c (28,0) x[11][1] = 9
239.62/40.00	c (28,0) x[11][2] = 15
239.62/40.00	c (28,0) x[11][3] = 25
239.62/40.00	c (28,0) x[11][4] = 12
239.62/40.00	c (28,0) x[11][5] = 26
239.62/40.00	c (28,0) x[11][6] = 3
239.62/40.00	c (28,0) x[11][7] = 8
239.62/40.00	c (28,0) x[11][8] = 19
239.62/40.00	c (28,0) x[11][9] = 21
239.88/40.00	c (28,0) x[11][10] = 10
239.88/40.00	c (28,0) x[11][11] = 16
239.88/40.00	c (28,0) x[11][12] = 0
239.88/40.00	c (28,0) x[11][13] = 11
239.88/40.00	c (28,0) x[11][14] = 6
239.88/40.00	c (28,0) x[11][15] = 24
239.88/40.00	c (28,0) x[11][16] = 1
239.88/40.00	c (28,0) x[11][17] = 28
239.88/40.00	c (28,0) x[11][18] = 29
239.88/40.00	c (28,0) x[11][19] = 20
239.88/40.00	c (28,0) x[11][20] = 18
239.88/40.00	c (28,0) x[11][21] = 23
239.88/40.00	c (28,0) x[11][22] = 14
239.88/40.00	c (28,0) x[11][23] = 2
239.88/40.00	c (28,0) x[11][24] = 5
239.88/40.00	c (28,0) x[11][25] = 22
239.88/40.00	c (28,0) x[11][26] = 17
239.88/40.00	c (28,0) x[11][27] = 13
239.88/40.00	c (28,0) x[11][28] = 4
239.88/40.00	c (28,0) x[11][29] = 7
239.88/40.00	c (28,0) x[12][0] = 7
239.88/40.00	c (28,0) x[12][1] = 4
239.88/40.00	c (28,0) x[12][2] = 25
239.88/40.00	c (28,0) x[12][3] = 20
239.88/40.00	c (28,0) x[12][4] = 29
239.88/40.00	c (28,0) x[12][5] = 17
239.88/40.00	c (28,0) x[12][6] = 2
239.88/40.00	c (28,0) x[12][7] = 19
239.88/40.00	c (28,0) x[12][8] = 5
239.88/40.00	c (28,0) x[12][9] = 13
239.88/40.00	c (28,0) x[12][10] = 6
239.88/40.00	c (28,0) x[12][11] = 0
239.88/40.00	c (28,0) x[12][12] = 22
239.88/40.00	c (28,0) x[12][13] = 24
239.88/40.00	c (28,0) x[12][14] = 3
239.88/40.00	c (28,0) x[12][15] = 9
239.88/40.00	c (28,0) x[12][16] = 15
239.88/40.00	c (28,0) x[12][17] = 21
239.88/40.00	c (28,0) x[12][18] = 23
239.88/40.00	c (28,0) x[12][19] = 10
239.88/40.00	c (28,0) x[12][20] = 16
239.88/40.00	c (28,0) x[12][21] = 14
239.88/40.00	c (28,0) x[12][22] = 8
239.88/40.00	c (28,0) x[12][23] = 1
239.88/40.00	c (28,0) x[12][24] = 26
239.88/40.00	c (28,0) x[12][25] = 18
239.88/40.00	c (28,0) x[12][26] = 27
239.88/40.00	c (28,0) x[12][27] = 12
239.88/40.00	c (28,0) x[12][28] = 11
239.88/40.00	c (28,0) x[12][29] = 28
239.88/40.00	c (28,0) x[13][0] = 16
239.88/40.00	c (28,0) x[13][1] = 26
239.88/40.00	c (28,0) x[13][2] = 5
239.88/40.00	c (28,0) x[13][3] = 9
239.88/40.00	c (28,0) x[13][4] = 0
239.88/40.00	c (28,0) x[13][5] = 3
239.88/40.00	c (28,0) x[13][6] = 7
239.88/40.00	c (28,0) x[13][7] = 22
239.88/40.00	c (28,0) x[13][8] = 27
239.88/40.00	c (28,0) x[13][9] = 6
239.88/40.00	c (28,0) x[13][10] = 21
239.88/40.00	c (28,0) x[13][11] = 19
239.88/40.00	c (28,0) x[13][12] = 10
239.88/40.00	c (28,0) x[13][13] = 1
239.88/40.00	c (28,0) x[13][14] = 8
239.88/40.00	c (28,0) x[13][15] = 13
239.88/40.00	c (28,0) x[13][16] = 12
239.88/40.00	c (28,0) x[13][17] = 29
239.88/40.00	c (28,0) x[13][18] = 2
239.88/40.00	c (28,0) x[13][19] = 11
239.88/40.00	c (28,0) x[13][20] = 23
239.88/40.00	c (28,0) x[13][21] = 4
239.88/40.00	c (28,0) x[13][22] = 20
239.88/40.00	c (28,0) x[13][23] = 28
239.88/40.00	c (28,0) x[13][24] = 15
239.88/40.00	c (28,0) x[13][25] = 17
239.88/40.00	c (28,0) x[13][26] = 18
239.88/40.00	c (28,0) x[13][27] = 14
239.88/40.00	c (28,0) x[13][28] = 24
239.88/40.00	c (28,0) x[13][29] = 25
239.88/40.00	c (28,0) x[14][0] = 12
239.88/40.00	c (28,0) x[14][1] = 23
239.88/40.00	c (28,0) x[14][2] = 16
239.88/40.00	c (28,0) x[14][3] = 3
239.88/40.00	c (28,0) x[14][4] = 28
239.88/40.00	c (28,0) x[14][5] = 24
239.88/40.00	c (28,0) x[14][6] = 8
239.88/40.00	c (28,0) x[14][7] = 6
239.88/40.00	c (28,0) x[14][8] = 10
239.88/40.00	c (28,0) x[14][9] = 2
239.88/40.00	c (28,0) x[14][10] = 14
239.88/40.00	c (28,0) x[14][11] = 15
239.88/40.00	c (28,0) x[14][12] = 9
239.88/40.00	c (28,0) x[14][13] = 20
239.88/40.00	c (28,0) x[14][14] = 25
239.88/40.00	c (28,0) x[14][15] = 17
239.88/40.00	c (28,0) x[14][16] = 29
239.88/40.00	c (28,0) x[14][17] = 18
239.88/40.00	c (28,0) x[14][18] = 1
239.88/40.00	c (28,0) x[14][19] = 5
239.88/40.00	c (28,0) x[14][20] = 13
239.88/40.00	c (28,0) x[14][21] = 11
239.88/40.00	c (28,0) x[14][22] = 26
239.88/40.00	c (28,0) x[14][23] = 4
239.88/40.00	c (28,0) x[14][24] = 21
239.88/40.00	c (28,0) x[14][25] = 0
239.88/40.00	c (28,0) x[14][26] = 22
239.88/40.00	c (28,0) x[14][27] = 19
239.88/40.00	c (28,0) x[14][28] = 7
239.88/40.00	c (28,0) x[14][29] = 27
239.88/40.00	c (28,0) x[15][0] = 19
239.88/40.00	c (28,0) x[15][1] = 29
239.88/40.00	c (28,0) x[15][2] = 0
239.88/40.00	c (28,0) x[15][3] = 27
239.88/40.00	c (28,0) x[15][4] = 1
239.88/40.00	c (28,0) x[15][5] = 18
239.88/40.00	c (28,0) x[15][6] = 12
239.88/40.00	c (28,0) x[15][7] = 21
239.88/40.00	c (28,0) x[15][8] = 7
239.88/40.00	c (28,0) x[15][9] = 3
239.88/40.00	c (28,0) x[15][10] = 9
239.88/40.00	c (28,0) x[15][11] = 4
239.88/40.00	c (28,0) x[15][12] = 26
239.88/40.00	c (28,0) x[15][13] = 13
239.88/40.00	c (28,0) x[15][14] = 2
239.88/40.00	c (28,0) x[15][15] = 14
239.88/40.00	c (28,0) x[15][16] = 25
239.88/40.00	c (28,0) x[15][17] = 23
239.88/40.00	c (28,0) x[15][18] = 10
239.88/40.00	c (28,0) x[15][19] = 16
239.88/40.00	c (28,0) x[15][20] = 11
239.88/40.00	c (28,0) x[15][21] = 24
239.88/40.00	c (28,0) x[15][22] = 15
239.88/40.00	c (28,0) x[15][23] = 22
239.88/40.00	c (28,0) x[15][24] = 8
239.88/40.00	c (28,0) x[15][25] = 20
239.88/40.00	c (28,0) x[15][26] = 6
239.88/40.00	c (28,0) x[15][27] = 28
239.88/40.00	c (28,0) x[15][28] = 17
239.88/40.00	c (28,0) x[15][29] = 5
239.88/40.00	c (28,0) x[16][0] = 15
239.88/40.00	c (28,0) x[16][1] = 17
239.88/40.00	c (28,0) x[16][2] = 27
239.88/40.00	c (28,0) x[16][3] = 21
239.88/40.00	c (28,0) x[16][4] = 5
239.88/40.00	c (28,0) x[16][5] = 10
239.88/40.00	c (28,0) x[16][6] = 9
239.88/40.00	c (28,0) x[16][7] = 20
239.88/40.00	c (28,0) x[16][8] = 11
239.88/40.00	c (28,0) x[16][9] = 22
239.88/40.00	c (28,0) x[16][10] = 24
239.88/40.00	c (28,0) x[16][11] = 29
239.88/40.00	c (28,0) x[16][12] = 2
239.88/40.00	c (28,0) x[16][13] = 18
239.88/40.00	c (28,0) x[16][14] = 1
239.88/40.00	c (28,0) x[16][15] = 4
239.88/40.00	c (28,0) x[16][16] = 28
239.88/40.00	c (28,0) x[16][17] = 13
239.88/40.00	c (28,0) x[16][18] = 16
239.88/40.00	c (28,0) x[16][19] = 12
239.88/40.00	c (28,0) x[16][20] = 26
239.88/40.00	c (28,0) x[16][21] = 3
239.88/40.00	c (28,0) x[16][22] = 0
239.88/40.00	c (28,0) x[16][23] = 25
239.88/40.00	c (28,0) x[16][24] = 7
239.88/40.00	c (28,0) x[16][25] = 8
239.88/40.00	c (28,0) x[16][26] = 23
239.88/40.00	c (28,0) x[16][27] = 6
239.88/40.00	c (28,0) x[16][28] = 19
239.88/40.00	c (28,0) x[16][29] = 14
239.88/40.00	c (28,0) x[17][0] = 11
239.88/40.00	c (28,0) x[17][1] = 15
239.88/40.00	c (28,0) x[17][2] = 17
239.88/40.00	c (28,0) x[17][3] = 12
239.88/40.00	c (28,0) x[17][4] = 27
239.88/40.00	c (28,0) x[17][5] = 20
239.88/40.00	c (28,0) x[17][6] = 26
239.88/40.00	c (28,0) x[17][7] = 13
239.88/40.00	c (28,0) x[17][8] = 29
239.88/40.00	c (28,0) x[17][9] = 7
239.88/40.00	c (28,0) x[17][10] = 3
239.88/40.00	c (28,0) x[17][11] = 14
239.88/40.00	c (28,0) x[17][12] = 6
239.88/40.00	c (28,0) x[17][13] = 5
239.88/40.00	c (28,0) x[17][14] = 18
239.88/40.00	c (28,0) x[17][15] = 21
239.88/40.00	c (28,0) x[17][16] = 4
239.88/40.00	c (28,0) x[17][17] = 16
239.88/40.00	c (28,0) x[17][18] = 25
239.88/40.00	c (28,0) x[17][19] = 1
239.88/40.00	c (28,0) x[17][20] = 2
239.88/40.00	c (28,0) x[17][21] = 19
239.88/40.00	c (28,0) x[17][22] = 10
239.88/40.00	c (28,0) x[17][23] = 0
239.88/40.00	c (28,0) x[17][24] = 22
239.88/40.00	c (28,0) x[17][25] = 28
239.88/40.00	c (28,0) x[17][26] = 9
239.88/40.00	c (28,0) x[17][27] = 8
239.88/40.00	c (28,0) x[17][28] = 23
239.88/40.00	c (28,0) x[17][29] = 24
239.88/40.00	c (28,0) x[18][0] = 10
239.88/40.00	c (28,0) x[18][1] = 14
239.88/40.00	c (28,0) x[18][2] = 7
239.88/40.00	c (28,0) x[18][3] = 15
239.88/40.00	c (28,0) x[18][4] = 25
239.88/40.00	c (28,0) x[18][5] = 4
239.88/40.00	c (28,0) x[18][6] = 29
239.88/40.00	c (28,0) x[18][7] = 24
239.88/40.00	c (28,0) x[18][8] = 13
239.88/40.00	c (28,0) x[18][9] = 16
239.88/40.00	c (28,0) x[18][10] = 19
239.88/40.00	c (28,0) x[18][11] = 5
239.88/40.00	c (28,0) x[18][12] = 1
239.88/40.00	c (28,0) x[18][13] = 2
239.88/40.00	c (28,0) x[18][14] = 20
239.88/40.00	c (28,0) x[18][15] = 12
239.88/40.00	c (28,0) x[18][16] = 26
239.88/40.00	c (28,0) x[18][17] = 3
239.88/40.00	c (28,0) x[18][18] = 22
239.88/40.00	c (28,0) x[18][19] = 0
239.88/40.00	c (28,0) x[18][20] = 21
239.88/40.00	c (28,0) x[18][21] = 17
239.88/40.00	c (28,0) x[18][22] = 27
239.88/40.00	c (28,0) x[18][23] = 18
239.88/40.00	c (28,0) x[18][24] = 28
239.88/40.00	c (28,0) x[18][25] = 23
239.88/40.00	c (28,0) x[18][26] = 11
239.88/40.00	c (28,0) x[18][27] = 9
239.88/40.00	c (28,0) x[18][28] = 8
239.88/40.00	c (28,0) x[18][29] = 6
239.88/40.00	c (28,0) x[19][0] = 0
239.88/40.00	c (28,0) x[19][1] = 11
239.88/40.00	c (28,0) x[19][2] = 10
239.88/40.00	c (28,0) x[19][3] = 29
239.88/40.00	c (28,0) x[19][4] = 21
239.88/40.00	c (28,0) x[19][5] = 2
239.88/40.00	c (28,0) x[19][6] = 6
239.88/40.00	c (28,0) x[19][7] = 27
239.88/40.00	c (28,0) x[19][8] = 3
239.88/40.00	c (28,0) x[19][9] = 28
239.88/40.00	c (28,0) x[19][10] = 15
239.88/40.00	c (28,0) x[19][11] = 20
239.88/40.00	c (28,0) x[19][12] = 23
239.88/40.00	c (28,0) x[19][13] = 14
239.88/40.00	c (28,0) x[19][14] = 9
239.88/40.00	c (28,0) x[19][15] = 18
239.88/40.00	c (28,0) x[19][16] = 7
239.88/40.00	c (28,0) x[19][17] = 25
239.88/40.00	c (28,0) x[19][18] = 24
239.88/40.00	c (28,0) x[19][19] = 13
239.88/40.00	c (28,0) x[19][20] = 19
239.88/40.00	c (28,0) x[19][21] = 16
239.88/40.00	c (28,0) x[19][22] = 17
239.88/40.00	c (28,0) x[19][23] = 26
239.88/40.00	c (28,0) x[19][24] = 12
239.88/40.00	c (28,0) x[19][25] = 5
239.88/40.00	c (28,0) x[19][26] = 8
239.88/40.00	c (28,0) x[19][27] = 4
239.88/40.00	c (28,0) x[19][28] = 1
239.88/40.00	c (28,0) x[19][29] = 22
239.88/40.00	c (28,0) x[20][0] = 24
239.88/40.00	c (28,0) x[20][1] = 7
239.88/40.00	c (28,0) x[20][2] = 8
239.88/40.00	c (28,0) x[20][3] = 1
239.88/40.00	c (28,0) x[20][4] = 11
239.88/40.00	c (28,0) x[20][5] = 27
239.88/40.00	c (28,0) x[20][6] = 5
239.88/40.00	c (28,0) x[20][7] = 28
239.88/40.00	c (28,0) x[20][8] = 0
239.88/40.00	c (28,0) x[20][9] = 29
239.88/40.00	c (28,0) x[20][10] = 16
239.88/40.00	c (28,0) x[20][11] = 17
239.88/40.00	c (28,0) x[20][12] = 15
239.88/40.00	c (28,0) x[20][13] = 10
239.88/40.00	c (28,0) x[20][14] = 23
239.88/40.00	c (28,0) x[20][15] = 26
239.88/40.00	c (28,0) x[20][16] = 9
239.88/40.00	c (28,0) x[20][17] = 6
239.88/40.00	c (28,0) x[20][18] = 4
239.88/40.00	c (28,0) x[20][19] = 25
239.88/40.00	c (28,0) x[20][20] = 20
239.88/40.00	c (28,0) x[20][21] = 18
239.88/40.00	c (28,0) x[20][22] = 21
239.88/40.00	c (28,0) x[20][23] = 14
239.88/40.00	c (28,0) x[20][24] = 3
239.88/40.00	c (28,0) x[20][25] = 2
239.88/40.00	c (28,0) x[20][26] = 19
239.88/40.00	c (28,0) x[20][27] = 22
239.88/40.00	c (28,0) x[20][28] = 13
239.88/40.00	c (28,0) x[20][29] = 12
239.88/40.00	c (28,0) x[21][0] = 1
239.88/40.00	c (28,0) x[21][1] = 18
239.88/40.00	c (28,0) x[21][2] = 20
239.88/40.00	c (28,0) x[21][3] = 6
239.88/40.00	c (28,0) x[21][4] = 3
239.88/40.00	c (28,0) x[21][5] = 23
239.88/40.00	c (28,0) x[21][6] = 19
239.88/40.00	c (28,0) x[21][7] = 25
239.88/40.00	c (28,0) x[21][8] = 12
239.88/40.00	c (28,0) x[21][9] = 4
239.88/40.00	c (28,0) x[21][10] = 11
239.88/40.00	c (28,0) x[21][11] = 21
239.88/40.00	c (28,0) x[21][12] = 28
239.88/40.00	c (28,0) x[21][13] = 8
239.88/40.00	c (28,0) x[21][14] = 17
239.88/40.00	c (28,0) x[21][15] = 0
239.88/40.00	c (28,0) x[21][16] = 22
239.88/40.00	c (28,0) x[21][17] = 27
239.88/40.00	c (28,0) x[21][18] = 7
239.88/40.00	c (28,0) x[21][19] = 14
239.88/40.00	c (28,0) x[21][20] = 29
239.88/40.00	c (28,0) x[21][21] = 10
239.88/40.00	c (28,0) x[21][22] = 9
239.88/40.00	c (28,0) x[21][23] = 24
239.88/40.00	c (28,0) x[21][24] = 2
239.88/40.00	c (28,0) x[21][25] = 26
239.88/40.00	c (28,0) x[21][26] = 15
239.88/40.00	c (28,0) x[21][27] = 5
239.88/40.00	c (28,0) x[21][28] = 16
239.88/40.00	c (28,0) x[21][29] = 13
239.88/40.00	c (28,0) x[22][0] = 13
239.88/40.00	c (28,0) x[22][1] = 21
239.88/40.00	c (28,0) x[22][2] = 14
239.88/40.00	c (28,0) x[22][3] = 2
239.88/40.00	c (28,0) x[22][4] = 18
239.88/40.00	c (28,0) x[22][5] = 19
239.88/40.00	c (28,0) x[22][6] = 27
239.88/40.00	c (28,0) x[22][7] = 10
239.88/40.00	c (28,0) x[22][8] = 24
239.88/40.00	c (28,0) x[22][9] = 15
239.88/40.00	c (28,0) x[22][10] = 4
239.88/40.00	c (28,0) x[22][11] = 1
239.88/40.00	c (28,0) x[22][12] = 8
239.88/40.00	c (28,0) x[22][13] = 22
239.88/40.00	c (28,0) x[22][14] = 29
239.88/40.00	c (28,0) x[22][15] = 28
239.88/40.00	c (28,0) x[22][16] = 17
239.88/40.00	c (28,0) x[22][17] = 9
239.88/40.00	c (28,0) x[22][18] = 0
239.88/40.00	c (28,0) x[22][19] = 3
239.88/40.00	c (28,0) x[22][20] = 7
239.88/40.00	c (28,0) x[22][21] = 26
239.88/40.00	c (28,0) x[22][22] = 25
239.88/40.00	c (28,0) x[22][23] = 5
239.88/40.00	c (28,0) x[22][24] = 6
239.88/40.00	c (28,0) x[22][25] = 11
239.88/40.00	c (28,0) x[22][26] = 12
239.88/40.00	c (28,0) x[22][27] = 23
239.88/40.00	c (28,0) x[22][28] = 20
239.88/40.00	c (28,0) x[22][29] = 16
239.88/40.00	c (28,0) x[23][0] = 25
239.88/40.00	c (28,0) x[23][1] = 8
239.88/40.00	c (28,0) x[23][2] = 9
239.88/40.00	c (28,0) x[23][3] = 24
239.88/40.00	c (28,0) x[23][4] = 2
239.88/40.00	c (28,0) x[23][5] = 13
239.88/40.00	c (28,0) x[23][6] = 18
239.88/40.00	c (28,0) x[23][7] = 14
239.88/40.00	c (28,0) x[23][8] = 15
239.88/40.00	c (28,0) x[23][9] = 19
239.88/40.00	c (28,0) x[23][10] = 17
239.88/40.00	c (28,0) x[23][11] = 3
239.88/40.00	c (28,0) x[23][12] = 12
239.88/40.00	c (28,0) x[23][13] = 0
239.88/40.00	c (28,0) x[23][14] = 28
239.88/40.00	c (28,0) x[23][15] = 20
239.88/40.00	c (28,0) x[23][16] = 21
239.88/40.00	c (28,0) x[23][17] = 4
239.88/40.00	c (28,0) x[23][18] = 6
239.88/40.00	c (28,0) x[23][19] = 26
239.88/40.00	c (28,0) x[23][20] = 22
239.88/40.00	c (28,0) x[23][21] = 1
239.88/40.00	c (28,0) x[23][22] = 7
239.88/40.00	c (28,0) x[23][23] = 23
239.88/40.00	c (28,0) x[23][24] = 16
239.88/40.00	c (28,0) x[23][25] = 27
239.88/40.00	c (28,0) x[23][26] = 10
239.88/40.00	c (28,0) x[23][27] = 11
239.88/40.00	c (28,0) x[23][28] = 5
239.88/40.00	c (28,0) x[23][29] = 29
239.88/40.00	c (28,0) x[24][0] = 17
239.88/40.00	c (28,0) x[24][1] = 3
239.88/40.00	c (28,0) x[24][2] = 12
239.88/40.00	c (28,0) x[24][3] = 28
239.88/40.00	c (28,0) x[24][4] = 22
239.88/40.00	c (28,0) x[24][5] = 14
239.88/40.00	c (28,0) x[24][6] = 23
239.88/40.00	c (28,0) x[24][7] = 0
239.88/40.00	c (28,0) x[24][8] = 26
239.88/40.00	c (28,0) x[24][9] = 24
239.88/40.00	c (28,0) x[24][10] = 25
239.88/40.00	c (28,0) x[24][11] = 13
239.88/40.00	c (28,0) x[24][12] = 20
239.88/40.00	c (28,0) x[24][13] = 29
239.88/40.00	c (28,0) x[24][14] = 11
239.88/40.00	c (28,0) x[24][15] = 7
239.88/40.00	c (28,0) x[24][16] = 6
239.88/40.00	c (28,0) x[24][17] = 1
239.88/40.00	c (28,0) x[24][18] = 8
239.88/40.00	c (28,0) x[24][19] = 9
239.88/40.00	c (28,0) x[24][20] = 10
239.88/40.00	c (28,0) x[24][21] = 27
239.88/40.00	c (28,0) x[24][22] = 5
239.88/40.00	c (28,0) x[24][23] = 16
239.88/40.00	c (28,0) x[24][24] = 4
239.88/40.00	c (28,0) x[24][25] = 15
239.88/40.00	c (28,0) x[24][26] = 21
239.88/40.00	c (28,0) x[24][27] = 18
239.88/40.00	c (28,0) x[24][28] = 2
239.88/40.00	c (28,0) x[24][29] = 19
239.88/40.00	c (28,0) x[25][0] = 28
239.88/40.00	c (28,0) x[25][1] = 10
239.88/40.00	c (28,0) x[25][2] = 29
239.88/40.00	c (28,0) x[25][3] = 19
239.88/40.00	c (28,0) x[25][4] = 15
239.88/40.00	c (28,0) x[25][5] = 1
239.88/40.00	c (28,0) x[25][6] = 21
239.88/40.00	c (28,0) x[25][7] = 23
239.88/40.00	c (28,0) x[25][8] = 4
239.88/40.00	c (28,0) x[25][9] = 9
239.88/40.00	c (28,0) x[25][10] = 0
239.88/40.00	c (28,0) x[25][11] = 26
239.88/40.00	c (28,0) x[25][12] = 25
239.88/40.00	c (28,0) x[25][13] = 3
239.88/40.00	c (28,0) x[25][14] = 7
239.88/40.00	c (28,0) x[25][15] = 6
239.88/40.00	c (28,0) x[25][16] = 8
239.88/40.00	c (28,0) x[25][17] = 22
239.88/40.00	c (28,0) x[25][18] = 5
239.88/40.00	c (28,0) x[25][19] = 17
239.88/40.00	c (28,0) x[25][20] = 27
239.88/40.00	c (28,0) x[25][21] = 13
239.88/40.00	c (28,0) x[25][22] = 12
239.88/40.00	c (28,0) x[25][23] = 11
239.88/40.00	c (28,0) x[25][24] = 24
239.88/40.00	c (28,0) x[25][25] = 14
239.88/40.00	c (28,0) x[25][26] = 20
239.88/40.00	c (28,0) x[25][27] = 16
239.88/40.00	c (28,0) x[25][28] = 18
239.88/40.00	c (28,0) x[25][29] = 2
239.88/40.00	c (28,0) x[26][0] = 9
239.88/40.00	c (28,0) x[26][1] = 16
239.88/40.00	c (28,0) x[26][2] = 13
239.88/40.00	c (28,0) x[26][3] = 5
239.88/40.00	c (28,0) x[26][4] = 4
239.88/40.00	c (28,0) x[26][5] = 22
239.88/40.00	c (28,0) x[26][6] = 15
239.88/40.00	c (28,0) x[26][7] = 29
239.88/40.00	c (28,0) x[26][8] = 20
239.88/40.00	c (28,0) x[26][9] = 17
239.88/40.00	c (28,0) x[26][10] = 7
239.88/40.00	c (28,0) x[26][11] = 27
239.88/40.00	c (28,0) x[26][12] = 24
239.88/40.00	c (28,0) x[26][13] = 19
239.88/40.00	c (28,0) x[26][14] = 26
239.88/40.00	c (28,0) x[26][15] = 25
239.88/40.00	c (28,0) x[26][16] = 3
239.88/40.00	c (28,0) x[26][17] = 8
239.88/40.00	c (28,0) x[26][18] = 14
239.88/40.00	c (28,0) x[26][19] = 6
239.88/40.00	c (28,0) x[26][20] = 12
239.88/40.00	c (28,0) x[26][21] = 0
239.88/40.00	c (28,0) x[26][22] = 18
239.88/40.00	c (28,0) x[26][23] = 21
239.88/40.00	c (28,0) x[26][24] = 23
239.88/40.00	c (28,0) x[26][25] = 1
239.88/40.00	c (28,0) x[26][26] = 28
239.88/40.00	c (28,0) x[26][27] = 2
239.88/40.00	c (28,0) x[26][28] = 10
239.88/40.00	c (28,0) x[26][29] = 11
239.88/40.00	c (28,0) x[27][0] = 6
239.88/40.00	c (28,0) x[27][1] = 1
239.88/40.00	c (28,0) x[27][2] = 23
239.88/40.00	c (28,0) x[27][3] = 18
239.88/40.00	c (28,0) x[27][4] = 17
239.88/40.00	c (28,0) x[27][5] = 7
239.88/40.00	c (28,0) x[27][6] = 22
239.88/40.00	c (28,0) x[27][7] = 3
239.88/40.00	c (28,0) x[27][8] = 16
239.88/40.00	c (28,0) x[27][9] = 12
239.88/40.00	c (28,0) x[27][10] = 20
239.88/40.00	c (28,0) x[27][11] = 25
239.88/40.00	c (28,0) x[27][12] = 14
239.88/40.00	c (28,0) x[27][13] = 27
239.88/40.00	c (28,0) x[27][14] = 19
239.88/40.00	c (28,0) x[27][15] = 10
239.88/40.00	c (28,0) x[27][16] = 0
239.88/40.00	c (28,0) x[27][17] = 11
239.88/40.00	c (28,0) x[27][18] = 21
239.88/40.00	c (28,0) x[27][19] = 2
239.88/40.00	c (28,0) x[27][20] = 8
239.88/40.00	c (28,0) x[27][21] = 5
239.88/40.00	c (28,0) x[27][22] = 24
239.88/40.00	c (28,0) x[27][23] = 9
239.88/40.00	c (28,0) x[27][24] = 13
239.88/40.00	c (28,0) x[27][25] = 4
239.88/40.00	c (28,0) x[27][26] = 29
239.88/40.00	c (28,0) x[27][27] = 15
239.88/40.00	c (28,0) x[27][28] = 28
239.88/40.00	c (28,0) x[27][29] = 26
239.88/40.00	c (28,0) x[28][0] = 14
239.88/40.00	c (28,0) x[28][1] = 19
239.88/40.00	c (28,0) x[28][2] = 21
239.88/40.00	c (28,0) x[28][3] = 11
239.88/40.00	c (28,0) x[28][4] = 13
239.88/40.00	c (28,0) x[28][5] = 6
239.88/40.00	c (28,0) x[28][6] = 1
239.88/40.00	c (28,0) x[28][7] = 9
239.88/40.00	c (28,0) x[28][8] = 22
239.88/40.00	c (28,0) x[28][9] = 18
239.88/40.00	c (28,0) x[28][10] = 5
239.88/40.00	c (28,0) x[28][11] = 2
239.88/40.00	c (28,0) x[28][12] = 17
239.88/40.00	c (28,0) x[28][13] = 28
239.88/40.00	c (28,0) x[28][14] = 12
239.88/40.00	c (28,0) x[28][15] = 29
239.88/40.00	c (28,0) x[28][16] = 10
239.88/40.00	c (28,0) x[28][17] = 7
239.88/40.00	c (28,0) x[28][18] = 3
239.88/40.00	c (28,0) x[28][19] = 15
239.88/40.00	c (28,0) x[28][20] = 0
239.88/40.00	c (28,0) x[28][21] = 25
239.88/40.00	c (28,0) x[28][22] = 16
239.88/40.00	c (28,0) x[28][23] = 8
239.88/40.00	c (28,0) x[28][24] = 27
239.88/40.00	c (28,0) x[28][25] = 24
239.88/40.00	c (28,0) x[28][26] = 4
239.88/40.00	c (28,0) x[28][27] = 20
239.88/40.00	c (28,0) x[28][28] = 26
239.88/40.00	c (28,0) x[28][29] = 23
239.88/40.00	c (28,0) x[29][0] = 23
239.88/40.00	c (28,0) x[29][1] = 12
239.88/40.00	c (28,0) x[29][2] = 4
239.88/40.00	c (28,0) x[29][3] = 8
239.88/40.00	c (28,0) x[29][4] = 14
239.88/40.00	c (28,0) x[29][5] = 25
239.88/40.00	c (28,0) x[29][6] = 10
239.88/40.00	c (28,0) x[29][7] = 7
239.88/40.00	c (28,0) x[29][8] = 28
239.88/40.00	c (28,0) x[29][9] = 20
239.88/40.00	c (28,0) x[29][10] = 2
239.88/40.00	c (28,0) x[29][11] = 9
239.88/40.00	c (28,0) x[29][12] = 19
239.88/40.00	c (28,0) x[29][13] = 16
239.88/40.00	c (28,0) x[29][14] = 13
239.88/40.00	c (28,0) x[29][15] = 1
239.88/40.00	c (28,0) x[29][16] = 18
239.88/40.00	c (28,0) x[29][17] = 24
239.88/40.00	c (28,0) x[29][18] = 11
239.88/40.00	c (28,0) x[29][19] = 21
239.88/40.00	c (28,0) x[29][20] = 5
239.88/40.00	c (28,0) x[29][21] = 22
239.88/40.00	c (28,0) x[29][22] = 29
239.88/40.00	c (28,0) x[29][23] = 27
239.88/40.00	c (28,0) x[29][24] = 17
239.88/40.00	c (28,0) x[29][25] = 6
239.88/40.00	c (28,0) x[29][26] = 26
239.88/40.00	c (28,0) x[29][27] = 0
239.88/40.00	c (28,0) x[29][28] = 3
239.88/40.00	c (28,0) x[29][29] = 15
239.88/40.00	s SATISFIABLE
239.88/40.01	v <instantiation>
239.88/40.01	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>
239.88/40.01	v     <values>20 27 26 16 9 21 28 5 2 10 22 23 13 15 4 19 14 12 17 8 25 7 1 6 11 29 24 3 0 18 18 24 2 26 23 29 11 17 14 0 13 7 5 25 21 22 20 15 9 27 4 28 3 12 1 19 16 10 6 8 29 0 19 13 6 16 24 2 21 1 12 8 7 23 15 11 27 14 18 22 17 20 28 3 25 10 5 26 9 4 4 20 22 17 26 8 0 12 23 11 27 28 18 7 24 5 16 19 15 29 14 9 6 13 10 25 2 1 21 3 3 2 1 22 20 11 14 16 18 27 23 12 4 6 10 15 19 5 26 28 24 8 13 17 9 7 0 29 25 21 21 6 3 0 10 5 4 11 17 8 28 22 29 12 16 23 24 26 27 18 9 2 19 15 20 13 25 7 14 1 22 13 18 23 8 15 20 4 25 14 26 6 3 9 5 27 11 17 28 24 1 12 2 10 19 16 7 21 29 0 5 22 24 7 19 28 25 15 9 26 18 11 16 17 14 8 2 10 13 4 6 21 23 29 0 3 1 27 12 20 8 28 6 10 16 9 13 26 1 23 29 24 21 4 27 2 5 0 20 19 3 15 11 7 18 12 14 25 22 17 26 5 11 4 24 12 16 1 6 25 8 18 27 21 0 3 23 2 19 7 28 29 22 20 14 9 13 17 15 10 2 25 28 14 7 0 17 18 8 5 1 10 11 26 22 16 13 20 12 23 15 6 4 19 29 21 3 24 27 9 27 9 15 25 12 26 3 8 19 21 10 16 0 11 6 24 1 28 29 20 18 23 14 2 5 22 17 13 4 7 7 4 25 20 29 17 2 19 5 13 6 0 22 24 3 9 15 21 23 10 16 14 8 1 26 18 27 12 11 28 16 26 5 9 0 3 7 22 27 6 21 19 10 1 8 13 12 29 2 11 23 4 20 28 15 17 18 14 24 25 12 23 16 3 28 24 8 6 10 2 14 15 9 20 25 17 29 18 1 5 13 11 26 4 21 0 22 19 7 27 19 29 0 27 1 18 12 21 7 3 9 4 26 13 2 14 25 23 10 16 11 24 15 22 8 20 6 28 17 5 15 17 27 21 5 10 9 20 11 22 24 29 2 18 1 4 28 13 16 12 26 3 0 25 7 8 23 6 19 14 11 15 17 12 27 20 26 13 29 7 3 14 6 5 18 21 4 16 25 1 2 19 10 0 22 28 9 8 23 24 10 14 7 15 25 4 29 24 13 16 19 5 1 2 20 12 26 3 22 0 21 17 27 18 28 23 11 9 8 6 0 11 10 29 21 2 6 27 3 28 15 20 23 14 9 18 7 25 24 13 19 16 17 26 12 5 8 4 1 22 24 7 8 1 11 27 5 28 0 29 16 17 15 10 23 26 9 6 4 25 20 18 21 14 3 2 19 22 13 12 1 18 20 6 3 23 19 25 12 4 11 21 28 8 17 0 22 27 7 14 29 10 9 24 2 26 15 5 16 13 13 21 14 2 18 19 27 10 24 15 4 1 8 22 29 28 17 9 0 3 7 26 25 5 6 11 12 23 20 16 25 8 9 24 2 13 18 14 15 19 17 3 12 0 28 20 21 4 6 26 22 1 7 23 16 27 10 11 5 29 17 3 12 28 22 14 23 0 26 24 25 13 20 29 11 7 6 1 8 9 10 27 5 16 4 15 21 18 2 19 28 10 29 19 15 1 21 23 4 9 0 26 25 3 7 6 8 22 5 17 27 13 12 11 24 14 20 16 18 2 9 16 13 5 4 22 15 29 20 17 7 27 24 19 26 25 3 8 14 6 12 0 18 21 23 1 28 2 10 11 6 1 23 18 17 7 22 3 16 12 20 25 14 27 19 10 0 11 21 2 8 5 24 9 13 4 29 15 28 26 14 19 21 11 13 6 1 9 22 18 5 2 17 28 12 29 10 7 3 15 0 25 16 8 27 24 4 20 26 23 23 12 4 8 14 25 10 7 28 20 2 9 19 16 13 1 18 24 11 21 5 22 29 27 17 6 26 0 3 15</values>
239.88/40.01	v </instantiation>
239.88/40.01	c (28,0) Show results End
239.88/40.01	c (28,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
239.88/40.01	c (28,0) 28,28,STOP-AFTER(ALL)
239.88/40.01	c END-Prog: Tue Sep 24 23:04:44 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 (10969 MiB free)
  memory of node 1: 16384 MiB (12793 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405623-1569359085/watcher-4405623-1569359085 -o /var/tmp/evaluation-result-4405623-1569359085/solver-4405623-1569359085 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --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-4405623-1569359085.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 threadsolver pid=24507, runsolver pid=24504
Starting watchdog threadsolver pid=24507, runsolver pid=Current StackSize limit: 8192 KiB


[startup+0.104757 s]*
/proc/loadavg: 1.72 3.39 6.00 3/217 24529
/proc/meminfo: memFree=24237504/32770624 swapFree=67002968/67108860
[pid=24507] ppid=24504 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24507/stat : 24507 (scop.sh) S 24504 24507 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512147969 115843072 349 33554432000 4194304 5098028 140727398385648 140727398382904 139860515025532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38191104 140727398388476 140727398388824 140727398388824 140727398391753 0
/proc/24507/statm: 28282 349 296 221 0 87 0
[pid=24510] ppid=24507 vsize=27314120 memory=108684 CPUtime=0.11 cores=0-7
/proc/24510/stat : 24510 (java) S 24507 24507 20244 0 -1 1077944320 6233 0 0 0 9 2 0 0 20 0 20 0 512147970 27969658880 27171 33554432000 4194304 4196468 140726530489056 140726530471600 140626099371767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
/proc/24510/statm: 6828530 27171 2817 1 0 6790935 0
[pid=24510/tid=24511] ppid=24507 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24507 24507 20244 0 -1 4202560 4290 0 0 0 7 2 0 0 20 0 20 0 512147970 27969658880 27171 33554432000 4194304 4196468 140726530489056 140626071185008 140626084742992 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24512] ppid=24507 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140626103613840 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24513] ppid=24507 vsize=27314120 memory=139788982347392 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625521400080 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24514] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625520347792 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24515] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625519294992 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24516] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625518242704 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24517] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625517189904 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24518] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625516137616 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24519] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 27171 33554432000 4194304 4196468 140726530489056 140625515084816 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24520] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147974 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624217978992 140626099382914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24521] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24507 24507 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512147974 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624074367776 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24522] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147975 27969658880 27171 33554432000 4194304 4196468 140726530489056 140623805932656 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24523] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 27171 33554432000 4194304 4196468 140726530489056 140623431424080 140626099390363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24524] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24507 24507 20244 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624216926832 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24525] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624215874032 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24526] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624214821744 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24527] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) R 24507 24507 20244 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624213768944 140626078355492 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24528] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 27171 33554432000 4194304 4196468 140726530489056 140622933518688 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24529] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147978 27969658880 27171 33554432000 4194304 4196468 140726530489056 140624212715824 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110080 KiB

[startup+0.210479 s]*
/proc/loadavg: 1.72 3.39 6.00 4/217 24529
/proc/meminfo: memFree=24217332/32770624 swapFree=67002968/67108860
[pid=24507] ppid=24504 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24507/stat : 24507 (scop.sh) S 24504 24507 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512147969 115843072 349 33554432000 4194304 5098028 140727398385648 140727398382904 139860515025532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38191104 140727398388476 140727398388824 140727398388824 140727398391753 0
/proc/24507/statm: 28282 349 296 221 0 87 0
[pid=24510] ppid=24507 vsize=27314120 memory=125712 CPUtime=0.24 cores=0-7
/proc/24510/stat : 24510 (java) S 24507 24507 20244 0 -1 1077944320 11762 0 0 0 20 4 0 0 20 0 20 0 512147970 27969658880 31428 33554432000 4194304 4196468 140726530489056 140726530471600 140626099371767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
/proc/24510/statm: 6828530 31428 2977 1 0 6790935 0
[pid=24510/tid=24511] ppid=24507 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24507 24507 20244 0 -1 4202560 9483 0 0 0 16 3 0 0 20 0 20 0 512147970 27969658880 31428 33554432000 4194304 4196468 140726530489056 140626071171152 140626083479640 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24512] ppid=24507 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140626103613840 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24513] ppid=24507 vsize=27314120 memory=139788986178568 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625521400080 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24514] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625520347792 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24515] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625519294992 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24516] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625518242704 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24517] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625517189904 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24518] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625516137616 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24519] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 31428 33554432000 4194304 4196468 140726530489056 140625515084816 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24520] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147974 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624217978992 140626099382914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24521] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24507 24507 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512147974 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624074367776 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24522] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147975 27969658880 31428 33554432000 4194304 4196468 140726530489056 140623805932656 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24523] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 31428 33554432000 4194304 4196468 140726530489056 140623431424080 140626099390363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24524] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24507 24507 20244 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624216926832 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24525] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24507 24507 20244 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624215874032 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24526] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624214821744 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24527] ppid=24507 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) S 24507 24507 20244 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 512147977 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624213768944 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24528] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 31428 33554432000 4194304 4196468 140726530489056 140622933518688 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24529] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147978 27969658880 31428 33554432000 4194304 4196468 140726530489056 140624212715824 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127108 KiB

[startup+0.310011 s]*
/proc/loadavg: 1.72 3.39 6.00 2/217 24529
/proc/meminfo: memFree=24213796/32770624 swapFree=67002968/67108860
[pid=24507] ppid=24504 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24507/stat : 24507 (scop.sh) S 24504 24507 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512147969 115843072 349 33554432000 4194304 5098028 140727398385648 140727398382904 139860515025532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38191104 140727398388476 140727398388824 140727398388824 140727398391753 0
/proc/24507/statm: 28282 349 296 221 0 87 0
[pid=24510] ppid=24507 vsize=27314120 memory=129560 CPUtime=0.42 cores=0-7
/proc/24510/stat : 24510 (java) S 24507 24507 20244 0 -1 1077944320 12252 0 0 0 38 4 0 0 20 0 20 0 512147970 27969658880 32390 33554432000 4194304 4196468 140726530489056 140726530471600 140626099371767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
/proc/24510/statm: 6828530 32390 3032 1 0 6790935 0
[pid=24510/tid=24511] ppid=24507 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24507 24507 20244 0 -1 4202560 9791 0 0 0 26 3 0 0 20 0 20 0 512147970 27969658880 32390 33554432000 4194304 4196468 140726530489056 140626071174992 140626080935342 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24512] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140626103613840 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24513] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625521400080 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24514] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625520347792 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24515] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24515/stat : 24515 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625519294992 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24516] ppid=24507 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24510/task/24516/stat : 24516 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625518242704 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24517] ppid=24507 vsize=27314120 memory=139788837548975 CPUtime=0 cores=0-7
/proc/24510/task/24517/stat : 24517 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625517189904 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24518] ppid=24507 vsize=27314120 memory=139788837551280 CPUtime=0 cores=0-7
/proc/24510/task/24518/stat : 24518 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625516137616 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24519] ppid=24507 vsize=27314120 memory=139788837553584 CPUtime=0 cores=0-7
/proc/24510/task/24519/stat : 24519 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27969658880 32390 33554432000 4194304 4196468 140726530489056 140625515084816 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24520] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24520/stat : 24520 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147974 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624217978992 140626099382914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24521] ppid=24507 vsize=27314120 memory=279577675114128 CPUtime=0 cores=0-7
/proc/24510/task/24521/stat : 24521 (java) S 24507 24507 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512147974 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624074367776 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24522] ppid=24507 vsize=27314120 memory=279577675121040 CPUtime=0 cores=0-7
/proc/24510/task/24522/stat : 24522 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147975 27969658880 32390 33554432000 4194304 4196468 140726530489056 140623805932656 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24523] ppid=24507 vsize=27314120 memory=279577675062320 CPUtime=0 cores=0-7
/proc/24510/task/24523/stat : 24523 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 32390 33554432000 4194304 4196468 140726530489056 140623431424080 140626099390363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24524] ppid=24507 vsize=27314120 memory=279577675134864 CPUtime=0.03 cores=0-7
/proc/24510/task/24524/stat : 24524 (java) S 24507 24507 20244 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 20 0 512147977 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624216926832 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24525] ppid=24507 vsize=27314120 memory=279577675141776 CPUtime=0 cores=0-7
/proc/24510/task/24525/stat : 24525 (java) S 24507 24507 20244 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624215874032 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24526] ppid=24507 vsize=27314120 memory=279577675139472 CPUtime=0 cores=0-7
/proc/24510/task/24526/stat : 24526 (java) S 24507 24507 20244 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624214821744 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24527] ppid=24507 vsize=27314120 memory=279577675155632 CPUtime=0.07 cores=0-7
/proc/24510/task/24527/stat : 24527 (java) S 24507 24507 20244 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 512147977 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624213768944 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24528] ppid=24507 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24528/stat : 24528 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147977 27969658880 32390 33554432000 4194304 4196468 140726530489056 140622933518688 140626099381973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24529] ppid=24507 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24510/task/24529/stat : 24529 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147978 27969658880 32390 33554432000 4194304 4196468 140726530489056 140624212715824 140626099382914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130956 KiB

[startup+0.700898 s]
/proc/loadavg: 1.72 3.39 6.00 2/217 24529
/proc/meminfo: memFree=24191596/32770624 swapFree=67002968/67108860
[pid=24507] ppid=24504 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24507/stat : 24507 (scop.sh) S 24504 24507 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512147969 115843072 349 33554432000 4194304 5098028 140727398385648 140727398382904 139860515025532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38191104 140727398388476 140727398388824 140727398388824 140727398391753 0
/proc/24507/statm: 28282 349 296 221 0 87 0
[pid=24510] ppid=24507 vsize=27320392 memory=165548 CPUtime=0.99 cores=0-7
/proc/24510/stat : 24510 (java) S 24507 24507 20244 0 -1 1077944320 19990 0 0 0 92 7 0 0 20 0 20 0 512147970 27976081408 41387 33554432000 4194304 4196468 140726530489056 140726530471600 140626099371767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
/proc/24510/statm: 6830098 41387 3188 1 0 6791447 0
[pid=24510/tid=24511] ppid=24507 vsize=27320392 memory=279577675513520 CPUtime=0.67 cores=0-7
/proc/24510/task/24511/stat : 24511 (java) R 24507 24507 20244 0 -1 4202560 16890 0 0 0 62 5 0 0 20 0 20 0 512147970 27976081408 41387 33554432000 4194304 4196468 140726530489056 140626071209424 140626099393114 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24512] ppid=24507 vsize=27320392 memory=139788837757808 CPUtime=0 cores=0-7
/proc/24510/task/24512/stat : 24512 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512147972 27976081408 41387 33554432000 4194304 4196468 140726530489056 140626103613840 140626099381973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24513] ppid=24507 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24510/task/24513/stat : 24513 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512147972 27976081408 41387 33554432000 4194304 4196468 140726530489056 140625521400080 140626099381973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24514] ppid=24507 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/24510/task/24514/stat : 24514 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512147972 27976081408 41387 33554432000 4194304 4196468 140726530489056 140625520347792 140626099381973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140726530491078 140726530491526 140726530491526 140726530494415 0
[pid=24510/tid=24515] ppid=24507 vsize=27320392 memory=1212 CPUtime=0 cores=0-7

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

[pid=24532/tid=24533] ppid=24507 vsize=8414124 memory=728 CPUtime=0.79 cores=0-7
/proc/24532/task/24533/stat : 24533 (java) S 24507 24507 20244 0 -1 1077944384 16399 0 0 0 71 8 0 0 20 0 24 0 512149073 8616062976 30446 33554432000 4194304 4196468 140736340633264 140056032104352 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24534] ppid=24507 vsize=8414124 memory=3956 CPUtime=0 cores=0-7
/proc/24532/task/24534/stat : 24534 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140056064506512 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24535] ppid=24507 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/24532/task/24535/stat : 24535 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055864674832 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24536] ppid=24507 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/24532/task/24536/stat : 24536 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055544850832 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24537] ppid=24507 vsize=8414124 memory=1036 CPUtime=0 cores=0-7
/proc/24532/task/24537/stat : 24537 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055543798032 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24538] ppid=24507 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24532/task/24538/stat : 24538 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055542746256 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24539] ppid=24507 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/24532/task/24539/stat : 24539 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055541693456 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24540] ppid=24507 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/24532/task/24540/stat : 24540 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055540640656 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24541] ppid=24507 vsize=8414124 memory=34892 CPUtime=0 cores=0-7
/proc/24532/task/24541/stat : 24541 (java) S 24507 24507 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512149074 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055539587856 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24542] ppid=24507 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/24532/task/24542/stat : 24542 (java) S 24507 24507 20244 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512149075 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055153752432 140056060275330 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24543] ppid=24507 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/24532/task/24543/stat : 24543 (java) S 24507 24507 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512149076 8616062976 30446 33554432000 4194304 4196468 140736340633264 140054521439264 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24544] ppid=24507 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/24532/task/24544/stat : 24544 (java) S 24507 24507 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512149076 8616062976 30446 33554432000 4194304 4196468 140736340633264 140054387217264 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24545] ppid=24507 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/24532/task/24545/stat : 24545 (java) S 24507 24507 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512149078 8616062976 30446 33554432000 4194304 4196468 140736340633264 140054012712784 140056060282779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24546] ppid=24507 vsize=8414124 memory=780 CPUtime=0.09 cores=0-7
/proc/24532/task/24546/stat : 24546 (java) S 24507 24507 20244 0 -1 1077944384 572 0 0 0 9 0 0 0 20 0 24 0 512149078 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055152700272 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24547] ppid=24507 vsize=8414124 memory=1440 CPUtime=0.11 cores=0-7
/proc/24532/task/24547/stat : 24547 (java) S 24507 24507 20244 0 -1 1077944384 652 0 0 0 11 0 0 0 20 0 24 0 512149078 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055151647472 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24548] ppid=24507 vsize=8414124 memory=1984 CPUtime=0.1 cores=0-7
/proc/24532/task/24548/stat : 24548 (java) S 24507 24507 20244 0 -1 1077944384 315 0 0 0 10 0 0 0 20 0 24 0 512149078 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055150594672 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24549] ppid=24507 vsize=8414124 memory=2376 CPUtime=0.22 cores=0-7
/proc/24532/task/24549/stat : 24549 (java) S 24507 24507 20244 0 -1 1077944384 569 0 0 0 22 0 0 0 20 0 24 0 512149078 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055149541872 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24550] ppid=24507 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/24532/task/24550/stat : 24550 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512149079 8616062976 30446 33554432000 4194304 4196468 140736340633264 140053514807904 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24551] ppid=24507 vsize=8414124 memory=111628 CPUtime=0.01 cores=0-7
/proc/24532/task/24551/stat : 24551 (java) S 24507 24507 20244 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 512149079 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055148489264 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24553] ppid=24507 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/24532/task/24553/stat : 24553 (java) S 24507 24507 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512149149 8616062976 30446 33554432000 4194304 4196468 140736340633264 140055140455488 140056060288793 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24555] ppid=24507 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24532/task/24555/stat : 24555 (java) S 24507 24507 20244 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512149150 8616062976 30446 33554432000 4194304 4196468 140736340633264 140052843708592 140056060286109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24556] ppid=24507 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/24532/task/24556/stat : 24556 (java) S 24507 24507 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512149150 8616062976 30446 33554432000 4194304 4196468 140736340633264 140053112143920 140056060286109 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24557] ppid=24507 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/24532/task/24557/stat : 24557 (java) S 24507 24507 20244 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512149152 8616062976 30446 33554432000 4194304 4196468 140736340633264 140052575280688 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
Current children cumulated CPU time: 239.14 s
Current children cumulated vsize: 9324292 KiB
Current children cumulated memory: 530508 KiB

[startup+39.901 s]
/proc/loadavg: 3.99 3.74 6.02 8/229 24566
/proc/meminfo: memFree=23822152/32770624 swapFree=67002968/67108860
[pid=24507] ppid=24504 vsize=113128 memory=1476 CPUtime=21.16 cores=0-7
/proc/24507/stat : 24507 (scop.sh) S 24504 24507 20244 0 -1 4202496 583 37614 0 0 0 0 2033 83 20 0 1 0 512147969 115843072 369 33554432000 4194304 5098028 140727398385648 140727398382392 139860515025532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38191104 140727398388476 140727398388824 140727398388824 140727398391753 0
/proc/24507/statm: 28282 369 311 221 0 87 0
[pid=24532] ppid=24507 vsize=8283048 memory=141324 CPUtime=218.46 cores=0-7
/proc/24532/stat : 24532 (java) S 24507 24507 20244 0 -1 1077944320 21351 232145 0 0 170 12 21608 56 20 0 22 0 512149072 8481841152 35331 33554432000 4194304 4196468 140736340633264 140736340615808 140056060264183 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
/proc/24532/statm: 2070762 35331 3232 1 0 2032106 0
[pid=24532/tid=24533] ppid=24507 vsize=8283048 memory=6791534058613427641 CPUtime=217.54 cores=0-7
/proc/24532/task/24533/stat : 24533 (java) R 24507 24507 20244 0 -1 4202560 16656 232145 0 0 82 8 21608 56 20 0 22 0 512149073 8481841152 35331 33554432000 4194304 4196468 140736340633264 140056032102976 140055544993932 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24534] ppid=24507 vsize=8283048 memory=1476 CPUtime=216.64 cores=0-7
/proc/24532/task/24534/stat : 24534 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140056064506512 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24535] ppid=24507 vsize=8283048 memory=121784 CPUtime=216.64 cores=0-7
/proc/24532/task/24535/stat : 24535 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055864674832 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24536] ppid=24507 vsize=8283048 memory=392956 CPUtime=216.64 cores=0-7
/proc/24532/task/24536/stat : 24536 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055544850832 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24537] ppid=24507 vsize=8283048 memory=3280 CPUtime=216.64 cores=0-7
/proc/24532/task/24537/stat : 24537 (java) S 24507 24507 20244 0 -1 1077944384 3 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055543798032 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24538] ppid=24507 vsize=8283048 memory=7686721470267234967 CPUtime=216.64 cores=0-7
/proc/24532/task/24538/stat : 24538 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055542746256 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24539] ppid=24507 vsize=8283048 memory=3384 CPUtime=216.64 cores=0-7
/proc/24532/task/24539/stat : 24539 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055541693456 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24540] ppid=24507 vsize=8283048 memory=1476 CPUtime=216.64 cores=0-7
/proc/24532/task/24540/stat : 24540 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055540640656 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24541] ppid=24507 vsize=8283048 memory=121784 CPUtime=216.64 cores=0-7
/proc/24532/task/24541/stat : 24541 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055539587856 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24542] ppid=24507 vsize=8283048 memory=400404 CPUtime=216.64 cores=0-7
/proc/24532/task/24542/stat : 24542 (java) S 24507 24507 20244 0 -1 1077944384 5 232145 0 0 0 0 21608 56 20 0 22 0 512149075 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055153752432 140056060275330 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24543] ppid=24507 vsize=8283048 memory=7686721470267234967 CPUtime=216.64 cores=0-7
/proc/24532/task/24543/stat : 24543 (java) S 24507 24507 20244 0 -1 1077944384 13 232145 0 0 0 0 21608 56 20 0 22 0 512149076 8481841152 35331 33554432000 4194304 4196468 140736340633264 140054521439264 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24544] ppid=24507 vsize=8283048 memory=4872558044660077418 CPUtime=216.64 cores=0-7
/proc/24532/task/24544/stat : 24544 (java) S 24507 24507 20244 0 -1 1077944384 21 232145 0 0 0 0 21608 56 20 0 22 0 512149076 8481841152 35331 33554432000 4194304 4196468 140736340633264 140054387217264 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24545] ppid=24507 vsize=8283048 memory=17668 CPUtime=216.64 cores=0-7
/proc/24532/task/24545/stat : 24545 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149078 8481841152 35331 33554432000 4194304 4196468 140736340633264 140054012712784 140056060282779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24546] ppid=24507 vsize=8283048 memory=0 CPUtime=216.78 cores=0-7
/proc/24532/task/24546/stat : 24546 (java) S 24507 24507 20244 0 -1 1077944384 592 232145 0 0 13 1 21608 56 20 0 22 0 512149078 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055152700272 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24547] ppid=24507 vsize=8283048 memory=4420 CPUtime=216.79 cores=0-7
/proc/24532/task/24547/stat : 24547 (java) S 24507 24507 20244 0 -1 1077944384 685 232145 0 0 15 0 21608 56 20 0 22 0 512149078 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055151647472 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24548] ppid=24507 vsize=8283048 memory=6628 CPUtime=216.8 cores=0-7
/proc/24532/task/24548/stat : 24548 (java) S 24507 24507 20244 0 -1 1077944384 609 232145 0 0 16 0 21608 56 20 0 22 0 512149078 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055150594672 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24549] ppid=24507 vsize=8283048 memory=8836 CPUtime=216.97 cores=0-7
/proc/24532/task/24549/stat : 24549 (java) R 24507 24507 20244 0 -1 4202560 1205 232145 0 0 33 0 21608 56 20 0 22 0 512149078 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055149541872 140056039233217 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24550] ppid=24507 vsize=8283048 memory=11044 CPUtime=216.64 cores=0-7
/proc/24532/task/24550/stat : 24550 (java) S 24507 24507 20244 0 -1 1077944384 3 232145 0 0 0 0 21608 56 20 0 22 0 512149079 8481841152 35331 33554432000 4194304 4196468 140736340633264 140053514807904 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24551] ppid=24507 vsize=8283048 memory=13252 CPUtime=216.65 cores=0-7
/proc/24532/task/24551/stat : 24551 (java) S 24507 24507 20244 0 -1 1077944384 3 232145 0 0 0 1 21608 56 20 0 22 0 512149079 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055148489264 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24553] ppid=24507 vsize=8283048 memory=496 CPUtime=216.64 cores=0-7
/proc/24532/task/24553/stat : 24553 (java) S 24507 24507 20244 0 -1 1077944384 24 232145 0 0 0 0 21608 56 20 0 22 0 512149149 8481841152 35331 33554432000 4194304 4196468 140736340633264 140055140454672 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24557] ppid=24507 vsize=8283048 memory=1564 CPUtime=216.64 cores=0-7
/proc/24532/task/24557/stat : 24557 (java) S 24507 24507 20244 0 -1 1077944384 13 232145 0 0 0 0 21608 56 20 0 22 0 512149152 8481841152 35331 33554432000 4194304 4196468 140736340633264 140052575282480 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
Current children cumulated CPU time: 239.62 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142800 KiB

[startup+40.001 s]
/proc/loadavg: 3.99 3.74 6.02 8/229 24566
/proc/meminfo: memFree=23822152/32770624 swapFree=67002968/67108860
[pid=24507] ppid=24504 vsize=113128 memory=1476 CPUtime=21.16 cores=0-7
/proc/24507/stat : 24507 (scop.sh) S 24504 24507 20244 0 -1 4202496 583 37614 0 0 0 0 2033 83 20 0 1 0 512147969 115843072 369 33554432000 4194304 5098028 140727398385648 140727398382392 139860515025532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38191104 140727398388476 140727398388824 140727398388824 140727398391753 0
/proc/24507/statm: 28282 369 311 221 0 87 0
[pid=24532] ppid=24507 vsize=8283048 memory=146432 CPUtime=218.72 cores=0-7
/proc/24532/stat : 24532 (java) S 24507 24507 20244 0 -1 1077944320 22658 232145 0 0 195 13 21608 56 20 0 22 0 512149072 8481841152 36608 33554432000 4194304 4196468 140736340633264 140736340615808 140056060264183 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
/proc/24532/statm: 2070762 36608 3235 1 0 2032106 0
[pid=24532/tid=24533] ppid=24507 vsize=8283048 memory=0 CPUtime=217.64 cores=0-7
/proc/24532/task/24533/stat : 24533 (java) R 24507 24507 20244 0 -1 4202560 17790 232145 0 0 91 9 21608 56 20 0 22 0 512149073 8481841152 36608 33554432000 4194304 4196468 140736340633264 140056032095952 140056060276118 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24534] ppid=24507 vsize=8283048 memory=1476 CPUtime=216.64 cores=0-7
/proc/24532/task/24534/stat : 24534 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140056064506512 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24535] ppid=24507 vsize=8283048 memory=0 CPUtime=216.64 cores=0-7
/proc/24532/task/24535/stat : 24535 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055864674832 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24536] ppid=24507 vsize=8283048 memory=371640 CPUtime=216.64 cores=0-7
/proc/24532/task/24536/stat : 24536 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055544850832 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24537] ppid=24507 vsize=8283048 memory=56 CPUtime=216.64 cores=0-7
/proc/24532/task/24537/stat : 24537 (java) S 24507 24507 20244 0 -1 1077944384 3 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055543798032 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24538] ppid=24507 vsize=8283048 memory=7686721470267234967 CPUtime=216.64 cores=0-7
/proc/24532/task/24538/stat : 24538 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055542746256 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24539] ppid=24507 vsize=8283048 memory=4639924115538006630 CPUtime=216.64 cores=0-7
/proc/24532/task/24539/stat : 24539 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055541693456 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24540] ppid=24507 vsize=8283048 memory=207128 CPUtime=216.64 cores=0-7
/proc/24532/task/24540/stat : 24540 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055540640656 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24541] ppid=24507 vsize=8283048 memory=7523659419719920994 CPUtime=216.64 cores=0-7
/proc/24532/task/24541/stat : 24541 (java) S 24507 24507 20244 0 -1 1077944384 2 232145 0 0 0 0 21608 56 20 0 22 0 512149074 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055539587856 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24542] ppid=24507 vsize=8283048 memory=34892 CPUtime=216.64 cores=0-7
/proc/24532/task/24542/stat : 24542 (java) S 24507 24507 20244 0 -1 1077944384 5 232145 0 0 0 0 21608 56 20 0 22 0 512149075 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055153752432 140056060275330 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24543] ppid=24507 vsize=8283048 memory=496 CPUtime=216.64 cores=0-7
/proc/24532/task/24543/stat : 24543 (java) S 24507 24507 20244 0 -1 1077944384 13 232145 0 0 0 0 21608 56 20 0 22 0 512149076 8481841152 36608 33554432000 4194304 4196468 140736340633264 140054521439264 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24544] ppid=24507 vsize=8283048 memory=4488 CPUtime=216.64 cores=0-7
/proc/24532/task/24544/stat : 24544 (java) S 24507 24507 20244 0 -1 1077944384 21 232145 0 0 0 0 21608 56 20 0 22 0 512149076 8481841152 36608 33554432000 4194304 4196468 140736340633264 140054387217264 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24545] ppid=24507 vsize=8283048 memory=4100 CPUtime=216.64 cores=0-7
/proc/24532/task/24545/stat : 24545 (java) S 24507 24507 20244 0 -1 1077944384 1 232145 0 0 0 0 21608 56 20 0 22 0 512149078 8481841152 36608 33554432000 4194304 4196468 140736340633264 140054012712784 140056060282779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24546] ppid=24507 vsize=8283048 memory=56 CPUtime=216.8 cores=0-7
/proc/24532/task/24546/stat : 24546 (java) S 24507 24507 20244 0 -1 1077944384 601 232145 0 0 15 1 21608 56 20 0 22 0 512149078 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055152700272 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24547] ppid=24507 vsize=8283048 memory=577 CPUtime=216.83 cores=0-7
/proc/24532/task/24547/stat : 24547 (java) S 24507 24507 20244 0 -1 1077944384 707 232145 0 0 19 0 21608 56 20 0 22 0 512149078 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055151647472 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24548] ppid=24507 vsize=8283048 memory=139788838376648 CPUtime=216.84 cores=0-7
/proc/24532/task/24548/stat : 24548 (java) R 24507 24507 20244 0 -1 1077944384 633 232145 0 0 20 0 21608 56 20 0 22 0 512149078 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055150594672 140056060275330 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24549] ppid=24507 vsize=8283048 memory=2110139445482596 CPUtime=217.02 cores=0-7
/proc/24532/task/24549/stat : 24549 (java) R 24507 24507 20244 0 -1 4202560 1326 232145 0 0 38 0 21608 56 20 0 22 0 512149078 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055149541872 140056053361019 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24550] ppid=24507 vsize=8283048 memory=0 CPUtime=216.64 cores=0-7
/proc/24532/task/24550/stat : 24550 (java) S 24507 24507 20244 0 -1 1077944384 3 232145 0 0 0 0 21608 56 20 0 22 0 512149079 8481841152 36608 33554432000 4194304 4196468 140736340633264 140053514807904 140056060274389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24551] ppid=24507 vsize=8283048 memory=0 CPUtime=216.65 cores=0-7
/proc/24532/task/24551/stat : 24551 (java) S 24507 24507 20244 0 -1 1077944384 3 232145 0 0 0 1 21608 56 20 0 22 0 512149079 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055148489264 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24553] ppid=24507 vsize=8283048 memory=2832 CPUtime=216.64 cores=0-7
/proc/24532/task/24553/stat : 24553 (java) S 24507 24507 20244 0 -1 1077944384 24 232145 0 0 0 0 21608 56 20 0 22 0 512149149 8481841152 36608 33554432000 4194304 4196468 140736340633264 140055140454672 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
[pid=24532/tid=24557] ppid=24507 vsize=8283048 memory=1212 CPUtime=216.64 cores=0-7
/proc/24532/task/24557/stat : 24557 (java) S 24507 24507 20244 0 -1 1077944384 13 232145 0 0 0 0 21608 56 20 0 22 0 512149152 8481841152 36608 33554432000 4194304 4196468 140736340633264 140052575282480 140056060275330 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140736340640735 140736340640902 140736340640902 140736340643791 0
Current children cumulated CPU time: 239.88 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 147908 KiB

Child status: 0
Real time (s): 40.0305
CPU time (s): 239.958
CPU user time (s): 238.399
CPU system time (s): 1.55928
CPU usage (%): 599.438
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4443060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.399
system time used= 1.55928
maximum resident set size= 4442044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12414
involuntary context switches= 2479


# summary of solver processes directly reported to runsolver:
#   pid: 24507
#   total CPU time (s): 239.958
#   total CPU user time (s): 238.399
#   total CPU system time (s): 1.55928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.350336 second user time and 0.585073 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 23:04:04
IDJOB=4405623
IDBENCH=138937
IDSOLVER=2868
FILE ID=node133/4405623-1569359085
RUNJOBID= node133-1569350609-20271
PBS_JOBID= 21705096
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-11.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 /var/tmp/evaluation-result-4405623-1569359085/watcher-4405623-1569359085 -o /var/tmp/evaluation-result-4405623-1569359085/solver-4405623-1569359085 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --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-4405623-1569359085.xml

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

MD5SUM BENCH= 593ac311ff8adf8f7756cc1eeec69a70
RANDOM SEED=717348802

node133.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.18
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.18
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.18
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.18
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:        24334288 kB
MemAvailable:   31841700 kB
Buffers:          150852 kB
Cached:          7411236 kB
SwapCached:         5156 kB
Active:          3729364 kB
Inactive:        3838912 kB
Active(anon):       4424 kB
Inactive(anon):    57204 kB
Active(file):    3724940 kB
Inactive(file):  3781708 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       67002968 kB
Dirty:             20904 kB
Writeback:             0 kB
AnonPages:         43900 kB
Mapped:            57964 kB
Shmem:             46820 kB
Slab:             458524 kB
SReclaimable:     429224 kB
SUnreclaim:        29300 kB
KernelStack:        3808 kB
PageTables:         6052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13468 MiB
End job on node133 at 2019-09-24 23:04:44