Trace number 4405596

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 490.469 74.5954

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16365-serial-file.bin HOME/instance-4405596-1569359277.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 23:07:20 CEST 2019
0.65/0.56	c PID: 16368
0.65/0.56	c IP: 172.20.3.148
0.65/0.56	c HOST: node148.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.68/1.05	c (0,0) Parsing End
1.68/1.06	c (0,0) CSP: 867 int (0 aux), 33 bool (0 aux), 2 ctr, max domain size 30
1.68/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.06	c (0,0) Constraint Name Generate Begin
1.68/1.07	c (0,0) Ctr:HOME/instance-4405596-1569359277.xml,AllDifferentMatrix:Instantiation:Var
1.68/1.07	c (0,0) Constraint Name Generate End
1.68/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.07	c (0,0) CSP to CSPinCNF Begin
1.68/1.10	c (0,0) translated 1 (10%) constraints
5.55/2.88	c (2,2) translated 2 (20%) constraints
5.73/2.91	c (2,2) ===========================================
5.73/3.00	c (2,2) Hybrid: #OE=375, #LE=525
5.73/3.00	c (2,2) Hybrid
5.73/3.00	c (2,2) ===========================================
8.15/3.58	c (3,2) translated 2855 (10%) constraints
8.99/3.92	c (3,3) translated 5709 (20%) constraints
9.34/4.27	c (3,3) translated 8564 (30%) constraints
9.64/4.59	c (4,3) translated 11418 (40%) constraints
10.06/4.94	c (4,4) translated 14273 (50%) constraints
10.40/5.24	c (4,4) translated 17127 (60%) constraints
11.00/5.53	c (4,4) translated 19982 (70%) constraints
11.34/5.81	c (5,5) translated 22836 (80%) constraints
11.67/6.13	c (5,5) translated 25691 (90%) constraints
11.86/6.39	c (5,5) translated 28545 (100%) constraints
11.86/6.39	c (5,5) CSP to CSPinCNF End
12.01/6.40	c (5,5) CSP: 867 int (0 aux), 27033 bool (27000 aux), 137070 ctr, max domain size 30
12.01/6.40	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.01/6.40	c (5,5) CSPinCNF Propagation Begin
15.58/8.53	c (7,7) 20247 values, 87483 unsatisfiable literals, and 90836 valid clauses are removed
15.58/8.53	c (7,7) CSPinCNF Propagation End
15.58/8.53	c (7,7) CSP: 867 int (0 aux), 27033 bool (27000 aux), 46234 ctr, max domain size 30
15.58/8.53	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.58/8.59	c (8,7) Hybrid: #OE=27375, #LE=525
15.58/8.59	c (8,7) Simplify CSPinCNF Begin
17.06/9.16	c (8,8) Simplify CSPinCNF End
17.06/9.17	c (8,8) CSP: 867 int (0 aux), 53411 bool (53378 aux), 72612 ctr, max domain size 30
17.06/9.17	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.06/9.17	c (8,8) Calculate Precise Domain Begin
17.06/9.17	c (8,8) 0 values are removed by re-calculation
17.06/9.17	c (8,8) Calculate Precise Domain End
17.06/9.18	c (8,8) CSP: 867 int (0 aux), 53411 bool (53378 aux), 72612 ctr, max domain size 30
17.06/9.18	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.06/9.18	c (8,8) CSPinCNF to SatSolver Begin
19.07/9.76	c (9,9) 7262 (10 %) CSP clauses are encoded (0 SAT variables, 29213 SAT clauses)
19.56/9.92	c (9,9) 14523 (20 %) CSP clauses are encoded (0 SAT variables, 51490 SAT clauses)
19.71/10.08	c (9,9) 21784 (30 %) CSP clauses are encoded (0 SAT variables, 73501 SAT clauses)
19.91/10.22	c (9,9) 29045 (40 %) CSP clauses are encoded (0 SAT variables, 95532 SAT clauses)
20.03/10.37	c (9,9) 36306 (50 %) CSP clauses are encoded (0 SAT variables, 118041 SAT clauses)
20.25/10.52	c (9,9) 43568 (60 %) CSP clauses are encoded (0 SAT variables, 140429 SAT clauses)
20.40/10.66	c (10,10) 50829 (70 %) CSP clauses are encoded (0 SAT variables, 162274 SAT clauses)
20.61/10.80	c (10,10) 58090 (80 %) CSP clauses are encoded (0 SAT variables, 184461 SAT clauses)
20.71/10.95	c (10,10) 65351 (90 %) CSP clauses are encoded (0 SAT variables, 207664 SAT clauses)
20.82/11.09	c (10,10) 72612 (100 %) CSP clauses are encoded (0 SAT variables, 228995 SAT clauses)
20.82/11.09	c (10,10) CSPinCNF to SatSolver End
20.82/11.09	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.82/11.09	c (10,10) 42870 bool, 228996 clause
20.82/11.09	c (10,10) Export Begin
21.12/11.24	c (10,10) Export to HOME/scop-16365-serial-file.bin
21.12/11.24	c (10,10) Export End
21.12/11.24	c (10,10) Export File Size: 0.15 MB
21.12/11.24	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
21.12/11.24	c END-Prog: Tue Sep 24 23:07:31 CEST 2019
21.12/11.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16365-serial-file.bin
21.31/11.74	c (0,0) Read Serial File Begin
21.31/11.74	c (0,0) HOME/scop-16365-serial-file.bin
21.31/11.99	c (0,0) Read Serial File End
21.31/12.00	
21.31/12.00	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.31/12.00	(Solving Process)
21.31/12.00	
22.49/12.03	c BEGIN-Prog: Tue Sep 24 23:07:32 CEST 2019
22.49/12.03	c PID: 16388
22.49/12.03	c IP: 172.20.3.148
22.49/12.03	c HOST: node148.alineos.net
22.49/12.03	c (0,0) SatSolver.solve Begin
22.49/12.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405596-1569359277.xml-scop-16368.cnf
22.49/12.06	c (0,0) c
22.49/12.06	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
22.49/12.06	c (0,0) c
22.49/12.06	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.49/12.06	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.49/12.06	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.49/12.06	c (0,0) c |                                                                                                       |
22.71/12.14	c (0,0) c |  Number of variables:         42870                                                                   |
22.71/12.14	c (0,0) c |  Number of clauses:          228996                                                                   |
22.71/12.14	c (0,0) c |  Parse time:                   0.08 s                                                                 |
22.71/12.14	c (0,0) c |                                                                                                       |
22.72/12.37	c (0,0) c |  Simplification time:          0.22 s                                                                 |
22.72/12.37	c (0,0) c |                                                                                                       |
22.72/12.37	c (0,0) c |  Generating clones                                                                                    |
22.72/12.50	c (0,0) c |  all clones generated. Memory =   209.49Mb.                                                           |
22.72/12.50	c (0,0) c ========================================================================================================|
22.72/12.50	c (0,0) c
22.72/12.50	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.72/12.50	c (0,0) c
22.72/12.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.72/12.50	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.72/12.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.72/12.50	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.72/12.50	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.72/12.50	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.72/12.50	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.72/12.50	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.72/12.50	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.72/12.50	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.72/12.50	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.72/12.50	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.72/12.50	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.72/12.50	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.72/12.50	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.72/12.50	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.72/12.50	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.72/12.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.72/12.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
255.23/41.77	c (30,0) c
255.23/41.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
255.23/41.77	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
255.23/41.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
255.23/41.77	c (30,0) c |  0 |    480 |     334830 |      32965 |    60579 |    16568 |     6813 |    42526 |     2717 |      140 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  1 |    476 |     335663 |      31462 |    59961 |    15075 |     6383 |    41369 |     2579 |      134 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  2 |    519 |     347095 |      33910 |    61448 |    17508 |     6833 |    43868 |     3009 |      146 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  3 |    530 |     349788 |      34621 |    61816 |    18228 |     6934 |    44550 |     3157 |      150 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  4 |    538 |     347331 |      34925 |    62199 |    18530 |     6737 |    45120 |     3150 |      153 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  5 |    532 |     339493 |      34291 |    61816 |    17894 |     6886 |    44200 |     3000 |      148 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  6 |    498 |     343768 |      33016 |    60871 |    16627 |     6668 |    43331 |     2736 |      143 |  20 |  6.084 |
255.23/41.77	c (30,0) c |  7 |    529 |     344994 |      34798 |    61862 |    18394 |     6842 |    44824 |     3019 |      151 |  20 |  6.084 |
255.23/41.77	c (30,0) c 
255.23/41.77	c (30,0) c synthesis      269988 conflicts   343486085 propagations     1161 conflicts/sec  1477009 propagations/sec
255.23/41.77	c (30,0) c real: 29.7177 s, cpu: 232.555 s, memory: 780.16 Mb
476.57/70.77	c (59,0) c
476.57/70.77	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
476.57/70.77	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
476.57/70.77	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
476.57/70.77	c (59,0) c |  0 |    956 |     447413 |      62092 |    72448 |    23496 |    10653 |    69461 |     5543 |      289 |  20 |  6.086 |
476.57/70.77	c (59,0) c |  1 |    913 |     442359 |      57922 |    71276 |    19328 |     9873 |    66346 |     5058 |      269 |  20 |  6.086 |
476.57/70.77	c (59,0) c |  2 |    990 |     461082 |      61650 |    72664 |    23053 |    10498 |    69655 |     5660 |      289 |  20 |  6.086 |
476.57/70.77	c (59,0) c |  3 |    957 |     453739 |      61833 |    72639 |    23242 |    10434 |    69833 |     5695 |      289 |  20 |  6.086 |
476.57/70.77	c (59,0) c |  4 |    981 |     451192 |      61470 |    72891 |    22879 |    10353 |    70023 |     5680 |      289 |  20 |  6.086 |
476.57/70.78	c (59,0) c |  5 |    981 |     446441 |      61577 |    72528 |    22985 |    10294 |    69834 |     5560 |      289 |  20 |  6.086 |
476.57/70.78	c (59,0) c |  6 |    982 |     458299 |      61358 |    72442 |    22766 |    10478 |    69864 |     5533 |      289 |  20 |  6.086 |
476.57/70.78	c (59,0) c |  7 |    963 |     451619 |      61903 |    72282 |    23303 |    10508 |    69679 |     5558 |      289 |  20 |  6.086 |
476.57/70.78	c (59,0) c 
476.57/70.78	c (59,0) c synthesis      489806 conflicts   592852786 propagations     1080 conflicts/sec  1307194 propagations/sec
476.57/70.78	c (59,0) c real: 58.7207 s, cpu: 453.531 s, memory: 780.16 Mb
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c real time : 62.2192 s
489.61/74.27	c (62,0) c cpu time  : 466.12 s
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c | Conflicts     |          503042 |      63352 |      62670 |      62851 |      63040 |      62672 |      62813 |      62567 |      63077 |
489.61/74.27	c (62,0) c | Decisions     |         3659626 |     451626 |     458683 |     465830 |     457910 |     455527 |     451133 |     463275 |     455642 |
489.61/74.27	c (62,0) c | Propagations  |       608108502 |   75819704 |   76009807 |   76433312 |   75822403 |   76073377 |   75995796 |   76185474 |   75768629 |
489.61/74.27	c (62,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
489.61/74.27	c (62,0) c | SimpDBs       |             441 |         55 |         56 |         54 |         54 |         56 |         55 |         56 |         55 |
489.61/74.27	c (62,0) c | Restarts      |            7924 |        971 |        984 |       1011 |        973 |        999 |       1003 |       1002 |        981 |
489.61/74.27	c (62,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
489.61/74.27	c (62,0) c | PropBinClauses|      1697505055 |  212018993 |  212044583 |  212637578 |  212450772 |  211756488 |  211744022 |  212495700 |  212356919 |
489.61/74.27	c (62,0) c | PropPreBlocker|      8262363060 | 1032976999 | 1030142777 | 1033849969 | 1034993125 | 1031945612 | 1032728643 | 1032718107 | 1033007828 |
489.61/74.27	c (62,0) c | PropNotBlocker|      2126041773 |  266605306 |  265067282 |  265801678 |  264535727 |  266876059 |  266668523 |  265813984 |  264673214 |
489.61/74.27	c (62,0) c | LitFullScans  |     14198924231 | 1776063634 | 1770538883 | 1775500517 | 1776109360 | 1775052516 | 1776339802 | 1774714675 | 1774604844 |
489.61/74.27	c (62,0) c | LitScanFracts |         1763794 |      60017 |     530202 |     223278 |      98139 |     188686 |     312074 |     113317 |     238081 |
489.61/74.27	c (62,0) c | DecisionLevel0|           19589 |       2448 |       2430 |       2442 |       2420 |       2436 |       2473 |       2433 |       2507 |
489.61/74.27	c (62,0) c | Periods       |            2363 |        296 |        295 |        295 |        296 |        295 |        296 |        295 |        295 |
489.61/74.27	c (62,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
489.61/74.27	c (62,0) c | Avg_Trail     |                 |       9588 |       9620 |       9612 |       9657 |       9611 |       9623 |       9633 |       9630 |
489.61/74.27	c (62,0) c | Avg_DL        |                 |         96 |         97 |        101 |        101 |         97 |         97 |        101 |        100 |
489.61/74.27	c (62,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
489.61/74.27	c (62,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c | Exported      |           84631 |      10787 |      10430 |      10644 |      10563 |      10495 |      10425 |      10631 |      10656 |
489.61/74.27	c (62,0) c | Imported      |          566367 |      70449 |      70804 |      70797 |      70787 |      70961 |      70958 |      70803 |      70808 |
489.61/74.27	c (62,0) c | Good          |           71929 |       8952 |       8942 |       8993 |       9009 |       9035 |       9001 |       8991 |       9006 |
489.61/74.27	c (62,0) c | Purge         |          494438 |      61497 |      61862 |      61804 |      61778 |      61926 |      61957 |      61812 |      61802 |
489.61/74.27	c (62,0) c | Promoted      |           45746 |       5677 |       5569 |       5797 |       5837 |       5824 |       5682 |       5665 |       5695 |
489.61/74.27	c (62,0) c | Remove_Imp    |          280817 |      34472 |      35200 |      35178 |      34758 |      35522 |      35067 |      35423 |      35197 |
489.61/74.27	c (62,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c | Unaries       |                 |       1477 |       1446 |       1431 |       1447 |       1437 |       1470 |       1431 |       1526 |
489.61/74.27	c (62,0) c | Binaries      |                 |       1329 |       1339 |       1289 |       1273 |       1248 |       1283 |       1298 |       1275 |
489.61/74.27	c (62,0) c | Glues         |                 |       2669 |       2548 |       2557 |       2473 |       2463 |       2512 |       2537 |       2409 |
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c | Orig_Seen     |            42 % |      72828 |      72897 |      72997 |      73001 |      73287 |      72910 |      72772 |      72657 |
489.61/74.27	c (62,0) c | Diff Orig seen|                 |        171 |        240 |        340 |        344 |        630 |        253 |        115 |      X     |
489.61/74.27	c (62,0) c | Hamming       |            12 % |       5526 |       5206 |       5019 |       5133 |       5529 |       5405 |       5123 |      X     |
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c | RunningTime   |                 |   59.5 100%|   61.7 100%|   58.5  98%|   57.5  96%|   57.2  96%|   58.1  97%|   59.5 100%|   56.6  95%|
489.61/74.27	c (62,0) c | WaitingTime   |                 |    0.1   0%|    0.0   0%|    1.2   2%|    2.2   4%|    2.4   4%|    1.5   3%|    0.1   0%|    3.0   5%|
489.61/74.27	c (62,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%|
489.61/74.27	c (62,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%|
489.61/74.27	c (62,0) c | SolvingTime   |                 |   59.7     |   61.8     |   59.7     |   59.7     |   59.6     |   59.7     |   59.6     |   59.6     |
489.61/74.27	c (62,0) c | PropagationTim|                 |   52.1  87%|   54.0  87%|   52.2  87%|   52.2  87%|   52.3  88%|   51.9  87%|   52.1  87%|   52.3  88%|
489.61/74.27	c (62,0) c | AnalysisTime  |                 |    5.0   8%|    5.0   8%|    4.8   8%|    4.9   8%|    4.8   8%|    5.1   9%|    4.8   8%|    4.7   8%|
489.61/74.27	c (62,0) c | ReductionTime |                 |    0.1   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.2   0%|
489.61/74.27	c (62,0) c | SimplifyTime  |                 |    0.3   1%|    0.4   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.4   1%|    0.3   1%|
489.61/74.27	c (62,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%|
489.61/74.27	c (62,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%|
489.61/74.27	c (62,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c
489.61/74.27	c (62,0) c Threads : 8
489.61/74.27	c (62,0) c Winner : 7
489.61/74.27	c (62,0) c Conflicts_0 : 63352
489.61/74.28	c (62,0) c Conflicts_1 : 62670
489.61/74.28	c (62,0) c Conflicts_2 : 62851
489.61/74.28	c (62,0) c Conflicts_3 : 63040
489.61/74.28	c (62,0) c Conflicts_4 : 62672
489.61/74.28	c (62,0) c Conflicts_5 : 62813
489.61/74.28	c (62,0) c Conflicts_6 : 62567
489.61/74.28	c (62,0) c Conflicts_7 : 63077
489.61/74.28	c (62,0) c Conflicts_total : 503042
489.61/74.28	c (62,0) c Conflicts_winner : 63077
489.61/74.28	c (62,0) c Decisions_0 : 451626
489.61/74.28	c (62,0) c Decisions_1 : 458683
489.61/74.28	c (62,0) c Decisions_2 : 465830
489.61/74.28	c (62,0) c Decisions_3 : 457910
489.61/74.28	c (62,0) c Decisions_4 : 455527
489.61/74.28	c (62,0) c Decisions_5 : 451133
489.61/74.28	c (62,0) c Decisions_6 : 463275
489.61/74.28	c (62,0) c Decisions_7 : 455642
489.61/74.28	c (62,0) c Decisions_total : 3659626
489.61/74.28	c (62,0) c Decisions_winner : 455642
489.61/74.28	c (62,0) c Propagations_0 : 75819704
489.61/74.28	c (62,0) c Propagations_1 : 76009807
489.61/74.28	c (62,0) c Propagations_2 : 76433312
489.61/74.28	c (62,0) c Propagations_3 : 75822403
489.61/74.28	c (62,0) c Propagations_4 : 76073377
489.61/74.28	c (62,0) c Propagations_5 : 75995796
489.61/74.28	c (62,0) c Propagations_6 : 76185474
489.61/74.28	c (62,0) c Propagations_7 : 75768629
489.61/74.28	c (62,0) c Propagations_total : 608108502
489.61/74.28	c (62,0) c Propagations_winner : 75768629
489.61/74.28	c (62,0) c ReduceDBs_0 : 6
489.61/74.28	c (62,0) c ReduceDBs_1 : 6
489.61/74.28	c (62,0) c ReduceDBs_2 : 6
489.61/74.28	c (62,0) c ReduceDBs_3 : 6
489.61/74.28	c (62,0) c ReduceDBs_4 : 6
489.61/74.28	c (62,0) c ReduceDBs_5 : 6
489.61/74.28	c (62,0) c ReduceDBs_6 : 6
489.61/74.28	c (62,0) c ReduceDBs_7 : 6
489.61/74.28	c (62,0) c ReduceDBs_total : 48
489.61/74.28	c (62,0) c ReduceDBs_winner : 6
489.61/74.28	c (62,0) c SimpDBs_0 : 55
489.61/74.28	c (62,0) c SimpDBs_1 : 56
489.61/74.28	c (62,0) c SimpDBs_2 : 54
489.61/74.28	c (62,0) c SimpDBs_3 : 54
489.61/74.28	c (62,0) c SimpDBs_4 : 56
489.61/74.28	c (62,0) c SimpDBs_5 : 55
489.61/74.28	c (62,0) c SimpDBs_6 : 56
489.61/74.28	c (62,0) c SimpDBs_7 : 55
489.61/74.28	c (62,0) c SimpDBs_total : 441
489.61/74.28	c (62,0) c SimpDBs_winner : 55
489.61/74.28	c (62,0) c Restarts_0 : 971
489.61/74.28	c (62,0) c Restarts_1 : 984
489.61/74.28	c (62,0) c Restarts_2 : 1011
489.61/74.28	c (62,0) c Restarts_3 : 973
489.61/74.28	c (62,0) c Restarts_4 : 999
489.61/74.28	c (62,0) c Restarts_5 : 1003
489.61/74.28	c (62,0) c Restarts_6 : 1002
489.61/74.28	c (62,0) c Restarts_7 : 981
489.61/74.28	c (62,0) c Restarts_total : 7924
489.61/74.28	c (62,0) c Restarts_winner : 981
489.61/74.28	c (62,0) c ForcedImports_0 : 0
489.61/74.28	c (62,0) c ForcedImports_1 : 0
489.61/74.28	c (62,0) c ForcedImports_2 : 0
489.61/74.28	c (62,0) c ForcedImports_3 : 0
489.61/74.28	c (62,0) c ForcedImports_4 : 0
489.61/74.28	c (62,0) c ForcedImports_5 : 0
489.61/74.28	c (62,0) c ForcedImports_6 : 0
489.61/74.28	c (62,0) c ForcedImports_7 : 0
489.61/74.28	c (62,0) c ForcedImports_total : 0
489.61/74.28	c (62,0) c ForcedImports_winner : 0
489.61/74.28	c (62,0) c PropsBinClauses_0 : 212018993
489.61/74.28	c (62,0) c PropsBinClauses_1 : 212044583
489.61/74.28	c (62,0) c PropsBinClauses_2 : 212637578
489.61/74.28	c (62,0) c PropsBinClauses_3 : 212450772
489.61/74.28	c (62,0) c PropsBinClauses_4 : 211756488
489.61/74.28	c (62,0) c PropsBinClauses_5 : 211744022
489.61/74.28	c (62,0) c PropsBinClauses_6 : 212495700
489.61/74.28	c (62,0) c PropsBinClauses_7 : 212356919
489.61/74.28	c (62,0) c PropsBinClauses_total : 1697505055
489.61/74.28	c (62,0) c PropsBinClauses_winner : 212356919
489.61/74.28	c (62,0) c PropsPreBlocker_0 : 1032976999
489.61/74.28	c (62,0) c PropsPreBlocker_1 : 1030142777
489.61/74.28	c (62,0) c PropsPreBlocker_2 : 1033849969
489.61/74.28	c (62,0) c PropsPreBlocker_3 : 1034993125
489.61/74.28	c (62,0) c PropsPreBlocker_4 : 1031945612
489.61/74.28	c (62,0) c PropsPreBlocker_5 : 1032728643
489.61/74.28	c (62,0) c PropsPreBlocker_6 : 1032718107
489.61/74.28	c (62,0) c PropsPreBlocker_7 : 1033007828
489.61/74.28	c (62,0) c PropsPreBlocker_total : 8262363060
489.61/74.28	c (62,0) c PropsPreBlocker_winner : 1033007828
489.61/74.28	c (62,0) c PropsNotBlocker_0 : 266605306
489.61/74.28	c (62,0) c PropsNotBlocker_1 : 265067282
489.61/74.28	c (62,0) c PropsNotBlocker_2 : 265801678
489.61/74.28	c (62,0) c PropsNotBlocker_3 : 264535727
489.61/74.28	c (62,0) c PropsNotBlocker_4 : 266876059
489.61/74.28	c (62,0) c PropsNotBlocker_5 : 266668523
489.61/74.28	c (62,0) c PropsNotBlocker_6 : 265813984
489.61/74.28	c (62,0) c PropsNotBlocker_7 : 264673214
489.61/74.28	c (62,0) c PropsNotBlocker_total : 2126041773
489.61/74.28	c (62,0) c PropsNotBlocker_winner : 264673214
489.61/74.28	c (62,0) c PropsLitFullScans_0 : 1776063634
489.61/74.28	c (62,0) c PropsLitFullScans_1 : 1770538883
489.61/74.28	c (62,0) c PropsLitFullScans_2 : 1775500517
489.61/74.28	c (62,0) c PropsLitFullScans_3 : 1776109360
489.61/74.28	c (62,0) c PropsLitFullScans_4 : 1775052516
489.61/74.28	c (62,0) c PropsLitFullScans_5 : 1776339802
489.61/74.28	c (62,0) c PropsLitFullScans_6 : 1774714675
489.61/74.28	c (62,0) c PropsLitFullScans_7 : 1774604844
489.61/74.28	c (62,0) c PropsLitFullScans_total : 14198924231
489.61/74.28	c (62,0) c PropsLitFullScans_winner : 1774604844
489.61/74.28	c (62,0) c LitScanFractions_0 : 60017
489.61/74.28	c (62,0) c LitScanFractions_1 : 530202
489.61/74.28	c (62,0) c LitScanFractions_2 : 223278
489.61/74.28	c (62,0) c LitScanFractions_3 : 98139
489.61/74.28	c (62,0) c LitScanFractions_4 : 188686
489.61/74.28	c (62,0) c LitScanFractions_5 : 312074
489.61/74.28	c (62,0) c LitScanFractions_6 : 113317
489.61/74.28	c (62,0) c LitScanFractions_7 : 238081
489.61/74.28	c (62,0) c LitScanFractions_total : 1763794
489.61/74.28	c (62,0) c LitScanFractions_winner : 238081
489.61/74.28	c (62,0) c DecisionLevel0_0 : 2448
489.61/74.28	c (62,0) c DecisionLevel0_1 : 2430
489.61/74.28	c (62,0) c DecisionLevel0_2 : 2442
489.61/74.28	c (62,0) c DecisionLevel0_3 : 2420
489.61/74.28	c (62,0) c DecisionLevel0_4 : 2436
489.61/74.28	c (62,0) c DecisionLevel0_5 : 2473
489.61/74.28	c (62,0) c DecisionLevel0_6 : 2433
489.61/74.28	c (62,0) c DecisionLevel0_7 : 2507
489.61/74.28	c (62,0) c DecisionLevel0_total : 19589
489.61/74.28	c (62,0) c DecisionLevel0_winner : 2507
489.61/74.28	c (62,0) c Periods_0 : 296
489.61/74.28	c (62,0) c Periods_1 : 295
489.61/74.28	c (62,0) c Periods_2 : 295
489.61/74.28	c (62,0) c Periods_3 : 296
489.61/74.28	c (62,0) c Periods_4 : 295
489.61/74.28	c (62,0) c Periods_5 : 296
489.61/74.28	c (62,0) c Periods_6 : 295
489.61/74.28	c (62,0) c Periods_7 : 295
489.61/74.28	c (62,0) c Periods_total : 2363
489.61/74.28	c (62,0) c Periods_winner : 295
489.61/74.28	c (62,0) c Margin_0 : 20
489.61/74.28	c (62,0) c Margin_1 : 20
489.61/74.28	c (62,0) c Margin_2 : 20
489.61/74.28	c (62,0) c Margin_3 : 20
489.61/74.28	c (62,0) c Margin_4 : 20
489.61/74.28	c (62,0) c Margin_5 : 20
489.61/74.28	c (62,0) c Margin_6 : 20
489.61/74.28	c (62,0) c Margin_7 : 20
489.61/74.28	c (62,0) c Margin_total : 160
489.61/74.28	c (62,0) c Margin_winner : 20
489.61/74.28	c (62,0) c Exported_0 : 10787
489.61/74.28	c (62,0) c Exported_1 : 10430
489.61/74.28	c (62,0) c Exported_2 : 10644
489.61/74.28	c (62,0) c Exported_3 : 10563
489.61/74.28	c (62,0) c Exported_4 : 10495
489.61/74.28	c (62,0) c Exported_5 : 10425
489.61/74.28	c (62,0) c Exported_6 : 10631
489.61/74.28	c (62,0) c Exported_7 : 10656
489.61/74.28	c (62,0) c Exported_total : 84631
489.61/74.28	c (62,0) c Exported_winner : 10656
489.61/74.28	c (62,0) c Imported_0 : 70449
489.61/74.28	c (62,0) c Imported_1 : 70804
489.61/74.28	c (62,0) c Imported_2 : 70797
489.61/74.28	c (62,0) c Imported_3 : 70787
489.61/74.28	c (62,0) c Imported_4 : 70961
489.61/74.28	c (62,0) c Imported_5 : 70958
489.61/74.28	c (62,0) c Imported_6 : 70803
489.61/74.28	c (62,0) c Imported_7 : 70808
489.61/74.28	c (62,0) c Imported_total : 566367
489.61/74.28	c (62,0) c Imported_winner : 70808
489.61/74.28	c (62,0) c Good_0 : 8952
489.61/74.28	c (62,0) c Good_1 : 8942
489.61/74.28	c (62,0) c Good_2 : 8993
489.61/74.28	c (62,0) c Good_3 : 9009
489.61/74.28	c (62,0) c Good_4 : 9035
489.61/74.28	c (62,0) c Good_5 : 9001
489.61/74.28	c (62,0) c Good_6 : 8991
489.61/74.28	c (62,0) c Good_7 : 9006
489.61/74.28	c (62,0) c Good_total : 71929
489.61/74.28	c (62,0) c Good_winner : 9006
489.61/74.28	c (62,0) c Purge_0 : 61497
489.61/74.28	c (62,0) c Purge_1 : 61862
489.61/74.28	c (62,0) c Purge_2 : 61804
489.61/74.28	c (62,0) c Purge_3 : 61778
489.61/74.28	c (62,0) c Purge_4 : 61926
489.61/74.28	c (62,0) c Purge_5 : 61957
489.61/74.28	c (62,0) c Purge_6 : 61812
489.61/74.28	c (62,0) c Purge_7 : 61802
489.61/74.28	c (62,0) c Purge_total : 494438
489.61/74.28	c (62,0) c Purge_winner : 61802
489.61/74.28	c (62,0) c Promoted_0 : 5677
489.61/74.28	c (62,0) c Promoted_1 : 5569
489.61/74.28	c (62,0) c Promoted_2 : 5797
489.61/74.28	c (62,0) c Promoted_3 : 5837
489.61/74.28	c (62,0) c Promoted_4 : 5824
489.61/74.28	c (62,0) c Promoted_5 : 5682
489.61/74.28	c (62,0) c Promoted_6 : 5665
489.61/74.28	c (62,0) c Promoted_7 : 5695
489.61/74.28	c (62,0) c Promoted_total : 45746
489.61/74.28	c (62,0) c Promoted_winner : 5695
489.61/74.28	c (62,0) c Remove_Imp_0 : 34472
489.61/74.28	c (62,0) c Remove_Imp_1 : 35200
489.61/74.28	c (62,0) c Remove_Imp_2 : 35178
489.61/74.28	c (62,0) c Remove_Imp_3 : 34758
489.61/74.28	c (62,0) c Remove_Imp_4 : 35522
489.61/74.28	c (62,0) c Remove_Imp_5 : 35067
489.61/74.28	c (62,0) c Remove_Imp_6 : 35423
489.61/74.28	c (62,0) c Remove_Imp_7 : 35197
489.61/74.28	c (62,0) c Remove_Imp_total : 280817
489.61/74.28	c (62,0) c Remove_Imp_winner : 35197
489.61/74.28	c (62,0) c Blocked_Reuse_0 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_1 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_2 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_3 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_4 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_5 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_6 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_7 : 0
489.61/74.28	c (62,0) c Blocked_Reuse_total : 0
489.61/74.28	c (62,0) c Blocked_Reuse_winner : 0
489.61/74.28	c (62,0) c Unaries_0 : 1477
489.61/74.28	c (62,0) c Unaries_1 : 1446
489.61/74.28	c (62,0) c Unaries_2 : 1431
489.61/74.28	c (62,0) c Unaries_3 : 1447
489.61/74.28	c (62,0) c Unaries_4 : 1437
489.61/74.28	c (62,0) c Unaries_5 : 1470
489.61/74.28	c (62,0) c Unaries_6 : 1431
489.61/74.28	c (62,0) c Unaries_7 : 1526
489.61/74.28	c (62,0) c Unaries_total : 11665
489.61/74.28	c (62,0) c Unaries_winner : 1526
489.61/74.28	c (62,0) c Binaries_0 : 1329
489.61/74.28	c (62,0) c Binaries_1 : 1339
489.61/74.28	c (62,0) c Binaries_2 : 1289
489.61/74.28	c (62,0) c Binaries_3 : 1273
489.61/74.28	c (62,0) c Binaries_4 : 1248
489.61/74.28	c (62,0) c Binaries_5 : 1283
489.61/74.28	c (62,0) c Binaries_6 : 1298
489.61/74.28	c (62,0) c Binaries_7 : 1275
489.61/74.28	c (62,0) c Binaries_total : 10334
489.61/74.28	c (62,0) c Binaries_winner : 1275
489.61/74.28	c (62,0) c Glues_0 : 2669
489.61/74.28	c (62,0) c Glues_1 : 2548
489.61/74.28	c (62,0) c Glues_2 : 2557
489.61/74.28	c (62,0) c Glues_3 : 2473
489.61/74.28	c (62,0) c Glues_4 : 2463
489.61/74.28	c (62,0) c Glues_5 : 2512
489.61/74.28	c (62,0) c Glues_6 : 2537
489.61/74.28	c (62,0) c Glues_7 : 2409
489.61/74.28	c (62,0) c Glues_total : 20168
489.61/74.28	c (62,0) c Glues_winner : 2409
489.61/74.28	c (62,0) c RunningTime_0 : 59.488826
489.61/74.28	c (62,0) c RunningTime_1 : 61.721359
489.61/74.28	c (62,0) c RunningTime_2 : 58.457206
489.61/74.28	c (62,0) c RunningTime_3 : 57.474094
489.61/74.28	c (62,0) c RunningTime_4 : 57.239073
489.61/74.28	c (62,0) c RunningTime_5 : 58.100827
489.61/74.28	c (62,0) c RunningTime_6 : 59.513845
489.61/74.28	c (62,0) c RunningTime_7 : 56.593726
489.61/74.28	c (62,0) c RunningTime_total : 468.588955
489.61/74.28	c (62,0) c RunningTime_winner : 56.593726
489.61/74.28	c (62,0) c WaitingTime_0 : 0.148014
489.61/74.28	c (62,0) c WaitingTime_1 : 0.000504
489.61/74.28	c (62,0) c WaitingTime_2 : 1.166734
489.61/74.28	c (62,0) c WaitingTime_3 : 2.160761
489.61/74.28	c (62,0) c WaitingTime_4 : 2.356979
489.61/74.28	c (62,0) c WaitingTime_5 : 1.532904
489.61/74.28	c (62,0) c WaitingTime_6 : 0.080470
489.61/74.28	c (62,0) c WaitingTime_7 : 2.986337
489.61/74.28	c (62,0) c WaitingTime_total : 10.432703
489.61/74.28	c (62,0) c WaitingTime_winner : 2.986337
489.61/74.28	c (62,0) c ExchangingTime_0 : 0.039493
489.61/74.28	c (62,0) c ExchangingTime_1 : 0.039988
489.61/74.28	c (62,0) c ExchangingTime_2 : 0.037555
489.61/74.28	c (62,0) c ExchangingTime_3 : 0.040545
489.61/74.28	c (62,0) c ExchangingTime_4 : 0.039510
489.61/74.28	c (62,0) c ExchangingTime_5 : 0.043195
489.61/74.28	c (62,0) c ExchangingTime_6 : 0.040416
489.61/74.28	c (62,0) c ExchangingTime_7 : 0.042244
489.61/74.28	c (62,0) c ExchangingTime_total : 0.322946
489.61/74.28	c (62,0) c ExchangingTime_winner : 0.042244
489.61/74.28	c (62,0) c PeriodProcTime_0 : 0.002552
489.61/74.28	c (62,0) c PeriodProcTime_1 : 0.003991
489.61/74.28	c (62,0) c PeriodProcTime_2 : 0.002693
489.61/74.28	c (62,0) c PeriodProcTime_3 : 0.002500
489.61/74.28	c (62,0) c PeriodProcTime_4 : 0.002564
489.61/74.28	c (62,0) c PeriodProcTime_5 : 0.002559
489.61/74.28	c (62,0) c PeriodProcTime_6 : 0.003066
489.61/74.28	c (62,0) c PeriodProcTime_7 : 0.002554
489.61/74.28	c (62,0) c PeriodProcTime_total : 0.022479
489.61/74.28	c (62,0) c PeriodProcTime_winner : 0.002554
489.61/74.28	c (62,0) c SolvingTime_0 : 59.678884
489.61/74.28	c (62,0) c SolvingTime_1 : 61.765841
489.61/74.28	c (62,0) c SolvingTime_2 : 59.664187
489.61/74.28	c (62,0) c SolvingTime_3 : 59.677901
489.61/74.28	c (62,0) c SolvingTime_4 : 59.638127
489.61/74.28	c (62,0) c SolvingTime_5 : 59.679484
489.61/74.28	c (62,0) c SolvingTime_6 : 59.637797
489.61/74.28	c (62,0) c SolvingTime_7 : 59.624862
489.61/74.28	c (62,0) c SolvingTime_total : 479.367082
489.61/74.28	c (62,0) c SolvingTime_winner : 59.624862
489.61/74.28	c (62,0) c PropagationTime_0 : 52.115741
489.61/74.28	c (62,0) c PropagationTime_1 : 54.028556
489.61/74.28	c (62,0) c PropagationTime_2 : 52.155035
489.61/74.28	c (62,0) c PropagationTime_3 : 52.156026
489.61/74.28	c (62,0) c PropagationTime_4 : 52.251110
489.61/74.28	c (62,0) c PropagationTime_5 : 51.903342
489.61/74.28	c (62,0) c PropagationTime_6 : 52.109388
489.61/74.28	c (62,0) c PropagationTime_7 : 52.267379
489.61/74.28	c (62,0) c PropagationTime_total : 418.986578
489.61/74.28	c (62,0) c PropagationTime_winner : 52.267379
489.61/74.28	c (62,0) c AnalysisTime_0 : 4.977601
489.61/74.28	c (62,0) c AnalysisTime_1 : 4.997684
489.61/74.28	c (62,0) c AnalysisTime_2 : 4.826297
489.61/74.28	c (62,0) c AnalysisTime_3 : 4.871785
489.61/74.28	c (62,0) c AnalysisTime_4 : 4.761720
489.61/74.28	c (62,0) c AnalysisTime_5 : 5.125637
489.61/74.28	c (62,0) c AnalysisTime_6 : 4.769482
489.61/74.28	c (62,0) c AnalysisTime_7 : 4.733383
489.61/74.30	c (62,0) c AnalysisTime_total : 39.063588
489.61/74.30	c (62,0) c AnalysisTime_winner : 4.733383
489.61/74.30	c (62,0) c ReductionTime_0 : 0.141369
489.61/74.30	c (62,0) c ReductionTime_1 : 0.163093
489.61/74.30	c (62,0) c ReductionTime_2 : 0.150552
489.61/74.30	c (62,0) c ReductionTime_3 : 0.154613
489.61/74.30	c (62,0) c ReductionTime_4 : 0.149295
489.61/74.30	c (62,0) c ReductionTime_5 : 0.148547
489.61/74.30	c (62,0) c ReductionTime_6 : 0.156534
489.61/74.30	c (62,0) c ReductionTime_7 : 0.150857
489.61/74.30	c (62,0) c ReductionTime_total : 1.214860
489.61/74.30	c (62,0) c ReductionTime_winner : 0.150857
489.61/74.30	c (62,0) c SimplifyTime_0 : 0.326653
489.61/74.30	c (62,0) c SimplifyTime_1 : 0.359204
489.61/74.30	c (62,0) c SimplifyTime_2 : 0.341685
489.61/74.30	c (62,0) c SimplifyTime_3 : 0.332317
489.61/74.30	c (62,0) c SimplifyTime_4 : 0.341177
489.61/74.30	c (62,0) c SimplifyTime_5 : 0.341847
489.61/74.30	c (62,0) c SimplifyTime_6 : 0.361235
489.75/74.30	c (62,0) c SimplifyTime_7 : 0.338864
489.75/74.30	c (62,0) c SimplifyTime_total : 2.742982
489.75/74.30	c (62,0) c SimplifyTime_winner : 0.338864
489.75/74.30	c (62,0) c UsedRateTime_0 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_1 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_2 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_3 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_4 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_5 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_6 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_7 : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_total : 0.000000
489.75/74.30	c (62,0) c UsedRateTime_winner : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_0 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_1 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_2 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_3 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_4 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_5 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_6 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_7 : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_total : 0.000000
489.75/74.30	c (62,0) c OverlapRateTime_winner : 0.000000
489.75/74.30	c (62,0) c
489.75/74.30	c (62,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
489.75/74.30	c (62,0) c
489.75/74.30	c (62,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.75/74.30	c (62,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
489.75/74.30	c (62,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.75/74.30	c (62,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
489.75/74.30	c (62,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
489.75/74.30	c (62,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
489.75/74.30	c (62,0) c | Initial random_seed   |  993817587 |  549443852 |  771318756 | 1527101673 |  730154301 | 2098931207 | 1706875902 | 1812557783 |
489.75/74.30	c (62,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
489.75/74.30	c (62,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
489.75/74.30	c (62,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
489.75/74.30	c (62,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
489.75/74.30	c (62,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
489.75/74.30	c (62,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
489.75/74.30	c (62,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
489.75/74.30	c (62,0) c | var_decay             |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |
489.75/74.30	c (62,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
489.75/74.30	c (62,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
489.75/74.30	c (62,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
489.75/74.30	c (62,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
489.75/74.30	c (62,0) 
489.75/74.30	c (62,0) s SATISFIABLE
489.75/74.36	c (62,0) SatSolver.solve End
489.75/74.36	c (62,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
489.75/74.36	c (62,0) Show results Begin
490.21/74.56	c (62,0) x[0][0] = 17
490.21/74.56	c (62,0) x[0][1] = 12
490.21/74.56	c (62,0) x[0][2] = 1
490.21/74.56	c (62,0) x[0][3] = 19
490.21/74.56	c (62,0) x[0][4] = 21
490.21/74.56	c (62,0) x[0][5] = 28
490.21/74.56	c (62,0) x[0][6] = 16
490.21/74.56	c (62,0) x[0][7] = 11
490.21/74.56	c (62,0) x[0][8] = 6
490.21/74.56	c (62,0) x[0][9] = 15
490.21/74.56	c (62,0) x[0][10] = 4
490.21/74.56	c (62,0) x[0][11] = 7
490.21/74.56	c (62,0) x[0][12] = 23
490.21/74.56	c (62,0) x[0][13] = 22
490.21/74.56	c (62,0) x[0][14] = 29
490.21/74.56	c (62,0) x[0][15] = 27
490.21/74.56	c (62,0) x[0][16] = 9
490.21/74.56	c (62,0) x[0][17] = 25
490.21/74.56	c (62,0) x[0][18] = 24
490.21/74.56	c (62,0) x[0][19] = 20
490.21/74.56	c (62,0) x[0][20] = 3
490.21/74.56	c (62,0) x[0][21] = 18
490.21/74.56	c (62,0) x[0][22] = 8
490.21/74.56	c (62,0) x[0][23] = 0
490.21/74.56	c (62,0) x[0][24] = 10
490.21/74.56	c (62,0) x[0][25] = 13
490.21/74.56	c (62,0) x[0][26] = 26
490.21/74.56	c (62,0) x[0][27] = 5
490.21/74.56	c (62,0) x[0][28] = 14
490.21/74.56	c (62,0) x[0][29] = 2
490.21/74.56	c (62,0) x[1][0] = 18
490.21/74.56	c (62,0) x[1][1] = 7
490.21/74.56	c (62,0) x[1][2] = 15
490.21/74.56	c (62,0) x[1][3] = 3
490.21/74.56	c (62,0) x[1][4] = 26
490.21/74.56	c (62,0) x[1][5] = 23
490.21/74.56	c (62,0) x[1][6] = 5
490.21/74.56	c (62,0) x[1][7] = 13
490.21/74.56	c (62,0) x[1][8] = 11
490.21/74.56	c (62,0) x[1][9] = 0
490.21/74.56	c (62,0) x[1][10] = 1
490.21/74.56	c (62,0) x[1][11] = 8
490.21/74.56	c (62,0) x[1][12] = 2
490.21/74.56	c (62,0) x[1][13] = 4
490.21/74.56	c (62,0) x[1][14] = 17
490.21/74.56	c (62,0) x[1][15] = 14
490.21/74.56	c (62,0) x[1][16] = 25
490.21/74.56	c (62,0) x[1][17] = 20
490.21/74.56	c (62,0) x[1][18] = 28
490.21/74.56	c (62,0) x[1][19] = 6
490.21/74.56	c (62,0) x[1][20] = 16
490.21/74.56	c (62,0) x[1][21] = 27
490.21/74.56	c (62,0) x[1][22] = 12
490.21/74.56	c (62,0) x[1][23] = 29
490.21/74.56	c (62,0) x[1][24] = 21
490.21/74.56	c (62,0) x[1][25] = 24
490.21/74.56	c (62,0) x[1][26] = 22
490.21/74.56	c (62,0) x[1][27] = 9
490.21/74.56	c (62,0) x[1][28] = 10
490.21/74.56	c (62,0) x[1][29] = 19
490.21/74.56	c (62,0) x[2][0] = 23
490.21/74.56	c (62,0) x[2][1] = 3
490.21/74.56	c (62,0) x[2][2] = 12
490.21/74.56	c (62,0) x[2][3] = 2
490.21/74.56	c (62,0) x[2][4] = 15
490.21/74.56	c (62,0) x[2][5] = 1
490.21/74.56	c (62,0) x[2][6] = 28
490.21/74.56	c (62,0) x[2][7] = 20
490.21/74.56	c (62,0) x[2][8] = 18
490.21/74.56	c (62,0) x[2][9] = 14
490.21/74.56	c (62,0) x[2][10] = 21
490.21/74.56	c (62,0) x[2][11] = 27
490.21/74.56	c (62,0) x[2][12] = 13
490.21/74.56	c (62,0) x[2][13] = 7
490.21/74.56	c (62,0) x[2][14] = 25
490.21/74.56	c (62,0) x[2][15] = 29
490.21/74.56	c (62,0) x[2][16] = 0
490.21/74.56	c (62,0) x[2][17] = 9
490.21/74.56	c (62,0) x[2][18] = 5
490.21/74.56	c (62,0) x[2][19] = 22
490.21/74.56	c (62,0) x[2][20] = 8
490.21/74.56	c (62,0) x[2][21] = 16
490.21/74.56	c (62,0) x[2][22] = 19
490.21/74.56	c (62,0) x[2][23] = 26
490.21/74.56	c (62,0) x[2][24] = 11
490.21/74.56	c (62,0) x[2][25] = 4
490.21/74.56	c (62,0) x[2][26] = 6
490.21/74.56	c (62,0) x[2][27] = 10
490.21/74.56	c (62,0) x[2][28] = 17
490.21/74.56	c (62,0) x[2][29] = 24
490.21/74.56	c (62,0) x[3][0] = 10
490.21/74.56	c (62,0) x[3][1] = 27
490.21/74.56	c (62,0) x[3][2] = 25
490.21/74.56	c (62,0) x[3][3] = 6
490.21/74.56	c (62,0) x[3][4] = 7
490.21/74.56	c (62,0) x[3][5] = 21
490.21/74.56	c (62,0) x[3][6] = 12
490.21/74.56	c (62,0) x[3][7] = 0
490.21/74.56	c (62,0) x[3][8] = 26
490.21/74.56	c (62,0) x[3][9] = 19
490.21/74.56	c (62,0) x[3][10] = 28
490.21/74.56	c (62,0) x[3][11] = 3
490.21/74.56	c (62,0) x[3][12] = 18
490.21/74.56	c (62,0) x[3][13] = 24
490.21/74.56	c (62,0) x[3][14] = 5
490.21/74.56	c (62,0) x[3][15] = 1
490.21/74.56	c (62,0) x[3][16] = 11
490.21/74.56	c (62,0) x[3][17] = 17
490.21/74.56	c (62,0) x[3][18] = 29
490.21/74.56	c (62,0) x[3][19] = 8
490.21/74.56	c (62,0) x[3][20] = 14
490.21/74.56	c (62,0) x[3][21] = 2
490.21/74.56	c (62,0) x[3][22] = 22
490.21/74.56	c (62,0) x[3][23] = 4
490.21/74.56	c (62,0) x[3][24] = 9
490.21/74.56	c (62,0) x[3][25] = 16
490.21/74.56	c (62,0) x[3][26] = 20
490.21/74.56	c (62,0) x[3][27] = 13
490.21/74.56	c (62,0) x[3][28] = 15
490.21/74.56	c (62,0) x[3][29] = 23
490.21/74.56	c (62,0) x[4][0] = 12
490.21/74.56	c (62,0) x[4][1] = 14
490.21/74.56	c (62,0) x[4][2] = 13
490.21/74.56	c (62,0) x[4][3] = 18
490.21/74.56	c (62,0) x[4][4] = 9
490.21/74.56	c (62,0) x[4][5] = 5
490.21/74.56	c (62,0) x[4][6] = 4
490.21/74.56	c (62,0) x[4][7] = 17
490.21/74.56	c (62,0) x[4][8] = 0
490.21/74.56	c (62,0) x[4][9] = 22
490.21/74.56	c (62,0) x[4][10] = 26
490.21/74.56	c (62,0) x[4][11] = 11
490.21/74.56	c (62,0) x[4][12] = 8
490.21/74.56	c (62,0) x[4][13] = 19
490.21/74.56	c (62,0) x[4][14] = 28
490.21/74.56	c (62,0) x[4][15] = 20
490.21/74.56	c (62,0) x[4][16] = 21
490.21/74.56	c (62,0) x[4][17] = 15
490.21/74.56	c (62,0) x[4][18] = 25
490.21/74.56	c (62,0) x[4][19] = 1
490.21/74.56	c (62,0) x[4][20] = 29
490.21/74.56	c (62,0) x[4][21] = 6
490.21/74.56	c (62,0) x[4][22] = 23
490.21/74.56	c (62,0) x[4][23] = 24
490.21/74.56	c (62,0) x[4][24] = 3
490.21/74.56	c (62,0) x[4][25] = 2
490.21/74.56	c (62,0) x[4][26] = 7
490.21/74.56	c (62,0) x[4][27] = 27
490.21/74.56	c (62,0) x[4][28] = 16
490.21/74.56	c (62,0) x[4][29] = 10
490.21/74.56	c (62,0) x[5][0] = 16
490.21/74.56	c (62,0) x[5][1] = 19
490.21/74.56	c (62,0) x[5][2] = 18
490.21/74.56	c (62,0) x[5][3] = 8
490.21/74.56	c (62,0) x[5][4] = 20
490.21/74.56	c (62,0) x[5][5] = 26
490.21/74.56	c (62,0) x[5][6] = 11
490.21/74.56	c (62,0) x[5][7] = 6
490.21/74.56	c (62,0) x[5][8] = 5
490.21/74.56	c (62,0) x[5][9] = 28
490.21/74.56	c (62,0) x[5][10] = 25
490.21/74.56	c (62,0) x[5][11] = 22
490.21/74.56	c (62,0) x[5][12] = 4
490.21/74.56	c (62,0) x[5][13] = 12
490.21/74.56	c (62,0) x[5][14] = 2
490.21/74.56	c (62,0) x[5][15] = 24
490.21/74.56	c (62,0) x[5][16] = 13
490.21/74.56	c (62,0) x[5][17] = 29
490.21/74.56	c (62,0) x[5][18] = 7
490.21/74.56	c (62,0) x[5][19] = 10
490.21/74.56	c (62,0) x[5][20] = 15
490.21/74.56	c (62,0) x[5][21] = 0
490.21/74.56	c (62,0) x[5][22] = 21
490.21/74.56	c (62,0) x[5][23] = 3
490.21/74.56	c (62,0) x[5][24] = 27
490.21/74.56	c (62,0) x[5][25] = 17
490.21/74.56	c (62,0) x[5][26] = 14
490.21/74.56	c (62,0) x[5][27] = 1
490.21/74.56	c (62,0) x[5][28] = 23
490.21/74.56	c (62,0) x[5][29] = 9
490.21/74.56	c (62,0) x[6][0] = 6
490.21/74.56	c (62,0) x[6][1] = 2
490.21/74.56	c (62,0) x[6][2] = 17
490.21/74.56	c (62,0) x[6][3] = 26
490.21/74.56	c (62,0) x[6][4] = 25
490.21/74.56	c (62,0) x[6][5] = 20
490.21/74.56	c (62,0) x[6][6] = 27
490.21/74.56	c (62,0) x[6][7] = 28
490.21/74.56	c (62,0) x[6][8] = 14
490.21/74.56	c (62,0) x[6][9] = 9
490.21/74.56	c (62,0) x[6][10] = 24
490.21/74.56	c (62,0) x[6][11] = 21
490.21/74.56	c (62,0) x[6][12] = 5
490.21/74.56	c (62,0) x[6][13] = 10
490.21/74.56	c (62,0) x[6][14] = 0
490.21/74.56	c (62,0) x[6][15] = 11
490.21/74.56	c (62,0) x[6][16] = 15
490.21/74.56	c (62,0) x[6][17] = 23
490.21/74.56	c (62,0) x[6][18] = 8
490.21/74.56	c (62,0) x[6][19] = 16
490.21/74.56	c (62,0) x[6][20] = 13
490.21/74.56	c (62,0) x[6][21] = 4
490.21/74.56	c (62,0) x[6][22] = 7
490.21/74.56	c (62,0) x[6][23] = 22
490.21/74.56	c (62,0) x[6][24] = 29
490.21/74.56	c (62,0) x[6][25] = 19
490.21/74.56	c (62,0) x[6][26] = 18
490.21/74.56	c (62,0) x[6][27] = 3
490.21/74.56	c (62,0) x[6][28] = 1
490.21/74.56	c (62,0) x[6][29] = 12
490.21/74.56	c (62,0) x[7][0] = 5
490.21/74.56	c (62,0) x[7][1] = 10
490.21/74.56	c (62,0) x[7][2] = 24
490.21/74.56	c (62,0) x[7][3] = 1
490.21/74.56	c (62,0) x[7][4] = 28
490.21/74.56	c (62,0) x[7][5] = 3
490.21/74.56	c (62,0) x[7][6] = 14
490.21/74.56	c (62,0) x[7][7] = 15
490.21/74.56	c (62,0) x[7][8] = 16
490.21/74.56	c (62,0) x[7][9] = 25
490.21/74.56	c (62,0) x[7][10] = 20
490.21/74.56	c (62,0) x[7][11] = 2
490.21/74.56	c (62,0) x[7][12] = 6
490.21/74.56	c (62,0) x[7][13] = 17
490.21/74.56	c (62,0) x[7][14] = 19
490.21/74.56	c (62,0) x[7][15] = 26
490.21/74.56	c (62,0) x[7][16] = 7
490.21/74.56	c (62,0) x[7][17] = 22
490.21/74.56	c (62,0) x[7][18] = 23
490.21/74.56	c (62,0) x[7][19] = 29
490.21/74.56	c (62,0) x[7][20] = 11
490.21/74.56	c (62,0) x[7][21] = 8
490.21/74.56	c (62,0) x[7][22] = 13
490.21/74.56	c (62,0) x[7][23] = 9
490.21/74.56	c (62,0) x[7][24] = 12
490.21/74.56	c (62,0) x[7][25] = 21
490.21/74.56	c (62,0) x[7][26] = 0
490.21/74.56	c (62,0) x[7][27] = 4
490.21/74.56	c (62,0) x[7][28] = 27
490.21/74.56	c (62,0) x[7][29] = 18
490.21/74.56	c (62,0) x[8][0] = 0
490.21/74.56	c (62,0) x[8][1] = 11
490.21/74.56	c (62,0) x[8][2] = 14
490.21/74.56	c (62,0) x[8][3] = 17
490.21/74.56	c (62,0) x[8][4] = 5
490.21/74.56	c (62,0) x[8][5] = 4
490.21/74.56	c (62,0) x[8][6] = 8
490.21/74.56	c (62,0) x[8][7] = 7
490.21/74.56	c (62,0) x[8][8] = 28
490.21/74.56	c (62,0) x[8][9] = 27
490.21/74.56	c (62,0) x[8][10] = 22
490.21/74.56	c (62,0) x[8][11] = 16
490.21/74.56	c (62,0) x[8][12] = 20
490.21/74.56	c (62,0) x[8][13] = 2
490.21/74.56	c (62,0) x[8][14] = 15
490.21/74.56	c (62,0) x[8][15] = 18
490.21/74.56	c (62,0) x[8][16] = 19
490.21/74.56	c (62,0) x[8][17] = 6
490.21/74.56	c (62,0) x[8][18] = 1
490.21/74.56	c (62,0) x[8][19] = 3
490.21/74.56	c (62,0) x[8][20] = 10
490.21/74.56	c (62,0) x[8][21] = 26
490.21/74.56	c (62,0) x[8][22] = 29
490.21/74.56	c (62,0) x[8][23] = 25
490.21/74.56	c (62,0) x[8][24] = 13
490.21/74.56	c (62,0) x[8][25] = 9
490.21/74.56	c (62,0) x[8][26] = 24
490.21/74.56	c (62,0) x[8][27] = 23
490.21/74.56	c (62,0) x[8][28] = 12
490.21/74.56	c (62,0) x[8][29] = 21
490.21/74.56	c (62,0) x[9][0] = 25
490.21/74.56	c (62,0) x[9][1] = 15
490.21/74.56	c (62,0) x[9][2] = 28
490.21/74.56	c (62,0) x[9][3] = 4
490.21/74.56	c (62,0) x[9][4] = 17
490.21/74.56	c (62,0) x[9][5] = 11
490.21/74.56	c (62,0) x[9][6] = 9
490.21/74.56	c (62,0) x[9][7] = 21
490.21/74.56	c (62,0) x[9][8] = 24
490.21/74.56	c (62,0) x[9][9] = 6
490.21/74.56	c (62,0) x[9][10] = 0
490.21/74.56	c (62,0) x[9][11] = 5
490.21/74.56	c (62,0) x[9][12] = 10
490.21/74.56	c (62,0) x[9][13] = 27
490.21/74.56	c (62,0) x[9][14] = 1
490.21/74.56	c (62,0) x[9][15] = 23
490.21/74.56	c (62,0) x[9][16] = 3
490.21/74.56	c (62,0) x[9][17] = 12
490.21/74.56	c (62,0) x[9][18] = 13
490.21/74.56	c (62,0) x[9][19] = 7
490.21/74.56	c (62,0) x[9][20] = 19
490.21/74.56	c (62,0) x[9][21] = 22
490.21/74.56	c (62,0) x[9][22] = 18
490.21/74.56	c (62,0) x[9][23] = 14
490.21/74.56	c (62,0) x[9][24] = 16
490.21/74.56	c (62,0) x[9][25] = 8
490.21/74.56	c (62,0) x[9][26] = 2
490.21/74.56	c (62,0) x[9][27] = 20
490.21/74.56	c (62,0) x[9][28] = 26
490.21/74.56	c (62,0) x[9][29] = 29
490.21/74.56	c (62,0) x[10][0] = 21
490.21/74.56	c (62,0) x[10][1] = 28
490.21/74.56	c (62,0) x[10][2] = 8
490.21/74.56	c (62,0) x[10][3] = 29
490.21/74.56	c (62,0) x[10][4] = 24
490.21/74.56	c (62,0) x[10][5] = 15
490.21/74.56	c (62,0) x[10][6] = 2
490.21/74.56	c (62,0) x[10][7] = 4
490.21/74.56	c (62,0) x[10][8] = 12
490.21/74.56	c (62,0) x[10][9] = 7
490.21/74.56	c (62,0) x[10][10] = 19
490.21/74.56	c (62,0) x[10][11] = 6
490.21/74.56	c (62,0) x[10][12] = 17
490.21/74.56	c (62,0) x[10][13] = 25
490.21/74.56	c (62,0) x[10][14] = 23
490.21/74.56	c (62,0) x[10][15] = 16
490.21/74.56	c (62,0) x[10][16] = 27
490.21/74.56	c (62,0) x[10][17] = 18
490.21/74.56	c (62,0) x[10][18] = 20
490.21/74.56	c (62,0) x[10][19] = 14
490.21/74.56	c (62,0) x[10][20] = 0
490.21/74.56	c (62,0) x[10][21] = 9
490.21/74.56	c (62,0) x[10][22] = 1
490.21/74.56	c (62,0) x[10][23] = 13
490.21/74.56	c (62,0) x[10][24] = 26
490.21/74.56	c (62,0) x[10][25] = 3
490.21/74.56	c (62,0) x[10][26] = 10
490.21/74.56	c (62,0) x[10][27] = 22
490.21/74.56	c (62,0) x[10][28] = 11
490.21/74.56	c (62,0) x[10][29] = 5
490.21/74.56	c (62,0) x[11][0] = 19
490.21/74.56	c (62,0) x[11][1] = 5
490.21/74.56	c (62,0) x[11][2] = 21
490.21/74.56	c (62,0) x[11][3] = 24
490.21/74.56	c (62,0) x[11][4] = 27
490.21/74.56	c (62,0) x[11][5] = 22
490.21/74.56	c (62,0) x[11][6] = 13
490.21/74.56	c (62,0) x[11][7] = 18
490.21/74.56	c (62,0) x[11][8] = 25
490.21/74.56	c (62,0) x[11][9] = 26
490.21/74.56	c (62,0) x[11][10] = 23
490.21/74.56	c (62,0) x[11][11] = 4
490.21/74.56	c (62,0) x[11][12] = 14
490.21/74.56	c (62,0) x[11][13] = 16
490.21/74.56	c (62,0) x[11][14] = 3
490.21/74.56	c (62,0) x[11][15] = 12
490.21/74.56	c (62,0) x[11][16] = 20
490.21/74.56	c (62,0) x[11][17] = 0
490.21/74.56	c (62,0) x[11][18] = 2
490.21/74.56	c (62,0) x[11][19] = 9
490.21/74.56	c (62,0) x[11][20] = 1
490.21/74.56	c (62,0) x[11][21] = 15
490.21/74.56	c (62,0) x[11][22] = 6
490.21/74.56	c (62,0) x[11][23] = 10
490.21/74.56	c (62,0) x[11][24] = 17
490.21/74.56	c (62,0) x[11][25] = 11
490.21/74.56	c (62,0) x[11][26] = 8
490.21/74.56	c (62,0) x[11][27] = 29
490.21/74.56	c (62,0) x[11][28] = 7
490.21/74.56	c (62,0) x[11][29] = 28
490.21/74.56	c (62,0) x[12][0] = 26
490.21/74.56	c (62,0) x[12][1] = 17
490.21/74.56	c (62,0) x[12][2] = 4
490.21/74.56	c (62,0) x[12][3] = 21
490.21/74.56	c (62,0) x[12][4] = 23
490.21/74.56	c (62,0) x[12][5] = 6
490.21/74.56	c (62,0) x[12][6] = 15
490.21/74.56	c (62,0) x[12][7] = 14
490.21/74.56	c (62,0) x[12][8] = 1
490.21/74.56	c (62,0) x[12][9] = 11
490.21/74.56	c (62,0) x[12][10] = 27
490.21/74.56	c (62,0) x[12][11] = 29
490.21/74.56	c (62,0) x[12][12] = 7
490.21/74.56	c (62,0) x[12][13] = 8
490.21/74.56	c (62,0) x[12][14] = 22
490.21/74.56	c (62,0) x[12][15] = 3
490.21/74.56	c (62,0) x[12][16] = 10
490.21/74.56	c (62,0) x[12][17] = 5
490.21/74.56	c (62,0) x[12][18] = 18
490.21/74.56	c (62,0) x[12][19] = 19
490.21/74.56	c (62,0) x[12][20] = 12
490.21/74.56	c (62,0) x[12][21] = 24
490.21/74.56	c (62,0) x[12][22] = 0
490.21/74.56	c (62,0) x[12][23] = 20
490.21/74.56	c (62,0) x[12][24] = 2
490.21/74.56	c (62,0) x[12][25] = 28
490.21/74.56	c (62,0) x[12][26] = 9
490.21/74.56	c (62,0) x[12][27] = 16
490.21/74.56	c (62,0) x[12][28] = 25
490.21/74.56	c (62,0) x[12][29] = 13
490.21/74.56	c (62,0) x[13][0] = 7
490.21/74.56	c (62,0) x[13][1] = 4
490.21/74.56	c (62,0) x[13][2] = 19
490.21/74.56	c (62,0) x[13][3] = 13
490.21/74.56	c (62,0) x[13][4] = 11
490.21/74.56	c (62,0) x[13][5] = 18
490.21/74.56	c (62,0) x[13][6] = 3
490.21/74.56	c (62,0) x[13][7] = 12
490.21/74.56	c (62,0) x[13][8] = 22
490.21/74.56	c (62,0) x[13][9] = 16
490.21/74.56	c (62,0) x[13][10] = 8
490.21/74.56	c (62,0) x[13][11] = 9
490.21/74.56	c (62,0) x[13][12] = 29
490.21/74.56	c (62,0) x[13][13] = 23
490.21/74.56	c (62,0) x[13][14] = 27
490.21/74.56	c (62,0) x[13][15] = 6
490.21/74.56	c (62,0) x[13][16] = 26
490.21/74.56	c (62,0) x[13][17] = 2
490.21/74.56	c (62,0) x[13][18] = 17
490.21/74.56	c (62,0) x[13][19] = 25
490.21/74.56	c (62,0) x[13][20] = 21
490.21/74.56	c (62,0) x[13][21] = 28
490.21/74.56	c (62,0) x[13][22] = 10
490.21/74.56	c (62,0) x[13][23] = 15
490.21/74.56	c (62,0) x[13][24] = 1
490.21/74.56	c (62,0) x[13][25] = 20
490.21/74.56	c (62,0) x[13][26] = 5
490.21/74.56	c (62,0) x[13][27] = 14
490.21/74.56	c (62,0) x[13][28] = 24
490.21/74.56	c (62,0) x[13][29] = 0
490.21/74.56	c (62,0) x[14][0] = 22
490.21/74.56	c (62,0) x[14][1] = 13
490.21/74.56	c (62,0) x[14][2] = 29
490.21/74.56	c (62,0) x[14][3] = 9
490.21/74.56	c (62,0) x[14][4] = 19
490.21/74.56	c (62,0) x[14][5] = 7
490.21/74.56	c (62,0) x[14][6] = 21
490.21/74.56	c (62,0) x[14][7] = 5
490.21/74.56	c (62,0) x[14][8] = 8
490.21/74.56	c (62,0) x[14][9] = 23
490.21/74.56	c (62,0) x[14][10] = 10
490.21/74.56	c (62,0) x[14][11] = 14
490.21/74.56	c (62,0) x[14][12] = 25
490.21/74.56	c (62,0) x[14][13] = 1
490.21/74.56	c (62,0) x[14][14] = 11
490.21/74.56	c (62,0) x[14][15] = 17
490.21/74.56	c (62,0) x[14][16] = 16
490.21/74.56	c (62,0) x[14][17] = 24
490.21/74.56	c (62,0) x[14][18] = 12
490.21/74.56	c (62,0) x[14][19] = 2
490.21/74.56	c (62,0) x[14][20] = 20
490.21/74.56	c (62,0) x[14][21] = 3
490.21/74.56	c (62,0) x[14][22] = 26
490.21/74.56	c (62,0) x[14][23] = 27
490.21/74.56	c (62,0) x[14][24] = 18
490.21/74.56	c (62,0) x[14][25] = 15
490.21/74.56	c (62,0) x[14][26] = 28
490.21/74.56	c (62,0) x[14][27] = 0
490.21/74.56	c (62,0) x[14][28] = 4
490.21/74.56	c (62,0) x[14][29] = 6
490.21/74.56	c (62,0) x[15][0] = 27
490.21/74.56	c (62,0) x[15][1] = 29
490.21/74.56	c (62,0) x[15][2] = 5
490.21/74.56	c (62,0) x[15][3] = 12
490.21/74.56	c (62,0) x[15][4] = 6
490.21/74.56	c (62,0) x[15][5] = 14
490.21/74.56	c (62,0) x[15][6] = 19
490.21/74.56	c (62,0) x[15][7] = 26
490.21/74.56	c (62,0) x[15][8] = 2
490.21/74.56	c (62,0) x[15][9] = 24
490.21/74.56	c (62,0) x[15][10] = 13
490.21/74.56	c (62,0) x[15][11] = 17
490.21/74.56	c (62,0) x[15][12] = 9
490.21/74.56	c (62,0) x[15][13] = 21
490.21/74.56	c (62,0) x[15][14] = 16
490.21/74.56	c (62,0) x[15][15] = 25
490.21/74.56	c (62,0) x[15][16] = 18
490.21/74.56	c (62,0) x[15][17] = 10
490.21/74.56	c (62,0) x[15][18] = 22
490.21/74.56	c (62,0) x[15][19] = 28
490.21/74.56	c (62,0) x[15][20] = 7
490.21/74.56	c (62,0) x[15][21] = 23
490.21/74.56	c (62,0) x[15][22] = 15
490.21/74.56	c (62,0) x[15][23] = 8
490.21/74.56	c (62,0) x[15][24] = 20
490.21/74.56	c (62,0) x[15][25] = 1
490.21/74.56	c (62,0) x[15][26] = 3
490.21/74.56	c (62,0) x[15][27] = 11
490.21/74.56	c (62,0) x[15][28] = 0
490.21/74.56	c (62,0) x[15][29] = 4
490.21/74.56	c (62,0) x[16][0] = 1
490.21/74.56	c (62,0) x[16][1] = 9
490.21/74.56	c (62,0) x[16][2] = 23
490.21/74.56	c (62,0) x[16][3] = 5
490.21/74.56	c (62,0) x[16][4] = 18
490.21/74.56	c (62,0) x[16][5] = 0
490.21/74.56	c (62,0) x[16][6] = 29
490.21/74.56	c (62,0) x[16][7] = 2
490.21/74.56	c (62,0) x[16][8] = 21
490.21/74.56	c (62,0) x[16][9] = 10
490.21/74.56	c (62,0) x[16][10] = 3
490.21/74.56	c (62,0) x[16][11] = 28
490.21/74.56	c (62,0) x[16][12] = 19
490.21/74.56	c (62,0) x[16][13] = 26
490.21/74.56	c (62,0) x[16][14] = 8
490.21/74.56	c (62,0) x[16][15] = 22
490.21/74.56	c (62,0) x[16][16] = 12
490.21/74.56	c (62,0) x[16][17] = 4
490.21/74.56	c (62,0) x[16][18] = 14
490.21/74.56	c (62,0) x[16][19] = 17
490.21/74.56	c (62,0) x[16][20] = 6
490.21/74.56	c (62,0) x[16][21] = 11
490.21/74.56	c (62,0) x[16][22] = 16
490.21/74.56	c (62,0) x[16][23] = 7
490.21/74.56	c (62,0) x[16][24] = 25
490.21/74.56	c (62,0) x[16][25] = 27
490.21/74.56	c (62,0) x[16][26] = 15
490.21/74.56	c (62,0) x[16][27] = 24
490.21/74.56	c (62,0) x[16][28] = 13
490.21/74.56	c (62,0) x[16][29] = 20
490.21/74.56	c (62,0) x[17][0] = 8
490.21/74.56	c (62,0) x[17][1] = 0
490.21/74.56	c (62,0) x[17][2] = 27
490.21/74.56	c (62,0) x[17][3] = 10
490.21/74.56	c (62,0) x[17][4] = 29
490.21/74.56	c (62,0) x[17][5] = 13
490.21/74.56	c (62,0) x[17][6] = 1
490.21/74.56	c (62,0) x[17][7] = 22
490.21/74.56	c (62,0) x[17][8] = 19
490.21/74.56	c (62,0) x[17][9] = 17
490.21/74.56	c (62,0) x[17][10] = 6
490.21/74.56	c (62,0) x[17][11] = 25
490.21/74.56	c (62,0) x[17][12] = 3
490.21/74.56	c (62,0) x[17][13] = 18
490.21/74.56	c (62,0) x[17][14] = 20
490.21/74.56	c (62,0) x[17][15] = 15
490.21/74.56	c (62,0) x[17][16] = 2
490.21/74.56	c (62,0) x[17][17] = 14
490.21/74.56	c (62,0) x[17][18] = 21
490.21/74.56	c (62,0) x[17][19] = 23
490.21/74.56	c (62,0) x[17][20] = 24
490.21/74.56	c (62,0) x[17][21] = 12
490.21/74.56	c (62,0) x[17][22] = 9
490.21/74.56	c (62,0) x[17][23] = 11
490.21/74.56	c (62,0) x[17][24] = 28
490.21/74.56	c (62,0) x[17][25] = 26
490.21/74.56	c (62,0) x[17][26] = 4
490.21/74.56	c (62,0) x[17][27] = 7
490.21/74.56	c (62,0) x[17][28] = 5
490.21/74.56	c (62,0) x[17][29] = 16
490.21/74.56	c (62,0) x[18][0] = 11
490.21/74.56	c (62,0) x[18][1] = 20
490.21/74.56	c (62,0) x[18][2] = 7
490.21/74.56	c (62,0) x[18][3] = 22
490.21/74.56	c (62,0) x[18][4] = 1
490.21/74.56	c (62,0) x[18][5] = 12
490.21/74.56	c (62,0) x[18][6] = 18
490.21/74.56	c (62,0) x[18][7] = 8
490.21/74.56	c (62,0) x[18][8] = 3
490.21/74.56	c (62,0) x[18][9] = 29
490.21/74.56	c (62,0) x[18][10] = 16
490.21/74.56	c (62,0) x[18][11] = 24
490.21/74.56	c (62,0) x[18][12] = 26
490.21/74.56	c (62,0) x[18][13] = 0
490.21/74.56	c (62,0) x[18][14] = 9
490.21/74.56	c (62,0) x[18][15] = 2
490.21/74.56	c (62,0) x[18][16] = 28
490.21/74.56	c (62,0) x[18][17] = 13
490.21/74.56	c (62,0) x[18][18] = 4
490.21/74.56	c (62,0) x[18][19] = 15
490.21/74.56	c (62,0) x[18][20] = 17
490.21/74.56	c (62,0) x[18][21] = 10
490.21/74.56	c (62,0) x[18][22] = 27
490.21/74.56	c (62,0) x[18][23] = 21
490.21/74.56	c (62,0) x[18][24] = 14
490.21/74.56	c (62,0) x[18][25] = 5
490.21/74.56	c (62,0) x[18][26] = 23
490.21/74.56	c (62,0) x[18][27] = 19
490.21/74.56	c (62,0) x[18][28] = 6
490.21/74.56	c (62,0) x[18][29] = 25
490.21/74.56	c (62,0) x[19][0] = 29
490.21/74.56	c (62,0) x[19][1] = 21
490.21/74.56	c (62,0) x[19][2] = 26
490.21/74.56	c (62,0) x[19][3] = 16
490.21/74.56	c (62,0) x[19][4] = 10
490.21/74.56	c (62,0) x[19][5] = 25
490.21/74.56	c (62,0) x[19][6] = 0
490.21/74.56	c (62,0) x[19][7] = 27
490.21/74.56	c (62,0) x[19][8] = 23
490.21/74.56	c (62,0) x[19][9] = 20
490.21/74.56	c (62,0) x[19][10] = 18
490.21/74.56	c (62,0) x[19][11] = 19
490.21/74.56	c (62,0) x[19][12] = 24
490.21/74.56	c (62,0) x[19][13] = 15
490.21/74.56	c (62,0) x[19][14] = 12
490.21/74.56	c (62,0) x[19][15] = 5
490.21/74.56	c (62,0) x[19][16] = 6
490.21/74.56	c (62,0) x[19][17] = 28
490.21/74.56	c (62,0) x[19][18] = 9
490.21/74.56	c (62,0) x[19][19] = 13
490.21/74.56	c (62,0) x[19][20] = 4
490.21/74.56	c (62,0) x[19][21] = 1
490.21/74.56	c (62,0) x[19][22] = 3
490.21/74.56	c (62,0) x[19][23] = 17
490.21/74.56	c (62,0) x[19][24] = 7
490.21/74.56	c (62,0) x[19][25] = 14
490.21/74.56	c (62,0) x[19][26] = 11
490.21/74.56	c (62,0) x[19][27] = 8
490.21/74.56	c (62,0) x[19][28] = 2
490.21/74.56	c (62,0) x[19][29] = 22
490.21/74.56	c (62,0) x[20][0] = 13
490.21/74.56	c (62,0) x[20][1] = 25
490.21/74.56	c (62,0) x[20][2] = 22
490.21/74.56	c (62,0) x[20][3] = 0
490.21/74.56	c (62,0) x[20][4] = 4
490.21/74.56	c (62,0) x[20][5] = 17
490.21/74.56	c (62,0) x[20][6] = 10
490.21/74.56	c (62,0) x[20][7] = 19
490.21/74.56	c (62,0) x[20][8] = 15
490.21/74.56	c (62,0) x[20][9] = 1
490.21/74.56	c (62,0) x[20][10] = 2
490.21/74.56	c (62,0) x[20][11] = 20
490.21/74.56	c (62,0) x[20][12] = 16
490.21/74.56	c (62,0) x[20][13] = 28
490.21/74.56	c (62,0) x[20][14] = 21
490.21/74.56	c (62,0) x[20][15] = 9
490.21/74.56	c (62,0) x[20][16] = 8
490.21/74.56	c (62,0) x[20][17] = 27
490.21/74.56	c (62,0) x[20][18] = 3
490.21/74.56	c (62,0) x[20][19] = 12
490.21/74.56	c (62,0) x[20][20] = 5
490.21/74.56	c (62,0) x[20][21] = 7
490.21/74.56	c (62,0) x[20][22] = 11
490.21/74.56	c (62,0) x[20][23] = 23
490.21/74.56	c (62,0) x[20][24] = 24
490.21/74.56	c (62,0) x[20][25] = 6
490.21/74.56	c (62,0) x[20][26] = 29
490.21/74.56	c (62,0) x[20][27] = 26
490.21/74.56	c (62,0) x[20][28] = 18
490.21/74.56	c (62,0) x[20][29] = 14
490.21/74.56	c (62,0) x[21][0] = 15
490.21/74.56	c (62,0) x[21][1] = 6
490.21/74.56	c (62,0) x[21][2] = 11
490.21/74.56	c (62,0) x[21][3] = 23
490.21/74.56	c (62,0) x[21][4] = 16
490.21/74.56	c (62,0) x[21][5] = 10
490.21/74.56	c (62,0) x[21][6] = 20
490.21/74.56	c (62,0) x[21][7] = 24
490.21/74.56	c (62,0) x[21][8] = 29
490.21/74.56	c (62,0) x[21][9] = 5
490.21/74.56	c (62,0) x[21][10] = 17
490.21/74.56	c (62,0) x[21][11] = 26
490.21/74.56	c (62,0) x[21][12] = 1
490.21/74.56	c (62,0) x[21][13] = 9
490.21/74.56	c (62,0) x[21][14] = 4
490.21/74.56	c (62,0) x[21][15] = 28
490.21/74.56	c (62,0) x[21][16] = 14
490.21/74.56	c (62,0) x[21][17] = 8
490.21/74.56	c (62,0) x[21][18] = 19
490.21/74.56	c (62,0) x[21][19] = 21
490.21/74.56	c (62,0) x[21][20] = 27
490.21/74.56	c (62,0) x[21][21] = 13
490.21/74.56	c (62,0) x[21][22] = 2
490.21/74.56	c (62,0) x[21][23] = 18
490.21/74.56	c (62,0) x[21][24] = 0
490.21/74.56	c (62,0) x[21][25] = 7
490.21/74.56	c (62,0) x[21][26] = 12
490.21/74.56	c (62,0) x[21][27] = 25
490.21/74.56	c (62,0) x[21][28] = 22
490.21/74.56	c (62,0) x[21][29] = 3
490.21/74.56	c (62,0) x[22][0] = 3
490.21/74.56	c (62,0) x[22][1] = 1
490.21/74.56	c (62,0) x[22][2] = 9
490.21/74.56	c (62,0) x[22][3] = 11
490.21/74.56	c (62,0) x[22][4] = 2
490.21/74.56	c (62,0) x[22][5] = 24
490.21/74.56	c (62,0) x[22][6] = 7
490.21/74.56	c (62,0) x[22][7] = 29
490.21/74.56	c (62,0) x[22][8] = 20
490.21/74.56	c (62,0) x[22][9] = 8
490.21/74.56	c (62,0) x[22][10] = 12
490.21/74.56	c (62,0) x[22][11] = 18
490.21/74.56	c (62,0) x[22][12] = 0
490.21/74.56	c (62,0) x[22][13] = 5
490.21/74.56	c (62,0) x[22][14] = 10
490.21/74.56	c (62,0) x[22][15] = 13
490.21/74.56	c (62,0) x[22][16] = 22
490.21/74.56	c (62,0) x[22][17] = 26
490.21/74.56	c (62,0) x[22][18] = 16
490.21/74.56	c (62,0) x[22][19] = 27
490.21/74.56	c (62,0) x[22][20] = 25
490.21/74.56	c (62,0) x[22][21] = 19
490.21/74.56	c (62,0) x[22][22] = 14
490.21/74.56	c (62,0) x[22][23] = 6
490.21/74.56	c (62,0) x[22][24] = 4
490.21/74.56	c (62,0) x[22][25] = 23
490.21/74.56	c (62,0) x[22][26] = 17
490.21/74.56	c (62,0) x[22][27] = 28
490.21/74.56	c (62,0) x[22][28] = 21
490.21/74.56	c (62,0) x[22][29] = 15
490.21/74.56	c (62,0) x[23][0] = 20
490.21/74.56	c (62,0) x[23][1] = 24
490.21/74.56	c (62,0) x[23][2] = 6
490.21/74.56	c (62,0) x[23][3] = 15
490.21/74.56	c (62,0) x[23][4] = 0
490.21/74.56	c (62,0) x[23][5] = 2
490.21/74.56	c (62,0) x[23][6] = 23
490.21/74.56	c (62,0) x[23][7] = 3
490.21/74.56	c (62,0) x[23][8] = 7
490.21/74.56	c (62,0) x[23][9] = 21
490.21/74.56	c (62,0) x[23][10] = 14
490.21/74.56	c (62,0) x[23][11] = 13
490.21/74.56	c (62,0) x[23][12] = 22
490.21/74.56	c (62,0) x[23][13] = 11
490.21/74.56	c (62,0) x[23][14] = 18
490.21/74.56	c (62,0) x[23][15] = 4
490.21/74.56	c (62,0) x[23][16] = 29
490.21/74.56	c (62,0) x[23][17] = 16
490.21/74.56	c (62,0) x[23][18] = 27
490.21/74.56	c (62,0) x[23][19] = 26
490.21/74.56	c (62,0) x[23][20] = 9
490.21/74.56	c (62,0) x[23][21] = 25
490.21/74.56	c (62,0) x[23][22] = 17
490.21/74.56	c (62,0) x[23][23] = 1
490.21/74.56	c (62,0) x[23][24] = 5
490.21/74.56	c (62,0) x[23][25] = 10
490.21/74.56	c (62,0) x[23][26] = 19
490.21/74.56	c (62,0) x[23][27] = 12
490.21/74.56	c (62,0) x[23][28] = 28
490.21/74.56	c (62,0) x[23][29] = 8
490.21/74.56	c (62,0) x[24][0] = 4
490.21/74.56	c (62,0) x[24][1] = 16
490.21/74.56	c (62,0) x[24][2] = 3
490.21/74.56	c (62,0) x[24][3] = 25
490.21/74.56	c (62,0) x[24][4] = 12
490.21/74.56	c (62,0) x[24][5] = 9
490.21/74.56	c (62,0) x[24][6] = 17
490.21/74.56	c (62,0) x[24][7] = 10
490.21/74.56	c (62,0) x[24][8] = 27
490.21/74.56	c (62,0) x[24][9] = 13
490.21/74.56	c (62,0) x[24][10] = 7
490.21/74.56	c (62,0) x[24][11] = 0
490.21/74.56	c (62,0) x[24][12] = 15
490.21/74.56	c (62,0) x[24][13] = 29
490.21/74.56	c (62,0) x[24][14] = 14
490.21/74.56	c (62,0) x[24][15] = 8
490.21/74.56	c (62,0) x[24][16] = 24
490.21/74.56	c (62,0) x[24][17] = 1
490.21/74.56	c (62,0) x[24][18] = 26
490.21/74.56	c (62,0) x[24][19] = 18
490.21/74.56	c (62,0) x[24][20] = 23
490.21/74.56	c (62,0) x[24][21] = 20
490.21/74.56	c (62,0) x[24][22] = 5
490.21/74.56	c (62,0) x[24][23] = 28
490.21/74.56	c (62,0) x[24][24] = 6
490.21/74.56	c (62,0) x[24][25] = 22
490.21/74.56	c (62,0) x[24][26] = 21
490.21/74.56	c (62,0) x[24][27] = 2
490.21/74.56	c (62,0) x[24][28] = 19
490.21/74.56	c (62,0) x[24][29] = 11
490.21/74.56	c (62,0) x[25][0] = 14
490.21/74.56	c (62,0) x[25][1] = 8
490.21/74.56	c (62,0) x[25][2] = 2
490.21/74.56	c (62,0) x[25][3] = 7
490.21/74.56	c (62,0) x[25][4] = 22
490.21/74.56	c (62,0) x[25][5] = 29
490.21/74.56	c (62,0) x[25][6] = 6
490.21/74.56	c (62,0) x[25][7] = 23
490.21/74.56	c (62,0) x[25][8] = 17
490.21/74.56	c (62,0) x[25][9] = 18
490.21/74.56	c (62,0) x[25][10] = 9
490.21/74.56	c (62,0) x[25][11] = 12
490.21/74.56	c (62,0) x[25][12] = 28
490.21/74.56	c (62,0) x[25][13] = 13
490.21/74.56	c (62,0) x[25][14] = 24
490.21/74.56	c (62,0) x[25][15] = 21
490.21/74.56	c (62,0) x[25][16] = 4
490.21/74.56	c (62,0) x[25][17] = 3
490.21/74.56	c (62,0) x[25][18] = 10
490.21/74.56	c (62,0) x[25][19] = 11
490.21/74.56	c (62,0) x[25][20] = 26
490.21/74.56	c (62,0) x[25][21] = 5
490.21/74.56	c (62,0) x[25][22] = 25
490.21/74.56	c (62,0) x[25][23] = 16
490.21/74.56	c (62,0) x[25][24] = 19
490.21/74.56	c (62,0) x[25][25] = 0
490.21/74.56	c (62,0) x[25][26] = 1
490.21/74.56	c (62,0) x[25][27] = 15
490.21/74.56	c (62,0) x[25][28] = 20
490.21/74.56	c (62,0) x[25][29] = 27
490.21/74.56	c (62,0) x[26][0] = 24
490.21/74.56	c (62,0) x[26][1] = 26
490.21/74.56	c (62,0) x[26][2] = 0
490.21/74.56	c (62,0) x[26][3] = 28
490.21/74.56	c (62,0) x[26][4] = 14
490.21/74.56	c (62,0) x[26][5] = 16
490.21/74.56	c (62,0) x[26][6] = 22
490.21/74.56	c (62,0) x[26][7] = 9
490.21/74.56	c (62,0) x[26][8] = 10
490.21/74.56	c (62,0) x[26][9] = 2
490.21/74.56	c (62,0) x[26][10] = 29
490.21/74.56	c (62,0) x[26][11] = 1
490.21/74.56	c (62,0) x[26][12] = 27
490.21/74.56	c (62,0) x[26][13] = 3
490.21/74.56	c (62,0) x[26][14] = 13
490.21/74.56	c (62,0) x[26][15] = 7
490.21/74.56	c (62,0) x[26][16] = 5
490.21/74.56	c (62,0) x[26][17] = 11
490.21/74.56	c (62,0) x[26][18] = 15
490.21/74.56	c (62,0) x[26][19] = 4
490.21/74.56	c (62,0) x[26][20] = 18
490.21/74.56	c (62,0) x[26][21] = 21
490.21/74.56	c (62,0) x[26][22] = 20
490.21/74.56	c (62,0) x[26][23] = 19
490.21/74.56	c (62,0) x[26][24] = 23
490.21/74.56	c (62,0) x[26][25] = 12
490.21/74.56	c (62,0) x[26][26] = 25
490.21/74.56	c (62,0) x[26][27] = 6
490.21/74.56	c (62,0) x[26][28] = 8
490.21/74.56	c (62,0) x[26][29] = 17
490.21/74.56	c (62,0) x[27][0] = 2
490.21/74.56	c (62,0) x[27][1] = 23
490.21/74.56	c (62,0) x[27][2] = 10
490.21/74.56	c (62,0) x[27][3] = 20
490.21/74.56	c (62,0) x[27][4] = 3
490.21/74.56	c (62,0) x[27][5] = 27
490.21/74.56	c (62,0) x[27][6] = 25
490.21/74.56	c (62,0) x[27][7] = 1
490.21/74.56	c (62,0) x[27][8] = 13
490.21/74.56	c (62,0) x[27][9] = 4
490.21/74.56	c (62,0) x[27][10] = 5
490.21/74.56	c (62,0) x[27][11] = 15
490.21/74.56	c (62,0) x[27][12] = 11
490.21/74.56	c (62,0) x[27][13] = 6
490.21/74.56	c (62,0) x[27][14] = 7
490.21/74.56	c (62,0) x[27][15] = 19
490.21/74.56	c (62,0) x[27][16] = 17
490.21/74.56	c (62,0) x[27][17] = 21
490.21/74.56	c (62,0) x[27][18] = 0
490.21/74.56	c (62,0) x[27][19] = 24
490.21/74.56	c (62,0) x[27][20] = 22
490.21/74.56	c (62,0) x[27][21] = 14
490.21/74.56	c (62,0) x[27][22] = 28
490.21/74.56	c (62,0) x[27][23] = 12
490.21/74.56	c (62,0) x[27][24] = 8
490.21/74.56	c (62,0) x[27][25] = 29
490.21/74.56	c (62,0) x[27][26] = 16
490.21/74.56	c (62,0) x[27][27] = 18
490.21/74.56	c (62,0) x[27][28] = 9
490.21/74.56	c (62,0) x[27][29] = 26
490.21/74.56	c (62,0) x[28][0] = 28
490.21/74.56	c (62,0) x[28][1] = 22
490.21/74.56	c (62,0) x[28][2] = 16
490.21/74.56	c (62,0) x[28][3] = 14
490.21/74.56	c (62,0) x[28][4] = 13
490.21/74.56	c (62,0) x[28][5] = 8
490.21/74.56	c (62,0) x[28][6] = 24
490.21/74.56	c (62,0) x[28][7] = 25
490.21/74.56	c (62,0) x[28][8] = 9
490.21/74.56	c (62,0) x[28][9] = 12
490.21/74.56	c (62,0) x[28][10] = 11
490.21/74.56	c (62,0) x[28][11] = 23
490.21/74.56	c (62,0) x[28][12] = 21
490.21/74.56	c (62,0) x[28][13] = 20
490.21/74.56	c (62,0) x[28][14] = 26
490.21/74.56	c (62,0) x[28][15] = 10
490.21/74.56	c (62,0) x[28][16] = 1
490.21/74.56	c (62,0) x[28][17] = 19
490.21/74.56	c (62,0) x[28][18] = 6
490.21/74.56	c (62,0) x[28][19] = 0
490.21/74.56	c (62,0) x[28][20] = 2
490.21/74.56	c (62,0) x[28][21] = 29
490.21/74.56	c (62,0) x[28][22] = 4
490.21/74.56	c (62,0) x[28][23] = 5
490.21/74.56	c (62,0) x[28][24] = 15
490.21/74.56	c (62,0) x[28][25] = 18
490.21/74.56	c (62,0) x[28][26] = 27
490.21/74.56	c (62,0) x[28][27] = 17
490.21/74.56	c (62,0) x[28][28] = 3
490.21/74.56	c (62,0) x[28][29] = 7
490.21/74.56	c (62,0) x[29][0] = 9
490.21/74.56	c (62,0) x[29][1] = 18
490.21/74.56	c (62,0) x[29][2] = 20
490.21/74.56	c (62,0) x[29][3] = 27
490.21/74.56	c (62,0) x[29][4] = 8
490.21/74.56	c (62,0) x[29][5] = 19
490.21/74.56	c (62,0) x[29][6] = 26
490.21/74.56	c (62,0) x[29][7] = 16
490.21/74.56	c (62,0) x[29][8] = 4
490.21/74.56	c (62,0) x[29][9] = 3
490.21/74.56	c (62,0) x[29][10] = 15
490.21/74.56	c (62,0) x[29][11] = 10
490.21/74.56	c (62,0) x[29][12] = 12
490.21/74.56	c (62,0) x[29][13] = 14
490.21/74.56	c (62,0) x[29][14] = 6
490.21/74.56	c (62,0) x[29][15] = 0
490.21/74.56	c (62,0) x[29][16] = 23
490.21/74.56	c (62,0) x[29][17] = 7
490.21/74.56	c (62,0) x[29][18] = 11
490.21/74.56	c (62,0) x[29][19] = 5
490.21/74.56	c (62,0) x[29][20] = 28
490.21/74.56	c (62,0) x[29][21] = 17
490.21/74.56	c (62,0) x[29][22] = 24
490.21/74.56	c (62,0) x[29][23] = 2
490.21/74.56	c (62,0) x[29][24] = 22
490.21/74.56	c (62,0) x[29][25] = 25
490.21/74.56	c (62,0) x[29][26] = 13
490.21/74.56	c (62,0) x[29][27] = 21
490.21/74.56	c (62,0) x[29][28] = 29
490.21/74.56	c (62,0) x[29][29] = 1
490.21/74.56	s SATISFIABLE
490.21/74.57	v <instantiation>
490.21/74.57	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>
490.21/74.57	v     <values>17 12 1 19 21 28 16 11 6 15 4 7 23 22 29 27 9 25 24 20 3 18 8 0 10 13 26 5 14 2 18 7 15 3 26 23 5 13 11 0 1 8 2 4 17 14 25 20 28 6 16 27 12 29 21 24 22 9 10 19 23 3 12 2 15 1 28 20 18 14 21 27 13 7 25 29 0 9 5 22 8 16 19 26 11 4 6 10 17 24 10 27 25 6 7 21 12 0 26 19 28 3 18 24 5 1 11 17 29 8 14 2 22 4 9 16 20 13 15 23 12 14 13 18 9 5 4 17 0 22 26 11 8 19 28 20 21 15 25 1 29 6 23 24 3 2 7 27 16 10 16 19 18 8 20 26 11 6 5 28 25 22 4 12 2 24 13 29 7 10 15 0 21 3 27 17 14 1 23 9 6 2 17 26 25 20 27 28 14 9 24 21 5 10 0 11 15 23 8 16 13 4 7 22 29 19 18 3 1 12 5 10 24 1 28 3 14 15 16 25 20 2 6 17 19 26 7 22 23 29 11 8 13 9 12 21 0 4 27 18 0 11 14 17 5 4 8 7 28 27 22 16 20 2 15 18 19 6 1 3 10 26 29 25 13 9 24 23 12 21 25 15 28 4 17 11 9 21 24 6 0 5 10 27 1 23 3 12 13 7 19 22 18 14 16 8 2 20 26 29 21 28 8 29 24 15 2 4 12 7 19 6 17 25 23 16 27 18 20 14 0 9 1 13 26 3 10 22 11 5 19 5 21 24 27 22 13 18 25 26 23 4 14 16 3 12 20 0 2 9 1 15 6 10 17 11 8 29 7 28 26 17 4 21 23 6 15 14 1 11 27 29 7 8 22 3 10 5 18 19 12 24 0 20 2 28 9 16 25 13 7 4 19 13 11 18 3 12 22 16 8 9 29 23 27 6 26 2 17 25 21 28 10 15 1 20 5 14 24 0 22 13 29 9 19 7 21 5 8 23 10 14 25 1 11 17 16 24 12 2 20 3 26 27 18 15 28 0 4 6 27 29 5 12 6 14 19 26 2 24 13 17 9 21 16 25 18 10 22 28 7 23 15 8 20 1 3 11 0 4 1 9 23 5 18 0 29 2 21 10 3 28 19 26 8 22 12 4 14 17 6 11 16 7 25 27 15 24 13 20 8 0 27 10 29 13 1 22 19 17 6 25 3 18 20 15 2 14 21 23 24 12 9 11 28 26 4 7 5 16 11 20 7 22 1 12 18 8 3 29 16 24 26 0 9 2 28 13 4 15 17 10 27 21 14 5 23 19 6 25 29 21 26 16 10 25 0 27 23 20 18 19 24 15 12 5 6 28 9 13 4 1 3 17 7 14 11 8 2 22 13 25 22 0 4 17 10 19 15 1 2 20 16 28 21 9 8 27 3 12 5 7 11 23 24 6 29 26 18 14 15 6 11 23 16 10 20 24 29 5 17 26 1 9 4 28 14 8 19 21 27 13 2 18 0 7 12 25 22 3 3 1 9 11 2 24 7 29 20 8 12 18 0 5 10 13 22 26 16 27 25 19 14 6 4 23 17 28 21 15 20 24 6 15 0 2 23 3 7 21 14 13 22 11 18 4 29 16 27 26 9 25 17 1 5 10 19 12 28 8 4 16 3 25 12 9 17 10 27 13 7 0 15 29 14 8 24 1 26 18 23 20 5 28 6 22 21 2 19 11 14 8 2 7 22 29 6 23 17 18 9 12 28 13 24 21 4 3 10 11 26 5 25 16 19 0 1 15 20 27 24 26 0 28 14 16 22 9 10 2 29 1 27 3 13 7 5 11 15 4 18 21 20 19 23 12 25 6 8 17 2 23 10 20 3 27 25 1 13 4 5 15 11 6 7 19 17 21 0 24 22 14 28 12 8 29 16 18 9 26 28 22 16 14 13 8 24 25 9 12 11 23 21 20 26 10 1 19 6 0 2 29 4 5 15 18 27 17 3 7 9 18 20 27 8 19 26 16 4 3 15 10 12 14 6 0 23 7 11 5 28 17 24 2 22 25 13 21 29 1</values>
490.21/74.57	v </instantiation>
490.21/74.57	c (62,0) Show results End
490.21/74.57	c (62,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
490.21/74.57	c (62,0) 62,62,STOP-AFTER(ALL)
490.21/74.57	c END-Prog: Tue Sep 24 23:08:34 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 (10792 MiB free)
  memory of node 1: 16384 MiB (14153 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100149 s]*
/proc/loadavg: 8.11 8.14 8.23 2/211 16387
/proc/meminfo: memFree=25453328/32770624 swapFree=67002572/67108860
[pid=16365] ppid=16362 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16365/stat : 16365 (scop.sh) S 16362 16365 16086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512089238 115843072 348 33554432000 4194304 5098028 140734780898192 140734780895448 139780935897724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22147072 140734780900132 140734780900460 140734780900460 140734780903373 0
/proc/16365/statm: 28282 348 296 221 0 87 0
[pid=16368] ppid=16365 vsize=27314120 memory=104116 CPUtime=0.1 cores=0-7
/proc/16368/stat : 16368 (java) S 16365 16365 16086 0 -1 1077944320 6117 0 0 0 7 3 0 0 20 0 20 0 512089238 27969658880 26029 33554432000 4194304 4196468 140734446644896 140734446627440 140475320983287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
/proc/16368/statm: 6828530 26029 2806 1 0 6790935 0
[pid=16368/tid=16369] ppid=16365 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/16368/task/16369/stat : 16369 (java) R 16365 16365 16086 0 -1 4202560 4217 0 0 0 6 3 0 0 20 0 20 0 512089238 27969658880 26029 33554432000 4194304 4196468 140734446644896 140475292805568 140475305063774 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16370] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16370/stat : 16370 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140475325226128 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16371] ppid=16365 vsize=27314120 memory=139798146801142 CPUtime=0 cores=0-7
/proc/16368/task/16371/stat : 16371 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474743163920 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16372] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16372/stat : 16372 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474742111120 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16373] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16373/stat : 16373 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474741058320 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16374] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16374/stat : 16374 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474740005520 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16375] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16375/stat : 16375 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474738952720 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16376] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16376/stat : 16376 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474737899920 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16377] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16377/stat : 16377 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474736847120 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16378] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16378/stat : 16378 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089242 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474694028144 140475320994434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16379] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16379/stat : 16379 (java) S 16365 16365 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512089243 27969658880 26029 33554432000 4194304 4196468 140734446644896 140473146533408 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16380] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16380/stat : 16380 (java) S 16365 16365 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512089243 27969658880 26029 33554432000 4194304 4196468 140734446644896 140473012311408 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16381] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16381/stat : 16381 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 26029 33554432000 4194304 4196468 140734446644896 140472637806928 140475321001883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16382] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16382/stat : 16382 (java) S 16365 16365 16086 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474692974960 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16383] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16383/stat : 16383 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474691922160 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16384] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16384/stat : 16384 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474375465072 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16385] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16385/stat : 16385 (java) S 16365 16365 16086 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474374412272 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16386] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16386/stat : 16386 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089246 27969658880 26029 33554432000 4194304 4196468 140734446644896 140472139902048 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16387] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16387/stat : 16387 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089246 27969658880 26029 33554432000 4194304 4196468 140734446644896 140474373360688 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105508 KiB

[startup+0.210255 s]*
/proc/loadavg: 8.11 8.14 8.23 2/211 16387
/proc/meminfo: memFree=25434468/32770624 swapFree=67002572/67108860
[pid=16365] ppid=16362 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16365/stat : 16365 (scop.sh) S 16362 16365 16086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512089238 115843072 348 33554432000 4194304 5098028 140734780898192 140734780895448 139780935897724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22147072 140734780900132 140734780900460 140734780900460 140734780903373 0
/proc/16365/statm: 28282 348 296 221 0 87 0
[pid=16368] ppid=16365 vsize=27314120 memory=121016 CPUtime=0.24 cores=0-7
/proc/16368/stat : 16368 (java) S 16365 16365 16086 0 -1 1077944320 11131 0 0 0 19 5 0 0 20 0 20 0 512089238 27969658880 30254 33554432000 4194304 4196468 140734446644896 140734446627440 140475320983287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
/proc/16368/statm: 6828530 30254 2919 1 0 6790935 0
[pid=16368/tid=16369] ppid=16365 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/16368/task/16369/stat : 16369 (java) R 16365 16365 16086 0 -1 4202560 8826 0 0 0 15 4 0 0 20 0 20 0 512089238 27969658880 30254 33554432000 4194304 4196468 140734446644896 140475292782672 140475306148840 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16370] ppid=16365 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/16368/task/16370/stat : 16370 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140475325226128 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16371] ppid=16365 vsize=27314120 memory=4122966682642396832 CPUtime=0 cores=0-7
/proc/16368/task/16371/stat : 16371 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474743163920 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16372] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16372/stat : 16372 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474742111120 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16373] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16373/stat : 16373 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474741058320 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16374] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16374/stat : 16374 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474740005520 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16375] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16375/stat : 16375 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474738952720 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16376] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16376/stat : 16376 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474737899920 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16377] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16377/stat : 16377 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474736847120 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16378] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16378/stat : 16378 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089242 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474694028144 140475320994434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16379] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16379/stat : 16379 (java) S 16365 16365 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512089243 27969658880 30254 33554432000 4194304 4196468 140734446644896 140473146533408 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16380] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16380/stat : 16380 (java) S 16365 16365 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512089243 27969658880 30254 33554432000 4194304 4196468 140734446644896 140473012311408 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16381] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16381/stat : 16381 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 30254 33554432000 4194304 4196468 140734446644896 140472637806928 140475321001883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16382] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16382/stat : 16382 (java) S 16365 16365 16086 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474692974960 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16383] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16383/stat : 16383 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474691922160 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16384] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16384/stat : 16384 (java) S 16365 16365 16086 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474375465072 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16385] ppid=16365 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16368/task/16385/stat : 16385 (java) S 16365 16365 16086 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 512089245 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474374412272 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16386] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16386/stat : 16386 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089246 27969658880 30254 33554432000 4194304 4196468 140734446644896 140472139902048 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16387] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16387/stat : 16387 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089246 27969658880 30254 33554432000 4194304 4196468 140734446644896 140474373360688 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122408 KiB

[startup+0.309362 s]*
/proc/loadavg: 8.11 8.14 8.23 2/211 16387
/proc/meminfo: memFree=25431160/32770624 swapFree=67002572/67108860
[pid=16365] ppid=16362 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16365/stat : 16365 (scop.sh) S 16362 16365 16086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512089238 115843072 348 33554432000 4194304 5098028 140734780898192 140734780895448 139780935897724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22147072 140734780900132 140734780900460 140734780900460 140734780903373 0
/proc/16365/statm: 28282 348 296 221 0 87 0
[pid=16368] ppid=16365 vsize=27314120 memory=125120 CPUtime=0.42 cores=0-7
/proc/16368/stat : 16368 (java) S 16365 16365 16086 0 -1 1077944320 12263 0 0 0 36 6 0 0 20 0 20 0 512089238 27969658880 31280 33554432000 4194304 4196468 140734446644896 140734446627440 140475320983287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
/proc/16368/statm: 6828530 31280 2977 1 0 6790935 0
[pid=16368/tid=16369] ppid=16365 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16368/task/16369/stat : 16369 (java) R 16365 16365 16086 0 -1 4202560 9764 0 0 0 24 5 0 0 20 0 20 0 512089238 27969658880 31280 33554432000 4194304 4196468 140734446644896 140475292777960 140475302377018 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16370] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16370/stat : 16370 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140475325226128 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16371] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16371/stat : 16371 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474743163920 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16372] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16372/stat : 16372 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474742111120 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16373] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16373/stat : 16373 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474741058320 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16374] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16374/stat : 16374 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474740005520 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16375] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16375/stat : 16375 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474738952720 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16376] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16376/stat : 16376 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474737899920 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16377] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16377/stat : 16377 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474736847120 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16378] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16378/stat : 16378 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089242 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474694028144 140475320994434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16379] ppid=16365 vsize=27314120 memory=279596062940544 CPUtime=0 cores=0-7
/proc/16368/task/16379/stat : 16379 (java) S 16365 16365 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512089243 27969658880 31280 33554432000 4194304 4196468 140734446644896 140473146533408 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16380] ppid=16365 vsize=27314120 memory=279596062945152 CPUtime=0 cores=0-7
/proc/16368/task/16380/stat : 16380 (java) S 16365 16365 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512089243 27969658880 31280 33554432000 4194304 4196468 140734446644896 140473012311408 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16381] ppid=16365 vsize=27314120 memory=279596062949760 CPUtime=0 cores=0-7
/proc/16368/task/16381/stat : 16381 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 31280 33554432000 4194304 4196468 140734446644896 140472637806928 140475321001883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16382] ppid=16365 vsize=27314120 memory=279596062954368 CPUtime=0.01 cores=0-7
/proc/16368/task/16382/stat : 16382 (java) R 16365 16365 16086 0 -1 4202560 514 0 0 0 1 0 0 0 20 0 20 0 512089245 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474692974960 140475320983952 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16383] ppid=16365 vsize=27314120 memory=279596062958976 CPUtime=0.01 cores=0-7
/proc/16368/task/16383/stat : 16383 (java) S 16365 16365 16086 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 512089245 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474691922160 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16384] ppid=16365 vsize=27314120 memory=279596062963584 CPUtime=0 cores=0-7
/proc/16368/task/16384/stat : 16384 (java) S 16365 16365 16086 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 512089245 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474375465072 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16385] ppid=16365 vsize=27314120 memory=279596062968192 CPUtime=0.07 cores=0-7
/proc/16368/task/16385/stat : 16385 (java) S 16365 16365 16086 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 20 0 512089245 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474374412272 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16386] ppid=16365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16386/stat : 16386 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512089246 27969658880 31280 33554432000 4194304 4196468 140734446644896 140472139902048 140475320993493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16387] ppid=16365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16368/task/16387/stat : 16387 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089246 27969658880 31280 33554432000 4194304 4196468 140734446644896 140474373360688 140475320994434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126512 KiB

[startup+0.700918 s]
/proc/loadavg: 8.11 8.14 8.23 2/211 16387
/proc/meminfo: memFree=25408064/32770624 swapFree=67002572/67108860
[pid=16365] ppid=16362 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16365/stat : 16365 (scop.sh) S 16362 16365 16086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512089238 115843072 348 33554432000 4194304 5098028 140734780898192 140734780895448 139780935897724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22147072 140734780900132 140734780900460 140734780900460 140734780903373 0
/proc/16365/statm: 28282 348 296 221 0 87 0
[pid=16368] ppid=16365 vsize=27322516 memory=163864 CPUtime=1 cores=0-7
/proc/16368/stat : 16368 (java) S 16365 16365 16086 0 -1 1077944320 20148 0 0 0 92 8 0 0 20 0 20 0 512089238 27978256384 40966 33554432000 4194304 4196468 140734446644896 140734446627440 140475320983287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
/proc/16368/statm: 6830629 40966 3201 1 0 6791959 0
[pid=16368/tid=16369] ppid=16365 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/16368/task/16369/stat : 16369 (java) R 16365 16365 16086 0 -1 4202560 17031 0 0 0 61 7 0 0 20 0 20 0 512089238 27978256384 40966 33554432000 4194304 4196468 140734446644896 140475292813488 140475305063774 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16370] ppid=16365 vsize=27322516 memory=139798031672192 CPUtime=0 cores=0-7
/proc/16368/task/16370/stat : 16370 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27978256384 40966 33554432000 4194304 4196468 140734446644896 140475325226128 140475320993493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16371] ppid=16365 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/16368/task/16371/stat : 16371 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512089241 27978256384 40966 33554432000 4194304 4196468 140734446644896 140474743163920 140475320993493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0
[pid=16368/tid=16372] ppid=16365 vsize=27322516 memory=1052 CPUtime=0 cores=0-7
/proc/16368/task/16372/stat : 16372 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512089241 27978256384 40966 33554432000 4194304 4196468 140734446644896 140474742111120 140475320993493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140734446650090 140734446650518 140734446650518 140734446653391 0

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

[pid=16388/tid=16389] ppid=16365 vsize=8414124 memory=1398722017469774279 CPUtime=0.8 cores=0-7
/proc/16388/task/16389/stat : 16389 (java) S 16365 16365 16086 0 -1 1077944384 16915 0 0 0 74 6 0 0 20 0 24 0 512090366 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189837606816 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16390] ppid=16365 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/16388/task/16390/stat : 16390 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189870008976 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16391] ppid=16365 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/16388/task/16391/stat : 16391 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189684165136 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16392] ppid=16365 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/16388/task/16392/stat : 16392 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189683112336 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16393] ppid=16365 vsize=8414124 memory=6168 CPUtime=0 cores=0-7
/proc/16388/task/16393/stat : 16393 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189682059536 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16394] ppid=16365 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/16388/task/16394/stat : 16394 (java) S 16365 16365 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189681007760 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16395] ppid=16365 vsize=8414124 memory=33044 CPUtime=0 cores=0-7
/proc/16388/task/16395/stat : 16395 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189679954960 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16396] ppid=16365 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/16388/task/16396/stat : 16396 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189345938320 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16397] ppid=16365 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/16388/task/16397/stat : 16397 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512090367 8616062976 30880 33554432000 4194304 4196468 140735468217648 140189344885520 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16398] ppid=16365 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/16388/task/16398/stat : 16398 (java) S 16365 16365 16086 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512090369 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188959197552 140189865777794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16399] ppid=16365 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/16388/task/16399/stat : 16399 (java) S 16365 16365 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512090369 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188470731808 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16400] ppid=16365 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16388/task/16400/stat : 16400 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512090370 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188202296176 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16401] ppid=16365 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/16388/task/16401/stat : 16401 (java) S 16365 16365 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512090372 8616062976 30880 33554432000 4194304 4196468 140735468217648 140187827787600 140189865785243 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16402] ppid=16365 vsize=8414124 memory=912 CPUtime=0.13 cores=0-7
/proc/16388/task/16402/stat : 16402 (java) S 16365 16365 16086 0 -1 1077944384 618 0 0 0 13 0 0 0 20 0 24 0 512090372 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188958145392 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16403] ppid=16365 vsize=8414124 memory=1448 CPUtime=0.09 cores=0-7
/proc/16388/task/16403/stat : 16403 (java) S 16365 16365 16086 0 -1 1077944384 434 0 0 0 9 0 0 0 20 0 24 0 512090372 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188957092592 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16404] ppid=16365 vsize=8414124 memory=1964 CPUtime=0.12 cores=0-7
/proc/16388/task/16404/stat : 16404 (java) S 16365 16365 16086 0 -1 1077944384 695 0 0 0 12 0 0 0 20 0 24 0 512090372 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188956039792 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16405] ppid=16365 vsize=8414124 memory=442968 CPUtime=0.22 cores=0-7
/proc/16388/task/16405/stat : 16405 (java) S 16365 16365 16086 0 -1 1077944384 748 0 0 0 22 0 0 0 20 0 24 0 512090372 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188954986992 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16406] ppid=16365 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16388/task/16406/stat : 16406 (java) S 16365 16365 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512090372 8616062976 30880 33554432000 4194304 4196468 140735468217648 140187329882720 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16407] ppid=16365 vsize=8414124 memory=1692 CPUtime=0.03 cores=0-7
/proc/16388/task/16407/stat : 16407 (java) S 16365 16365 16086 0 -1 1077944384 7 0 0 0 3 0 0 0 20 0 24 0 512090373 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188953934384 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16409] ppid=16365 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16388/task/16409/stat : 16409 (java) S 16365 16365 16086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512090443 8616062976 30880 33554432000 4194304 4196468 140735468217648 140188945900608 140189865791257 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16411] ppid=16365 vsize=8414124 memory=123520 CPUtime=0 cores=0-7
/proc/16388/task/16411/stat : 16411 (java) S 16365 16365 16086 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512090444 8616062976 30880 33554432000 4194304 4196468 140735468217648 140186658783376 140189865788573 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16412] ppid=16365 vsize=8414124 memory=442700 CPUtime=0 cores=0-7
/proc/16388/task/16412/stat : 16412 (java) S 16365 16365 16086 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512090444 8616062976 30880 33554432000 4194304 4196468 140735468217648 140186927218704 140189865788573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16413] ppid=16365 vsize=8414124 memory=2456 CPUtime=0 cores=0-7
/proc/16388/task/16413/stat : 16413 (java) S 16365 16365 16086 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512090446 8616062976 30880 33554432000 4194304 4196468 140735468217648 140186390355504 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
Current children cumulated CPU time: 489.42 s
Current children cumulated vsize: 9326128 KiB
Current children cumulated memory: 568652 KiB

[startup+74.4011 s]
/proc/loadavg: 7.75 7.91 8.13 2/217 16426
/proc/meminfo: memFree=24985080/32770624 swapFree=67002572/67108860
[pid=16365] ppid=16362 vsize=113128 memory=1472 CPUtime=21.31 cores=0-7
/proc/16365/stat : 16365 (scop.sh) S 16362 16365 16086 0 -1 4202496 582 36389 0 0 0 0 2051 80 20 0 1 0 512089238 115843072 368 33554432000 4194304 5098028 140734780898192 140734780894936 139780935897724 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140734780900132 140734780900460 140734780900460 140734780903373 0
/proc/16365/statm: 28282 368 311 221 0 87 0
[pid=16388] ppid=16365 vsize=8283048 memory=141256 CPUtime=468.69 cores=0-7
/proc/16388/stat : 16388 (java) S 16365 16365 16086 0 -1 1077944320 23747 422505 0 0 163 11 46612 83 20 0 22 0 512090366 8481841152 35314 33554432000 4194304 4196468 140735468217648 140735468200192 140189865766647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
/proc/16388/statm: 2070762 35314 3231 1 0 2032106 0
[pid=16388/tid=16389] ppid=16365 vsize=8283048 memory=439768 CPUtime=467.78 cores=0-7
/proc/16388/task/16389/stat : 16389 (java) R 16365 16365 16086 0 -1 4202560 17075 422505 0 0 77 6 46612 83 20 0 22 0 512090366 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189837602576 140189849139822 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16390] ppid=16365 vsize=8283048 memory=984 CPUtime=466.95 cores=0-7
/proc/16388/task/16390/stat : 16390 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189870008976 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16391] ppid=16365 vsize=8283048 memory=1940 CPUtime=466.95 cores=0-7
/proc/16388/task/16391/stat : 16391 (java) S 16365 16365 16086 0 -1 1077944384 2 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189684165136 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16392] ppid=16365 vsize=8283048 memory=1416 CPUtime=466.95 cores=0-7
/proc/16388/task/16392/stat : 16392 (java) S 16365 16365 16086 0 -1 1077944384 2 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189683112336 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16393] ppid=16365 vsize=8283048 memory=1556 CPUtime=466.95 cores=0-7
/proc/16388/task/16393/stat : 16393 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189682059536 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16394] ppid=16365 vsize=8283048 memory=740 CPUtime=466.95 cores=0-7
/proc/16388/task/16394/stat : 16394 (java) S 16365 16365 16086 0 -1 1077944384 2 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189681007760 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16395] ppid=16365 vsize=8283048 memory=1052 CPUtime=466.95 cores=0-7
/proc/16388/task/16395/stat : 16395 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189679954960 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16396] ppid=16365 vsize=8283048 memory=7548 CPUtime=466.95 cores=0-7
/proc/16388/task/16396/stat : 16396 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189345938320 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16397] ppid=16365 vsize=8283048 memory=3620 CPUtime=466.95 cores=0-7
/proc/16388/task/16397/stat : 16397 (java) S 16365 16365 16086 0 -1 1077944384 3 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 35314 33554432000 4194304 4196468 140735468217648 140189344885520 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16398] ppid=16365 vsize=8283048 memory=1472 CPUtime=466.95 cores=0-7
/proc/16388/task/16398/stat : 16398 (java) S 16365 16365 16086 0 -1 1077944384 8 422505 0 0 0 0 46612 83 20 0 22 0 512090369 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188959197552 140189865777794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16399] ppid=16365 vsize=8283048 memory=122740 CPUtime=466.95 cores=0-7
/proc/16388/task/16399/stat : 16399 (java) S 16365 16365 16086 0 -1 1077944384 13 422505 0 0 0 0 46612 83 20 0 22 0 512090369 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188470731808 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16400] ppid=16365 vsize=8283048 memory=428976 CPUtime=466.95 cores=0-7
/proc/16388/task/16400/stat : 16400 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090370 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188202296176 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16401] ppid=16365 vsize=8283048 memory=0 CPUtime=466.95 cores=0-7
/proc/16388/task/16401/stat : 16401 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090372 8481841152 35314 33554432000 4194304 4196468 140735468217648 140187827787600 140189865785243 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16402] ppid=16365 vsize=8283048 memory=3620 CPUtime=467.1 cores=0-7
/proc/16388/task/16402/stat : 16402 (java) S 16365 16365 16086 0 -1 1077944384 629 422505 0 0 15 0 46612 83 20 0 22 0 512090372 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188958145392 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16403] ppid=16365 vsize=8283048 memory=2832 CPUtime=467.07 cores=0-7
/proc/16388/task/16403/stat : 16403 (java) S 16365 16365 16086 0 -1 1077944384 459 422505 0 0 12 0 46612 83 20 0 22 0 512090372 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188957092592 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16404] ppid=16365 vsize=8283048 memory=776 CPUtime=467.11 cores=0-7
/proc/16388/task/16404/stat : 16404 (java) R 16365 16365 16086 0 -1 4202560 914 422505 0 0 16 0 46612 83 20 0 22 0 512090372 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188956039792 140189865787994 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16405] ppid=16365 vsize=8283048 memory=1472 CPUtime=467.23 cores=0-7
/proc/16388/task/16405/stat : 16405 (java) S 16365 16365 16086 0 -1 1077944384 1041 422505 0 0 28 0 46612 83 20 0 22 0 512090372 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188954986992 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16406] ppid=16365 vsize=8283048 memory=1472 CPUtime=466.95 cores=0-7
/proc/16388/task/16406/stat : 16406 (java) S 16365 16365 16086 0 -1 1077944384 3 422505 0 0 0 0 46612 83 20 0 22 0 512090372 8481841152 35314 33554432000 4194304 4196468 140735468217648 140187329882720 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16407] ppid=16365 vsize=8283048 memory=123520 CPUtime=466.98 cores=0-7
/proc/16388/task/16407/stat : 16407 (java) S 16365 16365 16086 0 -1 1077944384 7 422505 0 0 3 0 46612 83 20 0 22 0 512090373 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188953934384 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16409] ppid=16365 vsize=8283048 memory=442968 CPUtime=466.95 cores=0-7
/proc/16388/task/16409/stat : 16409 (java) S 16365 16365 16086 0 -1 1077944384 24 422505 0 0 0 0 46612 83 20 0 22 0 512090443 8481841152 35314 33554432000 4194304 4196468 140735468217648 140188945899792 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16413] ppid=16365 vsize=8283048 memory=1556 CPUtime=466.95 cores=0-7
/proc/16388/task/16413/stat : 16413 (java) S 16365 16365 16086 0 -1 1077944384 15 422505 0 0 0 0 46612 83 20 0 22 0 512090446 8481841152 35314 33554432000 4194304 4196468 140735468217648 140186390357296 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
Current children cumulated CPU time: 490 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142728 KiB

[startup+74.501 s]
/proc/loadavg: 7.75 7.91 8.13 2/217 16426
/proc/meminfo: memFree=24985080/32770624 swapFree=67002572/67108860
[pid=16365] ppid=16362 vsize=113128 memory=1472 CPUtime=21.31 cores=0-7
/proc/16365/stat : 16365 (scop.sh) S 16362 16365 16086 0 -1 4202496 582 36389 0 0 0 0 2051 80 20 0 1 0 512089238 115843072 368 33554432000 4194304 5098028 140734780898192 140734780894936 139780935897724 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140734780900132 140734780900460 140734780900460 140734780903373 0
/proc/16365/statm: 28282 368 311 221 0 87 0
[pid=16388] ppid=16365 vsize=8283048 memory=144756 CPUtime=468.9 cores=0-7
/proc/16388/stat : 16388 (java) S 16365 16365 16086 0 -1 1077944320 24095 422505 0 0 183 12 46612 83 20 0 22 0 512090366 8481841152 36189 33554432000 4194304 4196468 140735468217648 140735468200192 140189865766647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
/proc/16388/statm: 2070762 36189 3234 1 0 2032106 0
[pid=16388/tid=16389] ppid=16365 vsize=8283048 memory=127120 CPUtime=467.88 cores=0-7
/proc/16388/task/16389/stat : 16389 (java) R 16365 16365 16086 0 -1 4202560 17205 422505 0 0 87 6 46612 83 20 0 22 0 512090366 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189837604016 140189360962936 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16390] ppid=16365 vsize=8283048 memory=1472 CPUtime=466.95 cores=0-7
/proc/16388/task/16390/stat : 16390 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189870008976 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16391] ppid=16365 vsize=8283048 memory=442484 CPUtime=466.95 cores=0-7
/proc/16388/task/16391/stat : 16391 (java) S 16365 16365 16086 0 -1 1077944384 2 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189684165136 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16392] ppid=16365 vsize=8283048 memory=122740 CPUtime=466.95 cores=0-7
/proc/16388/task/16392/stat : 16392 (java) S 16365 16365 16086 0 -1 1077944384 2 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189683112336 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16393] ppid=16365 vsize=8283048 memory=1804 CPUtime=466.95 cores=0-7
/proc/16388/task/16393/stat : 16393 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189682059536 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16394] ppid=16365 vsize=8283048 memory=916 CPUtime=466.95 cores=0-7
/proc/16388/task/16394/stat : 16394 (java) S 16365 16365 16086 0 -1 1077944384 2 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189681007760 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16395] ppid=16365 vsize=8283048 memory=442704 CPUtime=466.95 cores=0-7
/proc/16388/task/16395/stat : 16395 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189679954960 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16396] ppid=16365 vsize=8283048 memory=122740 CPUtime=466.95 cores=0-7
/proc/16388/task/16396/stat : 16396 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189345938320 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16397] ppid=16365 vsize=8283048 memory=279596063776240 CPUtime=466.95 cores=0-7
/proc/16388/task/16397/stat : 16397 (java) S 16365 16365 16086 0 -1 1077944384 3 422505 0 0 0 0 46612 83 20 0 22 0 512090367 8481841152 36189 33554432000 4194304 4196468 140735468217648 140189344885520 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16398] ppid=16365 vsize=8283048 memory=8292088525465231505 CPUtime=466.95 cores=0-7
/proc/16388/task/16398/stat : 16398 (java) S 16365 16365 16086 0 -1 1077944384 8 422505 0 0 0 0 46612 83 20 0 22 0 512090369 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188959197552 140189865777794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16399] ppid=16365 vsize=8283048 memory=-7666927002479064256 CPUtime=466.95 cores=0-7
/proc/16388/task/16399/stat : 16399 (java) S 16365 16365 16086 0 -1 1077944384 13 422505 0 0 0 0 46612 83 20 0 22 0 512090369 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188470731808 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16400] ppid=16365 vsize=8283048 memory=164 CPUtime=466.95 cores=0-7
/proc/16388/task/16400/stat : 16400 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090370 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188202296176 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16401] ppid=16365 vsize=8283048 memory=7230111663789681047 CPUtime=466.95 cores=0-7
/proc/16388/task/16401/stat : 16401 (java) S 16365 16365 16086 0 -1 1077944384 1 422505 0 0 0 0 46612 83 20 0 22 0 512090372 8481841152 36189 33554432000 4194304 4196468 140735468217648 140187827787600 140189865785243 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16402] ppid=16365 vsize=8283048 memory=7230111663789681047 CPUtime=467.11 cores=0-7
/proc/16388/task/16402/stat : 16402 (java) S 16365 16365 16086 0 -1 1077944384 640 422505 0 0 16 0 46612 83 20 0 22 0 512090372 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188958145392 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16403] ppid=16365 vsize=8283048 memory=139798032138225 CPUtime=467.09 cores=0-7
/proc/16388/task/16403/stat : 16403 (java) S 16365 16365 16086 0 -1 1077944384 476 422505 0 0 14 0 46612 83 20 0 22 0 512090372 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188957092592 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16404] ppid=16365 vsize=8283048 memory=6944656575208382512 CPUtime=467.13 cores=0-7
/proc/16388/task/16404/stat : 16404 (java) S 16365 16365 16086 0 -1 1077944384 925 422505 0 0 18 0 46612 83 20 0 22 0 512090372 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188956039792 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16405] ppid=16365 vsize=8283048 memory=-4695052241013924048 CPUtime=467.3 cores=0-7
/proc/16388/task/16405/stat : 16405 (java) S 16365 16365 16086 0 -1 1077944384 1220 422505 0 0 35 0 46612 83 20 0 22 0 512090372 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188954986992 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16406] ppid=16365 vsize=8283048 memory=1472 CPUtime=466.95 cores=0-7
/proc/16388/task/16406/stat : 16406 (java) S 16365 16365 16086 0 -1 1077944384 3 422505 0 0 0 0 46612 83 20 0 22 0 512090372 8481841152 36189 33554432000 4194304 4196468 140735468217648 140187329882720 140189865776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16407] ppid=16365 vsize=8283048 memory=122740 CPUtime=466.98 cores=0-7
/proc/16388/task/16407/stat : 16407 (java) S 16365 16365 16086 0 -1 1077944384 7 422505 0 0 3 0 46612 83 20 0 22 0 512090373 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188953934384 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16409] ppid=16365 vsize=8283048 memory=439768 CPUtime=466.95 cores=0-7
/proc/16388/task/16409/stat : 16409 (java) S 16365 16365 16086 0 -1 1077944384 24 422505 0 0 0 0 46612 83 20 0 22 0 512090443 8481841152 36189 33554432000 4194304 4196468 140735468217648 140188945899792 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
[pid=16388/tid=16413] ppid=16365 vsize=8283048 memory=1472 CPUtime=466.95 cores=0-7
/proc/16388/task/16413/stat : 16413 (java) S 16365 16365 16086 0 -1 1077944384 15 422505 0 0 0 0 46612 83 20 0 22 0 512090446 8481841152 36189 33554432000 4194304 4196468 140735468217648 140186390357296 140189865777794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8601600 140735468225527 140735468225686 140735468225686 140735468228559 0
Current children cumulated CPU time: 490.21 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146228 KiB

Child status: 0
Real time (s): 74.5954
CPU time (s): 490.469
CPU user time (s): 488.688
CPU system time (s): 1.78159
CPU usage (%): 657.506
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4461896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.688
system time used= 1.78159
maximum resident set size= 4463200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483828
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17376
involuntary context switches= 4887


# summary of solver processes directly reported to runsolver:
#   pid: 16365
#   total CPU time (s): 490.469
#   total CPU user time (s): 488.688
#   total CPU system time (s): 1.78159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.686694 second user time and 1.04792 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 23:07:20
IDJOB=4405596
IDBENCH=138967
IDSOLVER=2868
FILE ID=node148/4405596-1569359277
RUNJOBID= node148-1569358820-16113
PBS_JOBID= 21705115
Free space on /tmp= 22084 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-01.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405596-1569359277/watcher-4405596-1569359277 -o /tmp/evaluation-result-4405596-1569359277/solver-4405596-1569359277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569358820-16113 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405596-1569359277.xml

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

MD5SUM BENCH= debd4f53dd650fe0aa41c33fe17bde33
RANDOM SEED=1366022254

node148.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.13
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.13
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.13
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.13
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:        25545740 kB
MemAvailable:   31856776 kB
Buffers:           61428 kB
Cached:          6521928 kB
SwapCached:         3396 kB
Active:          4338008 kB
Inactive:        2250700 kB
Active(anon):       4760 kB
Inactive(anon):    56320 kB
Active(file):    4333248 kB
Inactive(file):  2194380 kB
Unevictable:      111008 kB
Mlocked:          111008 kB
SwapTotal:      67108860 kB
SwapFree:       67002572 kB
Dirty:             20840 kB
Writeback:             0 kB
AnonPages:        204056 kB
Mapped:            57064 kB
Shmem:             47080 kB
Slab:             227284 kB
SReclaimable:     198484 kB
SUnreclaim:        28800 kB
KernelStack:        3712 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22064 MiB
End job on node148 at 2019-09-24 23:08:34