Trace number 4392464

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 212.491 37.5475

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-19.xml
MD5SUM3875648f967e99deb98809a056dae84c
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 benchmark32.512
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-25075-serial-file.bin HOME/instance-4392464-1568442889.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 07:32:52 CEST 2019
0.65/0.57	c PID: 25078
0.65/0.57	c IP: 172.20.3.107
0.65/0.57	c HOST: node107.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.66/1.05	c (0,0) Parsing End
1.66/1.07	c (0,0) CSP: 863 int (0 aux), 37 bool (0 aux), 2 ctr, max domain size 30
1.66/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.07	c (0,0) Constraint Name Generate Begin
1.66/1.07	c (0,0) Ctr:HOME/instance-4392464-1568442889.xml,AllDifferentMatrix:Instantiation:Var
1.66/1.07	c (0,0) Constraint Name Generate End
1.66/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.07	c (0,0) CSP to CSPinCNF Begin
1.66/1.11	c (0,0) translated 1 (10%) constraints
5.51/2.79	c (2,2) translated 2 (20%) constraints
5.69/2.82	c (2,2) ===========================================
5.69/2.82	c (2,2) Order
5.69/2.82	c (2,2) ===========================================
7.64/3.36	c (2,2) translated 2855 (10%) constraints
8.34/3.69	c (3,3) translated 5710 (20%) constraints
8.79/4.02	c (3,3) translated 8564 (30%) constraints
9.09/4.33	c (3,3) translated 11419 (40%) constraints
9.40/4.66	c (4,4) translated 14273 (50%) constraints
9.76/4.94	c (4,4) translated 17128 (60%) constraints
10.36/5.21	c (4,4) translated 19983 (70%) constraints
10.57/5.49	c (4,4) translated 22837 (80%) constraints
10.90/5.79	c (5,5) translated 25692 (90%) constraints
11.20/6.03	c (5,5) translated 28546 (100%) constraints
11.20/6.03	c (5,5) CSP to CSPinCNF End
11.20/6.04	c (5,5) CSP: 863 int (0 aux), 27037 bool (27000 aux), 137072 ctr, max domain size 30
11.20/6.04	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.20/6.04	c (5,5) CSPinCNF Propagation Begin
15.03/8.14	c (7,7) 20232 values, 87628 unsatisfiable literals, and 90932 valid clauses are removed
15.03/8.14	c (7,7) CSPinCNF Propagation End
15.03/8.14	c (7,7) CSP: 863 int (0 aux), 27037 bool (27000 aux), 46140 ctr, max domain size 30
15.03/8.14	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.03/8.15	c (7,7) Simplify CSPinCNF Begin
16.28/8.70	c (8,8) Simplify CSPinCNF End
16.28/8.71	c (8,8) CSP: 863 int (0 aux), 53333 bool (53296 aux), 72436 ctr, max domain size 30
16.28/8.71	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.28/8.71	c (8,8) Calculate Precise Domain Begin
16.28/8.71	c (8,8) 0 values are removed by re-calculation
16.28/8.71	c (8,8) Calculate Precise Domain End
16.28/8.73	c (8,8) CSP: 863 int (0 aux), 53333 bool (53296 aux), 72436 ctr, max domain size 30
16.28/8.73	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.28/8.73	c (8,8) CSPinCNF to SatSolver Begin
18.05/9.27	c (8,8) 7244 (10 %) CSP clauses are encoded (0 SAT variables, 30858 SAT clauses)
18.54/9.43	c (8,8) 14488 (20 %) CSP clauses are encoded (0 SAT variables, 52636 SAT clauses)
18.68/9.58	c (9,9) 21731 (30 %) CSP clauses are encoded (0 SAT variables, 76403 SAT clauses)
18.89/9.74	c (9,9) 28975 (40 %) CSP clauses are encoded (0 SAT variables, 99485 SAT clauses)
18.99/9.87	c (9,9) 36218 (50 %) CSP clauses are encoded (0 SAT variables, 119230 SAT clauses)
19.20/10.01	c (9,9) 43462 (60 %) CSP clauses are encoded (0 SAT variables, 141198 SAT clauses)
19.36/10.15	c (9,9) 50706 (70 %) CSP clauses are encoded (0 SAT variables, 162854 SAT clauses)
19.48/10.29	c (9,9) 57949 (80 %) CSP clauses are encoded (0 SAT variables, 185623 SAT clauses)
19.67/10.43	c (9,9) 65193 (90 %) CSP clauses are encoded (0 SAT variables, 207239 SAT clauses)
19.79/10.57	c (10,10) 72436 (100 %) CSP clauses are encoded (0 SAT variables, 229242 SAT clauses)
19.79/10.57	c (10,10) CSPinCNF to SatSolver End
19.79/10.57	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.79/10.57	c (10,10) 42757 bool, 229243 clause
19.79/10.57	c (10,10) Export Begin
20.16/10.71	c (10,10) Export to HOME/scop-25075-serial-file.bin
20.16/10.71	c (10,10) Export End
20.16/10.71	c (10,10) Export File Size: 0.15 MB
20.16/10.71	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.16/10.71	c END-Prog: Sat Sep 14 07:33:03 CEST 2019
20.16/10.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25075-serial-file.bin
20.86/11.21	c (0,0) Read Serial File Begin
20.86/11.21	c (0,0) HOME/scop-25075-serial-file.bin
21.15/11.46	c (0,0) Read Serial File End
21.15/11.48	
21.15/11.48	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.15/11.48	(Solving Process)
21.15/11.48	
21.46/11.50	c BEGIN-Prog: Sat Sep 14 07:33:03 CEST 2019
21.46/11.50	c PID: 25099
21.46/11.50	c IP: 172.20.3.107
21.46/11.50	c HOST: node107.alineos.net
21.46/11.50	c (0,0) SatSolver.solve Begin
21.46/11.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392464-1568442889.xml-scop-25078.cnf
21.46/11.53	c (0,0) c
21.46/11.53	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.46/11.53	c (0,0) c
21.46/11.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.46/11.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.46/11.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.46/11.53	c (0,0) c |                                                                                                       |
21.64/11.61	c (0,0) c |  Number of variables:         42757                                                                   |
21.64/11.61	c (0,0) c |  Number of clauses:          229243                                                                   |
21.64/11.61	c (0,0) c |  Parse time:                   0.08 s                                                                 |
21.64/11.61	c (0,0) c |                                                                                                       |
21.64/11.84	c (0,0) c |  Simplification time:          0.22 s                                                                 |
21.64/11.84	c (0,0) c |                                                                                                       |
21.64/11.84	c (0,0) c |  Generating clones                                                                                    |
21.64/11.96	c (0,0) c |  all clones generated. Memory =   209.16Mb.                                                           |
21.64/11.96	c (0,0) c ========================================================================================================|
21.64/11.96	c (0,0) c
21.64/11.96	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.64/11.96	c (0,0) c
21.64/11.96	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.64/11.96	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.64/11.96	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.64/11.96	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.64/11.96	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.64/11.96	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.64/11.96	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.64/11.96	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.64/11.96	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.64/11.96	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.64/11.96	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.64/11.96	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.64/11.96	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.64/11.96	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.64/11.96	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.64/11.96	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.64/11.96	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.64/11.96	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.64/11.96	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c real time : 25.6943 s
211.57/37.22	c (26,0) c cpu time  : 189.386 s
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c | Conflicts     |          236099 |      29264 |      29707 |      29449 |      29507 |      29752 |      29331 |      29506 |      29583 |
211.57/37.22	c (26,0) c | Decisions     |         2499313 |     315694 |     304421 |     315585 |     321887 |     310277 |     309185 |     306828 |     315436 |
211.57/37.22	c (26,0) c | Propagations  |       295016910 |   37199761 |   36657670 |   37104636 |   37085889 |   36975856 |   36743048 |   36518135 |   36731915 |
211.57/37.22	c (26,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
211.57/37.22	c (26,0) c | SimpDBs       |             414 |         53 |         51 |         52 |         53 |         51 |         51 |         51 |         52 |
211.57/37.22	c (26,0) c | Restarts      |            3393 |        421 |        430 |        418 |        432 |        427 |        414 |        422 |        429 |
211.57/37.22	c (26,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
211.57/37.22	c (26,0) c | PropBinClauses|       722642386 |   90527354 |   89877664 |   90685720 |   90408774 |   90286218 |   90210838 |   90135231 |   90510587 |
211.57/37.22	c (26,0) c | PropPreBlocker|      3352989824 |  419309401 |  418539764 |  418819508 |  418404958 |  418765059 |  419068406 |  419815564 |  420267164 |
211.57/37.22	c (26,0) c | PropNotBlocker|       884080039 |  110242704 |  110576731 |  110228897 |  110700189 |  110509427 |  111075016 |  110184717 |  110562358 |
211.57/37.22	c (26,0) c | LitFullScans  |      5812345763 |  726295332 |  726120324 |  726371669 |  726338097 |  726199481 |  726185703 |  726156990 |  728678167 |
211.57/37.22	c (26,0) c | LitScanFracts |         1958099 |     286972 |     118891 |     329946 |     327982 |     185493 |     176515 |     154194 |     378106 |
211.57/37.22	c (26,0) c | DecisionLevel0|           14011 |       1769 |       1731 |       1762 |       1799 |       1762 |       1742 |       1708 |       1738 |
211.57/37.22	c (26,0) c | Periods       |             968 |        121 |        121 |        121 |        121 |        121 |        121 |        121 |        121 |
211.57/37.22	c (26,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
211.57/37.22	c (26,0) c | Avg_Trail     |                 |       8683 |       8603 |       8630 |       8622 |       8601 |       8658 |       8701 |       8678 |
211.57/37.22	c (26,0) c | Avg_DL        |                 |         97 |         95 |         99 |         99 |         96 |         98 |        100 |        100 |
211.57/37.22	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
211.57/37.22	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c | Exported      |           49371 |       6117 |       6235 |       6155 |       6174 |       6255 |       6118 |       6142 |       6175 |
211.57/37.22	c (26,0) c | Imported      |          307896 |      38477 |      38367 |      38447 |      38507 |      38357 |      38513 |      38515 |      38713 |
211.57/37.22	c (26,0) c | Good          |           58955 |       7357 |       7311 |       7341 |       7335 |       7347 |       7396 |       7407 |       7461 |
211.57/37.22	c (26,0) c | Purge         |          248941 |      31120 |      31056 |      31106 |      31172 |      31010 |      31117 |      31108 |      31252 |
211.57/37.22	c (26,0) c | Promoted      |           19711 |       2426 |       2459 |       2426 |       2409 |       2485 |       2547 |       2508 |       2451 |
211.57/37.22	c (26,0) c | Remove_Imp    |          145376 |      18465 |      17912 |      18214 |      18261 |      17854 |      18236 |      18215 |      18219 |
211.57/37.22	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c | Unaries       |                 |       1348 |       1301 |       1344 |       1367 |       1335 |       1328 |       1286 |       1309 |
211.57/37.22	c (26,0) c | Binaries      |                 |       1099 |       1163 |       1119 |       1142 |       1130 |       1082 |       1067 |       1046 |
211.57/37.22	c (26,0) c | Glues         |                 |       1967 |       2030 |       2024 |       2001 |       2051 |       1980 |       1913 |       1925 |
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c | Orig_Seen     |            34 % |      60357 |      59936 |      60501 |      60197 |      59955 |      60346 |      60301 |      60541 |
211.57/37.22	c (26,0) c | Diff Orig seen|                 | -      184 | -      605 | -       40 | -      344 | -      586 | -      195 | -      240 |      X     |
211.57/37.22	c (26,0) c | Hamming       |            12 % |       5242 |       5427 |       5381 |       5345 |       5167 |       5624 |       5690 |      X     |
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c | RunningTime   |                 |   25.2 100%|   24.0 100%|   23.4 100%|   23.4 100%|   23.4 100%|   23.7 100%|   23.5 100%|   23.4 100%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,0) c | SolvingTime   |                 |   25.2     |   24.1     |   23.4     |   23.4     |   23.4     |   23.7     |   23.5     |   23.4     |
211.57/37.22	c (26,0) c | PropagationTim|                 |   22.4  89%|   21.1  88%|   20.5  87%|   20.5  88%|   20.5  87%|   20.7  87%|   20.5  87%|   20.4  87%|
211.57/37.22	c (26,0) c | AnalysisTime  |                 |    1.4   6%|    1.5   6%|    1.5   6%|    1.4   6%|    1.5   6%|    1.5   6%|    1.5   7%|    1.5   6%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,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%|
211.57/37.22	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c
211.57/37.22	c (26,0) c Threads : 8
211.57/37.22	c (26,0) c Winner : 7
211.57/37.22	c (26,0) c Conflicts_0 : 29264
211.57/37.22	c (26,0) c Conflicts_1 : 29707
211.57/37.22	c (26,0) c Conflicts_2 : 29449
211.57/37.22	c (26,0) c Conflicts_3 : 29507
211.57/37.22	c (26,0) c Conflicts_4 : 29752
211.57/37.22	c (26,0) c Conflicts_5 : 29331
211.57/37.22	c (26,0) c Conflicts_6 : 29506
211.57/37.22	c (26,0) c Conflicts_7 : 29583
211.57/37.22	c (26,0) c Conflicts_total : 236099
211.57/37.22	c (26,0) c Conflicts_winner : 29583
211.57/37.22	c (26,0) c Decisions_0 : 315694
211.57/37.22	c (26,0) c Decisions_1 : 304421
211.57/37.22	c (26,0) c Decisions_2 : 315585
211.57/37.22	c (26,0) c Decisions_3 : 321887
211.57/37.22	c (26,0) c Decisions_4 : 310277
211.57/37.22	c (26,0) c Decisions_5 : 309185
211.57/37.22	c (26,0) c Decisions_6 : 306828
211.57/37.22	c (26,0) c Decisions_7 : 315436
211.57/37.22	c (26,0) c Decisions_total : 2499313
211.57/37.22	c (26,0) c Decisions_winner : 315436
211.57/37.22	c (26,0) c Propagations_0 : 37199761
211.57/37.22	c (26,0) c Propagations_1 : 36657670
211.57/37.22	c (26,0) c Propagations_2 : 37104636
211.57/37.22	c (26,0) c Propagations_3 : 37085889
211.57/37.22	c (26,0) c Propagations_4 : 36975856
211.57/37.22	c (26,0) c Propagations_5 : 36743048
211.57/37.22	c (26,0) c Propagations_6 : 36518135
211.57/37.22	c (26,0) c Propagations_7 : 36731915
211.57/37.22	c (26,0) c Propagations_total : 295016910
211.57/37.22	c (26,0) c Propagations_winner : 36731915
211.57/37.22	c (26,0) c ReduceDBs_0 : 4
211.57/37.22	c (26,0) c ReduceDBs_1 : 4
211.57/37.22	c (26,0) c ReduceDBs_2 : 4
211.57/37.22	c (26,0) c ReduceDBs_3 : 4
211.57/37.22	c (26,0) c ReduceDBs_4 : 4
211.57/37.22	c (26,0) c ReduceDBs_5 : 4
211.57/37.22	c (26,0) c ReduceDBs_6 : 4
211.57/37.22	c (26,0) c ReduceDBs_7 : 4
211.57/37.22	c (26,0) c ReduceDBs_total : 32
211.57/37.22	c (26,0) c ReduceDBs_winner : 4
211.57/37.22	c (26,0) c SimpDBs_0 : 53
211.57/37.22	c (26,0) c SimpDBs_1 : 51
211.57/37.22	c (26,0) c SimpDBs_2 : 52
211.57/37.22	c (26,0) c SimpDBs_3 : 53
211.57/37.22	c (26,0) c SimpDBs_4 : 51
211.57/37.22	c (26,0) c SimpDBs_5 : 51
211.57/37.22	c (26,0) c SimpDBs_6 : 51
211.57/37.22	c (26,0) c SimpDBs_7 : 52
211.57/37.22	c (26,0) c SimpDBs_total : 414
211.57/37.22	c (26,0) c SimpDBs_winner : 52
211.57/37.22	c (26,0) c Restarts_0 : 421
211.57/37.22	c (26,0) c Restarts_1 : 430
211.57/37.22	c (26,0) c Restarts_2 : 418
211.57/37.22	c (26,0) c Restarts_3 : 432
211.57/37.22	c (26,0) c Restarts_4 : 427
211.57/37.22	c (26,0) c Restarts_5 : 414
211.57/37.22	c (26,0) c Restarts_6 : 422
211.57/37.22	c (26,0) c Restarts_7 : 429
211.57/37.23	c (26,0) c Restarts_total : 3393
211.57/37.23	c (26,0) c Restarts_winner : 429
211.57/37.23	c (26,0) c ForcedImports_0 : 0
211.57/37.23	c (26,0) c ForcedImports_1 : 0
211.57/37.23	c (26,0) c ForcedImports_2 : 0
211.57/37.23	c (26,0) c ForcedImports_3 : 0
211.57/37.23	c (26,0) c ForcedImports_4 : 0
211.57/37.23	c (26,0) c ForcedImports_5 : 0
211.57/37.23	c (26,0) c ForcedImports_6 : 0
211.57/37.23	c (26,0) c ForcedImports_7 : 0
211.57/37.23	c (26,0) c ForcedImports_total : 0
211.57/37.23	c (26,0) c ForcedImports_winner : 0
211.57/37.23	c (26,0) c PropsBinClauses_0 : 90527354
211.57/37.23	c (26,0) c PropsBinClauses_1 : 89877664
211.57/37.23	c (26,0) c PropsBinClauses_2 : 90685720
211.57/37.23	c (26,0) c PropsBinClauses_3 : 90408774
211.57/37.23	c (26,0) c PropsBinClauses_4 : 90286218
211.57/37.23	c (26,0) c PropsBinClauses_5 : 90210838
211.57/37.23	c (26,0) c PropsBinClauses_6 : 90135231
211.57/37.23	c (26,0) c PropsBinClauses_7 : 90510587
211.57/37.23	c (26,0) c PropsBinClauses_total : 722642386
211.57/37.23	c (26,0) c PropsBinClauses_winner : 90510587
211.57/37.23	c (26,0) c PropsPreBlocker_0 : 419309401
211.57/37.23	c (26,0) c PropsPreBlocker_1 : 418539764
211.57/37.23	c (26,0) c PropsPreBlocker_2 : 418819508
211.57/37.23	c (26,0) c PropsPreBlocker_3 : 418404958
211.57/37.23	c (26,0) c PropsPreBlocker_4 : 418765059
211.57/37.23	c (26,0) c PropsPreBlocker_5 : 419068406
211.57/37.23	c (26,0) c PropsPreBlocker_6 : 419815564
211.57/37.23	c (26,0) c PropsPreBlocker_7 : 420267164
211.57/37.23	c (26,0) c PropsPreBlocker_total : 3352989824
211.57/37.23	c (26,0) c PropsPreBlocker_winner : 420267164
211.57/37.23	c (26,0) c PropsNotBlocker_0 : 110242704
211.57/37.23	c (26,0) c PropsNotBlocker_1 : 110576731
211.57/37.23	c (26,0) c PropsNotBlocker_2 : 110228897
211.57/37.23	c (26,0) c PropsNotBlocker_3 : 110700189
211.57/37.23	c (26,0) c PropsNotBlocker_4 : 110509427
211.57/37.23	c (26,0) c PropsNotBlocker_5 : 111075016
211.57/37.23	c (26,0) c PropsNotBlocker_6 : 110184717
211.57/37.23	c (26,0) c PropsNotBlocker_7 : 110562358
211.57/37.23	c (26,0) c PropsNotBlocker_total : 884080039
211.57/37.23	c (26,0) c PropsNotBlocker_winner : 110562358
211.57/37.23	c (26,0) c PropsLitFullScans_0 : 726295332
211.57/37.23	c (26,0) c PropsLitFullScans_1 : 726120324
211.57/37.23	c (26,0) c PropsLitFullScans_2 : 726371669
211.57/37.23	c (26,0) c PropsLitFullScans_3 : 726338097
211.57/37.23	c (26,0) c PropsLitFullScans_4 : 726199481
211.57/37.23	c (26,0) c PropsLitFullScans_5 : 726185703
211.57/37.23	c (26,0) c PropsLitFullScans_6 : 726156990
211.57/37.23	c (26,0) c PropsLitFullScans_7 : 728678167
211.57/37.23	c (26,0) c PropsLitFullScans_total : 5812345763
211.57/37.23	c (26,0) c PropsLitFullScans_winner : 728678167
211.57/37.23	c (26,0) c LitScanFractions_0 : 286972
211.57/37.23	c (26,0) c LitScanFractions_1 : 118891
211.57/37.23	c (26,0) c LitScanFractions_2 : 329946
211.57/37.23	c (26,0) c LitScanFractions_3 : 327982
211.57/37.23	c (26,0) c LitScanFractions_4 : 185493
211.57/37.23	c (26,0) c LitScanFractions_5 : 176515
211.57/37.23	c (26,0) c LitScanFractions_6 : 154194
211.57/37.23	c (26,0) c LitScanFractions_7 : 378106
211.57/37.23	c (26,0) c LitScanFractions_total : 1958099
211.57/37.23	c (26,0) c LitScanFractions_winner : 378106
211.57/37.23	c (26,0) c DecisionLevel0_0 : 1769
211.57/37.23	c (26,0) c DecisionLevel0_1 : 1731
211.57/37.23	c (26,0) c DecisionLevel0_2 : 1762
211.57/37.23	c (26,0) c DecisionLevel0_3 : 1799
211.57/37.23	c (26,0) c DecisionLevel0_4 : 1762
211.57/37.23	c (26,0) c DecisionLevel0_5 : 1742
211.57/37.23	c (26,0) c DecisionLevel0_6 : 1708
211.57/37.23	c (26,0) c DecisionLevel0_7 : 1738
211.57/37.23	c (26,0) c DecisionLevel0_total : 14011
211.57/37.23	c (26,0) c DecisionLevel0_winner : 1738
211.57/37.23	c (26,0) c Periods_0 : 121
211.57/37.23	c (26,0) c Periods_1 : 121
211.57/37.23	c (26,0) c Periods_2 : 121
211.57/37.23	c (26,0) c Periods_3 : 121
211.57/37.23	c (26,0) c Periods_4 : 121
211.57/37.23	c (26,0) c Periods_5 : 121
211.57/37.23	c (26,0) c Periods_6 : 121
211.57/37.23	c (26,0) c Periods_7 : 121
211.57/37.23	c (26,0) c Periods_total : 968
211.57/37.23	c (26,0) c Periods_winner : 121
211.57/37.23	c (26,0) c Margin_0 : 20
211.57/37.23	c (26,0) c Margin_1 : 20
211.57/37.23	c (26,0) c Margin_2 : 20
211.57/37.23	c (26,0) c Margin_3 : 20
211.57/37.23	c (26,0) c Margin_4 : 20
211.57/37.23	c (26,0) c Margin_5 : 20
211.57/37.23	c (26,0) c Margin_6 : 20
211.57/37.23	c (26,0) c Margin_7 : 20
211.57/37.23	c (26,0) c Margin_total : 160
211.57/37.23	c (26,0) c Margin_winner : 20
211.57/37.23	c (26,0) c Exported_0 : 6117
211.57/37.23	c (26,0) c Exported_1 : 6235
211.57/37.23	c (26,0) c Exported_2 : 6155
211.57/37.23	c (26,0) c Exported_3 : 6174
211.57/37.23	c (26,0) c Exported_4 : 6255
211.57/37.23	c (26,0) c Exported_5 : 6118
211.57/37.23	c (26,0) c Exported_6 : 6142
211.57/37.23	c (26,0) c Exported_7 : 6175
211.57/37.23	c (26,0) c Exported_total : 49371
211.57/37.23	c (26,0) c Exported_winner : 6175
211.57/37.23	c (26,0) c Imported_0 : 38477
211.57/37.23	c (26,0) c Imported_1 : 38367
211.57/37.23	c (26,0) c Imported_2 : 38447
211.57/37.23	c (26,0) c Imported_3 : 38507
211.57/37.23	c (26,0) c Imported_4 : 38357
211.57/37.23	c (26,0) c Imported_5 : 38513
211.57/37.23	c (26,0) c Imported_6 : 38515
211.57/37.23	c (26,0) c Imported_7 : 38713
211.57/37.23	c (26,0) c Imported_total : 307896
211.57/37.23	c (26,0) c Imported_winner : 38713
211.57/37.23	c (26,0) c Good_0 : 7357
211.57/37.23	c (26,0) c Good_1 : 7311
211.57/37.23	c (26,0) c Good_2 : 7341
211.57/37.23	c (26,0) c Good_3 : 7335
211.57/37.23	c (26,0) c Good_4 : 7347
211.57/37.23	c (26,0) c Good_5 : 7396
211.57/37.23	c (26,0) c Good_6 : 7407
211.57/37.23	c (26,0) c Good_7 : 7461
211.57/37.23	c (26,0) c Good_total : 58955
211.57/37.23	c (26,0) c Good_winner : 7461
211.57/37.23	c (26,0) c Purge_0 : 31120
211.57/37.23	c (26,0) c Purge_1 : 31056
211.57/37.23	c (26,0) c Purge_2 : 31106
211.57/37.23	c (26,0) c Purge_3 : 31172
211.57/37.23	c (26,0) c Purge_4 : 31010
211.57/37.23	c (26,0) c Purge_5 : 31117
211.57/37.23	c (26,0) c Purge_6 : 31108
211.57/37.23	c (26,0) c Purge_7 : 31252
211.57/37.23	c (26,0) c Purge_total : 248941
211.57/37.23	c (26,0) c Purge_winner : 31252
211.57/37.23	c (26,0) c Promoted_0 : 2426
211.57/37.23	c (26,0) c Promoted_1 : 2459
211.57/37.23	c (26,0) c Promoted_2 : 2426
211.57/37.23	c (26,0) c Promoted_3 : 2409
211.57/37.23	c (26,0) c Promoted_4 : 2485
211.57/37.23	c (26,0) c Promoted_5 : 2547
211.57/37.23	c (26,0) c Promoted_6 : 2508
211.57/37.23	c (26,0) c Promoted_7 : 2451
211.57/37.23	c (26,0) c Promoted_total : 19711
211.57/37.23	c (26,0) c Promoted_winner : 2451
211.57/37.23	c (26,0) c Remove_Imp_0 : 18465
211.57/37.23	c (26,0) c Remove_Imp_1 : 17912
211.57/37.23	c (26,0) c Remove_Imp_2 : 18214
211.57/37.23	c (26,0) c Remove_Imp_3 : 18261
211.57/37.23	c (26,0) c Remove_Imp_4 : 17854
211.57/37.23	c (26,0) c Remove_Imp_5 : 18236
211.57/37.23	c (26,0) c Remove_Imp_6 : 18215
211.57/37.23	c (26,0) c Remove_Imp_7 : 18219
211.57/37.23	c (26,0) c Remove_Imp_total : 145376
211.57/37.23	c (26,0) c Remove_Imp_winner : 18219
211.57/37.23	c (26,0) c Blocked_Reuse_0 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_1 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_2 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_3 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_4 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_5 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_6 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_7 : 0
211.57/37.23	c (26,0) c Blocked_Reuse_total : 0
211.57/37.23	c (26,0) c Blocked_Reuse_winner : 0
211.57/37.23	c (26,0) c Unaries_0 : 1348
211.57/37.23	c (26,0) c Unaries_1 : 1301
211.57/37.23	c (26,0) c Unaries_2 : 1344
211.57/37.23	c (26,0) c Unaries_3 : 1367
211.57/37.23	c (26,0) c Unaries_4 : 1335
211.57/37.23	c (26,0) c Unaries_5 : 1328
211.57/37.23	c (26,0) c Unaries_6 : 1286
211.57/37.23	c (26,0) c Unaries_7 : 1309
211.57/37.23	c (26,0) c Unaries_total : 10618
211.57/37.23	c (26,0) c Unaries_winner : 1309
211.57/37.23	c (26,0) c Binaries_0 : 1099
211.57/37.23	c (26,0) c Binaries_1 : 1163
211.57/37.23	c (26,0) c Binaries_2 : 1119
211.57/37.23	c (26,0) c Binaries_3 : 1142
211.57/37.23	c (26,0) c Binaries_4 : 1130
211.57/37.23	c (26,0) c Binaries_5 : 1082
211.57/37.23	c (26,0) c Binaries_6 : 1067
211.57/37.23	c (26,0) c Binaries_7 : 1046
211.57/37.23	c (26,0) c Binaries_total : 8848
211.57/37.23	c (26,0) c Binaries_winner : 1046
211.57/37.23	c (26,0) c Glues_0 : 1967
211.57/37.23	c (26,0) c Glues_1 : 2030
211.57/37.23	c (26,0) c Glues_2 : 2024
211.57/37.23	c (26,0) c Glues_3 : 2001
211.57/37.23	c (26,0) c Glues_4 : 2051
211.57/37.23	c (26,0) c Glues_5 : 1980
211.57/37.23	c (26,0) c Glues_6 : 1913
211.57/37.23	c (26,0) c Glues_7 : 1925
211.57/37.23	c (26,0) c Glues_total : 15891
211.57/37.23	c (26,0) c Glues_winner : 1925
211.57/37.23	c (26,0) c RunningTime_0 : 25.228039
211.57/37.23	c (26,0) c RunningTime_1 : 24.047419
211.57/37.23	c (26,0) c RunningTime_2 : 23.413893
211.57/37.23	c (26,0) c RunningTime_3 : 23.427983
211.57/37.23	c (26,0) c RunningTime_4 : 23.417954
211.57/37.23	c (26,0) c RunningTime_5 : 23.674112
211.57/37.23	c (26,0) c RunningTime_6 : 23.484157
211.57/37.23	c (26,0) c RunningTime_7 : 23.405125
211.57/37.23	c (26,0) c RunningTime_total : 190.098681
211.57/37.23	c (26,0) c RunningTime_winner : 23.405125
211.57/37.23	c (26,0) c WaitingTime_0 : 0.000117
211.57/37.23	c (26,0) c WaitingTime_1 : 0.000139
211.57/37.23	c (26,0) c WaitingTime_2 : 0.000160
211.57/37.23	c (26,0) c WaitingTime_3 : 0.000169
211.57/37.23	c (26,0) c WaitingTime_4 : 0.000164
211.57/37.23	c (26,0) c WaitingTime_5 : 0.000143
211.57/37.23	c (26,0) c WaitingTime_6 : 0.000170
211.57/37.23	c (26,0) c WaitingTime_7 : 0.000191
211.57/37.23	c (26,0) c WaitingTime_total : 0.001252
211.57/37.23	c (26,0) c WaitingTime_winner : 0.000191
211.57/37.23	c (26,0) c ExchangingTime_0 : 0.020198
211.57/37.23	c (26,0) c ExchangingTime_1 : 0.018326
211.57/37.23	c (26,0) c ExchangingTime_2 : 0.022695
211.57/37.23	c (26,0) c ExchangingTime_3 : 0.020154
211.57/37.23	c (26,0) c ExchangingTime_4 : 0.022466
211.57/37.23	c (26,0) c ExchangingTime_5 : 0.019767
211.57/37.23	c (26,0) c ExchangingTime_6 : 0.018320
211.57/37.23	c (26,0) c ExchangingTime_7 : 0.020295
211.57/37.23	c (26,0) c ExchangingTime_total : 0.162220
211.57/37.23	c (26,0) c ExchangingTime_winner : 0.020295
211.57/37.23	c (26,0) c PeriodProcTime_0 : 0.001112
211.57/37.23	c (26,0) c PeriodProcTime_1 : 0.000938
211.57/37.23	c (26,0) c PeriodProcTime_2 : 0.001049
211.57/37.23	c (26,0) c PeriodProcTime_3 : 0.001125
211.57/37.23	c (26,0) c PeriodProcTime_4 : 0.000920
211.57/37.23	c (26,0) c PeriodProcTime_5 : 0.001339
211.57/37.23	c (26,0) c PeriodProcTime_6 : 0.000943
211.57/37.23	c (26,0) c PeriodProcTime_7 : 0.001184
211.57/37.23	c (26,0) c PeriodProcTime_total : 0.008609
211.57/37.23	c (26,0) c PeriodProcTime_winner : 0.001184
211.57/37.23	c (26,0) c SolvingTime_0 : 25.249465
211.57/37.23	c (26,0) c SolvingTime_1 : 24.066822
211.57/37.23	c (26,0) c SolvingTime_2 : 23.437796
211.57/37.23	c (26,0) c SolvingTime_3 : 23.449431
211.57/37.23	c (26,0) c SolvingTime_4 : 23.441504
211.57/37.23	c (26,0) c SolvingTime_5 : 23.695360
211.57/37.23	c (26,0) c SolvingTime_6 : 23.503589
211.57/37.23	c (26,0) c SolvingTime_7 : 23.426795
211.57/37.23	c (26,0) c SolvingTime_total : 190.270763
211.57/37.23	c (26,0) c SolvingTime_winner : 23.426795
211.57/37.23	c (26,0) c PropagationTime_0 : 22.352384
211.57/37.23	c (26,0) c PropagationTime_1 : 21.102286
211.57/37.23	c (26,0) c PropagationTime_2 : 20.477625
211.57/37.23	c (26,0) c PropagationTime_3 : 20.518327
211.57/37.23	c (26,0) c PropagationTime_4 : 20.501539
211.57/37.23	c (26,0) c PropagationTime_5 : 20.710606
211.57/37.23	c (26,0) c PropagationTime_6 : 20.507689
211.57/37.23	c (26,0) c PropagationTime_7 : 20.419675
211.57/37.23	c (26,0) c PropagationTime_total : 166.590132
211.57/37.23	c (26,0) c PropagationTime_winner : 20.419675
211.57/37.23	c (26,0) c AnalysisTime_0 : 1.424850
211.57/37.23	c (26,0) c AnalysisTime_1 : 1.502393
211.57/37.23	c (26,0) c AnalysisTime_2 : 1.481810
211.57/37.23	c (26,0) c AnalysisTime_3 : 1.443503
211.57/37.23	c (26,0) c AnalysisTime_4 : 1.482893
211.57/37.23	c (26,0) c AnalysisTime_5 : 1.508685
211.57/37.23	c (26,0) c AnalysisTime_6 : 1.533364
211.57/37.23	c (26,0) c AnalysisTime_7 : 1.510017
211.57/37.23	c (26,0) c AnalysisTime_total : 11.887515
211.57/37.23	c (26,0) c AnalysisTime_winner : 1.510017
211.57/37.23	c (26,0) c ReductionTime_0 : 0.074303
211.57/37.23	c (26,0) c ReductionTime_1 : 0.074254
211.57/37.23	c (26,0) c ReductionTime_2 : 0.069911
211.57/37.23	c (26,0) c ReductionTime_3 : 0.067247
211.57/37.23	c (26,0) c ReductionTime_4 : 0.070246
211.57/37.23	c (26,0) c ReductionTime_5 : 0.068284
211.57/37.23	c (26,0) c ReductionTime_6 : 0.069398
211.57/37.23	c (26,0) c ReductionTime_7 : 0.067564
211.57/37.23	c (26,0) c ReductionTime_total : 0.561207
211.57/37.23	c (26,0) c ReductionTime_winner : 0.067564
211.57/37.23	c (26,0) c SimplifyTime_0 : 0.312686
211.57/37.23	c (26,0) c SimplifyTime_1 : 0.314910
211.57/37.23	c (26,0) c SimplifyTime_2 : 0.324097
211.57/37.23	c (26,0) c SimplifyTime_3 : 0.327816
211.57/37.23	c (26,0) c SimplifyTime_4 : 0.321177
211.57/37.23	c (26,0) c SimplifyTime_5 : 0.327117
211.57/37.23	c (26,0) c SimplifyTime_6 : 0.323316
211.57/37.23	c (26,0) c SimplifyTime_7 : 0.319898
211.57/37.23	c (26,0) c SimplifyTime_total : 2.571016
211.57/37.23	c (26,0) c SimplifyTime_winner : 0.319898
211.57/37.23	c (26,0) c UsedRateTime_0 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_1 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_2 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_3 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_4 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_5 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_6 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_7 : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_total : 0.000000
211.57/37.23	c (26,0) c UsedRateTime_winner : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_0 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_1 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_2 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_3 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_4 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_5 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_6 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_7 : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_total : 0.000000
211.57/37.23	c (26,0) c OverlapRateTime_winner : 0.000000
211.57/37.23	c (26,0) c
211.57/37.23	c (26,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
211.57/37.23	c (26,0) c
211.57/37.23	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.24	c (26,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
211.57/37.24	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.24	c (26,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
211.57/37.24	c (26,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
211.57/37.24	c (26,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
211.57/37.24	c (26,0) c | Initial random_seed   | 1776107875 |   83663402 | 1304788917 |  883785207 | 1883675282 | 2052105858 | 1655332787 | 1740756942 |
211.57/37.24	c (26,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
211.57/37.24	c (26,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
211.57/37.24	c (26,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
211.57/37.24	c (26,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
211.57/37.24	c (26,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
211.57/37.24	c (26,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
211.57/37.24	c (26,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
211.57/37.24	c (26,0) c | var_decay             |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |
211.57/37.24	c (26,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
211.57/37.24	c (26,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
211.57/37.24	c (26,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
211.57/37.24	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
211.57/37.24	c (26,0) 
211.57/37.24	c (26,0) s SATISFIABLE
211.83/37.30	c (26,0) SatSolver.solve End
211.83/37.30	c (26,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
211.83/37.30	c (26,0) Show results Begin
212.04/37.49	c (26,0) x[0][0] = 24
212.04/37.49	c (26,0) x[0][1] = 17
212.04/37.49	c (26,0) x[0][2] = 9
212.04/37.49	c (26,0) x[0][3] = 1
212.04/37.49	c (26,0) x[0][4] = 25
212.04/37.49	c (26,0) x[0][5] = 21
212.04/37.49	c (26,0) x[0][6] = 8
212.04/37.49	c (26,0) x[0][7] = 10
212.04/37.49	c (26,0) x[0][8] = 6
212.04/37.49	c (26,0) x[0][9] = 5
212.04/37.49	c (26,0) x[0][10] = 11
212.04/37.49	c (26,0) x[0][11] = 15
212.04/37.49	c (26,0) x[0][12] = 29
212.04/37.49	c (26,0) x[0][13] = 2
212.04/37.49	c (26,0) x[0][14] = 23
212.04/37.49	c (26,0) x[0][15] = 4
212.04/37.49	c (26,0) x[0][16] = 20
212.04/37.49	c (26,0) x[0][17] = 7
212.04/37.49	c (26,0) x[0][18] = 3
212.04/37.49	c (26,0) x[0][19] = 22
212.04/37.49	c (26,0) x[0][20] = 19
212.04/37.49	c (26,0) x[0][21] = 28
212.04/37.49	c (26,0) x[0][22] = 13
212.04/37.49	c (26,0) x[0][23] = 0
212.04/37.49	c (26,0) x[0][24] = 27
212.04/37.49	c (26,0) x[0][25] = 18
212.04/37.49	c (26,0) x[0][26] = 12
212.04/37.49	c (26,0) x[0][27] = 14
212.04/37.49	c (26,0) x[0][28] = 26
212.04/37.49	c (26,0) x[0][29] = 16
212.04/37.49	c (26,0) x[1][0] = 23
212.04/37.49	c (26,0) x[1][1] = 11
212.04/37.49	c (26,0) x[1][2] = 27
212.04/37.49	c (26,0) x[1][3] = 13
212.04/37.49	c (26,0) x[1][4] = 6
212.04/37.49	c (26,0) x[1][5] = 2
212.04/37.49	c (26,0) x[1][6] = 18
212.04/37.49	c (26,0) x[1][7] = 12
212.04/37.49	c (26,0) x[1][8] = 21
212.04/37.49	c (26,0) x[1][9] = 16
212.04/37.49	c (26,0) x[1][10] = 5
212.04/37.49	c (26,0) x[1][11] = 24
212.04/37.49	c (26,0) x[1][12] = 26
212.04/37.49	c (26,0) x[1][13] = 28
212.04/37.49	c (26,0) x[1][14] = 0
212.04/37.49	c (26,0) x[1][15] = 14
212.04/37.49	c (26,0) x[1][16] = 22
212.04/37.49	c (26,0) x[1][17] = 29
212.04/37.49	c (26,0) x[1][18] = 15
212.04/37.49	c (26,0) x[1][19] = 17
212.04/37.49	c (26,0) x[1][20] = 9
212.04/37.49	c (26,0) x[1][21] = 25
212.04/37.49	c (26,0) x[1][22] = 7
212.04/37.49	c (26,0) x[1][23] = 19
212.04/37.49	c (26,0) x[1][24] = 4
212.04/37.49	c (26,0) x[1][25] = 3
212.04/37.49	c (26,0) x[1][26] = 10
212.04/37.49	c (26,0) x[1][27] = 20
212.04/37.49	c (26,0) x[1][28] = 1
212.04/37.49	c (26,0) x[1][29] = 8
212.04/37.49	c (26,0) x[2][0] = 6
212.04/37.49	c (26,0) x[2][1] = 1
212.04/37.49	c (26,0) x[2][2] = 25
212.04/37.49	c (26,0) x[2][3] = 24
212.04/37.49	c (26,0) x[2][4] = 16
212.04/37.49	c (26,0) x[2][5] = 27
212.04/37.49	c (26,0) x[2][6] = 5
212.04/37.49	c (26,0) x[2][7] = 13
212.04/37.49	c (26,0) x[2][8] = 19
212.04/37.49	c (26,0) x[2][9] = 12
212.04/37.49	c (26,0) x[2][10] = 0
212.04/37.49	c (26,0) x[2][11] = 17
212.04/37.49	c (26,0) x[2][12] = 23
212.04/37.49	c (26,0) x[2][13] = 8
212.04/37.49	c (26,0) x[2][14] = 22
212.04/37.49	c (26,0) x[2][15] = 10
212.04/37.49	c (26,0) x[2][16] = 15
212.04/37.49	c (26,0) x[2][17] = 26
212.04/37.49	c (26,0) x[2][18] = 20
212.04/37.49	c (26,0) x[2][19] = 9
212.04/37.49	c (26,0) x[2][20] = 28
212.04/37.49	c (26,0) x[2][21] = 4
212.04/37.49	c (26,0) x[2][22] = 3
212.04/37.49	c (26,0) x[2][23] = 7
212.04/37.49	c (26,0) x[2][24] = 2
212.04/37.49	c (26,0) x[2][25] = 21
212.39/37.50	c (26,0) x[2][26] = 29
212.39/37.50	c (26,0) x[2][27] = 11
212.39/37.50	c (26,0) x[2][28] = 14
212.39/37.50	c (26,0) x[2][29] = 18
212.39/37.50	c (26,0) x[3][0] = 1
212.39/37.50	c (26,0) x[3][1] = 16
212.39/37.50	c (26,0) x[3][2] = 24
212.39/37.50	c (26,0) x[3][3] = 26
212.39/37.50	c (26,0) x[3][4] = 29
212.39/37.50	c (26,0) x[3][5] = 3
212.39/37.50	c (26,0) x[3][6] = 25
212.39/37.50	c (26,0) x[3][7] = 2
212.39/37.50	c (26,0) x[3][8] = 12
212.39/37.50	c (26,0) x[3][9] = 11
212.39/37.50	c (26,0) x[3][10] = 22
212.39/37.50	c (26,0) x[3][11] = 27
212.39/37.50	c (26,0) x[3][12] = 6
212.39/37.50	c (26,0) x[3][13] = 0
212.39/37.50	c (26,0) x[3][14] = 9
212.39/37.50	c (26,0) x[3][15] = 28
212.39/37.50	c (26,0) x[3][16] = 23
212.39/37.50	c (26,0) x[3][17] = 5
212.39/37.50	c (26,0) x[3][18] = 14
212.39/37.50	c (26,0) x[3][19] = 13
212.39/37.50	c (26,0) x[3][20] = 4
212.39/37.50	c (26,0) x[3][21] = 7
212.39/37.50	c (26,0) x[3][22] = 10
212.39/37.50	c (26,0) x[3][23] = 21
212.39/37.50	c (26,0) x[3][24] = 18
212.39/37.50	c (26,0) x[3][25] = 8
212.39/37.50	c (26,0) x[3][26] = 15
212.39/37.50	c (26,0) x[3][27] = 17
212.39/37.50	c (26,0) x[3][28] = 20
212.39/37.50	c (26,0) x[3][29] = 19
212.39/37.50	c (26,0) x[4][0] = 29
212.39/37.50	c (26,0) x[4][1] = 18
212.39/37.50	c (26,0) x[4][2] = 15
212.39/37.50	c (26,0) x[4][3] = 10
212.39/37.50	c (26,0) x[4][4] = 22
212.39/37.50	c (26,0) x[4][5] = 6
212.39/37.50	c (26,0) x[4][6] = 19
212.39/37.50	c (26,0) x[4][7] = 28
212.39/37.50	c (26,0) x[4][8] = 8
212.39/37.50	c (26,0) x[4][9] = 2
212.39/37.50	c (26,0) x[4][10] = 13
212.39/37.50	c (26,0) x[4][11] = 7
212.39/37.50	c (26,0) x[4][12] = 25
212.39/37.50	c (26,0) x[4][13] = 23
212.39/37.50	c (26,0) x[4][14] = 4
212.39/37.50	c (26,0) x[4][15] = 11
212.39/37.50	c (26,0) x[4][16] = 3
212.39/37.50	c (26,0) x[4][17] = 20
212.39/37.50	c (26,0) x[4][18] = 1
212.39/37.50	c (26,0) x[4][19] = 24
212.39/37.50	c (26,0) x[4][20] = 26
212.39/37.50	c (26,0) x[4][21] = 21
212.39/37.50	c (26,0) x[4][22] = 12
212.39/37.50	c (26,0) x[4][23] = 17
212.39/37.50	c (26,0) x[4][24] = 14
212.39/37.50	c (26,0) x[4][25] = 9
212.39/37.50	c (26,0) x[4][26] = 5
212.39/37.50	c (26,0) x[4][27] = 16
212.39/37.50	c (26,0) x[4][28] = 27
212.39/37.50	c (26,0) x[4][29] = 0
212.39/37.50	c (26,0) x[5][0] = 8
212.39/37.50	c (26,0) x[5][1] = 19
212.39/37.50	c (26,0) x[5][2] = 1
212.39/37.50	c (26,0) x[5][3] = 15
212.39/37.50	c (26,0) x[5][4] = 13
212.39/37.50	c (26,0) x[5][5] = 20
212.39/37.50	c (26,0) x[5][6] = 10
212.39/37.50	c (26,0) x[5][7] = 17
212.39/37.50	c (26,0) x[5][8] = 22
212.39/37.50	c (26,0) x[5][9] = 21
212.39/37.50	c (26,0) x[5][10] = 16
212.39/37.50	c (26,0) x[5][11] = 18
212.39/37.50	c (26,0) x[5][12] = 0
212.39/37.50	c (26,0) x[5][13] = 4
212.39/37.50	c (26,0) x[5][14] = 29
212.39/37.50	c (26,0) x[5][15] = 9
212.39/37.50	c (26,0) x[5][16] = 12
212.39/37.50	c (26,0) x[5][17] = 3
212.39/37.50	c (26,0) x[5][18] = 25
212.39/37.50	c (26,0) x[5][19] = 2
212.39/37.50	c (26,0) x[5][20] = 24
212.39/37.50	c (26,0) x[5][21] = 27
212.39/37.50	c (26,0) x[5][22] = 28
212.39/37.50	c (26,0) x[5][23] = 14
212.39/37.50	c (26,0) x[5][24] = 7
212.39/37.50	c (26,0) x[5][25] = 23
212.39/37.50	c (26,0) x[5][26] = 26
212.39/37.50	c (26,0) x[5][27] = 6
212.39/37.50	c (26,0) x[5][28] = 11
212.39/37.50	c (26,0) x[5][29] = 5
212.39/37.50	c (26,0) x[6][0] = 28
212.39/37.50	c (26,0) x[6][1] = 29
212.39/37.50	c (26,0) x[6][2] = 16
212.39/37.50	c (26,0) x[6][3] = 0
212.39/37.50	c (26,0) x[6][4] = 19
212.39/37.50	c (26,0) x[6][5] = 26
212.39/37.50	c (26,0) x[6][6] = 14
212.39/37.50	c (26,0) x[6][7] = 23
212.39/37.50	c (26,0) x[6][8] = 9
212.39/37.50	c (26,0) x[6][9] = 3
212.39/37.50	c (26,0) x[6][10] = 12
212.39/37.50	c (26,0) x[6][11] = 25
212.39/37.50	c (26,0) x[6][12] = 15
212.39/37.50	c (26,0) x[6][13] = 20
212.39/37.50	c (26,0) x[6][14] = 21
212.39/37.50	c (26,0) x[6][15] = 7
212.39/37.50	c (26,0) x[6][16] = 27
212.39/37.50	c (26,0) x[6][17] = 17
212.39/37.50	c (26,0) x[6][18] = 2
212.39/37.50	c (26,0) x[6][19] = 18
212.39/37.50	c (26,0) x[6][20] = 8
212.39/37.50	c (26,0) x[6][21] = 6
212.39/37.50	c (26,0) x[6][22] = 1
212.39/37.50	c (26,0) x[6][23] = 22
212.39/37.50	c (26,0) x[6][24] = 13
212.39/37.50	c (26,0) x[6][25] = 24
212.39/37.50	c (26,0) x[6][26] = 11
212.39/37.50	c (26,0) x[6][27] = 10
212.39/37.50	c (26,0) x[6][28] = 5
212.39/37.50	c (26,0) x[6][29] = 4
212.39/37.50	c (26,0) x[7][0] = 20
212.39/37.50	c (26,0) x[7][1] = 4
212.39/37.50	c (26,0) x[7][2] = 6
212.39/37.50	c (26,0) x[7][3] = 17
212.39/37.50	c (26,0) x[7][4] = 26
212.39/37.50	c (26,0) x[7][5] = 9
212.39/37.50	c (26,0) x[7][6] = 24
212.39/37.50	c (26,0) x[7][7] = 0
212.39/37.50	c (26,0) x[7][8] = 29
212.39/37.50	c (26,0) x[7][9] = 19
212.39/37.50	c (26,0) x[7][10] = 14
212.39/37.50	c (26,0) x[7][11] = 2
212.39/37.50	c (26,0) x[7][12] = 8
212.39/37.50	c (26,0) x[7][13] = 7
212.39/37.50	c (26,0) x[7][14] = 27
212.39/37.50	c (26,0) x[7][15] = 16
212.39/37.50	c (26,0) x[7][16] = 18
212.39/37.50	c (26,0) x[7][17] = 15
212.39/37.50	c (26,0) x[7][18] = 22
212.39/37.50	c (26,0) x[7][19] = 5
212.39/37.50	c (26,0) x[7][20] = 21
212.39/37.50	c (26,0) x[7][21] = 13
212.39/37.50	c (26,0) x[7][22] = 11
212.39/37.50	c (26,0) x[7][23] = 28
212.39/37.50	c (26,0) x[7][24] = 25
212.39/37.50	c (26,0) x[7][25] = 10
212.39/37.50	c (26,0) x[7][26] = 3
212.39/37.50	c (26,0) x[7][27] = 23
212.39/37.50	c (26,0) x[7][28] = 12
212.39/37.50	c (26,0) x[7][29] = 1
212.39/37.50	c (26,0) x[8][0] = 7
212.39/37.50	c (26,0) x[8][1] = 2
212.39/37.50	c (26,0) x[8][2] = 14
212.39/37.50	c (26,0) x[8][3] = 20
212.39/37.50	c (26,0) x[8][4] = 18
212.39/37.50	c (26,0) x[8][5] = 29
212.39/37.50	c (26,0) x[8][6] = 15
212.39/37.50	c (26,0) x[8][7] = 5
212.39/37.50	c (26,0) x[8][8] = 0
212.39/37.50	c (26,0) x[8][9] = 9
212.39/37.50	c (26,0) x[8][10] = 8
212.39/37.50	c (26,0) x[8][11] = 23
212.39/37.50	c (26,0) x[8][12] = 22
212.39/37.50	c (26,0) x[8][13] = 25
212.39/37.50	c (26,0) x[8][14] = 6
212.39/37.50	c (26,0) x[8][15] = 17
212.39/37.50	c (26,0) x[8][16] = 28
212.39/37.50	c (26,0) x[8][17] = 13
212.39/37.50	c (26,0) x[8][18] = 16
212.39/37.50	c (26,0) x[8][19] = 26
212.39/37.50	c (26,0) x[8][20] = 10
212.39/37.50	c (26,0) x[8][21] = 3
212.39/37.50	c (26,0) x[8][22] = 21
212.39/37.50	c (26,0) x[8][23] = 11
212.39/37.50	c (26,0) x[8][24] = 12
212.39/37.50	c (26,0) x[8][25] = 4
212.39/37.50	c (26,0) x[8][26] = 1
212.39/37.50	c (26,0) x[8][27] = 24
212.39/37.50	c (26,0) x[8][28] = 19
212.39/37.50	c (26,0) x[8][29] = 27
212.39/37.50	c (26,0) x[9][0] = 19
212.39/37.50	c (26,0) x[9][1] = 26
212.39/37.50	c (26,0) x[9][2] = 23
212.39/37.50	c (26,0) x[9][3] = 9
212.39/37.50	c (26,0) x[9][4] = 2
212.39/37.50	c (26,0) x[9][5] = 25
212.39/37.50	c (26,0) x[9][6] = 11
212.39/37.50	c (26,0) x[9][7] = 3
212.39/37.50	c (26,0) x[9][8] = 14
212.39/37.50	c (26,0) x[9][9] = 18
212.39/37.50	c (26,0) x[9][10] = 29
212.39/37.50	c (26,0) x[9][11] = 6
212.39/37.50	c (26,0) x[9][12] = 10
212.39/37.50	c (26,0) x[9][13] = 21
212.39/37.50	c (26,0) x[9][14] = 13
212.39/37.50	c (26,0) x[9][15] = 15
212.39/37.50	c (26,0) x[9][16] = 1
212.39/37.50	c (26,0) x[9][17] = 27
212.39/37.50	c (26,0) x[9][18] = 28
212.39/37.50	c (26,0) x[9][19] = 12
212.39/37.50	c (26,0) x[9][20] = 17
212.39/37.50	c (26,0) x[9][21] = 22
212.39/37.50	c (26,0) x[9][22] = 4
212.39/37.50	c (26,0) x[9][23] = 20
212.39/37.50	c (26,0) x[9][24] = 24
212.39/37.50	c (26,0) x[9][25] = 16
212.39/37.50	c (26,0) x[9][26] = 8
212.39/37.50	c (26,0) x[9][27] = 5
212.39/37.50	c (26,0) x[9][28] = 0
212.39/37.50	c (26,0) x[9][29] = 7
212.39/37.50	c (26,0) x[10][0] = 21
212.39/37.50	c (26,0) x[10][1] = 0
212.39/37.50	c (26,0) x[10][2] = 2
212.39/37.50	c (26,0) x[10][3] = 11
212.39/37.50	c (26,0) x[10][4] = 27
212.39/37.50	c (26,0) x[10][5] = 4
212.39/37.50	c (26,0) x[10][6] = 6
212.39/37.50	c (26,0) x[10][7] = 8
212.39/37.50	c (26,0) x[10][8] = 13
212.39/37.50	c (26,0) x[10][9] = 23
212.39/37.50	c (26,0) x[10][10] = 25
212.39/37.50	c (26,0) x[10][11] = 20
212.39/37.50	c (26,0) x[10][12] = 14
212.39/37.50	c (26,0) x[10][13] = 22
212.39/37.50	c (26,0) x[10][14] = 7
212.39/37.50	c (26,0) x[10][15] = 5
212.39/37.50	c (26,0) x[10][16] = 17
212.39/37.50	c (26,0) x[10][17] = 24
212.39/37.50	c (26,0) x[10][18] = 19
212.39/37.50	c (26,0) x[10][19] = 3
212.39/37.50	c (26,0) x[10][20] = 12
212.39/37.50	c (26,0) x[10][21] = 1
212.39/37.50	c (26,0) x[10][22] = 9
212.39/37.50	c (26,0) x[10][23] = 26
212.39/37.50	c (26,0) x[10][24] = 16
212.39/37.50	c (26,0) x[10][25] = 28
212.39/37.50	c (26,0) x[10][26] = 18
212.39/37.50	c (26,0) x[10][27] = 29
212.39/37.50	c (26,0) x[10][28] = 15
212.39/37.50	c (26,0) x[10][29] = 10
212.39/37.50	c (26,0) x[11][0] = 2
212.39/37.50	c (26,0) x[11][1] = 21
212.39/37.50	c (26,0) x[11][2] = 13
212.39/37.50	c (26,0) x[11][3] = 14
212.39/37.50	c (26,0) x[11][4] = 7
212.39/37.50	c (26,0) x[11][5] = 5
212.39/37.50	c (26,0) x[11][6] = 26
212.39/37.50	c (26,0) x[11][7] = 20
212.39/37.50	c (26,0) x[11][8] = 25
212.39/37.50	c (26,0) x[11][9] = 15
212.39/37.50	c (26,0) x[11][10] = 10
212.39/37.50	c (26,0) x[11][11] = 9
212.39/37.50	c (26,0) x[11][12] = 12
212.39/37.50	c (26,0) x[11][13] = 24
212.39/37.50	c (26,0) x[11][14] = 16
212.39/37.50	c (26,0) x[11][15] = 6
212.39/37.50	c (26,0) x[11][16] = 11
212.39/37.50	c (26,0) x[11][17] = 28
212.39/37.50	c (26,0) x[11][18] = 23
212.39/37.50	c (26,0) x[11][19] = 27
212.39/37.50	c (26,0) x[11][20] = 22
212.39/37.50	c (26,0) x[11][21] = 29
212.39/37.50	c (26,0) x[11][22] = 18
212.39/37.50	c (26,0) x[11][23] = 8
212.39/37.50	c (26,0) x[11][24] = 17
212.39/37.50	c (26,0) x[11][25] = 1
212.39/37.50	c (26,0) x[11][26] = 19
212.39/37.50	c (26,0) x[11][27] = 0
212.39/37.50	c (26,0) x[11][28] = 4
212.39/37.50	c (26,0) x[11][29] = 3
212.39/37.50	c (26,0) x[12][0] = 18
212.39/37.50	c (26,0) x[12][1] = 14
212.39/37.50	c (26,0) x[12][2] = 0
212.39/37.50	c (26,0) x[12][3] = 22
212.39/37.50	c (26,0) x[12][4] = 21
212.39/37.50	c (26,0) x[12][5] = 8
212.39/37.50	c (26,0) x[12][6] = 29
212.39/37.50	c (26,0) x[12][7] = 24
212.39/37.50	c (26,0) x[12][8] = 23
212.39/37.50	c (26,0) x[12][9] = 1
212.39/37.50	c (26,0) x[12][10] = 6
212.39/37.50	c (26,0) x[12][11] = 16
212.39/37.50	c (26,0) x[12][12] = 3
212.39/37.50	c (26,0) x[12][13] = 10
212.39/37.50	c (26,0) x[12][14] = 20
212.39/37.50	c (26,0) x[12][15] = 12
212.39/37.50	c (26,0) x[12][16] = 25
212.39/37.50	c (26,0) x[12][17] = 2
212.39/37.50	c (26,0) x[12][18] = 27
212.39/37.50	c (26,0) x[12][19] = 4
212.39/37.50	c (26,0) x[12][20] = 5
212.39/37.50	c (26,0) x[12][21] = 26
212.39/37.50	c (26,0) x[12][22] = 19
212.39/37.50	c (26,0) x[12][23] = 15
212.39/37.50	c (26,0) x[12][24] = 28
212.39/37.50	c (26,0) x[12][25] = 13
212.39/37.50	c (26,0) x[12][26] = 17
212.39/37.50	c (26,0) x[12][27] = 7
212.39/37.50	c (26,0) x[12][28] = 9
212.39/37.50	c (26,0) x[12][29] = 11
212.39/37.50	c (26,0) x[13][0] = 14
212.39/37.50	c (26,0) x[13][1] = 13
212.39/37.50	c (26,0) x[13][2] = 28
212.39/37.50	c (26,0) x[13][3] = 3
212.39/37.50	c (26,0) x[13][4] = 8
212.39/37.50	c (26,0) x[13][5] = 16
212.39/37.50	c (26,0) x[13][6] = 1
212.39/37.50	c (26,0) x[13][7] = 9
212.39/37.50	c (26,0) x[13][8] = 2
212.39/37.50	c (26,0) x[13][9] = 6
212.39/37.50	c (26,0) x[13][10] = 19
212.39/37.50	c (26,0) x[13][11] = 22
212.39/37.50	c (26,0) x[13][12] = 4
212.39/37.50	c (26,0) x[13][13] = 27
212.39/37.50	c (26,0) x[13][14] = 18
212.39/37.50	c (26,0) x[13][15] = 0
212.39/37.50	c (26,0) x[13][16] = 29
212.39/37.50	c (26,0) x[13][17] = 23
212.39/37.50	c (26,0) x[13][18] = 24
212.39/37.50	c (26,0) x[13][19] = 11
212.39/37.50	c (26,0) x[13][20] = 25
212.39/37.50	c (26,0) x[13][21] = 20
212.39/37.50	c (26,0) x[13][22] = 5
212.39/37.50	c (26,0) x[13][23] = 10
212.39/37.50	c (26,0) x[13][24] = 21
212.39/37.50	c (26,0) x[13][25] = 26
212.39/37.50	c (26,0) x[13][26] = 7
212.39/37.50	c (26,0) x[13][27] = 15
212.39/37.50	c (26,0) x[13][28] = 17
212.39/37.50	c (26,0) x[13][29] = 12
212.39/37.50	c (26,0) x[14][0] = 10
212.39/37.50	c (26,0) x[14][1] = 15
212.39/37.50	c (26,0) x[14][2] = 12
212.39/37.50	c (26,0) x[14][3] = 27
212.39/37.50	c (26,0) x[14][4] = 3
212.39/37.50	c (26,0) x[14][5] = 0
212.39/37.50	c (26,0) x[14][6] = 23
212.39/37.50	c (26,0) x[14][7] = 18
212.39/37.50	c (26,0) x[14][8] = 17
212.39/37.50	c (26,0) x[14][9] = 22
212.39/37.50	c (26,0) x[14][10] = 1
212.39/37.50	c (26,0) x[14][11] = 21
212.39/37.50	c (26,0) x[14][12] = 11
212.39/37.50	c (26,0) x[14][13] = 5
212.39/37.50	c (26,0) x[14][14] = 28
212.39/37.50	c (26,0) x[14][15] = 24
212.39/37.50	c (26,0) x[14][16] = 6
212.39/37.50	c (26,0) x[14][17] = 16
212.39/37.50	c (26,0) x[14][18] = 7
212.39/37.50	c (26,0) x[14][19] = 25
212.39/37.50	c (26,0) x[14][20] = 14
212.39/37.50	c (26,0) x[14][21] = 8
212.39/37.50	c (26,0) x[14][22] = 20
212.39/37.50	c (26,0) x[14][23] = 13
212.39/37.50	c (26,0) x[14][24] = 29
212.39/37.50	c (26,0) x[14][25] = 19
212.39/37.50	c (26,0) x[14][26] = 9
212.39/37.50	c (26,0) x[14][27] = 4
212.39/37.50	c (26,0) x[14][28] = 2
212.39/37.50	c (26,0) x[14][29] = 26
212.39/37.50	c (26,0) x[15][0] = 15
212.39/37.50	c (26,0) x[15][1] = 8
212.39/37.50	c (26,0) x[15][2] = 10
212.39/37.50	c (26,0) x[15][3] = 29
212.39/37.50	c (26,0) x[15][4] = 4
212.39/37.50	c (26,0) x[15][5] = 11
212.39/37.50	c (26,0) x[15][6] = 27
212.39/37.50	c (26,0) x[15][7] = 19
212.39/37.50	c (26,0) x[15][8] = 26
212.39/37.50	c (26,0) x[15][9] = 7
212.39/37.50	c (26,0) x[15][10] = 28
212.39/37.50	c (26,0) x[15][11] = 1
212.39/37.50	c (26,0) x[15][12] = 13
212.39/37.50	c (26,0) x[15][13] = 16
212.39/37.50	c (26,0) x[15][14] = 14
212.39/37.50	c (26,0) x[15][15] = 3
212.39/37.50	c (26,0) x[15][16] = 21
212.39/37.50	c (26,0) x[15][17] = 22
212.39/37.50	c (26,0) x[15][18] = 6
212.39/37.50	c (26,0) x[15][19] = 23
212.39/37.50	c (26,0) x[15][20] = 20
212.39/37.50	c (26,0) x[15][21] = 24
212.39/37.50	c (26,0) x[15][22] = 25
212.39/37.50	c (26,0) x[15][23] = 5
212.39/37.50	c (26,0) x[15][24] = 9
212.39/37.50	c (26,0) x[15][25] = 12
212.39/37.50	c (26,0) x[15][26] = 0
212.39/37.50	c (26,0) x[15][27] = 2
212.39/37.50	c (26,0) x[15][28] = 18
212.39/37.50	c (26,0) x[15][29] = 17
212.39/37.50	c (26,0) x[16][0] = 12
212.39/37.50	c (26,0) x[16][1] = 25
212.39/37.50	c (26,0) x[16][2] = 18
212.39/37.50	c (26,0) x[16][3] = 23
212.39/37.50	c (26,0) x[16][4] = 14
212.39/37.50	c (26,0) x[16][5] = 10
212.39/37.50	c (26,0) x[16][6] = 9
212.39/37.50	c (26,0) x[16][7] = 6
212.39/37.50	c (26,0) x[16][8] = 5
212.39/37.50	c (26,0) x[16][9] = 29
212.39/37.50	c (26,0) x[16][10] = 20
212.39/37.50	c (26,0) x[16][11] = 28
212.39/37.50	c (26,0) x[16][12] = 17
212.39/37.50	c (26,0) x[16][13] = 11
212.39/37.50	c (26,0) x[16][14] = 19
212.39/37.50	c (26,0) x[16][15] = 21
212.39/37.50	c (26,0) x[16][16] = 26
212.39/37.50	c (26,0) x[16][17] = 8
212.39/37.50	c (26,0) x[16][18] = 4
212.39/37.50	c (26,0) x[16][19] = 7
212.39/37.50	c (26,0) x[16][20] = 13
212.39/37.50	c (26,0) x[16][21] = 2
212.39/37.50	c (26,0) x[16][22] = 0
212.39/37.50	c (26,0) x[16][23] = 27
212.39/37.50	c (26,0) x[16][24] = 1
212.39/37.50	c (26,0) x[16][25] = 15
212.39/37.50	c (26,0) x[16][26] = 16
212.39/37.50	c (26,0) x[16][27] = 3
212.39/37.50	c (26,0) x[16][28] = 24
212.39/37.50	c (26,0) x[16][29] = 22
212.39/37.50	c (26,0) x[17][0] = 13
212.39/37.50	c (26,0) x[17][1] = 24
212.39/37.50	c (26,0) x[17][2] = 7
212.39/37.50	c (26,0) x[17][3] = 5
212.39/37.50	c (26,0) x[17][4] = 0
212.39/37.50	c (26,0) x[17][5] = 22
212.39/37.50	c (26,0) x[17][6] = 12
212.39/37.50	c (26,0) x[17][7] = 15
212.39/37.50	c (26,0) x[17][8] = 16
212.39/37.50	c (26,0) x[17][9] = 28
212.39/37.50	c (26,0) x[17][10] = 17
212.39/37.50	c (26,0) x[17][11] = 29
212.39/37.50	c (26,0) x[17][12] = 27
212.39/37.50	c (26,0) x[17][13] = 9
212.39/37.50	c (26,0) x[17][14] = 1
212.39/37.50	c (26,0) x[17][15] = 26
212.39/37.50	c (26,0) x[17][16] = 14
212.39/37.50	c (26,0) x[17][17] = 25
212.39/37.50	c (26,0) x[17][18] = 18
212.39/37.50	c (26,0) x[17][19] = 20
212.39/37.50	c (26,0) x[17][20] = 11
212.39/37.50	c (26,0) x[17][21] = 19
212.39/37.50	c (26,0) x[17][22] = 8
212.39/37.50	c (26,0) x[17][23] = 23
212.39/37.50	c (26,0) x[17][24] = 10
212.39/37.50	c (26,0) x[17][25] = 6
212.39/37.50	c (26,0) x[17][26] = 4
212.39/37.50	c (26,0) x[17][27] = 21
212.39/37.50	c (26,0) x[17][28] = 3
212.39/37.50	c (26,0) x[17][29] = 2
212.39/37.50	c (26,0) x[18][0] = 27
212.39/37.50	c (26,0) x[18][1] = 7
212.39/37.50	c (26,0) x[18][2] = 26
212.39/37.51	c (26,0) x[18][3] = 8
212.39/37.51	c (26,0) x[18][4] = 20
212.39/37.51	c (26,0) x[18][5] = 28
212.39/37.51	c (26,0) x[18][6] = 21
212.39/37.51	c (26,0) x[18][7] = 22
212.39/37.51	c (26,0) x[18][8] = 18
212.39/37.51	c (26,0) x[18][9] = 0
212.39/37.51	c (26,0) x[18][10] = 15
212.39/37.51	c (26,0) x[18][11] = 10
212.39/37.51	c (26,0) x[18][12] = 16
212.39/37.51	c (26,0) x[18][13] = 17
212.39/37.51	c (26,0) x[18][14] = 3
212.39/37.51	c (26,0) x[18][15] = 1
212.39/37.51	c (26,0) x[18][16] = 2
212.39/37.51	c (26,0) x[18][17] = 4
212.39/37.51	c (26,0) x[18][18] = 12
212.39/37.51	c (26,0) x[18][19] = 19
212.39/37.51	c (26,0) x[18][20] = 6
212.39/37.51	c (26,0) x[18][21] = 5
212.39/37.51	c (26,0) x[18][22] = 24
212.39/37.51	c (26,0) x[18][23] = 29
212.39/37.51	c (26,0) x[18][24] = 11
212.39/37.51	c (26,0) x[18][25] = 14
212.39/37.51	c (26,0) x[18][26] = 23
212.39/37.51	c (26,0) x[18][27] = 25
212.39/37.51	c (26,0) x[18][28] = 13
212.39/37.51	c (26,0) x[18][29] = 9
212.39/37.51	c (26,0) x[19][0] = 9
212.39/37.51	c (26,0) x[19][1] = 6
212.39/37.51	c (26,0) x[19][2] = 4
212.39/37.51	c (26,0) x[19][3] = 16
212.39/37.51	c (26,0) x[19][4] = 11
212.39/37.51	c (26,0) x[19][5] = 15
212.39/37.51	c (26,0) x[19][6] = 7
212.39/37.51	c (26,0) x[19][7] = 21
212.39/37.51	c (26,0) x[19][8] = 28
212.39/37.51	c (26,0) x[19][9] = 8
212.39/37.51	c (26,0) x[19][10] = 27
212.39/37.51	c (26,0) x[19][11] = 5
212.39/37.51	c (26,0) x[19][12] = 20
212.39/37.51	c (26,0) x[19][13] = 26
212.39/37.51	c (26,0) x[19][14] = 17
212.39/37.51	c (26,0) x[19][15] = 2
212.39/37.51	c (26,0) x[19][16] = 10
212.39/37.51	c (26,0) x[19][17] = 14
212.39/37.51	c (26,0) x[19][18] = 13
212.39/37.51	c (26,0) x[19][19] = 29
212.39/37.51	c (26,0) x[19][20] = 3
212.39/37.51	c (26,0) x[19][21] = 12
212.39/37.51	c (26,0) x[19][22] = 23
212.39/37.51	c (26,0) x[19][23] = 18
212.39/37.51	c (26,0) x[19][24] = 19
212.39/37.51	c (26,0) x[19][25] = 0
212.39/37.51	c (26,0) x[19][26] = 22
212.39/37.51	c (26,0) x[19][27] = 1
212.39/37.51	c (26,0) x[19][28] = 25
212.39/37.51	c (26,0) x[19][29] = 24
212.39/37.51	c (26,0) x[20][0] = 11
212.39/37.51	c (26,0) x[20][1] = 22
212.39/37.51	c (26,0) x[20][2] = 17
212.39/37.51	c (26,0) x[20][3] = 12
212.39/37.51	c (26,0) x[20][4] = 10
212.39/37.51	c (26,0) x[20][5] = 13
212.39/37.51	c (26,0) x[20][6] = 3
212.39/37.51	c (26,0) x[20][7] = 29
212.39/37.51	c (26,0) x[20][8] = 27
212.39/37.51	c (26,0) x[20][9] = 20
212.39/37.51	c (26,0) x[20][10] = 4
212.39/37.51	c (26,0) x[20][11] = 26
212.39/37.51	c (26,0) x[20][12] = 2
212.39/37.51	c (26,0) x[20][13] = 19
212.39/37.51	c (26,0) x[20][14] = 24
212.39/37.51	c (26,0) x[20][15] = 23
212.39/37.51	c (26,0) x[20][16] = 7
212.39/37.51	c (26,0) x[20][17] = 21
212.39/37.51	c (26,0) x[20][18] = 5
212.39/37.51	c (26,0) x[20][19] = 16
212.39/37.51	c (26,0) x[20][20] = 1
212.39/37.51	c (26,0) x[20][21] = 14
212.39/37.51	c (26,0) x[20][22] = 6
212.39/37.51	c (26,0) x[20][23] = 9
212.39/37.51	c (26,0) x[20][24] = 0
212.39/37.51	c (26,0) x[20][25] = 25
212.39/37.51	c (26,0) x[20][26] = 28
212.39/37.51	c (26,0) x[20][27] = 18
212.39/37.51	c (26,0) x[20][28] = 8
212.39/37.51	c (26,0) x[20][29] = 15
212.39/37.51	c (26,0) x[21][0] = 25
212.39/37.51	c (26,0) x[21][1] = 3
212.39/37.51	c (26,0) x[21][2] = 20
212.39/37.51	c (26,0) x[21][3] = 2
212.39/37.51	c (26,0) x[21][4] = 5
212.39/37.51	c (26,0) x[21][5] = 23
212.39/37.51	c (26,0) x[21][6] = 13
212.39/37.51	c (26,0) x[21][7] = 16
212.39/37.51	c (26,0) x[21][8] = 4
212.39/37.51	c (26,0) x[21][9] = 27
212.39/37.51	c (26,0) x[21][10] = 26
212.39/37.51	c (26,0) x[21][11] = 11
212.39/37.51	c (26,0) x[21][12] = 18
212.39/37.51	c (26,0) x[21][13] = 12
212.39/37.51	c (26,0) x[21][14] = 8
212.39/37.51	c (26,0) x[21][15] = 29
212.39/37.51	c (26,0) x[21][16] = 19
212.39/37.51	c (26,0) x[21][17] = 9
212.39/37.51	c (26,0) x[21][18] = 10
212.39/37.51	c (26,0) x[21][19] = 1
212.39/37.51	c (26,0) x[21][20] = 0
212.39/37.51	c (26,0) x[21][21] = 15
212.39/37.51	c (26,0) x[21][22] = 17
212.39/37.51	c (26,0) x[21][23] = 24
212.39/37.51	c (26,0) x[21][24] = 6
212.39/37.51	c (26,0) x[21][25] = 7
212.39/37.51	c (26,0) x[21][26] = 14
212.39/37.51	c (26,0) x[21][27] = 22
212.39/37.51	c (26,0) x[21][28] = 21
212.39/37.51	c (26,0) x[21][29] = 28
212.39/37.51	c (26,0) x[22][0] = 4
212.39/37.51	c (26,0) x[22][1] = 10
212.39/37.51	c (26,0) x[22][2] = 29
212.39/37.51	c (26,0) x[22][3] = 7
212.39/37.51	c (26,0) x[22][4] = 12
212.39/37.51	c (26,0) x[22][5] = 18
212.39/37.51	c (26,0) x[22][6] = 17
212.39/37.51	c (26,0) x[22][7] = 1
212.39/37.51	c (26,0) x[22][8] = 24
212.39/37.51	c (26,0) x[22][9] = 13
212.39/37.51	c (26,0) x[22][10] = 21
212.39/37.51	c (26,0) x[22][11] = 8
212.39/37.51	c (26,0) x[22][12] = 19
212.39/37.51	c (26,0) x[22][13] = 15
212.39/37.51	c (26,0) x[22][14] = 26
212.39/37.51	c (26,0) x[22][15] = 27
212.39/37.51	c (26,0) x[22][16] = 16
212.39/37.51	c (26,0) x[22][17] = 0
212.39/37.51	c (26,0) x[22][18] = 11
212.39/37.51	c (26,0) x[22][19] = 28
212.39/37.51	c (26,0) x[22][20] = 2
212.39/37.51	c (26,0) x[22][21] = 23
212.39/37.51	c (26,0) x[22][22] = 14
212.39/37.51	c (26,0) x[22][23] = 3
212.39/37.51	c (26,0) x[22][24] = 5
212.39/37.51	c (26,0) x[22][25] = 20
212.39/37.51	c (26,0) x[22][26] = 6
212.39/37.51	c (26,0) x[22][27] = 9
212.39/37.51	c (26,0) x[22][28] = 22
212.39/37.51	c (26,0) x[22][29] = 25
212.39/37.51	c (26,0) x[23][0] = 0
212.39/37.51	c (26,0) x[23][1] = 5
212.39/37.51	c (26,0) x[23][2] = 11
212.39/37.51	c (26,0) x[23][3] = 18
212.39/37.51	c (26,0) x[23][4] = 23
212.39/37.51	c (26,0) x[23][5] = 24
212.39/37.51	c (26,0) x[23][6] = 4
212.39/37.51	c (26,0) x[23][7] = 26
212.39/37.51	c (26,0) x[23][8] = 1
212.39/37.51	c (26,0) x[23][9] = 17
212.39/37.51	c (26,0) x[23][10] = 7
212.39/37.51	c (26,0) x[23][11] = 14
212.39/37.51	c (26,0) x[23][12] = 9
212.39/37.51	c (26,0) x[23][13] = 6
212.39/37.51	c (26,0) x[23][14] = 25
212.39/37.51	c (26,0) x[23][15] = 19
212.39/37.51	c (26,0) x[23][16] = 13
212.39/37.51	c (26,0) x[23][17] = 12
212.39/37.51	c (26,0) x[23][18] = 8
212.39/37.51	c (26,0) x[23][19] = 15
212.39/37.51	c (26,0) x[23][20] = 16
212.39/37.51	c (26,0) x[23][21] = 10
212.39/37.51	c (26,0) x[23][22] = 29
212.39/37.51	c (26,0) x[23][23] = 2
212.39/37.51	c (26,0) x[23][24] = 3
212.39/37.51	c (26,0) x[23][25] = 22
212.39/37.51	c (26,0) x[23][26] = 21
212.39/37.51	c (26,0) x[23][27] = 27
212.39/37.51	c (26,0) x[23][28] = 28
212.39/37.51	c (26,0) x[23][29] = 20
212.39/37.51	c (26,0) x[24][0] = 17
212.39/37.51	c (26,0) x[24][1] = 28
212.39/37.51	c (26,0) x[24][2] = 8
212.39/37.51	c (26,0) x[24][3] = 6
212.39/37.51	c (26,0) x[24][4] = 9
212.39/37.51	c (26,0) x[24][5] = 1
212.39/37.51	c (26,0) x[24][6] = 22
212.39/37.51	c (26,0) x[24][7] = 25
212.39/37.51	c (26,0) x[24][8] = 15
212.39/37.51	c (26,0) x[24][9] = 14
212.39/37.51	c (26,0) x[24][10] = 3
212.39/37.51	c (26,0) x[24][11] = 13
212.39/37.51	c (26,0) x[24][12] = 5
212.39/37.51	c (26,0) x[24][13] = 29
212.39/37.51	c (26,0) x[24][14] = 2
212.39/37.51	c (26,0) x[24][15] = 20
212.39/37.51	c (26,0) x[24][16] = 4
212.39/37.51	c (26,0) x[24][17] = 18
212.39/37.51	c (26,0) x[24][18] = 0
212.39/37.51	c (26,0) x[24][19] = 21
212.39/37.51	c (26,0) x[24][20] = 7
212.39/37.51	c (26,0) x[24][21] = 11
212.39/37.51	c (26,0) x[24][22] = 16
212.39/37.51	c (26,0) x[24][23] = 12
212.39/37.51	c (26,0) x[24][24] = 26
212.39/37.51	c (26,0) x[24][25] = 27
212.39/37.51	c (26,0) x[24][26] = 24
212.39/37.51	c (26,0) x[24][27] = 19
212.39/37.51	c (26,0) x[24][28] = 10
212.39/37.51	c (26,0) x[24][29] = 23
212.39/37.51	c (26,0) x[25][0] = 26
212.39/37.51	c (26,0) x[25][1] = 20
212.39/37.51	c (26,0) x[25][2] = 21
212.39/37.51	c (26,0) x[25][3] = 19
212.39/37.51	c (26,0) x[25][4] = 24
212.39/37.51	c (26,0) x[25][5] = 17
212.39/37.51	c (26,0) x[25][6] = 28
212.39/37.51	c (26,0) x[25][7] = 7
212.39/37.51	c (26,0) x[25][8] = 3
212.39/37.51	c (26,0) x[25][9] = 10
212.39/37.51	c (26,0) x[25][10] = 18
212.39/37.51	c (26,0) x[25][11] = 12
212.39/37.51	c (26,0) x[25][12] = 1
212.39/37.51	c (26,0) x[25][13] = 13
212.39/37.51	c (26,0) x[25][14] = 5
212.39/37.51	c (26,0) x[25][15] = 22
212.39/37.51	c (26,0) x[25][16] = 0
212.39/37.51	c (26,0) x[25][17] = 11
212.39/37.51	c (26,0) x[25][18] = 29
212.39/37.51	c (26,0) x[25][19] = 6
212.39/37.51	c (26,0) x[25][20] = 27
212.39/37.51	c (26,0) x[25][21] = 9
212.39/37.51	c (26,0) x[25][22] = 15
212.39/37.51	c (26,0) x[25][23] = 4
212.39/37.51	c (26,0) x[25][24] = 23
212.39/37.51	c (26,0) x[25][25] = 2
212.39/37.51	c (26,0) x[25][26] = 25
212.39/37.51	c (26,0) x[25][27] = 8
212.39/37.51	c (26,0) x[25][28] = 16
212.39/37.51	c (26,0) x[25][29] = 14
212.39/37.51	c (26,0) x[26][0] = 3
212.39/37.51	c (26,0) x[26][1] = 9
212.39/37.51	c (26,0) x[26][2] = 5
212.39/37.51	c (26,0) x[26][3] = 28
212.39/37.51	c (26,0) x[26][4] = 1
212.39/37.51	c (26,0) x[26][5] = 12
212.39/37.51	c (26,0) x[26][6] = 16
212.39/37.51	c (26,0) x[26][7] = 27
212.39/37.51	c (26,0) x[26][8] = 10
212.39/37.51	c (26,0) x[26][9] = 26
212.39/37.51	c (26,0) x[26][10] = 2
212.39/37.51	c (26,0) x[26][11] = 4
212.39/37.51	c (26,0) x[26][12] = 7
212.39/37.51	c (26,0) x[26][13] = 14
212.39/37.51	c (26,0) x[26][14] = 11
212.39/37.51	c (26,0) x[26][15] = 18
212.39/37.51	c (26,0) x[26][16] = 24
212.39/37.51	c (26,0) x[26][17] = 19
212.39/37.51	c (26,0) x[26][18] = 21
212.39/37.51	c (26,0) x[26][19] = 8
212.39/37.51	c (26,0) x[26][20] = 23
212.39/37.51	c (26,0) x[26][21] = 0
212.39/37.51	c (26,0) x[26][22] = 22
212.39/37.51	c (26,0) x[26][23] = 25
212.39/37.51	c (26,0) x[26][24] = 15
212.39/37.51	c (26,0) x[26][25] = 17
212.39/37.51	c (26,0) x[26][26] = 20
212.39/37.51	c (26,0) x[26][27] = 13
212.39/37.51	c (26,0) x[26][28] = 6
212.39/37.51	c (26,0) x[26][29] = 29
212.39/37.51	c (26,0) x[27][0] = 22
212.39/37.51	c (26,0) x[27][1] = 23
212.39/37.51	c (26,0) x[27][2] = 3
212.39/37.51	c (26,0) x[27][3] = 25
212.39/37.51	c (26,0) x[27][4] = 17
212.39/37.51	c (26,0) x[27][5] = 14
212.39/37.51	c (26,0) x[27][6] = 2
212.39/37.51	c (26,0) x[27][7] = 4
212.39/37.51	c (26,0) x[27][8] = 11
212.39/37.51	c (26,0) x[27][9] = 24
212.39/37.51	c (26,0) x[27][10] = 9
212.39/37.51	c (26,0) x[27][11] = 19
212.39/37.51	c (26,0) x[27][12] = 28
212.39/37.51	c (26,0) x[27][13] = 18
212.39/37.51	c (26,0) x[27][14] = 10
212.39/37.51	c (26,0) x[27][15] = 8
212.39/37.51	c (26,0) x[27][16] = 5
212.39/37.51	c (26,0) x[27][17] = 6
212.39/37.51	c (26,0) x[27][18] = 26
212.39/37.51	c (26,0) x[27][19] = 0
212.39/37.51	c (26,0) x[27][20] = 15
212.39/37.51	c (26,0) x[27][21] = 16
212.39/37.51	c (26,0) x[27][22] = 27
212.39/37.51	c (26,0) x[27][23] = 1
212.39/37.51	c (26,0) x[27][24] = 20
212.39/37.51	c (26,0) x[27][25] = 29
212.39/37.51	c (26,0) x[27][26] = 13
212.39/37.51	c (26,0) x[27][27] = 12
212.39/37.51	c (26,0) x[27][28] = 7
212.39/37.51	c (26,0) x[27][29] = 21
212.39/37.51	c (26,0) x[28][0] = 5
212.39/37.51	c (26,0) x[28][1] = 27
212.39/37.51	c (26,0) x[28][2] = 22
212.39/37.51	c (26,0) x[28][3] = 4
212.39/37.51	c (26,0) x[28][4] = 15
212.39/37.51	c (26,0) x[28][5] = 19
212.39/37.51	c (26,0) x[28][6] = 20
212.39/37.51	c (26,0) x[28][7] = 14
212.39/37.51	c (26,0) x[28][8] = 7
212.39/37.51	c (26,0) x[28][9] = 25
212.39/37.51	c (26,0) x[28][10] = 24
212.39/37.51	c (26,0) x[28][11] = 0
212.39/37.51	c (26,0) x[28][12] = 21
212.39/37.51	c (26,0) x[28][13] = 3
212.39/37.51	c (26,0) x[28][14] = 12
212.39/37.51	c (26,0) x[28][15] = 13
212.39/37.51	c (26,0) x[28][16] = 9
212.39/37.51	c (26,0) x[28][17] = 1
212.39/37.51	c (26,0) x[28][18] = 17
212.39/37.51	c (26,0) x[28][19] = 10
212.39/37.51	c (26,0) x[28][20] = 29
212.39/37.51	c (26,0) x[28][21] = 18
212.39/37.51	c (26,0) x[28][22] = 26
212.39/37.51	c (26,0) x[28][23] = 16
212.39/37.51	c (26,0) x[28][24] = 8
212.39/37.51	c (26,0) x[28][25] = 11
212.39/37.51	c (26,0) x[28][26] = 2
212.39/37.51	c (26,0) x[28][27] = 28
212.39/37.51	c (26,0) x[28][28] = 23
212.39/37.51	c (26,0) x[28][29] = 6
212.39/37.51	c (26,0) x[29][0] = 16
212.39/37.51	c (26,0) x[29][1] = 12
212.39/37.51	c (26,0) x[29][2] = 19
212.39/37.51	c (26,0) x[29][3] = 21
212.39/37.51	c (26,0) x[29][4] = 28
212.39/37.51	c (26,0) x[29][5] = 7
212.39/37.51	c (26,0) x[29][6] = 0
212.39/37.51	c (26,0) x[29][7] = 11
212.39/37.51	c (26,0) x[29][8] = 20
212.39/37.51	c (26,0) x[29][9] = 4
212.39/37.51	c (26,0) x[29][10] = 23
212.39/37.51	c (26,0) x[29][11] = 3
212.39/37.51	c (26,0) x[29][12] = 24
212.39/37.51	c (26,0) x[29][13] = 1
212.39/37.51	c (26,0) x[29][14] = 15
212.39/37.51	c (26,0) x[29][15] = 25
212.39/37.51	c (26,0) x[29][16] = 8
212.39/37.51	c (26,0) x[29][17] = 10
212.39/37.51	c (26,0) x[29][18] = 9
212.39/37.51	c (26,0) x[29][19] = 14
212.39/37.51	c (26,0) x[29][20] = 18
212.39/37.51	c (26,0) x[29][21] = 17
212.39/37.51	c (26,0) x[29][22] = 2
212.39/37.51	c (26,0) x[29][23] = 6
212.39/37.51	c (26,0) x[29][24] = 22
212.39/37.51	c (26,0) x[29][25] = 5
212.39/37.51	c (26,0) x[29][26] = 27
212.39/37.51	c (26,0) x[29][27] = 26
212.39/37.51	c (26,0) x[29][28] = 29
212.39/37.51	c (26,0) x[29][29] = 13
212.39/37.51	s SATISFIABLE
212.39/37.51	v <instantiation>
212.39/37.51	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.39/37.51	v     <values>24 17 9 1 25 21 8 10 6 5 11 15 29 2 23 4 20 7 3 22 19 28 13 0 27 18 12 14 26 16 23 11 27 13 6 2 18 12 21 16 5 24 26 28 0 14 22 29 15 17 9 25 7 19 4 3 10 20 1 8 6 1 25 24 16 27 5 13 19 12 0 17 23 8 22 10 15 26 20 9 28 4 3 7 2 21 29 11 14 18 1 16 24 26 29 3 25 2 12 11 22 27 6 0 9 28 23 5 14 13 4 7 10 21 18 8 15 17 20 19 29 18 15 10 22 6 19 28 8 2 13 7 25 23 4 11 3 20 1 24 26 21 12 17 14 9 5 16 27 0 8 19 1 15 13 20 10 17 22 21 16 18 0 4 29 9 12 3 25 2 24 27 28 14 7 23 26 6 11 5 28 29 16 0 19 26 14 23 9 3 12 25 15 20 21 7 27 17 2 18 8 6 1 22 13 24 11 10 5 4 20 4 6 17 26 9 24 0 29 19 14 2 8 7 27 16 18 15 22 5 21 13 11 28 25 10 3 23 12 1 7 2 14 20 18 29 15 5 0 9 8 23 22 25 6 17 28 13 16 26 10 3 21 11 12 4 1 24 19 27 19 26 23 9 2 25 11 3 14 18 29 6 10 21 13 15 1 27 28 12 17 22 4 20 24 16 8 5 0 7 21 0 2 11 27 4 6 8 13 23 25 20 14 22 7 5 17 24 19 3 12 1 9 26 16 28 18 29 15 10 2 21 13 14 7 5 26 20 25 15 10 9 12 24 16 6 11 28 23 27 22 29 18 8 17 1 19 0 4 3 18 14 0 22 21 8 29 24 23 1 6 16 3 10 20 12 25 2 27 4 5 26 19 15 28 13 17 7 9 11 14 13 28 3 8 16 1 9 2 6 19 22 4 27 18 0 29 23 24 11 25 20 5 10 21 26 7 15 17 12 10 15 12 27 3 0 23 18 17 22 1 21 11 5 28 24 6 16 7 25 14 8 20 13 29 19 9 4 2 26 15 8 10 29 4 11 27 19 26 7 28 1 13 16 14 3 21 22 6 23 20 24 25 5 9 12 0 2 18 17 12 25 18 23 14 10 9 6 5 29 20 28 17 11 19 21 26 8 4 7 13 2 0 27 1 15 16 3 24 22 13 24 7 5 0 22 12 15 16 28 17 29 27 9 1 26 14 25 18 20 11 19 8 23 10 6 4 21 3 2 27 7 26 8 20 28 21 22 18 0 15 10 16 17 3 1 2 4 12 19 6 5 24 29 11 14 23 25 13 9 9 6 4 16 11 15 7 21 28 8 27 5 20 26 17 2 10 14 13 29 3 12 23 18 19 0 22 1 25 24 11 22 17 12 10 13 3 29 27 20 4 26 2 19 24 23 7 21 5 16 1 14 6 9 0 25 28 18 8 15 25 3 20 2 5 23 13 16 4 27 26 11 18 12 8 29 19 9 10 1 0 15 17 24 6 7 14 22 21 28 4 10 29 7 12 18 17 1 24 13 21 8 19 15 26 27 16 0 11 28 2 23 14 3 5 20 6 9 22 25 0 5 11 18 23 24 4 26 1 17 7 14 9 6 25 19 13 12 8 15 16 10 29 2 3 22 21 27 28 20 17 28 8 6 9 1 22 25 15 14 3 13 5 29 2 20 4 18 0 21 7 11 16 12 26 27 24 19 10 23 26 20 21 19 24 17 28 7 3 10 18 12 1 13 5 22 0 11 29 6 27 9 15 4 23 2 25 8 16 14 3 9 5 28 1 12 16 27 10 26 2 4 7 14 11 18 24 19 21 8 23 0 22 25 15 17 20 13 6 29 22 23 3 25 17 14 2 4 11 24 9 19 28 18 10 8 5 6 26 0 15 16 27 1 20 29 13 12 7 21 5 27 22 4 15 19 20 14 7 25 24 0 21 3 12 13 9 1 17 10 29 18 26 16 8 11 2 28 23 6 16 12 19 21 28 7 0 11 20 4 23 3 24 1 15 25 8 10 9 14 18 17 2 6 22 5 27 26 29 13</values>
212.39/37.51	v </instantiation>
212.39/37.51	c (26,0) Show results End
212.39/37.51	c (26,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
212.39/37.51	c (26,0) 26,26,STOP-AFTER(ALL)
212.39/37.51	c END-Prog: Sat Sep 14 07:33:29 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 (14951 MiB free)
  memory of node 1: 16384 MiB (15383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392464-1568442889/watcher-4392464-1568442889 -o /tmp/evaluation-result-4392464-1568442889/solver-4392464-1568442889 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568435316-23937 --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-4392464-1568442889.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=25075, runsolver pid=25072
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 6.54 7.12 7.70 3/211 25097
/proc/meminfo: memFree=30970072/32770624 swapFree=66923196/67108860
[pid=25075] ppid=25072 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25075/stat : 25075 (scop.sh) S 25072 25075 23910 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420544858 115843072 348 33554432000 4194304 5098028 140732544810000 140732544807256 139841544393340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13082624 140732544811813 140732544812140 140732544812140 140732544815053 0
/proc/25075/statm: 28282 348 296 221 0 87 0
[pid=25078] ppid=25075 vsize=27314120 memory=104644 CPUtime=0.11 cores=0-7
/proc/25078/stat : 25078 (java) S 25075 25075 23910 0 -1 1077944320 6214 0 0 0 9 2 0 0 20 0 20 0 420544858 27969658880 26161 33554432000 4194304 4196468 140723461173360 140723461155904 139801299889911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
/proc/25078/statm: 6828530 26161 2815 1 0 6790935 0
[pid=25078/tid=25079] ppid=25075 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/25078/task/25079/stat : 25079 (java) R 25075 25075 23910 0 -1 4202560 4276 0 0 0 7 2 0 0 20 0 20 0 420544859 27969658880 26161 33554432000 4194304 4196468 140723461173360 139801271716624 139801299911837 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25080] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25080/stat : 25080 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139801304131984 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25081] ppid=25075 vsize=27314120 memory=3762670933215725216 CPUtime=0 cores=0-7
/proc/25078/task/25081/stat : 25081 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139801122220304 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25082] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25082/stat : 25082 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139801121168016 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25083] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25083/stat : 25083 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139801120115216 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25084] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25084/stat : 25084 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139800718769040 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25085] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25085/stat : 25085 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139800717716240 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25086] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25086/stat : 25086 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139800716663952 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25087] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25087/stat : 25087 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 26161 33554432000 4194304 4196468 140723461173360 139800715611152 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25088] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25088/stat : 25088 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799687219312 139801299901058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25089] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25089/stat : 25089 (java) S 25075 25075 23910 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799037993760 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25090] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25090/stat : 25090 (java) S 25075 25075 23910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 26161 33554432000 4194304 4196468 140723461173360 139798903772272 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25091] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25091/stat : 25091 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139798529267792 139801299908507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25092] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25092/stat : 25092 (java) S 25075 25075 23910 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799686167152 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25093] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25093/stat : 25093 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799685114352 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25094] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25094/stat : 25094 (java) S 25075 25075 23910 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799684062064 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25095] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25095/stat : 25095 (java) S 25075 25075 23910 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799683009264 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25096] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25096/stat : 25096 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139798031362400 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25097] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25097/stat : 25097 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 26161 33554432000 4194304 4196468 140723461173360 139799681956144 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106036 KiB

[startup+0.210369 s]*
/proc/loadavg: 6.54 7.12 7.70 2/211 25097
/proc/meminfo: memFree=30951456/32770624 swapFree=66923196/67108860
[pid=25075] ppid=25072 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25075/stat : 25075 (scop.sh) S 25072 25075 23910 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420544858 115843072 348 33554432000 4194304 5098028 140732544810000 140732544807256 139841544393340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13082624 140732544811813 140732544812140 140732544812140 140732544815053 0
/proc/25075/statm: 28282 348 296 221 0 87 0
[pid=25078] ppid=25075 vsize=27314120 memory=120888 CPUtime=0.25 cores=0-7
/proc/25078/stat : 25078 (java) S 25075 25075 23910 0 -1 1077944320 11198 0 0 0 21 4 0 0 20 0 20 0 420544858 27969658880 30222 33554432000 4194304 4196468 140723461173360 140723461155904 139801299889911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
/proc/25078/statm: 6828530 30222 2888 1 0 6790935 0
[pid=25078/tid=25079] ppid=25075 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/25078/task/25079/stat : 25079 (java) R 25075 25075 23910 0 -1 4202560 8864 0 0 0 16 3 0 0 20 0 20 0 420544859 27969658880 30222 33554432000 4194304 4196468 140723461173360 139801271689296 139801280165233 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25080] ppid=25075 vsize=27314120 memory=10923 CPUtime=0 cores=0-7
/proc/25078/task/25080/stat : 25080 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139801304131984 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25081] ppid=25075 vsize=27314120 memory=139732653458564 CPUtime=0 cores=0-7
/proc/25078/task/25081/stat : 25081 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139801122220304 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25082] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25082/stat : 25082 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139801121168016 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25083] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25083/stat : 25083 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139801120115216 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25084] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25084/stat : 25084 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139800718769040 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25085] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25085/stat : 25085 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139800717716240 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25086] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25086/stat : 25086 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139800716663952 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25087] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25087/stat : 25087 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 30222 33554432000 4194304 4196468 140723461173360 139800715611152 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25088] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25088/stat : 25088 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799687219312 139801299901058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25089] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25089/stat : 25089 (java) S 25075 25075 23910 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799037993760 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25090] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25090/stat : 25090 (java) S 25075 25075 23910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 30222 33554432000 4194304 4196468 140723461173360 139798903772272 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25091] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25091/stat : 25091 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139798529267792 139801299908507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25092] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25092/stat : 25092 (java) S 25075 25075 23910 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799686167152 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25093] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25093/stat : 25093 (java) S 25075 25075 23910 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799685114352 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25094] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25094/stat : 25094 (java) S 25075 25075 23910 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799684062064 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25095] ppid=25075 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25078/task/25095/stat : 25095 (java) S 25075 25075 23910 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799683009264 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25096] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25096/stat : 25096 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139798031362400 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25097] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25097/stat : 25097 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 30222 33554432000 4194304 4196468 140723461173360 139799681956144 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122280 KiB

[startup+0.309688 s]*
/proc/loadavg: 6.54 7.12 7.70 2/211 25097
/proc/meminfo: memFree=30948416/32770624 swapFree=66923196/67108860
[pid=25075] ppid=25072 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25075/stat : 25075 (scop.sh) S 25072 25075 23910 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420544858 115843072 348 33554432000 4194304 5098028 140732544810000 140732544807256 139841544393340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13082624 140732544811813 140732544812140 140732544812140 140732544815053 0
/proc/25075/statm: 28282 348 296 221 0 87 0
[pid=25078] ppid=25075 vsize=27314120 memory=125288 CPUtime=0.42 cores=0-7
/proc/25078/stat : 25078 (java) S 25075 25075 23910 0 -1 1077944320 12258 0 0 0 38 4 0 0 20 0 20 0 420544858 27969658880 31322 33554432000 4194304 4196468 140723461173360 140723461155904 139801299889911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
/proc/25078/statm: 6828530 31322 3010 1 0 6790935 0
[pid=25078/tid=25079] ppid=25075 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/25078/task/25079/stat : 25079 (java) R 25075 25075 23910 0 -1 4202560 9738 0 0 0 26 4 0 0 20 0 20 0 420544859 27969658880 31322 33554432000 4194304 4196468 140723461173360 139801271703776 139801283970398 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25080] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25080/stat : 25080 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139801304131984 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25081] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25081/stat : 25081 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139801122220304 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25082] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25082/stat : 25082 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139801121168016 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25083] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25083/stat : 25083 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139801120115216 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25084] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25084/stat : 25084 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139800718769040 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25085] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25085/stat : 25085 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139800717716240 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25086] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25086/stat : 25086 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139800716663952 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25087] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25087/stat : 25087 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27969658880 31322 33554432000 4194304 4196468 140723461173360 139800715611152 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25088] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25088/stat : 25088 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799687219312 139801299901058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25089] ppid=25075 vsize=27314120 memory=279465066438016 CPUtime=0 cores=0-7
/proc/25078/task/25089/stat : 25089 (java) S 25075 25075 23910 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799037993760 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25090] ppid=25075 vsize=27314120 memory=279465066442624 CPUtime=0 cores=0-7
/proc/25078/task/25090/stat : 25090 (java) S 25075 25075 23910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420544863 27969658880 31322 33554432000 4194304 4196468 140723461173360 139798903772272 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25091] ppid=25075 vsize=27314120 memory=279465066447232 CPUtime=0 cores=0-7
/proc/25078/task/25091/stat : 25091 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139798529267792 139801299908507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25092] ppid=25075 vsize=27314120 memory=279465066451840 CPUtime=0.01 cores=0-7
/proc/25078/task/25092/stat : 25092 (java) S 25075 25075 23910 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799686167152 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25093] ppid=25075 vsize=27314120 memory=279465066456448 CPUtime=0.01 cores=0-7
/proc/25078/task/25093/stat : 25093 (java) S 25075 25075 23910 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799685114352 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25094] ppid=25075 vsize=27314120 memory=279465066461056 CPUtime=0.01 cores=0-7
/proc/25078/task/25094/stat : 25094 (java) S 25075 25075 23910 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799684062064 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25095] ppid=25075 vsize=27314120 memory=279465066465664 CPUtime=0.07 cores=0-7
/proc/25078/task/25095/stat : 25095 (java) S 25075 25075 23910 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799683009264 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25096] ppid=25075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25096/stat : 25096 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139798031362400 139801299900117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25097] ppid=25075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25078/task/25097/stat : 25097 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544866 27969658880 31322 33554432000 4194304 4196468 140723461173360 139799681956144 139801299901058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126680 KiB

[startup+0.700944 s]
/proc/loadavg: 6.54 7.12 7.70 2/211 25097
/proc/meminfo: memFree=30924856/32770624 swapFree=66923196/67108860
[pid=25075] ppid=25072 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25075/stat : 25075 (scop.sh) S 25072 25075 23910 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420544858 115843072 348 33554432000 4194304 5098028 140732544810000 140732544807256 139841544393340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13082624 140732544811813 140732544812140 140732544812140 140732544815053 0
/proc/25075/statm: 28282 348 296 221 0 87 0
[pid=25078] ppid=25075 vsize=27322516 memory=163772 CPUtime=1 cores=0-7
/proc/25078/stat : 25078 (java) S 25075 25075 23910 0 -1 1077944320 20119 0 0 0 94 6 0 0 20 0 20 0 420544858 27978256384 40943 33554432000 4194304 4196468 140723461173360 140723461155904 139801299889911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
/proc/25078/statm: 6830629 40943 3187 1 0 6791959 0
[pid=25078/tid=25079] ppid=25075 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/25078/task/25079/stat : 25079 (java) R 25075 25075 23910 0 -1 4202560 16970 0 0 0 62 5 0 0 20 0 20 0 420544859 27978256384 40943 33554432000 4194304 4196468 140723461173360 139801271721648 139801283970398 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25080] ppid=25075 vsize=27322516 memory=139732533420928 CPUtime=0 cores=0-7
/proc/25078/task/25080/stat : 25080 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420544861 27978256384 40943 33554432000 4194304 4196468 140723461173360 139801304131984 139801299900117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25081] ppid=25075 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/25078/task/25081/stat : 25081 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420544861 27978256384 40943 33554432000 4194304 4196468 140723461173360 139801122220304 139801299900117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0
[pid=25078/tid=25082] ppid=25075 vsize=27322516 memory=9364 CPUtime=0 cores=0-7
/proc/25078/task/25082/stat : 25082 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420544861 27978256384 40943 33554432000 4194304 4196468 140723461173360 139801121168016 139801299900117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140723461178091 140723461178518 140723461178518 140723461181391 0

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

[pid=25099/tid=25100] ppid=25075 vsize=8414124 memory=247531850220570 CPUtime=0.79 cores=0-7
/proc/25099/task/25100/stat : 25100 (java) S 25075 25075 23910 0 -1 1077944384 16411 0 0 0 73 6 0 0 20 0 24 0 420545934 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299641208736 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25101] ppid=25075 vsize=8414124 memory=7223886388064904295 CPUtime=0 cores=0-7
/proc/25099/task/25101/stat : 25101 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299673611024 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25102] ppid=25075 vsize=8414124 memory=7235425758251930722 CPUtime=0 cores=0-7
/proc/25099/task/25102/stat : 25102 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299473779600 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25103] ppid=25075 vsize=8414124 memory=7307997781880301933 CPUtime=0 cores=0-7
/proc/25099/task/25103/stat : 25103 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299472727056 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25104] ppid=25075 vsize=8414124 memory=-7522837583045875833 CPUtime=0 cores=0-7
/proc/25099/task/25104/stat : 25104 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299471674512 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25105] ppid=25075 vsize=8414124 memory=-8990767739041717920 CPUtime=0 cores=0-7
/proc/25099/task/25105/stat : 25105 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299470620944 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25106] ppid=25075 vsize=8414124 memory=6933690305039933585 CPUtime=0 cores=0-7
/proc/25099/task/25106/stat : 25106 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299150027152 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25107] ppid=25075 vsize=8414124 memory=6944656592455350634 CPUtime=0 cores=0-7
/proc/25099/task/25107/stat : 25107 (java) S 25075 25075 23910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299148974608 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25108] ppid=25075 vsize=8414124 memory=-3621219715169225006 CPUtime=0 cores=0-7
/proc/25099/task/25108/stat : 25108 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420545935 8616062976 30498 33554432000 4194304 4196468 140727699103808 140299147922064 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25109] ppid=25075 vsize=8414124 memory=-7531822216213012384 CPUtime=0 cores=0-7
/proc/25099/task/25109/stat : 25109 (java) S 25075 25075 23910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420545936 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298897082864 140299669379714 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25110] ppid=25075 vsize=8414124 memory=-7449383003082255509 CPUtime=0 cores=0-7
/proc/25099/task/25110/stat : 25110 (java) S 25075 25075 23910 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420545937 8616062976 30498 33554432000 4194304 4196468 140727699103808 140297992398240 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25111] ppid=25075 vsize=8414124 memory=121992 CPUtime=0 cores=0-7
/proc/25099/task/25111/stat : 25111 (java) S 25075 25075 23910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420545937 8616062976 30498 33554432000 4194304 4196468 140727699103808 140297858176496 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25112] ppid=25075 vsize=8414124 memory=215804926805059 CPUtime=0 cores=0-7
/proc/25099/task/25112/stat : 25112 (java) S 25075 25075 23910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140297483672272 140299669387163 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25113] ppid=25075 vsize=8414124 memory=2200 CPUtime=0.1 cores=0-7
/proc/25099/task/25113/stat : 25113 (java) S 25075 25075 23910 0 -1 1077944384 628 0 0 0 10 0 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298896029680 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25114] ppid=25075 vsize=8414124 memory=279465068553744 CPUtime=0.11 cores=0-7
/proc/25099/task/25114/stat : 25114 (java) S 25075 25075 23910 0 -1 1077944384 707 0 0 0 11 0 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298894977136 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25115] ppid=25075 vsize=8414124 memory=139732534276832 CPUtime=0.11 cores=0-7
/proc/25099/task/25115/stat : 25115 (java) S 25075 25075 23910 0 -1 1077944384 286 0 0 0 11 0 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298893924592 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25116] ppid=25075 vsize=8414124 memory=-7385037615359298921 CPUtime=0.22 cores=0-7
/proc/25099/task/25116/stat : 25116 (java) S 25075 25075 23910 0 -1 1077944384 551 0 0 0 22 0 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298892872048 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25117] ppid=25075 vsize=8414124 memory=8257237230052613020 CPUtime=0 cores=0-7
/proc/25099/task/25117/stat : 25117 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140296985766624 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25118] ppid=25075 vsize=8414124 memory=-7522837415797432224 CPUtime=0.02 cores=0-7
/proc/25099/task/25118/stat : 25118 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 420545940 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298891819952 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25120] ppid=25075 vsize=8414124 memory=-7531822216215565666 CPUtime=0 cores=0-7
/proc/25099/task/25120/stat : 25120 (java) S 25075 25075 23910 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420546011 8616062976 30498 33554432000 4194304 4196468 140727699103808 140298883786432 140299669393177 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25122] ppid=25075 vsize=8414124 memory=8028058184669746277 CPUtime=0 cores=0-7
/proc/25099/task/25122/stat : 25122 (java) S 25075 25075 23910 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420546011 8616062976 30498 33554432000 4194304 4196468 140727699103808 140296314666256 140299669390493 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25123] ppid=25075 vsize=8414124 memory=6010431322347692137 CPUtime=0 cores=0-7
/proc/25099/task/25123/stat : 25123 (java) S 25075 25075 23910 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420546011 8616062976 30498 33554432000 4194304 4196468 140727699103808 140296583101840 140299669390493 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25124] ppid=25075 vsize=8414124 memory=6945211862988383575 CPUtime=0 cores=0-7
/proc/25099/task/25124/stat : 25124 (java) S 25075 25075 23910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420546013 8616062976 30498 33554432000 4194304 4196468 140727699103808 140296046238896 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
Current children cumulated CPU time: 211.57 s
Current children cumulated vsize: 9325796 KiB
Current children cumulated memory: 519880 KiB

[startup+37.401 s]
/proc/loadavg: 6.48 7.00 7.64 2/217 25134
/proc/meminfo: memFree=30554160/32770624 swapFree=66923196/67108860
[pid=25075] ppid=25072 vsize=113128 memory=1472 CPUtime=20.27 cores=0-7
/proc/25075/stat : 25075 (scop.sh) S 25072 25075 23910 0 -1 4202496 582 35911 0 0 0 0 1948 79 20 0 1 0 420544858 115843072 368 33554432000 4194304 5098028 140732544810000 140732544806744 139841544393340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13082624 140732544811813 140732544812140 140732544812140 140732544815053 0
/proc/25075/statm: 28282 368 311 221 0 87 0
[pid=25099] ppid=25075 vsize=8283048 memory=139300 CPUtime=191.77 cores=0-7
/proc/25099/stat : 25099 (java) S 25075 25075 23910 0 -1 1077944320 21714 248233 0 0 172 10 18939 56 20 0 22 0 420545933 8481841152 34825 33554432000 4194304 4196468 140727699103808 140727699086352 140299669368567 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
/proc/25099/statm: 2070762 34825 3231 1 0 2032106 0
[pid=25099/tid=25100] ppid=25075 vsize=8283048 memory=4639622827774857296 CPUtime=190.84 cores=0-7
/proc/25099/task/25100/stat : 25100 (java) R 25075 25075 23910 0 -1 4202560 16669 248233 0 0 83 6 18939 56 20 0 22 0 420545934 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299641208144 140299151168062 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25101] ppid=25075 vsize=8283048 memory=8100678750085339238 CPUtime=189.95 cores=0-7
/proc/25099/task/25101/stat : 25101 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299673611024 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25102] ppid=25075 vsize=8283048 memory=8172742911110245487 CPUtime=189.95 cores=0-7
/proc/25099/task/25102/stat : 25102 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299473779600 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25103] ppid=25075 vsize=8283048 memory=8172742911110245487 CPUtime=189.95 cores=0-7
/proc/25099/task/25103/stat : 25103 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299472727056 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25104] ppid=25075 vsize=8283048 memory=8172742911110245487 CPUtime=189.95 cores=0-7
/proc/25099/task/25104/stat : 25104 (java) S 25075 25075 23910 0 -1 1077944384 1 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299471674512 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25105] ppid=25075 vsize=8283048 memory=8172742911110245487 CPUtime=189.95 cores=0-7
/proc/25099/task/25105/stat : 25105 (java) S 25075 25075 23910 0 -1 1077944384 1 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299470620944 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25106] ppid=25075 vsize=8283048 memory=6010431322347692137 CPUtime=189.95 cores=0-7
/proc/25099/task/25106/stat : 25106 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299150027152 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25107] ppid=25075 vsize=8283048 memory=6010431322347692137 CPUtime=189.95 cores=0-7
/proc/25099/task/25107/stat : 25107 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299148974608 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25108] ppid=25075 vsize=8283048 memory=7307182107312352106 CPUtime=189.95 cores=0-7
/proc/25099/task/25108/stat : 25108 (java) S 25075 25075 23910 0 -1 1077944384 3 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8481841152 34825 33554432000 4194304 4196468 140727699103808 140299147922064 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25109] ppid=25075 vsize=8283048 memory=7522533460051194219 CPUtime=189.95 cores=0-7
/proc/25099/task/25109/stat : 25109 (java) S 25075 25075 23910 0 -1 1077944384 5 248233 0 0 0 0 18939 56 20 0 22 0 420545936 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298897082864 140299669379714 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25110] ppid=25075 vsize=8283048 memory=7307182107312352106 CPUtime=189.95 cores=0-7
/proc/25099/task/25110/stat : 25110 (java) S 25075 25075 23910 0 -1 1077944384 13 248233 0 0 0 0 18939 56 20 0 22 0 420545937 8481841152 34825 33554432000 4194304 4196468 140727699103808 140297992398240 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25111] ppid=25075 vsize=8283048 memory=6010431322347692137 CPUtime=189.95 cores=0-7
/proc/25099/task/25111/stat : 25111 (java) S 25075 25075 23910 0 -1 1077944384 21 248233 0 0 0 0 18939 56 20 0 22 0 420545937 8481841152 34825 33554432000 4194304 4196468 140727699103808 140297858176496 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25112] ppid=25075 vsize=8283048 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25112/stat : 25112 (java) S 25075 25075 23910 0 -1 1077944384 1 248233 0 0 0 0 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140297483672272 140299669387163 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25113] ppid=25075 vsize=8283048 memory=0 CPUtime=190.1 cores=0-7
/proc/25099/task/25113/stat : 25113 (java) R 25075 25075 23910 0 -1 1077944384 673 248233 0 0 15 0 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298896029680 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25114] ppid=25075 vsize=8283048 memory=0 CPUtime=190.1 cores=0-7
/proc/25099/task/25114/stat : 25114 (java) R 25075 25075 23910 0 -1 4202560 734 248233 0 0 15 0 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298894969088 140299669380502 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25115] ppid=25075 vsize=8283048 memory=0 CPUtime=190.12 cores=0-7
/proc/25099/task/25115/stat : 25115 (java) R 25075 25075 23910 0 -1 1077944384 483 248233 0 0 17 0 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298893917616 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25116] ppid=25075 vsize=8283048 memory=0 CPUtime=190.27 cores=0-7
/proc/25099/task/25116/stat : 25116 (java) R 25075 25075 23910 0 -1 4202560 1184 248233 0 0 32 0 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298892870448 140299669389914 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25117] ppid=25075 vsize=8283048 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25117/stat : 25117 (java) S 25075 25075 23910 0 -1 1077944384 3 248233 0 0 0 0 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140296985766624 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25118] ppid=25075 vsize=8283048 memory=0 CPUtime=189.97 cores=0-7
/proc/25099/task/25118/stat : 25118 (java) S 25075 25075 23910 0 -1 1077944384 3 248233 0 0 1 1 18939 56 20 0 22 0 420545940 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298891819952 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25120] ppid=25075 vsize=8283048 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25120/stat : 25120 (java) S 25075 25075 23910 0 -1 1077944384 24 248233 0 0 0 0 18939 56 20 0 22 0 420546011 8481841152 34825 33554432000 4194304 4196468 140727699103808 140298883785616 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25124] ppid=25075 vsize=8283048 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25124/stat : 25124 (java) S 25075 25075 23910 0 -1 1077944384 10 248233 0 0 0 0 18939 56 20 0 22 0 420546013 8481841152 34825 33554432000 4194304 4196468 140727699103808 140296046240688 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
Current children cumulated CPU time: 212.04 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 140772 KiB

[startup+37.5011 s]
/proc/loadavg: 6.48 7.00 7.64 2/217 25134
/proc/meminfo: memFree=30554160/32770624 swapFree=66923196/67108860
[pid=25075] ppid=25072 vsize=113128 memory=1472 CPUtime=20.27 cores=0-7
/proc/25075/stat : 25075 (scop.sh) S 25072 25075 23910 0 -1 4202496 582 35911 0 0 0 0 1948 79 20 0 1 0 420544858 115843072 368 33554432000 4194304 5098028 140732544810000 140732544806744 139841544393340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13082624 140732544811813 140732544812140 140732544812140 140732544815053 0
/proc/25075/statm: 28282 368 311 221 0 87 0
[pid=25099] ppid=25075 vsize=8284072 memory=150464 CPUtime=192.12 cores=0-7
/proc/25099/stat : 25099 (java) S 25075 25075 23910 0 -1 1077944320 23826 248233 0 0 206 11 18939 56 20 0 22 0 420545933 8482889728 37616 33554432000 4194304 4196468 140727699103808 140727699086352 140299669368567 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
/proc/25099/statm: 2071018 37616 3234 1 0 2032362 0
[pid=25099/tid=25100] ppid=25075 vsize=8284072 memory=133212 CPUtime=190.94 cores=0-7
/proc/25099/task/25100/stat : 25100 (java) R 25075 25075 23910 0 -1 4202560 17599 248233 0 0 92 7 18939 56 20 0 22 0 420545934 8482889728 37616 33554432000 4194304 4196468 140727699103808 140299641195168 140299662048285 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25101] ppid=25075 vsize=8284072 memory=1472 CPUtime=189.95 cores=0-7
/proc/25099/task/25101/stat : 25101 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37616 33554432000 4194304 4196468 140727699103808 140299673611024 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25102] ppid=25075 vsize=8284072 memory=121992 CPUtime=189.95 cores=0-7
/proc/25099/task/25102/stat : 25102 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37682 33554432000 4194304 4196468 140727699103808 140299473779600 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25103] ppid=25075 vsize=8284072 memory=1804 CPUtime=189.95 cores=0-7
/proc/25099/task/25103/stat : 25103 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37682 33554432000 4194304 4196468 140727699103808 140299472727056 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25104] ppid=25075 vsize=8284072 memory=920 CPUtime=189.95 cores=0-7
/proc/25099/task/25104/stat : 25104 (java) S 25075 25075 23910 0 -1 1077944384 1 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37682 33554432000 4194304 4196468 140727699103808 140299471674512 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25105] ppid=25075 vsize=8284072 memory=7686721470385067416 CPUtime=189.95 cores=0-7
/proc/25099/task/25105/stat : 25105 (java) S 25075 25075 23910 0 -1 1077944384 1 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37682 33554432000 4194304 4196468 140727699103808 140299470620944 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25106] ppid=25075 vsize=8284072 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25106/stat : 25106 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37748 33554432000 4194304 4196468 140727699103808 140299150027152 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25107] ppid=25075 vsize=8284072 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25107/stat : 25107 (java) S 25075 25075 23910 0 -1 1077944384 2 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37748 33554432000 4194304 4196468 140727699103808 140299148974608 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25108] ppid=25075 vsize=8284072 memory=259136 CPUtime=189.95 cores=0-7
/proc/25099/task/25108/stat : 25108 (java) S 25075 25075 23910 0 -1 1077944384 3 248233 0 0 0 0 18939 56 20 0 22 0 420545935 8482889728 37748 33554432000 4194304 4196468 140727699103808 140299147922064 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25109] ppid=25075 vsize=8284072 memory=1472 CPUtime=189.95 cores=0-7
/proc/25099/task/25109/stat : 25109 (java) S 25075 25075 23910 0 -1 1077944384 5 248233 0 0 0 0 18939 56 20 0 22 0 420545936 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298897082864 140299669379714 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25110] ppid=25075 vsize=8284072 memory=121992 CPUtime=189.95 cores=0-7
/proc/25099/task/25110/stat : 25110 (java) S 25075 25075 23910 0 -1 1077944384 13 248233 0 0 0 0 18939 56 20 0 22 0 420545937 8482889728 37748 33554432000 4194304 4196468 140727699103808 140297992398240 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25111] ppid=25075 vsize=8284072 memory=0 CPUtime=189.95 cores=0-7
/proc/25099/task/25111/stat : 25111 (java) S 25075 25075 23910 0 -1 1077944384 21 248233 0 0 0 0 18939 56 20 0 22 0 420545937 8482889728 37748 33554432000 4194304 4196468 140727699103808 140297858176496 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25112] ppid=25075 vsize=8284072 memory=1274 CPUtime=189.95 cores=0-7
/proc/25099/task/25112/stat : 25112 (java) S 25075 25075 23910 0 -1 1077944384 1 248233 0 0 0 0 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140297483672272 140299669387163 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25113] ppid=25075 vsize=8284072 memory=636 CPUtime=190.15 cores=0-7
/proc/25099/task/25113/stat : 25113 (java) R 25075 25075 23910 0 -1 4202560 1170 248233 0 0 20 0 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298896010696 140299650070231 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25114] ppid=25075 vsize=8284072 memory=0 CPUtime=190.17 cores=0-7
/proc/25099/task/25114/stat : 25114 (java) S 25075 25075 23910 0 -1 1077944384 948 248233 0 0 22 0 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298894977136 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25115] ppid=25075 vsize=8284072 memory=0 CPUtime=190.19 cores=0-7
/proc/25099/task/25115/stat : 25115 (java) R 25075 25075 23910 0 -1 12591168 728 248233 0 0 24 0 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298893900576 140299650778158 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25116] ppid=25075 vsize=8284072 memory=0 CPUtime=190.32 cores=0-7
/proc/25099/task/25116/stat : 25116 (java) S 25075 25075 23910 0 -1 1077944384 1443 248233 0 0 37 0 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298892872048 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25117] ppid=25075 vsize=8284072 memory=121992 CPUtime=189.95 cores=0-7
/proc/25099/task/25117/stat : 25117 (java) S 25075 25075 23910 0 -1 1077944384 3 248233 0 0 0 0 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140296985766624 140299669378773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25118] ppid=25075 vsize=8284072 memory=1472 CPUtime=189.97 cores=0-7
/proc/25099/task/25118/stat : 25118 (java) S 25075 25075 23910 0 -1 1077944384 3 248233 0 0 1 1 18939 56 20 0 22 0 420545940 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298891819952 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25120] ppid=25075 vsize=8284072 memory=121992 CPUtime=189.95 cores=0-7
/proc/25099/task/25120/stat : 25120 (java) S 25075 25075 23910 0 -1 1077944384 24 248233 0 0 0 0 18939 56 20 0 22 0 420546011 8482889728 37748 33554432000 4194304 4196468 140727699103808 140298883785616 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
[pid=25099/tid=25124] ppid=25075 vsize=8284072 memory=397300 CPUtime=189.95 cores=0-7
/proc/25099/task/25124/stat : 25124 (java) S 25075 25075 23910 0 -1 1077944384 10 248233 0 0 0 0 18939 56 20 0 22 0 420546013 8482889728 37748 33554432000 4194304 4196468 140727699103808 140296046240688 140299669379714 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32358400 140727699112951 140727699113110 140727699113110 140727699115983 0
Current children cumulated CPU time: 212.39 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 151936 KiB

Child status: 0
Real time (s): 37.5475
CPU time (s): 212.491
CPU user time (s): 211.004
CPU system time (s): 1.48753
CPU usage (%): 565.926
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4384324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.004
system time used= 1.48753
maximum resident set size= 4385736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13672
involuntary context switches= 1926


# summary of solver processes directly reported to runsolver:
#   pid: 25075
#   total CPU time (s): 212.491
#   total CPU user time (s): 211.004
#   total CPU system time (s): 1.48753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.376686 second user time and 0.48905 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-14 07:32:52
IDJOB=4392464
IDBENCH=138957
IDSOLVER=2838
FILE ID=node107/4392464-1568442889
RUNJOBID= node107-1568435316-23937
PBS_JOBID= 21702328
Free space on /tmp= 59040 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-19.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-4392464-1568442889/watcher-4392464-1568442889 -o /tmp/evaluation-result-4392464-1568442889/solver-4392464-1568442889 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568435316-23937 --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-4392464-1568442889.xml

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

MD5SUM BENCH= 3875648f967e99deb98809a056dae84c
RANDOM SEED=1612910246

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31064028 kB
MemAvailable:   31830068 kB
Buffers:          179164 kB
Cached:           859796 kB
SwapCached:        78928 kB
Active:           567080 kB
Inactive:         552704 kB
Active(anon):      11308 kB
Inactive(anon):   101240 kB
Active(file):     555772 kB
Inactive(file):   451464 kB
Unevictable:      109964 kB
Mlocked:          109964 kB
SwapTotal:      67108860 kB
SwapFree:       66923196 kB
Dirty:             20328 kB
Writeback:             0 kB
AnonPages:        180452 kB
Mapped:            35448 kB
Shmem:             22904 kB
Slab:             178660 kB
SReclaimable:     149276 kB
SUnreclaim:        29384 kB
KernelStack:        3776 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     490192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59020 MiB
End job on node107 at 2019-09-14 07:33:30