Trace number 4405334

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 236.259 39.0964

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-19.xml
MD5SUM2072ed2e4af5bca545229f959ebdc074
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 benchmark6.57156
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":375},{"degree":2,"count":525}]
Minimum constraint arity525
Maximum constraint arity900
Distribution of constraint arities[{"arity":525,"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-30105-serial-file.bin HOME/instance-4405334-1569359174.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 23:05:34 CEST 2019
0.66/0.56	c PID: 30108
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.67/1.06	c (0,0) Parsing End
1.67/1.07	c (0,0) CSP: 871 int (0 aux), 29 bool (0 aux), 2 ctr, max domain size 30
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) Constraint Name Generate Begin
1.67/1.07	c (0,0) Ctr:HOME/instance-4405334-1569359174.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.07	c (0,0) Constraint Name Generate End
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) CSP to CSPinCNF Begin
1.92/1.11	c (0,0) translated 1 (10%) constraints
5.47/2.79	c (2,2) translated 2 (20%) constraints
5.65/2.82	c (2,2) ===========================================
6.53/3.08	c (2,2) Order
6.53/3.08	c (2,2) ===========================================
7.61/3.35	c (2,2) translated 2855 (10%) constraints
8.57/3.68	c (3,3) translated 5709 (20%) constraints
9.04/4.00	c (3,3) translated 8564 (30%) constraints
9.45/4.30	c (3,3) translated 11418 (40%) constraints
9.76/4.63	c (4,4) translated 14273 (50%) constraints
10.11/4.90	c (4,4) translated 17127 (60%) constraints
10.33/5.17	c (4,4) translated 19982 (70%) constraints
10.64/5.43	c (4,4) translated 22836 (80%) constraints
11.00/5.73	c (5,5) translated 25691 (90%) constraints
11.20/5.96	c (5,5) translated 28545 (100%) constraints
11.20/5.97	c (5,5) CSP to CSPinCNF End
11.20/5.97	c (5,5) CSP: 871 int (0 aux), 27029 bool (27000 aux), 137070 ctr, max domain size 30
11.20/5.97	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.20/5.97	c (5,5) CSPinCNF Propagation Begin
14.75/8.19	c (7,7) 20723 values, 88250 unsatisfiable literals, and 91890 valid clauses are removed
14.75/8.19	c (7,7) CSPinCNF Propagation End
14.75/8.19	c (7,7) CSP: 870 int (0 aux), 27030 bool (27000 aux), 45180 ctr, max domain size 30
14.75/8.19	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.92/8.20	c (7,7) Simplify CSPinCNF Begin
15.91/8.70	c (8,8) Simplify CSPinCNF End
15.91/8.71	c (8,8) CSP: 870 int (0 aux), 52834 bool (52804 aux), 70984 ctr, max domain size 30
15.91/8.71	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.91/8.71	c (8,8) Calculate Precise Domain Begin
15.91/8.71	c (8,8) 0 values are removed by re-calculation
15.91/8.71	c (8,8) Calculate Precise Domain End
15.91/8.73	c (8,8) CSP: 870 int (0 aux), 52834 bool (52804 aux), 70984 ctr, max domain size 30
15.91/8.73	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.91/8.73	c (8,8) CSPinCNF to SatSolver Begin
17.73/9.27	c (8,8) 7099 (10 %) CSP clauses are encoded (0 SAT variables, 28836 SAT clauses)
18.22/9.42	c (8,8) 14197 (20 %) CSP clauses are encoded (0 SAT variables, 50810 SAT clauses)
18.34/9.57	c (9,9) 21296 (30 %) CSP clauses are encoded (0 SAT variables, 72285 SAT clauses)
18.59/9.71	c (9,9) 28394 (40 %) CSP clauses are encoded (0 SAT variables, 93411 SAT clauses)
18.69/9.85	c (9,9) 35492 (50 %) CSP clauses are encoded (0 SAT variables, 115169 SAT clauses)
18.79/9.99	c (9,9) 42591 (60 %) CSP clauses are encoded (0 SAT variables, 137230 SAT clauses)
19.10/10.12	c (9,9) 49689 (70 %) CSP clauses are encoded (0 SAT variables, 159862 SAT clauses)
19.19/10.26	c (9,9) 56788 (80 %) CSP clauses are encoded (0 SAT variables, 180821 SAT clauses)
19.30/10.38	c (9,9) 63886 (90 %) CSP clauses are encoded (0 SAT variables, 200903 SAT clauses)
19.50/10.51	c (9,9) 70984 (100 %) CSP clauses are encoded (0 SAT variables, 221747 SAT clauses)
19.50/10.51	c (9,9) CSPinCNF to SatSolver End
19.50/10.51	c (9,9) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.50/10.51	c (9,9) 41906 bool, 221748 clause
19.50/10.51	c (9,9) Export Begin
19.69/10.64	c (10,10) Export to HOME/scop-30105-serial-file.bin
19.69/10.64	c (10,10) Export End
19.69/10.65	c (10,10) Export File Size: 0.15 MB
19.69/10.65	c (10,10) 0,0,5,7,8,8,9,STOP-AFTER(DIMACS)
19.69/10.65	c END-Prog: Tue Sep 24 23:05:44 CEST 2019
19.69/10.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30105-serial-file.bin
20.46/11.15	c (0,0) Read Serial File Begin
20.46/11.15	c (0,0) HOME/scop-30105-serial-file.bin
21.00/11.41	c (0,0) Read Serial File End
21.00/11.42	
21.00/11.42	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.00/11.42	(Solving Process)
21.00/11.42	
21.00/11.44	c BEGIN-Prog: Tue Sep 24 23:05:45 CEST 2019
21.00/11.44	c PID: 30128
21.00/11.44	c IP: 172.20.3.124
21.00/11.44	c HOST: node124.alineos.net
21.00/11.45	c (0,0) SatSolver.solve Begin
21.00/11.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405334-1569359174.xml-scop-30108.cnf
21.00/11.47	c (0,0) c
21.00/11.47	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.00/11.47	c (0,0) c
21.00/11.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.00/11.47	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.00/11.47	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.00/11.47	c (0,0) c |                                                                                                       |
21.26/11.55	c (0,0) c |  Number of variables:         41906                                                                   |
21.26/11.55	c (0,0) c |  Number of clauses:          221748                                                                   |
21.26/11.55	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.26/11.55	c (0,0) c |                                                                                                       |
21.28/11.77	c (0,0) c |  Simplification time:          0.21 s                                                                 |
21.28/11.77	c (0,0) c |                                                                                                       |
21.28/11.77	c (0,0) c |  Generating clones                                                                                    |
21.28/11.90	c (0,0) c |  all clones generated. Memory =   206.98Mb.                                                           |
21.28/11.90	c (0,0) c ========================================================================================================|
21.28/11.90	c (0,0) c
21.28/11.90	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.28/11.90	c (0,0) c
21.28/11.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.28/11.90	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.28/11.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.28/11.90	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.28/11.90	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.28/11.90	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.28/11.90	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.28/11.90	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.28/11.90	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.28/11.90	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.28/11.90	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.28/11.90	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.28/11.90	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.28/11.90	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.28/11.90	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.28/11.90	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.28/11.90	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.28/11.90	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.28/11.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.77	c (27,0) c
234.94/38.77	c (27,0) c real time : 27.3064 s
234.94/38.77	c (27,0) c cpu time  : 213.472 s
234.94/38.77	c (27,0) c
234.94/38.77	c (27,0) c
234.94/38.77	c (27,0) c
234.94/38.77	c (27,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
234.94/38.77	c (27,0) c
234.94/38.77	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.77	c (27,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
234.94/38.77	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.77	c (27,0) c | Conflicts     |          252164 |      29659 |      29629 |      32369 |      32655 |      31610 |      31724 |      31993 |      32525 |
234.94/38.77	c (27,0) c | Decisions     |         2362961 |     287868 |     285074 |     300529 |     297244 |     294325 |     292796 |     307194 |     297931 |
234.94/38.77	c (27,0) c | Propagations  |       314207522 |   37213313 |   36923900 |   40265676 |   40418677 |   39562921 |   39575633 |   39940399 |   40307003 |
234.94/38.77	c (27,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
234.94/38.77	c (27,0) c | SimpDBs       |             435 |         53 |         52 |         56 |         53 |         56 |         55 |         55 |         55 |
234.94/38.77	c (27,0) c | Restarts      |            3846 |        451 |        445 |        502 |        493 |        478 |        488 |        499 |        490 |
234.94/38.77	c (27,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
234.94/38.77	c (27,0) c | PropBinClauses|       802929037 |   93689404 |   93276192 |  103792772 |  104135821 |  101066904 |  100819431 |  102564794 |  103583719 |
234.94/38.77	c (27,0) c | PropPreBlocker|      3691109387 |  429110776 |  427787584 |  477872845 |  481692276 |  464849611 |  462672328 |  470333715 |  476790252 |
234.94/38.77	c (27,0) c | PropNotBlocker|       959527360 |  112253996 |  111975839 |  123689777 |  124967909 |  120891611 |  120929060 |  121950673 |  122868495 |
234.94/38.77	c (27,0) c | LitFullScans  |      6426280144 |  747517752 |  744173725 |  832237849 |  837309180 |  810112682 |  807084930 |  818334299 |  829509727 |
234.94/38.77	c (27,0) c | LitScanFracts |         1169344 |     285791 |     172077 |      47437 |     179255 |     108548 |      79991 |      48181 |     248064 |
234.94/38.77	c (27,0) c | DecisionLevel0|           14767 |       1822 |       1793 |       1875 |       1876 |       1813 |       1839 |       1929 |       1820 |
234.94/38.77	c (27,0) c | Periods       |            1068 |        124 |        124 |        138 |        139 |        135 |        134 |        136 |        138 |
234.94/38.77	c (27,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
234.94/38.78	c (27,0) c | Avg_Trail     |                 |       8665 |       8710 |       8825 |       8856 |       8784 |       8679 |       8786 |       8853 |
234.94/38.78	c (27,0) c | Avg_DL        |                 |         89 |         90 |         92 |         92 |         89 |         87 |         92 |         92 |
234.94/38.78	c (27,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
234.94/38.78	c (27,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
234.94/38.78	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.78	c (27,0) c | Exported      |           50370 |       6062 |       5971 |       6324 |       6427 |       6423 |       6378 |       6341 |       6444 |
234.94/38.78	c (27,0) c | Imported      |          319144 |      37864 |      37689 |      41061 |      41221 |      39995 |      40042 |      40537 |      40735 |
234.94/38.78	c (27,0) c | Good          |           61581 |       7534 |       7608 |       7755 |       7857 |       7677 |       7698 |       7687 |       7765 |
234.94/38.78	c (27,0) c | Purge         |          257563 |      30330 |      30081 |      33306 |      33364 |      32318 |      32344 |      32850 |      32970 |
234.94/38.78	c (27,0) c | Promoted      |           20127 |       2337 |       2267 |       2588 |       2793 |       2482 |       2518 |       2551 |       2591 |
234.94/38.78	c (27,0) c | Remove_Imp    |          142814 |      17794 |      17817 |      18168 |      17833 |      17677 |      17737 |      17990 |      17798 |
234.94/38.78	c (27,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
234.94/38.78	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.78	c (27,0) c | Unaries       |                 |       1371 |       1348 |       1373 |       1383 |       1335 |       1351 |       1430 |       1330 |
234.94/38.78	c (27,0) c | Binaries      |                 |       1165 |       1086 |       1136 |       1056 |       1162 |       1152 |       1184 |       1121 |
234.94/38.78	c (27,0) c | Glues         |                 |       1983 |       1902 |       1983 |       1900 |       2077 |       1988 |       2035 |       1928 |
234.94/38.78	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.78	c (27,0) c | Orig_Seen     |            35 % |      58157 |      57806 |      59356 |      60114 |      59071 |      59107 |      59386 |      59557 |
234.94/38.78	c (27,0) c | Diff Orig seen|                 |      X     | -      351 |       1199 |       1957 |        914 |        950 |       1229 |       1400 |
234.94/38.78	c (27,0) c | Hamming       |            13 % |      X     |       5463 |       5358 |       5524 |       5364 |       5611 |       5737 |       5238 |
234.94/38.78	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.78	c (27,0) c | RunningTime   |                 |   26.8 100%|   26.8 100%|   26.8 100%|   26.8 100%|   26.8 100%|   26.8 100%|   26.8 100%|   26.8 100%|
234.94/38.78	c (27,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%|
234.94/38.78	c (27,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%|
234.94/38.78	c (27,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%|
234.94/38.78	c (27,0) c | SolvingTime   |                 |   26.8     |   26.9     |   26.8     |   26.9     |   26.8     |   26.8     |   26.8     |   26.8     |
234.94/38.78	c (27,0) c | PropagationTim|                 |   23.6  88%|   23.6  88%|   23.4  87%|   23.4  87%|   23.3  87%|   23.4  87%|   23.4  87%|   23.4  87%|
234.94/38.78	c (27,0) c | AnalysisTime  |                 |    1.7   6%|    1.7   6%|    1.9   7%|    1.9   7%|    1.9   7%|    1.9   7%|    1.9   7%|    1.9   7%|
234.94/38.78	c (27,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%|
234.94/38.78	c (27,0) c | SimplifyTime  |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.4   1%|    0.3   1%|    0.3   1%|    0.3   1%|
234.94/38.78	c (27,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%|
234.94/38.78	c (27,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%|
234.94/38.78	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.78	c (27,0) c
234.94/38.78	c (27,0) c
234.94/38.78	c (27,0) c Threads : 8
234.94/38.78	c (27,0) c Winner : 0
234.94/38.78	c (27,0) c Conflicts_0 : 29659
234.94/38.78	c (27,0) c Conflicts_1 : 29629
234.94/38.78	c (27,0) c Conflicts_2 : 32369
234.94/38.78	c (27,0) c Conflicts_3 : 32655
234.94/38.78	c (27,0) c Conflicts_4 : 31610
234.94/38.78	c (27,0) c Conflicts_5 : 31724
234.94/38.78	c (27,0) c Conflicts_6 : 31993
234.94/38.78	c (27,0) c Conflicts_7 : 32525
234.94/38.78	c (27,0) c Conflicts_total : 252164
234.94/38.78	c (27,0) c Conflicts_winner : 29659
234.94/38.78	c (27,0) c Decisions_0 : 287868
234.94/38.78	c (27,0) c Decisions_1 : 285074
234.94/38.78	c (27,0) c Decisions_2 : 300529
234.94/38.78	c (27,0) c Decisions_3 : 297244
234.94/38.78	c (27,0) c Decisions_4 : 294325
234.94/38.78	c (27,0) c Decisions_5 : 292796
234.94/38.78	c (27,0) c Decisions_6 : 307194
234.94/38.78	c (27,0) c Decisions_7 : 297931
234.94/38.78	c (27,0) c Decisions_total : 2362961
234.94/38.78	c (27,0) c Decisions_winner : 287868
234.94/38.78	c (27,0) c Propagations_0 : 37213313
234.94/38.78	c (27,0) c Propagations_1 : 36923900
234.94/38.78	c (27,0) c Propagations_2 : 40265676
234.94/38.78	c (27,0) c Propagations_3 : 40418677
234.94/38.78	c (27,0) c Propagations_4 : 39562921
234.94/38.78	c (27,0) c Propagations_5 : 39575633
234.94/38.78	c (27,0) c Propagations_6 : 39940399
234.94/38.78	c (27,0) c Propagations_7 : 40307003
234.94/38.78	c (27,0) c Propagations_total : 314207522
234.94/38.78	c (27,0) c Propagations_winner : 37213313
234.94/38.78	c (27,0) c ReduceDBs_0 : 4
234.94/38.78	c (27,0) c ReduceDBs_1 : 4
234.94/38.78	c (27,0) c ReduceDBs_2 : 4
234.94/38.78	c (27,0) c ReduceDBs_3 : 4
234.94/38.78	c (27,0) c ReduceDBs_4 : 4
234.94/38.78	c (27,0) c ReduceDBs_5 : 4
234.94/38.78	c (27,0) c ReduceDBs_6 : 4
234.94/38.78	c (27,0) c ReduceDBs_7 : 4
234.94/38.78	c (27,0) c ReduceDBs_total : 32
234.94/38.78	c (27,0) c ReduceDBs_winner : 4
234.94/38.78	c (27,0) c SimpDBs_0 : 53
234.94/38.78	c (27,0) c SimpDBs_1 : 52
234.94/38.78	c (27,0) c SimpDBs_2 : 56
234.94/38.78	c (27,0) c SimpDBs_3 : 53
234.94/38.78	c (27,0) c SimpDBs_4 : 56
234.94/38.78	c (27,0) c SimpDBs_5 : 55
234.94/38.78	c (27,0) c SimpDBs_6 : 55
234.94/38.78	c (27,0) c SimpDBs_7 : 55
234.94/38.78	c (27,0) c SimpDBs_total : 435
234.94/38.78	c (27,0) c SimpDBs_winner : 53
234.94/38.78	c (27,0) c Restarts_0 : 451
234.94/38.78	c (27,0) c Restarts_1 : 445
234.94/38.78	c (27,0) c Restarts_2 : 502
234.94/38.78	c (27,0) c Restarts_3 : 493
234.94/38.78	c (27,0) c Restarts_4 : 478
234.94/38.78	c (27,0) c Restarts_5 : 488
234.94/38.78	c (27,0) c Restarts_6 : 499
234.94/38.78	c (27,0) c Restarts_7 : 490
234.94/38.78	c (27,0) c Restarts_total : 3846
234.94/38.78	c (27,0) c Restarts_winner : 451
234.94/38.78	c (27,0) c ForcedImports_0 : 0
234.94/38.78	c (27,0) c ForcedImports_1 : 0
234.94/38.78	c (27,0) c ForcedImports_2 : 0
234.94/38.78	c (27,0) c ForcedImports_3 : 0
234.94/38.78	c (27,0) c ForcedImports_4 : 0
234.94/38.78	c (27,0) c ForcedImports_5 : 0
234.94/38.78	c (27,0) c ForcedImports_6 : 0
234.94/38.78	c (27,0) c ForcedImports_7 : 0
234.94/38.78	c (27,0) c ForcedImports_total : 0
234.94/38.78	c (27,0) c ForcedImports_winner : 0
234.94/38.78	c (27,0) c PropsBinClauses_0 : 93689404
234.94/38.78	c (27,0) c PropsBinClauses_1 : 93276192
234.94/38.78	c (27,0) c PropsBinClauses_2 : 103792772
234.94/38.78	c (27,0) c PropsBinClauses_3 : 104135821
234.94/38.78	c (27,0) c PropsBinClauses_4 : 101066904
234.94/38.78	c (27,0) c PropsBinClauses_5 : 100819431
234.94/38.78	c (27,0) c PropsBinClauses_6 : 102564794
234.94/38.78	c (27,0) c PropsBinClauses_7 : 103583719
234.94/38.78	c (27,0) c PropsBinClauses_total : 802929037
234.94/38.78	c (27,0) c PropsBinClauses_winner : 93689404
234.94/38.78	c (27,0) c PropsPreBlocker_0 : 429110776
234.94/38.78	c (27,0) c PropsPreBlocker_1 : 427787584
234.94/38.78	c (27,0) c PropsPreBlocker_2 : 477872845
234.94/38.78	c (27,0) c PropsPreBlocker_3 : 481692276
234.94/38.78	c (27,0) c PropsPreBlocker_4 : 464849611
234.94/38.78	c (27,0) c PropsPreBlocker_5 : 462672328
234.94/38.78	c (27,0) c PropsPreBlocker_6 : 470333715
234.94/38.78	c (27,0) c PropsPreBlocker_7 : 476790252
234.94/38.78	c (27,0) c PropsPreBlocker_total : 3691109387
234.94/38.78	c (27,0) c PropsPreBlocker_winner : 429110776
234.94/38.78	c (27,0) c PropsNotBlocker_0 : 112253996
234.94/38.78	c (27,0) c PropsNotBlocker_1 : 111975839
234.94/38.78	c (27,0) c PropsNotBlocker_2 : 123689777
234.94/38.78	c (27,0) c PropsNotBlocker_3 : 124967909
234.94/38.78	c (27,0) c PropsNotBlocker_4 : 120891611
234.94/38.78	c (27,0) c PropsNotBlocker_5 : 120929060
234.94/38.78	c (27,0) c PropsNotBlocker_6 : 121950673
234.94/38.78	c (27,0) c PropsNotBlocker_7 : 122868495
234.94/38.78	c (27,0) c PropsNotBlocker_total : 959527360
234.94/38.78	c (27,0) c PropsNotBlocker_winner : 112253996
234.94/38.78	c (27,0) c PropsLitFullScans_0 : 747517752
234.94/38.78	c (27,0) c PropsLitFullScans_1 : 744173725
234.94/38.78	c (27,0) c PropsLitFullScans_2 : 832237849
234.94/38.78	c (27,0) c PropsLitFullScans_3 : 837309180
234.94/38.78	c (27,0) c PropsLitFullScans_4 : 810112682
234.94/38.78	c (27,0) c PropsLitFullScans_5 : 807084930
234.94/38.78	c (27,0) c PropsLitFullScans_6 : 818334299
234.94/38.78	c (27,0) c PropsLitFullScans_7 : 829509727
234.94/38.78	c (27,0) c PropsLitFullScans_total : 6426280144
234.94/38.78	c (27,0) c PropsLitFullScans_winner : 747517752
234.94/38.78	c (27,0) c LitScanFractions_0 : 285791
234.94/38.78	c (27,0) c LitScanFractions_1 : 172077
234.94/38.78	c (27,0) c LitScanFractions_2 : 47437
234.94/38.78	c (27,0) c LitScanFractions_3 : 179255
234.94/38.78	c (27,0) c LitScanFractions_4 : 108548
234.94/38.78	c (27,0) c LitScanFractions_5 : 79991
234.94/38.78	c (27,0) c LitScanFractions_6 : 48181
234.94/38.78	c (27,0) c LitScanFractions_7 : 248064
234.94/38.78	c (27,0) c LitScanFractions_total : 1169344
234.94/38.78	c (27,0) c LitScanFractions_winner : 285791
234.94/38.78	c (27,0) c DecisionLevel0_0 : 1822
234.94/38.78	c (27,0) c DecisionLevel0_1 : 1793
234.94/38.78	c (27,0) c DecisionLevel0_2 : 1875
234.94/38.78	c (27,0) c DecisionLevel0_3 : 1876
234.94/38.78	c (27,0) c DecisionLevel0_4 : 1813
234.94/38.78	c (27,0) c DecisionLevel0_5 : 1839
234.94/38.78	c (27,0) c DecisionLevel0_6 : 1929
234.94/38.78	c (27,0) c DecisionLevel0_7 : 1820
234.94/38.78	c (27,0) c DecisionLevel0_total : 14767
234.94/38.78	c (27,0) c DecisionLevel0_winner : 1822
234.94/38.78	c (27,0) c Periods_0 : 124
234.94/38.78	c (27,0) c Periods_1 : 124
234.94/38.78	c (27,0) c Periods_2 : 138
234.94/38.78	c (27,0) c Periods_3 : 139
234.94/38.78	c (27,0) c Periods_4 : 135
234.94/38.78	c (27,0) c Periods_5 : 134
234.94/38.78	c (27,0) c Periods_6 : 136
234.94/38.78	c (27,0) c Periods_7 : 138
234.94/38.78	c (27,0) c Periods_total : 1068
234.94/38.78	c (27,0) c Periods_winner : 124
234.94/38.78	c (27,0) c Margin_0 : 20
234.94/38.78	c (27,0) c Margin_1 : 20
234.94/38.78	c (27,0) c Margin_2 : 20
234.94/38.78	c (27,0) c Margin_3 : 20
234.94/38.78	c (27,0) c Margin_4 : 20
234.94/38.78	c (27,0) c Margin_5 : 20
234.94/38.78	c (27,0) c Margin_6 : 20
234.94/38.78	c (27,0) c Margin_7 : 20
234.94/38.78	c (27,0) c Margin_total : 160
234.94/38.78	c (27,0) c Margin_winner : 20
234.94/38.78	c (27,0) c Exported_0 : 6062
234.94/38.78	c (27,0) c Exported_1 : 5971
234.94/38.78	c (27,0) c Exported_2 : 6324
234.94/38.78	c (27,0) c Exported_3 : 6427
234.94/38.78	c (27,0) c Exported_4 : 6423
234.94/38.78	c (27,0) c Exported_5 : 6378
234.94/38.78	c (27,0) c Exported_6 : 6341
234.94/38.78	c (27,0) c Exported_7 : 6444
234.94/38.78	c (27,0) c Exported_total : 50370
234.94/38.78	c (27,0) c Exported_winner : 6062
234.94/38.78	c (27,0) c Imported_0 : 37864
234.94/38.78	c (27,0) c Imported_1 : 37689
234.94/38.78	c (27,0) c Imported_2 : 41061
234.94/38.78	c (27,0) c Imported_3 : 41221
234.94/38.78	c (27,0) c Imported_4 : 39995
234.94/38.78	c (27,0) c Imported_5 : 40042
234.94/38.78	c (27,0) c Imported_6 : 40537
234.94/38.78	c (27,0) c Imported_7 : 40735
234.94/38.78	c (27,0) c Imported_total : 319144
234.94/38.78	c (27,0) c Imported_winner : 37864
234.94/38.78	c (27,0) c Good_0 : 7534
234.94/38.78	c (27,0) c Good_1 : 7608
234.94/38.78	c (27,0) c Good_2 : 7755
234.94/38.78	c (27,0) c Good_3 : 7857
234.94/38.78	c (27,0) c Good_4 : 7677
234.94/38.78	c (27,0) c Good_5 : 7698
234.94/38.78	c (27,0) c Good_6 : 7687
234.94/38.78	c (27,0) c Good_7 : 7765
234.94/38.78	c (27,0) c Good_total : 61581
234.94/38.78	c (27,0) c Good_winner : 7534
234.94/38.78	c (27,0) c Purge_0 : 30330
234.94/38.78	c (27,0) c Purge_1 : 30081
234.94/38.78	c (27,0) c Purge_2 : 33306
234.94/38.78	c (27,0) c Purge_3 : 33364
234.94/38.78	c (27,0) c Purge_4 : 32318
234.94/38.78	c (27,0) c Purge_5 : 32344
234.94/38.78	c (27,0) c Purge_6 : 32850
234.94/38.78	c (27,0) c Purge_7 : 32970
234.94/38.78	c (27,0) c Purge_total : 257563
234.94/38.78	c (27,0) c Purge_winner : 30330
234.94/38.78	c (27,0) c Promoted_0 : 2337
234.94/38.78	c (27,0) c Promoted_1 : 2267
234.94/38.78	c (27,0) c Promoted_2 : 2588
234.94/38.78	c (27,0) c Promoted_3 : 2793
234.94/38.78	c (27,0) c Promoted_4 : 2482
234.94/38.78	c (27,0) c Promoted_5 : 2518
234.94/38.78	c (27,0) c Promoted_6 : 2551
234.94/38.78	c (27,0) c Promoted_7 : 2591
234.94/38.78	c (27,0) c Promoted_total : 20127
234.94/38.78	c (27,0) c Promoted_winner : 2337
234.94/38.78	c (27,0) c Remove_Imp_0 : 17794
234.94/38.78	c (27,0) c Remove_Imp_1 : 17817
234.94/38.79	c (27,0) c Remove_Imp_2 : 18168
234.94/38.79	c (27,0) c Remove_Imp_3 : 17833
234.94/38.79	c (27,0) c Remove_Imp_4 : 17677
234.94/38.79	c (27,0) c Remove_Imp_5 : 17737
234.94/38.79	c (27,0) c Remove_Imp_6 : 17990
234.94/38.79	c (27,0) c Remove_Imp_7 : 17798
234.94/38.79	c (27,0) c Remove_Imp_total : 142814
234.94/38.79	c (27,0) c Remove_Imp_winner : 17794
234.94/38.79	c (27,0) c Blocked_Reuse_0 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_1 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_2 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_3 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_4 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_5 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_6 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_7 : 0
234.94/38.79	c (27,0) c Blocked_Reuse_total : 0
234.94/38.79	c (27,0) c Blocked_Reuse_winner : 0
234.94/38.79	c (27,0) c Unaries_0 : 1371
234.94/38.79	c (27,0) c Unaries_1 : 1348
234.94/38.79	c (27,0) c Unaries_2 : 1373
234.94/38.79	c (27,0) c Unaries_3 : 1383
234.94/38.79	c (27,0) c Unaries_4 : 1335
234.94/38.79	c (27,0) c Unaries_5 : 1351
234.94/38.79	c (27,0) c Unaries_6 : 1430
234.94/38.79	c (27,0) c Unaries_7 : 1330
234.94/38.79	c (27,0) c Unaries_total : 10921
234.94/38.79	c (27,0) c Unaries_winner : 1371
234.94/38.79	c (27,0) c Binaries_0 : 1165
234.94/38.79	c (27,0) c Binaries_1 : 1086
234.94/38.79	c (27,0) c Binaries_2 : 1136
234.94/38.79	c (27,0) c Binaries_3 : 1056
234.94/38.79	c (27,0) c Binaries_4 : 1162
234.94/38.79	c (27,0) c Binaries_5 : 1152
234.94/38.79	c (27,0) c Binaries_6 : 1184
234.94/38.79	c (27,0) c Binaries_7 : 1121
234.94/38.79	c (27,0) c Binaries_total : 9062
234.94/38.79	c (27,0) c Binaries_winner : 1165
234.94/38.79	c (27,0) c Glues_0 : 1983
234.94/38.79	c (27,0) c Glues_1 : 1902
234.94/38.79	c (27,0) c Glues_2 : 1983
234.94/38.79	c (27,0) c Glues_3 : 1900
234.94/38.79	c (27,0) c Glues_4 : 2077
234.94/38.79	c (27,0) c Glues_5 : 1988
234.94/38.79	c (27,0) c Glues_6 : 2035
234.94/38.79	c (27,0) c Glues_7 : 1928
234.94/38.79	c (27,0) c Glues_total : 15796
234.94/38.79	c (27,0) c Glues_winner : 1983
234.94/38.79	c (27,0) c RunningTime_0 : 26.799206
234.94/38.79	c (27,0) c RunningTime_1 : 26.846155
234.94/38.79	c (27,0) c RunningTime_2 : 26.816648
234.94/38.79	c (27,0) c RunningTime_3 : 26.826469
234.94/38.79	c (27,0) c RunningTime_4 : 26.818126
234.94/38.79	c (27,0) c RunningTime_5 : 26.814403
234.94/38.79	c (27,0) c RunningTime_6 : 26.801884
234.94/38.79	c (27,0) c RunningTime_7 : 26.824830
234.94/38.79	c (27,0) c RunningTime_total : 214.547721
234.94/38.79	c (27,0) c RunningTime_winner : 26.799206
234.94/38.79	c (27,0) c WaitingTime_0 : 0.000146
234.94/38.79	c (27,0) c WaitingTime_1 : 0.000117
234.94/38.79	c (27,0) c WaitingTime_2 : 0.000180
234.94/38.79	c (27,0) c WaitingTime_3 : 0.000188
234.94/38.79	c (27,0) c WaitingTime_4 : 0.000236
234.94/38.79	c (27,0) c WaitingTime_5 : 0.000192
234.94/38.79	c (27,0) c WaitingTime_6 : 0.000170
234.94/38.79	c (27,0) c WaitingTime_7 : 0.000202
234.94/38.79	c (27,0) c WaitingTime_total : 0.001431
234.94/38.79	c (27,0) c WaitingTime_winner : 0.000146
234.94/38.79	c (27,0) c ExchangingTime_0 : 0.019624
234.94/38.79	c (27,0) c ExchangingTime_1 : 0.022145
234.94/38.79	c (27,0) c ExchangingTime_2 : 0.020161
234.94/38.79	c (27,0) c ExchangingTime_3 : 0.024171
234.94/38.79	c (27,0) c ExchangingTime_4 : 0.020425
234.94/38.79	c (27,0) c ExchangingTime_5 : 0.020312
234.94/38.79	c (27,0) c ExchangingTime_6 : 0.020298
234.94/38.79	c (27,0) c ExchangingTime_7 : 0.022685
234.94/38.79	c (27,0) c ExchangingTime_total : 0.169821
234.94/38.79	c (27,0) c ExchangingTime_winner : 0.019624
234.94/38.79	c (27,0) c PeriodProcTime_0 : 0.001100
234.94/38.79	c (27,0) c PeriodProcTime_1 : 0.001240
234.94/38.79	c (27,0) c PeriodProcTime_2 : 0.001304
234.94/38.79	c (27,0) c PeriodProcTime_3 : 0.001283
234.94/38.79	c (27,0) c PeriodProcTime_4 : 0.001279
234.94/38.79	c (27,0) c PeriodProcTime_5 : 0.001147
234.94/38.79	c (27,0) c PeriodProcTime_6 : 0.001133
234.94/38.79	c (27,0) c PeriodProcTime_7 : 0.001296
234.94/38.79	c (27,0) c PeriodProcTime_total : 0.009782
234.94/38.79	c (27,0) c PeriodProcTime_winner : 0.001100
234.94/38.79	c (27,0) c SolvingTime_0 : 26.820076
234.94/38.79	c (27,0) c SolvingTime_1 : 26.869657
234.94/38.79	c (27,0) c SolvingTime_2 : 26.838293
234.94/38.79	c (27,0) c SolvingTime_3 : 26.852112
234.94/38.79	c (27,0) c SolvingTime_4 : 26.840065
234.94/38.79	c (27,0) c SolvingTime_5 : 26.836053
234.94/38.79	c (27,0) c SolvingTime_6 : 26.823485
234.94/38.79	c (27,0) c SolvingTime_7 : 26.849014
234.94/38.79	c (27,0) c SolvingTime_total : 214.728755
234.94/38.79	c (27,0) c SolvingTime_winner : 26.820076
234.94/38.79	c (27,0) c PropagationTime_0 : 23.568154
234.94/38.79	c (27,0) c PropagationTime_1 : 23.614065
234.94/38.79	c (27,0) c PropagationTime_2 : 23.359596
234.94/38.79	c (27,0) c PropagationTime_3 : 23.367740
234.94/38.79	c (27,0) c PropagationTime_4 : 23.321182
234.94/38.79	c (27,0) c PropagationTime_5 : 23.407522
234.94/38.79	c (27,0) c PropagationTime_6 : 23.381072
234.94/38.79	c (27,0) c PropagationTime_7 : 23.365029
234.94/38.79	c (27,0) c PropagationTime_total : 187.384361
234.94/38.79	c (27,0) c PropagationTime_winner : 23.568154
234.94/38.79	c (27,0) c AnalysisTime_0 : 1.724933
234.94/38.79	c (27,0) c AnalysisTime_1 : 1.736564
234.94/38.79	c (27,0) c AnalysisTime_2 : 1.892689
234.94/38.79	c (27,0) c AnalysisTime_3 : 1.928243
234.94/38.79	c (27,0) c AnalysisTime_4 : 1.901946
234.94/38.79	c (27,0) c AnalysisTime_5 : 1.862370
234.94/38.79	c (27,0) c AnalysisTime_6 : 1.866232
234.94/38.79	c (27,0) c AnalysisTime_7 : 1.913064
234.94/38.79	c (27,0) c AnalysisTime_total : 14.826041
234.94/38.79	c (27,0) c AnalysisTime_winner : 1.724933
234.94/38.79	c (27,0) c ReductionTime_0 : 0.070023
234.94/38.79	c (27,0) c ReductionTime_1 : 0.075059
234.94/38.79	c (27,0) c ReductionTime_2 : 0.066411
234.94/38.79	c (27,0) c ReductionTime_3 : 0.066629
234.94/38.79	c (27,0) c ReductionTime_4 : 0.078298
234.94/38.79	c (27,0) c ReductionTime_5 : 0.068090
234.94/38.79	c (27,0) c ReductionTime_6 : 0.066737
234.94/38.79	c (27,0) c ReductionTime_7 : 0.067685
234.94/38.79	c (27,0) c ReductionTime_total : 0.558931
234.94/38.79	c (27,0) c ReductionTime_winner : 0.070023
234.94/38.79	c (27,0) c SimplifyTime_0 : 0.314551
234.94/38.79	c (27,0) c SimplifyTime_1 : 0.318741
234.94/38.79	c (27,0) c SimplifyTime_2 : 0.338737
234.94/38.79	c (27,0) c SimplifyTime_3 : 0.313321
234.94/38.79	c (27,0) c SimplifyTime_4 : 0.358525
234.94/38.79	c (27,0) c SimplifyTime_5 : 0.339925
234.94/38.79	c (27,0) c SimplifyTime_6 : 0.331322
234.94/38.79	c (27,0) c SimplifyTime_7 : 0.337933
234.94/38.79	c (27,0) c SimplifyTime_total : 2.653055
234.94/38.79	c (27,0) c SimplifyTime_winner : 0.314551
234.94/38.79	c (27,0) c UsedRateTime_0 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_1 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_2 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_3 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_4 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_5 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_6 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_7 : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_total : 0.000000
234.94/38.79	c (27,0) c UsedRateTime_winner : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_0 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_1 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_2 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_3 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_4 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_5 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_6 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_7 : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_total : 0.000000
234.94/38.79	c (27,0) c OverlapRateTime_winner : 0.000000
234.94/38.79	c (27,0) c
234.94/38.79	c (27,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
234.94/38.79	c (27,0) c
234.94/38.79	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.79	c (27,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
234.94/38.79	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.79	c (27,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
234.94/38.79	c (27,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
234.94/38.79	c (27,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
234.94/38.79	c (27,0) c | Initial random_seed   | 1001000797 |  353992388 |  898848565 | 2006303459 |  214001844 | 1285824140 | 1137728669 |  628676963 |
234.94/38.79	c (27,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
234.94/38.79	c (27,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
234.94/38.79	c (27,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
234.94/38.79	c (27,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
234.94/38.79	c (27,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
234.94/38.79	c (27,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
234.94/38.79	c (27,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
234.94/38.79	c (27,0) c | var_decay             |     0.8500 |     0.8500 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
234.94/38.79	c (27,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
234.94/38.79	c (27,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
234.94/38.79	c (27,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
234.94/38.79	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/38.79	c (27,0) 
234.94/38.79	c (27,0) s SATISFIABLE
235.41/38.85	c (27,0) SatSolver.solve End
235.41/38.85	c (27,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
235.41/38.85	c (27,0) Show results Begin
235.95/39.05	c (27,0) x[0][0] = 18
235.95/39.05	c (27,0) x[0][1] = 13
235.95/39.05	c (27,0) x[0][2] = 10
235.95/39.05	c (27,0) x[0][3] = 15
235.95/39.05	c (27,0) x[0][4] = 0
235.95/39.05	c (27,0) x[0][5] = 19
235.95/39.05	c (27,0) x[0][6] = 22
235.95/39.05	c (27,0) x[0][7] = 8
235.95/39.05	c (27,0) x[0][8] = 27
235.95/39.05	c (27,0) x[0][9] = 9
235.95/39.05	c (27,0) x[0][10] = 5
235.95/39.05	c (27,0) x[0][11] = 17
235.95/39.05	c (27,0) x[0][12] = 4
235.95/39.05	c (27,0) x[0][13] = 12
235.95/39.05	c (27,0) x[0][14] = 26
235.95/39.05	c (27,0) x[0][15] = 3
235.95/39.05	c (27,0) x[0][16] = 1
235.95/39.05	c (27,0) x[0][17] = 7
235.95/39.05	c (27,0) x[0][18] = 16
235.95/39.05	c (27,0) x[0][19] = 25
235.95/39.05	c (27,0) x[0][20] = 11
235.95/39.05	c (27,0) x[0][21] = 23
235.95/39.05	c (27,0) x[0][22] = 21
235.95/39.05	c (27,0) x[0][23] = 28
235.95/39.05	c (27,0) x[0][24] = 14
235.95/39.05	c (27,0) x[0][25] = 29
235.95/39.05	c (27,0) x[0][26] = 6
235.95/39.05	c (27,0) x[0][27] = 20
235.95/39.05	c (27,0) x[0][28] = 24
235.95/39.05	c (27,0) x[0][29] = 2
235.95/39.05	c (27,0) x[1][0] = 27
235.95/39.05	c (27,0) x[1][1] = 21
235.95/39.05	c (27,0) x[1][2] = 22
235.95/39.05	c (27,0) x[1][3] = 6
235.95/39.05	c (27,0) x[1][4] = 19
235.95/39.05	c (27,0) x[1][5] = 3
235.95/39.05	c (27,0) x[1][6] = 2
235.95/39.05	c (27,0) x[1][7] = 24
235.95/39.05	c (27,0) x[1][8] = 29
235.95/39.05	c (27,0) x[1][9] = 5
235.95/39.05	c (27,0) x[1][10] = 13
235.95/39.05	c (27,0) x[1][11] = 0
235.95/39.05	c (27,0) x[1][12] = 18
235.95/39.05	c (27,0) x[1][13] = 11
235.95/39.05	c (27,0) x[1][14] = 17
235.95/39.05	c (27,0) x[1][15] = 10
235.95/39.05	c (27,0) x[1][16] = 26
235.95/39.05	c (27,0) x[1][17] = 16
235.95/39.05	c (27,0) x[1][18] = 23
235.95/39.05	c (27,0) x[1][19] = 12
235.95/39.05	c (27,0) x[1][20] = 1
235.95/39.05	c (27,0) x[1][21] = 14
235.95/39.05	c (27,0) x[1][22] = 15
235.95/39.05	c (27,0) x[1][23] = 8
235.95/39.05	c (27,0) x[1][24] = 20
235.95/39.05	c (27,0) x[1][25] = 7
235.95/39.05	c (27,0) x[1][26] = 9
235.95/39.05	c (27,0) x[1][27] = 4
235.95/39.05	c (27,0) x[1][28] = 25
235.95/39.05	c (27,0) x[1][29] = 28
235.95/39.05	c (27,0) x[2][0] = 10
235.95/39.05	c (27,0) x[2][1] = 2
235.95/39.05	c (27,0) x[2][2] = 9
235.95/39.05	c (27,0) x[2][3] = 12
235.95/39.05	c (27,0) x[2][4] = 29
235.95/39.05	c (27,0) x[2][5] = 17
235.95/39.05	c (27,0) x[2][6] = 20
235.95/39.05	c (27,0) x[2][7] = 14
235.95/39.05	c (27,0) x[2][8] = 5
235.95/39.05	c (27,0) x[2][9] = 21
235.95/39.05	c (27,0) x[2][10] = 26
235.95/39.05	c (27,0) x[2][11] = 16
235.95/39.05	c (27,0) x[2][12] = 23
235.95/39.05	c (27,0) x[2][13] = 1
235.95/39.05	c (27,0) x[2][14] = 18
235.95/39.05	c (27,0) x[2][15] = 24
235.95/39.05	c (27,0) x[2][16] = 6
235.95/39.05	c (27,0) x[2][17] = 8
235.95/39.05	c (27,0) x[2][18] = 11
235.95/39.05	c (27,0) x[2][19] = 7
235.95/39.05	c (27,0) x[2][20] = 28
235.95/39.05	c (27,0) x[2][21] = 25
235.95/39.05	c (27,0) x[2][22] = 19
235.95/39.05	c (27,0) x[2][23] = 3
235.95/39.05	c (27,0) x[2][24] = 22
235.95/39.05	c (27,0) x[2][25] = 4
235.95/39.06	c (27,0) x[2][26] = 27
235.95/39.06	c (27,0) x[2][27] = 13
235.95/39.06	c (27,0) x[2][28] = 15
235.95/39.06	c (27,0) x[2][29] = 0
235.95/39.06	c (27,0) x[3][0] = 2
235.95/39.06	c (27,0) x[3][1] = 19
235.95/39.06	c (27,0) x[3][2] = 12
235.95/39.06	c (27,0) x[3][3] = 20
235.95/39.06	c (27,0) x[3][4] = 9
235.95/39.06	c (27,0) x[3][5] = 26
235.95/39.06	c (27,0) x[3][6] = 3
235.95/39.06	c (27,0) x[3][7] = 18
235.95/39.06	c (27,0) x[3][8] = 13
235.95/39.06	c (27,0) x[3][9] = 10
235.95/39.06	c (27,0) x[3][10] = 14
235.95/39.06	c (27,0) x[3][11] = 23
235.95/39.06	c (27,0) x[3][12] = 21
235.95/39.06	c (27,0) x[3][13] = 5
235.95/39.06	c (27,0) x[3][14] = 15
235.95/39.06	c (27,0) x[3][15] = 1
235.95/39.06	c (27,0) x[3][16] = 7
235.95/39.06	c (27,0) x[3][17] = 17
235.95/39.06	c (27,0) x[3][18] = 6
235.95/39.06	c (27,0) x[3][19] = 29
235.95/39.06	c (27,0) x[3][20] = 0
235.95/39.06	c (27,0) x[3][21] = 28
235.95/39.06	c (27,0) x[3][22] = 4
235.95/39.06	c (27,0) x[3][23] = 24
235.95/39.06	c (27,0) x[3][24] = 11
235.95/39.06	c (27,0) x[3][25] = 16
235.95/39.06	c (27,0) x[3][26] = 8
235.95/39.06	c (27,0) x[3][27] = 27
235.95/39.06	c (27,0) x[3][28] = 22
235.95/39.06	c (27,0) x[3][29] = 25
235.95/39.06	c (27,0) x[4][0] = 0
235.95/39.06	c (27,0) x[4][1] = 25
235.95/39.06	c (27,0) x[4][2] = 16
235.95/39.06	c (27,0) x[4][3] = 22
235.95/39.06	c (27,0) x[4][4] = 12
235.95/39.06	c (27,0) x[4][5] = 28
235.95/39.06	c (27,0) x[4][6] = 13
235.95/39.06	c (27,0) x[4][7] = 3
235.95/39.06	c (27,0) x[4][8] = 18
235.95/39.06	c (27,0) x[4][9] = 4
235.95/39.06	c (27,0) x[4][10] = 24
235.95/39.06	c (27,0) x[4][11] = 21
235.95/39.06	c (27,0) x[4][12] = 6
235.95/39.06	c (27,0) x[4][13] = 19
235.95/39.06	c (27,0) x[4][14] = 27
235.95/39.06	c (27,0) x[4][15] = 9
235.95/39.06	c (27,0) x[4][16] = 29
235.95/39.06	c (27,0) x[4][17] = 14
235.95/39.06	c (27,0) x[4][18] = 1
235.95/39.06	c (27,0) x[4][19] = 10
235.95/39.06	c (27,0) x[4][20] = 23
235.95/39.06	c (27,0) x[4][21] = 26
235.95/39.06	c (27,0) x[4][22] = 11
235.95/39.06	c (27,0) x[4][23] = 17
235.95/39.06	c (27,0) x[4][24] = 15
235.95/39.06	c (27,0) x[4][25] = 20
235.95/39.06	c (27,0) x[4][26] = 5
235.95/39.06	c (27,0) x[4][27] = 8
235.95/39.06	c (27,0) x[4][28] = 2
235.95/39.06	c (27,0) x[4][29] = 7
235.95/39.06	c (27,0) x[5][0] = 14
235.95/39.06	c (27,0) x[5][1] = 5
235.95/39.06	c (27,0) x[5][2] = 28
235.95/39.06	c (27,0) x[5][3] = 9
235.95/39.06	c (27,0) x[5][4] = 18
235.95/39.06	c (27,0) x[5][5] = 29
235.95/39.06	c (27,0) x[5][6] = 1
235.95/39.06	c (27,0) x[5][7] = 2
235.95/39.06	c (27,0) x[5][8] = 17
235.95/39.06	c (27,0) x[5][9] = 11
235.95/39.06	c (27,0) x[5][10] = 8
235.95/39.06	c (27,0) x[5][11] = 13
235.95/39.06	c (27,0) x[5][12] = 19
235.95/39.06	c (27,0) x[5][13] = 16
235.95/39.06	c (27,0) x[5][14] = 21
235.95/39.06	c (27,0) x[5][15] = 0
235.95/39.06	c (27,0) x[5][16] = 27
235.95/39.06	c (27,0) x[5][17] = 10
235.95/39.06	c (27,0) x[5][18] = 24
235.95/39.06	c (27,0) x[5][19] = 20
235.95/39.06	c (27,0) x[5][20] = 3
235.95/39.06	c (27,0) x[5][21] = 4
235.95/39.06	c (27,0) x[5][22] = 6
235.95/39.06	c (27,0) x[5][23] = 23
235.95/39.06	c (27,0) x[5][24] = 26
235.95/39.06	c (27,0) x[5][25] = 15
235.95/39.06	c (27,0) x[5][26] = 12
235.95/39.06	c (27,0) x[5][27] = 25
235.95/39.06	c (27,0) x[5][28] = 7
235.95/39.06	c (27,0) x[5][29] = 22
235.95/39.06	c (27,0) x[6][0] = 26
235.95/39.06	c (27,0) x[6][1] = 28
235.95/39.06	c (27,0) x[6][2] = 6
235.95/39.06	c (27,0) x[6][3] = 10
235.95/39.06	c (27,0) x[6][4] = 1
235.95/39.06	c (27,0) x[6][5] = 4
235.95/39.06	c (27,0) x[6][6] = 16
235.95/39.06	c (27,0) x[6][7] = 7
235.95/39.06	c (27,0) x[6][8] = 9
235.95/39.06	c (27,0) x[6][9] = 0
235.95/39.06	c (27,0) x[6][10] = 25
235.95/39.06	c (27,0) x[6][11] = 20
235.95/39.06	c (27,0) x[6][12] = 8
235.95/39.06	c (27,0) x[6][13] = 22
235.95/39.06	c (27,0) x[6][14] = 24
235.95/39.06	c (27,0) x[6][15] = 19
235.95/39.06	c (27,0) x[6][16] = 3
235.95/39.06	c (27,0) x[6][17] = 23
235.95/39.06	c (27,0) x[6][18] = 21
235.95/39.06	c (27,0) x[6][19] = 5
235.95/39.06	c (27,0) x[6][20] = 15
235.95/39.06	c (27,0) x[6][21] = 17
235.95/39.06	c (27,0) x[6][22] = 2
235.95/39.06	c (27,0) x[6][23] = 13
235.95/39.06	c (27,0) x[6][24] = 29
235.95/39.06	c (27,0) x[6][25] = 11
235.95/39.06	c (27,0) x[6][26] = 18
235.95/39.06	c (27,0) x[6][27] = 12
235.95/39.06	c (27,0) x[6][28] = 27
235.95/39.06	c (27,0) x[6][29] = 14
235.95/39.06	c (27,0) x[7][0] = 17
235.95/39.06	c (27,0) x[7][1] = 26
235.95/39.06	c (27,0) x[7][2] = 24
235.95/39.06	c (27,0) x[7][3] = 3
235.95/39.06	c (27,0) x[7][4] = 16
235.95/39.06	c (27,0) x[7][5] = 7
235.95/39.06	c (27,0) x[7][6] = 4
235.95/39.06	c (27,0) x[7][7] = 1
235.95/39.06	c (27,0) x[7][8] = 21
235.95/39.06	c (27,0) x[7][9] = 13
235.95/39.06	c (27,0) x[7][10] = 22
235.95/39.06	c (27,0) x[7][11] = 8
235.95/39.06	c (27,0) x[7][12] = 20
235.95/39.06	c (27,0) x[7][13] = 25
235.95/39.06	c (27,0) x[7][14] = 19
235.95/39.06	c (27,0) x[7][15] = 12
235.95/39.06	c (27,0) x[7][16] = 0
235.95/39.06	c (27,0) x[7][17] = 15
235.95/39.06	c (27,0) x[7][18] = 29
235.95/39.06	c (27,0) x[7][19] = 18
235.95/39.06	c (27,0) x[7][20] = 14
235.95/39.06	c (27,0) x[7][21] = 9
235.95/39.06	c (27,0) x[7][22] = 28
235.95/39.06	c (27,0) x[7][23] = 2
235.95/39.06	c (27,0) x[7][24] = 27
235.95/39.06	c (27,0) x[7][25] = 23
235.95/39.06	c (27,0) x[7][26] = 10
235.95/39.06	c (27,0) x[7][27] = 6
235.95/39.06	c (27,0) x[7][28] = 5
235.95/39.06	c (27,0) x[7][29] = 11
235.95/39.06	c (27,0) x[8][0] = 5
235.95/39.06	c (27,0) x[8][1] = 23
235.95/39.06	c (27,0) x[8][2] = 20
235.95/39.06	c (27,0) x[8][3] = 18
235.95/39.06	c (27,0) x[8][4] = 21
235.95/39.06	c (27,0) x[8][5] = 8
235.95/39.06	c (27,0) x[8][6] = 6
235.95/39.06	c (27,0) x[8][7] = 11
235.95/39.06	c (27,0) x[8][8] = 22
235.95/39.06	c (27,0) x[8][9] = 16
235.95/39.06	c (27,0) x[8][10] = 17
235.95/39.06	c (27,0) x[8][11] = 25
235.95/39.06	c (27,0) x[8][12] = 15
235.95/39.06	c (27,0) x[8][13] = 13
235.95/39.06	c (27,0) x[8][14] = 1
235.95/39.06	c (27,0) x[8][15] = 2
235.95/39.06	c (27,0) x[8][16] = 14
235.95/39.06	c (27,0) x[8][17] = 26
235.95/39.06	c (27,0) x[8][18] = 3
235.95/39.06	c (27,0) x[8][19] = 9
235.95/39.06	c (27,0) x[8][20] = 29
235.95/39.06	c (27,0) x[8][21] = 12
235.95/39.06	c (27,0) x[8][22] = 27
235.95/39.06	c (27,0) x[8][23] = 10
235.95/39.06	c (27,0) x[8][24] = 24
235.95/39.06	c (27,0) x[8][25] = 28
235.95/39.06	c (27,0) x[8][26] = 4
235.95/39.06	c (27,0) x[8][27] = 7
235.95/39.06	c (27,0) x[8][28] = 0
235.95/39.06	c (27,0) x[8][29] = 19
235.95/39.06	c (27,0) x[9][0] = 22
235.95/39.06	c (27,0) x[9][1] = 0
235.95/39.06	c (27,0) x[9][2] = 2
235.95/39.06	c (27,0) x[9][3] = 5
235.95/39.06	c (27,0) x[9][4] = 8
235.95/39.06	c (27,0) x[9][5] = 27
235.95/39.06	c (27,0) x[9][6] = 14
235.95/39.06	c (27,0) x[9][7] = 13
235.95/39.06	c (27,0) x[9][8] = 10
235.95/39.06	c (27,0) x[9][9] = 28
235.95/39.06	c (27,0) x[9][10] = 16
235.95/39.06	c (27,0) x[9][11] = 4
235.95/39.06	c (27,0) x[9][12] = 24
235.95/39.06	c (27,0) x[9][13] = 7
235.95/39.06	c (27,0) x[9][14] = 11
235.95/39.06	c (27,0) x[9][15] = 6
235.95/39.06	c (27,0) x[9][16] = 15
235.95/39.06	c (27,0) x[9][17] = 25
235.95/39.06	c (27,0) x[9][18] = 26
235.95/39.06	c (27,0) x[9][19] = 23
235.95/39.06	c (27,0) x[9][20] = 20
235.95/39.06	c (27,0) x[9][21] = 29
235.95/39.06	c (27,0) x[9][22] = 17
235.95/39.06	c (27,0) x[9][23] = 12
235.95/39.06	c (27,0) x[9][24] = 18
235.95/39.06	c (27,0) x[9][25] = 21
235.95/39.06	c (27,0) x[9][26] = 3
235.95/39.06	c (27,0) x[9][27] = 1
235.95/39.06	c (27,0) x[9][28] = 19
235.95/39.06	c (27,0) x[9][29] = 9
235.95/39.06	c (27,0) x[10][0] = 11
235.95/39.06	c (27,0) x[10][1] = 14
235.95/39.06	c (27,0) x[10][2] = 7
235.95/39.06	c (27,0) x[10][3] = 0
235.95/39.06	c (27,0) x[10][4] = 26
235.95/39.06	c (27,0) x[10][5] = 13
235.95/39.06	c (27,0) x[10][6] = 12
235.95/39.06	c (27,0) x[10][7] = 23
235.95/39.06	c (27,0) x[10][8] = 1
235.95/39.06	c (27,0) x[10][9] = 25
235.95/39.06	c (27,0) x[10][10] = 10
235.95/39.06	c (27,0) x[10][11] = 27
235.95/39.06	c (27,0) x[10][12] = 9
235.95/39.06	c (27,0) x[10][13] = 3
235.95/39.06	c (27,0) x[10][14] = 20
235.95/39.06	c (27,0) x[10][15] = 15
235.95/39.06	c (27,0) x[10][16] = 16
235.95/39.06	c (27,0) x[10][17] = 29
235.95/39.06	c (27,0) x[10][18] = 19
235.95/39.06	c (27,0) x[10][19] = 24
235.95/39.06	c (27,0) x[10][20] = 4
235.95/39.06	c (27,0) x[10][21] = 2
235.95/39.06	c (27,0) x[10][22] = 18
235.95/39.06	c (27,0) x[10][23] = 5
235.95/39.06	c (27,0) x[10][24] = 28
235.95/39.06	c (27,0) x[10][25] = 8
235.95/39.06	c (27,0) x[10][26] = 22
235.95/39.06	c (27,0) x[10][27] = 17
235.95/39.06	c (27,0) x[10][28] = 6
235.95/39.06	c (27,0) x[10][29] = 21
235.95/39.06	c (27,0) x[11][0] = 25
235.95/39.06	c (27,0) x[11][1] = 6
235.95/39.06	c (27,0) x[11][2] = 3
235.95/39.06	c (27,0) x[11][3] = 21
235.95/39.06	c (27,0) x[11][4] = 15
235.95/39.06	c (27,0) x[11][5] = 24
235.95/39.06	c (27,0) x[11][6] = 5
235.95/39.06	c (27,0) x[11][7] = 26
235.95/39.06	c (27,0) x[11][8] = 28
235.95/39.06	c (27,0) x[11][9] = 19
235.95/39.06	c (27,0) x[11][10] = 2
235.95/39.06	c (27,0) x[11][11] = 14
235.95/39.06	c (27,0) x[11][12] = 17
235.95/39.06	c (27,0) x[11][13] = 9
235.95/39.06	c (27,0) x[11][14] = 29
235.95/39.06	c (27,0) x[11][15] = 4
235.95/39.06	c (27,0) x[11][16] = 12
235.95/39.06	c (27,0) x[11][17] = 11
235.95/39.06	c (27,0) x[11][18] = 18
235.95/39.06	c (27,0) x[11][19] = 8
235.95/39.06	c (27,0) x[11][20] = 22
235.95/39.06	c (27,0) x[11][21] = 13
235.95/39.06	c (27,0) x[11][22] = 23
235.95/39.06	c (27,0) x[11][23] = 16
235.95/39.06	c (27,0) x[11][24] = 7
235.95/39.06	c (27,0) x[11][25] = 27
235.95/39.06	c (27,0) x[11][26] = 1
235.95/39.06	c (27,0) x[11][27] = 0
235.95/39.06	c (27,0) x[11][28] = 20
235.95/39.06	c (27,0) x[11][29] = 10
235.95/39.06	c (27,0) x[12][0] = 4
235.95/39.06	c (27,0) x[12][1] = 12
235.95/39.06	c (27,0) x[12][2] = 27
235.95/39.06	c (27,0) x[12][3] = 26
235.95/39.06	c (27,0) x[12][4] = 10
235.95/39.06	c (27,0) x[12][5] = 21
235.95/39.06	c (27,0) x[12][6] = 24
235.95/39.06	c (27,0) x[12][7] = 25
235.95/39.06	c (27,0) x[12][8] = 16
235.95/39.06	c (27,0) x[12][9] = 6
235.95/39.06	c (27,0) x[12][10] = 23
235.95/39.06	c (27,0) x[12][11] = 29
235.95/39.06	c (27,0) x[12][12] = 1
235.95/39.06	c (27,0) x[12][13] = 15
235.95/39.06	c (27,0) x[12][14] = 14
235.95/39.06	c (27,0) x[12][15] = 11
235.95/39.06	c (27,0) x[12][16] = 20
235.95/39.06	c (27,0) x[12][17] = 19
235.95/39.06	c (27,0) x[12][18] = 0
235.95/39.06	c (27,0) x[12][19] = 13
235.95/39.06	c (27,0) x[12][20] = 17
235.95/39.06	c (27,0) x[12][21] = 5
235.95/39.06	c (27,0) x[12][22] = 22
235.95/39.06	c (27,0) x[12][23] = 9
235.95/39.06	c (27,0) x[12][24] = 3
235.95/39.06	c (27,0) x[12][25] = 18
235.95/39.06	c (27,0) x[12][26] = 7
235.95/39.06	c (27,0) x[12][27] = 2
235.95/39.06	c (27,0) x[12][28] = 28
235.95/39.06	c (27,0) x[12][29] = 8
235.95/39.06	c (27,0) x[13][0] = 6
235.95/39.06	c (27,0) x[13][1] = 15
235.95/39.06	c (27,0) x[13][2] = 25
235.95/39.06	c (27,0) x[13][3] = 27
235.95/39.06	c (27,0) x[13][4] = 24
235.95/39.06	c (27,0) x[13][5] = 20
235.95/39.06	c (27,0) x[13][6] = 17
235.95/39.06	c (27,0) x[13][7] = 16
235.95/39.06	c (27,0) x[13][8] = 11
235.95/39.06	c (27,0) x[13][9] = 14
235.95/39.06	c (27,0) x[13][10] = 3
235.95/39.06	c (27,0) x[13][11] = 22
235.95/39.06	c (27,0) x[13][12] = 12
235.95/39.06	c (27,0) x[13][13] = 2
235.95/39.06	c (27,0) x[13][14] = 5
235.95/39.06	c (27,0) x[13][15] = 18
235.95/39.06	c (27,0) x[13][16] = 28
235.95/39.06	c (27,0) x[13][17] = 13
235.95/39.06	c (27,0) x[13][18] = 7
235.95/39.06	c (27,0) x[13][19] = 4
235.95/39.06	c (27,0) x[13][20] = 8
235.95/39.06	c (27,0) x[13][21] = 21
235.95/39.06	c (27,0) x[13][22] = 1
235.95/39.06	c (27,0) x[13][23] = 19
235.95/39.06	c (27,0) x[13][24] = 10
235.95/39.06	c (27,0) x[13][25] = 0
235.95/39.06	c (27,0) x[13][26] = 23
235.95/39.06	c (27,0) x[13][27] = 29
235.95/39.06	c (27,0) x[13][28] = 9
235.95/39.06	c (27,0) x[13][29] = 26
235.95/39.06	c (27,0) x[14][0] = 20
235.95/39.06	c (27,0) x[14][1] = 4
235.95/39.06	c (27,0) x[14][2] = 8
235.95/39.06	c (27,0) x[14][3] = 24
235.95/39.06	c (27,0) x[14][4] = 27
235.95/39.06	c (27,0) x[14][5] = 6
235.95/39.06	c (27,0) x[14][6] = 7
235.95/39.06	c (27,0) x[14][7] = 19
235.95/39.06	c (27,0) x[14][8] = 23
235.95/39.06	c (27,0) x[14][9] = 15
235.95/39.06	c (27,0) x[14][10] = 1
235.95/39.06	c (27,0) x[14][11] = 2
235.95/39.06	c (27,0) x[14][12] = 11
235.95/39.06	c (27,0) x[14][13] = 21
235.95/39.06	c (27,0) x[14][14] = 22
235.95/39.06	c (27,0) x[14][15] = 28
235.95/39.06	c (27,0) x[14][16] = 13
235.95/39.06	c (27,0) x[14][17] = 3
235.95/39.06	c (27,0) x[14][18] = 9
235.95/39.06	c (27,0) x[14][19] = 16
235.95/39.06	c (27,0) x[14][20] = 26
235.95/39.06	c (27,0) x[14][21] = 18
235.95/39.06	c (27,0) x[14][22] = 10
235.95/39.06	c (27,0) x[14][23] = 25
235.95/39.06	c (27,0) x[14][24] = 12
235.95/39.06	c (27,0) x[14][25] = 14
235.95/39.06	c (27,0) x[14][26] = 0
235.95/39.06	c (27,0) x[14][27] = 5
235.95/39.06	c (27,0) x[14][28] = 17
235.95/39.06	c (27,0) x[14][29] = 29
235.95/39.06	c (27,0) x[15][0] = 29
235.95/39.06	c (27,0) x[15][1] = 7
235.95/39.06	c (27,0) x[15][2] = 17
235.95/39.06	c (27,0) x[15][3] = 8
235.95/39.06	c (27,0) x[15][4] = 4
235.95/39.06	c (27,0) x[15][5] = 5
235.95/39.06	c (27,0) x[15][6] = 15
235.95/39.06	c (27,0) x[15][7] = 9
235.95/39.06	c (27,0) x[15][8] = 24
235.95/39.06	c (27,0) x[15][9] = 23
235.95/39.06	c (27,0) x[15][10] = 11
235.95/39.06	c (27,0) x[15][11] = 12
235.95/39.06	c (27,0) x[15][12] = 14
235.95/39.06	c (27,0) x[15][13] = 27
235.95/39.06	c (27,0) x[15][14] = 28
235.95/39.06	c (27,0) x[15][15] = 13
235.95/39.06	c (27,0) x[15][16] = 21
235.95/39.06	c (27,0) x[15][17] = 1
235.95/39.06	c (27,0) x[15][18] = 10
235.95/39.06	c (27,0) x[15][19] = 19
235.95/39.06	c (27,0) x[15][20] = 25
235.95/39.06	c (27,0) x[15][21] = 6
235.95/39.06	c (27,0) x[15][22] = 0
235.95/39.06	c (27,0) x[15][23] = 26
235.95/39.06	c (27,0) x[15][24] = 2
235.95/39.06	c (27,0) x[15][25] = 22
235.95/39.06	c (27,0) x[15][26] = 20
235.95/39.06	c (27,0) x[15][27] = 18
235.95/39.06	c (27,0) x[15][28] = 16
235.95/39.06	c (27,0) x[15][29] = 3
235.95/39.06	c (27,0) x[16][0] = 7
235.95/39.06	c (27,0) x[16][1] = 9
235.95/39.06	c (27,0) x[16][2] = 1
235.95/39.06	c (27,0) x[16][3] = 14
235.95/39.06	c (27,0) x[16][4] = 20
235.95/39.06	c (27,0) x[16][5] = 15
235.95/39.06	c (27,0) x[16][6] = 29
235.95/39.06	c (27,0) x[16][7] = 27
235.95/39.06	c (27,0) x[16][8] = 19
235.95/39.06	c (27,0) x[16][9] = 17
235.95/39.06	c (27,0) x[16][10] = 12
235.95/39.06	c (27,0) x[16][11] = 28
235.95/39.06	c (27,0) x[16][12] = 5
235.95/39.06	c (27,0) x[16][13] = 10
235.95/39.06	c (27,0) x[16][14] = 8
235.95/39.06	c (27,0) x[16][15] = 22
235.95/39.06	c (27,0) x[16][16] = 25
235.95/39.06	c (27,0) x[16][17] = 24
235.95/39.06	c (27,0) x[16][18] = 2
235.95/39.06	c (27,0) x[16][19] = 0
235.95/39.06	c (27,0) x[16][20] = 18
235.95/39.06	c (27,0) x[16][21] = 16
235.95/39.06	c (27,0) x[16][22] = 26
235.95/39.06	c (27,0) x[16][23] = 11
235.95/39.06	c (27,0) x[16][24] = 4
235.95/39.06	c (27,0) x[16][25] = 13
235.95/39.06	c (27,0) x[16][26] = 21
235.95/39.06	c (27,0) x[16][27] = 3
235.95/39.06	c (27,0) x[16][28] = 23
235.95/39.06	c (27,0) x[16][29] = 6
235.95/39.06	c (27,0) x[17][0] = 24
235.95/39.06	c (27,0) x[17][1] = 22
235.95/39.06	c (27,0) x[17][2] = 13
235.95/39.06	c (27,0) x[17][3] = 1
235.95/39.06	c (27,0) x[17][4] = 11
235.95/39.06	c (27,0) x[17][5] = 0
235.95/39.06	c (27,0) x[17][6] = 21
235.95/39.06	c (27,0) x[17][7] = 6
235.95/39.06	c (27,0) x[17][8] = 25
235.95/39.06	c (27,0) x[17][9] = 29
235.95/39.06	c (27,0) x[17][10] = 28
235.95/39.06	c (27,0) x[17][11] = 10
235.95/39.06	c (27,0) x[17][12] = 26
235.95/39.06	c (27,0) x[17][13] = 20
235.95/39.06	c (27,0) x[17][14] = 23
235.95/39.06	c (27,0) x[17][15] = 8
235.95/39.06	c (27,0) x[17][16] = 19
235.95/39.06	c (27,0) x[17][17] = 5
235.95/39.06	c (27,0) x[17][18] = 4
235.95/39.06	c (27,0) x[17][19] = 27
235.95/39.06	c (27,0) x[17][20] = 2
235.95/39.06	c (27,0) x[17][21] = 15
235.95/39.06	c (27,0) x[17][22] = 7
235.95/39.06	c (27,0) x[17][23] = 14
235.95/39.06	c (27,0) x[17][24] = 17
235.95/39.06	c (27,0) x[17][25] = 12
235.95/39.06	c (27,0) x[17][26] = 16
235.95/39.06	c (27,0) x[17][27] = 9
235.95/39.06	c (27,0) x[17][28] = 3
235.95/39.06	c (27,0) x[17][29] = 18
235.95/39.06	c (27,0) x[18][0] = 8
235.95/39.06	c (27,0) x[18][1] = 17
235.95/39.06	c (27,0) x[18][2] = 5
235.95/39.06	c (27,0) x[18][3] = 4
235.95/39.06	c (27,0) x[18][4] = 23
235.95/39.06	c (27,0) x[18][5] = 25
235.95/39.06	c (27,0) x[18][6] = 28
235.95/39.06	c (27,0) x[18][7] = 20
235.95/39.06	c (27,0) x[18][8] = 12
235.95/39.06	c (27,0) x[18][9] = 2
235.95/39.06	c (27,0) x[18][10] = 19
235.95/39.06	c (27,0) x[18][11] = 24
235.95/39.06	c (27,0) x[18][12] = 29
235.95/39.06	c (27,0) x[18][13] = 26
235.95/39.06	c (27,0) x[18][14] = 9
235.95/39.06	c (27,0) x[18][15] = 27
235.95/39.06	c (27,0) x[18][16] = 22
235.95/39.06	c (27,0) x[18][17] = 6
235.95/39.06	c (27,0) x[18][18] = 15
235.95/39.06	c (27,0) x[18][19] = 11
235.95/39.06	c (27,0) x[18][20] = 7
235.95/39.06	c (27,0) x[18][21] = 10
235.95/39.06	c (27,0) x[18][22] = 14
235.95/39.06	c (27,0) x[18][23] = 1
235.95/39.06	c (27,0) x[18][24] = 0
235.95/39.06	c (27,0) x[18][25] = 3
235.95/39.06	c (27,0) x[18][26] = 13
235.95/39.06	c (27,0) x[18][27] = 21
235.95/39.06	c (27,0) x[18][28] = 18
235.95/39.06	c (27,0) x[18][29] = 16
235.95/39.06	c (27,0) x[19][0] = 3
235.95/39.06	c (27,0) x[19][1] = 8
235.95/39.06	c (27,0) x[19][2] = 11
235.95/39.06	c (27,0) x[19][3] = 13
235.95/39.06	c (27,0) x[19][4] = 17
235.95/39.06	c (27,0) x[19][5] = 22
235.95/39.06	c (27,0) x[19][6] = 0
235.95/39.06	c (27,0) x[19][7] = 29
235.95/39.06	c (27,0) x[19][8] = 14
235.95/39.06	c (27,0) x[19][9] = 24
235.95/39.06	c (27,0) x[19][10] = 7
235.95/39.06	c (27,0) x[19][11] = 18
235.95/39.06	c (27,0) x[19][12] = 27
235.95/39.06	c (27,0) x[19][13] = 6
235.95/39.06	c (27,0) x[19][14] = 2
235.95/39.06	c (27,0) x[19][15] = 25
235.95/39.06	c (27,0) x[19][16] = 9
235.95/39.06	c (27,0) x[19][17] = 4
235.95/39.06	c (27,0) x[19][18] = 28
235.95/39.06	c (27,0) x[19][19] = 21
235.95/39.06	c (27,0) x[19][20] = 16
235.95/39.06	c (27,0) x[19][21] = 20
235.95/39.06	c (27,0) x[19][22] = 12
235.95/39.06	c (27,0) x[19][23] = 15
235.95/39.06	c (27,0) x[19][24] = 19
235.95/39.06	c (27,0) x[19][25] = 1
235.95/39.06	c (27,0) x[19][26] = 26
235.95/39.06	c (27,0) x[19][27] = 23
235.95/39.06	c (27,0) x[19][28] = 10
235.95/39.06	c (27,0) x[19][29] = 5
235.95/39.06	c (27,0) x[20][0] = 15
235.95/39.06	c (27,0) x[20][1] = 11
235.95/39.06	c (27,0) x[20][2] = 21
235.95/39.06	c (27,0) x[20][3] = 19
235.95/39.06	c (27,0) x[20][4] = 13
235.95/39.06	c (27,0) x[20][5] = 23
235.95/39.06	c (27,0) x[20][6] = 18
235.95/39.06	c (27,0) x[20][7] = 4
235.95/39.06	c (27,0) x[20][8] = 2
235.95/39.06	c (27,0) x[20][9] = 27
235.95/39.06	c (27,0) x[20][10] = 6
235.95/39.06	c (27,0) x[20][11] = 3
235.95/39.06	c (27,0) x[20][12] = 28
235.95/39.06	c (27,0) x[20][13] = 17
235.95/39.06	c (27,0) x[20][14] = 12
235.95/39.06	c (27,0) x[20][15] = 7
235.95/39.06	c (27,0) x[20][16] = 10
235.95/39.06	c (27,0) x[20][17] = 0
235.95/39.06	c (27,0) x[20][18] = 25
235.95/39.06	c (27,0) x[20][19] = 14
235.95/39.06	c (27,0) x[20][20] = 5
235.95/39.06	c (27,0) x[20][21] = 1
235.95/39.06	c (27,0) x[20][22] = 16
235.95/39.06	c (27,0) x[20][23] = 22
235.95/39.06	c (27,0) x[20][24] = 8
235.95/39.06	c (27,0) x[20][25] = 9
235.95/39.06	c (27,0) x[20][26] = 24
235.95/39.06	c (27,0) x[20][27] = 26
235.95/39.06	c (27,0) x[20][28] = 29
235.95/39.06	c (27,0) x[20][29] = 20
235.95/39.06	c (27,0) x[21][0] = 28
235.95/39.06	c (27,0) x[21][1] = 1
235.95/39.06	c (27,0) x[21][2] = 4
235.95/39.06	c (27,0) x[21][3] = 23
235.95/39.06	c (27,0) x[21][4] = 7
235.95/39.06	c (27,0) x[21][5] = 16
235.95/39.06	c (27,0) x[21][6] = 26
235.95/39.06	c (27,0) x[21][7] = 10
235.95/39.06	c (27,0) x[21][8] = 6
235.95/39.06	c (27,0) x[21][9] = 20
235.95/39.06	c (27,0) x[21][10] = 9
235.95/39.06	c (27,0) x[21][11] = 11
235.95/39.06	c (27,0) x[21][12] = 0
235.95/39.06	c (27,0) x[21][13] = 29
235.95/39.06	c (27,0) x[21][14] = 3
235.95/39.06	c (27,0) x[21][15] = 17
235.95/39.06	c (27,0) x[21][16] = 5
235.95/39.06	c (27,0) x[21][17] = 22
235.95/39.06	c (27,0) x[21][18] = 27
235.95/39.06	c (27,0) x[21][19] = 2
235.95/39.06	c (27,0) x[21][20] = 21
235.95/39.06	c (27,0) x[21][21] = 24
235.95/39.06	c (27,0) x[21][22] = 8
235.95/39.06	c (27,0) x[21][23] = 18
235.95/39.06	c (27,0) x[21][24] = 25
235.95/39.06	c (27,0) x[21][25] = 19
235.95/39.06	c (27,0) x[21][26] = 14
235.95/39.06	c (27,0) x[21][27] = 15
235.95/39.06	c (27,0) x[21][28] = 12
235.95/39.06	c (27,0) x[21][29] = 13
235.95/39.06	c (27,0) x[22][0] = 1
235.95/39.06	c (27,0) x[22][1] = 10
235.95/39.06	c (27,0) x[22][2] = 29
235.95/39.06	c (27,0) x[22][3] = 11
235.95/39.06	c (27,0) x[22][4] = 28
235.95/39.06	c (27,0) x[22][5] = 9
235.95/39.06	c (27,0) x[22][6] = 19
235.95/39.06	c (27,0) x[22][7] = 17
235.95/39.06	c (27,0) x[22][8] = 15
235.95/39.06	c (27,0) x[22][9] = 3
235.95/39.06	c (27,0) x[22][10] = 21
235.95/39.06	c (27,0) x[22][11] = 5
235.95/39.06	c (27,0) x[22][12] = 25
235.95/39.06	c (27,0) x[22][13] = 4
235.95/39.06	c (27,0) x[22][14] = 16
235.95/39.06	c (27,0) x[22][15] = 14
235.95/39.06	c (27,0) x[22][16] = 18
235.95/39.06	c (27,0) x[22][17] = 27
235.95/39.06	c (27,0) x[22][18] = 20
235.95/39.06	c (27,0) x[22][19] = 26
235.95/39.06	c (27,0) x[22][20] = 6
235.95/39.06	c (27,0) x[22][21] = 7
235.95/39.06	c (27,0) x[22][22] = 13
235.95/39.06	c (27,0) x[22][23] = 0
235.95/39.06	c (27,0) x[22][24] = 23
235.95/39.06	c (27,0) x[22][25] = 24
235.95/39.06	c (27,0) x[22][26] = 2
235.95/39.06	c (27,0) x[22][27] = 22
235.95/39.06	c (27,0) x[22][28] = 8
235.95/39.06	c (27,0) x[22][29] = 12
235.95/39.06	c (27,0) x[23][0] = 12
235.95/39.06	c (27,0) x[23][1] = 3
235.95/39.06	c (27,0) x[23][2] = 0
235.95/39.06	c (27,0) x[23][3] = 2
235.95/39.06	c (27,0) x[23][4] = 5
235.95/39.06	c (27,0) x[23][5] = 18
235.95/39.06	c (27,0) x[23][6] = 10
235.95/39.06	c (27,0) x[23][7] = 21
235.95/39.06	c (27,0) x[23][8] = 8
235.95/39.06	c (27,0) x[23][9] = 7
235.95/39.06	c (27,0) x[23][10] = 15
235.95/39.06	c (27,0) x[23][11] = 19
235.95/39.06	c (27,0) x[23][12] = 16
235.95/39.06	c (27,0) x[23][13] = 24
235.95/39.06	c (27,0) x[23][14] = 13
235.95/39.06	c (27,0) x[23][15] = 23
235.95/39.06	c (27,0) x[23][16] = 4
235.95/39.06	c (27,0) x[23][17] = 28
235.95/39.06	c (27,0) x[23][18] = 14
235.95/39.06	c (27,0) x[23][19] = 1
235.95/39.06	c (27,0) x[23][20] = 27
235.95/39.06	c (27,0) x[23][21] = 22
235.95/39.06	c (27,0) x[23][22] = 29
235.95/39.06	c (27,0) x[23][23] = 20
235.95/39.06	c (27,0) x[23][24] = 9
235.95/39.06	c (27,0) x[23][25] = 6
235.95/39.06	c (27,0) x[23][26] = 25
235.95/39.06	c (27,0) x[23][27] = 11
235.95/39.06	c (27,0) x[23][28] = 26
235.95/39.06	c (27,0) x[23][29] = 17
235.95/39.06	c (27,0) x[24][0] = 16
235.95/39.06	c (27,0) x[24][1] = 24
235.95/39.06	c (27,0) x[24][2] = 23
235.95/39.06	c (27,0) x[24][3] = 29
235.95/39.06	c (27,0) x[24][4] = 2
235.95/39.06	c (27,0) x[24][5] = 14
235.95/39.06	c (27,0) x[24][6] = 8
235.95/39.06	c (27,0) x[24][7] = 15
235.95/39.06	c (27,0) x[24][8] = 4
235.95/39.06	c (27,0) x[24][9] = 1
235.95/39.06	c (27,0) x[24][10] = 20
235.95/39.06	c (27,0) x[24][11] = 26
235.95/39.06	c (27,0) x[24][12] = 22
235.95/39.06	c (27,0) x[24][13] = 0
235.95/39.06	c (27,0) x[24][14] = 7
235.95/39.06	c (27,0) x[24][15] = 5
235.95/39.06	c (27,0) x[24][16] = 17
235.95/39.06	c (27,0) x[24][17] = 18
235.95/39.06	c (27,0) x[24][18] = 12
235.95/39.06	c (27,0) x[24][19] = 3
235.95/39.06	c (27,0) x[24][20] = 10
235.95/39.06	c (27,0) x[24][21] = 11
235.95/39.06	c (27,0) x[24][22] = 9
235.95/39.06	c (27,0) x[24][23] = 21
235.95/39.06	c (27,0) x[24][24] = 6
235.95/39.06	c (27,0) x[24][25] = 25
235.95/39.06	c (27,0) x[24][26] = 19
235.95/39.06	c (27,0) x[24][27] = 28
235.95/39.06	c (27,0) x[24][28] = 13
235.95/39.06	c (27,0) x[24][29] = 27
235.95/39.06	c (27,0) x[25][0] = 21
235.95/39.06	c (27,0) x[25][1] = 20
235.95/39.06	c (27,0) x[25][2] = 18
235.95/39.06	c (27,0) x[25][3] = 28
235.95/39.06	c (27,0) x[25][4] = 25
235.95/39.06	c (27,0) x[25][5] = 1
235.95/39.06	c (27,0) x[25][6] = 11
235.95/39.06	c (27,0) x[25][7] = 12
235.95/39.06	c (27,0) x[25][8] = 7
235.95/39.06	c (27,0) x[25][9] = 22
235.95/39.06	c (27,0) x[25][10] = 29
235.95/39.06	c (27,0) x[25][11] = 15
235.95/39.06	c (27,0) x[25][12] = 10
235.95/39.06	c (27,0) x[25][13] = 23
235.95/39.06	c (27,0) x[25][14] = 0
235.95/39.06	c (27,0) x[25][15] = 16
235.95/39.06	c (27,0) x[25][16] = 2
235.95/39.06	c (27,0) x[25][17] = 9
235.95/39.06	c (27,0) x[25][18] = 5
235.95/39.06	c (27,0) x[25][19] = 6
235.95/39.06	c (27,0) x[25][20] = 19
235.95/39.06	c (27,0) x[25][21] = 8
235.95/39.06	c (27,0) x[25][22] = 3
235.95/39.06	c (27,0) x[25][23] = 27
235.95/39.06	c (27,0) x[25][24] = 13
235.95/39.06	c (27,0) x[25][25] = 26
235.95/39.06	c (27,0) x[25][26] = 17
235.95/39.06	c (27,0) x[25][27] = 14
235.95/39.06	c (27,0) x[25][28] = 4
235.95/39.06	c (27,0) x[25][29] = 24
235.95/39.06	c (27,0) x[26][0] = 23
235.95/39.06	c (27,0) x[26][1] = 29
235.95/39.06	c (27,0) x[26][2] = 19
235.95/39.06	c (27,0) x[26][3] = 25
235.95/39.06	c (27,0) x[26][4] = 22
235.95/39.06	c (27,0) x[26][5] = 2
235.95/39.06	c (27,0) x[26][6] = 9
235.95/39.06	c (27,0) x[26][7] = 28
235.95/39.06	c (27,0) x[26][8] = 26
235.95/39.06	c (27,0) x[26][9] = 18
235.95/39.06	c (27,0) x[26][10] = 0
235.95/39.06	c (27,0) x[26][11] = 1
235.95/39.07	c (27,0) x[26][12] = 3
235.95/39.07	c (27,0) x[26][13] = 8
235.95/39.07	c (27,0) x[26][14] = 6
235.95/39.07	c (27,0) x[26][15] = 21
235.95/39.07	c (27,0) x[26][16] = 11
235.95/39.07	c (27,0) x[26][17] = 20
235.95/39.07	c (27,0) x[26][18] = 13
235.95/39.07	c (27,0) x[26][19] = 17
235.95/39.07	c (27,0) x[26][20] = 12
235.95/39.07	c (27,0) x[26][21] = 27
235.95/39.07	c (27,0) x[26][22] = 24
235.95/39.07	c (27,0) x[26][23] = 7
235.95/39.07	c (27,0) x[26][24] = 5
235.95/39.07	c (27,0) x[26][25] = 10
235.95/39.07	c (27,0) x[26][26] = 15
235.95/39.07	c (27,0) x[26][27] = 16
235.95/39.07	c (27,0) x[26][28] = 14
235.95/39.07	c (27,0) x[26][29] = 4
235.95/39.07	c (27,0) x[27][0] = 13
235.95/39.07	c (27,0) x[27][1] = 18
235.95/39.07	c (27,0) x[27][2] = 26
235.95/39.07	c (27,0) x[27][3] = 16
235.95/39.07	c (27,0) x[27][4] = 6
235.95/39.07	c (27,0) x[27][5] = 10
235.95/39.07	c (27,0) x[27][6] = 23
235.95/39.07	c (27,0) x[27][7] = 22
235.95/39.07	c (27,0) x[27][8] = 3
235.95/39.07	c (27,0) x[27][9] = 12
235.95/39.07	c (27,0) x[27][10] = 27
235.95/39.07	c (27,0) x[27][11] = 9
235.95/39.07	c (27,0) x[27][12] = 7
235.95/39.07	c (27,0) x[27][13] = 14
235.95/39.07	c (27,0) x[27][14] = 25
235.95/39.07	c (27,0) x[27][15] = 29
235.95/39.07	c (27,0) x[27][16] = 8
235.95/39.07	c (27,0) x[27][17] = 2
235.95/39.07	c (27,0) x[27][18] = 17
235.95/39.07	c (27,0) x[27][19] = 15
235.95/39.07	c (27,0) x[27][20] = 24
235.95/39.07	c (27,0) x[27][21] = 0
235.95/39.07	c (27,0) x[27][22] = 20
235.95/39.07	c (27,0) x[27][23] = 4
235.95/39.07	c (27,0) x[27][24] = 21
235.95/39.07	c (27,0) x[27][25] = 5
235.95/39.07	c (27,0) x[27][26] = 28
235.95/39.07	c (27,0) x[27][27] = 19
235.95/39.07	c (27,0) x[27][28] = 11
235.95/39.07	c (27,0) x[27][29] = 1
235.95/39.07	c (27,0) x[28][0] = 19
235.95/39.07	c (27,0) x[28][1] = 16
235.95/39.07	c (27,0) x[28][2] = 15
235.95/39.07	c (27,0) x[28][3] = 17
235.95/39.07	c (27,0) x[28][4] = 14
235.95/39.07	c (27,0) x[28][5] = 11
235.95/39.07	c (27,0) x[28][6] = 27
235.95/39.07	c (27,0) x[28][7] = 5
235.95/39.07	c (27,0) x[28][8] = 0
235.95/39.07	c (27,0) x[28][9] = 26
235.95/39.07	c (27,0) x[28][10] = 18
235.95/39.07	c (27,0) x[28][11] = 7
235.95/39.07	c (27,0) x[28][12] = 13
235.95/39.07	c (27,0) x[28][13] = 28
235.95/39.07	c (27,0) x[28][14] = 4
235.95/39.07	c (27,0) x[28][15] = 20
235.95/39.07	c (27,0) x[28][16] = 24
235.95/39.07	c (27,0) x[28][17] = 12
235.95/39.07	c (27,0) x[28][18] = 8
235.95/39.07	c (27,0) x[28][19] = 22
235.95/39.07	c (27,0) x[28][20] = 9
235.95/39.07	c (27,0) x[28][21] = 3
235.95/39.07	c (27,0) x[28][22] = 25
235.95/39.07	c (27,0) x[28][23] = 6
235.95/39.07	c (27,0) x[28][24] = 1
235.95/39.07	c (27,0) x[28][25] = 2
235.95/39.07	c (27,0) x[28][26] = 29
235.95/39.07	c (27,0) x[28][27] = 10
235.95/39.07	c (27,0) x[28][28] = 21
235.95/39.07	c (27,0) x[28][29] = 23
235.95/39.07	c (27,0) x[29][0] = 9
235.95/39.07	c (27,0) x[29][1] = 27
235.95/39.07	c (27,0) x[29][2] = 14
235.95/39.07	c (27,0) x[29][3] = 7
235.95/39.07	c (27,0) x[29][4] = 3
235.95/39.07	c (27,0) x[29][5] = 12
235.95/39.07	c (27,0) x[29][6] = 25
235.95/39.07	c (27,0) x[29][7] = 0
235.95/39.07	c (27,0) x[29][8] = 20
235.95/39.07	c (27,0) x[29][9] = 8
235.95/39.07	c (27,0) x[29][10] = 4
235.95/39.07	c (27,0) x[29][11] = 6
235.95/39.07	c (27,0) x[29][12] = 2
235.95/39.07	c (27,0) x[29][13] = 18
235.95/39.07	c (27,0) x[29][14] = 10
235.95/39.07	c (27,0) x[29][15] = 26
235.95/39.07	c (27,0) x[29][16] = 23
235.95/39.07	c (27,0) x[29][17] = 21
235.95/39.07	c (27,0) x[29][18] = 22
235.95/39.07	c (27,0) x[29][19] = 28
235.95/39.07	c (27,0) x[29][20] = 13
235.95/39.07	c (27,0) x[29][21] = 19
235.95/39.07	c (27,0) x[29][22] = 5
235.95/39.07	c (27,0) x[29][23] = 29
235.95/39.07	c (27,0) x[29][24] = 16
235.95/39.07	c (27,0) x[29][25] = 17
235.95/39.07	c (27,0) x[29][26] = 11
235.95/39.07	c (27,0) x[29][27] = 24
235.95/39.07	c (27,0) x[29][28] = 1
235.95/39.07	c (27,0) x[29][29] = 15
235.95/39.07	s SATISFIABLE
235.95/39.07	v <instantiation>
235.95/39.07	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>
235.95/39.07	v     <values>18 13 10 15 0 19 22 8 27 9 5 17 4 12 26 3 1 7 16 25 11 23 21 28 14 29 6 20 24 2 27 21 22 6 19 3 2 24 29 5 13 0 18 11 17 10 26 16 23 12 1 14 15 8 20 7 9 4 25 28 10 2 9 12 29 17 20 14 5 21 26 16 23 1 18 24 6 8 11 7 28 25 19 3 22 4 27 13 15 0 2 19 12 20 9 26 3 18 13 10 14 23 21 5 15 1 7 17 6 29 0 28 4 24 11 16 8 27 22 25 0 25 16 22 12 28 13 3 18 4 24 21 6 19 27 9 29 14 1 10 23 26 11 17 15 20 5 8 2 7 14 5 28 9 18 29 1 2 17 11 8 13 19 16 21 0 27 10 24 20 3 4 6 23 26 15 12 25 7 22 26 28 6 10 1 4 16 7 9 0 25 20 8 22 24 19 3 23 21 5 15 17 2 13 29 11 18 12 27 14 17 26 24 3 16 7 4 1 21 13 22 8 20 25 19 12 0 15 29 18 14 9 28 2 27 23 10 6 5 11 5 23 20 18 21 8 6 11 22 16 17 25 15 13 1 2 14 26 3 9 29 12 27 10 24 28 4 7 0 19 22 0 2 5 8 27 14 13 10 28 16 4 24 7 11 6 15 25 26 23 20 29 17 12 18 21 3 1 19 9 11 14 7 0 26 13 12 23 1 25 10 27 9 3 20 15 16 29 19 24 4 2 18 5 28 8 22 17 6 21 25 6 3 21 15 24 5 26 28 19 2 14 17 9 29 4 12 11 18 8 22 13 23 16 7 27 1 0 20 10 4 12 27 26 10 21 24 25 16 6 23 29 1 15 14 11 20 19 0 13 17 5 22 9 3 18 7 2 28 8 6 15 25 27 24 20 17 16 11 14 3 22 12 2 5 18 28 13 7 4 8 21 1 19 10 0 23 29 9 26 20 4 8 24 27 6 7 19 23 15 1 2 11 21 22 28 13 3 9 16 26 18 10 25 12 14 0 5 17 29 29 7 17 8 4 5 15 9 24 23 11 12 14 27 28 13 21 1 10 19 25 6 0 26 2 22 20 18 16 3 7 9 1 14 20 15 29 27 19 17 12 28 5 10 8 22 25 24 2 0 18 16 26 11 4 13 21 3 23 6 24 22 13 1 11 0 21 6 25 29 28 10 26 20 23 8 19 5 4 27 2 15 7 14 17 12 16 9 3 18 8 17 5 4 23 25 28 20 12 2 19 24 29 26 9 27 22 6 15 11 7 10 14 1 0 3 13 21 18 16 3 8 11 13 17 22 0 29 14 24 7 18 27 6 2 25 9 4 28 21 16 20 12 15 19 1 26 23 10 5 15 11 21 19 13 23 18 4 2 27 6 3 28 17 12 7 10 0 25 14 5 1 16 22 8 9 24 26 29 20 28 1 4 23 7 16 26 10 6 20 9 11 0 29 3 17 5 22 27 2 21 24 8 18 25 19 14 15 12 13 1 10 29 11 28 9 19 17 15 3 21 5 25 4 16 14 18 27 20 26 6 7 13 0 23 24 2 22 8 12 12 3 0 2 5 18 10 21 8 7 15 19 16 24 13 23 4 28 14 1 27 22 29 20 9 6 25 11 26 17 16 24 23 29 2 14 8 15 4 1 20 26 22 0 7 5 17 18 12 3 10 11 9 21 6 25 19 28 13 27 21 20 18 28 25 1 11 12 7 22 29 15 10 23 0 16 2 9 5 6 19 8 3 27 13 26 17 14 4 24 23 29 19 25 22 2 9 28 26 18 0 1 3 8 6 21 11 20 13 17 12 27 24 7 5 10 15 16 14 4 13 18 26 16 6 10 23 22 3 12 27 9 7 14 25 29 8 2 17 15 24 0 20 4 21 5 28 19 11 1 19 16 15 17 14 11 27 5 0 26 18 7 13 28 4 20 24 12 8 22 9 3 25 6 1 2 29 10 21 23 9 27 14 7 3 12 25 0 20 8 4 6 2 18 10 26 23 21 22 28 13 19 5 29 16 17 11 24 1 15</values>
235.95/39.07	v </instantiation>
235.95/39.07	c (27,0) Show results End
235.95/39.07	c (27,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
235.95/39.07	c (27,0) 27,27,STOP-AFTER(ALL)
235.95/39.07	c END-Prog: Tue Sep 24 23:06:12 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 (11576 MiB free)
  memory of node 1: 16384 MiB (12622 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405334-1569359174/watcher-4405334-1569359174 -o /var/tmp/evaluation-result-4405334-1569359174/solver-4405334-1569359174 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569358924-29704 --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-4405334-1569359174.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=30105, runsolver pid=30102
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 4.08 5.44 7.07 2/211 30127
/proc/meminfo: memFree=24683572/32770624 swapFree=66976788/67108860
[pid=30105] ppid=30102 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30105/stat : 30105 (scop.sh) S 30102 30105 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511857478 115843072 349 33554432000 4194304 5098028 140731456779536 140731456776792 140504898118268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37576704 140731456787197 140731456787544 140731456787544 140731456790473 0
/proc/30105/statm: 28282 349 296 221 0 87 0
[pid=30108] ppid=30105 vsize=27314120 memory=106532 CPUtime=0.11 cores=0-7
/proc/30108/stat : 30108 (java) S 30105 30105 29677 0 -1 1077944320 6727 0 0 0 8 3 0 0 20 0 20 0 511857479 27969658880 26633 33554432000 4194304 4196468 140732348407584 140732348390128 139699113979639 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
/proc/30108/statm: 6828530 26633 2804 1 0 6790935 0
[pid=30108/tid=30109] ppid=30105 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30108/task/30109/stat : 30109 (java) R 30105 30105 29677 0 -1 4202560 4818 0 0 0 6 2 0 0 20 0 20 0 511857479 27969658880 26633 33554432000 4194304 4196468 140732348407584 139699085806352 139699100047758 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30110] ppid=30105 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30108/task/30110/stat : 30110 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857481 27969658880 26633 33554432000 4194304 4196468 140732348407584 139699118221968 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30111] ppid=30105 vsize=27314120 memory=139662643549824 CPUtime=0 cores=0-7
/proc/30108/task/30111/stat : 30111 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 26633 33554432000 4194304 4196468 140732348407584 139698932378128 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30112] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30112/stat : 30112 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 26633 33554432000 4194304 4196468 140732348407584 139698931325328 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30113] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30113/stat : 30113 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 26633 33554432000 4194304 4196468 140732348407584 139698930272528 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30114] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30114/stat : 30114 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 26633 33554432000 4194304 4196468 140732348407584 139698929220752 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30115] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30115/stat : 30115 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 27145 33554432000 4194304 4196468 140732348407584 139698928167952 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30116] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30116/stat : 30116 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 27145 33554432000 4194304 4196468 140732348407584 139698927115152 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30117] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30117/stat : 30117 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 27145 33554432000 4194304 4196468 140732348407584 139698926062352 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30118] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30118/stat : 30118 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857483 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697969940848 139699113990786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30119] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30119/stat : 30119 (java) S 30105 30105 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511857484 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697032520736 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30120] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30120/stat : 30120 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857484 27969658880 27145 33554432000 4194304 4196468 140732348407584 139696764085104 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30121] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30121/stat : 30121 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 27145 33554432000 4194304 4196468 140732348407584 139696389576528 139699113998235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30122] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30122/stat : 30122 (java) S 30105 30105 29677 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697968888688 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30123] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30123/stat : 30123 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697967835888 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30124] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30124/stat : 30124 (java) S 30105 30105 29677 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697966783088 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30125] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30125/stat : 30125 (java) S 30105 30105 29677 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697965730288 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30126] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30126/stat : 30126 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 27145 33554432000 4194304 4196468 140732348407584 139695891671648 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30127] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30127/stat : 30127 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857487 27969658880 27145 33554432000 4194304 4196468 140732348407584 139697964677680 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107928 KiB

[startup+0.2104 s]*
/proc/loadavg: 4.08 5.44 7.07 2/211 30127
/proc/meminfo: memFree=24662404/32770624 swapFree=66976788/67108860
[pid=30105] ppid=30102 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30105/stat : 30105 (scop.sh) S 30102 30105 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511857478 115843072 349 33554432000 4194304 5098028 140731456779536 140731456776792 140504898118268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37576704 140731456787197 140731456787544 140731456787544 140731456790473 0
/proc/30105/statm: 28282 349 296 221 0 87 0
[pid=30108] ppid=30105 vsize=27314120 memory=125820 CPUtime=0.24 cores=0-7
/proc/30108/stat : 30108 (java) S 30105 30105 29677 0 -1 1077944320 12319 0 0 0 20 4 0 0 20 0 20 0 511857479 27969658880 31455 33554432000 4194304 4196468 140732348407584 140732348390128 139699113979639 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
/proc/30108/statm: 6828530 31455 2922 1 0 6790935 0
[pid=30108/tid=30109] ppid=30105 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30108/task/30109/stat : 30109 (java) R 30105 30105 29677 0 -1 4202560 10022 0 0 0 16 3 0 0 20 0 20 0 511857479 27969658880 31455 33554432000 4194304 4196468 140732348407584 139699085779024 139699095543143 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30110] ppid=30105 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/30108/task/30110/stat : 30110 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857481 27969658880 31455 33554432000 4194304 4196468 140732348407584 139699118221968 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30111] ppid=30105 vsize=27314120 memory=288370038795261568 CPUtime=0 cores=0-7
/proc/30108/task/30111/stat : 30111 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698932378128 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30112] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30112/stat : 30112 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698931325328 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30113] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30113/stat : 30113 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698930272528 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30114] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30114/stat : 30114 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698929220752 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30115] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30115/stat : 30115 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698928167952 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30116] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30116/stat : 30116 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698927115152 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30117] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30117/stat : 30117 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 31455 33554432000 4194304 4196468 140732348407584 139698926062352 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30118] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30118/stat : 30118 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857483 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697969940848 139699113990786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30119] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30119/stat : 30119 (java) S 30105 30105 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511857484 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697032520736 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30120] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30120/stat : 30120 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857484 27969658880 31455 33554432000 4194304 4196468 140732348407584 139696764085104 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30121] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30121/stat : 30121 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 31455 33554432000 4194304 4196468 140732348407584 139696389576528 139699113998235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30122] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30122/stat : 30122 (java) S 30105 30105 29677 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697968888688 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30123] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30123/stat : 30123 (java) S 30105 30105 29677 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697967835888 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30124] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30124/stat : 30124 (java) S 30105 30105 29677 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697966783088 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30125] ppid=30105 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30108/task/30125/stat : 30125 (java) S 30105 30105 29677 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 511857486 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697965730288 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30126] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30126/stat : 30126 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 31455 33554432000 4194304 4196468 140732348407584 139695891671648 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30127] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30127/stat : 30127 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857487 27969658880 31455 33554432000 4194304 4196468 140732348407584 139697964677680 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127216 KiB

[startup+0.310316 s]*
/proc/loadavg: 4.08 5.44 7.07 2/211 30127
/proc/meminfo: memFree=24659488/32770624 swapFree=66976788/67108860
[pid=30105] ppid=30102 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30105/stat : 30105 (scop.sh) S 30102 30105 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511857478 115843072 349 33554432000 4194304 5098028 140731456779536 140731456776792 140504898118268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37576704 140731456787197 140731456787544 140731456787544 140731456790473 0
/proc/30105/statm: 28282 349 296 221 0 87 0
[pid=30108] ppid=30105 vsize=27314120 memory=129548 CPUtime=0.43 cores=0-7
/proc/30108/stat : 30108 (java) S 30105 30105 29677 0 -1 1077944320 12807 0 0 0 38 5 0 0 20 0 20 0 511857479 27969658880 32387 33554432000 4194304 4196468 140732348407584 140732348390128 139699113979639 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
/proc/30108/statm: 6828530 32387 3007 1 0 6790935 0
[pid=30108/tid=30109] ppid=30105 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30108/task/30109/stat : 30109 (java) R 30105 30105 29677 0 -1 4202560 10308 0 0 0 26 4 0 0 20 0 20 0 511857479 27969658880 32387 33554432000 4194304 4196468 140732348407584 139699085791984 139699095543195 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30110] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30110/stat : 30110 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857481 27969658880 32387 33554432000 4194304 4196468 140732348407584 139699118221968 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30111] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30111/stat : 30111 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698932378128 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30112] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30112/stat : 30112 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698931325328 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30113] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30113/stat : 30113 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698930272528 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30114] ppid=30105 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30108/task/30114/stat : 30114 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698929220752 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30115] ppid=30105 vsize=27314120 memory=139662538666927 CPUtime=0 cores=0-7
/proc/30108/task/30115/stat : 30115 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698928167952 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30116] ppid=30105 vsize=27314120 memory=139662538669232 CPUtime=0 cores=0-7
/proc/30108/task/30116/stat : 30116 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698927115152 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30117] ppid=30105 vsize=27314120 memory=139662538671536 CPUtime=0 cores=0-7
/proc/30108/task/30117/stat : 30117 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857482 27969658880 32387 33554432000 4194304 4196468 140732348407584 139698926062352 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30118] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30118/stat : 30118 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857483 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697969940848 139699113990786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30119] ppid=30105 vsize=27314120 memory=279325077350032 CPUtime=0 cores=0-7
/proc/30108/task/30119/stat : 30119 (java) S 30105 30105 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511857484 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697032520736 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30120] ppid=30105 vsize=27314120 memory=279325077356944 CPUtime=0 cores=0-7
/proc/30108/task/30120/stat : 30120 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857484 27969658880 32387 33554432000 4194304 4196468 140732348407584 139696764085104 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30121] ppid=30105 vsize=27314120 memory=279325077298224 CPUtime=0 cores=0-7
/proc/30108/task/30121/stat : 30121 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 32387 33554432000 4194304 4196468 140732348407584 139696389576528 139699113998235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30122] ppid=30105 vsize=27314120 memory=279325077370768 CPUtime=0 cores=0-7
/proc/30108/task/30122/stat : 30122 (java) S 30105 30105 29677 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697968888688 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30123] ppid=30105 vsize=27314120 memory=279325077377680 CPUtime=0.01 cores=0-7
/proc/30108/task/30123/stat : 30123 (java) S 30105 30105 29677 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 511857486 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697967835888 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30124] ppid=30105 vsize=27314120 memory=279325077375376 CPUtime=0.02 cores=0-7
/proc/30108/task/30124/stat : 30124 (java) S 30105 30105 29677 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 511857486 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697966783088 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30125] ppid=30105 vsize=27314120 memory=279325077391536 CPUtime=0.07 cores=0-7
/proc/30108/task/30125/stat : 30125 (java) S 30105 30105 29677 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 511857486 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697965730288 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30126] ppid=30105 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30126/stat : 30126 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857486 27969658880 32387 33554432000 4194304 4196468 140732348407584 139695891671648 139699113989845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30127] ppid=30105 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30108/task/30127/stat : 30127 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857487 27969658880 32387 33554432000 4194304 4196468 140732348407584 139697964677680 139699113990786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130944 KiB

[startup+0.700945 s]
/proc/loadavg: 4.08 5.44 7.07 2/211 30127
/proc/meminfo: memFree=24637412/32770624 swapFree=66976788/67108860
[pid=30105] ppid=30102 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30105/stat : 30105 (scop.sh) S 30102 30105 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511857478 115843072 349 33554432000 4194304 5098028 140731456779536 140731456776792 140504898118268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37576704 140731456787197 140731456787544 140731456787544 140731456790473 0
/proc/30105/statm: 28282 349 296 221 0 87 0
[pid=30108] ppid=30105 vsize=27322516 memory=166564 CPUtime=1 cores=0-7
/proc/30108/stat : 30108 (java) S 30105 30105 29677 0 -1 1077944320 20669 0 0 0 93 7 0 0 20 0 20 0 511857479 27978256384 41641 33554432000 4194304 4196468 140732348407584 140732348390128 139699113979639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
/proc/30108/statm: 6830629 41641 3203 1 0 6791959 0
[pid=30108/tid=30109] ppid=30105 vsize=27322516 memory=279325077749424 CPUtime=0.67 cores=0-7
/proc/30108/task/30109/stat : 30109 (java) R 30105 30105 29677 0 -1 4202560 17554 0 0 0 61 6 0 0 20 0 20 0 511857479 27978256384 41641 33554432000 4194304 4196468 140732348407584 139699085811376 139699098060126 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30110] ppid=30105 vsize=27322516 memory=139662538875760 CPUtime=0 cores=0-7
/proc/30108/task/30110/stat : 30110 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857481 27978256384 41641 33554432000 4194304 4196468 140732348407584 139699118221968 139699113989845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30111] ppid=30105 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30108/task/30111/stat : 30111 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857482 27978256384 41641 33554432000 4194304 4196468 140732348407584 139698932378128 139699113989845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0
[pid=30108/tid=30112] ppid=30105 vsize=27322516 memory=1060 CPUtime=0 cores=0-7
/proc/30108/task/30112/stat : 30112 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857482 27978256384 41641 33554432000 4194304 4196468 140732348407584 139698931325328 139699113989845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14168064 140732348412615 140732348413062 140732348413062 140732348415951 0

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

/proc/30128/task/30132/stat : 30132 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794265570192 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30133] ppid=30105 vsize=8414124 memory=123836 CPUtime=0 cores=0-7
/proc/30128/task/30133/stat : 30133 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794264517392 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30134] ppid=30105 vsize=8414124 memory=208920 CPUtime=0 cores=0-7
/proc/30128/task/30134/stat : 30134 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794263464592 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30135] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30135/stat : 30135 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794262411792 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30136] ppid=30105 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/30128/task/30136/stat : 30136 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794261358992 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30137] ppid=30105 vsize=8414124 memory=279325078422176 CPUtime=0 cores=0-7
/proc/30128/task/30137/stat : 30137 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794260306192 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30138] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30138/stat : 30138 (java) S 30105 30105 29677 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511858551 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794210847600 139794781784706 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30139] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30139/stat : 30139 (java) S 30105 30105 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511858551 8616062976 30959 33554432000 4194304 4196468 140721405322288 139793065305632 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30140] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30140/stat : 30140 (java) S 30105 30105 29677 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511858552 8616062976 30959 33554432000 4194304 4196468 140721405322288 139792931083632 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30141] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30141/stat : 30141 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858554 8616062976 30959 33554432000 4194304 4196468 140721405322288 139792556579152 139794781792155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30142] ppid=30105 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/30128/task/30142/stat : 30142 (java) S 30105 30105 29677 0 -1 1077944384 306 0 0 0 9 0 0 0 20 0 24 0 511858554 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794209794416 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30143] ppid=30105 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/30128/task/30143/stat : 30143 (java) S 30105 30105 29677 0 -1 1077944384 843 0 0 0 13 0 0 0 20 0 24 0 511858554 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794208741616 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30144] ppid=30105 vsize=8414124 memory=7686721470367831699 CPUtime=0.09 cores=0-7
/proc/30128/task/30144/stat : 30144 (java) S 30105 30105 29677 0 -1 1077944384 434 0 0 0 9 0 0 0 20 0 24 0 511858554 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794207688816 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30145] ppid=30105 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/30128/task/30145/stat : 30145 (java) S 30105 30105 29677 0 -1 1077944384 538 0 0 0 22 0 0 0 20 0 24 0 511858554 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794139047920 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30146] ppid=30105 vsize=8414124 memory=123836 CPUtime=0 cores=0-7
/proc/30128/task/30146/stat : 30146 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511858554 8616062976 30959 33554432000 4194304 4196468 140721405322288 139792058674272 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30147] ppid=30105 vsize=8414124 memory=389024 CPUtime=0.01 cores=0-7
/proc/30128/task/30147/stat : 30147 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511858555 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794137996336 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30149] ppid=30105 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/30128/task/30149/stat : 30149 (java) S 30105 30105 29677 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511858626 8616062976 30959 33554432000 4194304 4196468 140721405322288 139794206635584 139794781798169 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30151] ppid=30105 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/30128/task/30151/stat : 30151 (java) S 30105 30105 29677 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511858626 8616062976 30959 33554432000 4194304 4196468 140721405322288 139791656009360 139794781795485 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30152] ppid=30105 vsize=8414124 memory=65428 CPUtime=0 cores=0-7
/proc/30128/task/30152/stat : 30152 (java) S 30105 30105 29677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 511858626 8616062976 30959 33554432000 4194304 4196468 140721405322288 139791387573776 139794781795485 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30153] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30153/stat : 30153 (java) S 30105 30105 29677 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511858628 8616062976 30959 33554432000 4194304 4196468 140721405322288 139791119146032 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
Current children cumulated CPU time: 232.54 s
Current children cumulated vsize: 9323688 KiB
Current children cumulated memory: 518864 KiB

[startup+38.8015 s]
/proc/loadavg: 5.11 5.49 7.03 10/225 30163
/proc/meminfo: memFree=24269628/32770624 swapFree=66976788/67108860
[pid=30105] ppid=30102 vsize=113128 memory=1476 CPUtime=19.91 cores=0-7
/proc/30105/stat : 30105 (scop.sh) S 30102 30105 29677 0 -1 4202496 583 34640 0 0 0 0 1910 81 20 0 1 0 511857478 115843072 369 33554432000 4194304 5098028 140731456779536 140731456776280 140504898118268 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37576704 140731456787197 140731456787544 140731456787544 140731456790473 0
/proc/30105/statm: 28282 369 311 221 0 87 0
[pid=30128] ppid=30105 vsize=8414124 memory=125684 CPUtime=1.47 cores=0-7
/proc/30128/stat : 30128 (java) S 30105 30105 29677 0 -1 1077944320 21508 0 0 0 138 9 0 0 20 0 24 0 511858548 8616062976 31421 33554432000 4194304 4196468 140721405322288 140721405304832 139794781773559 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
/proc/30128/statm: 2103531 31421 3204 1 0 2064875 0
[pid=30148] ppid=30128 vsize=763652 memory=398080 CPUtime=214.03 cores=0-7
/proc/30148/stat : 30148 (manyglucose-4.1) R 30128 30105 29677 0 -1 4202496 229929 0 0 0 21348 55 0 0 20 0 1 0 511858625 781979648 99520 33554432000 4194304 4454172 140730956002768 140730955999488 140227078270077 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552832 6554400 27852800 140730956006221 140730956006428 140730956006428 140730956009398 0
/proc/30148/statm: 190913 99520 422 64 0 186581 0
[pid=30128/tid=30129] ppid=30105 vsize=8414124 memory=1476 CPUtime=0.8 cores=0-7
/proc/30128/task/30129/stat : 30129 (java) S 30105 30105 29677 0 -1 1077944384 17426 0 0 0 74 6 0 0 20 0 24 0 511858548 8616062976 31421 33554432000 4194304 4196468 140721405322288 139794753613728 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30130] ppid=30105 vsize=8414124 memory=123836 CPUtime=0 cores=0-7
/proc/30128/task/30130/stat : 30130 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794786016400 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30131] ppid=30105 vsize=8414124 memory=391620 CPUtime=0 cores=0-7
/proc/30128/task/30131/stat : 30131 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794610658320 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30132] ppid=30105 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/30128/task/30132/stat : 30132 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794265570192 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30133] ppid=30105 vsize=8414124 memory=389544 CPUtime=0 cores=0-7
/proc/30128/task/30133/stat : 30133 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794264517392 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30134] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30134/stat : 30134 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794263464592 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30135] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30135/stat : 30135 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794262411792 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30136] ppid=30105 vsize=8414124 memory=7884234397122123364 CPUtime=0 cores=0-7
/proc/30128/task/30136/stat : 30136 (java) S 30105 30105 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794261358992 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30137] ppid=30105 vsize=8414124 memory=7237124542439706978 CPUtime=0 cores=0-7
/proc/30128/task/30137/stat : 30137 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511858549 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794260306192 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30138] ppid=30105 vsize=8414124 memory=8028908124219269734 CPUtime=0 cores=0-7
/proc/30128/task/30138/stat : 30138 (java) S 30105 30105 29677 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511858551 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794210847600 139794781784706 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30139] ppid=30105 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/30128/task/30139/stat : 30139 (java) S 30105 30105 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511858551 8616062976 31487 33554432000 4194304 4196468 140721405322288 139793065305632 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30140] ppid=30105 vsize=8414124 memory=6010431326575878249 CPUtime=0 cores=0-7
/proc/30128/task/30140/stat : 30140 (java) S 30105 30105 29677 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511858552 8616062976 31487 33554432000 4194304 4196468 140721405322288 139792931083632 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30141] ppid=30105 vsize=8414124 memory=7451300598349063504 CPUtime=0 cores=0-7
/proc/30128/task/30141/stat : 30141 (java) S 30105 30105 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511858554 8616062976 31487 33554432000 4194304 4196468 140721405322288 139792556579152 139794781792155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30142] ppid=30105 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/30128/task/30142/stat : 30142 (java) R 30105 30105 29677 0 -1 4202560 423 0 0 0 10 0 0 0 20 0 24 0 511858554 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794209782096 139794762475223 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30143] ppid=30105 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/30128/task/30143/stat : 30143 (java) R 30105 30105 29677 0 -1 4202560 851 0 0 0 13 0 0 0 20 0 24 0 511858554 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794208732000 139794765273681 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30144] ppid=30105 vsize=8414124 memory=279325079854560 CPUtime=0.1 cores=0-7
/proc/30128/task/30144/stat : 30144 (java) S 30105 30105 29677 0 -1 1077944384 439 0 0 0 10 0 0 0 20 0 24 0 511858554 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794207688816 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30145] ppid=30105 vsize=8414124 memory=139662539944144 CPUtime=0.25 cores=0-7
/proc/30128/task/30145/stat : 30145 (java) R 30105 30105 29677 0 -1 4202560 966 0 0 0 25 0 0 0 20 0 24 0 511858554 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794139046320 139794760450896 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30146] ppid=30105 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30128/task/30146/stat : 30146 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511858554 8616062976 31487 33554432000 4194304 4196468 140721405322288 139792058674272 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30147] ppid=30105 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/30128/task/30147/stat : 30147 (java) S 30105 30105 29677 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511858555 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794137996336 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30149] ppid=30105 vsize=8414124 memory=123836 CPUtime=0 cores=0-7
/proc/30128/task/30149/stat : 30149 (java) S 30105 30105 29677 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511858626 8616062976 31487 33554432000 4194304 4196468 140721405322288 139794206635584 139794781798169 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30151] ppid=30105 vsize=8414124 memory=393324 CPUtime=0.02 cores=0-7
/proc/30128/task/30151/stat : 30151 (java) R 30105 30105 29677 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 24 0 511858626 8616062976 31487 33554432000 4194304 4196468 140721405322288 139791656000768 139794781795485 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30152] ppid=30105 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/30128/task/30152/stat : 30152 (java) S 30105 30105 29677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 511858626 8616062976 31487 33554432000 4194304 4196468 140721405322288 139791387573776 139794781795485 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30153] ppid=30105 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/30128/task/30153/stat : 30153 (java) S 30105 30105 29677 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511858628 8616062976 31487 33554432000 4194304 4196468 140721405322288 139791119146032 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
Current children cumulated CPU time: 235.41 s
Current children cumulated vsize: 9290904 KiB
Current children cumulated memory: 525240 KiB

[startup+39.001 s]*
/proc/loadavg: 5.42 5.55 7.04 4/214 30163
/proc/meminfo: memFree=24641380/32770624 swapFree=66976788/67108860
[pid=30105] ppid=30102 vsize=113128 memory=1476 CPUtime=19.91 cores=0-7
/proc/30105/stat : 30105 (scop.sh) S 30102 30105 29677 0 -1 4202496 583 34640 0 0 0 0 1910 81 20 0 1 0 511857478 115843072 369 33554432000 4194304 5098028 140731456779536 140731456776280 140504898118268 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37576704 140731456787197 140731456787544 140731456787544 140731456790473 0
/proc/30105/statm: 28282 369 311 221 0 87 0
[pid=30128] ppid=30105 vsize=8283048 memory=146428 CPUtime=216.04 cores=0-7
/proc/30128/stat : 30128 (java) S 30105 30105 29677 0 -1 1077944320 23055 229935 0 0 189 10 21348 57 20 0 22 0 511858548 8481841152 36607 33554432000 4194304 4196468 140721405322288 140721405304832 139794781773559 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
/proc/30128/statm: 2070762 36607 3233 1 0 2032106 0
[pid=30128/tid=30129] ppid=30105 vsize=8283048 memory=1564 CPUtime=215 cores=0-7
/proc/30128/task/30129/stat : 30129 (java) R 30105 30105 29677 0 -1 4202560 17713 229935 0 0 89 6 21348 57 20 0 22 0 511858548 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794753612512 139794781785494 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30130] ppid=30105 vsize=8283048 memory=6116 CPUtime=214.05 cores=0-7
/proc/30128/task/30130/stat : 30130 (java) S 30105 30105 29677 0 -1 1077944384 2 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794786016400 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30131] ppid=30105 vsize=8283048 memory=4872558044660077418 CPUtime=214.05 cores=0-7
/proc/30128/task/30131/stat : 30131 (java) S 30105 30105 29677 0 -1 1077944384 2 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794610658320 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30132] ppid=30105 vsize=8283048 memory=318340 CPUtime=214.05 cores=0-7
/proc/30128/task/30132/stat : 30132 (java) S 30105 30105 29677 0 -1 1077944384 1 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794265570192 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30133] ppid=30105 vsize=8283048 memory=7686721470367831699 CPUtime=214.05 cores=0-7
/proc/30128/task/30133/stat : 30133 (java) S 30105 30105 29677 0 -1 1077944384 1 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794264517392 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30134] ppid=30105 vsize=8283048 memory=4872558044660077418 CPUtime=214.05 cores=0-7
/proc/30128/task/30134/stat : 30134 (java) S 30105 30105 29677 0 -1 1077944384 2 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794263464592 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30135] ppid=30105 vsize=8283048 memory=0 CPUtime=214.05 cores=0-7
/proc/30128/task/30135/stat : 30135 (java) S 30105 30105 29677 0 -1 1077944384 1 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794262411792 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30136] ppid=30105 vsize=8283048 memory=0 CPUtime=214.05 cores=0-7
/proc/30128/task/30136/stat : 30136 (java) S 30105 30105 29677 0 -1 1077944384 2 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794261358992 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30137] ppid=30105 vsize=8283048 memory=0 CPUtime=214.05 cores=0-7
/proc/30128/task/30137/stat : 30137 (java) S 30105 30105 29677 0 -1 1077944384 3 229935 0 0 0 0 21348 57 20 0 22 0 511858549 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794260306192 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30138] ppid=30105 vsize=8283048 memory=0 CPUtime=214.05 cores=0-7
/proc/30128/task/30138/stat : 30138 (java) S 30105 30105 29677 0 -1 1077944384 5 229935 0 0 0 0 21348 57 20 0 22 0 511858551 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794210847600 139794781784706 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30139] ppid=30105 vsize=8283048 memory=0 CPUtime=214.05 cores=0-7
/proc/30128/task/30139/stat : 30139 (java) S 30105 30105 29677 0 -1 1077944384 13 229935 0 0 0 0 21348 57 20 0 22 0 511858551 8481841152 36607 33554432000 4194304 4196468 140721405322288 139793065305632 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30140] ppid=30105 vsize=8283048 memory=0 CPUtime=214.05 cores=0-7
/proc/30128/task/30140/stat : 30140 (java) S 30105 30105 29677 0 -1 1077944384 21 229935 0 0 0 0 21348 57 20 0 22 0 511858552 8481841152 36607 33554432000 4194304 4196468 140721405322288 139792931083632 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30141] ppid=30105 vsize=8283048 memory=7686721470367831699 CPUtime=214.05 cores=0-7
/proc/30128/task/30141/stat : 30141 (java) S 30105 30105 29677 0 -1 1077944384 1 229935 0 0 0 0 21348 57 20 0 22 0 511858554 8481841152 36607 33554432000 4194304 4196468 140721405322288 139792556579152 139794781792155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30142] ppid=30105 vsize=8283048 memory=0 CPUtime=214.2 cores=0-7
/proc/30128/task/30142/stat : 30142 (java) S 30105 30105 29677 0 -1 1077944384 507 229935 0 0 15 0 21348 57 20 0 22 0 511858554 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794209794416 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30143] ppid=30105 vsize=8283048 memory=0 CPUtime=214.25 cores=0-7
/proc/30128/task/30143/stat : 30143 (java) R 30105 30105 29677 0 -1 4202560 888 229935 0 0 20 0 21348 57 20 0 22 0 511858554 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794208741616 139794774758601 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30144] ppid=30105 vsize=8283048 memory=0 CPUtime=214.23 cores=0-7
/proc/30128/task/30144/stat : 30144 (java) S 30105 30105 29677 0 -1 1077944384 720 229935 0 0 18 0 21348 57 20 0 22 0 511858554 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794207688816 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30145] ppid=30105 vsize=8283048 memory=0 CPUtime=214.4 cores=0-7
/proc/30128/task/30145/stat : 30145 (java) S 30105 30105 29677 0 -1 1077944384 1249 229935 0 0 35 0 21348 57 20 0 22 0 511858554 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794139047920 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30146] ppid=30105 vsize=8283048 memory=279325077676920 CPUtime=214.05 cores=0-7
/proc/30128/task/30146/stat : 30146 (java) S 30105 30105 29677 0 -1 1077944384 3 229935 0 0 0 0 21348 57 20 0 22 0 511858554 8481841152 36607 33554432000 4194304 4196468 140721405322288 139792058674272 139794781783765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30147] ppid=30105 vsize=8283048 memory=-2672971630408907303 CPUtime=214.06 cores=0-7
/proc/30128/task/30147/stat : 30147 (java) S 30105 30105 29677 0 -1 1077944384 3 229935 0 0 0 1 21348 57 20 0 22 0 511858555 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794137996336 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30149] ppid=30105 vsize=8283048 memory=6944656592385698452 CPUtime=214.05 cores=0-7
/proc/30128/task/30149/stat : 30149 (java) S 30105 30105 29677 0 -1 1077944384 23 229935 0 0 0 0 21348 57 20 0 22 0 511858626 8481841152 36607 33554432000 4194304 4196468 140721405322288 139794206634768 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
[pid=30128/tid=30153] ppid=30105 vsize=8283048 memory=6944652027076318631 CPUtime=214.05 cores=0-7
/proc/30128/task/30153/stat : 30153 (java) S 30105 30105 29677 0 -1 1077944384 13 229935 0 0 0 0 21348 57 20 0 22 0 511858628 8481841152 36607 33554432000 4194304 4196468 140721405322288 139791119147824 139794781784706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29622272 140721405330399 140721405330566 140721405330566 140721405333455 0
Current children cumulated CPU time: 235.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 147904 KiB

Child status: 0
Real time (s): 39.0964
CPU time (s): 236.259
CPU user time (s): 234.744
CPU system time (s): 1.51547
CPU usage (%): 604.3
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4386572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.744
system time used= 1.51547
maximum resident set size= 4390532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14718
involuntary context switches= 2557


# summary of solver processes directly reported to runsolver:
#   pid: 30105
#   total CPU time (s): 236.259
#   total CPU user time (s): 234.744
#   total CPU system time (s): 1.51547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.345674 second user time and 0.576939 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-24 23:05:33
IDJOB=4405334
IDBENCH=138958
IDSOLVER=2867
FILE ID=node124/4405334-1569359174
RUNJOBID= node124-1569358924-29704
PBS_JOBID= 21705116
Free space on /var/tmp= 13520 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-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 /var/tmp/evaluation-result-4405334-1569359174/watcher-4405334-1569359174 -o /var/tmp/evaluation-result-4405334-1569359174/solver-4405334-1569359174 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569358924-29704 --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-4405334-1569359174.xml

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

MD5SUM BENCH= 2072ed2e4af5bca545229f959ebdc074
RANDOM SEED=1789182538

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24780144 kB
MemAvailable:   31815312 kB
Buffers:          135600 kB
Cached:          6992736 kB
SwapCached:        29084 kB
Active:          3506620 kB
Inactive:        3655464 kB
Active(anon):       2948 kB
Inactive(anon):    88912 kB
Active(file):    3503672 kB
Inactive(file):  3566552 kB
Unevictable:      108336 kB
Mlocked:          108336 kB
SwapTotal:      67108860 kB
SwapFree:       66976788 kB
Dirty:             20316 kB
Writeback:             0 kB
AnonPages:        114680 kB
Mapped:            57788 kB
Shmem:             49092 kB
Slab:             421916 kB
SReclaimable:     393404 kB
SUnreclaim:        28512 kB
KernelStack:        3360 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13500 MiB
End job on node124 at 2019-09-24 23:06:12