Trace number 4392463

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28417-serial-file.bin HOME/instance-4392463-1568442716.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.67/0.54	
0.67/0.57	c BEGIN-Prog: Sat Sep 14 08:31:17 CEST 2019
0.67/0.57	c PID: 28420
0.67/0.57	c IP: 172.20.3.119
0.67/0.57	c HOST: node119.alineos.net
0.67/0.58	c (0,0) Parsing Begin
1.68/1.06	c (0,0) Parsing End
1.68/1.07	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.68/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.07	c (0,0) Constraint Name Generate Begin
1.68/1.08	c (0,0) Ctr:HOME/instance-4392463-1568442716.xml,AllDifferentMatrix:Instantiation:Var
1.68/1.08	c (0,0) Constraint Name Generate End
1.68/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.08	c (0,0) CSP to CSPinCNF Begin
1.94/1.11	c (0,0) translated 1 (10%) constraints
5.71/2.82	c (2,2) translated 2 (20%) constraints
5.71/2.85	c (2,2) ===========================================
6.85/3.17	c (2,2) Order
6.85/3.17	c (2,2) ===========================================
8.00/3.41	c (2,2) translated 2855 (10%) constraints
8.79/3.74	c (3,3) translated 5710 (20%) constraints
9.16/4.07	c (3,3) translated 8564 (30%) constraints
9.45/4.38	c (3,3) translated 11419 (40%) constraints
9.85/4.71	c (4,4) translated 14273 (50%) constraints
10.07/4.99	c (4,4) translated 17128 (60%) constraints
10.70/5.27	c (4,4) translated 19983 (70%) constraints
11.03/5.54	c (4,4) translated 22837 (80%) constraints
11.35/5.84	c (5,5) translated 25692 (90%) constraints
11.56/6.08	c (5,5) translated 28546 (100%) constraints
11.56/6.09	c (5,5) CSP to CSPinCNF End
11.56/6.10	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137072 ctr, max domain size 30
11.56/6.10	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.56/6.10	c (5,5) CSPinCNF Propagation Begin
15.25/8.18	c (7,7) 20523 values, 88261 unsatisfiable literals, and 91699 valid clauses are removed
15.25/8.18	c (7,7) CSPinCNF Propagation End
15.25/8.19	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 45373 ctr, max domain size 30
15.25/8.19	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.25/8.19	c (7,7) Simplify CSPinCNF Begin
16.67/8.74	c (8,8) Simplify CSPinCNF End
16.67/8.75	c (8,8) CSP: 866 int (0 aux), 52934 bool (52900 aux), 71273 ctr, max domain size 30
16.67/8.75	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.67/8.75	c (8,8) Calculate Precise Domain Begin
16.67/8.75	c (8,8) 0 values are removed by re-calculation
16.67/8.75	c (8,8) Calculate Precise Domain End
16.67/8.76	c (8,8) CSP: 866 int (0 aux), 52934 bool (52900 aux), 71273 ctr, max domain size 30
16.67/8.76	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.67/8.76	c (8,8) CSPinCNF to SatSolver Begin
18.68/9.30	c (8,8) 7128 (10 %) CSP clauses are encoded (0 SAT variables, 29968 SAT clauses)
18.86/9.45	c (8,8) 14255 (20 %) CSP clauses are encoded (0 SAT variables, 51754 SAT clauses)
18.99/9.59	c (9,9) 21382 (30 %) CSP clauses are encoded (0 SAT variables, 73576 SAT clauses)
19.21/9.72	c (9,9) 28510 (40 %) CSP clauses are encoded (0 SAT variables, 95382 SAT clauses)
19.31/9.85	c (9,9) 35637 (50 %) CSP clauses are encoded (0 SAT variables, 115901 SAT clauses)
19.40/9.98	c (9,9) 42764 (60 %) CSP clauses are encoded (0 SAT variables, 137352 SAT clauses)
19.71/10.11	c (9,9) 49892 (70 %) CSP clauses are encoded (0 SAT variables, 158872 SAT clauses)
19.82/10.24	c (9,9) 57019 (80 %) CSP clauses are encoded (0 SAT variables, 180517 SAT clauses)
19.92/10.36	c (9,9) 64146 (90 %) CSP clauses are encoded (0 SAT variables, 202286 SAT clauses)
20.02/10.49	c (9,9) 71273 (100 %) CSP clauses are encoded (0 SAT variables, 223417 SAT clauses)
20.02/10.49	c (9,9) CSPinCNF to SatSolver End
20.02/10.49	c (9,9) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.02/10.49	c (9,9) 42081 bool, 223418 clause
20.02/10.49	c (9,9) Export Begin
20.34/10.64	c (10,10) Export to HOME/scop-28417-serial-file.bin
20.34/10.64	c (10,10) Export End
20.34/10.64	c (10,10) Export File Size: 0.15 MB
20.34/10.64	c (10,10) 0,0,5,7,8,8,9,STOP-AFTER(DIMACS)
20.34/10.64	c END-Prog: Sat Sep 14 08:31:27 CEST 2019
20.34/10.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28417-serial-file.bin
21.10/11.13	c (0,0) Read Serial File Begin
21.10/11.13	c (0,0) HOME/scop-28417-serial-file.bin
21.37/11.39	c (0,0) Read Serial File End
21.70/11.40	
21.70/11.40	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.70/11.40	(Solving Process)
21.70/11.40	
21.70/11.42	c BEGIN-Prog: Sat Sep 14 08:31:28 CEST 2019
21.70/11.42	c PID: 28442
21.70/11.42	c IP: 172.20.3.119
21.70/11.42	c HOST: node119.alineos.net
21.70/11.43	c (0,0) SatSolver.solve Begin
21.70/11.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392463-1568442716.xml-scop-28420.cnf
21.70/11.45	c (0,0) c
21.70/11.45	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.70/11.45	c (0,0) c
21.70/11.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.70/11.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.70/11.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.70/11.45	c (0,0) c |                                                                                                       |
21.93/11.54	c (0,0) c |  Number of variables:         42081                                                                   |
21.93/11.54	c (0,0) c |  Number of clauses:          223418                                                                   |
21.93/11.54	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.93/11.54	c (0,0) c |                                                                                                       |
21.93/11.76	c (0,0) c |  Simplification time:          0.22 s                                                                 |
21.93/11.76	c (0,0) c |                                                                                                       |
21.93/11.76	c (0,0) c |  Generating clones                                                                                    |
21.93/11.89	c (0,0) c |  all clones generated. Memory =   207.57Mb.                                                           |
21.93/11.89	c (0,0) c ========================================================================================================|
21.93/11.89	c (0,0) c
21.93/11.89	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.93/11.89	c (0,0) c
21.93/11.89	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.93/11.89	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.93/11.89	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.93/11.89	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.93/11.89	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.93/11.89	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.93/11.89	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.93/11.89	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.93/11.89	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.93/11.89	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.93/11.89	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.93/11.89	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.93/11.89	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.93/11.89	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.93/11.89	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.93/11.89	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.93/11.89	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.93/11.89	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.93/11.89	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c real time : 24.8815 s
212.14/36.33	c (25,0) c cpu time  : 189.735 s
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c | Conflicts     |          230965 |      28693 |      28806 |      28847 |      28885 |      28727 |      29208 |      29147 |      28652 |
212.14/36.33	c (25,0) c | Decisions     |         2209038 |     270417 |     276647 |     273267 |     278906 |     276410 |     274564 |     282951 |     275876 |
212.14/36.33	c (25,0) c | Propagations  |       292160752 |   36290833 |   36542468 |   36117842 |   36542103 |   36417207 |   36963716 |   37117929 |   36168654 |
212.14/36.33	c (25,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
212.14/36.33	c (25,0) c | SimpDBs       |             419 |         52 |         52 |         51 |         52 |         53 |         53 |         54 |         52 |
212.14/36.33	c (25,0) c | Restarts      |            3519 |        434 |        434 |        434 |        445 |        434 |        448 |        456 |        434 |
212.14/36.33	c (25,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.14/36.33	c (25,0) c | PropBinClauses|       727122183 |   90002162 |   90573166 |   90221165 |   90762640 |   90110793 |   92326667 |   92950310 |   90175280 |
212.14/36.33	c (25,0) c | PropPreBlocker|      3322735825 |  411738305 |  414694776 |  412663831 |  413951919 |  410767121 |  422733835 |  424247804 |  411938234 |
212.14/36.33	c (25,0) c | PropNotBlocker|       851762364 |  105538657 |  106121048 |  104924064 |  106285207 |  106590913 |  108326144 |  108562378 |  105413953 |
212.14/36.33	c (25,0) c | LitFullScans  |      5763328755 |  714363791 |  718425996 |  714108812 |  718099973 |  714258174 |  734100569 |  735885448 |  714085992 |
212.14/36.33	c (25,0) c | LitScanFracts |         1726779 |     357848 |     338656 |     107077 |     182738 |     249474 |      98720 |     354950 |      37316 |
212.14/36.33	c (25,0) c | DecisionLevel0|           14285 |       1777 |       1765 |       1774 |       1783 |       1793 |       1809 |       1812 |       1772 |
212.14/36.33	c (25,0) c | Periods       |             958 |        119 |        119 |        119 |        119 |        119 |        122 |        122 |        119 |
212.14/36.33	c (25,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
212.14/36.33	c (25,0) c | Avg_Trail     |                 |       8827 |       8865 |       8851 |       8784 |       8751 |       8867 |       8888 |       8848 |
212.14/36.33	c (25,0) c | Avg_DL        |                 |         88 |         89 |         90 |         90 |         87 |         87 |         91 |         91 |
212.14/36.33	c (25,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.14/36.33	c (25,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c | Exported      |           48192 |       6016 |       6104 |       6026 |       5889 |       5962 |       6112 |       6080 |       6003 |
212.14/36.33	c (25,0) c | Imported      |          298649 |      36976 |      37180 |      36986 |      37439 |      37046 |      38000 |      38016 |      37006 |
212.14/36.33	c (25,0) c | Good          |           55076 |       6856 |       6840 |       6924 |       6836 |       6799 |       6942 |       6965 |       6914 |
212.14/36.33	c (25,0) c | Purge         |          243573 |      30120 |      30340 |      30062 |      30603 |      30247 |      31058 |      31051 |      30092 |
212.14/36.33	c (25,0) c | Promoted      |           19276 |       2413 |       2377 |       2348 |       2352 |       2518 |       2441 |       2445 |       2382 |
212.14/36.33	c (25,0) c | Remove_Imp    |          140649 |      17540 |      17470 |      17339 |      17554 |      17518 |      17760 |      17934 |      17534 |
212.14/36.33	c (25,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c | Unaries       |                 |       1343 |       1331 |       1340 |       1338 |       1359 |       1361 |       1356 |       1338 |
212.14/36.33	c (25,0) c | Binaries      |                 |       1028 |       1052 |        964 |       1068 |       1079 |       1010 |        991 |        966 |
212.14/36.33	c (25,0) c | Glues         |                 |       1761 |       1795 |       1658 |       1843 |       1843 |       1798 |       1758 |       1749 |
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c | Orig_Seen     |            34 % |      57562 |      57546 |      57755 |      57861 |      57195 |      57980 |      58087 |      57659 |
212.14/36.33	c (25,0) c | Diff Orig seen|                 |         16 |      X     |        209 |        315 | -      351 |        434 |        541 |        113 |
212.14/36.33	c (25,0) c | Hamming       |            12 % |       5344 |      X     |       5597 |       5458 |       5591 |       5187 |       5459 |       4842 |
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c | RunningTime   |                 |   24.4 100%|   23.6 100%|   23.9 100%|   23.6 100%|   23.8 100%|   23.6 100%|   23.6 100%|   23.8 100%|
212.14/36.33	c (25,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
212.14/36.33	c (25,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%|
212.14/36.33	c (25,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%|
212.14/36.33	c (25,0) c | SolvingTime   |                 |   24.4     |   23.6     |   23.9     |   23.6     |   23.8     |   23.7     |   23.7     |   23.9     |
212.14/36.33	c (25,0) c | PropagationTim|                 |   21.4  88%|   20.6  87%|   20.8  87%|   20.6  87%|   20.9  88%|   20.6  87%|   20.6  87%|   20.8  87%|
212.14/36.33	c (25,0) c | AnalysisTime  |                 |    1.6   6%|    1.6   7%|    1.6   7%|    1.6   7%|    1.5   6%|    1.6   7%|    1.6   7%|    1.6   7%|
212.14/36.33	c (25,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%|
212.14/36.33	c (25,0) c | SimplifyTime  |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
212.14/36.33	c (25,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%|
212.14/36.33	c (25,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%|
212.14/36.33	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c
212.14/36.33	c (25,0) c Threads : 8
212.14/36.33	c (25,0) c Winner : 1
212.14/36.33	c (25,0) c Conflicts_0 : 28693
212.14/36.33	c (25,0) c Conflicts_1 : 28806
212.14/36.33	c (25,0) c Conflicts_2 : 28847
212.14/36.33	c (25,0) c Conflicts_3 : 28885
212.14/36.33	c (25,0) c Conflicts_4 : 28727
212.14/36.33	c (25,0) c Conflicts_5 : 29208
212.14/36.33	c (25,0) c Conflicts_6 : 29147
212.14/36.33	c (25,0) c Conflicts_7 : 28652
212.14/36.33	c (25,0) c Conflicts_total : 230965
212.14/36.33	c (25,0) c Conflicts_winner : 28806
212.14/36.33	c (25,0) c Decisions_0 : 270417
212.14/36.33	c (25,0) c Decisions_1 : 276647
212.14/36.33	c (25,0) c Decisions_2 : 273267
212.14/36.33	c (25,0) c Decisions_3 : 278906
212.14/36.33	c (25,0) c Decisions_4 : 276410
212.14/36.34	c (25,0) c Decisions_5 : 274564
212.14/36.34	c (25,0) c Decisions_6 : 282951
212.14/36.34	c (25,0) c Decisions_7 : 275876
212.14/36.34	c (25,0) c Decisions_total : 2209038
212.14/36.34	c (25,0) c Decisions_winner : 276647
212.14/36.34	c (25,0) c Propagations_0 : 36290833
212.14/36.34	c (25,0) c Propagations_1 : 36542468
212.14/36.34	c (25,0) c Propagations_2 : 36117842
212.14/36.34	c (25,0) c Propagations_3 : 36542103
212.14/36.34	c (25,0) c Propagations_4 : 36417207
212.14/36.34	c (25,0) c Propagations_5 : 36963716
212.14/36.34	c (25,0) c Propagations_6 : 37117929
212.14/36.34	c (25,0) c Propagations_7 : 36168654
212.14/36.34	c (25,0) c Propagations_total : 292160752
212.14/36.34	c (25,0) c Propagations_winner : 36542468
212.14/36.34	c (25,0) c ReduceDBs_0 : 4
212.14/36.34	c (25,0) c ReduceDBs_1 : 4
212.14/36.34	c (25,0) c ReduceDBs_2 : 4
212.14/36.34	c (25,0) c ReduceDBs_3 : 4
212.14/36.34	c (25,0) c ReduceDBs_4 : 4
212.14/36.34	c (25,0) c ReduceDBs_5 : 4
212.14/36.34	c (25,0) c ReduceDBs_6 : 4
212.14/36.34	c (25,0) c ReduceDBs_7 : 4
212.14/36.34	c (25,0) c ReduceDBs_total : 32
212.14/36.34	c (25,0) c ReduceDBs_winner : 4
212.14/36.34	c (25,0) c SimpDBs_0 : 52
212.14/36.34	c (25,0) c SimpDBs_1 : 52
212.14/36.34	c (25,0) c SimpDBs_2 : 51
212.14/36.34	c (25,0) c SimpDBs_3 : 52
212.14/36.34	c (25,0) c SimpDBs_4 : 53
212.14/36.34	c (25,0) c SimpDBs_5 : 53
212.14/36.34	c (25,0) c SimpDBs_6 : 54
212.14/36.34	c (25,0) c SimpDBs_7 : 52
212.14/36.34	c (25,0) c SimpDBs_total : 419
212.14/36.34	c (25,0) c SimpDBs_winner : 52
212.14/36.34	c (25,0) c Restarts_0 : 434
212.14/36.34	c (25,0) c Restarts_1 : 434
212.14/36.34	c (25,0) c Restarts_2 : 434
212.14/36.34	c (25,0) c Restarts_3 : 445
212.14/36.34	c (25,0) c Restarts_4 : 434
212.14/36.34	c (25,0) c Restarts_5 : 448
212.14/36.34	c (25,0) c Restarts_6 : 456
212.14/36.34	c (25,0) c Restarts_7 : 434
212.14/36.34	c (25,0) c Restarts_total : 3519
212.14/36.34	c (25,0) c Restarts_winner : 434
212.14/36.34	c (25,0) c ForcedImports_0 : 0
212.14/36.34	c (25,0) c ForcedImports_1 : 0
212.14/36.34	c (25,0) c ForcedImports_2 : 0
212.14/36.34	c (25,0) c ForcedImports_3 : 0
212.14/36.34	c (25,0) c ForcedImports_4 : 0
212.14/36.34	c (25,0) c ForcedImports_5 : 0
212.14/36.34	c (25,0) c ForcedImports_6 : 0
212.14/36.34	c (25,0) c ForcedImports_7 : 0
212.14/36.34	c (25,0) c ForcedImports_total : 0
212.14/36.34	c (25,0) c ForcedImports_winner : 0
212.14/36.34	c (25,0) c PropsBinClauses_0 : 90002162
212.14/36.34	c (25,0) c PropsBinClauses_1 : 90573166
212.14/36.34	c (25,0) c PropsBinClauses_2 : 90221165
212.14/36.34	c (25,0) c PropsBinClauses_3 : 90762640
212.14/36.34	c (25,0) c PropsBinClauses_4 : 90110793
212.14/36.34	c (25,0) c PropsBinClauses_5 : 92326667
212.14/36.34	c (25,0) c PropsBinClauses_6 : 92950310
212.14/36.34	c (25,0) c PropsBinClauses_7 : 90175280
212.14/36.34	c (25,0) c PropsBinClauses_total : 727122183
212.14/36.34	c (25,0) c PropsBinClauses_winner : 90573166
212.14/36.34	c (25,0) c PropsPreBlocker_0 : 411738305
212.14/36.34	c (25,0) c PropsPreBlocker_1 : 414694776
212.14/36.34	c (25,0) c PropsPreBlocker_2 : 412663831
212.14/36.34	c (25,0) c PropsPreBlocker_3 : 413951919
212.14/36.34	c (25,0) c PropsPreBlocker_4 : 410767121
212.14/36.34	c (25,0) c PropsPreBlocker_5 : 422733835
212.14/36.34	c (25,0) c PropsPreBlocker_6 : 424247804
212.14/36.34	c (25,0) c PropsPreBlocker_7 : 411938234
212.14/36.34	c (25,0) c PropsPreBlocker_total : 3322735825
212.14/36.34	c (25,0) c PropsPreBlocker_winner : 414694776
212.14/36.34	c (25,0) c PropsNotBlocker_0 : 105538657
212.14/36.34	c (25,0) c PropsNotBlocker_1 : 106121048
212.14/36.34	c (25,0) c PropsNotBlocker_2 : 104924064
212.14/36.34	c (25,0) c PropsNotBlocker_3 : 106285207
212.14/36.34	c (25,0) c PropsNotBlocker_4 : 106590913
212.14/36.34	c (25,0) c PropsNotBlocker_5 : 108326144
212.14/36.34	c (25,0) c PropsNotBlocker_6 : 108562378
212.14/36.34	c (25,0) c PropsNotBlocker_7 : 105413953
212.14/36.34	c (25,0) c PropsNotBlocker_total : 851762364
212.14/36.34	c (25,0) c PropsNotBlocker_winner : 106121048
212.14/36.34	c (25,0) c PropsLitFullScans_0 : 714363791
212.14/36.34	c (25,0) c PropsLitFullScans_1 : 718425996
212.14/36.34	c (25,0) c PropsLitFullScans_2 : 714108812
212.14/36.34	c (25,0) c PropsLitFullScans_3 : 718099973
212.14/36.34	c (25,0) c PropsLitFullScans_4 : 714258174
212.14/36.34	c (25,0) c PropsLitFullScans_5 : 734100569
212.14/36.34	c (25,0) c PropsLitFullScans_6 : 735885448
212.14/36.34	c (25,0) c PropsLitFullScans_7 : 714085992
212.14/36.34	c (25,0) c PropsLitFullScans_total : 5763328755
212.14/36.34	c (25,0) c PropsLitFullScans_winner : 718425996
212.14/36.34	c (25,0) c LitScanFractions_0 : 357848
212.14/36.34	c (25,0) c LitScanFractions_1 : 338656
212.14/36.34	c (25,0) c LitScanFractions_2 : 107077
212.14/36.34	c (25,0) c LitScanFractions_3 : 182738
212.14/36.34	c (25,0) c LitScanFractions_4 : 249474
212.14/36.34	c (25,0) c LitScanFractions_5 : 98720
212.14/36.34	c (25,0) c LitScanFractions_6 : 354950
212.14/36.34	c (25,0) c LitScanFractions_7 : 37316
212.14/36.34	c (25,0) c LitScanFractions_total : 1726779
212.14/36.34	c (25,0) c LitScanFractions_winner : 338656
212.14/36.34	c (25,0) c DecisionLevel0_0 : 1777
212.14/36.34	c (25,0) c DecisionLevel0_1 : 1765
212.14/36.34	c (25,0) c DecisionLevel0_2 : 1774
212.14/36.34	c (25,0) c DecisionLevel0_3 : 1783
212.14/36.34	c (25,0) c DecisionLevel0_4 : 1793
212.14/36.34	c (25,0) c DecisionLevel0_5 : 1809
212.14/36.34	c (25,0) c DecisionLevel0_6 : 1812
212.14/36.34	c (25,0) c DecisionLevel0_7 : 1772
212.14/36.34	c (25,0) c DecisionLevel0_total : 14285
212.14/36.34	c (25,0) c DecisionLevel0_winner : 1765
212.14/36.34	c (25,0) c Periods_0 : 119
212.14/36.34	c (25,0) c Periods_1 : 119
212.14/36.34	c (25,0) c Periods_2 : 119
212.14/36.34	c (25,0) c Periods_3 : 119
212.14/36.34	c (25,0) c Periods_4 : 119
212.14/36.34	c (25,0) c Periods_5 : 122
212.14/36.34	c (25,0) c Periods_6 : 122
212.14/36.34	c (25,0) c Periods_7 : 119
212.14/36.34	c (25,0) c Periods_total : 958
212.14/36.34	c (25,0) c Periods_winner : 119
212.14/36.34	c (25,0) c Margin_0 : 20
212.14/36.34	c (25,0) c Margin_1 : 20
212.14/36.34	c (25,0) c Margin_2 : 20
212.14/36.34	c (25,0) c Margin_3 : 20
212.14/36.34	c (25,0) c Margin_4 : 20
212.14/36.34	c (25,0) c Margin_5 : 20
212.14/36.34	c (25,0) c Margin_6 : 20
212.14/36.34	c (25,0) c Margin_7 : 20
212.14/36.34	c (25,0) c Margin_total : 160
212.14/36.34	c (25,0) c Margin_winner : 20
212.14/36.34	c (25,0) c Exported_0 : 6016
212.14/36.34	c (25,0) c Exported_1 : 6104
212.14/36.34	c (25,0) c Exported_2 : 6026
212.14/36.34	c (25,0) c Exported_3 : 5889
212.14/36.34	c (25,0) c Exported_4 : 5962
212.14/36.34	c (25,0) c Exported_5 : 6112
212.14/36.34	c (25,0) c Exported_6 : 6080
212.14/36.34	c (25,0) c Exported_7 : 6003
212.14/36.34	c (25,0) c Exported_total : 48192
212.14/36.34	c (25,0) c Exported_winner : 6104
212.14/36.34	c (25,0) c Imported_0 : 36976
212.14/36.34	c (25,0) c Imported_1 : 37180
212.14/36.34	c (25,0) c Imported_2 : 36986
212.14/36.34	c (25,0) c Imported_3 : 37439
212.14/36.34	c (25,0) c Imported_4 : 37046
212.14/36.34	c (25,0) c Imported_5 : 38000
212.14/36.34	c (25,0) c Imported_6 : 38016
212.14/36.34	c (25,0) c Imported_7 : 37006
212.14/36.34	c (25,0) c Imported_total : 298649
212.14/36.34	c (25,0) c Imported_winner : 37180
212.14/36.34	c (25,0) c Good_0 : 6856
212.14/36.34	c (25,0) c Good_1 : 6840
212.14/36.34	c (25,0) c Good_2 : 6924
212.14/36.34	c (25,0) c Good_3 : 6836
212.14/36.34	c (25,0) c Good_4 : 6799
212.14/36.34	c (25,0) c Good_5 : 6942
212.14/36.34	c (25,0) c Good_6 : 6965
212.14/36.34	c (25,0) c Good_7 : 6914
212.14/36.34	c (25,0) c Good_total : 55076
212.14/36.34	c (25,0) c Good_winner : 6840
212.14/36.34	c (25,0) c Purge_0 : 30120
212.14/36.34	c (25,0) c Purge_1 : 30340
212.14/36.34	c (25,0) c Purge_2 : 30062
212.14/36.34	c (25,0) c Purge_3 : 30603
212.14/36.34	c (25,0) c Purge_4 : 30247
212.14/36.34	c (25,0) c Purge_5 : 31058
212.14/36.34	c (25,0) c Purge_6 : 31051
212.14/36.34	c (25,0) c Purge_7 : 30092
212.14/36.34	c (25,0) c Purge_total : 243573
212.14/36.34	c (25,0) c Purge_winner : 30340
212.14/36.34	c (25,0) c Promoted_0 : 2413
212.14/36.34	c (25,0) c Promoted_1 : 2377
212.14/36.34	c (25,0) c Promoted_2 : 2348
212.14/36.34	c (25,0) c Promoted_3 : 2352
212.14/36.34	c (25,0) c Promoted_4 : 2518
212.14/36.34	c (25,0) c Promoted_5 : 2441
212.14/36.34	c (25,0) c Promoted_6 : 2445
212.14/36.34	c (25,0) c Promoted_7 : 2382
212.14/36.34	c (25,0) c Promoted_total : 19276
212.14/36.34	c (25,0) c Promoted_winner : 2377
212.14/36.34	c (25,0) c Remove_Imp_0 : 17540
212.14/36.34	c (25,0) c Remove_Imp_1 : 17470
212.14/36.34	c (25,0) c Remove_Imp_2 : 17339
212.14/36.34	c (25,0) c Remove_Imp_3 : 17554
212.14/36.34	c (25,0) c Remove_Imp_4 : 17518
212.14/36.34	c (25,0) c Remove_Imp_5 : 17760
212.14/36.34	c (25,0) c Remove_Imp_6 : 17934
212.14/36.34	c (25,0) c Remove_Imp_7 : 17534
212.14/36.34	c (25,0) c Remove_Imp_total : 140649
212.14/36.34	c (25,0) c Remove_Imp_winner : 17470
212.14/36.34	c (25,0) c Blocked_Reuse_0 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_1 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_2 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_3 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_4 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_5 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_6 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_7 : 0
212.14/36.34	c (25,0) c Blocked_Reuse_total : 0
212.14/36.34	c (25,0) c Blocked_Reuse_winner : 0
212.14/36.34	c (25,0) c Unaries_0 : 1343
212.14/36.34	c (25,0) c Unaries_1 : 1331
212.14/36.34	c (25,0) c Unaries_2 : 1340
212.14/36.34	c (25,0) c Unaries_3 : 1338
212.14/36.34	c (25,0) c Unaries_4 : 1359
212.14/36.34	c (25,0) c Unaries_5 : 1361
212.14/36.34	c (25,0) c Unaries_6 : 1356
212.14/36.34	c (25,0) c Unaries_7 : 1338
212.14/36.34	c (25,0) c Unaries_total : 10766
212.14/36.34	c (25,0) c Unaries_winner : 1331
212.14/36.34	c (25,0) c Binaries_0 : 1028
212.14/36.34	c (25,0) c Binaries_1 : 1052
212.14/36.34	c (25,0) c Binaries_2 : 964
212.14/36.34	c (25,0) c Binaries_3 : 1068
212.14/36.34	c (25,0) c Binaries_4 : 1079
212.14/36.34	c (25,0) c Binaries_5 : 1010
212.14/36.34	c (25,0) c Binaries_6 : 991
212.14/36.34	c (25,0) c Binaries_7 : 966
212.14/36.34	c (25,0) c Binaries_total : 8158
212.14/36.34	c (25,0) c Binaries_winner : 1052
212.14/36.34	c (25,0) c Glues_0 : 1761
212.14/36.34	c (25,0) c Glues_1 : 1795
212.14/36.34	c (25,0) c Glues_2 : 1658
212.14/36.34	c (25,0) c Glues_3 : 1843
212.14/36.34	c (25,0) c Glues_4 : 1843
212.14/36.34	c (25,0) c Glues_5 : 1798
212.14/36.34	c (25,0) c Glues_6 : 1758
212.14/36.34	c (25,0) c Glues_7 : 1749
212.14/36.34	c (25,0) c Glues_total : 14205
212.14/36.34	c (25,0) c Glues_winner : 1795
212.14/36.34	c (25,0) c RunningTime_0 : 24.416236
212.14/36.34	c (25,0) c RunningTime_1 : 23.618854
212.14/36.34	c (25,0) c RunningTime_2 : 23.861028
212.14/36.34	c (25,0) c RunningTime_3 : 23.616917
212.14/36.34	c (25,0) c RunningTime_4 : 23.824694
212.14/36.34	c (25,0) c RunningTime_5 : 23.641581
212.14/36.34	c (25,0) c RunningTime_6 : 23.630286
212.14/36.34	c (25,0) c RunningTime_7 : 23.833733
212.14/36.34	c (25,0) c RunningTime_total : 190.443329
212.14/36.34	c (25,0) c RunningTime_winner : 23.618854
212.14/36.34	c (25,0) c WaitingTime_0 : 0.000123
212.14/36.34	c (25,0) c WaitingTime_1 : 0.000149
212.14/36.34	c (25,0) c WaitingTime_2 : 0.000147
212.14/36.34	c (25,0) c WaitingTime_3 : 0.000165
212.14/36.34	c (25,0) c WaitingTime_4 : 0.000171
212.14/36.34	c (25,0) c WaitingTime_5 : 0.000191
212.14/36.34	c (25,0) c WaitingTime_6 : 0.000184
212.14/36.34	c (25,0) c WaitingTime_7 : 0.000161
212.14/36.34	c (25,0) c WaitingTime_total : 0.001290
212.14/36.34	c (25,0) c WaitingTime_winner : 0.000149
212.14/36.34	c (25,0) c ExchangingTime_0 : 0.018811
212.14/36.35	c (25,0) c ExchangingTime_1 : 0.018081
212.14/36.35	c (25,0) c ExchangingTime_2 : 0.021188
212.14/36.35	c (25,0) c ExchangingTime_3 : 0.022915
212.14/36.35	c (25,0) c ExchangingTime_4 : 0.019148
212.14/36.35	c (25,0) c ExchangingTime_5 : 0.025032
212.14/36.35	c (25,0) c ExchangingTime_6 : 0.019255
212.14/36.35	c (25,0) c ExchangingTime_7 : 0.018659
212.14/36.35	c (25,0) c ExchangingTime_total : 0.163088
212.14/36.35	c (25,0) c ExchangingTime_winner : 0.018081
212.14/36.35	c (25,0) c PeriodProcTime_0 : 0.001135
212.14/36.35	c (25,0) c PeriodProcTime_1 : 0.001104
212.14/36.35	c (25,0) c PeriodProcTime_2 : 0.001176
212.14/36.35	c (25,0) c PeriodProcTime_3 : 0.001147
212.14/36.35	c (25,0) c PeriodProcTime_4 : 0.001161
212.14/36.35	c (25,0) c PeriodProcTime_5 : 0.001029
212.14/36.35	c (25,0) c PeriodProcTime_6 : 0.000941
212.14/36.35	c (25,0) c PeriodProcTime_7 : 0.001226
212.14/36.35	c (25,0) c PeriodProcTime_total : 0.008920
212.14/36.35	c (25,0) c PeriodProcTime_winner : 0.001104
212.14/36.35	c (25,0) c SolvingTime_0 : 24.436305
212.14/36.35	c (25,0) c SolvingTime_1 : 23.638188
212.14/36.35	c (25,0) c SolvingTime_2 : 23.883538
212.14/36.35	c (25,0) c SolvingTime_3 : 23.641144
212.14/36.35	c (25,0) c SolvingTime_4 : 23.845174
212.14/36.35	c (25,0) c SolvingTime_5 : 23.667833
212.14/36.35	c (25,0) c SolvingTime_6 : 23.650666
212.14/36.35	c (25,0) c SolvingTime_7 : 23.853780
212.14/36.35	c (25,0) c SolvingTime_total : 190.616627
212.14/36.35	c (25,0) c SolvingTime_winner : 23.638188
212.14/36.35	c (25,0) c PropagationTime_0 : 21.427267
212.14/36.35	c (25,0) c PropagationTime_1 : 20.643889
212.14/36.35	c (25,0) c PropagationTime_2 : 20.847878
212.14/36.35	c (25,0) c PropagationTime_3 : 20.636061
212.14/36.35	c (25,0) c PropagationTime_4 : 20.874573
212.14/36.35	c (25,0) c PropagationTime_5 : 20.619404
212.14/36.35	c (25,0) c PropagationTime_6 : 20.643157
212.14/36.35	c (25,0) c PropagationTime_7 : 20.816859
212.14/36.35	c (25,0) c PropagationTime_total : 166.509088
212.14/36.35	c (25,0) c PropagationTime_winner : 20.643889
212.14/36.35	c (25,0) c AnalysisTime_0 : 1.560728
212.14/36.35	c (25,0) c AnalysisTime_1 : 1.554018
212.14/36.35	c (25,0) c AnalysisTime_2 : 1.607569
212.14/36.35	c (25,0) c AnalysisTime_3 : 1.569837
212.14/36.35	c (25,0) c AnalysisTime_4 : 1.525108
212.14/36.35	c (25,0) c AnalysisTime_5 : 1.604403
212.14/36.35	c (25,0) c AnalysisTime_6 : 1.553392
212.14/36.35	c (25,0) c AnalysisTime_7 : 1.584879
212.14/36.35	c (25,0) c AnalysisTime_total : 12.559934
212.14/36.35	c (25,0) c AnalysisTime_winner : 1.554018
212.14/36.35	c (25,0) c ReductionTime_0 : 0.067714
212.14/36.35	c (25,0) c ReductionTime_1 : 0.069956
212.14/36.35	c (25,0) c ReductionTime_2 : 0.068404
212.14/36.35	c (25,0) c ReductionTime_3 : 0.067219
212.14/36.35	c (25,0) c ReductionTime_4 : 0.069208
212.14/36.35	c (25,0) c ReductionTime_5 : 0.067565
212.14/36.35	c (25,0) c ReductionTime_6 : 0.067026
212.14/36.35	c (25,0) c ReductionTime_7 : 0.069472
212.14/36.35	c (25,0) c ReductionTime_total : 0.546565
212.14/36.35	c (25,0) c ReductionTime_winner : 0.069956
212.14/36.35	c (25,0) c SimplifyTime_0 : 0.301437
212.14/36.35	c (25,0) c SimplifyTime_1 : 0.305198
212.14/36.35	c (25,0) c SimplifyTime_2 : 0.307783
212.14/36.35	c (25,0) c SimplifyTime_3 : 0.304219
212.14/36.35	c (25,0) c SimplifyTime_4 : 0.318136
212.14/36.35	c (25,0) c SimplifyTime_5 : 0.314642
212.14/36.35	c (25,0) c SimplifyTime_6 : 0.318322
212.14/36.35	c (25,0) c SimplifyTime_7 : 0.318689
212.14/36.35	c (25,0) c SimplifyTime_total : 2.488426
212.14/36.35	c (25,0) c SimplifyTime_winner : 0.305198
212.14/36.35	c (25,0) c UsedRateTime_0 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_1 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_2 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_3 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_4 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_5 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_6 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_7 : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_total : 0.000000
212.14/36.35	c (25,0) c UsedRateTime_winner : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_0 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_1 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_2 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_3 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_4 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_5 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_6 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_7 : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_total : 0.000000
212.14/36.35	c (25,0) c OverlapRateTime_winner : 0.000000
212.14/36.35	c (25,0) c
212.14/36.35	c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
212.14/36.35	c (25,0) c
212.14/36.35	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.35	c (25,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
212.14/36.35	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.35	c (25,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
212.14/36.35	c (25,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
212.14/36.35	c (25,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
212.14/36.35	c (25,0) c | Initial random_seed   | 1561725994 | 1144445577 | 1726621921 | 1238089739 | 1115511401 | 1373000878 |  907415094 | 1145528385 |
212.14/36.35	c (25,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
212.14/36.35	c (25,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
212.14/36.35	c (25,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
212.14/36.35	c (25,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
212.14/36.35	c (25,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
212.14/36.35	c (25,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
212.14/36.35	c (25,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
212.14/36.35	c (25,0) c | var_decay             |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |
212.14/36.35	c (25,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
212.14/36.35	c (25,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
212.14/36.35	c (25,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
212.14/36.35	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.14/36.35	c (25,0) 
212.14/36.35	c (25,0) s SATISFIABLE
212.40/36.41	c (25,0) SatSolver.solve End
212.40/36.41	c (25,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
212.40/36.41	c (25,0) Show results Begin
212.95/36.60	c (25,0) x[0][0] = 20
212.95/36.60	c (25,0) x[0][1] = 27
212.95/36.60	c (25,0) x[0][2] = 26
212.95/36.60	c (25,0) x[0][3] = 16
212.95/36.60	c (25,0) x[0][4] = 9
212.95/36.60	c (25,0) x[0][5] = 21
212.95/36.60	c (25,0) x[0][6] = 28
212.95/36.60	c (25,0) x[0][7] = 5
212.95/36.60	c (25,0) x[0][8] = 2
212.95/36.60	c (25,0) x[0][9] = 10
212.95/36.60	c (25,0) x[0][10] = 22
212.95/36.60	c (25,0) x[0][11] = 23
212.95/36.60	c (25,0) x[0][12] = 13
212.95/36.60	c (25,0) x[0][13] = 15
212.95/36.60	c (25,0) x[0][14] = 4
212.95/36.60	c (25,0) x[0][15] = 19
212.95/36.60	c (25,0) x[0][16] = 14
212.95/36.60	c (25,0) x[0][17] = 12
212.95/36.60	c (25,0) x[0][18] = 17
212.95/36.60	c (25,0) x[0][19] = 8
212.95/36.60	c (25,0) x[0][20] = 25
212.95/36.60	c (25,0) x[0][21] = 7
212.95/36.60	c (25,0) x[0][22] = 1
212.95/36.60	c (25,0) x[0][23] = 6
212.95/36.60	c (25,0) x[0][24] = 11
212.95/36.60	c (25,0) x[0][25] = 29
212.95/36.60	c (25,0) x[0][26] = 24
212.95/36.60	c (25,0) x[0][27] = 3
212.95/36.60	c (25,0) x[0][28] = 0
212.95/36.60	c (25,0) x[0][29] = 18
212.95/36.60	c (25,0) x[1][0] = 18
212.95/36.60	c (25,0) x[1][1] = 24
212.95/36.60	c (25,0) x[1][2] = 2
212.95/36.60	c (25,0) x[1][3] = 26
212.95/36.60	c (25,0) x[1][4] = 23
212.95/36.60	c (25,0) x[1][5] = 29
212.95/36.60	c (25,0) x[1][6] = 11
212.95/36.60	c (25,0) x[1][7] = 17
212.95/36.60	c (25,0) x[1][8] = 14
212.95/36.60	c (25,0) x[1][9] = 0
212.95/36.60	c (25,0) x[1][10] = 13
212.95/36.60	c (25,0) x[1][11] = 7
212.95/36.60	c (25,0) x[1][12] = 5
212.95/36.60	c (25,0) x[1][13] = 25
212.95/36.60	c (25,0) x[1][14] = 21
212.95/36.60	c (25,0) x[1][15] = 22
212.95/36.60	c (25,0) x[1][16] = 20
212.95/36.60	c (25,0) x[1][17] = 15
212.95/36.60	c (25,0) x[1][18] = 9
212.95/36.60	c (25,0) x[1][19] = 27
212.95/36.60	c (25,0) x[1][20] = 4
212.95/36.60	c (25,0) x[1][21] = 28
212.95/36.60	c (25,0) x[1][22] = 3
212.95/36.60	c (25,0) x[1][23] = 12
212.95/36.60	c (25,0) x[1][24] = 1
212.95/36.60	c (25,0) x[1][25] = 19
212.95/36.60	c (25,0) x[1][26] = 16
212.95/36.60	c (25,0) x[1][27] = 10
212.95/36.60	c (25,0) x[1][28] = 6
212.95/36.60	c (25,0) x[1][29] = 8
212.95/36.60	c (25,0) x[2][0] = 29
212.95/36.60	c (25,0) x[2][1] = 0
212.95/36.60	c (25,0) x[2][2] = 19
212.95/36.60	c (25,0) x[2][3] = 13
212.95/36.60	c (25,0) x[2][4] = 6
212.95/36.60	c (25,0) x[2][5] = 16
212.95/36.60	c (25,0) x[2][6] = 24
212.95/36.60	c (25,0) x[2][7] = 2
212.95/36.60	c (25,0) x[2][8] = 21
212.95/36.60	c (25,0) x[2][9] = 1
212.95/36.60	c (25,0) x[2][10] = 12
212.95/36.60	c (25,0) x[2][11] = 8
212.95/36.60	c (25,0) x[2][12] = 7
212.95/36.60	c (25,0) x[2][13] = 23
212.95/36.60	c (25,0) x[2][14] = 15
212.95/36.60	c (25,0) x[2][15] = 11
212.95/36.60	c (25,0) x[2][16] = 27
212.95/36.60	c (25,0) x[2][17] = 14
212.95/36.60	c (25,0) x[2][18] = 18
212.95/36.60	c (25,0) x[2][19] = 22
212.95/36.60	c (25,0) x[2][20] = 17
212.95/36.60	c (25,0) x[2][21] = 20
212.95/36.60	c (25,0) x[2][22] = 28
212.95/36.60	c (25,0) x[2][23] = 3
212.95/36.60	c (25,0) x[2][24] = 25
212.95/36.60	c (25,0) x[2][25] = 10
212.95/36.61	c (25,0) x[2][26] = 5
212.95/36.61	c (25,0) x[2][27] = 26
212.95/36.61	c (25,0) x[2][28] = 9
212.95/36.61	c (25,0) x[2][29] = 4
212.95/36.61	c (25,0) x[3][0] = 4
212.95/36.61	c (25,0) x[3][1] = 20
212.95/36.61	c (25,0) x[3][2] = 22
212.95/36.61	c (25,0) x[3][3] = 17
212.95/36.61	c (25,0) x[3][4] = 26
212.95/36.61	c (25,0) x[3][5] = 8
212.95/36.61	c (25,0) x[3][6] = 0
212.95/36.61	c (25,0) x[3][7] = 12
212.95/36.61	c (25,0) x[3][8] = 23
212.95/36.61	c (25,0) x[3][9] = 11
212.95/36.61	c (25,0) x[3][10] = 27
212.95/36.61	c (25,0) x[3][11] = 28
212.95/36.61	c (25,0) x[3][12] = 18
212.95/36.61	c (25,0) x[3][13] = 7
212.95/36.61	c (25,0) x[3][14] = 24
212.95/36.61	c (25,0) x[3][15] = 5
212.95/36.61	c (25,0) x[3][16] = 16
212.95/36.61	c (25,0) x[3][17] = 19
212.95/36.61	c (25,0) x[3][18] = 15
212.95/36.61	c (25,0) x[3][19] = 29
212.95/36.61	c (25,0) x[3][20] = 14
212.95/36.61	c (25,0) x[3][21] = 9
212.95/36.61	c (25,0) x[3][22] = 6
212.95/36.61	c (25,0) x[3][23] = 13
212.95/36.61	c (25,0) x[3][24] = 10
212.95/36.61	c (25,0) x[3][25] = 25
212.95/36.61	c (25,0) x[3][26] = 2
212.95/36.61	c (25,0) x[3][27] = 1
212.95/36.61	c (25,0) x[3][28] = 21
212.95/36.61	c (25,0) x[3][29] = 3
212.95/36.61	c (25,0) x[4][0] = 3
212.95/36.61	c (25,0) x[4][1] = 2
212.95/36.61	c (25,0) x[4][2] = 1
212.95/36.61	c (25,0) x[4][3] = 22
212.95/36.61	c (25,0) x[4][4] = 20
212.95/36.61	c (25,0) x[4][5] = 11
212.95/36.61	c (25,0) x[4][6] = 14
212.95/36.61	c (25,0) x[4][7] = 16
212.95/36.61	c (25,0) x[4][8] = 18
212.95/36.61	c (25,0) x[4][9] = 27
212.95/36.61	c (25,0) x[4][10] = 23
212.95/36.61	c (25,0) x[4][11] = 12
212.95/36.61	c (25,0) x[4][12] = 4
212.95/36.61	c (25,0) x[4][13] = 6
212.95/36.61	c (25,0) x[4][14] = 10
212.95/36.61	c (25,0) x[4][15] = 15
212.95/36.61	c (25,0) x[4][16] = 19
212.95/36.61	c (25,0) x[4][17] = 5
212.95/36.61	c (25,0) x[4][18] = 26
212.95/36.61	c (25,0) x[4][19] = 28
212.95/36.61	c (25,0) x[4][20] = 24
212.95/36.61	c (25,0) x[4][21] = 8
212.95/36.61	c (25,0) x[4][22] = 13
212.95/36.61	c (25,0) x[4][23] = 17
212.95/36.61	c (25,0) x[4][24] = 9
212.95/36.61	c (25,0) x[4][25] = 7
212.95/36.61	c (25,0) x[4][26] = 0
212.95/36.61	c (25,0) x[4][27] = 29
212.95/36.61	c (25,0) x[4][28] = 25
212.95/36.61	c (25,0) x[4][29] = 21
212.95/36.61	c (25,0) x[5][0] = 21
212.95/36.61	c (25,0) x[5][1] = 6
212.95/36.61	c (25,0) x[5][2] = 3
212.95/36.61	c (25,0) x[5][3] = 0
212.95/36.61	c (25,0) x[5][4] = 10
212.95/36.61	c (25,0) x[5][5] = 5
212.95/36.61	c (25,0) x[5][6] = 4
212.95/36.61	c (25,0) x[5][7] = 11
212.95/36.61	c (25,0) x[5][8] = 17
212.95/36.61	c (25,0) x[5][9] = 8
212.95/36.61	c (25,0) x[5][10] = 28
212.95/36.61	c (25,0) x[5][11] = 22
212.95/36.61	c (25,0) x[5][12] = 29
212.95/36.61	c (25,0) x[5][13] = 12
212.95/36.61	c (25,0) x[5][14] = 16
212.95/36.61	c (25,0) x[5][15] = 23
212.95/36.61	c (25,0) x[5][16] = 24
212.95/36.61	c (25,0) x[5][17] = 26
212.95/36.61	c (25,0) x[5][18] = 27
212.95/36.61	c (25,0) x[5][19] = 18
212.95/36.61	c (25,0) x[5][20] = 9
212.95/36.61	c (25,0) x[5][21] = 2
212.95/36.61	c (25,0) x[5][22] = 19
212.95/36.61	c (25,0) x[5][23] = 15
212.95/36.61	c (25,0) x[5][24] = 20
212.95/36.61	c (25,0) x[5][25] = 13
212.95/36.61	c (25,0) x[5][26] = 25
212.95/36.61	c (25,0) x[5][27] = 7
212.95/36.61	c (25,0) x[5][28] = 14
212.95/36.61	c (25,0) x[5][29] = 1
212.95/36.61	c (25,0) x[6][0] = 22
212.95/36.61	c (25,0) x[6][1] = 13
212.95/36.61	c (25,0) x[6][2] = 18
212.95/36.61	c (25,0) x[6][3] = 23
212.95/36.61	c (25,0) x[6][4] = 8
212.95/36.61	c (25,0) x[6][5] = 15
212.95/36.61	c (25,0) x[6][6] = 20
212.95/36.61	c (25,0) x[6][7] = 4
212.95/36.61	c (25,0) x[6][8] = 25
212.95/36.61	c (25,0) x[6][9] = 14
212.95/36.61	c (25,0) x[6][10] = 26
212.95/36.61	c (25,0) x[6][11] = 6
212.95/36.61	c (25,0) x[6][12] = 3
212.95/36.61	c (25,0) x[6][13] = 9
212.95/36.61	c (25,0) x[6][14] = 5
212.95/36.61	c (25,0) x[6][15] = 27
212.95/36.61	c (25,0) x[6][16] = 11
212.95/36.61	c (25,0) x[6][17] = 17
212.95/36.61	c (25,0) x[6][18] = 28
212.95/36.61	c (25,0) x[6][19] = 24
212.95/36.61	c (25,0) x[6][20] = 1
212.95/36.61	c (25,0) x[6][21] = 12
212.95/36.61	c (25,0) x[6][22] = 2
212.95/36.61	c (25,0) x[6][23] = 10
212.95/36.61	c (25,0) x[6][24] = 19
212.95/36.61	c (25,0) x[6][25] = 16
212.95/36.61	c (25,0) x[6][26] = 7
212.95/36.61	c (25,0) x[6][27] = 21
212.95/36.61	c (25,0) x[6][28] = 29
212.95/36.61	c (25,0) x[6][29] = 0
212.95/36.61	c (25,0) x[7][0] = 5
212.95/36.61	c (25,0) x[7][1] = 22
212.95/36.61	c (25,0) x[7][2] = 24
212.95/36.61	c (25,0) x[7][3] = 7
212.95/36.61	c (25,0) x[7][4] = 19
212.95/36.61	c (25,0) x[7][5] = 28
212.95/36.61	c (25,0) x[7][6] = 25
212.95/36.61	c (25,0) x[7][7] = 15
212.95/36.61	c (25,0) x[7][8] = 9
212.95/36.61	c (25,0) x[7][9] = 26
212.95/36.61	c (25,0) x[7][10] = 18
212.95/36.61	c (25,0) x[7][11] = 11
212.95/36.61	c (25,0) x[7][12] = 16
212.95/36.61	c (25,0) x[7][13] = 17
212.95/36.61	c (25,0) x[7][14] = 14
212.95/36.61	c (25,0) x[7][15] = 8
212.95/36.61	c (25,0) x[7][16] = 2
212.95/36.61	c (25,0) x[7][17] = 10
212.95/36.61	c (25,0) x[7][18] = 13
212.95/36.61	c (25,0) x[7][19] = 4
212.95/36.61	c (25,0) x[7][20] = 6
212.95/36.61	c (25,0) x[7][21] = 21
212.95/36.61	c (25,0) x[7][22] = 23
212.95/36.61	c (25,0) x[7][23] = 29
212.95/36.61	c (25,0) x[7][24] = 0
212.95/36.61	c (25,0) x[7][25] = 3
212.95/36.61	c (25,0) x[7][26] = 1
212.95/36.61	c (25,0) x[7][27] = 27
212.95/36.61	c (25,0) x[7][28] = 12
212.95/36.61	c (25,0) x[7][29] = 20
212.95/36.61	c (25,0) x[8][0] = 8
212.95/36.61	c (25,0) x[8][1] = 28
212.95/36.61	c (25,0) x[8][2] = 6
212.95/36.61	c (25,0) x[8][3] = 10
212.95/36.61	c (25,0) x[8][4] = 16
212.95/36.61	c (25,0) x[8][5] = 9
212.95/36.61	c (25,0) x[8][6] = 13
212.95/36.61	c (25,0) x[8][7] = 26
212.95/36.61	c (25,0) x[8][8] = 1
212.95/36.61	c (25,0) x[8][9] = 23
212.95/36.61	c (25,0) x[8][10] = 29
212.95/36.61	c (25,0) x[8][11] = 24
212.95/36.61	c (25,0) x[8][12] = 21
212.95/36.61	c (25,0) x[8][13] = 4
212.95/36.61	c (25,0) x[8][14] = 27
212.95/36.61	c (25,0) x[8][15] = 2
212.95/36.61	c (25,0) x[8][16] = 5
212.95/36.61	c (25,0) x[8][17] = 0
212.95/36.61	c (25,0) x[8][18] = 20
212.95/36.61	c (25,0) x[8][19] = 19
212.95/36.61	c (25,0) x[8][20] = 3
212.95/36.61	c (25,0) x[8][21] = 15
212.95/36.61	c (25,0) x[8][22] = 11
212.95/36.61	c (25,0) x[8][23] = 7
212.95/36.61	c (25,0) x[8][24] = 18
212.95/36.61	c (25,0) x[8][25] = 12
212.95/36.61	c (25,0) x[8][26] = 14
212.95/36.61	c (25,0) x[8][27] = 25
212.95/36.61	c (25,0) x[8][28] = 22
212.95/36.61	c (25,0) x[8][29] = 17
212.95/36.61	c (25,0) x[9][0] = 26
212.95/36.61	c (25,0) x[9][1] = 5
212.95/36.61	c (25,0) x[9][2] = 11
212.95/36.61	c (25,0) x[9][3] = 4
212.95/36.62	c (25,0) x[9][4] = 24
212.95/36.62	c (25,0) x[9][5] = 12
212.95/36.62	c (25,0) x[9][6] = 16
212.95/36.62	c (25,0) x[9][7] = 1
212.95/36.62	c (25,0) x[9][8] = 6
212.95/36.62	c (25,0) x[9][9] = 25
212.95/36.62	c (25,0) x[9][10] = 8
212.95/36.62	c (25,0) x[9][11] = 18
212.95/36.62	c (25,0) x[9][12] = 27
212.95/36.62	c (25,0) x[9][13] = 21
212.95/36.62	c (25,0) x[9][14] = 0
212.95/36.62	c (25,0) x[9][15] = 3
212.95/36.62	c (25,0) x[9][16] = 23
212.95/36.62	c (25,0) x[9][17] = 2
212.95/36.62	c (25,0) x[9][18] = 19
212.95/36.62	c (25,0) x[9][19] = 7
212.95/36.62	c (25,0) x[9][20] = 28
212.95/36.62	c (25,0) x[9][21] = 29
212.95/36.62	c (25,0) x[9][22] = 22
212.95/36.62	c (25,0) x[9][23] = 20
212.95/36.62	c (25,0) x[9][24] = 14
212.95/36.62	c (25,0) x[9][25] = 9
212.95/36.62	c (25,0) x[9][26] = 13
212.95/36.62	c (25,0) x[9][27] = 17
212.95/36.62	c (25,0) x[9][28] = 15
212.95/36.62	c (25,0) x[9][29] = 10
212.95/36.62	c (25,0) x[10][0] = 2
212.95/36.62	c (25,0) x[10][1] = 25
212.95/36.62	c (25,0) x[10][2] = 28
212.95/36.62	c (25,0) x[10][3] = 14
212.95/36.62	c (25,0) x[10][4] = 7
212.95/36.62	c (25,0) x[10][5] = 0
212.95/36.62	c (25,0) x[10][6] = 17
212.95/36.62	c (25,0) x[10][7] = 18
212.95/36.62	c (25,0) x[10][8] = 8
212.95/36.62	c (25,0) x[10][9] = 5
212.95/36.62	c (25,0) x[10][10] = 1
212.95/36.62	c (25,0) x[10][11] = 10
212.95/36.62	c (25,0) x[10][12] = 11
212.95/36.62	c (25,0) x[10][13] = 26
212.95/36.62	c (25,0) x[10][14] = 22
212.95/36.62	c (25,0) x[10][15] = 16
212.95/36.62	c (25,0) x[10][16] = 13
212.95/36.62	c (25,0) x[10][17] = 20
212.95/36.62	c (25,0) x[10][18] = 12
212.95/36.62	c (25,0) x[10][19] = 23
212.95/36.62	c (25,0) x[10][20] = 15
212.95/36.62	c (25,0) x[10][21] = 6
212.95/36.62	c (25,0) x[10][22] = 4
212.95/36.62	c (25,0) x[10][23] = 19
212.95/36.62	c (25,0) x[10][24] = 29
212.95/36.62	c (25,0) x[10][25] = 21
212.95/36.62	c (25,0) x[10][26] = 3
212.95/36.62	c (25,0) x[10][27] = 24
212.95/36.62	c (25,0) x[10][28] = 27
212.95/36.62	c (25,0) x[10][29] = 9
212.95/36.62	c (25,0) x[11][0] = 27
212.95/36.62	c (25,0) x[11][1] = 9
212.95/36.62	c (25,0) x[11][2] = 15
212.95/36.62	c (25,0) x[11][3] = 25
212.95/36.62	c (25,0) x[11][4] = 12
212.95/36.62	c (25,0) x[11][5] = 26
212.95/36.62	c (25,0) x[11][6] = 3
212.95/36.62	c (25,0) x[11][7] = 8
212.95/36.62	c (25,0) x[11][8] = 19
212.95/36.62	c (25,0) x[11][9] = 21
212.95/36.62	c (25,0) x[11][10] = 10
212.95/36.62	c (25,0) x[11][11] = 16
212.95/36.62	c (25,0) x[11][12] = 0
212.95/36.62	c (25,0) x[11][13] = 11
212.95/36.62	c (25,0) x[11][14] = 6
212.95/36.62	c (25,0) x[11][15] = 24
212.95/36.62	c (25,0) x[11][16] = 1
212.95/36.62	c (25,0) x[11][17] = 28
212.95/36.62	c (25,0) x[11][18] = 29
212.95/36.62	c (25,0) x[11][19] = 20
212.95/36.62	c (25,0) x[11][20] = 18
212.95/36.62	c (25,0) x[11][21] = 23
212.95/36.62	c (25,0) x[11][22] = 14
212.95/36.62	c (25,0) x[11][23] = 2
212.95/36.62	c (25,0) x[11][24] = 5
212.95/36.62	c (25,0) x[11][25] = 22
212.95/36.62	c (25,0) x[11][26] = 17
212.95/36.62	c (25,0) x[11][27] = 13
212.95/36.62	c (25,0) x[11][28] = 4
212.95/36.62	c (25,0) x[11][29] = 7
212.95/36.62	c (25,0) x[12][0] = 7
212.95/36.62	c (25,0) x[12][1] = 4
212.95/36.62	c (25,0) x[12][2] = 25
212.95/36.62	c (25,0) x[12][3] = 20
212.95/36.62	c (25,0) x[12][4] = 29
212.95/36.62	c (25,0) x[12][5] = 17
212.95/36.62	c (25,0) x[12][6] = 2
212.95/36.62	c (25,0) x[12][7] = 19
212.95/36.62	c (25,0) x[12][8] = 5
212.95/36.62	c (25,0) x[12][9] = 13
212.95/36.62	c (25,0) x[12][10] = 6
212.95/36.62	c (25,0) x[12][11] = 0
212.95/36.62	c (25,0) x[12][12] = 22
212.95/36.62	c (25,0) x[12][13] = 24
212.95/36.62	c (25,0) x[12][14] = 3
212.95/36.62	c (25,0) x[12][15] = 9
212.95/36.62	c (25,0) x[12][16] = 15
212.95/36.62	c (25,0) x[12][17] = 21
212.95/36.62	c (25,0) x[12][18] = 23
212.95/36.62	c (25,0) x[12][19] = 10
212.95/36.62	c (25,0) x[12][20] = 16
212.95/36.62	c (25,0) x[12][21] = 14
212.95/36.62	c (25,0) x[12][22] = 8
212.95/36.62	c (25,0) x[12][23] = 1
212.95/36.62	c (25,0) x[12][24] = 26
212.95/36.62	c (25,0) x[12][25] = 18
212.95/36.62	c (25,0) x[12][26] = 27
212.95/36.62	c (25,0) x[12][27] = 12
212.95/36.62	c (25,0) x[12][28] = 11
212.95/36.62	c (25,0) x[12][29] = 28
212.95/36.62	c (25,0) x[13][0] = 16
212.95/36.62	c (25,0) x[13][1] = 26
212.95/36.62	c (25,0) x[13][2] = 5
212.95/36.62	c (25,0) x[13][3] = 9
212.95/36.62	c (25,0) x[13][4] = 0
212.95/36.62	c (25,0) x[13][5] = 3
212.95/36.62	c (25,0) x[13][6] = 7
212.95/36.62	c (25,0) x[13][7] = 22
212.95/36.62	c (25,0) x[13][8] = 27
212.95/36.62	c (25,0) x[13][9] = 6
212.95/36.62	c (25,0) x[13][10] = 21
212.95/36.62	c (25,0) x[13][11] = 19
212.95/36.62	c (25,0) x[13][12] = 10
212.95/36.62	c (25,0) x[13][13] = 1
212.95/36.62	c (25,0) x[13][14] = 8
212.95/36.62	c (25,0) x[13][15] = 13
212.95/36.62	c (25,0) x[13][16] = 12
212.95/36.62	c (25,0) x[13][17] = 29
212.95/36.62	c (25,0) x[13][18] = 2
212.95/36.62	c (25,0) x[13][19] = 11
212.95/36.62	c (25,0) x[13][20] = 23
212.95/36.62	c (25,0) x[13][21] = 4
212.95/36.62	c (25,0) x[13][22] = 20
212.95/36.62	c (25,0) x[13][23] = 28
212.95/36.62	c (25,0) x[13][24] = 15
212.95/36.62	c (25,0) x[13][25] = 17
212.95/36.62	c (25,0) x[13][26] = 18
212.95/36.62	c (25,0) x[13][27] = 14
212.95/36.62	c (25,0) x[13][28] = 24
212.95/36.62	c (25,0) x[13][29] = 25
212.95/36.62	c (25,0) x[14][0] = 12
212.95/36.62	c (25,0) x[14][1] = 23
212.95/36.62	c (25,0) x[14][2] = 16
212.95/36.62	c (25,0) x[14][3] = 3
212.95/36.62	c (25,0) x[14][4] = 28
212.95/36.62	c (25,0) x[14][5] = 24
212.95/36.62	c (25,0) x[14][6] = 8
212.95/36.62	c (25,0) x[14][7] = 6
212.95/36.62	c (25,0) x[14][8] = 10
212.95/36.62	c (25,0) x[14][9] = 2
212.95/36.62	c (25,0) x[14][10] = 14
212.95/36.62	c (25,0) x[14][11] = 15
212.95/36.62	c (25,0) x[14][12] = 9
212.95/36.62	c (25,0) x[14][13] = 20
212.95/36.62	c (25,0) x[14][14] = 25
212.95/36.62	c (25,0) x[14][15] = 17
212.95/36.62	c (25,0) x[14][16] = 29
212.95/36.62	c (25,0) x[14][17] = 18
212.95/36.62	c (25,0) x[14][18] = 1
212.95/36.62	c (25,0) x[14][19] = 5
212.95/36.62	c (25,0) x[14][20] = 13
212.95/36.62	c (25,0) x[14][21] = 11
212.95/36.62	c (25,0) x[14][22] = 26
212.95/36.62	c (25,0) x[14][23] = 4
212.95/36.62	c (25,0) x[14][24] = 21
212.95/36.62	c (25,0) x[14][25] = 0
212.95/36.62	c (25,0) x[14][26] = 22
212.95/36.62	c (25,0) x[14][27] = 19
212.95/36.62	c (25,0) x[14][28] = 7
212.95/36.62	c (25,0) x[14][29] = 27
212.95/36.62	c (25,0) x[15][0] = 19
212.95/36.62	c (25,0) x[15][1] = 29
212.95/36.62	c (25,0) x[15][2] = 0
212.95/36.62	c (25,0) x[15][3] = 27
212.95/36.62	c (25,0) x[15][4] = 1
212.95/36.62	c (25,0) x[15][5] = 18
212.95/36.62	c (25,0) x[15][6] = 12
212.95/36.62	c (25,0) x[15][7] = 21
212.95/36.62	c (25,0) x[15][8] = 7
212.95/36.62	c (25,0) x[15][9] = 3
212.95/36.62	c (25,0) x[15][10] = 9
212.95/36.62	c (25,0) x[15][11] = 4
212.95/36.62	c (25,0) x[15][12] = 26
212.95/36.62	c (25,0) x[15][13] = 13
212.95/36.62	c (25,0) x[15][14] = 2
212.95/36.62	c (25,0) x[15][15] = 14
212.95/36.62	c (25,0) x[15][16] = 25
212.95/36.62	c (25,0) x[15][17] = 23
212.95/36.62	c (25,0) x[15][18] = 10
212.95/36.62	c (25,0) x[15][19] = 16
212.95/36.62	c (25,0) x[15][20] = 11
212.95/36.62	c (25,0) x[15][21] = 24
212.95/36.62	c (25,0) x[15][22] = 15
212.95/36.62	c (25,0) x[15][23] = 22
212.95/36.62	c (25,0) x[15][24] = 8
212.95/36.62	c (25,0) x[15][25] = 20
212.95/36.62	c (25,0) x[15][26] = 6
212.95/36.62	c (25,0) x[15][27] = 28
212.95/36.62	c (25,0) x[15][28] = 17
212.95/36.62	c (25,0) x[15][29] = 5
212.95/36.62	c (25,0) x[16][0] = 15
212.95/36.62	c (25,0) x[16][1] = 17
212.95/36.62	c (25,0) x[16][2] = 27
212.95/36.62	c (25,0) x[16][3] = 21
212.95/36.62	c (25,0) x[16][4] = 5
212.95/36.62	c (25,0) x[16][5] = 10
212.95/36.62	c (25,0) x[16][6] = 9
212.95/36.62	c (25,0) x[16][7] = 20
212.95/36.62	c (25,0) x[16][8] = 11
212.95/36.62	c (25,0) x[16][9] = 22
212.95/36.62	c (25,0) x[16][10] = 24
212.95/36.62	c (25,0) x[16][11] = 29
212.95/36.62	c (25,0) x[16][12] = 2
212.95/36.62	c (25,0) x[16][13] = 18
212.95/36.62	c (25,0) x[16][14] = 1
212.95/36.62	c (25,0) x[16][15] = 4
212.95/36.62	c (25,0) x[16][16] = 28
212.95/36.62	c (25,0) x[16][17] = 13
212.95/36.62	c (25,0) x[16][18] = 16
212.95/36.62	c (25,0) x[16][19] = 12
212.95/36.62	c (25,0) x[16][20] = 26
212.95/36.62	c (25,0) x[16][21] = 3
212.95/36.62	c (25,0) x[16][22] = 0
212.95/36.62	c (25,0) x[16][23] = 25
212.95/36.62	c (25,0) x[16][24] = 7
212.95/36.62	c (25,0) x[16][25] = 8
212.95/36.62	c (25,0) x[16][26] = 23
212.95/36.62	c (25,0) x[16][27] = 6
212.95/36.62	c (25,0) x[16][28] = 19
212.95/36.62	c (25,0) x[16][29] = 14
212.95/36.62	c (25,0) x[17][0] = 11
212.95/36.62	c (25,0) x[17][1] = 15
212.95/36.62	c (25,0) x[17][2] = 17
212.95/36.62	c (25,0) x[17][3] = 12
212.95/36.62	c (25,0) x[17][4] = 27
212.95/36.62	c (25,0) x[17][5] = 20
212.95/36.62	c (25,0) x[17][6] = 26
212.95/36.62	c (25,0) x[17][7] = 13
212.95/36.62	c (25,0) x[17][8] = 29
212.95/36.62	c (25,0) x[17][9] = 7
212.95/36.62	c (25,0) x[17][10] = 3
212.95/36.62	c (25,0) x[17][11] = 14
212.95/36.62	c (25,0) x[17][12] = 6
212.95/36.62	c (25,0) x[17][13] = 5
212.95/36.62	c (25,0) x[17][14] = 18
212.95/36.62	c (25,0) x[17][15] = 21
212.95/36.62	c (25,0) x[17][16] = 4
212.95/36.62	c (25,0) x[17][17] = 16
212.95/36.62	c (25,0) x[17][18] = 25
212.95/36.62	c (25,0) x[17][19] = 1
212.95/36.62	c (25,0) x[17][20] = 2
212.95/36.62	c (25,0) x[17][21] = 19
212.95/36.62	c (25,0) x[17][22] = 10
212.95/36.62	c (25,0) x[17][23] = 0
212.95/36.62	c (25,0) x[17][24] = 22
212.95/36.62	c (25,0) x[17][25] = 28
212.95/36.62	c (25,0) x[17][26] = 9
212.95/36.62	c (25,0) x[17][27] = 8
212.95/36.62	c (25,0) x[17][28] = 23
212.95/36.62	c (25,0) x[17][29] = 24
212.95/36.62	c (25,0) x[18][0] = 10
212.95/36.62	c (25,0) x[18][1] = 14
212.95/36.62	c (25,0) x[18][2] = 7
212.95/36.62	c (25,0) x[18][3] = 15
212.95/36.62	c (25,0) x[18][4] = 25
212.95/36.62	c (25,0) x[18][5] = 4
212.95/36.62	c (25,0) x[18][6] = 29
212.95/36.62	c (25,0) x[18][7] = 24
212.95/36.62	c (25,0) x[18][8] = 13
212.95/36.62	c (25,0) x[18][9] = 16
212.95/36.62	c (25,0) x[18][10] = 19
212.95/36.62	c (25,0) x[18][11] = 5
212.95/36.62	c (25,0) x[18][12] = 1
212.95/36.62	c (25,0) x[18][13] = 2
212.95/36.62	c (25,0) x[18][14] = 20
212.95/36.62	c (25,0) x[18][15] = 12
212.95/36.62	c (25,0) x[18][16] = 26
212.95/36.62	c (25,0) x[18][17] = 3
212.95/36.62	c (25,0) x[18][18] = 22
212.95/36.62	c (25,0) x[18][19] = 0
212.95/36.62	c (25,0) x[18][20] = 21
212.95/36.62	c (25,0) x[18][21] = 17
212.95/36.62	c (25,0) x[18][22] = 27
212.95/36.62	c (25,0) x[18][23] = 18
212.95/36.62	c (25,0) x[18][24] = 28
212.95/36.62	c (25,0) x[18][25] = 23
212.95/36.62	c (25,0) x[18][26] = 11
212.95/36.62	c (25,0) x[18][27] = 9
212.95/36.62	c (25,0) x[18][28] = 8
212.95/36.62	c (25,0) x[18][29] = 6
212.95/36.62	c (25,0) x[19][0] = 0
212.95/36.62	c (25,0) x[19][1] = 11
212.95/36.62	c (25,0) x[19][2] = 10
212.95/36.62	c (25,0) x[19][3] = 29
212.95/36.62	c (25,0) x[19][4] = 21
212.95/36.62	c (25,0) x[19][5] = 2
212.95/36.62	c (25,0) x[19][6] = 6
212.95/36.62	c (25,0) x[19][7] = 27
212.95/36.62	c (25,0) x[19][8] = 3
212.95/36.62	c (25,0) x[19][9] = 28
212.95/36.62	c (25,0) x[19][10] = 15
212.95/36.62	c (25,0) x[19][11] = 20
212.95/36.62	c (25,0) x[19][12] = 23
212.95/36.62	c (25,0) x[19][13] = 14
212.95/36.62	c (25,0) x[19][14] = 9
212.95/36.62	c (25,0) x[19][15] = 18
212.95/36.62	c (25,0) x[19][16] = 7
212.95/36.62	c (25,0) x[19][17] = 25
212.95/36.62	c (25,0) x[19][18] = 24
212.95/36.62	c (25,0) x[19][19] = 13
212.95/36.62	c (25,0) x[19][20] = 19
212.95/36.62	c (25,0) x[19][21] = 16
212.95/36.62	c (25,0) x[19][22] = 17
212.95/36.62	c (25,0) x[19][23] = 26
212.95/36.62	c (25,0) x[19][24] = 12
212.95/36.62	c (25,0) x[19][25] = 5
212.95/36.62	c (25,0) x[19][26] = 8
212.95/36.62	c (25,0) x[19][27] = 4
212.95/36.62	c (25,0) x[19][28] = 1
212.95/36.62	c (25,0) x[19][29] = 22
212.95/36.62	c (25,0) x[20][0] = 24
212.95/36.62	c (25,0) x[20][1] = 7
212.95/36.62	c (25,0) x[20][2] = 8
212.95/36.62	c (25,0) x[20][3] = 1
212.95/36.62	c (25,0) x[20][4] = 11
212.95/36.62	c (25,0) x[20][5] = 27
212.95/36.62	c (25,0) x[20][6] = 5
212.95/36.62	c (25,0) x[20][7] = 28
212.95/36.62	c (25,0) x[20][8] = 0
212.95/36.62	c (25,0) x[20][9] = 29
212.95/36.62	c (25,0) x[20][10] = 16
212.95/36.62	c (25,0) x[20][11] = 17
212.95/36.62	c (25,0) x[20][12] = 15
212.95/36.62	c (25,0) x[20][13] = 10
212.95/36.62	c (25,0) x[20][14] = 23
212.95/36.62	c (25,0) x[20][15] = 26
212.95/36.62	c (25,0) x[20][16] = 9
212.95/36.62	c (25,0) x[20][17] = 6
212.95/36.62	c (25,0) x[20][18] = 4
212.95/36.62	c (25,0) x[20][19] = 25
212.95/36.62	c (25,0) x[20][20] = 20
212.95/36.62	c (25,0) x[20][21] = 18
212.95/36.62	c (25,0) x[20][22] = 21
212.95/36.62	c (25,0) x[20][23] = 14
212.95/36.62	c (25,0) x[20][24] = 3
212.95/36.62	c (25,0) x[20][25] = 2
212.95/36.62	c (25,0) x[20][26] = 19
212.95/36.62	c (25,0) x[20][27] = 22
212.95/36.62	c (25,0) x[20][28] = 13
212.95/36.62	c (25,0) x[20][29] = 12
212.95/36.62	c (25,0) x[21][0] = 1
212.95/36.62	c (25,0) x[21][1] = 18
212.95/36.62	c (25,0) x[21][2] = 20
212.95/36.62	c (25,0) x[21][3] = 6
212.95/36.62	c (25,0) x[21][4] = 3
212.95/36.62	c (25,0) x[21][5] = 23
212.95/36.62	c (25,0) x[21][6] = 19
212.95/36.62	c (25,0) x[21][7] = 25
212.95/36.62	c (25,0) x[21][8] = 12
212.95/36.62	c (25,0) x[21][9] = 4
212.95/36.62	c (25,0) x[21][10] = 11
212.95/36.62	c (25,0) x[21][11] = 21
212.95/36.62	c (25,0) x[21][12] = 28
212.95/36.62	c (25,0) x[21][13] = 8
212.95/36.62	c (25,0) x[21][14] = 17
212.95/36.62	c (25,0) x[21][15] = 0
212.95/36.62	c (25,0) x[21][16] = 22
212.95/36.62	c (25,0) x[21][17] = 27
212.95/36.62	c (25,0) x[21][18] = 7
212.95/36.62	c (25,0) x[21][19] = 14
212.95/36.62	c (25,0) x[21][20] = 29
212.95/36.62	c (25,0) x[21][21] = 10
212.95/36.62	c (25,0) x[21][22] = 9
212.95/36.62	c (25,0) x[21][23] = 24
212.95/36.62	c (25,0) x[21][24] = 2
212.95/36.62	c (25,0) x[21][25] = 26
212.95/36.62	c (25,0) x[21][26] = 15
212.95/36.62	c (25,0) x[21][27] = 5
212.95/36.62	c (25,0) x[21][28] = 16
212.95/36.62	c (25,0) x[21][29] = 13
212.95/36.62	c (25,0) x[22][0] = 13
212.95/36.62	c (25,0) x[22][1] = 21
212.95/36.62	c (25,0) x[22][2] = 14
212.95/36.62	c (25,0) x[22][3] = 2
212.95/36.62	c (25,0) x[22][4] = 18
212.95/36.62	c (25,0) x[22][5] = 19
212.95/36.62	c (25,0) x[22][6] = 27
212.95/36.62	c (25,0) x[22][7] = 10
212.95/36.62	c (25,0) x[22][8] = 24
212.95/36.62	c (25,0) x[22][9] = 15
212.95/36.62	c (25,0) x[22][10] = 4
212.95/36.62	c (25,0) x[22][11] = 1
212.95/36.62	c (25,0) x[22][12] = 8
212.95/36.62	c (25,0) x[22][13] = 22
212.95/36.62	c (25,0) x[22][14] = 29
212.95/36.62	c (25,0) x[22][15] = 28
212.95/36.62	c (25,0) x[22][16] = 17
212.95/36.62	c (25,0) x[22][17] = 9
212.95/36.62	c (25,0) x[22][18] = 0
212.95/36.62	c (25,0) x[22][19] = 3
212.95/36.62	c (25,0) x[22][20] = 7
212.95/36.62	c (25,0) x[22][21] = 26
212.95/36.62	c (25,0) x[22][22] = 25
212.95/36.62	c (25,0) x[22][23] = 5
212.95/36.62	c (25,0) x[22][24] = 6
212.95/36.62	c (25,0) x[22][25] = 11
212.95/36.62	c (25,0) x[22][26] = 12
212.95/36.62	c (25,0) x[22][27] = 23
212.95/36.62	c (25,0) x[22][28] = 20
212.95/36.62	c (25,0) x[22][29] = 16
212.95/36.62	c (25,0) x[23][0] = 25
212.95/36.62	c (25,0) x[23][1] = 8
212.95/36.62	c (25,0) x[23][2] = 9
212.95/36.62	c (25,0) x[23][3] = 24
212.95/36.62	c (25,0) x[23][4] = 2
212.95/36.62	c (25,0) x[23][5] = 13
212.95/36.62	c (25,0) x[23][6] = 18
212.95/36.62	c (25,0) x[23][7] = 14
212.95/36.62	c (25,0) x[23][8] = 15
212.95/36.62	c (25,0) x[23][9] = 19
212.95/36.62	c (25,0) x[23][10] = 17
212.95/36.62	c (25,0) x[23][11] = 3
212.95/36.62	c (25,0) x[23][12] = 12
212.95/36.62	c (25,0) x[23][13] = 0
212.95/36.62	c (25,0) x[23][14] = 28
212.95/36.62	c (25,0) x[23][15] = 20
212.95/36.62	c (25,0) x[23][16] = 21
212.95/36.62	c (25,0) x[23][17] = 4
212.95/36.62	c (25,0) x[23][18] = 6
212.95/36.62	c (25,0) x[23][19] = 26
212.95/36.62	c (25,0) x[23][20] = 22
212.95/36.62	c (25,0) x[23][21] = 1
212.95/36.62	c (25,0) x[23][22] = 7
212.95/36.62	c (25,0) x[23][23] = 23
212.95/36.62	c (25,0) x[23][24] = 16
212.95/36.62	c (25,0) x[23][25] = 27
212.95/36.62	c (25,0) x[23][26] = 10
212.95/36.62	c (25,0) x[23][27] = 11
212.95/36.62	c (25,0) x[23][28] = 5
212.95/36.62	c (25,0) x[23][29] = 29
212.95/36.62	c (25,0) x[24][0] = 17
212.95/36.62	c (25,0) x[24][1] = 3
212.95/36.62	c (25,0) x[24][2] = 12
212.95/36.62	c (25,0) x[24][3] = 28
212.95/36.62	c (25,0) x[24][4] = 22
212.95/36.62	c (25,0) x[24][5] = 14
212.95/36.62	c (25,0) x[24][6] = 23
212.95/36.62	c (25,0) x[24][7] = 0
212.95/36.62	c (25,0) x[24][8] = 26
212.95/36.62	c (25,0) x[24][9] = 24
212.95/36.62	c (25,0) x[24][10] = 25
212.95/36.62	c (25,0) x[24][11] = 13
212.95/36.62	c (25,0) x[24][12] = 20
212.95/36.62	c (25,0) x[24][13] = 29
212.95/36.62	c (25,0) x[24][14] = 11
212.95/36.62	c (25,0) x[24][15] = 7
212.95/36.62	c (25,0) x[24][16] = 6
212.95/36.62	c (25,0) x[24][17] = 1
212.95/36.62	c (25,0) x[24][18] = 8
212.95/36.62	c (25,0) x[24][19] = 9
212.95/36.62	c (25,0) x[24][20] = 10
212.95/36.62	c (25,0) x[24][21] = 27
212.95/36.62	c (25,0) x[24][22] = 5
212.95/36.62	c (25,0) x[24][23] = 16
212.95/36.62	c (25,0) x[24][24] = 4
212.95/36.62	c (25,0) x[24][25] = 15
212.95/36.62	c (25,0) x[24][26] = 21
212.95/36.62	c (25,0) x[24][27] = 18
212.95/36.62	c (25,0) x[24][28] = 2
212.95/36.62	c (25,0) x[24][29] = 19
212.95/36.62	c (25,0) x[25][0] = 28
212.95/36.62	c (25,0) x[25][1] = 10
212.95/36.62	c (25,0) x[25][2] = 29
212.95/36.62	c (25,0) x[25][3] = 19
212.95/36.62	c (25,0) x[25][4] = 15
212.95/36.62	c (25,0) x[25][5] = 1
212.95/36.62	c (25,0) x[25][6] = 21
212.95/36.62	c (25,0) x[25][7] = 23
212.95/36.62	c (25,0) x[25][8] = 4
212.95/36.62	c (25,0) x[25][9] = 9
212.95/36.62	c (25,0) x[25][10] = 0
212.95/36.62	c (25,0) x[25][11] = 26
212.95/36.62	c (25,0) x[25][12] = 25
212.95/36.62	c (25,0) x[25][13] = 3
212.95/36.62	c (25,0) x[25][14] = 7
212.95/36.62	c (25,0) x[25][15] = 6
212.95/36.62	c (25,0) x[25][16] = 8
212.95/36.62	c (25,0) x[25][17] = 22
212.95/36.62	c (25,0) x[25][18] = 5
212.95/36.62	c (25,0) x[25][19] = 17
212.95/36.62	c (25,0) x[25][20] = 27
212.95/36.62	c (25,0) x[25][21] = 13
212.95/36.62	c (25,0) x[25][22] = 12
212.95/36.62	c (25,0) x[25][23] = 11
212.95/36.62	c (25,0) x[25][24] = 24
212.95/36.62	c (25,0) x[25][25] = 14
212.95/36.62	c (25,0) x[25][26] = 20
212.95/36.62	c (25,0) x[25][27] = 16
212.95/36.62	c (25,0) x[25][28] = 18
212.95/36.62	c (25,0) x[25][29] = 2
212.95/36.62	c (25,0) x[26][0] = 9
212.95/36.62	c (25,0) x[26][1] = 16
212.95/36.62	c (25,0) x[26][2] = 13
212.95/36.62	c (25,0) x[26][3] = 5
212.95/36.62	c (25,0) x[26][4] = 4
212.95/36.62	c (25,0) x[26][5] = 22
212.95/36.62	c (25,0) x[26][6] = 15
212.95/36.62	c (25,0) x[26][7] = 29
212.95/36.62	c (25,0) x[26][8] = 20
212.95/36.62	c (25,0) x[26][9] = 17
212.95/36.62	c (25,0) x[26][10] = 7
212.95/36.62	c (25,0) x[26][11] = 27
212.95/36.62	c (25,0) x[26][12] = 24
212.95/36.62	c (25,0) x[26][13] = 19
212.95/36.62	c (25,0) x[26][14] = 26
212.95/36.62	c (25,0) x[26][15] = 25
212.95/36.62	c (25,0) x[26][16] = 3
212.95/36.62	c (25,0) x[26][17] = 8
212.95/36.62	c (25,0) x[26][18] = 14
212.95/36.62	c (25,0) x[26][19] = 6
212.95/36.62	c (25,0) x[26][20] = 12
212.95/36.62	c (25,0) x[26][21] = 0
212.95/36.62	c (25,0) x[26][22] = 18
212.95/36.62	c (25,0) x[26][23] = 21
212.95/36.62	c (25,0) x[26][24] = 23
212.95/36.62	c (25,0) x[26][25] = 1
212.95/36.62	c (25,0) x[26][26] = 28
212.95/36.62	c (25,0) x[26][27] = 2
212.95/36.62	c (25,0) x[26][28] = 10
212.95/36.62	c (25,0) x[26][29] = 11
212.95/36.62	c (25,0) x[27][0] = 6
212.95/36.62	c (25,0) x[27][1] = 1
212.95/36.62	c (25,0) x[27][2] = 23
212.95/36.62	c (25,0) x[27][3] = 18
212.95/36.62	c (25,0) x[27][4] = 17
212.95/36.62	c (25,0) x[27][5] = 7
212.95/36.62	c (25,0) x[27][6] = 22
212.95/36.62	c (25,0) x[27][7] = 3
212.95/36.62	c (25,0) x[27][8] = 16
212.95/36.62	c (25,0) x[27][9] = 12
212.95/36.62	c (25,0) x[27][10] = 20
212.95/36.62	c (25,0) x[27][11] = 25
212.95/36.62	c (25,0) x[27][12] = 14
212.95/36.62	c (25,0) x[27][13] = 27
212.95/36.62	c (25,0) x[27][14] = 19
212.95/36.62	c (25,0) x[27][15] = 10
212.95/36.62	c (25,0) x[27][16] = 0
212.95/36.62	c (25,0) x[27][17] = 11
212.95/36.62	c (25,0) x[27][18] = 21
212.95/36.62	c (25,0) x[27][19] = 2
212.95/36.62	c (25,0) x[27][20] = 8
212.95/36.62	c (25,0) x[27][21] = 5
212.95/36.62	c (25,0) x[27][22] = 24
212.95/36.62	c (25,0) x[27][23] = 9
212.95/36.62	c (25,0) x[27][24] = 13
212.95/36.62	c (25,0) x[27][25] = 4
212.95/36.62	c (25,0) x[27][26] = 29
212.95/36.62	c (25,0) x[27][27] = 15
212.95/36.62	c (25,0) x[27][28] = 28
212.95/36.62	c (25,0) x[27][29] = 26
212.95/36.62	c (25,0) x[28][0] = 14
212.95/36.62	c (25,0) x[28][1] = 19
212.95/36.62	c (25,0) x[28][2] = 21
212.95/36.62	c (25,0) x[28][3] = 11
212.95/36.62	c (25,0) x[28][4] = 13
212.95/36.62	c (25,0) x[28][5] = 6
212.95/36.62	c (25,0) x[28][6] = 1
212.95/36.62	c (25,0) x[28][7] = 9
212.95/36.62	c (25,0) x[28][8] = 22
212.95/36.62	c (25,0) x[28][9] = 18
212.95/36.62	c (25,0) x[28][10] = 5
212.95/36.62	c (25,0) x[28][11] = 2
212.95/36.62	c (25,0) x[28][12] = 17
212.95/36.62	c (25,0) x[28][13] = 28
212.95/36.62	c (25,0) x[28][14] = 12
212.95/36.62	c (25,0) x[28][15] = 29
212.95/36.62	c (25,0) x[28][16] = 10
212.95/36.62	c (25,0) x[28][17] = 7
212.95/36.62	c (25,0) x[28][18] = 3
212.95/36.62	c (25,0) x[28][19] = 15
212.95/36.62	c (25,0) x[28][20] = 0
212.95/36.62	c (25,0) x[28][21] = 25
212.95/36.62	c (25,0) x[28][22] = 16
212.95/36.62	c (25,0) x[28][23] = 8
212.95/36.62	c (25,0) x[28][24] = 27
212.95/36.62	c (25,0) x[28][25] = 24
212.95/36.62	c (25,0) x[28][26] = 4
212.95/36.62	c (25,0) x[28][27] = 20
212.95/36.62	c (25,0) x[28][28] = 26
212.95/36.62	c (25,0) x[28][29] = 23
212.95/36.62	c (25,0) x[29][0] = 23
212.95/36.62	c (25,0) x[29][1] = 12
212.95/36.62	c (25,0) x[29][2] = 4
212.95/36.62	c (25,0) x[29][3] = 8
212.95/36.62	c (25,0) x[29][4] = 14
212.95/36.62	c (25,0) x[29][5] = 25
212.95/36.62	c (25,0) x[29][6] = 10
212.95/36.62	c (25,0) x[29][7] = 7
212.95/36.62	c (25,0) x[29][8] = 28
212.95/36.62	c (25,0) x[29][9] = 20
212.95/36.62	c (25,0) x[29][10] = 2
212.95/36.62	c (25,0) x[29][11] = 9
212.95/36.62	c (25,0) x[29][12] = 19
212.95/36.62	c (25,0) x[29][13] = 16
212.95/36.62	c (25,0) x[29][14] = 13
212.95/36.62	c (25,0) x[29][15] = 1
212.95/36.62	c (25,0) x[29][16] = 18
212.95/36.62	c (25,0) x[29][17] = 24
212.95/36.62	c (25,0) x[29][18] = 11
212.95/36.62	c (25,0) x[29][19] = 21
212.95/36.62	c (25,0) x[29][20] = 5
212.95/36.62	c (25,0) x[29][21] = 22
212.95/36.62	c (25,0) x[29][22] = 29
212.95/36.62	c (25,0) x[29][23] = 27
212.95/36.62	c (25,0) x[29][24] = 17
212.95/36.62	c (25,0) x[29][25] = 6
212.95/36.62	c (25,0) x[29][26] = 26
212.95/36.62	c (25,0) x[29][27] = 0
212.95/36.62	c (25,0) x[29][28] = 3
212.95/36.62	c (25,0) x[29][29] = 15
212.95/36.62	s SATISFIABLE
212.95/36.63	v <instantiation>
212.95/36.63	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>
212.95/36.63	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>
212.95/36.63	v </instantiation>
212.95/36.63	c (25,0) Show results End
212.95/36.63	c (25,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
212.95/36.63	c (25,0) 25,25,STOP-AFTER(ALL)
212.95/36.63	c END-Prog: Sat Sep 14 08:31:53 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 (12443 MiB free)
  memory of node 1: 16384 MiB (11668 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392463-1568442716/watcher-4392463-1568442716 -o /tmp/evaluation-result-4392463-1568442716/solver-4392463-1568442716 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392463-1568442716.xml 

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

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


[startup+0.100155 s]*
/proc/loadavg: 2.19 5.64 7.31 3/212 28439
/proc/meminfo: memFree=24595756/32770624 swapFree=66939852/67108860
[pid=28417] ppid=28414 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28417/stat : 28417 (scop.sh) S 28414 28417 28228 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420186520 115843072 349 33554432000 4194304 5098028 140737223880592 140737223877848 140000667017852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23732224 140737223889701 140737223890028 140737223890028 140737223892941 0
/proc/28417/statm: 28282 349 296 221 0 87 0
[pid=28420] ppid=28417 vsize=27314120 memory=107112 CPUtime=0.1 cores=0-7
/proc/28420/stat : 28420 (java) S 28417 28417 28228 0 -1 1077944320 6802 0 0 0 8 2 0 0 20 0 20 0 420186521 27969658880 26778 33554432000 4194304 4196468 140722388077664 140722388060208 140014025748215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
/proc/28420/statm: 6828530 26778 2817 1 0 6790935 0
[pid=28420/tid=28421] ppid=28417 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/28420/task/28421/stat : 28421 (java) R 28417 28417 28228 0 -1 4202560 4898 0 0 0 7 2 0 0 20 0 20 0 420186521 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013997574544 140014025770141 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28422] ppid=28417 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28420/task/28422/stat : 28422 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140014029990544 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28423] ppid=28417 vsize=27314120 memory=140566304618112 CPUtime=0 cores=0-7
/proc/28420/task/28423/stat : 28423 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013854632464 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28424] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28424/stat : 28424 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013447313808 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28425] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28425/stat : 28425 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013446261008 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28426] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28426/stat : 28426 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013445209232 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28427] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28427/stat : 28427 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013444156432 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28428] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28428/stat : 28428 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013443103632 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28429] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28429/stat : 28429 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 26778 33554432000 4194304 4196468 140722388077664 140013442050832 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28430] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28430/stat : 28430 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186525 27969658880 26778 33554432000 4194304 4196468 140722388077664 140012413012336 140014025759362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28431] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28431/stat : 28431 (java) S 28417 28417 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420186525 27969658880 26778 33554432000 4194304 4196468 140722388077664 140011907310624 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28432] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28432/stat : 28432 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186526 27969658880 26778 33554432000 4194304 4196468 140722388077664 140011638874992 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28433] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28433/stat : 28433 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 26778 33554432000 4194304 4196468 140722388077664 140011264366416 140014025766811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28434] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28434/stat : 28434 (java) S 28417 28417 28228 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 26778 33554432000 4194304 4196468 140722388077664 140012411960176 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28435] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28435/stat : 28435 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 26778 33554432000 4194304 4196468 140722388077664 140012410907376 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28436] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28436/stat : 28436 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 26778 33554432000 4194304 4196468 140722388077664 140012409854576 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28437] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28437/stat : 28437 (java) S 28417 28417 28228 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 26778 33554432000 4194304 4196468 140722388077664 140012408801776 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28438] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28438/stat : 28438 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 26778 33554432000 4194304 4196468 140722388077664 140010766461536 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28439] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28439/stat : 28439 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186529 27969658880 26778 33554432000 4194304 4196468 140722388077664 140012407749168 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108508 KiB

[startup+0.213067 s]*
/proc/loadavg: 2.19 5.64 7.31 3/212 28439
/proc/meminfo: memFree=24574576/32770624 swapFree=66939852/67108860
[pid=28417] ppid=28414 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28417/stat : 28417 (scop.sh) S 28414 28417 28228 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420186520 115843072 349 33554432000 4194304 5098028 140737223880592 140737223877848 140000667017852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23732224 140737223889701 140737223890028 140737223890028 140737223892941 0
/proc/28417/statm: 28282 349 296 221 0 87 0
[pid=28420] ppid=28417 vsize=27314120 memory=126172 CPUtime=0.25 cores=0-7
/proc/28420/stat : 28420 (java) S 28417 28417 28228 0 -1 1077944320 12397 0 0 0 21 4 0 0 20 0 20 0 420186521 27969658880 31543 33554432000 4194304 4196468 140722388077664 140722388060208 140014025748215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
/proc/28420/statm: 6828530 31543 2930 1 0 6790935 0
[pid=28420/tid=28421] ppid=28417 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28420/task/28421/stat : 28421 (java) R 28417 28417 28228 0 -1 4202560 10107 0 0 0 16 3 0 0 20 0 20 0 420186521 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013997531776 140014007313185 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28422] ppid=28417 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28420/task/28422/stat : 28422 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140014029990544 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28423] ppid=28417 vsize=27314120 memory=3977157919621478048 CPUtime=0 cores=0-7
/proc/28420/task/28423/stat : 28423 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013854632464 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28424] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28424/stat : 28424 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013447313808 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28425] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28425/stat : 28425 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013446261008 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28426] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28426/stat : 28426 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013445209232 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28427] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28427/stat : 28427 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013444156432 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28428] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28428/stat : 28428 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013443103632 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28429] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28429/stat : 28429 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 31543 33554432000 4194304 4196468 140722388077664 140013442050832 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28430] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28430/stat : 28430 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186525 27969658880 31543 33554432000 4194304 4196468 140722388077664 140012413012336 140014025759362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28431] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28431/stat : 28431 (java) S 28417 28417 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420186525 27969658880 31543 33554432000 4194304 4196468 140722388077664 140011907310624 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28432] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28432/stat : 28432 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186526 27969658880 31543 33554432000 4194304 4196468 140722388077664 140011638874992 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28433] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28433/stat : 28433 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 31543 33554432000 4194304 4196468 140722388077664 140011264366416 140014025766811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28434] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28434/stat : 28434 (java) S 28417 28417 28228 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 31543 33554432000 4194304 4196468 140722388077664 140012411960176 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28435] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28435/stat : 28435 (java) S 28417 28417 28228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 31543 33554432000 4194304 4196468 140722388077664 140012410907376 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28436] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28436/stat : 28436 (java) S 28417 28417 28228 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 31543 33554432000 4194304 4196468 140722388077664 140012409854576 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28437] ppid=28417 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28420/task/28437/stat : 28437 (java) S 28417 28417 28228 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 420186528 27969658880 31543 33554432000 4194304 4196468 140722388077664 140012408801776 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28438] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28438/stat : 28438 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 31543 33554432000 4194304 4196468 140722388077664 140010766461536 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28439] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28439/stat : 28439 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186529 27969658880 31543 33554432000 4194304 4196468 140722388077664 140012407749168 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127568 KiB

[startup+0.310285 s]*
/proc/loadavg: 2.19 5.64 7.31 2/212 28439
/proc/meminfo: memFree=24572260/32770624 swapFree=66939852/67108860
[pid=28417] ppid=28414 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28417/stat : 28417 (scop.sh) S 28414 28417 28228 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420186520 115843072 349 33554432000 4194304 5098028 140737223880592 140737223877848 140000667017852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23732224 140737223889701 140737223890028 140737223890028 140737223892941 0
/proc/28417/statm: 28282 349 296 221 0 87 0
[pid=28420] ppid=28417 vsize=27314120 memory=129720 CPUtime=0.42 cores=0-7
/proc/28420/stat : 28420 (java) S 28417 28417 28228 0 -1 1077944320 12819 0 0 0 38 4 0 0 20 0 20 0 420186521 27969658880 32430 33554432000 4194304 4196468 140722388077664 140722388060208 140014025748215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
/proc/28420/statm: 6828530 32430 3015 1 0 6790935 0
[pid=28420/tid=28421] ppid=28417 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/28420/task/28421/stat : 28421 (java) R 28417 28417 28228 0 -1 4202560 10344 0 0 0 26 4 0 0 20 0 20 0 420186521 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013997563696 140014007121672 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28422] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28422/stat : 28422 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140014029990544 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28423] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28423/stat : 28423 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013854632464 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28424] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28424/stat : 28424 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013447313808 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28425] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28425/stat : 28425 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013446261008 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28426] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28426/stat : 28426 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013445209232 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28427] ppid=28417 vsize=27314120 memory=140566159518383 CPUtime=0 cores=0-7
/proc/28420/task/28427/stat : 28427 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013444156432 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28428] ppid=28417 vsize=27314120 memory=140566159520688 CPUtime=0 cores=0-7
/proc/28420/task/28428/stat : 28428 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013443103632 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28429] ppid=28417 vsize=27314120 memory=140566159522992 CPUtime=0 cores=0-7
/proc/28420/task/28429/stat : 28429 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27969658880 32430 33554432000 4194304 4196468 140722388077664 140013442050832 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28430] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28430/stat : 28430 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186525 27969658880 32430 33554432000 4194304 4196468 140722388077664 140012413012336 140014025759362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28431] ppid=28417 vsize=27314120 memory=281132319059856 CPUtime=0 cores=0-7
/proc/28420/task/28431/stat : 28431 (java) S 28417 28417 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420186525 27969658880 32430 33554432000 4194304 4196468 140722388077664 140011907310624 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28432] ppid=28417 vsize=27314120 memory=281132319057552 CPUtime=0 cores=0-7
/proc/28420/task/28432/stat : 28432 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186526 27969658880 32430 33554432000 4194304 4196468 140722388077664 140011638874992 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28433] ppid=28417 vsize=27314120 memory=281132319064464 CPUtime=0 cores=0-7
/proc/28420/task/28433/stat : 28433 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 32430 33554432000 4194304 4196468 140722388077664 140011264366416 140014025766811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28434] ppid=28417 vsize=27314120 memory=281132319005744 CPUtime=0 cores=0-7
/proc/28420/task/28434/stat : 28434 (java) S 28417 28417 28228 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 32430 33554432000 4194304 4196468 140722388077664 140012411960176 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28435] ppid=28417 vsize=27314120 memory=281132319078288 CPUtime=0.01 cores=0-7
/proc/28420/task/28435/stat : 28435 (java) S 28417 28417 28228 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 420186528 27969658880 32430 33554432000 4194304 4196468 140722388077664 140012410907376 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28436] ppid=28417 vsize=27314120 memory=281132319085200 CPUtime=0.02 cores=0-7
/proc/28420/task/28436/stat : 28436 (java) R 28417 28417 28228 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 20 0 420186528 27969658880 32430 33554432000 4194304 4196468 140722388077664 140012409854576 140014009274735 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28437] ppid=28417 vsize=27314120 memory=281132319082896 CPUtime=0.07 cores=0-7
/proc/28420/task/28437/stat : 28437 (java) S 28417 28417 28228 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 20 0 420186528 27969658880 32430 33554432000 4194304 4196468 140722388077664 140012408801776 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28438] ppid=28417 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28438/stat : 28438 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186528 27969658880 32430 33554432000 4194304 4196468 140722388077664 140010766461536 140014025758421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28439] ppid=28417 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28420/task/28439/stat : 28439 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186529 27969658880 32430 33554432000 4194304 4196468 140722388077664 140012407749168 140014025759362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131116 KiB

[startup+0.700981 s]
/proc/loadavg: 2.19 5.64 7.31 2/212 28439
/proc/meminfo: memFree=24550780/32770624 swapFree=66939852/67108860
[pid=28417] ppid=28414 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28417/stat : 28417 (scop.sh) S 28414 28417 28228 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420186520 115843072 349 33554432000 4194304 5098028 140737223880592 140737223877848 140000667017852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23732224 140737223889701 140737223890028 140737223890028 140737223892941 0
/proc/28417/statm: 28282 349 296 221 0 87 0
[pid=28420] ppid=28417 vsize=27322516 memory=165784 CPUtime=0.99 cores=0-7
/proc/28420/stat : 28420 (java) S 28417 28417 28228 0 -1 1077944320 20553 0 0 0 93 6 0 0 20 0 20 0 420186521 27978256384 41446 33554432000 4194304 4196468 140722388077664 140722388060208 140014025748215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
/proc/28420/statm: 6830629 41446 3190 1 0 6791959 0
[pid=28420/tid=28421] ppid=28417 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/28420/task/28421/stat : 28421 (java) R 28417 28417 28228 0 -1 4202560 17533 0 0 0 62 5 0 0 20 0 20 0 420186521 27978256384 41446 33554432000 4194304 4196468 140722388077664 140013997579952 140013779889731 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28422] ppid=28417 vsize=27322516 memory=140566159729520 CPUtime=0 cores=0-7
/proc/28420/task/28422/stat : 28422 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420186523 27978256384 41446 33554432000 4194304 4196468 140722388077664 140014029990544 140014025758421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28423] ppid=28417 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/28420/task/28423/stat : 28423 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420186523 27978256384 41446 33554432000 4194304 4196468 140722388077664 140013854632464 140014025758421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0
[pid=28420/tid=28424] ppid=28417 vsize=27322516 memory=1256 CPUtime=0 cores=0-7
/proc/28420/task/28424/stat : 28424 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420186523 27978256384 41446 33554432000 4194304 4196468 140722388077664 140013447313808 140014025758421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7528448 140722388083435 140722388083862 140722388083862 140722388086735 0

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

[pid=28442/tid=28444] ppid=28417 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28442/task/28444/stat : 28444 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140581439814544 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28445] ppid=28417 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/28442/task/28445/stat : 28445 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140581260110608 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28446] ppid=28417 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/28442/task/28446/stat : 28446 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580920020112 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28447] ppid=28417 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/28442/task/28447/stat : 28447 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580918967312 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28448] ppid=28417 vsize=8414124 memory=3192 CPUtime=0 cores=0-7
/proc/28442/task/28448/stat : 28448 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580917914000 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28449] ppid=28417 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28442/task/28449/stat : 28449 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580916861200 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28450] ppid=28417 vsize=8414124 memory=124404 CPUtime=0 cores=0-7
/proc/28442/task/28450/stat : 28450 (java) S 28417 28417 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580915808912 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28451] ppid=28417 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28442/task/28451/stat : 28451 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420187590 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580914756112 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28452] ppid=28417 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28442/task/28452/stat : 28452 (java) S 28417 28417 28228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420187591 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580864678512 140581435583106 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28453] ppid=28417 vsize=8414124 memory=281132320464656 CPUtime=0 cores=0-7
/proc/28442/task/28453/stat : 28453 (java) S 28417 28417 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420187592 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580118062368 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28454] ppid=28417 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28442/task/28454/stat : 28454 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420187592 8616062976 31101 33554432000 4194304 4196468 140731600581920 140579849627248 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28455] ppid=28417 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28442/task/28455/stat : 28455 (java) S 28417 28417 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420187594 8616062976 31101 33554432000 4194304 4196468 140731600581920 140579475118672 140581435590555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28456] ppid=28417 vsize=8414124 memory=0 CPUtime=0.12 cores=0-7
/proc/28442/task/28456/stat : 28456 (java) S 28417 28417 28228 0 -1 1077944384 643 0 0 0 12 0 0 0 20 0 24 0 420187594 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580863625328 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28457] ppid=28417 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/28442/task/28457/stat : 28457 (java) S 28417 28417 28228 0 -1 1077944384 683 0 0 0 9 0 0 0 20 0 24 0 420187594 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580862572528 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28458] ppid=28417 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/28442/task/28458/stat : 28458 (java) S 28417 28417 28228 0 -1 1077944384 354 0 0 0 10 0 0 0 20 0 24 0 420187595 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580861520240 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28459] ppid=28417 vsize=8414124 memory=2241 CPUtime=0.23 cores=0-7
/proc/28442/task/28459/stat : 28459 (java) S 28417 28417 28228 0 -1 1077944384 585 0 0 0 23 0 0 0 20 0 24 0 420187595 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580860467440 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28460] ppid=28417 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/28442/task/28460/stat : 28460 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420187595 8616062976 31101 33554432000 4194304 4196468 140731600581920 140578977213280 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28461] ppid=28417 vsize=8414124 memory=1440 CPUtime=0.01 cores=0-7
/proc/28442/task/28461/stat : 28461 (java) S 28417 28417 28228 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 420187595 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580859415344 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28463] ppid=28417 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/28442/task/28463/stat : 28463 (java) S 28417 28417 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420187666 8616062976 31101 33554432000 4194304 4196468 140731600581920 140580857804608 140581435596569 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28465] ppid=28417 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/28442/task/28465/stat : 28465 (java) S 28417 28417 28228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420187666 8616062976 31101 33554432000 4194304 4196468 140731600581920 140578306112912 140581435593885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28466] ppid=28417 vsize=8414124 memory=668 CPUtime=0 cores=0-7
/proc/28442/task/28466/stat : 28466 (java) S 28417 28417 28228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420187666 8616062976 31101 33554432000 4194304 4196468 140731600581920 140578574548240 140581435593885 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28467] ppid=28417 vsize=8414124 memory=1256 CPUtime=0 cores=0-7
/proc/28442/task/28467/stat : 28467 (java) S 28417 28417 28228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420187668 8616062976 31101 33554432000 4194304 4196468 140731600581920 140578037685552 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
Current children cumulated CPU time: 211.85 s
Current children cumulated vsize: 9324296 KiB
Current children cumulated memory: 517724 KiB

[startup+36.4012 s]
/proc/loadavg: 4.08 5.69 7.26 2/218 28475
/proc/meminfo: memFree=24186328/32770624 swapFree=66939852/67108860
[pid=28417] ppid=28414 vsize=113128 memory=1476 CPUtime=20.54 cores=0-7
/proc/28417/stat : 28417 (scop.sh) S 28414 28417 28228 0 -1 4202496 582 34066 0 0 0 0 1975 79 20 0 1 0 420186520 115843072 369 33554432000 4194304 5098028 140737223880592 140737223877336 140000667017852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23732224 140737223889701 140737223890028 140737223890028 140737223892941 0
/proc/28417/statm: 28282 369 311 221 0 87 0
[pid=28442] ppid=28417 vsize=8414124 memory=135800 CPUtime=191.86 cores=0-7
/proc/28442/stat : 28442 (java) S 28417 28417 28228 0 -1 1077944320 21845 206054 0 0 149 11 18974 52 20 0 23 0 420187588 8616062976 33950 33554432000 4194304 4196468 140731600581920 140731600564464 140581435571959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
/proc/28442/statm: 2103531 33950 3226 1 0 2064875 0
[pid=28442/tid=28443] ppid=28417 vsize=8414124 memory=0 CPUtime=191.06 cores=0-7
/proc/28442/task/28443/stat : 28443 (java) S 28417 28417 28228 0 -1 1077944384 16900 206054 0 0 73 7 18974 52 20 0 23 0 420187589 8616062976 33950 33554432000 4194304 4196468 140731600581920 140581407412128 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28444] ppid=28417 vsize=8414124 memory=7686721470267300251 CPUtime=190.26 cores=0-7
/proc/28442/task/28444/stat : 28444 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140581439814544 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28445] ppid=28417 vsize=8414124 memory=2209 CPUtime=190.26 cores=0-7
/proc/28442/task/28445/stat : 28445 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140581260110608 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28446] ppid=28417 vsize=8414124 memory=61988 CPUtime=190.26 cores=0-7
/proc/28442/task/28446/stat : 28446 (java) S 28417 28417 28228 0 -1 1077944384 3 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580920020112 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28447] ppid=28417 vsize=8414124 memory=3978429144338294885 CPUtime=190.26 cores=0-7
/proc/28442/task/28447/stat : 28447 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580918967312 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28448] ppid=28417 vsize=8414124 memory=924 CPUtime=190.26 cores=0-7
/proc/28442/task/28448/stat : 28448 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580917914000 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28449] ppid=28417 vsize=8414124 memory=4140 CPUtime=190.26 cores=0-7
/proc/28442/task/28449/stat : 28449 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580916861200 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28450] ppid=28417 vsize=8414124 memory=1412 CPUtime=190.26 cores=0-7
/proc/28442/task/28450/stat : 28450 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580915808912 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28451] ppid=28417 vsize=8414124 memory=3192 CPUtime=190.26 cores=0-7
/proc/28442/task/28451/stat : 28451 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 23 0 420187590 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580914756112 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28452] ppid=28417 vsize=8414124 memory=1476 CPUtime=190.26 cores=0-7
/proc/28442/task/28452/stat : 28452 (java) S 28417 28417 28228 0 -1 1077944384 7 206054 0 0 0 0 18974 52 20 0 23 0 420187591 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580864678512 140581435583106 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28453] ppid=28417 vsize=8414124 memory=124404 CPUtime=190.26 cores=0-7
/proc/28442/task/28453/stat : 28453 (java) S 28417 28417 28228 0 -1 1077944384 13 206054 0 0 0 0 18974 52 20 0 23 0 420187592 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580118062368 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28454] ppid=28417 vsize=8414124 memory=388376 CPUtime=190.26 cores=0-7
/proc/28442/task/28454/stat : 28454 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 23 0 420187592 8616062976 33950 33554432000 4194304 4196468 140731600581920 140579849627248 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28455] ppid=28417 vsize=8414124 memory=1620 CPUtime=190.26 cores=0-7
/proc/28442/task/28455/stat : 28455 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 23 0 420187594 8616062976 33950 33554432000 4194304 4196468 140731600581920 140579475118672 140581435590555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28456] ppid=28417 vsize=8414124 memory=1984 CPUtime=190.42 cores=0-7
/proc/28442/task/28456/stat : 28456 (java) S 28417 28417 28228 0 -1 1077944384 776 206054 0 0 16 0 18974 52 20 0 23 0 420187594 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580863625328 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28457] ppid=28417 vsize=8414124 memory=288230574492221466 CPUtime=190.37 cores=0-7
/proc/28442/task/28457/stat : 28457 (java) S 28417 28417 28228 0 -1 1077944384 695 206054 0 0 11 0 18974 52 20 0 23 0 420187594 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580862572528 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28458] ppid=28417 vsize=8414124 memory=288230596050944315 CPUtime=190.39 cores=0-7
/proc/28442/task/28458/stat : 28458 (java) S 28417 28417 28228 0 -1 1077944384 438 206054 0 0 13 0 18974 52 20 0 23 0 420187595 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580861520240 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28459] ppid=28417 vsize=8414124 memory=15825490741037707 CPUtime=190.53 cores=0-7
/proc/28442/task/28459/stat : 28459 (java) R 28417 28417 28228 0 -1 4202560 1086 206054 0 0 27 0 18974 52 20 0 23 0 420187595 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580860467440 140581435572624 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28460] ppid=28417 vsize=8414124 memory=3761121656723210784 CPUtime=190.26 cores=0-7
/proc/28442/task/28460/stat : 28460 (java) S 28417 28417 28228 0 -1 1077944384 3 206054 0 0 0 0 18974 52 20 0 23 0 420187595 8616062976 33950 33554432000 4194304 4196468 140731600581920 140578977213280 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28461] ppid=28417 vsize=8414124 memory=0 CPUtime=190.27 cores=0-7
/proc/28442/task/28461/stat : 28461 (java) S 28417 28417 28228 0 -1 1077944384 3 206054 0 0 0 1 18974 52 20 0 23 0 420187595 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580859415344 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28463] ppid=28417 vsize=8414124 memory=4225107237364564000 CPUtime=190.26 cores=0-7
/proc/28442/task/28463/stat : 28463 (java) S 28417 28417 28228 0 -1 1077944384 24 206054 0 0 0 0 18974 52 20 0 23 0 420187666 8616062976 33950 33554432000 4194304 4196468 140731600581920 140580857803792 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28465] ppid=28417 vsize=8414124 memory=11079 CPUtime=190.32 cores=0-7
/proc/28442/task/28465/stat : 28465 (java) R 28417 28417 28228 0 -1 4202560 551 206054 0 0 6 0 18974 52 20 0 23 0 420187666 8616062976 33950 33554432000 4194304 4196468 140731600581920 140578306118400 140581435583894 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28467] ppid=28417 vsize=8414124 memory=6369308593315272836 CPUtime=190.26 cores=0-7
/proc/28442/task/28467/stat : 28467 (java) S 28417 28417 28228 0 -1 1077944384 8 206054 0 0 0 0 18974 52 20 0 23 0 420187668 8616062976 33950 33554432000 4194304 4196468 140731600581920 140578037685312 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
Current children cumulated CPU time: 212.4 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 137276 KiB

[startup+36.601 s]
/proc/loadavg: 4.08 5.69 7.26 2/218 28475
/proc/meminfo: memFree=24186328/32770624 swapFree=66939852/67108860
[pid=28417] ppid=28414 vsize=113128 memory=1476 CPUtime=20.54 cores=0-7
/proc/28417/stat : 28417 (scop.sh) S 28414 28417 28228 0 -1 4202496 582 34066 0 0 0 0 1975 79 20 0 1 0 420186520 115843072 369 33554432000 4194304 5098028 140737223880592 140737223877336 140000667017852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23732224 140737223889701 140737223890028 140737223890028 140737223892941 0
/proc/28417/statm: 28282 369 311 221 0 87 0
[pid=28442] ppid=28417 vsize=8283048 memory=148912 CPUtime=192.41 cores=0-7
/proc/28442/stat : 28442 (java) S 28417 28417 28228 0 -1 1077944320 23154 206054 0 0 203 12 18974 52 20 0 22 0 420187588 8481841152 37228 33554432000 4194304 4196468 140731600581920 140731600564464 140581435571959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
/proc/28442/statm: 2070762 37228 3234 1 0 2032106 0
[pid=28442/tid=28443] ppid=28417 vsize=8283048 memory=14008 CPUtime=191.24 cores=0-7
/proc/28442/task/28443/stat : 28443 (java) R 28417 28417 28228 0 -1 4202560 17200 206054 0 0 91 7 18974 52 20 0 22 0 420187589 8481841152 37228 33554432000 4194304 4196468 140731600581920 140581407409376 140581420021200 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28444] ppid=28417 vsize=8283048 memory=6791534058613427641 CPUtime=190.26 cores=0-7
/proc/28442/task/28444/stat : 28444 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37228 33554432000 4194304 4196468 140731600581920 140581439814544 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28445] ppid=28417 vsize=8283048 memory=6370719275257063784 CPUtime=190.26 cores=0-7
/proc/28442/task/28445/stat : 28445 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37228 33554432000 4194304 4196468 140731600581920 140581260110608 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28446] ppid=28417 vsize=8283048 memory=0 CPUtime=190.26 cores=0-7
/proc/28442/task/28446/stat : 28446 (java) S 28417 28417 28228 0 -1 1077944384 3 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37228 33554432000 4194304 4196468 140731600581920 140580920020112 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28447] ppid=28417 vsize=8283048 memory=-8316900901535099443 CPUtime=190.26 cores=0-7
/proc/28442/task/28447/stat : 28447 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37228 33554432000 4194304 4196468 140731600581920 140580918967312 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28448] ppid=28417 vsize=8282984 memory=4122963035537075732 CPUtime=190.26 cores=0-7
/proc/28442/task/28448/stat : 28448 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481775616 37230 33554432000 4194304 4196468 140731600581920 140580917914000 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28449] ppid=28417 vsize=8283048 memory=140566160586849 CPUtime=190.26 cores=0-7
/proc/28442/task/28449/stat : 28449 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37230 33554432000 4194304 4196468 140731600581920 140580916861200 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28450] ppid=28417 vsize=8283048 memory=6944656575208382560 CPUtime=190.26 cores=0-7
/proc/28442/task/28450/stat : 28450 (java) S 28417 28417 28228 0 -1 1077944384 2 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37230 33554432000 4194304 4196468 140731600581920 140580915808912 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28451] ppid=28417 vsize=8283048 memory=-3255422371651459150 CPUtime=190.26 cores=0-7
/proc/28442/task/28451/stat : 28451 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 22 0 420187590 8481841152 37230 33554432000 4194304 4196468 140731600581920 140580914756112 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28452] ppid=28417 vsize=8283048 memory=4137280412607091059 CPUtime=190.26 cores=0-7
/proc/28442/task/28452/stat : 28452 (java) S 28417 28417 28228 0 -1 1077944384 7 206054 0 0 0 0 18974 52 20 0 22 0 420187591 8481841152 37230 33554432000 4194304 4196468 140731600581920 140580864678512 140581435583106 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28453] ppid=28417 vsize=8283048 memory=6944652177228980320 CPUtime=190.26 cores=0-7
/proc/28442/task/28453/stat : 28453 (java) S 28417 28417 28228 0 -1 1077944384 13 206054 0 0 0 0 18974 52 20 0 22 0 420187592 8481841152 37230 33554432000 4194304 4196468 140731600581920 140580118062368 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28454] ppid=28417 vsize=8283048 memory=8315167072134594733 CPUtime=190.26 cores=0-7
/proc/28442/task/28454/stat : 28454 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 22 0 420187592 8481841152 37230 33554432000 4194304 4196468 140731600581920 140579849627248 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28455] ppid=28417 vsize=8283048 memory=9036250570 CPUtime=190.26 cores=0-7
/proc/28442/task/28455/stat : 28455 (java) S 28417 28417 28228 0 -1 1077944384 1 206054 0 0 0 0 18974 52 20 0 22 0 420187594 8481841152 37295 33554432000 4194304 4196468 140731600581920 140579475118672 140581435590555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28456] ppid=28417 vsize=8283048 memory=6369593371019731540 CPUtime=190.51 cores=0-7
/proc/28442/task/28456/stat : 28456 (java) R 28417 28417 28228 0 -1 4202560 1123 206054 0 0 25 0 18974 52 20 0 22 0 420187594 8481841152 37295 33554432000 4194304 4196468 140731600581920 140580863625328 140581413738440 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28457] ppid=28417 vsize=8283048 memory=0 CPUtime=190.44 cores=0-7
/proc/28442/task/28457/stat : 28457 (java) R 28417 28417 28228 0 -1 4202560 819 206054 0 0 18 0 18974 52 20 0 22 0 420187594 8481841152 37295 33554432000 4194304 4196468 140731600581920 140580862543872 140581416272256 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28458] ppid=28417 vsize=8283048 memory=0 CPUtime=190.47 cores=0-7
/proc/28442/task/28458/stat : 28458 (java) R 28417 28417 28228 0 -1 4202560 608 206054 0 0 21 0 18974 52 20 0 22 0 420187595 8481841152 37295 33554432000 4194304 4196468 140731600581920 140580861507792 140581415069098 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28459] ppid=28417 vsize=8283048 memory=281132321224336 CPUtime=190.64 cores=0-7
/proc/28442/task/28459/stat : 28459 (java) R 28417 28417 28228 0 -1 4202560 1524 206054 0 0 37 1 18974 52 20 0 22 0 420187595 8481841152 37295 33554432000 4194304 4196468 140731600581920 140580860463016 140581435583894 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28460] ppid=28417 vsize=8283048 memory=281132318851312 CPUtime=190.26 cores=0-7
/proc/28442/task/28460/stat : 28460 (java) S 28417 28417 28228 0 -1 1077944384 3 206054 0 0 0 0 18974 52 20 0 22 0 420187595 8481841152 37295 33554432000 4194304 4196468 140731600581920 140578977213280 140581435582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28461] ppid=28417 vsize=8283048 memory=0 CPUtime=190.27 cores=0-7
/proc/28442/task/28461/stat : 28461 (java) S 28417 28417 28228 0 -1 1077944384 3 206054 0 0 0 1 18974 52 20 0 22 0 420187595 8481841152 37295 33554432000 4194304 4196468 140731600581920 140580859415344 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28463] ppid=28417 vsize=8283048 memory=0 CPUtime=190.26 cores=0-7
/proc/28442/task/28463/stat : 28463 (java) S 28417 28417 28228 0 -1 1077944384 24 206054 0 0 0 0 18974 52 20 0 22 0 420187666 8481841152 37295 33554432000 4194304 4196468 140731600581920 140580857803792 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
[pid=28442/tid=28467] ppid=28417 vsize=8283048 memory=0 CPUtime=190.26 cores=0-7
/proc/28442/task/28467/stat : 28467 (java) S 28417 28417 28228 0 -1 1077944384 13 206054 0 0 0 0 18974 52 20 0 22 0 420187668 8481841152 37295 33554432000 4194304 4196468 140731600581920 140578037687344 140581435583106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17530880 140731600589815 140731600589974 140731600589974 140731600592847 0
Current children cumulated CPU time: 212.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 150388 KiB

Child status: 0
Real time (s): 36.6615
CPU time (s): 213.087
CPU user time (s): 211.628
CPU system time (s): 1.45964
CPU usage (%): 581.229
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4332120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.628
system time used= 1.45964
maximum resident set size= 4335592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13845
involuntary context switches= 2113


# summary of solver processes directly reported to runsolver:
#   pid: 28417
#   total CPU time (s): 213.087
#   total CPU user time (s): 211.628
#   total CPU system time (s): 1.45964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.332864 second user time and 0.521543 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 08:31:16
IDJOB=4392463
IDBENCH=138937
IDSOLVER=2838
FILE ID=node119/4392463-1568442716
RUNJOBID= node119-1568442536-28255
PBS_JOBID= 21702345
Free space on /tmp= 61504 MiB

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

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

MD5SUM BENCH= 593ac311ff8adf8f7756cc1eeec69a70
RANDOM SEED=786704524

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24690852 kB
MemAvailable:   31822280 kB
Buffers:          191792 kB
Cached:          7208072 kB
SwapCached:        61128 kB
Active:          2829932 kB
Inactive:        4635520 kB
Active(anon):       4276 kB
Inactive(anon):   102744 kB
Active(file):    2825656 kB
Inactive(file):  4532776 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:             20844 kB
Writeback:             0 kB
AnonPages:        139364 kB
Mapped:            44764 kB
Shmem:             32816 kB
Slab:             207504 kB
SReclaimable:     177664 kB
SUnreclaim:        29840 kB
KernelStack:        3728 kB
PageTables:         6036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61484 MiB
End job on node119 at 2019-09-14 08:31:53