Trace number 4405271

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 166.721 30.5678

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29858-serial-file.bin HOME/instance-4405271-1569359105.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:04:24 CEST 2019
0.66/0.56	c PID: 29861
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.08	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.67/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.08	c (0,0) Constraint Name Generate Begin
1.67/1.08	c (0,0) Ctr:HOME/instance-4405271-1569359105.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.08	c (0,0) Constraint Name Generate End
1.67/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.08	c (0,0) CSP to CSPinCNF Begin
1.90/1.12	c (0,0) translated 1 (10%) constraints
5.66/2.85	c (2,2) translated 2 (20%) constraints
5.66/2.87	c (2,2) ===========================================
6.37/3.06	c (2,2) Order
6.37/3.06	c (2,2) ===========================================
7.88/3.45	c (2,2) translated 2855 (10%) constraints
8.53/3.78	c (3,3) translated 5710 (20%) constraints
8.98/4.12	c (3,3) translated 8564 (30%) constraints
9.28/4.43	c (3,3) translated 11419 (40%) constraints
9.59/4.77	c (4,4) translated 14273 (50%) constraints
10.13/5.07	c (4,4) translated 17128 (60%) constraints
10.44/5.34	c (4,4) translated 19983 (70%) constraints
10.78/5.61	c (5,5) translated 22837 (80%) constraints
11.10/5.92	c (5,5) translated 25692 (90%) constraints
11.31/6.16	c (5,5) translated 28546 (100%) constraints
11.31/6.17	c (5,5) CSP to CSPinCNF End
11.31/6.18	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137072 ctr, max domain size 30
11.31/6.18	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.31/6.18	c (5,5) CSPinCNF Propagation Begin
14.76/8.29	c (7,7) 20463 values, 88035 unsatisfiable literals, and 91460 valid clauses are removed
14.76/8.29	c (7,7) CSPinCNF Propagation End
14.97/8.30	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 45612 ctr, max domain size 30
14.97/8.30	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.97/8.30	c (7,7) Simplify CSPinCNF Begin
16.09/8.84	c (8,8) Simplify CSPinCNF End
16.09/8.85	c (8,8) CSP: 866 int (0 aux), 53096 bool (53062 aux), 71674 ctr, max domain size 30
16.09/8.85	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.09/8.85	c (8,8) Calculate Precise Domain Begin
16.09/8.85	c (8,8) 0 values are removed by re-calculation
16.09/8.85	c (8,8) Calculate Precise Domain End
16.09/8.86	c (8,8) CSP: 866 int (0 aux), 53096 bool (53062 aux), 71674 ctr, max domain size 30
16.09/8.86	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.09/8.86	c (8,8) CSPinCNF to SatSolver Begin
17.72/9.39	c (8,8) 7168 (10 %) CSP clauses are encoded (0 SAT variables, 29718 SAT clauses)
18.22/9.55	c (9,8) 14335 (20 %) CSP clauses are encoded (0 SAT variables, 52329 SAT clauses)
18.48/9.70	c (9,9) 21503 (30 %) CSP clauses are encoded (0 SAT variables, 74331 SAT clauses)
18.60/9.84	c (9,9) 28670 (40 %) CSP clauses are encoded (0 SAT variables, 95430 SAT clauses)
18.70/9.97	c (9,9) 35837 (50 %) CSP clauses are encoded (0 SAT variables, 116485 SAT clauses)
18.91/10.11	c (9,9) 43005 (60 %) CSP clauses are encoded (0 SAT variables, 138689 SAT clauses)
19.04/10.25	c (9,9) 50172 (70 %) CSP clauses are encoded (0 SAT variables, 161670 SAT clauses)
19.15/10.38	c (9,9) 57340 (80 %) CSP clauses are encoded (0 SAT variables, 181702 SAT clauses)
19.35/10.51	c (9,9) 64507 (90 %) CSP clauses are encoded (0 SAT variables, 202503 SAT clauses)
19.46/10.64	c (10,10) 71674 (100 %) CSP clauses are encoded (0 SAT variables, 224412 SAT clauses)
19.46/10.64	c (10,10) CSPinCNF to SatSolver End
19.46/10.64	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.46/10.64	c (10,10) 42318 bool, 224413 clause
19.46/10.64	c (10,10) Export Begin
19.63/10.78	c (10,10) Export to HOME/scop-29858-serial-file.bin
19.63/10.78	c (10,10) Export End
19.63/10.78	c (10,10) Export File Size: 0.15 MB
19.63/10.78	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
19.63/10.78	c END-Prog: Tue Sep 24 23:04:34 CEST 2019
0.00/10.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29858-serial-file.bin
20.40/11.28	c (0,0) Read Serial File Begin
20.40/11.28	c (0,0) HOME/scop-29858-serial-file.bin
20.87/11.54	c (0,0) Read Serial File End
20.87/11.55	
20.87/11.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.87/11.55	(Solving Process)
20.87/11.55	
20.87/11.57	c BEGIN-Prog: Tue Sep 24 23:04:35 CEST 2019
20.87/11.57	c PID: 29881
20.87/11.57	c IP: 172.20.3.124
20.87/11.57	c HOST: node124.alineos.net
20.87/11.58	c (0,0) SatSolver.solve Begin
20.87/11.58	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405271-1569359105.xml-scop-29861.cnf
21.18/11.60	c (0,0) c
21.18/11.60	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.18/11.60	c (0,0) c
21.18/11.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.18/11.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.18/11.60	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.18/11.60	c (0,0) c |                                                                                                       |
21.18/11.69	c (0,0) c |  Number of variables:         42318                                                                   |
21.18/11.69	c (0,0) c |  Number of clauses:          224413                                                                   |
21.18/11.69	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.18/11.69	c (0,0) c |                                                                                                       |
21.30/11.91	c (0,0) c |  Simplification time:          0.22 s                                                                 |
21.30/11.91	c (0,0) c |                                                                                                       |
21.30/11.91	c (0,0) c |  Generating clones                                                                                    |
21.70/12.03	c (0,0) c |  all clones generated. Memory =   207.82Mb.                                                           |
21.70/12.03	c (0,0) c ========================================================================================================|
21.70/12.04	c (0,0) c
21.70/12.04	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.70/12.04	c (0,0) c
21.70/12.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.70/12.04	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.70/12.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.70/12.04	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.70/12.04	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.70/12.04	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.70/12.04	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.70/12.04	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.70/12.04	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.70/12.04	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.70/12.04	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.70/12.04	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.70/12.04	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.70/12.04	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.70/12.04	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.70/12.04	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.70/12.04	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.70/12.04	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.70/12.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c real time : 18.6407 s
165.79/30.24	c (19,0) c cpu time  : 144.051 s
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c | Conflicts     |          180534 |      21943 |      22747 |      22644 |      22879 |      21981 |      23078 |      22946 |      22316 |
165.79/30.24	c (19,0) c | Decisions     |         2118818 |     260369 |     263392 |     267806 |     271647 |     258574 |     263684 |     269499 |     263847 |
165.79/30.24	c (19,0) c | Propagations  |       233209064 |   28272941 |   29402306 |   29296629 |   29716441 |   28325091 |   29660808 |   29395291 |   29139557 |
165.79/30.24	c (19,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
165.79/30.24	c (19,0) c | SimpDBs       |             353 |         43 |         44 |         45 |         45 |         44 |         44 |         44 |         44 |
165.79/30.24	c (19,0) c | Restarts      |            2618 |        314 |        328 |        332 |        339 |        313 |        330 |        334 |        328 |
165.79/30.24	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.79/30.24	c (19,0) c | PropBinClauses|       544424746 |   65869055 |   68346854 |   68339878 |   69337765 |   65979953 |   69556884 |   69115342 |   67879015 |
165.79/30.24	c (19,0) c | PropPreBlocker|      2507048589 |  302806674 |  314705858 |  314264076 |  318790624 |  305197895 |  320807449 |  317884931 |  312591082 |
165.79/30.24	c (19,0) c | PropNotBlocker|       638699545 |   77622169 |   80185898 |   79943755 |   81001379 |   78249031 |   81630047 |   80784682 |   79282584 |
165.79/30.24	c (19,0) c | LitFullScans  |      4327363380 |  522351846 |  543177187 |  543020860 |  550482768 |  526928206 |  554119984 |  548510569 |  538771960 |
165.79/30.24	c (19,0) c | LitScanFracts |         1244656 |     348583 |     276850 |     115029 |     180446 |      52332 |      94962 |     166493 |       9961 |
165.79/30.24	c (19,0) c | DecisionLevel0|           13361 |       1646 |       1665 |       1690 |       1682 |       1644 |       1694 |       1685 |       1655 |
165.79/30.24	c (19,0) c | Periods       |             717 |         87 |         90 |         90 |         91 |         87 |         92 |         91 |         89 |
165.79/30.24	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
165.79/30.24	c (19,0) c | Avg_Trail     |                 |       8611 |       8591 |       8584 |       8664 |       8642 |       8641 |       8588 |       8633 |
165.79/30.24	c (19,0) c | Avg_DL        |                 |         96 |         95 |         97 |        100 |         96 |         95 |         97 |         98 |
165.79/30.24	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.79/30.24	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c | Exported      |           39836 |       4953 |       4953 |       5049 |       5094 |       4868 |       5136 |       4942 |       4841 |
165.79/30.24	c (19,0) c | Imported      |          244916 |      29742 |      30694 |      30748 |      30932 |      30109 |      31155 |      30967 |      30569 |
165.79/30.24	c (19,0) c | Good          |           52745 |       6507 |       6613 |       6620 |       6594 |       6607 |       6629 |       6618 |       6557 |
165.79/30.24	c (19,0) c | Purge         |          192171 |      23235 |      24081 |      24128 |      24338 |      23502 |      24526 |      24349 |      24012 |
165.79/30.24	c (19,0) c | Promoted      |           13588 |       1608 |       1711 |       1776 |       1738 |       1594 |       1745 |       1729 |       1687 |
165.79/30.24	c (19,0) c | Remove_Imp    |           35067 |       4162 |       4094 |       4168 |       4772 |       4856 |       4148 |       4068 |       4799 |
165.79/30.24	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c | Unaries       |                 |       1332 |       1337 |       1358 |       1343 |       1331 |       1364 |       1351 |       1327 |
165.79/30.24	c (19,0) c | Binaries      |                 |        983 |       1007 |        986 |       1055 |        917 |       1038 |       1034 |       1034 |
165.79/30.24	c (19,0) c | Glues         |                 |       1680 |       1738 |       1675 |       1746 |       1634 |       1765 |       1737 |       1741 |
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c | Orig_Seen     |            32 % |      53777 |      54233 |      54265 |      54515 |      54157 |      55147 |      54501 |      54269 |
165.79/30.24	c (19,0) c | Diff Orig seen|                 | -      380 |         76 |        108 |        358 |      X     |        990 |        344 |        112 |
165.79/30.24	c (19,0) c | Hamming       |            12 % |       5350 |       5335 |       5318 |       5258 |      X     |       5170 |       4986 |       5255 |
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c | RunningTime   |                 |   18.2 100%|   18.0 100%|   18.0 100%|   18.1 100%|   18.0 100%|   18.0 100%|   18.0 100%|   18.0 100%|
165.79/30.24	c (19,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%|
165.79/30.24	c (19,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%|
165.79/30.24	c (19,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%|
165.79/30.24	c (19,0) c | SolvingTime   |                 |   18.2     |   18.1     |   18.0     |   18.1     |   18.0     |   18.1     |   18.0     |   18.1     |
165.79/30.24	c (19,0) c | PropagationTim|                 |   16.0  88%|   15.8  87%|   15.7  87%|   15.8  87%|   15.8  87%|   15.8  87%|   15.8  87%|   15.8  87%|
165.79/30.24	c (19,0) c | AnalysisTime  |                 |    1.0   6%|    1.1   6%|    1.1   6%|    1.1   6%|    1.1   6%|    1.1   6%|    1.1   6%|    1.1   6%|
165.79/30.24	c (19,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
165.79/30.24	c (19,0) c | SimplifyTime  |                 |    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.2   1%|    0.2   1%|
165.79/30.24	c (19,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%|
165.79/30.24	c (19,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%|
165.79/30.24	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c
165.79/30.24	c (19,0) c Threads : 8
165.79/30.24	c (19,0) c Winner : 4
165.79/30.24	c (19,0) c Conflicts_0 : 21943
165.79/30.24	c (19,0) c Conflicts_1 : 22747
165.79/30.24	c (19,0) c Conflicts_2 : 22644
165.79/30.24	c (19,0) c Conflicts_3 : 22879
165.79/30.24	c (19,0) c Conflicts_4 : 21981
165.79/30.24	c (19,0) c Conflicts_5 : 23078
165.79/30.24	c (19,0) c Conflicts_6 : 22946
165.79/30.24	c (19,0) c Conflicts_7 : 22316
165.79/30.24	c (19,0) c Conflicts_total : 180534
165.79/30.24	c (19,0) c Conflicts_winner : 21981
165.79/30.24	c (19,0) c Decisions_0 : 260369
165.79/30.24	c (19,0) c Decisions_1 : 263392
165.79/30.24	c (19,0) c Decisions_2 : 267806
165.79/30.24	c (19,0) c Decisions_3 : 271647
165.79/30.25	c (19,0) c Decisions_4 : 258574
165.79/30.25	c (19,0) c Decisions_5 : 263684
165.79/30.25	c (19,0) c Decisions_6 : 269499
165.79/30.25	c (19,0) c Decisions_7 : 263847
165.79/30.25	c (19,0) c Decisions_total : 2118818
165.79/30.25	c (19,0) c Decisions_winner : 258574
165.79/30.25	c (19,0) c Propagations_0 : 28272941
165.79/30.25	c (19,0) c Propagations_1 : 29402306
165.79/30.25	c (19,0) c Propagations_2 : 29296629
165.79/30.25	c (19,0) c Propagations_3 : 29716441
165.79/30.25	c (19,0) c Propagations_4 : 28325091
165.79/30.25	c (19,0) c Propagations_5 : 29660808
165.79/30.25	c (19,0) c Propagations_6 : 29395291
165.79/30.25	c (19,0) c Propagations_7 : 29139557
165.79/30.25	c (19,0) c Propagations_total : 233209064
165.79/30.25	c (19,0) c Propagations_winner : 28325091
165.79/30.25	c (19,0) c ReduceDBs_0 : 3
165.79/30.25	c (19,0) c ReduceDBs_1 : 3
165.79/30.25	c (19,0) c ReduceDBs_2 : 3
165.79/30.25	c (19,0) c ReduceDBs_3 : 3
165.79/30.25	c (19,0) c ReduceDBs_4 : 3
165.79/30.25	c (19,0) c ReduceDBs_5 : 3
165.79/30.25	c (19,0) c ReduceDBs_6 : 3
165.79/30.25	c (19,0) c ReduceDBs_7 : 3
165.79/30.25	c (19,0) c ReduceDBs_total : 24
165.79/30.25	c (19,0) c ReduceDBs_winner : 3
165.79/30.25	c (19,0) c SimpDBs_0 : 43
165.79/30.25	c (19,0) c SimpDBs_1 : 44
165.79/30.25	c (19,0) c SimpDBs_2 : 45
165.79/30.25	c (19,0) c SimpDBs_3 : 45
165.79/30.25	c (19,0) c SimpDBs_4 : 44
165.79/30.25	c (19,0) c SimpDBs_5 : 44
165.79/30.25	c (19,0) c SimpDBs_6 : 44
165.79/30.25	c (19,0) c SimpDBs_7 : 44
165.79/30.25	c (19,0) c SimpDBs_total : 353
165.79/30.25	c (19,0) c SimpDBs_winner : 44
165.79/30.25	c (19,0) c Restarts_0 : 314
165.79/30.25	c (19,0) c Restarts_1 : 328
165.79/30.25	c (19,0) c Restarts_2 : 332
165.79/30.25	c (19,0) c Restarts_3 : 339
165.79/30.25	c (19,0) c Restarts_4 : 313
165.79/30.25	c (19,0) c Restarts_5 : 330
165.79/30.25	c (19,0) c Restarts_6 : 334
165.79/30.25	c (19,0) c Restarts_7 : 328
165.79/30.25	c (19,0) c Restarts_total : 2618
165.79/30.25	c (19,0) c Restarts_winner : 313
165.79/30.25	c (19,0) c ForcedImports_0 : 0
165.79/30.25	c (19,0) c ForcedImports_1 : 0
165.79/30.25	c (19,0) c ForcedImports_2 : 0
165.79/30.25	c (19,0) c ForcedImports_3 : 0
165.79/30.25	c (19,0) c ForcedImports_4 : 0
165.79/30.25	c (19,0) c ForcedImports_5 : 0
165.79/30.25	c (19,0) c ForcedImports_6 : 0
165.79/30.25	c (19,0) c ForcedImports_7 : 0
165.79/30.25	c (19,0) c ForcedImports_total : 0
165.79/30.25	c (19,0) c ForcedImports_winner : 0
165.79/30.25	c (19,0) c PropsBinClauses_0 : 65869055
165.79/30.25	c (19,0) c PropsBinClauses_1 : 68346854
165.79/30.25	c (19,0) c PropsBinClauses_2 : 68339878
165.79/30.25	c (19,0) c PropsBinClauses_3 : 69337765
165.79/30.25	c (19,0) c PropsBinClauses_4 : 65979953
165.79/30.25	c (19,0) c PropsBinClauses_5 : 69556884
165.79/30.25	c (19,0) c PropsBinClauses_6 : 69115342
165.79/30.25	c (19,0) c PropsBinClauses_7 : 67879015
165.79/30.25	c (19,0) c PropsBinClauses_total : 544424746
165.79/30.25	c (19,0) c PropsBinClauses_winner : 65979953
165.79/30.25	c (19,0) c PropsPreBlocker_0 : 302806674
165.79/30.25	c (19,0) c PropsPreBlocker_1 : 314705858
165.79/30.25	c (19,0) c PropsPreBlocker_2 : 314264076
165.79/30.25	c (19,0) c PropsPreBlocker_3 : 318790624
165.79/30.25	c (19,0) c PropsPreBlocker_4 : 305197895
165.79/30.25	c (19,0) c PropsPreBlocker_5 : 320807449
165.79/30.25	c (19,0) c PropsPreBlocker_6 : 317884931
165.79/30.25	c (19,0) c PropsPreBlocker_7 : 312591082
165.79/30.25	c (19,0) c PropsPreBlocker_total : 2507048589
165.79/30.25	c (19,0) c PropsPreBlocker_winner : 305197895
165.79/30.25	c (19,0) c PropsNotBlocker_0 : 77622169
165.79/30.25	c (19,0) c PropsNotBlocker_1 : 80185898
165.79/30.25	c (19,0) c PropsNotBlocker_2 : 79943755
165.79/30.25	c (19,0) c PropsNotBlocker_3 : 81001379
165.79/30.25	c (19,0) c PropsNotBlocker_4 : 78249031
165.79/30.25	c (19,0) c PropsNotBlocker_5 : 81630047
165.79/30.25	c (19,0) c PropsNotBlocker_6 : 80784682
165.79/30.25	c (19,0) c PropsNotBlocker_7 : 79282584
165.79/30.25	c (19,0) c PropsNotBlocker_total : 638699545
165.79/30.25	c (19,0) c PropsNotBlocker_winner : 78249031
165.79/30.25	c (19,0) c PropsLitFullScans_0 : 522351846
165.79/30.25	c (19,0) c PropsLitFullScans_1 : 543177187
165.79/30.25	c (19,0) c PropsLitFullScans_2 : 543020860
165.79/30.25	c (19,0) c PropsLitFullScans_3 : 550482768
165.79/30.25	c (19,0) c PropsLitFullScans_4 : 526928206
165.79/30.25	c (19,0) c PropsLitFullScans_5 : 554119984
165.79/30.25	c (19,0) c PropsLitFullScans_6 : 548510569
165.79/30.25	c (19,0) c PropsLitFullScans_7 : 538771960
165.79/30.25	c (19,0) c PropsLitFullScans_total : 4327363380
165.79/30.25	c (19,0) c PropsLitFullScans_winner : 526928206
165.79/30.25	c (19,0) c LitScanFractions_0 : 348583
165.79/30.25	c (19,0) c LitScanFractions_1 : 276850
165.79/30.25	c (19,0) c LitScanFractions_2 : 115029
165.79/30.25	c (19,0) c LitScanFractions_3 : 180446
165.79/30.25	c (19,0) c LitScanFractions_4 : 52332
165.79/30.25	c (19,0) c LitScanFractions_5 : 94962
165.79/30.25	c (19,0) c LitScanFractions_6 : 166493
165.79/30.25	c (19,0) c LitScanFractions_7 : 9961
165.79/30.25	c (19,0) c LitScanFractions_total : 1244656
165.79/30.25	c (19,0) c LitScanFractions_winner : 52332
165.79/30.25	c (19,0) c DecisionLevel0_0 : 1646
165.79/30.25	c (19,0) c DecisionLevel0_1 : 1665
165.79/30.25	c (19,0) c DecisionLevel0_2 : 1690
165.79/30.25	c (19,0) c DecisionLevel0_3 : 1682
165.79/30.25	c (19,0) c DecisionLevel0_4 : 1644
165.79/30.25	c (19,0) c DecisionLevel0_5 : 1694
165.79/30.25	c (19,0) c DecisionLevel0_6 : 1685
165.79/30.25	c (19,0) c DecisionLevel0_7 : 1655
165.79/30.25	c (19,0) c DecisionLevel0_total : 13361
165.79/30.25	c (19,0) c DecisionLevel0_winner : 1644
165.79/30.25	c (19,0) c Periods_0 : 87
165.79/30.25	c (19,0) c Periods_1 : 90
165.79/30.25	c (19,0) c Periods_2 : 90
165.79/30.25	c (19,0) c Periods_3 : 91
165.79/30.25	c (19,0) c Periods_4 : 87
165.79/30.25	c (19,0) c Periods_5 : 92
165.79/30.25	c (19,0) c Periods_6 : 91
165.79/30.25	c (19,0) c Periods_7 : 89
165.79/30.25	c (19,0) c Periods_total : 717
165.79/30.25	c (19,0) c Periods_winner : 87
165.79/30.25	c (19,0) c Margin_0 : 20
165.79/30.25	c (19,0) c Margin_1 : 20
165.79/30.25	c (19,0) c Margin_2 : 20
165.79/30.25	c (19,0) c Margin_3 : 20
165.79/30.25	c (19,0) c Margin_4 : 20
165.79/30.25	c (19,0) c Margin_5 : 20
165.79/30.25	c (19,0) c Margin_6 : 20
165.79/30.25	c (19,0) c Margin_7 : 20
165.79/30.25	c (19,0) c Margin_total : 160
165.79/30.25	c (19,0) c Margin_winner : 20
165.79/30.25	c (19,0) c Exported_0 : 4953
165.79/30.25	c (19,0) c Exported_1 : 4953
165.79/30.25	c (19,0) c Exported_2 : 5049
165.79/30.25	c (19,0) c Exported_3 : 5094
165.79/30.25	c (19,0) c Exported_4 : 4868
165.79/30.25	c (19,0) c Exported_5 : 5136
165.79/30.25	c (19,0) c Exported_6 : 4942
165.79/30.25	c (19,0) c Exported_7 : 4841
165.79/30.25	c (19,0) c Exported_total : 39836
165.79/30.25	c (19,0) c Exported_winner : 4868
165.79/30.25	c (19,0) c Imported_0 : 29742
165.79/30.25	c (19,0) c Imported_1 : 30694
165.79/30.25	c (19,0) c Imported_2 : 30748
165.79/30.25	c (19,0) c Imported_3 : 30932
165.79/30.25	c (19,0) c Imported_4 : 30109
165.79/30.25	c (19,0) c Imported_5 : 31155
165.79/30.25	c (19,0) c Imported_6 : 30967
165.79/30.25	c (19,0) c Imported_7 : 30569
165.79/30.25	c (19,0) c Imported_total : 244916
165.79/30.25	c (19,0) c Imported_winner : 30109
165.79/30.25	c (19,0) c Good_0 : 6507
165.79/30.25	c (19,0) c Good_1 : 6613
165.79/30.25	c (19,0) c Good_2 : 6620
165.79/30.25	c (19,0) c Good_3 : 6594
165.79/30.25	c (19,0) c Good_4 : 6607
165.79/30.25	c (19,0) c Good_5 : 6629
165.79/30.25	c (19,0) c Good_6 : 6618
165.79/30.25	c (19,0) c Good_7 : 6557
165.79/30.25	c (19,0) c Good_total : 52745
165.79/30.25	c (19,0) c Good_winner : 6607
165.79/30.25	c (19,0) c Purge_0 : 23235
165.79/30.25	c (19,0) c Purge_1 : 24081
165.79/30.25	c (19,0) c Purge_2 : 24128
165.79/30.25	c (19,0) c Purge_3 : 24338
165.79/30.25	c (19,0) c Purge_4 : 23502
165.79/30.25	c (19,0) c Purge_5 : 24526
165.79/30.25	c (19,0) c Purge_6 : 24349
165.79/30.25	c (19,0) c Purge_7 : 24012
165.79/30.25	c (19,0) c Purge_total : 192171
165.79/30.25	c (19,0) c Purge_winner : 23502
165.79/30.25	c (19,0) c Promoted_0 : 1608
165.79/30.25	c (19,0) c Promoted_1 : 1711
165.79/30.25	c (19,0) c Promoted_2 : 1776
165.79/30.25	c (19,0) c Promoted_3 : 1738
165.79/30.25	c (19,0) c Promoted_4 : 1594
165.79/30.25	c (19,0) c Promoted_5 : 1745
165.79/30.25	c (19,0) c Promoted_6 : 1729
165.79/30.25	c (19,0) c Promoted_7 : 1687
165.79/30.25	c (19,0) c Promoted_total : 13588
165.79/30.25	c (19,0) c Promoted_winner : 1594
165.79/30.25	c (19,0) c Remove_Imp_0 : 4162
165.79/30.25	c (19,0) c Remove_Imp_1 : 4094
165.79/30.25	c (19,0) c Remove_Imp_2 : 4168
165.79/30.25	c (19,0) c Remove_Imp_3 : 4772
165.79/30.25	c (19,0) c Remove_Imp_4 : 4856
165.79/30.25	c (19,0) c Remove_Imp_5 : 4148
165.79/30.25	c (19,0) c Remove_Imp_6 : 4068
165.79/30.25	c (19,0) c Remove_Imp_7 : 4799
165.79/30.25	c (19,0) c Remove_Imp_total : 35067
165.79/30.25	c (19,0) c Remove_Imp_winner : 4856
165.79/30.25	c (19,0) c Blocked_Reuse_0 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_1 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_2 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_3 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_4 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_5 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_6 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_7 : 0
165.79/30.25	c (19,0) c Blocked_Reuse_total : 0
165.79/30.25	c (19,0) c Blocked_Reuse_winner : 0
165.79/30.25	c (19,0) c Unaries_0 : 1332
165.79/30.25	c (19,0) c Unaries_1 : 1337
165.79/30.25	c (19,0) c Unaries_2 : 1358
165.79/30.25	c (19,0) c Unaries_3 : 1343
165.79/30.25	c (19,0) c Unaries_4 : 1331
165.79/30.25	c (19,0) c Unaries_5 : 1364
165.79/30.25	c (19,0) c Unaries_6 : 1351
165.79/30.25	c (19,0) c Unaries_7 : 1327
165.79/30.25	c (19,0) c Unaries_total : 10743
165.79/30.25	c (19,0) c Unaries_winner : 1331
165.79/30.25	c (19,0) c Binaries_0 : 983
165.79/30.25	c (19,0) c Binaries_1 : 1007
165.79/30.25	c (19,0) c Binaries_2 : 986
165.79/30.25	c (19,0) c Binaries_3 : 1055
165.79/30.25	c (19,0) c Binaries_4 : 917
165.79/30.25	c (19,0) c Binaries_5 : 1038
165.79/30.25	c (19,0) c Binaries_6 : 1034
165.79/30.25	c (19,0) c Binaries_7 : 1034
165.79/30.25	c (19,0) c Binaries_total : 8054
165.79/30.25	c (19,0) c Binaries_winner : 917
165.79/30.25	c (19,0) c Glues_0 : 1680
165.79/30.25	c (19,0) c Glues_1 : 1738
165.79/30.25	c (19,0) c Glues_2 : 1675
165.79/30.25	c (19,0) c Glues_3 : 1746
165.79/30.25	c (19,0) c Glues_4 : 1634
165.79/30.25	c (19,0) c Glues_5 : 1765
165.79/30.25	c (19,0) c Glues_6 : 1737
165.79/30.25	c (19,0) c Glues_7 : 1741
165.79/30.25	c (19,0) c Glues_total : 13716
165.79/30.25	c (19,0) c Glues_winner : 1634
165.79/30.25	c (19,0) c RunningTime_0 : 18.185437
165.79/30.25	c (19,0) c RunningTime_1 : 18.044452
165.79/30.25	c (19,0) c RunningTime_2 : 18.020630
165.79/30.25	c (19,0) c RunningTime_3 : 18.050173
165.79/30.25	c (19,0) c RunningTime_4 : 18.019635
165.79/30.25	c (19,0) c RunningTime_5 : 18.041072
165.79/30.25	c (19,0) c RunningTime_6 : 18.032000
165.79/30.25	c (19,0) c RunningTime_7 : 18.046800
165.79/30.25	c (19,0) c RunningTime_total : 144.440199
165.79/30.25	c (19,0) c RunningTime_winner : 18.019635
165.79/30.25	c (19,0) c WaitingTime_0 : 0.000099
165.79/30.25	c (19,0) c WaitingTime_1 : 0.000104
165.79/30.25	c (19,0) c WaitingTime_2 : 0.000116
165.79/30.25	c (19,0) c WaitingTime_3 : 0.000109
165.79/30.25	c (19,0) c WaitingTime_4 : 0.000105
165.79/30.25	c (19,0) c WaitingTime_5 : 0.000127
165.79/30.25	c (19,0) c WaitingTime_6 : 0.000108
165.79/30.25	c (19,0) c WaitingTime_7 : 0.000091
165.79/30.25	c (19,0) c WaitingTime_total : 0.000862
165.79/30.25	c (19,0) c WaitingTime_winner : 0.000105
165.79/30.25	c (19,0) c ExchangingTime_0 : 0.014884
165.79/30.25	c (19,0) c ExchangingTime_1 : 0.014850
165.79/30.25	c (19,0) c ExchangingTime_2 : 0.015370
165.79/30.25	c (19,0) c ExchangingTime_3 : 0.019458
165.79/30.25	c (19,0) c ExchangingTime_4 : 0.015315
165.79/30.25	c (19,0) c ExchangingTime_5 : 0.015386
165.79/30.25	c (19,0) c ExchangingTime_6 : 0.015655
165.79/30.25	c (19,0) c ExchangingTime_7 : 0.015471
165.79/30.25	c (19,0) c ExchangingTime_total : 0.126390
165.79/30.25	c (19,0) c ExchangingTime_winner : 0.015315
165.79/30.25	c (19,0) c PeriodProcTime_0 : 0.000797
165.79/30.26	c (19,0) c PeriodProcTime_1 : 0.000803
165.79/30.26	c (19,0) c PeriodProcTime_2 : 0.000798
165.79/30.26	c (19,0) c PeriodProcTime_3 : 0.000827
165.79/30.26	c (19,0) c PeriodProcTime_4 : 0.000848
165.79/30.26	c (19,0) c PeriodProcTime_5 : 0.000934
165.79/30.26	c (19,0) c PeriodProcTime_6 : 0.000773
165.79/30.26	c (19,0) c PeriodProcTime_7 : 0.000820
165.79/30.26	c (19,0) c PeriodProcTime_total : 0.006599
165.79/30.26	c (19,0) c PeriodProcTime_winner : 0.000848
165.79/30.26	c (19,0) c SolvingTime_0 : 18.201217
165.79/30.26	c (19,0) c SolvingTime_1 : 18.060209
165.79/30.26	c (19,0) c SolvingTime_2 : 18.036915
165.79/30.26	c (19,0) c SolvingTime_3 : 18.070568
165.79/30.26	c (19,0) c SolvingTime_4 : 18.035903
165.79/30.26	c (19,0) c SolvingTime_5 : 18.057519
165.79/30.26	c (19,0) c SolvingTime_6 : 18.048536
165.79/30.26	c (19,0) c SolvingTime_7 : 18.063183
165.79/30.26	c (19,0) c SolvingTime_total : 144.574050
165.79/30.26	c (19,0) c SolvingTime_winner : 18.035903
165.79/30.26	c (19,0) c PropagationTime_0 : 15.999385
165.79/30.26	c (19,0) c PropagationTime_1 : 15.798922
165.79/30.26	c (19,0) c PropagationTime_2 : 15.748471
165.79/30.26	c (19,0) c PropagationTime_3 : 15.798775
165.79/30.26	c (19,0) c PropagationTime_4 : 15.759787
165.79/30.26	c (19,0) c PropagationTime_5 : 15.758641
165.79/30.26	c (19,0) c PropagationTime_6 : 15.769925
165.79/30.26	c (19,0) c PropagationTime_7 : 15.800689
165.79/30.26	c (19,0) c PropagationTime_total : 126.434595
165.79/30.26	c (19,0) c PropagationTime_winner : 15.759787
165.79/30.26	c (19,0) c AnalysisTime_0 : 1.049990
165.79/30.26	c (19,0) c AnalysisTime_1 : 1.084849
165.79/30.26	c (19,0) c AnalysisTime_2 : 1.103392
165.79/30.26	c (19,0) c AnalysisTime_3 : 1.092900
165.79/30.26	c (19,0) c AnalysisTime_4 : 1.108468
165.79/30.26	c (19,0) c AnalysisTime_5 : 1.127028
165.79/30.26	c (19,0) c AnalysisTime_6 : 1.109308
165.79/30.26	c (19,0) c AnalysisTime_7 : 1.098727
165.79/30.26	c (19,0) c AnalysisTime_total : 8.774661
165.79/30.26	c (19,0) c AnalysisTime_winner : 1.108468
165.79/30.26	c (19,0) c ReductionTime_0 : 0.032468
165.79/30.26	c (19,0) c ReductionTime_1 : 0.032098
165.79/30.26	c (19,0) c ReductionTime_2 : 0.030425
165.79/30.26	c (19,0) c ReductionTime_3 : 0.030614
165.79/30.26	c (19,0) c ReductionTime_4 : 0.033203
165.79/30.26	c (19,0) c ReductionTime_5 : 0.030386
165.79/30.26	c (19,0) c ReductionTime_6 : 0.031098
165.79/30.26	c (19,0) c ReductionTime_7 : 0.031377
165.79/30.26	c (19,0) c ReductionTime_total : 0.251669
165.79/30.26	c (19,0) c ReductionTime_winner : 0.033203
165.79/30.26	c (19,0) c SimplifyTime_0 : 0.237450
165.79/30.26	c (19,0) c SimplifyTime_1 : 0.252328
165.79/30.26	c (19,0) c SimplifyTime_2 : 0.260459
165.79/30.26	c (19,0) c SimplifyTime_3 : 0.251070
165.79/30.26	c (19,0) c SimplifyTime_4 : 0.253510
165.79/30.26	c (19,0) c SimplifyTime_5 : 0.251709
165.79/30.26	c (19,0) c SimplifyTime_6 : 0.248319
165.79/30.26	c (19,0) c SimplifyTime_7 : 0.249290
165.79/30.26	c (19,0) c SimplifyTime_total : 2.004136
165.79/30.26	c (19,0) c SimplifyTime_winner : 0.253510
165.79/30.26	c (19,0) c UsedRateTime_0 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_1 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_2 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_3 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_4 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_5 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_6 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_7 : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_total : 0.000000
165.79/30.26	c (19,0) c UsedRateTime_winner : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_0 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_1 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_2 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_3 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_4 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_5 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_6 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_7 : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_total : 0.000000
165.79/30.26	c (19,0) c OverlapRateTime_winner : 0.000000
165.79/30.26	c (19,0) c
165.79/30.26	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
165.79/30.26	c (19,0) c
165.79/30.26	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.26	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
165.79/30.26	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.26	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
165.79/30.26	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
165.79/30.26	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
165.79/30.26	c (19,0) c | Initial random_seed   | 1472297644 | 1075673264 | 1941325392 | 1653882706 |  228709105 |   61804473 | 1473540039 | 1653377699 |
165.79/30.26	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
165.79/30.26	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
165.79/30.26	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
165.79/30.26	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
165.79/30.26	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
165.79/30.26	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
165.79/30.26	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
165.79/30.26	c (19,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |
165.79/30.26	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
165.79/30.26	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
165.79/30.26	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
165.79/30.26	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.79/30.26	c (19,0) 
165.79/30.26	c (19,0) s SATISFIABLE
166.04/30.32	c (19,0) SatSolver.solve End
166.04/30.32	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
166.04/30.32	c (19,0) Show results Begin
166.56/30.51	c (19,0) x[0][0] = 24
166.56/30.51	c (19,0) x[0][1] = 17
166.56/30.51	c (19,0) x[0][2] = 15
166.56/30.51	c (19,0) x[0][3] = 18
166.56/30.51	c (19,0) x[0][4] = 3
166.56/30.51	c (19,0) x[0][5] = 22
166.56/30.51	c (19,0) x[0][6] = 5
166.56/30.51	c (19,0) x[0][7] = 6
166.56/30.51	c (19,0) x[0][8] = 19
166.56/30.51	c (19,0) x[0][9] = 0
166.56/30.51	c (19,0) x[0][10] = 9
166.56/30.51	c (19,0) x[0][11] = 11
166.56/30.51	c (19,0) x[0][12] = 28
166.56/30.51	c (19,0) x[0][13] = 14
166.56/30.51	c (19,0) x[0][14] = 13
166.56/30.51	c (19,0) x[0][15] = 16
166.56/30.51	c (19,0) x[0][16] = 27
166.56/30.51	c (19,0) x[0][17] = 12
166.56/30.51	c (19,0) x[0][18] = 10
166.56/30.51	c (19,0) x[0][19] = 23
166.56/30.51	c (19,0) x[0][20] = 2
166.56/30.51	c (19,0) x[0][21] = 1
166.56/30.51	c (19,0) x[0][22] = 25
166.56/30.51	c (19,0) x[0][23] = 8
166.56/30.51	c (19,0) x[0][24] = 26
166.56/30.51	c (19,0) x[0][25] = 21
166.56/30.51	c (19,0) x[0][26] = 29
166.56/30.51	c (19,0) x[0][27] = 20
166.56/30.51	c (19,0) x[0][28] = 7
166.56/30.51	c (19,0) x[0][29] = 4
166.56/30.51	c (19,0) x[1][0] = 4
166.56/30.51	c (19,0) x[1][1] = 6
166.56/30.51	c (19,0) x[1][2] = 5
166.56/30.51	c (19,0) x[1][3] = 9
166.56/30.51	c (19,0) x[1][4] = 26
166.56/30.51	c (19,0) x[1][5] = 13
166.56/30.51	c (19,0) x[1][6] = 27
166.56/30.51	c (19,0) x[1][7] = 16
166.56/30.51	c (19,0) x[1][8] = 2
166.56/30.51	c (19,0) x[1][9] = 14
166.56/30.51	c (19,0) x[1][10] = 3
166.56/30.51	c (19,0) x[1][11] = 15
166.56/30.51	c (19,0) x[1][12] = 12
166.56/30.51	c (19,0) x[1][13] = 8
166.56/30.51	c (19,0) x[1][14] = 19
166.56/30.51	c (19,0) x[1][15] = 22
166.56/30.51	c (19,0) x[1][16] = 1
166.56/30.51	c (19,0) x[1][17] = 28
166.56/30.51	c (19,0) x[1][18] = 0
166.56/30.51	c (19,0) x[1][19] = 29
166.56/30.51	c (19,0) x[1][20] = 17
166.56/30.51	c (19,0) x[1][21] = 25
166.56/30.51	c (19,0) x[1][22] = 24
166.56/30.51	c (19,0) x[1][23] = 20
166.56/30.51	c (19,0) x[1][24] = 10
166.56/30.51	c (19,0) x[1][25] = 11
166.56/30.51	c (19,0) x[1][26] = 23
166.56/30.51	c (19,0) x[1][27] = 7
166.56/30.51	c (19,0) x[1][28] = 21
166.56/30.51	c (19,0) x[1][29] = 18
166.56/30.51	c (19,0) x[2][0] = 13
166.56/30.51	c (19,0) x[2][1] = 5
166.56/30.51	c (19,0) x[2][2] = 10
166.56/30.51	c (19,0) x[2][3] = 0
166.56/30.51	c (19,0) x[2][4] = 11
166.56/30.51	c (19,0) x[2][5] = 3
166.56/30.51	c (19,0) x[2][6] = 7
166.56/30.51	c (19,0) x[2][7] = 26
166.56/30.51	c (19,0) x[2][8] = 22
166.56/30.51	c (19,0) x[2][9] = 17
166.56/30.51	c (19,0) x[2][10] = 23
166.56/30.51	c (19,0) x[2][11] = 8
166.56/30.51	c (19,0) x[2][12] = 1
166.56/30.51	c (19,0) x[2][13] = 29
166.56/30.51	c (19,0) x[2][14] = 16
166.56/30.51	c (19,0) x[2][15] = 18
166.56/30.51	c (19,0) x[2][16] = 20
166.56/30.51	c (19,0) x[2][17] = 21
166.56/30.51	c (19,0) x[2][18] = 2
166.56/30.51	c (19,0) x[2][19] = 15
166.56/30.51	c (19,0) x[2][20] = 28
166.56/30.51	c (19,0) x[2][21] = 6
166.56/30.51	c (19,0) x[2][22] = 19
166.56/30.51	c (19,0) x[2][23] = 27
166.56/30.51	c (19,0) x[2][24] = 14
166.56/30.51	c (19,0) x[2][25] = 9
166.56/30.52	c (19,0) x[2][26] = 12
166.56/30.52	c (19,0) x[2][27] = 24
166.56/30.52	c (19,0) x[2][28] = 4
166.56/30.52	c (19,0) x[2][29] = 25
166.56/30.52	c (19,0) x[3][0] = 8
166.56/30.52	c (19,0) x[3][1] = 29
166.56/30.52	c (19,0) x[3][2] = 12
166.56/30.52	c (19,0) x[3][3] = 3
166.56/30.52	c (19,0) x[3][4] = 5
166.56/30.52	c (19,0) x[3][5] = 4
166.56/30.52	c (19,0) x[3][6] = 13
166.56/30.52	c (19,0) x[3][7] = 2
166.56/30.52	c (19,0) x[3][8] = 14
166.56/30.52	c (19,0) x[3][9] = 19
166.56/30.52	c (19,0) x[3][10] = 17
166.56/30.52	c (19,0) x[3][11] = 27
166.56/30.52	c (19,0) x[3][12] = 25
166.56/30.52	c (19,0) x[3][13] = 16
166.56/30.52	c (19,0) x[3][14] = 11
166.56/30.52	c (19,0) x[3][15] = 24
166.56/30.52	c (19,0) x[3][16] = 21
166.56/30.52	c (19,0) x[3][17] = 23
166.56/30.52	c (19,0) x[3][18] = 1
166.56/30.52	c (19,0) x[3][19] = 10
166.56/30.52	c (19,0) x[3][20] = 6
166.56/30.52	c (19,0) x[3][21] = 7
166.56/30.52	c (19,0) x[3][22] = 22
166.56/30.52	c (19,0) x[3][23] = 28
166.56/30.52	c (19,0) x[3][24] = 15
166.56/30.52	c (19,0) x[3][25] = 26
166.56/30.52	c (19,0) x[3][26] = 18
166.56/30.52	c (19,0) x[3][27] = 9
166.56/30.52	c (19,0) x[3][28] = 20
166.56/30.52	c (19,0) x[3][29] = 0
166.56/30.52	c (19,0) x[4][0] = 0
166.56/30.52	c (19,0) x[4][1] = 10
166.56/30.52	c (19,0) x[4][2] = 23
166.56/30.52	c (19,0) x[4][3] = 22
166.56/30.52	c (19,0) x[4][4] = 13
166.56/30.52	c (19,0) x[4][5] = 16
166.56/30.52	c (19,0) x[4][6] = 20
166.56/30.52	c (19,0) x[4][7] = 8
166.56/30.52	c (19,0) x[4][8] = 27
166.56/30.52	c (19,0) x[4][9] = 11
166.56/30.52	c (19,0) x[4][10] = 26
166.56/30.52	c (19,0) x[4][11] = 24
166.56/30.52	c (19,0) x[4][12] = 5
166.56/30.52	c (19,0) x[4][13] = 28
166.56/30.52	c (19,0) x[4][14] = 14
166.56/30.52	c (19,0) x[4][15] = 17
166.56/30.52	c (19,0) x[4][16] = 12
166.56/30.52	c (19,0) x[4][17] = 15
166.56/30.52	c (19,0) x[4][18] = 9
166.56/30.52	c (19,0) x[4][19] = 7
166.56/30.52	c (19,0) x[4][20] = 19
166.56/30.52	c (19,0) x[4][21] = 3
166.56/30.52	c (19,0) x[4][22] = 18
166.56/30.52	c (19,0) x[4][23] = 29
166.56/30.52	c (19,0) x[4][24] = 21
166.56/30.52	c (19,0) x[4][25] = 25
166.56/30.52	c (19,0) x[4][26] = 4
166.56/30.52	c (19,0) x[4][27] = 1
166.56/30.52	c (19,0) x[4][28] = 6
166.56/30.52	c (19,0) x[4][29] = 2
166.56/30.52	c (19,0) x[5][0] = 23
166.56/30.52	c (19,0) x[5][1] = 14
166.56/30.52	c (19,0) x[5][2] = 13
166.56/30.52	c (19,0) x[5][3] = 17
166.56/30.52	c (19,0) x[5][4] = 15
166.56/30.52	c (19,0) x[5][5] = 8
166.56/30.52	c (19,0) x[5][6] = 26
166.56/30.52	c (19,0) x[5][7] = 21
166.56/30.52	c (19,0) x[5][8] = 4
166.56/30.52	c (19,0) x[5][9] = 12
166.56/30.52	c (19,0) x[5][10] = 29
166.56/30.52	c (19,0) x[5][11] = 9
166.56/30.52	c (19,0) x[5][12] = 11
166.56/30.52	c (19,0) x[5][13] = 18
166.56/30.52	c (19,0) x[5][14] = 27
166.56/30.52	c (19,0) x[5][15] = 3
166.56/30.52	c (19,0) x[5][16] = 10
166.56/30.52	c (19,0) x[5][17] = 20
166.56/30.52	c (19,0) x[5][18] = 5
166.56/30.52	c (19,0) x[5][19] = 1
166.56/30.52	c (19,0) x[5][20] = 22
166.56/30.52	c (19,0) x[5][21] = 0
166.56/30.52	c (19,0) x[5][22] = 7
166.56/30.52	c (19,0) x[5][23] = 19
166.56/30.52	c (19,0) x[5][24] = 16
166.56/30.52	c (19,0) x[5][25] = 2
166.56/30.52	c (19,0) x[5][26] = 6
166.56/30.52	c (19,0) x[5][27] = 25
166.56/30.52	c (19,0) x[5][28] = 24
166.56/30.52	c (19,0) x[5][29] = 28
166.56/30.52	c (19,0) x[6][0] = 10
166.56/30.52	c (19,0) x[6][1] = 27
166.56/30.52	c (19,0) x[6][2] = 9
166.56/30.52	c (19,0) x[6][3] = 26
166.56/30.52	c (19,0) x[6][4] = 16
166.56/30.52	c (19,0) x[6][5] = 7
166.56/30.52	c (19,0) x[6][6] = 28
166.56/30.52	c (19,0) x[6][7] = 0
166.56/30.52	c (19,0) x[6][8] = 15
166.56/30.52	c (19,0) x[6][9] = 23
166.56/30.52	c (19,0) x[6][10] = 2
166.56/30.52	c (19,0) x[6][11] = 6
166.56/30.52	c (19,0) x[6][12] = 24
166.56/30.52	c (19,0) x[6][13] = 21
166.56/30.52	c (19,0) x[6][14] = 17
166.56/30.52	c (19,0) x[6][15] = 8
166.56/30.52	c (19,0) x[6][16] = 25
166.56/30.52	c (19,0) x[6][17] = 5
166.56/30.52	c (19,0) x[6][18] = 13
166.56/30.52	c (19,0) x[6][19] = 22
166.56/30.52	c (19,0) x[6][20] = 18
166.56/30.52	c (19,0) x[6][21] = 12
166.56/30.52	c (19,0) x[6][22] = 14
166.56/30.52	c (19,0) x[6][23] = 4
166.56/30.52	c (19,0) x[6][24] = 1
166.56/30.52	c (19,0) x[6][25] = 29
166.56/30.52	c (19,0) x[6][26] = 3
166.56/30.52	c (19,0) x[6][27] = 19
166.56/30.52	c (19,0) x[6][28] = 11
166.56/30.52	c (19,0) x[6][29] = 20
166.56/30.52	c (19,0) x[7][0] = 11
166.56/30.52	c (19,0) x[7][1] = 23
166.56/30.52	c (19,0) x[7][2] = 21
166.56/30.52	c (19,0) x[7][3] = 24
166.56/30.52	c (19,0) x[7][4] = 12
166.56/30.52	c (19,0) x[7][5] = 1
166.56/30.52	c (19,0) x[7][6] = 18
166.56/30.52	c (19,0) x[7][7] = 3
166.56/30.52	c (19,0) x[7][8] = 0
166.56/30.52	c (19,0) x[7][9] = 22
166.56/30.52	c (19,0) x[7][10] = 16
166.56/30.52	c (19,0) x[7][11] = 2
166.56/30.52	c (19,0) x[7][12] = 10
166.56/30.52	c (19,0) x[7][13] = 4
166.56/30.52	c (19,0) x[7][14] = 5
166.56/30.52	c (19,0) x[7][15] = 28
166.56/30.52	c (19,0) x[7][16] = 9
166.56/30.52	c (19,0) x[7][17] = 26
166.56/30.52	c (19,0) x[7][18] = 17
166.56/30.52	c (19,0) x[7][19] = 13
166.56/30.52	c (19,0) x[7][20] = 7
166.56/30.52	c (19,0) x[7][21] = 19
166.56/30.52	c (19,0) x[7][22] = 29
166.56/30.52	c (19,0) x[7][23] = 14
166.56/30.52	c (19,0) x[7][24] = 25
166.56/30.52	c (19,0) x[7][25] = 20
166.56/30.52	c (19,0) x[7][26] = 8
166.56/30.52	c (19,0) x[7][27] = 6
166.56/30.52	c (19,0) x[7][28] = 15
166.56/30.52	c (19,0) x[7][29] = 27
166.56/30.52	c (19,0) x[8][0] = 14
166.56/30.52	c (19,0) x[8][1] = 4
166.56/30.52	c (19,0) x[8][2] = 6
166.56/30.52	c (19,0) x[8][3] = 13
166.56/30.52	c (19,0) x[8][4] = 2
166.56/30.52	c (19,0) x[8][5] = 9
166.56/30.52	c (19,0) x[8][6] = 24
166.56/30.52	c (19,0) x[8][7] = 22
166.56/30.52	c (19,0) x[8][8] = 20
166.56/30.52	c (19,0) x[8][9] = 1
166.56/30.52	c (19,0) x[8][10] = 19
166.56/30.52	c (19,0) x[8][11] = 5
166.56/30.52	c (19,0) x[8][12] = 7
166.56/30.52	c (19,0) x[8][13] = 10
166.56/30.52	c (19,0) x[8][14] = 25
166.56/30.52	c (19,0) x[8][15] = 12
166.56/30.52	c (19,0) x[8][16] = 29
166.56/30.52	c (19,0) x[8][17] = 18
166.56/30.52	c (19,0) x[8][18] = 15
166.56/30.52	c (19,0) x[8][19] = 16
166.56/30.52	c (19,0) x[8][20] = 0
166.56/30.52	c (19,0) x[8][21] = 17
166.56/30.52	c (19,0) x[8][22] = 11
166.56/30.52	c (19,0) x[8][23] = 3
166.56/30.52	c (19,0) x[8][24] = 23
166.56/30.52	c (19,0) x[8][25] = 28
166.56/30.52	c (19,0) x[8][26] = 26
166.56/30.52	c (19,0) x[8][27] = 27
166.56/30.52	c (19,0) x[8][28] = 8
166.56/30.52	c (19,0) x[8][29] = 21
166.56/30.52	c (19,0) x[9][0] = 9
166.56/30.52	c (19,0) x[9][1] = 7
166.56/30.52	c (19,0) x[9][2] = 17
166.56/30.52	c (19,0) x[9][3] = 11
166.56/30.52	c (19,0) x[9][4] = 4
166.56/30.52	c (19,0) x[9][5] = 21
166.56/30.52	c (19,0) x[9][6] = 25
166.56/30.52	c (19,0) x[9][7] = 12
166.56/30.52	c (19,0) x[9][8] = 24
166.56/30.52	c (19,0) x[9][9] = 13
166.56/30.52	c (19,0) x[9][10] = 6
166.56/30.52	c (19,0) x[9][11] = 14
166.56/30.52	c (19,0) x[9][12] = 2
166.56/30.52	c (19,0) x[9][13] = 0
166.56/30.52	c (19,0) x[9][14] = 18
166.56/30.52	c (19,0) x[9][15] = 29
166.56/30.52	c (19,0) x[9][16] = 16
166.56/30.52	c (19,0) x[9][17] = 8
166.56/30.52	c (19,0) x[9][18] = 22
166.56/30.52	c (19,0) x[9][19] = 26
166.56/30.52	c (19,0) x[9][20] = 15
166.56/30.52	c (19,0) x[9][21] = 28
166.56/30.52	c (19,0) x[9][22] = 27
166.56/30.52	c (19,0) x[9][23] = 5
166.56/30.52	c (19,0) x[9][24] = 19
166.56/30.52	c (19,0) x[9][25] = 3
166.56/30.52	c (19,0) x[9][26] = 20
166.56/30.52	c (19,0) x[9][27] = 10
166.56/30.52	c (19,0) x[9][28] = 23
166.56/30.52	c (19,0) x[9][29] = 1
166.56/30.52	c (19,0) x[10][0] = 25
166.56/30.52	c (19,0) x[10][1] = 22
166.56/30.52	c (19,0) x[10][2] = 29
166.56/30.52	c (19,0) x[10][3] = 14
166.56/30.52	c (19,0) x[10][4] = 23
166.56/30.52	c (19,0) x[10][5] = 6
166.56/30.52	c (19,0) x[10][6] = 17
166.56/30.52	c (19,0) x[10][7] = 27
166.56/30.52	c (19,0) x[10][8] = 12
166.56/30.52	c (19,0) x[10][9] = 20
166.56/30.52	c (19,0) x[10][10] = 8
166.56/30.52	c (19,0) x[10][11] = 21
166.56/30.52	c (19,0) x[10][12] = 15
166.56/30.52	c (19,0) x[10][13] = 26
166.56/30.52	c (19,0) x[10][14] = 3
166.56/30.52	c (19,0) x[10][15] = 11
166.56/30.52	c (19,0) x[10][16] = 28
166.56/30.52	c (19,0) x[10][17] = 1
166.56/30.52	c (19,0) x[10][18] = 19
166.56/30.52	c (19,0) x[10][19] = 9
166.56/30.52	c (19,0) x[10][20] = 13
166.56/30.52	c (19,0) x[10][21] = 18
166.56/30.52	c (19,0) x[10][22] = 16
166.56/30.52	c (19,0) x[10][23] = 2
166.56/30.52	c (19,0) x[10][24] = 5
166.56/30.52	c (19,0) x[10][25] = 4
166.56/30.52	c (19,0) x[10][26] = 7
166.56/30.52	c (19,0) x[10][27] = 0
166.56/30.52	c (19,0) x[10][28] = 10
166.56/30.52	c (19,0) x[10][29] = 24
166.56/30.52	c (19,0) x[11][0] = 19
166.56/30.52	c (19,0) x[11][1] = 15
166.56/30.52	c (19,0) x[11][2] = 26
166.56/30.52	c (19,0) x[11][3] = 28
166.56/30.52	c (19,0) x[11][4] = 6
166.56/30.52	c (19,0) x[11][5] = 29
166.56/30.52	c (19,0) x[11][6] = 11
166.56/30.52	c (19,0) x[11][7] = 1
166.56/30.52	c (19,0) x[11][8] = 25
166.56/30.52	c (19,0) x[11][9] = 18
166.56/30.52	c (19,0) x[11][10] = 13
166.56/30.52	c (19,0) x[11][11] = 16
166.56/30.52	c (19,0) x[11][12] = 9
166.56/30.52	c (19,0) x[11][13] = 24
166.56/30.52	c (19,0) x[11][14] = 8
166.56/30.52	c (19,0) x[11][15] = 5
166.56/30.52	c (19,0) x[11][16] = 3
166.56/30.52	c (19,0) x[11][17] = 7
166.56/30.52	c (19,0) x[11][18] = 23
166.56/30.52	c (19,0) x[11][19] = 20
166.56/30.52	c (19,0) x[11][20] = 21
166.56/30.52	c (19,0) x[11][21] = 27
166.56/30.52	c (19,0) x[11][22] = 2
166.56/30.52	c (19,0) x[11][23] = 12
166.56/30.52	c (19,0) x[11][24] = 4
166.56/30.52	c (19,0) x[11][25] = 17
166.56/30.52	c (19,0) x[11][26] = 10
166.56/30.52	c (19,0) x[11][27] = 22
166.56/30.52	c (19,0) x[11][28] = 0
166.56/30.52	c (19,0) x[11][29] = 14
166.56/30.52	c (19,0) x[12][0] = 17
166.56/30.52	c (19,0) x[12][1] = 2
166.56/30.52	c (19,0) x[12][2] = 8
166.56/30.52	c (19,0) x[12][3] = 25
166.56/30.52	c (19,0) x[12][4] = 0
166.56/30.52	c (19,0) x[12][5] = 15
166.56/30.52	c (19,0) x[12][6] = 14
166.56/30.52	c (19,0) x[12][7] = 18
166.56/30.52	c (19,0) x[12][8] = 6
166.56/30.52	c (19,0) x[12][9] = 28
166.56/30.52	c (19,0) x[12][10] = 5
166.56/30.52	c (19,0) x[12][11] = 4
166.56/30.52	c (19,0) x[12][12] = 22
166.56/30.52	c (19,0) x[12][13] = 7
166.56/30.52	c (19,0) x[12][14] = 24
166.56/30.52	c (19,0) x[12][15] = 1
166.56/30.52	c (19,0) x[12][16] = 23
166.56/30.52	c (19,0) x[12][17] = 13
166.56/30.52	c (19,0) x[12][18] = 3
166.56/30.52	c (19,0) x[12][19] = 11
166.56/30.52	c (19,0) x[12][20] = 9
166.56/30.52	c (19,0) x[12][21] = 16
166.56/30.52	c (19,0) x[12][22] = 20
166.56/30.52	c (19,0) x[12][23] = 26
166.56/30.52	c (19,0) x[12][24] = 12
166.56/30.52	c (19,0) x[12][25] = 19
166.56/30.52	c (19,0) x[12][26] = 27
166.56/30.52	c (19,0) x[12][27] = 21
166.56/30.52	c (19,0) x[12][28] = 29
166.56/30.52	c (19,0) x[12][29] = 10
166.56/30.52	c (19,0) x[13][0] = 18
166.56/30.52	c (19,0) x[13][1] = 1
166.56/30.52	c (19,0) x[13][2] = 25
166.56/30.52	c (19,0) x[13][3] = 12
166.56/30.52	c (19,0) x[13][4] = 7
166.56/30.52	c (19,0) x[13][5] = 20
166.56/30.52	c (19,0) x[13][6] = 0
166.56/30.52	c (19,0) x[13][7] = 15
166.56/30.52	c (19,0) x[13][8] = 16
166.56/30.52	c (19,0) x[13][9] = 4
166.56/30.52	c (19,0) x[13][10] = 11
166.56/30.52	c (19,0) x[13][11] = 26
166.56/30.52	c (19,0) x[13][12] = 21
166.56/30.52	c (19,0) x[13][13] = 9
166.56/30.52	c (19,0) x[13][14] = 2
166.56/30.52	c (19,0) x[13][15] = 27
166.56/30.52	c (19,0) x[13][16] = 8
166.56/30.52	c (19,0) x[13][17] = 3
166.56/30.52	c (19,0) x[13][18] = 29
166.56/30.52	c (19,0) x[13][19] = 24
166.56/30.52	c (19,0) x[13][20] = 10
166.56/30.52	c (19,0) x[13][21] = 22
166.56/30.52	c (19,0) x[13][22] = 28
166.56/30.52	c (19,0) x[13][23] = 6
166.56/30.52	c (19,0) x[13][24] = 17
166.56/30.52	c (19,0) x[13][25] = 23
166.56/30.52	c (19,0) x[13][26] = 14
166.56/30.52	c (19,0) x[13][27] = 13
166.56/30.52	c (19,0) x[13][28] = 5
166.56/30.52	c (19,0) x[13][29] = 19
166.56/30.52	c (19,0) x[14][0] = 5
166.56/30.52	c (19,0) x[14][1] = 18
166.56/30.52	c (19,0) x[14][2] = 11
166.56/30.52	c (19,0) x[14][3] = 21
166.56/30.52	c (19,0) x[14][4] = 20
166.56/30.52	c (19,0) x[14][5] = 12
166.56/30.52	c (19,0) x[14][6] = 15
166.56/30.52	c (19,0) x[14][7] = 19
166.56/30.52	c (19,0) x[14][8] = 7
166.56/30.52	c (19,0) x[14][9] = 2
166.56/30.52	c (19,0) x[14][10] = 25
166.56/30.52	c (19,0) x[14][11] = 1
166.56/30.52	c (19,0) x[14][12] = 26
166.56/30.52	c (19,0) x[14][13] = 17
166.56/30.52	c (19,0) x[14][14] = 0
166.56/30.52	c (19,0) x[14][15] = 6
166.56/30.52	c (19,0) x[14][16] = 13
166.56/30.52	c (19,0) x[14][17] = 10
166.56/30.52	c (19,0) x[14][18] = 8
166.56/30.52	c (19,0) x[14][19] = 4
166.56/30.52	c (19,0) x[14][20] = 27
166.56/30.52	c (19,0) x[14][21] = 14
166.56/30.52	c (19,0) x[14][22] = 3
166.56/30.52	c (19,0) x[14][23] = 9
166.56/30.52	c (19,0) x[14][24] = 29
166.56/30.52	c (19,0) x[14][25] = 16
166.56/30.52	c (19,0) x[14][26] = 24
166.56/30.52	c (19,0) x[14][27] = 23
166.56/30.52	c (19,0) x[14][28] = 28
166.56/30.52	c (19,0) x[14][29] = 22
166.56/30.52	c (19,0) x[15][0] = 27
166.56/30.52	c (19,0) x[15][1] = 20
166.56/30.52	c (19,0) x[15][2] = 4
166.56/30.52	c (19,0) x[15][3] = 29
166.56/30.52	c (19,0) x[15][4] = 25
166.56/30.52	c (19,0) x[15][5] = 10
166.56/30.52	c (19,0) x[15][6] = 2
166.56/30.52	c (19,0) x[15][7] = 7
166.56/30.52	c (19,0) x[15][8] = 9
166.56/30.52	c (19,0) x[15][9] = 21
166.56/30.52	c (19,0) x[15][10] = 14
166.56/30.52	c (19,0) x[15][11] = 17
166.56/30.52	c (19,0) x[15][12] = 16
166.56/30.52	c (19,0) x[15][13] = 1
166.56/30.52	c (19,0) x[15][14] = 23
166.56/30.52	c (19,0) x[15][15] = 0
166.56/30.52	c (19,0) x[15][16] = 26
166.56/30.52	c (19,0) x[15][17] = 19
166.56/30.52	c (19,0) x[15][18] = 28
166.56/30.52	c (19,0) x[15][19] = 5
166.56/30.52	c (19,0) x[15][20] = 11
166.56/30.52	c (19,0) x[15][21] = 13
166.56/30.52	c (19,0) x[15][22] = 8
166.56/30.52	c (19,0) x[15][23] = 24
166.56/30.52	c (19,0) x[15][24] = 6
166.56/30.52	c (19,0) x[15][25] = 15
166.56/30.52	c (19,0) x[15][26] = 22
166.56/30.52	c (19,0) x[15][27] = 18
166.56/30.52	c (19,0) x[15][28] = 3
166.56/30.52	c (19,0) x[15][29] = 12
166.56/30.52	c (19,0) x[16][0] = 15
166.56/30.52	c (19,0) x[16][1] = 21
166.56/30.52	c (19,0) x[16][2] = 14
166.56/30.52	c (19,0) x[16][3] = 16
166.56/30.52	c (19,0) x[16][4] = 19
166.56/30.52	c (19,0) x[16][5] = 26
166.56/30.52	c (19,0) x[16][6] = 10
166.56/30.52	c (19,0) x[16][7] = 25
166.56/30.52	c (19,0) x[16][8] = 28
166.56/30.52	c (19,0) x[16][9] = 9
166.56/30.52	c (19,0) x[16][10] = 1
166.56/30.52	c (19,0) x[16][11] = 0
166.56/30.52	c (19,0) x[16][12] = 18
166.56/30.52	c (19,0) x[16][13] = 22
166.56/30.52	c (19,0) x[16][14] = 20
166.56/30.52	c (19,0) x[16][15] = 4
166.56/30.52	c (19,0) x[16][16] = 24
166.56/30.52	c (19,0) x[16][17] = 27
166.56/30.52	c (19,0) x[16][18] = 7
166.56/30.52	c (19,0) x[16][19] = 6
166.56/30.52	c (19,0) x[16][20] = 8
166.56/30.52	c (19,0) x[16][21] = 11
166.56/30.52	c (19,0) x[16][22] = 5
166.56/30.52	c (19,0) x[16][23] = 23
166.56/30.52	c (19,0) x[16][24] = 3
166.56/30.52	c (19,0) x[16][25] = 12
166.56/30.52	c (19,0) x[16][26] = 13
166.56/30.52	c (19,0) x[16][27] = 2
166.56/30.52	c (19,0) x[16][28] = 17
166.56/30.52	c (19,0) x[16][29] = 29
166.56/30.53	c (19,0) x[17][0] = 6
166.56/30.53	c (19,0) x[17][1] = 0
166.56/30.53	c (19,0) x[17][2] = 3
166.56/30.53	c (19,0) x[17][3] = 8
166.56/30.53	c (19,0) x[17][4] = 21
166.56/30.53	c (19,0) x[17][5] = 24
166.56/30.53	c (19,0) x[17][6] = 23
166.56/30.53	c (19,0) x[17][7] = 29
166.56/30.53	c (19,0) x[17][8] = 18
166.56/30.53	c (19,0) x[17][9] = 25
166.56/30.53	c (19,0) x[17][10] = 28
166.56/30.53	c (19,0) x[17][11] = 22
166.56/30.53	c (19,0) x[17][12] = 4
166.56/30.53	c (19,0) x[17][13] = 19
166.56/30.53	c (19,0) x[17][14] = 26
166.56/30.53	c (19,0) x[17][15] = 13
166.56/30.53	c (19,0) x[17][16] = 15
166.56/30.53	c (19,0) x[17][17] = 16
166.56/30.53	c (19,0) x[17][18] = 14
166.56/30.53	c (19,0) x[17][19] = 2
166.56/30.53	c (19,0) x[17][20] = 5
166.56/30.53	c (19,0) x[17][21] = 9
166.56/30.53	c (19,0) x[17][22] = 10
166.56/30.53	c (19,0) x[17][23] = 7
166.56/30.53	c (19,0) x[17][24] = 20
166.56/30.53	c (19,0) x[17][25] = 27
166.56/30.53	c (19,0) x[17][26] = 17
166.56/30.53	c (19,0) x[17][27] = 12
166.56/30.53	c (19,0) x[17][28] = 1
166.56/30.53	c (19,0) x[17][29] = 11
166.56/30.53	c (19,0) x[18][0] = 7
166.56/30.53	c (19,0) x[18][1] = 25
166.56/30.53	c (19,0) x[18][2] = 27
166.56/30.53	c (19,0) x[18][3] = 23
166.56/30.53	c (19,0) x[18][4] = 18
166.56/30.53	c (19,0) x[18][5] = 5
166.56/30.53	c (19,0) x[18][6] = 9
166.56/30.53	c (19,0) x[18][7] = 17
166.56/30.53	c (19,0) x[18][8] = 13
166.56/30.53	c (19,0) x[18][9] = 3
166.56/30.53	c (19,0) x[18][10] = 10
166.56/30.53	c (19,0) x[18][11] = 19
166.56/30.53	c (19,0) x[18][12] = 14
166.56/30.53	c (19,0) x[18][13] = 11
166.56/30.53	c (19,0) x[18][14] = 12
166.56/30.53	c (19,0) x[18][15] = 15
166.56/30.53	c (19,0) x[18][16] = 22
166.56/30.53	c (19,0) x[18][17] = 24
166.56/30.53	c (19,0) x[18][18] = 26
166.56/30.53	c (19,0) x[18][19] = 0
166.56/30.53	c (19,0) x[18][20] = 20
166.56/30.53	c (19,0) x[18][21] = 4
166.56/30.53	c (19,0) x[18][22] = 21
166.56/30.53	c (19,0) x[18][23] = 1
166.56/30.53	c (19,0) x[18][24] = 28
166.56/30.53	c (19,0) x[18][25] = 6
166.56/30.53	c (19,0) x[18][26] = 2
166.56/30.53	c (19,0) x[18][27] = 29
166.56/30.53	c (19,0) x[18][28] = 16
166.56/30.53	c (19,0) x[18][29] = 8
166.56/30.53	c (19,0) x[19][0] = 26
166.56/30.53	c (19,0) x[19][1] = 19
166.56/30.53	c (19,0) x[19][2] = 20
166.56/30.53	c (19,0) x[19][3] = 15
166.56/30.53	c (19,0) x[19][4] = 10
166.56/30.53	c (19,0) x[19][5] = 2
166.56/30.53	c (19,0) x[19][6] = 16
166.56/30.53	c (19,0) x[19][7] = 4
166.56/30.53	c (19,0) x[19][8] = 23
166.56/30.53	c (19,0) x[19][9] = 29
166.56/30.53	c (19,0) x[19][10] = 22
166.56/30.53	c (19,0) x[19][11] = 3
166.56/30.53	c (19,0) x[19][12] = 0
166.56/30.53	c (19,0) x[19][13] = 13
166.56/30.53	c (19,0) x[19][14] = 28
166.56/30.53	c (19,0) x[19][15] = 21
166.56/30.53	c (19,0) x[19][16] = 14
166.56/30.53	c (19,0) x[19][17] = 9
166.56/30.53	c (19,0) x[19][18] = 24
166.56/30.53	c (19,0) x[19][19] = 17
166.56/30.53	c (19,0) x[19][20] = 12
166.56/30.53	c (19,0) x[19][21] = 8
166.56/30.53	c (19,0) x[19][22] = 6
166.56/30.53	c (19,0) x[19][23] = 25
166.56/30.53	c (19,0) x[19][24] = 11
166.56/30.53	c (19,0) x[19][25] = 18
166.56/30.53	c (19,0) x[19][26] = 1
166.56/30.53	c (19,0) x[19][27] = 5
166.56/30.53	c (19,0) x[19][28] = 27
166.56/30.53	c (19,0) x[19][29] = 7
166.56/30.53	c (19,0) x[20][0] = 29
166.56/30.53	c (19,0) x[20][1] = 24
166.56/30.53	c (19,0) x[20][2] = 0
166.56/30.53	c (19,0) x[20][3] = 10
166.56/30.53	c (19,0) x[20][4] = 27
166.56/30.53	c (19,0) x[20][5] = 14
166.56/30.53	c (19,0) x[20][6] = 21
166.56/30.53	c (19,0) x[20][7] = 5
166.56/30.53	c (19,0) x[20][8] = 3
166.56/30.53	c (19,0) x[20][9] = 15
166.56/30.53	c (19,0) x[20][10] = 7
166.56/30.53	c (19,0) x[20][11] = 20
166.56/30.53	c (19,0) x[20][12] = 8
166.56/30.53	c (19,0) x[20][13] = 2
166.56/30.53	c (19,0) x[20][14] = 6
166.56/30.53	c (19,0) x[20][15] = 26
166.56/30.53	c (19,0) x[20][16] = 19
166.56/30.53	c (19,0) x[20][17] = 22
166.56/30.53	c (19,0) x[20][18] = 16
166.56/30.53	c (19,0) x[20][19] = 18
166.56/30.53	c (19,0) x[20][20] = 25
166.56/30.53	c (19,0) x[20][21] = 23
166.56/30.53	c (19,0) x[20][22] = 4
166.56/30.53	c (19,0) x[20][23] = 11
166.56/30.53	c (19,0) x[20][24] = 9
166.56/30.53	c (19,0) x[20][25] = 1
166.56/30.53	c (19,0) x[20][26] = 28
166.56/30.53	c (19,0) x[20][27] = 17
166.56/30.53	c (19,0) x[20][28] = 12
166.56/30.53	c (19,0) x[20][29] = 13
166.56/30.53	c (19,0) x[21][0] = 22
166.56/30.53	c (19,0) x[21][1] = 13
166.56/30.53	c (19,0) x[21][2] = 1
166.56/30.53	c (19,0) x[21][3] = 20
166.56/30.53	c (19,0) x[21][4] = 8
166.56/30.53	c (19,0) x[21][5] = 25
166.56/30.53	c (19,0) x[21][6] = 3
166.56/30.53	c (19,0) x[21][7] = 9
166.56/30.53	c (19,0) x[21][8] = 5
166.56/30.53	c (19,0) x[21][9] = 24
166.56/30.53	c (19,0) x[21][10] = 21
166.56/30.53	c (19,0) x[21][11] = 28
166.56/30.53	c (19,0) x[21][12] = 6
166.56/30.53	c (19,0) x[21][13] = 23
166.56/30.53	c (19,0) x[21][14] = 10
166.56/30.53	c (19,0) x[21][15] = 2
166.56/30.53	c (19,0) x[21][16] = 7
166.56/30.53	c (19,0) x[21][17] = 14
166.56/30.53	c (19,0) x[21][18] = 12
166.56/30.53	c (19,0) x[21][19] = 19
166.56/30.53	c (19,0) x[21][20] = 29
166.56/30.53	c (19,0) x[21][21] = 26
166.56/30.53	c (19,0) x[21][22] = 15
166.56/30.53	c (19,0) x[21][23] = 16
166.56/30.53	c (19,0) x[21][24] = 27
166.56/30.53	c (19,0) x[21][25] = 0
166.56/30.53	c (19,0) x[21][26] = 11
166.56/30.53	c (19,0) x[21][27] = 4
166.56/30.53	c (19,0) x[21][28] = 18
166.56/30.53	c (19,0) x[21][29] = 17
166.56/30.53	c (19,0) x[22][0] = 2
166.56/30.53	c (19,0) x[22][1] = 11
166.56/30.53	c (19,0) x[22][2] = 28
166.56/30.53	c (19,0) x[22][3] = 27
166.56/30.53	c (19,0) x[22][4] = 17
166.56/30.53	c (19,0) x[22][5] = 23
166.56/30.53	c (19,0) x[22][6] = 12
166.56/30.53	c (19,0) x[22][7] = 14
166.56/30.53	c (19,0) x[22][8] = 10
166.56/30.53	c (19,0) x[22][9] = 5
166.56/30.53	c (19,0) x[22][10] = 15
166.56/30.53	c (19,0) x[22][11] = 25
166.56/30.53	c (19,0) x[22][12] = 13
166.56/30.53	c (19,0) x[22][13] = 6
166.56/30.53	c (19,0) x[22][14] = 7
166.56/30.53	c (19,0) x[22][15] = 19
166.56/30.53	c (19,0) x[22][16] = 18
166.56/30.53	c (19,0) x[22][17] = 4
166.56/30.53	c (19,0) x[22][18] = 20
166.56/30.53	c (19,0) x[22][19] = 21
166.56/30.53	c (19,0) x[22][20] = 24
166.56/30.53	c (19,0) x[22][21] = 29
166.56/30.53	c (19,0) x[22][22] = 1
166.56/30.53	c (19,0) x[22][23] = 22
166.56/30.53	c (19,0) x[22][24] = 0
166.56/30.53	c (19,0) x[22][25] = 8
166.56/30.53	c (19,0) x[22][26] = 16
166.56/30.53	c (19,0) x[22][27] = 26
166.56/30.53	c (19,0) x[22][28] = 9
166.56/30.53	c (19,0) x[22][29] = 3
166.56/30.53	c (19,0) x[23][0] = 28
166.56/30.53	c (19,0) x[23][1] = 26
166.56/30.53	c (19,0) x[23][2] = 24
166.56/30.53	c (19,0) x[23][3] = 4
166.56/30.53	c (19,0) x[23][4] = 14
166.56/30.53	c (19,0) x[23][5] = 11
166.56/30.53	c (19,0) x[23][6] = 29
166.56/30.53	c (19,0) x[23][7] = 23
166.56/30.53	c (19,0) x[23][8] = 17
166.56/30.53	c (19,0) x[23][9] = 16
166.56/30.53	c (19,0) x[23][10] = 18
166.56/30.53	c (19,0) x[23][11] = 7
166.56/30.53	c (19,0) x[23][12] = 3
166.56/30.53	c (19,0) x[23][13] = 20
166.56/30.53	c (19,0) x[23][14] = 15
166.56/30.53	c (19,0) x[23][15] = 9
166.56/30.53	c (19,0) x[23][16] = 2
166.56/30.53	c (19,0) x[23][17] = 6
166.56/30.53	c (19,0) x[23][18] = 25
166.56/30.53	c (19,0) x[23][19] = 27
166.56/30.53	c (19,0) x[23][20] = 1
166.56/30.53	c (19,0) x[23][21] = 10
166.56/30.53	c (19,0) x[23][22] = 12
166.56/30.53	c (19,0) x[23][23] = 0
166.56/30.53	c (19,0) x[23][24] = 13
166.56/30.53	c (19,0) x[23][25] = 22
166.56/30.53	c (19,0) x[23][26] = 21
166.56/30.53	c (19,0) x[23][27] = 8
166.56/30.53	c (19,0) x[23][28] = 19
166.56/30.53	c (19,0) x[23][29] = 5
166.56/30.53	c (19,0) x[24][0] = 21
166.56/30.53	c (19,0) x[24][1] = 12
166.56/30.53	c (19,0) x[24][2] = 16
166.56/30.53	c (19,0) x[24][3] = 19
166.56/30.53	c (19,0) x[24][4] = 1
166.56/30.53	c (19,0) x[24][5] = 28
166.56/30.53	c (19,0) x[24][6] = 6
166.56/30.53	c (19,0) x[24][7] = 13
166.56/30.53	c (19,0) x[24][8] = 29
166.56/30.53	c (19,0) x[24][9] = 27
166.56/30.53	c (19,0) x[24][10] = 0
166.56/30.53	c (19,0) x[24][11] = 10
166.56/30.53	c (19,0) x[24][12] = 17
166.56/30.53	c (19,0) x[24][13] = 15
166.56/30.53	c (19,0) x[24][14] = 22
166.56/30.53	c (19,0) x[24][15] = 7
166.56/30.53	c (19,0) x[24][16] = 5
166.56/30.53	c (19,0) x[24][17] = 11
166.56/30.53	c (19,0) x[24][18] = 4
166.56/30.53	c (19,0) x[24][19] = 8
166.56/30.53	c (19,0) x[24][20] = 23
166.56/30.53	c (19,0) x[24][21] = 20
166.56/30.53	c (19,0) x[24][22] = 9
166.56/30.53	c (19,0) x[24][23] = 18
166.56/30.53	c (19,0) x[24][24] = 2
166.56/30.53	c (19,0) x[24][25] = 24
166.56/30.53	c (19,0) x[24][26] = 25
166.56/30.53	c (19,0) x[24][27] = 3
166.56/30.53	c (19,0) x[24][28] = 14
166.56/30.53	c (19,0) x[24][29] = 26
166.56/30.53	c (19,0) x[25][0] = 20
166.56/30.53	c (19,0) x[25][1] = 9
166.56/30.53	c (19,0) x[25][2] = 2
166.56/30.53	c (19,0) x[25][3] = 7
166.56/30.53	c (19,0) x[25][4] = 29
166.56/30.53	c (19,0) x[25][5] = 17
166.56/30.53	c (19,0) x[25][6] = 19
166.56/30.53	c (19,0) x[25][7] = 11
166.56/30.53	c (19,0) x[25][8] = 21
166.56/30.53	c (19,0) x[25][9] = 8
166.56/30.53	c (19,0) x[25][10] = 12
166.56/30.53	c (19,0) x[25][11] = 23
166.56/30.53	c (19,0) x[25][12] = 27
166.56/30.53	c (19,0) x[25][13] = 3
166.56/30.53	c (19,0) x[25][14] = 1
166.56/30.53	c (19,0) x[25][15] = 25
166.56/30.53	c (19,0) x[25][16] = 6
166.56/30.53	c (19,0) x[25][17] = 0
166.56/30.53	c (19,0) x[25][18] = 18
166.56/30.53	c (19,0) x[25][19] = 28
166.56/30.53	c (19,0) x[25][20] = 4
166.56/30.53	c (19,0) x[25][21] = 24
166.56/30.53	c (19,0) x[25][22] = 26
166.56/30.53	c (19,0) x[25][23] = 10
166.56/30.53	c (19,0) x[25][24] = 22
166.56/30.53	c (19,0) x[25][25] = 14
166.56/30.53	c (19,0) x[25][26] = 5
166.56/30.53	c (19,0) x[25][27] = 15
166.56/30.53	c (19,0) x[25][28] = 13
166.56/30.53	c (19,0) x[25][29] = 16
166.56/30.53	c (19,0) x[26][0] = 12
166.56/30.53	c (19,0) x[26][1] = 28
166.56/30.53	c (19,0) x[26][2] = 19
166.56/30.53	c (19,0) x[26][3] = 5
166.56/30.53	c (19,0) x[26][4] = 22
166.56/30.53	c (19,0) x[26][5] = 18
166.56/30.53	c (19,0) x[26][6] = 1
166.56/30.53	c (19,0) x[26][7] = 20
166.56/30.53	c (19,0) x[26][8] = 8
166.56/30.53	c (19,0) x[26][9] = 10
166.56/30.53	c (19,0) x[26][10] = 4
166.56/30.53	c (19,0) x[26][11] = 13
166.56/30.53	c (19,0) x[26][12] = 29
166.56/30.53	c (19,0) x[26][13] = 27
166.56/30.53	c (19,0) x[26][14] = 9
166.56/30.53	c (19,0) x[26][15] = 14
166.56/30.53	c (19,0) x[26][16] = 17
166.56/30.53	c (19,0) x[26][17] = 2
166.56/30.53	c (19,0) x[26][18] = 11
166.56/30.53	c (19,0) x[26][19] = 25
166.56/30.53	c (19,0) x[26][20] = 3
166.56/30.53	c (19,0) x[26][21] = 21
166.56/30.53	c (19,0) x[26][22] = 23
166.56/30.53	c (19,0) x[26][23] = 15
166.56/30.53	c (19,0) x[26][24] = 24
166.56/30.53	c (19,0) x[26][25] = 7
166.56/30.53	c (19,0) x[26][26] = 0
166.56/30.53	c (19,0) x[26][27] = 16
166.56/30.53	c (19,0) x[26][28] = 26
166.56/30.53	c (19,0) x[26][29] = 6
166.56/30.53	c (19,0) x[27][0] = 1
166.56/30.53	c (19,0) x[27][1] = 16
166.56/30.53	c (19,0) x[27][2] = 7
166.56/30.53	c (19,0) x[27][3] = 2
166.56/30.53	c (19,0) x[27][4] = 24
166.56/30.53	c (19,0) x[27][5] = 0
166.56/30.53	c (19,0) x[27][6] = 8
166.56/30.53	c (19,0) x[27][7] = 28
166.56/30.53	c (19,0) x[27][8] = 11
166.56/30.53	c (19,0) x[27][9] = 6
166.56/30.53	c (19,0) x[27][10] = 20
166.56/30.53	c (19,0) x[27][11] = 12
166.56/30.53	c (19,0) x[27][12] = 19
166.56/30.53	c (19,0) x[27][13] = 25
166.56/30.53	c (19,0) x[27][14] = 29
166.56/30.53	c (19,0) x[27][15] = 10
166.56/30.53	c (19,0) x[27][16] = 4
166.56/30.53	c (19,0) x[27][17] = 17
166.56/30.53	c (19,0) x[27][18] = 27
166.56/30.53	c (19,0) x[27][19] = 3
166.56/30.53	c (19,0) x[27][20] = 26
166.56/30.53	c (19,0) x[27][21] = 15
166.56/30.53	c (19,0) x[27][22] = 13
166.56/30.53	c (19,0) x[27][23] = 21
166.56/30.53	c (19,0) x[27][24] = 18
166.56/30.53	c (19,0) x[27][25] = 5
166.56/30.53	c (19,0) x[27][26] = 9
166.56/30.53	c (19,0) x[27][27] = 14
166.56/30.53	c (19,0) x[27][28] = 22
166.56/30.53	c (19,0) x[27][29] = 23
166.56/30.53	c (19,0) x[28][0] = 3
166.56/30.53	c (19,0) x[28][1] = 8
166.56/30.53	c (19,0) x[28][2] = 18
166.56/30.53	c (19,0) x[28][3] = 6
166.56/30.53	c (19,0) x[28][4] = 28
166.56/30.53	c (19,0) x[28][5] = 19
166.56/30.53	c (19,0) x[28][6] = 22
166.56/30.53	c (19,0) x[28][7] = 24
166.56/30.53	c (19,0) x[28][8] = 1
166.56/30.53	c (19,0) x[28][9] = 26
166.56/30.53	c (19,0) x[28][10] = 27
166.56/30.53	c (19,0) x[28][11] = 29
166.56/30.53	c (19,0) x[28][12] = 23
166.56/30.53	c (19,0) x[28][13] = 12
166.56/30.53	c (19,0) x[28][14] = 4
166.56/30.53	c (19,0) x[28][15] = 20
166.56/30.53	c (19,0) x[28][16] = 0
166.56/30.53	c (19,0) x[28][17] = 25
166.56/30.53	c (19,0) x[28][18] = 21
166.56/30.53	c (19,0) x[28][19] = 14
166.56/30.53	c (19,0) x[28][20] = 16
166.56/30.53	c (19,0) x[28][21] = 5
166.56/30.53	c (19,0) x[28][22] = 17
166.56/30.53	c (19,0) x[28][23] = 13
166.56/30.53	c (19,0) x[28][24] = 7
166.56/30.53	c (19,0) x[28][25] = 10
166.56/30.53	c (19,0) x[28][26] = 15
166.56/30.53	c (19,0) x[28][27] = 11
166.56/30.53	c (19,0) x[28][28] = 2
166.56/30.53	c (19,0) x[28][29] = 9
166.56/30.53	c (19,0) x[29][0] = 16
166.56/30.53	c (19,0) x[29][1] = 3
166.56/30.53	c (19,0) x[29][2] = 22
166.56/30.53	c (19,0) x[29][3] = 1
166.56/30.53	c (19,0) x[29][4] = 9
166.56/30.53	c (19,0) x[29][5] = 27
166.56/30.53	c (19,0) x[29][6] = 4
166.56/30.53	c (19,0) x[29][7] = 10
166.56/30.53	c (19,0) x[29][8] = 26
166.56/30.53	c (19,0) x[29][9] = 7
166.56/30.53	c (19,0) x[29][10] = 24
166.56/30.53	c (19,0) x[29][11] = 18
166.56/30.53	c (19,0) x[29][12] = 20
166.56/30.53	c (19,0) x[29][13] = 5
166.56/30.53	c (19,0) x[29][14] = 21
166.56/30.53	c (19,0) x[29][15] = 23
166.56/30.53	c (19,0) x[29][16] = 11
166.56/30.53	c (19,0) x[29][17] = 29
166.56/30.53	c (19,0) x[29][18] = 6
166.56/30.53	c (19,0) x[29][19] = 12
166.56/30.53	c (19,0) x[29][20] = 14
166.56/30.53	c (19,0) x[29][21] = 2
166.56/30.53	c (19,0) x[29][22] = 0
166.56/30.53	c (19,0) x[29][23] = 17
166.56/30.53	c (19,0) x[29][24] = 8
166.56/30.53	c (19,0) x[29][25] = 13
166.56/30.53	c (19,0) x[29][26] = 19
166.56/30.53	c (19,0) x[29][27] = 28
166.56/30.53	c (19,0) x[29][28] = 25
166.56/30.53	c (19,0) x[29][29] = 15
166.56/30.53	s SATISFIABLE
166.56/30.53	v <instantiation>
166.56/30.53	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>
166.56/30.53	v     <values>24 17 15 18 3 22 5 6 19 0 9 11 28 14 13 16 27 12 10 23 2 1 25 8 26 21 29 20 7 4 4 6 5 9 26 13 27 16 2 14 3 15 12 8 19 22 1 28 0 29 17 25 24 20 10 11 23 7 21 18 13 5 10 0 11 3 7 26 22 17 23 8 1 29 16 18 20 21 2 15 28 6 19 27 14 9 12 24 4 25 8 29 12 3 5 4 13 2 14 19 17 27 25 16 11 24 21 23 1 10 6 7 22 28 15 26 18 9 20 0 0 10 23 22 13 16 20 8 27 11 26 24 5 28 14 17 12 15 9 7 19 3 18 29 21 25 4 1 6 2 23 14 13 17 15 8 26 21 4 12 29 9 11 18 27 3 10 20 5 1 22 0 7 19 16 2 6 25 24 28 10 27 9 26 16 7 28 0 15 23 2 6 24 21 17 8 25 5 13 22 18 12 14 4 1 29 3 19 11 20 11 23 21 24 12 1 18 3 0 22 16 2 10 4 5 28 9 26 17 13 7 19 29 14 25 20 8 6 15 27 14 4 6 13 2 9 24 22 20 1 19 5 7 10 25 12 29 18 15 16 0 17 11 3 23 28 26 27 8 21 9 7 17 11 4 21 25 12 24 13 6 14 2 0 18 29 16 8 22 26 15 28 27 5 19 3 20 10 23 1 25 22 29 14 23 6 17 27 12 20 8 21 15 26 3 11 28 1 19 9 13 18 16 2 5 4 7 0 10 24 19 15 26 28 6 29 11 1 25 18 13 16 9 24 8 5 3 7 23 20 21 27 2 12 4 17 10 22 0 14 17 2 8 25 0 15 14 18 6 28 5 4 22 7 24 1 23 13 3 11 9 16 20 26 12 19 27 21 29 10 18 1 25 12 7 20 0 15 16 4 11 26 21 9 2 27 8 3 29 24 10 22 28 6 17 23 14 13 5 19 5 18 11 21 20 12 15 19 7 2 25 1 26 17 0 6 13 10 8 4 27 14 3 9 29 16 24 23 28 22 27 20 4 29 25 10 2 7 9 21 14 17 16 1 23 0 26 19 28 5 11 13 8 24 6 15 22 18 3 12 15 21 14 16 19 26 10 25 28 9 1 0 18 22 20 4 24 27 7 6 8 11 5 23 3 12 13 2 17 29 6 0 3 8 21 24 23 29 18 25 28 22 4 19 26 13 15 16 14 2 5 9 10 7 20 27 17 12 1 11 7 25 27 23 18 5 9 17 13 3 10 19 14 11 12 15 22 24 26 0 20 4 21 1 28 6 2 29 16 8 26 19 20 15 10 2 16 4 23 29 22 3 0 13 28 21 14 9 24 17 12 8 6 25 11 18 1 5 27 7 29 24 0 10 27 14 21 5 3 15 7 20 8 2 6 26 19 22 16 18 25 23 4 11 9 1 28 17 12 13 22 13 1 20 8 25 3 9 5 24 21 28 6 23 10 2 7 14 12 19 29 26 15 16 27 0 11 4 18 17 2 11 28 27 17 23 12 14 10 5 15 25 13 6 7 19 18 4 20 21 24 29 1 22 0 8 16 26 9 3 28 26 24 4 14 11 29 23 17 16 18 7 3 20 15 9 2 6 25 27 1 10 12 0 13 22 21 8 19 5 21 12 16 19 1 28 6 13 29 27 0 10 17 15 22 7 5 11 4 8 23 20 9 18 2 24 25 3 14 26 20 9 2 7 29 17 19 11 21 8 12 23 27 3 1 25 6 0 18 28 4 24 26 10 22 14 5 15 13 16 12 28 19 5 22 18 1 20 8 10 4 13 29 27 9 14 17 2 11 25 3 21 23 15 24 7 0 16 26 6 1 16 7 2 24 0 8 28 11 6 20 12 19 25 29 10 4 17 27 3 26 15 13 21 18 5 9 14 22 23 3 8 18 6 28 19 22 24 1 26 27 29 23 12 4 20 0 25 21 14 16 5 17 13 7 10 15 11 2 9 16 3 22 1 9 27 4 10 26 7 24 18 20 5 21 23 11 29 6 12 14 2 0 17 8 13 19 28 25 15</values>
166.56/30.53	v </instantiation>
166.56/30.53	c (19,0) Show results End
166.56/30.53	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
166.56/30.53	c (19,0) 19,19,STOP-AFTER(ALL)
166.56/30.53	c END-Prog: Tue Sep 24 23:04:54 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 (11575 MiB free)
  memory of node 1: 16384 MiB (12621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405271-1569359105/watcher-4405271-1569359105 -o /var/tmp/evaluation-result-4405271-1569359105/solver-4405271-1569359105 -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-4405271-1569359105.xml 

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

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

Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 1.65 5.48 7.21 2/212 29880
/proc/meminfo: memFree=24684124/32770624 swapFree=66976788/67108860
[pid=29858] ppid=29855 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29858/stat : 29858 (scop.sh) S 29855 29858 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511850516 115843072 349 33554432000 4194304 5098028 140722031422672 140722031419928 140014978921084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39362560 140722031428349 140722031428696 140722031428696 140722031431625 0
/proc/29858/statm: 28282 349 296 221 0 87 0
[pid=29861] ppid=29858 vsize=27314120 memory=104056 CPUtime=0.11 cores=0-7
/proc/29861/stat : 29861 (java) S 29858 29858 29677 0 -1 1077944320 6581 0 0 0 9 2 0 0 20 0 20 0 511850516 27969658880 26014 33554432000 4194304 4196468 140724766352880 140724766335424 140405062983415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
/proc/29861/statm: 6828530 26014 2811 1 0 6790935 0
[pid=29861/tid=29862] ppid=29858 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/29861/task/29862/stat : 29862 (java) R 29858 29858 29677 0 -1 4202560 4644 0 0 0 7 1 0 0 20 0 20 0 511850516 27969658880 26014 33554432000 4194304 4196468 140724766352880 140405034796928 140405047027045 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29863] ppid=29858 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29861/task/29863/stat : 29863 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140405067225616 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29864] ppid=29858 vsize=27314120 memory=140327216105088 CPUtime=0 cores=0-7
/proc/29861/task/29864/stat : 29864 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404898474640 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29865] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29865/stat : 29865 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404484057360 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29866] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29866/stat : 29866 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404483004816 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29867] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29867/stat : 29867 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404481952784 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29868] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29868/stat : 29868 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404480900240 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29869] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29869/stat : 29869 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404479847184 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29870] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29870/stat : 29870 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404478794640 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29871] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29871/stat : 29871 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850520 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404054161648 140405062994562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29872] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29872/stat : 29872 (java) S 29858 29858 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511850521 27969658880 26014 33554432000 4194304 4196468 140724766352880 140402950661280 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29873] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29873/stat : 29873 (java) S 29858 29858 29677 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511850521 27969658880 26014 33554432000 4194304 4196468 140724766352880 140402816439024 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29874] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29874/stat : 29874 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 26014 33554432000 4194304 4196468 140724766352880 140402441934800 140405063002011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29875] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29875/stat : 29875 (java) S 29858 29858 29677 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404053109488 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29876] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29876/stat : 29876 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404052056944 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29877] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29877/stat : 29877 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404051003888 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29878] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29878/stat : 29878 (java) S 29858 29858 29677 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 26014 33554432000 4194304 4196468 140724766352880 140404049951344 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29879] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29879/stat : 29879 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850524 27969658880 26526 33554432000 4194304 4196468 140724766352880 140401944029664 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29880] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29880/stat : 29880 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850524 27969658880 26526 33554432000 4194304 4196468 140724766352880 140404048898736 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105452 KiB

[startup+0.210638 s]*
/proc/loadavg: 1.65 5.48 7.21 2/212 29880
/proc/meminfo: memFree=24662960/32770624 swapFree=66976788/67108860
[pid=29858] ppid=29855 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29858/stat : 29858 (scop.sh) S 29855 29858 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511850516 115843072 349 33554432000 4194304 5098028 140722031422672 140722031419928 140014978921084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39362560 140722031428349 140722031428696 140722031428696 140722031431625 0
/proc/29858/statm: 28282 349 296 221 0 87 0
[pid=29861] ppid=29858 vsize=27314120 memory=123120 CPUtime=0.24 cores=0-7
/proc/29861/stat : 29861 (java) S 29858 29858 29677 0 -1 1077944320 12105 0 0 0 21 3 0 0 20 0 20 0 511850516 27969658880 30780 33554432000 4194304 4196468 140724766352880 140724766335424 140405062983415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
/proc/29861/statm: 6828530 30780 2932 1 0 6790935 0
[pid=29861/tid=29862] ppid=29858 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29861/task/29862/stat : 29862 (java) R 29858 29858 29677 0 -1 4202560 9754 0 0 0 17 3 0 0 20 0 20 0 511850516 27969658880 30780 33554432000 4194304 4196468 140724766352880 140405034798480 140405044546902 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29863] ppid=29858 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/29861/task/29863/stat : 29863 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140405067225616 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29864] ppid=29858 vsize=27314120 memory=288370703367816832 CPUtime=0 cores=0-7
/proc/29861/task/29864/stat : 29864 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404898474640 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29865] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29865/stat : 29865 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404484057360 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29866] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29866/stat : 29866 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404483004816 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29867] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29867/stat : 29867 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404481952784 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29868] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29868/stat : 29868 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404480900240 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29869] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29869/stat : 29869 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404479847184 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29870] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29870/stat : 29870 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404478794640 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29871] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29871/stat : 29871 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850520 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404054161648 140405062994562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29872] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29872/stat : 29872 (java) S 29858 29858 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511850521 27969658880 30780 33554432000 4194304 4196468 140724766352880 140402950661280 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29873] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29873/stat : 29873 (java) S 29858 29858 29677 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511850521 27969658880 30780 33554432000 4194304 4196468 140724766352880 140402816439024 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29874] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29874/stat : 29874 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 30780 33554432000 4194304 4196468 140724766352880 140402441934800 140405063002011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29875] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29875/stat : 29875 (java) S 29858 29858 29677 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404053109488 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29876] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29876/stat : 29876 (java) S 29858 29858 29677 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404052056944 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29877] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29877/stat : 29877 (java) S 29858 29858 29677 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404051003888 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29878] ppid=29858 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29861/task/29878/stat : 29878 (java) S 29858 29858 29677 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 511850523 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404049951344 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29879] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29879/stat : 29879 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850524 27969658880 30780 33554432000 4194304 4196468 140724766352880 140401944029664 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29880] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29880/stat : 29880 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850524 27969658880 30780 33554432000 4194304 4196468 140724766352880 140404048898736 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124516 KiB

[startup+0.310372 s]*
/proc/loadavg: 1.65 5.48 7.21 2/212 29880
/proc/meminfo: memFree=24660540/32770624 swapFree=66976788/67108860
[pid=29858] ppid=29855 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29858/stat : 29858 (scop.sh) S 29855 29858 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511850516 115843072 349 33554432000 4194304 5098028 140722031422672 140722031419928 140014978921084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39362560 140722031428349 140722031428696 140722031428696 140722031431625 0
/proc/29858/statm: 28282 349 296 221 0 87 0
[pid=29861] ppid=29858 vsize=27314120 memory=126836 CPUtime=0.42 cores=0-7
/proc/29861/stat : 29861 (java) S 29858 29858 29677 0 -1 1077944320 13177 0 0 0 38 4 0 0 20 0 20 0 511850516 27969658880 31709 33554432000 4194304 4196468 140724766352880 140724766335424 140405062983415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
/proc/29861/statm: 6828530 31709 3010 1 0 6790935 0
[pid=29861/tid=29862] ppid=29858 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29861/task/29862/stat : 29862 (java) R 29858 29858 29677 0 -1 4202560 10566 0 0 0 26 3 0 0 20 0 20 0 511850516 27969658880 31709 33554432000 4194304 4196468 140724766352880 140405034766432 140405047063902 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29863] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29863/stat : 29863 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140405067225616 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29864] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29864/stat : 29864 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404898474640 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29865] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29865/stat : 29865 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404484057360 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29866] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29866/stat : 29866 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404483004816 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29867] ppid=29858 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/29861/task/29867/stat : 29867 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404481952784 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29868] ppid=29858 vsize=27314120 memory=140327117747119 CPUtime=0 cores=0-7
/proc/29861/task/29868/stat : 29868 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404480900240 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29869] ppid=29858 vsize=27314120 memory=140327117749424 CPUtime=0 cores=0-7
/proc/29861/task/29869/stat : 29869 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404479847184 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29870] ppid=29858 vsize=27314120 memory=140327117751728 CPUtime=0 cores=0-7
/proc/29861/task/29870/stat : 29870 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850519 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404478794640 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29871] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29871/stat : 29871 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850520 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404054161648 140405062994562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29872] ppid=29858 vsize=27314120 memory=280654235510416 CPUtime=0 cores=0-7
/proc/29861/task/29872/stat : 29872 (java) S 29858 29858 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511850521 27969658880 31709 33554432000 4194304 4196468 140724766352880 140402950661280 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29873] ppid=29858 vsize=27314120 memory=280654235517328 CPUtime=0 cores=0-7
/proc/29861/task/29873/stat : 29873 (java) S 29858 29858 29677 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511850521 27969658880 31709 33554432000 4194304 4196468 140724766352880 140402816439024 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29874] ppid=29858 vsize=27314120 memory=280654235458608 CPUtime=0 cores=0-7
/proc/29861/task/29874/stat : 29874 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 31709 33554432000 4194304 4196468 140724766352880 140402441934800 140405063002011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29875] ppid=29858 vsize=27314120 memory=280654235531152 CPUtime=0.01 cores=0-7
/proc/29861/task/29875/stat : 29875 (java) S 29858 29858 29677 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 511850523 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404053109488 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29876] ppid=29858 vsize=27314120 memory=280654235538064 CPUtime=0.02 cores=0-7
/proc/29861/task/29876/stat : 29876 (java) S 29858 29858 29677 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 511850523 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404052056944 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29877] ppid=29858 vsize=27314120 memory=280654235535760 CPUtime=0 cores=0-7
/proc/29861/task/29877/stat : 29877 (java) R 29858 29858 29677 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 20 0 511850523 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404051003888 140405043682746 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29878] ppid=29858 vsize=27314120 memory=280654235551920 CPUtime=0.07 cores=0-7
/proc/29861/task/29878/stat : 29878 (java) S 29858 29858 29677 0 -1 1077944384 591 0 0 0 7 0 0 0 20 0 20 0 511850523 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404049951344 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29879] ppid=29858 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29879/stat : 29879 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850524 27969658880 31709 33554432000 4194304 4196468 140724766352880 140401944029664 140405062993621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29880] ppid=29858 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29861/task/29880/stat : 29880 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511850524 27969658880 31709 33554432000 4194304 4196468 140724766352880 140404048898736 140405062994562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128232 KiB

[startup+0.700984 s]
/proc/loadavg: 1.65 5.48 7.21 2/212 29880
/proc/meminfo: memFree=24639300/32770624 swapFree=66976788/67108860
[pid=29858] ppid=29855 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29858/stat : 29858 (scop.sh) S 29855 29858 29677 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511850516 115843072 349 33554432000 4194304 5098028 140722031422672 140722031419928 140014978921084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39362560 140722031428349 140722031428696 140722031428696 140722031431625 0
/proc/29858/statm: 28282 349 296 221 0 87 0
[pid=29861] ppid=29858 vsize=27322516 memory=162832 CPUtime=0.99 cores=0-7
/proc/29861/stat : 29861 (java) S 29858 29858 29677 0 -1 1077944320 20356 0 0 0 92 7 0 0 20 0 20 0 511850516 27978256384 40708 33554432000 4194304 4196468 140724766352880 140724766335424 140405062983415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
/proc/29861/statm: 6830629 40708 3188 1 0 6791959 0
[pid=29861/tid=29862] ppid=29858 vsize=27322516 memory=280654235909808 CPUtime=0.67 cores=0-7
/proc/29861/task/29862/stat : 29862 (java) R 29858 29858 29677 0 -1 4202560 17134 0 0 0 62 5 0 0 20 0 20 0 511850516 27978256384 40708 33554432000 4194304 4196468 140724766352880 140405034815152 140405047063902 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29863] ppid=29858 vsize=27322516 memory=140327117955952 CPUtime=0 cores=0-7
/proc/29861/task/29863/stat : 29863 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511850519 27978256384 40708 33554432000 4194304 4196468 140724766352880 140405067225616 140405062993621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29864] ppid=29858 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29861/task/29864/stat : 29864 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511850519 27978256384 40708 33554432000 4194304 4196468 140724766352880 140404898474640 140405062993621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28209152 140724766360263 140724766360710 140724766360710 140724766363599 0
[pid=29861/tid=29865] ppid=29858 vsize=27322516 memory=1060 CPUtime=0 cores=0-7

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

[pid=29881/tid=29882] ppid=29858 vsize=8414124 memory=7686721470250786204 CPUtime=0.8 cores=0-7
/proc/29881/task/29882/stat : 29882 (java) S 29858 29858 29677 0 -1 1077944384 16905 0 0 0 73 7 0 0 20 0 24 0 511851599 8616062976 31070 33554432000 4194304 4196468 140730479321632 140054133022624 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29883] ppid=29858 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29881/task/29883/stat : 29883 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140054165425168 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29884] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29884/stat : 29884 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053985721488 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29885] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29885/stat : 29885 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053645675280 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29886] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29886/stat : 29886 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053644622736 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29887] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29887/stat : 29887 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053643569680 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29888] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29888/stat : 29888 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053642517136 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29889] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29889/stat : 29889 (java) S 29858 29858 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053641464080 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29890] ppid=29858 vsize=8414124 memory=280654237548032 CPUtime=0 cores=0-7
/proc/29881/task/29890/stat : 29890 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511851600 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053640411536 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29891] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29891/stat : 29891 (java) S 29858 29858 29677 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511851602 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053590199024 140054161193602 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29892] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29892/stat : 29892 (java) S 29858 29858 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511851602 8616062976 31070 33554432000 4194304 4196468 140730479321632 140052776609440 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29893] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29893/stat : 29893 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511851602 8616062976 31070 33554432000 4194304 4196468 140730479321632 140052508173552 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29894] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29894/stat : 29894 (java) S 29858 29858 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140052133665232 140054161201051 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29895] ppid=29858 vsize=8414124 memory=280654237506240 CPUtime=0.13 cores=0-7
/proc/29881/task/29895/stat : 29895 (java) S 29858 29858 29677 0 -1 1077944384 862 0 0 0 13 0 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053589145840 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29896] ppid=29858 vsize=8414124 memory=140327118755473 CPUtime=0.12 cores=0-7
/proc/29881/task/29896/stat : 29896 (java) S 29858 29858 29677 0 -1 1077944384 506 0 0 0 12 0 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053588093296 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29897] ppid=29858 vsize=8414124 memory=-4866526899798303339 CPUtime=0.08 cores=0-7
/proc/29881/task/29897/stat : 29897 (java) S 29858 29858 29677 0 -1 1077944384 279 0 0 0 8 0 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053587040240 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29898] ppid=29858 vsize=8414124 memory=88241 CPUtime=0.22 cores=0-7
/proc/29881/task/29898/stat : 29898 (java) S 29858 29858 29677 0 -1 1077944384 584 0 0 0 22 0 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053585987696 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29899] ppid=29858 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/29881/task/29899/stat : 29899 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140051635760096 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29900] ppid=29858 vsize=8414124 memory=7306640022678362215 CPUtime=0.01 cores=0-7
/proc/29881/task/29900/stat : 29900 (java) S 29858 29858 29677 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511851605 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053584936112 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29902] ppid=29858 vsize=8414124 memory=7379239701349755238 CPUtime=0 cores=0-7
/proc/29881/task/29902/stat : 29902 (java) S 29858 29858 29677 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511851676 8616062976 31070 33554432000 4194304 4196468 140730479321632 140053583324608 140054161207065 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29904] ppid=29858 vsize=8414124 memory=7596260211355052117 CPUtime=0 cores=0-7
/proc/29881/task/29904/stat : 29904 (java) S 29858 29858 29677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511851676 8616062976 31070 33554432000 4194304 4196468 140730479321632 140050964659728 140054161204381 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29905] ppid=29858 vsize=8414124 memory=-2752621353146282308 CPUtime=0 cores=0-7
/proc/29881/task/29905/stat : 29905 (java) S 29858 29858 29677 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511851677 8616062976 31070 33554432000 4194304 4196468 140730479321632 140051233095312 140054161204381 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29906] ppid=29858 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29881/task/29906/stat : 29906 (java) S 29858 29858 29677 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511851679 8616062976 31070 33554432000 4194304 4196468 140730479321632 140050696231856 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
Current children cumulated CPU time: 165.01 s
Current children cumulated vsize: 9324688 KiB
Current children cumulated memory: 462176 KiB

[startup+30.4011 s]
/proc/loadavg: 3.77 5.61 7.20 10/225 29916
/proc/meminfo: memFree=24329268/32770624 swapFree=66976788/67108860
[pid=29858] ppid=29855 vsize=113128 memory=1476 CPUtime=19.91 cores=0-7
/proc/29858/stat : 29858 (scop.sh) S 29855 29858 29677 0 -1 4202496 583 33983 0 0 0 0 1909 82 20 0 1 0 511850516 115843072 369 33554432000 4194304 5098028 140722031422672 140722031419416 140014978921084 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39362560 140722031428349 140722031428696 140722031428696 140722031431625 0
/proc/29858/statm: 28282 369 311 221 0 87 0
[pid=29881] ppid=29858 vsize=8283048 memory=139272 CPUtime=146.37 cores=0-7
/proc/29881/stat : 29881 (java) S 29858 29858 29677 0 -1 1077944320 22214 200369 0 0 172 10 14406 49 20 0 22 0 511851599 8481841152 34818 33554432000 4194304 4196468 140730479321632 140730479304176 140054161182455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
/proc/29881/statm: 2070762 34818 3232 1 0 2032106 0
[pid=29881/tid=29882] ppid=29858 vsize=8283048 memory=1660 CPUtime=145.43 cores=0-7
/proc/29881/task/29882/stat : 29882 (java) R 29858 29858 29677 0 -1 4202560 17086 200369 0 0 81 7 14406 49 20 0 22 0 511851599 8481841152 34818 33554432000 4194304 4196468 140730479321632 140054133021056 140054145262962 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29883] ppid=29858 vsize=8283048 memory=6791534058613427641 CPUtime=144.55 cores=0-7
/proc/29881/task/29883/stat : 29883 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140054165425168 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29884] ppid=29858 vsize=8283048 memory=65428 CPUtime=144.55 cores=0-7
/proc/29881/task/29884/stat : 29884 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053985721488 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29885] ppid=29858 vsize=8283048 memory=988 CPUtime=144.55 cores=0-7
/proc/29881/task/29885/stat : 29885 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053645675280 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29886] ppid=29858 vsize=8283048 memory=3620 CPUtime=144.55 cores=0-7
/proc/29881/task/29886/stat : 29886 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053644622736 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29887] ppid=29858 vsize=8283048 memory=1660 CPUtime=144.55 cores=0-7
/proc/29881/task/29887/stat : 29887 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053643569680 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29888] ppid=29858 vsize=8283048 memory=140331511072383 CPUtime=144.55 cores=0-7
/proc/29881/task/29888/stat : 29888 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053642517136 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29889] ppid=29858 vsize=8283048 memory=-7965621580847736000 CPUtime=144.55 cores=0-7
/proc/29881/task/29889/stat : 29889 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053641464080 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29890] ppid=29858 vsize=8283048 memory=4638778398332698726 CPUtime=144.55 cores=0-7
/proc/29881/task/29890/stat : 29890 (java) S 29858 29858 29677 0 -1 1077944384 3 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053640411536 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29891] ppid=29858 vsize=8283048 memory=3053511329498284128 CPUtime=144.55 cores=0-7
/proc/29881/task/29891/stat : 29891 (java) S 29858 29858 29677 0 -1 1077944384 5 200369 0 0 0 0 14406 49 20 0 22 0 511851602 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053590199024 140054161193602 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29892] ppid=29858 vsize=8283048 memory=4047135452298832513 CPUtime=144.55 cores=0-7
/proc/29881/task/29892/stat : 29892 (java) S 29858 29858 29677 0 -1 1077944384 13 200369 0 0 0 0 14406 49 20 0 22 0 511851602 8481841152 34818 33554432000 4194304 4196468 140730479321632 140052776609440 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29893] ppid=29858 vsize=8283048 memory=3470692292451393600 CPUtime=144.55 cores=0-7
/proc/29881/task/29893/stat : 29893 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851602 8481841152 34818 33554432000 4194304 4196468 140730479321632 140052508173552 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29894] ppid=29858 vsize=8283048 memory=4136 CPUtime=144.55 cores=0-7
/proc/29881/task/29894/stat : 29894 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140052133665232 140054161201051 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29895] ppid=29858 vsize=8283048 memory=1412 CPUtime=144.73 cores=0-7
/proc/29881/task/29895/stat : 29895 (java) S 29858 29858 29677 0 -1 1077944384 903 200369 0 0 18 0 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053589145840 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29896] ppid=29858 vsize=8283048 memory=3196 CPUtime=144.73 cores=0-7
/proc/29881/task/29896/stat : 29896 (java) S 29858 29858 29677 0 -1 1077944384 703 200369 0 0 18 0 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053588093296 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29897] ppid=29858 vsize=8283048 memory=1476 CPUtime=144.67 cores=0-7
/proc/29881/task/29897/stat : 29897 (java) S 29858 29858 29677 0 -1 1077944384 380 200369 0 0 12 0 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053587040240 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29898] ppid=29858 vsize=8283048 memory=124280 CPUtime=144.86 cores=0-7
/proc/29881/task/29898/stat : 29898 (java) S 29858 29858 29677 0 -1 1077944384 1184 200369 0 0 31 0 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053585987696 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29899] ppid=29858 vsize=8283048 memory=327220 CPUtime=144.55 cores=0-7
/proc/29881/task/29899/stat : 29899 (java) S 29858 29858 29677 0 -1 1077944384 3 200369 0 0 0 0 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140051635760096 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29900] ppid=29858 vsize=8283048 memory=7721456965418299443 CPUtime=144.56 cores=0-7
/proc/29881/task/29900/stat : 29900 (java) S 29858 29858 29677 0 -1 1077944384 3 200369 0 0 0 1 14406 49 20 0 22 0 511851605 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053584936112 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29902] ppid=29858 vsize=8283048 memory=0 CPUtime=144.55 cores=0-7
/proc/29881/task/29902/stat : 29902 (java) S 29858 29858 29677 0 -1 1077944384 25 200369 0 0 0 0 14406 49 20 0 22 0 511851676 8481841152 34818 33554432000 4194304 4196468 140730479321632 140053583323792 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29906] ppid=29858 vsize=8283048 memory=7649399397217220914 CPUtime=144.55 cores=0-7
/proc/29881/task/29906/stat : 29906 (java) S 29858 29858 29677 0 -1 1077944384 14 200369 0 0 0 0 14406 49 20 0 22 0 511851679 8481841152 34818 33554432000 4194304 4196468 140730479321632 140050696233648 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
Current children cumulated CPU time: 166.28 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 140748 KiB

[startup+30.502 s]
/proc/loadavg: 3.77 5.61 7.20 10/225 29916
/proc/meminfo: memFree=24329268/32770624 swapFree=66976788/67108860
[pid=29858] ppid=29855 vsize=113128 memory=1476 CPUtime=19.91 cores=0-7
/proc/29858/stat : 29858 (scop.sh) S 29855 29858 29677 0 -1 4202496 583 33983 0 0 0 0 1909 82 20 0 1 0 511850516 115843072 369 33554432000 4194304 5098028 140722031422672 140722031419416 140014978921084 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39362560 140722031428349 140722031428696 140722031428696 140722031431625 0
/proc/29858/statm: 28282 369 311 221 0 87 0
[pid=29881] ppid=29858 vsize=8283048 memory=146740 CPUtime=146.65 cores=0-7
/proc/29881/stat : 29881 (java) S 29858 29858 29677 0 -1 1077944320 22607 200369 0 0 200 10 14406 49 20 0 22 0 511851599 8481841152 36685 33554432000 4194304 4196468 140730479321632 140730479304176 140054161182455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
/proc/29881/statm: 2070762 36685 3235 1 0 2032106 0
[pid=29881/tid=29882] ppid=29858 vsize=8283048 memory=135404 CPUtime=145.53 cores=0-7
/proc/29881/task/29882/stat : 29882 (java) R 29858 29858 29677 0 -1 4202560 17208 200369 0 0 91 7 14406 49 20 0 22 0 511851599 8481841152 36685 33554432000 4194304 4196468 140730479321632 140054133020080 140054161194390 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29883] ppid=29858 vsize=8283048 memory=4872558044660077418 CPUtime=144.55 cores=0-7
/proc/29881/task/29883/stat : 29883 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140054165425168 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29884] ppid=29858 vsize=8283048 memory=7686721470250786204 CPUtime=144.55 cores=0-7
/proc/29881/task/29884/stat : 29884 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053985721488 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29885] ppid=29858 vsize=8283048 memory=4872558044660077418 CPUtime=144.55 cores=0-7
/proc/29881/task/29885/stat : 29885 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053645675280 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29886] ppid=29858 vsize=8283048 memory=280654235348992 CPUtime=144.55 cores=0-7
/proc/29881/task/29886/stat : 29886 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053644622736 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29887] ppid=29858 vsize=8283048 memory=130513117383402 CPUtime=144.55 cores=0-7
/proc/29881/task/29887/stat : 29887 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053643569680 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29888] ppid=29858 vsize=8283048 memory=130513117383402 CPUtime=144.55 cores=0-7
/proc/29881/task/29888/stat : 29888 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053642517136 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29889] ppid=29858 vsize=8283048 memory=124280 CPUtime=144.55 cores=0-7
/proc/29881/task/29889/stat : 29889 (java) S 29858 29858 29677 0 -1 1077944384 2 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053641464080 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29890] ppid=29858 vsize=8283048 memory=1476 CPUtime=144.55 cores=0-7
/proc/29881/task/29890/stat : 29890 (java) S 29858 29858 29677 0 -1 1077944384 3 200369 0 0 0 0 14406 49 20 0 22 0 511851600 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053640411536 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29891] ppid=29858 vsize=8283048 memory=124280 CPUtime=144.55 cores=0-7
/proc/29881/task/29891/stat : 29891 (java) S 29858 29858 29677 0 -1 1077944384 5 200369 0 0 0 0 14406 49 20 0 22 0 511851602 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053590199024 140054161193602 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29892] ppid=29858 vsize=8283048 memory=261724 CPUtime=144.55 cores=0-7
/proc/29881/task/29892/stat : 29892 (java) S 29858 29858 29677 0 -1 1077944384 13 200369 0 0 0 0 14406 49 20 0 22 0 511851602 8481841152 36685 33554432000 4194304 4196468 140730479321632 140052776609440 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29893] ppid=29858 vsize=8283048 memory=580 CPUtime=144.55 cores=0-7
/proc/29881/task/29893/stat : 29893 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851602 8481841152 36685 33554432000 4194304 4196468 140730479321632 140052508173552 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29894] ppid=29858 vsize=8283048 memory=1716 CPUtime=144.55 cores=0-7
/proc/29881/task/29894/stat : 29894 (java) S 29858 29858 29677 0 -1 1077944384 1 200369 0 0 0 0 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140052133665232 140054161201051 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29895] ppid=29858 vsize=8283048 memory=776 CPUtime=144.79 cores=0-7
/proc/29881/task/29895/stat : 29895 (java) R 29858 29858 29677 0 -1 4202560 997 200369 0 0 24 0 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053589130832 140054145571312 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29896] ppid=29858 vsize=8283048 memory=1564 CPUtime=144.77 cores=0-7
/proc/29881/task/29896/stat : 29896 (java) S 29858 29858 29677 0 -1 1077944384 737 200369 0 0 22 0 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053588093296 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29897] ppid=29858 vsize=8283048 memory=6116 CPUtime=144.7 cores=0-7
/proc/29881/task/29897/stat : 29897 (java) S 29858 29858 29677 0 -1 1077944384 401 200369 0 0 15 0 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053587040240 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29898] ppid=29858 vsize=8283048 memory=6116 CPUtime=144.91 cores=0-7
/proc/29881/task/29898/stat : 29898 (java) R 29858 29858 29677 0 -1 4202560 1306 200369 0 0 36 0 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053585981360 140054161194390 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29899] ppid=29858 vsize=8283048 memory=1060 CPUtime=144.55 cores=0-7
/proc/29881/task/29899/stat : 29899 (java) S 29858 29858 29677 0 -1 1077944384 3 200369 0 0 0 0 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140051635760096 140054161192661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29900] ppid=29858 vsize=8283048 memory=2828 CPUtime=144.56 cores=0-7
/proc/29881/task/29900/stat : 29900 (java) S 29858 29858 29677 0 -1 1077944384 3 200369 0 0 0 1 14406 49 20 0 22 0 511851605 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053584936112 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29902] ppid=29858 vsize=8283048 memory=124280 CPUtime=144.55 cores=0-7
/proc/29881/task/29902/stat : 29902 (java) S 29858 29858 29677 0 -1 1077944384 25 200369 0 0 0 0 14406 49 20 0 22 0 511851676 8481841152 36685 33554432000 4194304 4196468 140730479321632 140053583323792 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
[pid=29881/tid=29906] ppid=29858 vsize=8283048 memory=3620 CPUtime=144.55 cores=0-7
/proc/29881/task/29906/stat : 29906 (java) S 29858 29858 29677 0 -1 1077944384 14 200369 0 0 0 0 14406 49 20 0 22 0 511851679 8481841152 36685 33554432000 4194304 4196468 140730479321632 140050696233648 140054161193602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140730479330271 140730479330438 140730479330438 140730479333327 0
Current children cumulated CPU time: 166.56 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 148216 KiB

Child status: 0
Real time (s): 30.5678
CPU time (s): 166.721
CPU user time (s): 165.274
CPU system time (s): 1.44702
CPU usage (%): 545.412
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4347436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 165.274
system time used= 1.44702
maximum resident set size= 4349252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11419
involuntary context switches= 1765


# summary of solver processes directly reported to runsolver:
#   pid: 29858
#   total CPU time (s): 166.721
#   total CPU user time (s): 165.274
#   total CPU system time (s): 1.44702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.298073 second user time and 0.425009 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-24 23:04:23
IDJOB=4405271
IDBENCH=138945
IDSOLVER=2867
FILE ID=node124/4405271-1569359105
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-h374-05.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-4405271-1569359105/watcher-4405271-1569359105 -o /var/tmp/evaluation-result-4405271-1569359105/solver-4405271-1569359105 -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-4405271-1569359105.xml

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

MD5SUM BENCH= 28a405c699ff9e569ded15e71872b7af
RANDOM SEED=889892404

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:        24777744 kB
MemAvailable:   31813360 kB
Buffers:          135464 kB
Cached:          6992980 kB
SwapCached:        29084 kB
Active:          3507812 kB
Inactive:        3655688 kB
Active(anon):       3884 kB
Inactive(anon):    88912 kB
Active(file):    3503928 kB
Inactive(file):  3566776 kB
Unevictable:      108336 kB
Mlocked:          108336 kB
SwapTotal:      67108860 kB
SwapFree:       66976788 kB
Dirty:             20536 kB
Writeback:             0 kB
AnonPages:        166944 kB
Mapped:            57752 kB
Shmem:             49092 kB
Slab:             422320 kB
SReclaimable:     393372 kB
SUnreclaim:        28948 kB
KernelStack:        3840 kB
PageTables:         5944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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:04:54