Trace number 4392470

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28540-serial-file.bin HOME/instance-4392470-1568442754.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:31:55 CEST 2019
0.66/0.57	c PID: 28543
0.66/0.57	c IP: 172.20.3.119
0.66/0.57	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.67/1.06	c (0,0) Parsing End
1.67/1.07	c (0,0) CSP: 869 int (0 aux), 31 bool (0 aux), 2 ctr, max domain size 30
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) Constraint Name Generate Begin
1.67/1.08	c (0,0) Ctr:HOME/instance-4392470-1568442754.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.08	c (0,0) Constraint Name Generate End
1.67/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.08	c (0,0) CSP to CSPinCNF Begin
1.92/1.11	c (0,0) translated 1 (10%) constraints
5.75/2.83	c (2,2) translated 2 (20%) constraints
5.75/2.86	c (2,2) ===========================================
5.75/2.86	c (2,2) Order
5.75/2.86	c (2,2) ===========================================
8.04/3.44	c (2,2) translated 2855 (10%) constraints
9.05/3.78	c (3,3) translated 5709 (20%) constraints
9.52/4.11	c (3,3) translated 8564 (30%) constraints
9.80/4.43	c (3,3) translated 11418 (40%) constraints
10.11/4.76	c (4,4) translated 14273 (50%) constraints
10.47/5.05	c (4,4) translated 17127 (60%) constraints
10.79/5.33	c (4,4) translated 19982 (70%) constraints
11.14/5.60	c (5,5) translated 22836 (80%) constraints
11.44/5.91	c (5,5) translated 25691 (90%) constraints
11.65/6.15	c (5,5) translated 28545 (100%) constraints
11.65/6.16	c (5,5) CSP to CSPinCNF End
11.65/6.16	c (5,5) CSP: 869 int (0 aux), 27031 bool (27000 aux), 137070 ctr, max domain size 30
11.65/6.16	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.65/6.16	c (5,5) CSPinCNF Propagation Begin
15.25/8.38	c (7,7) 20656 values, 88712 unsatisfiable literals, and 92199 valid clauses are removed
15.25/8.38	c (7,7) CSPinCNF Propagation End
15.25/8.38	c (7,7) CSP: 868 int (0 aux), 27032 bool (27000 aux), 44871 ctr, max domain size 30
15.25/8.38	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.25/8.39	c (7,7) Simplify CSPinCNF Begin
16.29/8.89	c (8,8) Simplify CSPinCNF End
16.39/8.90	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
16.39/8.90	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.39/8.90	c (8,8) Calculate Precise Domain Begin
16.39/8.90	c (8,8) 0 values are removed by re-calculation
16.39/8.90	c (8,8) Calculate Precise Domain End
16.39/8.91	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
16.39/8.91	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.39/8.91	c (8,8) CSPinCNF to SatSolver Begin
18.19/9.43	c (8,8) 7049 (10 %) CSP clauses are encoded (0 SAT variables, 28264 SAT clauses)
18.44/9.58	c (9,9) 14098 (20 %) CSP clauses are encoded (0 SAT variables, 48481 SAT clauses)
18.71/9.73	c (9,9) 21147 (30 %) CSP clauses are encoded (0 SAT variables, 70396 SAT clauses)
18.81/9.87	c (9,9) 28196 (40 %) CSP clauses are encoded (0 SAT variables, 91017 SAT clauses)
19.03/10.01	c (9,9) 35245 (50 %) CSP clauses are encoded (0 SAT variables, 112442 SAT clauses)
19.13/10.15	c (9,9) 42294 (60 %) CSP clauses are encoded (0 SAT variables, 134371 SAT clauses)
19.22/10.30	c (9,9) 49343 (70 %) CSP clauses are encoded (0 SAT variables, 157268 SAT clauses)
19.47/10.43	c (9,9) 56392 (80 %) CSP clauses are encoded (0 SAT variables, 178513 SAT clauses)
19.57/10.56	c (10,10) 63441 (90 %) CSP clauses are encoded (0 SAT variables, 198042 SAT clauses)
19.67/10.70	c (10,10) 70489 (100 %) CSP clauses are encoded (0 SAT variables, 219580 SAT clauses)
19.67/10.70	c (10,10) CSPinCNF to SatSolver End
19.67/10.70	c (10,10) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.67/10.70	c (10,10) 41617 bool, 219581 clause
19.67/10.70	c (10,10) Export Begin
19.98/10.83	c (10,10) Export to HOME/scop-28540-serial-file.bin
19.98/10.83	c (10,10) Export End
19.98/10.83	c (10,10) Export File Size: 0.15 MB
19.98/10.83	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
19.98/10.83	c END-Prog: Sat Sep 14 08:32:05 CEST 2019
19.98/10.87	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28540-serial-file.bin
20.73/11.33	c (0,0) Read Serial File Begin
20.73/11.33	c (0,0) HOME/scop-28540-serial-file.bin
21.00/11.59	c (0,0) Read Serial File End
21.33/11.60	
21.33/11.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.33/11.60	(Solving Process)
21.33/11.60	
21.33/11.62	c BEGIN-Prog: Sat Sep 14 08:32:06 CEST 2019
21.33/11.62	c PID: 28566
21.33/11.62	c IP: 172.20.3.119
21.33/11.62	c HOST: node119.alineos.net
21.33/11.63	c (0,0) SatSolver.solve Begin
21.33/11.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392470-1568442754.xml-scop-28543.cnf
21.33/11.65	c (0,0) c
21.33/11.65	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.33/11.65	c (0,0) c
21.33/11.65	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.33/11.65	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.33/11.65	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.33/11.66	c (0,0) c |                                                                                                       |
21.56/11.74	c (0,0) c |  Number of variables:         41617                                                                   |
21.56/11.74	c (0,0) c |  Number of clauses:          219581                                                                   |
21.56/11.74	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.56/11.74	c (0,0) c |                                                                                                       |
21.56/11.96	c (0,0) c |  Simplification time:          0.22 s                                                                 |
21.56/11.96	c (0,0) c |                                                                                                       |
21.56/11.96	c (0,0) c |  Generating clones                                                                                    |
22.01/12.11	c (0,0) c |  all clones generated. Memory =   206.18Mb.                                                           |
22.01/12.11	c (0,0) c ========================================================================================================|
22.01/12.11	c (0,0) c
22.01/12.11	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.01/12.11	c (0,0) c
22.01/12.11	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.01/12.11	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.01/12.11	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.01/12.11	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.01/12.11	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.01/12.11	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.01/12.11	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.01/12.11	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.01/12.11	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.01/12.11	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.01/12.11	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.01/12.11	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.01/12.11	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.01/12.11	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.01/12.11	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.01/12.11	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.01/12.11	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.01/12.11	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.01/12.11	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
255.22/41.40	c (30,0) c
255.22/41.40	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
255.22/41.40	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
255.22/41.40	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
255.22/41.40	c (30,0) c |  0 |    511 |     259987 |      33955 |    59316 |    17588 |     6639 |    42982 |     3104 |      141 |  20 |  5.882 |
255.22/41.40	c (30,0) c |  1 |    553 |     274924 |      36115 |    60221 |     9934 |     6949 |    44653 |     3474 |      150 |  20 |  5.885 |
255.22/41.40	c (30,0) c |  2 |    510 |     263681 |      34297 |    59736 |    17918 |     6689 |    42960 |     3144 |      142 |  20 |  5.882 |
255.22/41.40	c (30,0) c |  3 |    514 |     272071 |      34939 |    60183 |    18556 |     6699 |    44124 |     3357 |      146 |  20 |  5.882 |
255.22/41.40	c (30,0) c |  4 |    538 |     270242 |      35982 |    60168 |    19593 |     7040 |    44448 |     3400 |      150 |  20 |  5.889 |
255.22/41.40	c (30,0) c |  5 |    503 |     269946 |      35447 |    60218 |    19060 |     6856 |    44143 |     3324 |      147 |  20 |  5.882 |
255.22/41.40	c (30,0) c |  6 |    538 |     269234 |      35610 |    60123 |    19234 |     6771 |    44180 |     3340 |      147 |  20 |  5.885 |
255.22/41.40	c (30,0) c |  7 |    541 |     281020 |      35806 |    60157 |    19431 |     6933 |    44470 |     3360 |      149 |  20 |  5.885 |
255.22/41.40	c (30,0) c 
255.22/41.40	c (30,0) c synthesis      282151 conflicts   337877289 propagations     1210 conflicts/sec  1448881 propagations/sec
255.22/41.40	c (30,0) c real: 29.7478 s, cpu: 233.199 s, memory: 777.11 Mb
485.78/70.40	c (59,0) c
485.78/70.40	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
485.78/70.40	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
485.78/70.40	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
485.78/70.40	c (59,0) c |  0 |    863 |     343905 |      62443 |    69848 |    23855 |    10510 |    69729 |     6054 |      284 |  20 |  5.937 |
485.78/70.40	c (59,0) c |  1 |    944 |     361794 |      66301 |    70731 |    27715 |    10851 |    72850 |     6666 |      304 |  20 |  5.937 |
485.78/70.40	c (59,0) c |  2 |    941 |     359205 |      63281 |    70205 |    24694 |    10541 |    70672 |     6225 |      289 |  20 |  5.937 |
485.78/70.40	c (59,0) c |  3 |    942 |     366958 |      64711 |    70759 |    26119 |    10568 |    72258 |     6512 |      298 |  20 |  5.937 |
485.78/70.40	c (59,0) c |  4 |    952 |     361439 |      66489 |    70551 |    27895 |    10989 |    72726 |     6626 |      304 |  20 |  5.937 |
485.78/70.40	c (59,0) c |  5 |    914 |     361570 |      65067 |    70763 |    26473 |    10712 |    72109 |     6445 |      298 |  20 |  5.940 |
485.78/70.40	c (59,0) c |  6 |    959 |     364586 |      65089 |    70857 |    26493 |    10650 |    71730 |     6473 |      296 |  20 |  5.937 |
485.78/70.40	c (59,0) c |  7 |    958 |     373466 |      66215 |    70669 |    27625 |    10869 |    72844 |     6633 |      303 |  20 |  5.937 |
485.78/70.40	c (59,0) c 
485.78/70.40	c (59,0) c synthesis      519596 conflicts   604753014 propagations     1121 conflicts/sec  1304443 propagations/sec
485.78/70.40	c (59,0) c real: 58.7477 s, cpu: 463.61 s, memory: 777.11 Mb
721.08/100.40	c (89,0) c
721.08/100.40	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
721.08/100.40	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
721.08/100.40	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
721.08/100.40	c (89,0) c |  0 |   1162 |     412700 |      89582 |    76006 |    18386 |    13602 |    91748 |     8887 |      432 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  1 |   1223 |     427639 |      93780 |    76979 |    22587 |    13956 |    94281 |     9342 |      452 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  2 |   1258 |     432622 |      91065 |    76644 |    19875 |    13736 |    92957 |     8983 |      441 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  3 |   1298 |     445192 |      92773 |    76997 |    21579 |    13710 |    94556 |     9374 |      452 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  4 |   1264 |     431634 |      93714 |    76702 |    22519 |    14004 |    94092 |     9350 |      452 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  5 |   1219 |     431442 |      92959 |    76921 |    21764 |    13861 |    94458 |     9220 |      452 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  6 |   1289 |     437856 |      92905 |    76754 |    21706 |    13754 |    93889 |     9196 |      447 |  20 |  5.949 |
721.08/100.40	c (89,0) c |  7 |   1282 |     445309 |      93614 |    76709 |    22416 |    13987 |    94364 |     9228 |      452 |  20 |  5.949 |
721.08/100.40	c (89,0) c 
721.08/100.40	c (89,0) c synthesis      740392 conflicts   856875042 propagations     1060 conflicts/sec  1226199 propagations/sec
721.08/100.40	c (89,0) c real: 88.7477 s, cpu: 698.806 s, memory: 777.11 Mb
948.35/129.40	c (118,0) c
948.35/129.40	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
948.35/129.40	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
948.35/129.40	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
948.35/129.40	c (118,0) c |  0 |   1373 |     466315 |     114624 |    80216 |    23231 |    16017 |   108688 |    11198 |      575 |  20 |  5.954 |
948.35/129.40	c (118,0) c |  1 |   1460 |     482214 |     116429 |    80643 |    25036 |    16111 |   110803 |    11579 |      583 |  20 |  5.957 |
948.35/129.40	c (118,0) c |  2 |   1515 |     493470 |     116635 |    80930 |    25240 |    16307 |   111298 |    11370 |      586 |  20 |  5.957 |
948.35/129.40	c (118,0) c |  3 |   1511 |     498005 |     115378 |    80784 |    23985 |    16131 |   110468 |    11470 |      581 |  20 |  5.957 |
948.35/129.40	c (118,0) c |  4 |   1450 |     481772 |     117940 |    80429 |    26543 |    16377 |   112307 |    11508 |      595 |  20 |  5.957 |
948.35/129.40	c (118,0) c |  5 |   1452 |     488149 |     117919 |    80979 |    26525 |    16392 |   112395 |    11544 |      595 |  20 |  5.957 |
948.35/129.40	c (118,0) c |  6 |   1540 |     500847 |     119181 |    81146 |    27783 |    16505 |   112327 |    11645 |      595 |  20 |  5.957 |
948.35/129.40	c (118,0) c |  7 |   1526 |     505229 |     118705 |    80777 |    27313 |    16503 |   112201 |    11657 |      595 |  20 |  5.957 |
948.35/129.40	c (118,0) c 
948.35/129.40	c (118,0) c synthesis      936811 conflicts  1082831855 propagations     1012 conflicts/sec  1169326 propagations/sec
948.35/129.40	c (118,0) c real: 117.748 s, cpu: 926.031 s, memory: 777.11 Mb
984.22/134.06	c (122,0) c
984.22/134.06	c (122,0) c real time : 122.414 s
984.22/134.06	c (122,0) c cpu time  : 962.054 s
984.22/134.06	c (122,0) c
984.22/134.06	c (122,0) c
984.22/134.06	c (122,0) c
984.22/134.06	c (122,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
984.22/134.06	c (122,0) c
984.22/134.06	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.06	c (122,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
984.22/134.06	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.06	c (122,0) c | Conflicts     |          967285 |     118762 |     119386 |     120952 |     118386 |     122094 |     121886 |     123184 |     122635 |
984.22/134.06	c (122,0) c | Decisions     |         3985618 |     474874 |     489532 |     504615 |     504260 |     490608 |     496473 |     510175 |     515081 |
984.22/134.06	c (122,0) c | Propagations  |      1118684576 |  137311513 |  138144129 |  140175502 |  137303965 |  140459586 |  141175321 |  141538186 |  142576374 |
984.22/134.06	c (122,0) c | ReduceDBs     |              72 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |
984.22/134.06	c (122,0) c | SimpDBs       |             637 |         82 |         79 |         80 |         80 |         80 |         77 |         79 |         80 |
984.22/134.07	c (122,0) c | Restarts      |           12117 |       1408 |       1495 |       1562 |       1536 |       1483 |       1486 |       1575 |       1572 |
984.22/134.07	c (122,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
984.22/134.07	c (122,0) c | PropBinClauses|      3313564858 |  407092978 |  407566907 |  415478385 |  406552428 |  417414700 |  418701151 |  420052679 |  420705630 |
984.22/134.07	c (122,0) c | PropPreBlocker|     16484919432 | 2020936369 | 2025167900 | 2065870888 | 2022178938 | 2081254750 | 2087074655 | 2090664928 | 2091771004 |
984.22/134.07	c (122,0) c | PropNotBlocker|      4320105448 |  528028927 |  532092606 |  541549614 |  528772750 |  546918135 |  548606986 |  545002233 |  549134197 |
984.22/134.07	c (122,0) c | LitFullScans  |     29289546474 | 3592396521 | 3601001942 | 3668787947 | 3588307049 | 3709247831 | 3710047039 | 3709280392 | 3710477753 |
984.22/134.07	c (122,0) c | LitScanFracts |         9503295 |     768474 |     984008 |     436514 |     289954 |    1245788 |    2043454 |    1274475 |    2460628 |
984.22/134.07	c (122,0) c | DecisionLevel0|           22626 |       2715 |       2767 |       2883 |       2838 |       2807 |       2795 |       2929 |       2892 |
984.22/134.07	c (122,0) c | Periods       |            4879 |        598 |        600 |        611 |        598 |        618 |        618 |        618 |        618 |
984.22/134.07	c (122,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
984.22/134.07	c (122,0) c | Avg_Trail     |                 |       9154 |       9122 |       9155 |       9199 |       9129 |       9144 |       9161 |       9143 |
984.22/134.07	c (122,0) c | Avg_DL        |                 |         73 |         75 |         80 |         79 |         74 |         75 |         79 |         78 |
984.22/134.07	c (122,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
984.22/134.07	c (122,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
984.22/134.07	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.07	c (122,0) c | Exported      |          133352 |      16452 |      16389 |      16738 |      16410 |      16835 |      16803 |      16876 |      16849 |
984.22/134.07	c (122,0) c | Imported      |          912641 |     112705 |     112968 |     114228 |     112669 |     114994 |     115093 |     114997 |     114987 |
984.22/134.07	c (122,0) c | Good          |           63649 |       7956 |       7922 |       7927 |       8025 |       7937 |       7949 |       8028 |       7905 |
984.22/134.07	c (122,0) c | Purge         |          848992 |     104749 |     105046 |     106301 |     104644 |     107057 |     107144 |     106969 |     107082 |
984.22/134.07	c (122,0) c | Promoted      |           94635 |      11532 |      11847 |      11740 |      11686 |      11902 |      11910 |      11991 |      12027 |
984.22/134.07	c (122,0) c | Remove_Imp    |          537545 |      66682 |      67208 |      67487 |      67603 |      67385 |      67787 |      66793 |      66600 |
984.22/134.07	c (122,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
984.22/134.07	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.07	c (122,0) c | Unaries       |                 |       1307 |       1272 |       1321 |       1302 |       1324 |       1309 |       1354 |       1320 |
984.22/134.07	c (122,0) c | Binaries      |                 |       1130 |       1163 |       1172 |       1059 |       1162 |       1150 |       1074 |       1196 |
984.22/134.07	c (122,0) c | Glues         |                 |       2332 |       2366 |       2351 |       2218 |       2392 |       2320 |       2255 |       2412 |
984.22/134.07	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.07	c (122,0) c | Orig_Seen     |            49 % |      80792 |      81164 |      81596 |      81204 |      81091 |      81508 |      81751 |      81343 |
984.22/134.07	c (122,0) c | Diff Orig seen|                 |      X     |        372 |        804 |        412 |        299 |        716 |        959 |        551 |
984.22/134.07	c (122,0) c | Hamming       |            12 % |      X     |       5331 |       5339 |       5311 |       5121 |       5129 |       5356 |       5433 |
984.22/134.07	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.07	c (122,0) c | RunningTime   |                 |  121.8 100%|  119.5  98%|  121.9 100%|  121.5 100%|  118.4  97%|  121.1  99%|  121.5 100%|  119.1  98%|
984.22/134.07	c (122,0) c | WaitingTime   |                 |    0.0   0%|    2.3   2%|    0.0   0%|    0.4   0%|    3.4   3%|    0.7   1%|    0.3   0%|    2.7   2%|
984.22/134.07	c (122,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
984.22/134.07	c (122,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%|
984.22/134.07	c (122,0) c | SolvingTime   |                 |  121.9     |  121.9     |  121.9     |  121.9     |  121.9     |  121.9     |  121.9     |  121.9     |
984.22/134.07	c (122,0) c | PropagationTim|                 |  103.7  85%|  105.3  86%|  105.9  87%|  104.5  86%|  105.7  87%|  104.8  86%|  103.7  85%|  105.8  87%|
984.22/134.07	c (122,0) c | AnalysisTime  |                 |   13.7  11%|   11.9  10%|   11.5   9%|   12.7  10%|   11.6  10%|   12.6  10%|   13.6  11%|   11.4   9%|
984.22/134.07	c (122,0) c | ReductionTime |                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
984.22/134.07	c (122,0) c | SimplifyTime  |                 |    0.6   0%|    0.6   1%|    0.6   0%|    0.6   0%|    0.7   1%|    0.6   0%|    0.6   0%|    0.6   1%|
984.22/134.07	c (122,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%|
984.22/134.07	c (122,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%|
984.22/134.07	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.07	c (122,0) c
984.22/134.07	c (122,0) c
984.22/134.07	c (122,0) c Threads : 8
984.22/134.07	c (122,0) c Winner : 0
984.22/134.07	c (122,0) c Conflicts_0 : 118762
984.22/134.07	c (122,0) c Conflicts_1 : 119386
984.22/134.07	c (122,0) c Conflicts_2 : 120952
984.22/134.07	c (122,0) c Conflicts_3 : 118386
984.22/134.07	c (122,0) c Conflicts_4 : 122094
984.22/134.07	c (122,0) c Conflicts_5 : 121886
984.22/134.07	c (122,0) c Conflicts_6 : 123184
984.22/134.07	c (122,0) c Conflicts_7 : 122635
984.22/134.07	c (122,0) c Conflicts_total : 967285
984.22/134.07	c (122,0) c Conflicts_winner : 118762
984.22/134.07	c (122,0) c Decisions_0 : 474874
984.22/134.07	c (122,0) c Decisions_1 : 489532
984.22/134.07	c (122,0) c Decisions_2 : 504615
984.22/134.07	c (122,0) c Decisions_3 : 504260
984.22/134.07	c (122,0) c Decisions_4 : 490608
984.22/134.07	c (122,0) c Decisions_5 : 496473
984.22/134.07	c (122,0) c Decisions_6 : 510175
984.22/134.07	c (122,0) c Decisions_7 : 515081
984.22/134.07	c (122,0) c Decisions_total : 3985618
984.22/134.07	c (122,0) c Decisions_winner : 474874
984.22/134.07	c (122,0) c Propagations_0 : 137311513
984.22/134.07	c (122,0) c Propagations_1 : 138144129
984.22/134.07	c (122,0) c Propagations_2 : 140175502
984.22/134.07	c (122,0) c Propagations_3 : 137303965
984.22/134.07	c (122,0) c Propagations_4 : 140459586
984.22/134.07	c (122,0) c Propagations_5 : 141175321
984.22/134.07	c (122,0) c Propagations_6 : 141538186
984.22/134.07	c (122,0) c Propagations_7 : 142576374
984.22/134.07	c (122,0) c Propagations_total : 1118684576
984.22/134.07	c (122,0) c Propagations_winner : 137311513
984.22/134.07	c (122,0) c ReduceDBs_0 : 9
984.22/134.07	c (122,0) c ReduceDBs_1 : 9
984.22/134.08	c (122,0) c ReduceDBs_2 : 9
984.22/134.08	c (122,0) c ReduceDBs_3 : 9
984.22/134.08	c (122,0) c ReduceDBs_4 : 9
984.22/134.08	c (122,0) c ReduceDBs_5 : 9
984.22/134.08	c (122,0) c ReduceDBs_6 : 9
984.22/134.08	c (122,0) c ReduceDBs_7 : 9
984.22/134.08	c (122,0) c ReduceDBs_total : 72
984.22/134.08	c (122,0) c ReduceDBs_winner : 9
984.22/134.08	c (122,0) c SimpDBs_0 : 82
984.22/134.08	c (122,0) c SimpDBs_1 : 79
984.22/134.08	c (122,0) c SimpDBs_2 : 80
984.22/134.08	c (122,0) c SimpDBs_3 : 80
984.22/134.08	c (122,0) c SimpDBs_4 : 80
984.22/134.08	c (122,0) c SimpDBs_5 : 77
984.22/134.08	c (122,0) c SimpDBs_6 : 79
984.22/134.08	c (122,0) c SimpDBs_7 : 80
984.22/134.08	c (122,0) c SimpDBs_total : 637
984.22/134.08	c (122,0) c SimpDBs_winner : 82
984.22/134.08	c (122,0) c Restarts_0 : 1408
984.22/134.08	c (122,0) c Restarts_1 : 1495
984.22/134.08	c (122,0) c Restarts_2 : 1562
984.22/134.08	c (122,0) c Restarts_3 : 1536
984.22/134.08	c (122,0) c Restarts_4 : 1483
984.22/134.08	c (122,0) c Restarts_5 : 1486
984.22/134.08	c (122,0) c Restarts_6 : 1575
984.22/134.08	c (122,0) c Restarts_7 : 1572
984.22/134.08	c (122,0) c Restarts_total : 12117
984.22/134.08	c (122,0) c Restarts_winner : 1408
984.22/134.08	c (122,0) c ForcedImports_0 : 0
984.22/134.08	c (122,0) c ForcedImports_1 : 0
984.22/134.08	c (122,0) c ForcedImports_2 : 0
984.22/134.08	c (122,0) c ForcedImports_3 : 0
984.22/134.08	c (122,0) c ForcedImports_4 : 0
984.22/134.08	c (122,0) c ForcedImports_5 : 0
984.22/134.08	c (122,0) c ForcedImports_6 : 0
984.22/134.08	c (122,0) c ForcedImports_7 : 0
984.22/134.08	c (122,0) c ForcedImports_total : 0
984.22/134.08	c (122,0) c ForcedImports_winner : 0
984.22/134.08	c (122,0) c PropsBinClauses_0 : 407092978
984.22/134.08	c (122,0) c PropsBinClauses_1 : 407566907
984.22/134.08	c (122,0) c PropsBinClauses_2 : 415478385
984.22/134.08	c (122,0) c PropsBinClauses_3 : 406552428
984.22/134.08	c (122,0) c PropsBinClauses_4 : 417414700
984.22/134.08	c (122,0) c PropsBinClauses_5 : 418701151
984.22/134.08	c (122,0) c PropsBinClauses_6 : 420052679
984.22/134.08	c (122,0) c PropsBinClauses_7 : 420705630
984.22/134.08	c (122,0) c PropsBinClauses_total : 3313564858
984.22/134.08	c (122,0) c PropsBinClauses_winner : 407092978
984.22/134.08	c (122,0) c PropsPreBlocker_0 : 2020936369
984.22/134.08	c (122,0) c PropsPreBlocker_1 : 2025167900
984.22/134.08	c (122,0) c PropsPreBlocker_2 : 2065870888
984.22/134.08	c (122,0) c PropsPreBlocker_3 : 2022178938
984.22/134.08	c (122,0) c PropsPreBlocker_4 : 2081254750
984.22/134.08	c (122,0) c PropsPreBlocker_5 : 2087074655
984.22/134.08	c (122,0) c PropsPreBlocker_6 : 2090664928
984.22/134.08	c (122,0) c PropsPreBlocker_7 : 2091771004
984.22/134.08	c (122,0) c PropsPreBlocker_total : 16484919432
984.22/134.08	c (122,0) c PropsPreBlocker_winner : 2020936369
984.22/134.08	c (122,0) c PropsNotBlocker_0 : 528028927
984.22/134.08	c (122,0) c PropsNotBlocker_1 : 532092606
984.22/134.08	c (122,0) c PropsNotBlocker_2 : 541549614
984.22/134.08	c (122,0) c PropsNotBlocker_3 : 528772750
984.22/134.08	c (122,0) c PropsNotBlocker_4 : 546918135
984.22/134.08	c (122,0) c PropsNotBlocker_5 : 548606986
984.22/134.08	c (122,0) c PropsNotBlocker_6 : 545002233
984.22/134.08	c (122,0) c PropsNotBlocker_7 : 549134197
984.22/134.08	c (122,0) c PropsNotBlocker_total : 4320105448
984.22/134.08	c (122,0) c PropsNotBlocker_winner : 528028927
984.22/134.08	c (122,0) c PropsLitFullScans_0 : 3592396521
984.22/134.08	c (122,0) c PropsLitFullScans_1 : 3601001942
984.22/134.08	c (122,0) c PropsLitFullScans_2 : 3668787947
984.22/134.08	c (122,0) c PropsLitFullScans_3 : 3588307049
984.22/134.08	c (122,0) c PropsLitFullScans_4 : 3709247831
984.22/134.08	c (122,0) c PropsLitFullScans_5 : 3710047039
984.22/134.08	c (122,0) c PropsLitFullScans_6 : 3709280392
984.22/134.08	c (122,0) c PropsLitFullScans_7 : 3710477753
984.22/134.08	c (122,0) c PropsLitFullScans_total : 29289546474
984.22/134.08	c (122,0) c PropsLitFullScans_winner : 3592396521
984.22/134.08	c (122,0) c LitScanFractions_0 : 768474
984.22/134.08	c (122,0) c LitScanFractions_1 : 984008
984.22/134.08	c (122,0) c LitScanFractions_2 : 436514
984.22/134.08	c (122,0) c LitScanFractions_3 : 289954
984.22/134.08	c (122,0) c LitScanFractions_4 : 1245788
984.22/134.08	c (122,0) c LitScanFractions_5 : 2043454
984.22/134.08	c (122,0) c LitScanFractions_6 : 1274475
984.22/134.08	c (122,0) c LitScanFractions_7 : 2460628
984.22/134.08	c (122,0) c LitScanFractions_total : 9503295
984.22/134.08	c (122,0) c LitScanFractions_winner : 768474
984.22/134.08	c (122,0) c DecisionLevel0_0 : 2715
984.22/134.08	c (122,0) c DecisionLevel0_1 : 2767
984.22/134.08	c (122,0) c DecisionLevel0_2 : 2883
984.22/134.08	c (122,0) c DecisionLevel0_3 : 2838
984.22/134.08	c (122,0) c DecisionLevel0_4 : 2807
984.22/134.08	c (122,0) c DecisionLevel0_5 : 2795
984.22/134.08	c (122,0) c DecisionLevel0_6 : 2929
984.22/134.08	c (122,0) c DecisionLevel0_7 : 2892
984.22/134.08	c (122,0) c DecisionLevel0_total : 22626
984.22/134.08	c (122,0) c DecisionLevel0_winner : 2715
984.22/134.08	c (122,0) c Periods_0 : 598
984.22/134.08	c (122,0) c Periods_1 : 600
984.22/134.08	c (122,0) c Periods_2 : 611
984.22/134.08	c (122,0) c Periods_3 : 598
984.22/134.08	c (122,0) c Periods_4 : 618
984.22/134.08	c (122,0) c Periods_5 : 618
984.22/134.08	c (122,0) c Periods_6 : 618
984.22/134.08	c (122,0) c Periods_7 : 618
984.22/134.08	c (122,0) c Periods_total : 4879
984.22/134.08	c (122,0) c Periods_winner : 598
984.22/134.08	c (122,0) c Margin_0 : 20
984.22/134.08	c (122,0) c Margin_1 : 20
984.22/134.08	c (122,0) c Margin_2 : 20
984.22/134.08	c (122,0) c Margin_3 : 20
984.22/134.08	c (122,0) c Margin_4 : 20
984.22/134.08	c (122,0) c Margin_5 : 20
984.22/134.08	c (122,0) c Margin_6 : 20
984.22/134.08	c (122,0) c Margin_7 : 20
984.22/134.08	c (122,0) c Margin_total : 160
984.22/134.08	c (122,0) c Margin_winner : 20
984.22/134.08	c (122,0) c Exported_0 : 16452
984.22/134.08	c (122,0) c Exported_1 : 16389
984.22/134.08	c (122,0) c Exported_2 : 16738
984.22/134.08	c (122,0) c Exported_3 : 16410
984.22/134.08	c (122,0) c Exported_4 : 16835
984.22/134.08	c (122,0) c Exported_5 : 16803
984.22/134.08	c (122,0) c Exported_6 : 16876
984.22/134.08	c (122,0) c Exported_7 : 16849
984.22/134.08	c (122,0) c Exported_total : 133352
984.22/134.08	c (122,0) c Exported_winner : 16452
984.22/134.08	c (122,0) c Imported_0 : 112705
984.22/134.08	c (122,0) c Imported_1 : 112968
984.22/134.09	c (122,0) c Imported_2 : 114228
984.22/134.09	c (122,0) c Imported_3 : 112669
984.22/134.09	c (122,0) c Imported_4 : 114994
984.22/134.09	c (122,0) c Imported_5 : 115093
984.22/134.09	c (122,0) c Imported_6 : 114997
984.22/134.09	c (122,0) c Imported_7 : 114987
984.22/134.09	c (122,0) c Imported_total : 912641
984.22/134.09	c (122,0) c Imported_winner : 112705
984.22/134.09	c (122,0) c Good_0 : 7956
984.22/134.09	c (122,0) c Good_1 : 7922
984.22/134.09	c (122,0) c Good_2 : 7927
984.22/134.09	c (122,0) c Good_3 : 8025
984.22/134.09	c (122,0) c Good_4 : 7937
984.22/134.09	c (122,0) c Good_5 : 7949
984.22/134.09	c (122,0) c Good_6 : 8028
984.22/134.09	c (122,0) c Good_7 : 7905
984.22/134.09	c (122,0) c Good_total : 63649
984.22/134.09	c (122,0) c Good_winner : 7956
984.22/134.09	c (122,0) c Purge_0 : 104749
984.22/134.09	c (122,0) c Purge_1 : 105046
984.22/134.09	c (122,0) c Purge_2 : 106301
984.22/134.09	c (122,0) c Purge_3 : 104644
984.22/134.09	c (122,0) c Purge_4 : 107057
984.22/134.09	c (122,0) c Purge_5 : 107144
984.22/134.09	c (122,0) c Purge_6 : 106969
984.22/134.09	c (122,0) c Purge_7 : 107082
984.22/134.09	c (122,0) c Purge_total : 848992
984.22/134.09	c (122,0) c Purge_winner : 104749
984.22/134.09	c (122,0) c Promoted_0 : 11532
984.22/134.09	c (122,0) c Promoted_1 : 11847
984.22/134.09	c (122,0) c Promoted_2 : 11740
984.22/134.09	c (122,0) c Promoted_3 : 11686
984.22/134.09	c (122,0) c Promoted_4 : 11902
984.22/134.09	c (122,0) c Promoted_5 : 11910
984.22/134.09	c (122,0) c Promoted_6 : 11991
984.22/134.09	c (122,0) c Promoted_7 : 12027
984.22/134.09	c (122,0) c Promoted_total : 94635
984.22/134.09	c (122,0) c Promoted_winner : 11532
984.22/134.09	c (122,0) c Remove_Imp_0 : 66682
984.22/134.09	c (122,0) c Remove_Imp_1 : 67208
984.22/134.09	c (122,0) c Remove_Imp_2 : 67487
984.22/134.09	c (122,0) c Remove_Imp_3 : 67603
984.22/134.09	c (122,0) c Remove_Imp_4 : 67385
984.22/134.09	c (122,0) c Remove_Imp_5 : 67787
984.22/134.09	c (122,0) c Remove_Imp_6 : 66793
984.22/134.09	c (122,0) c Remove_Imp_7 : 66600
984.22/134.09	c (122,0) c Remove_Imp_total : 537545
984.22/134.09	c (122,0) c Remove_Imp_winner : 66682
984.22/134.09	c (122,0) c Blocked_Reuse_0 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_1 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_2 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_3 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_4 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_5 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_6 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_7 : 0
984.22/134.09	c (122,0) c Blocked_Reuse_total : 0
984.22/134.09	c (122,0) c Blocked_Reuse_winner : 0
984.22/134.09	c (122,0) c Unaries_0 : 1307
984.22/134.09	c (122,0) c Unaries_1 : 1272
984.22/134.09	c (122,0) c Unaries_2 : 1321
984.22/134.09	c (122,0) c Unaries_3 : 1302
984.22/134.09	c (122,0) c Unaries_4 : 1324
984.22/134.09	c (122,0) c Unaries_5 : 1309
984.22/134.09	c (122,0) c Unaries_6 : 1354
984.22/134.09	c (122,0) c Unaries_7 : 1320
984.22/134.09	c (122,0) c Unaries_total : 10509
984.22/134.09	c (122,0) c Unaries_winner : 1307
984.22/134.09	c (122,0) c Binaries_0 : 1130
984.22/134.09	c (122,0) c Binaries_1 : 1163
984.22/134.09	c (122,0) c Binaries_2 : 1172
984.22/134.09	c (122,0) c Binaries_3 : 1059
984.22/134.09	c (122,0) c Binaries_4 : 1162
984.22/134.09	c (122,0) c Binaries_5 : 1150
984.22/134.09	c (122,0) c Binaries_6 : 1074
984.22/134.09	c (122,0) c Binaries_7 : 1196
984.22/134.09	c (122,0) c Binaries_total : 9106
984.22/134.09	c (122,0) c Binaries_winner : 1130
984.22/134.09	c (122,0) c Glues_0 : 2332
984.22/134.09	c (122,0) c Glues_1 : 2366
984.22/134.09	c (122,0) c Glues_2 : 2351
984.22/134.09	c (122,0) c Glues_3 : 2218
984.22/134.09	c (122,0) c Glues_4 : 2392
984.22/134.09	c (122,0) c Glues_5 : 2320
984.22/134.09	c (122,0) c Glues_6 : 2255
984.22/134.09	c (122,0) c Glues_7 : 2412
984.22/134.09	c (122,0) c Glues_total : 18646
984.22/134.09	c (122,0) c Glues_winner : 2332
984.22/134.09	c (122,0) c RunningTime_0 : 121.821489
984.22/134.09	c (122,0) c RunningTime_1 : 119.547162
984.22/134.09	c (122,0) c RunningTime_2 : 121.859599
984.22/134.09	c (122,0) c RunningTime_3 : 121.461494
984.22/134.09	c (122,0) c RunningTime_4 : 118.412947
984.22/134.09	c (122,0) c RunningTime_5 : 121.147365
984.22/134.09	c (122,0) c RunningTime_6 : 121.535154
984.22/134.09	c (122,0) c RunningTime_7 : 119.114345
984.22/134.09	c (122,0) c RunningTime_total : 964.899554
984.22/134.09	c (122,0) c RunningTime_winner : 121.821489
984.22/134.09	c (122,0) c WaitingTime_0 : 0.000737
984.22/134.09	c (122,0) c WaitingTime_1 : 2.292661
984.22/134.09	c (122,0) c WaitingTime_2 : 0.000888
984.22/134.09	c (122,0) c WaitingTime_3 : 0.394666
984.22/134.09	c (122,0) c WaitingTime_4 : 3.446955
984.22/134.09	c (122,0) c WaitingTime_5 : 0.708909
984.22/134.09	c (122,0) c WaitingTime_6 : 0.319198
984.22/134.09	c (122,0) c WaitingTime_7 : 2.749219
984.22/134.09	c (122,0) c WaitingTime_total : 9.913233
984.22/134.09	c (122,0) c WaitingTime_winner : 0.000737
984.22/134.09	c (122,0) c ExchangingTime_0 : 0.062217
984.22/134.09	c (122,0) c ExchangingTime_1 : 0.064870
984.22/134.09	c (122,0) c ExchangingTime_2 : 0.067706
984.22/134.09	c (122,0) c ExchangingTime_3 : 0.071278
984.22/134.09	c (122,0) c ExchangingTime_4 : 0.068175
984.22/134.09	c (122,0) c ExchangingTime_5 : 0.067617
984.22/134.09	c (122,0) c ExchangingTime_6 : 0.071733
984.22/134.09	c (122,0) c ExchangingTime_7 : 0.060061
984.22/134.09	c (122,0) c ExchangingTime_total : 0.533658
984.22/134.09	c (122,0) c ExchangingTime_winner : 0.062217
984.22/134.09	c (122,0) c PeriodProcTime_0 : 0.019677
984.22/134.09	c (122,0) c PeriodProcTime_1 : 0.004482
984.22/134.09	c (122,0) c PeriodProcTime_2 : 0.006300
984.22/134.09	c (122,0) c PeriodProcTime_3 : 0.005812
984.22/134.09	c (122,0) c PeriodProcTime_4 : 0.004520
984.22/134.09	c (122,0) c PeriodProcTime_5 : 0.005735
984.22/134.09	c (122,0) c PeriodProcTime_6 : 0.006327
984.22/134.09	c (122,0) c PeriodProcTime_7 : 0.004456
984.22/134.09	c (122,0) c PeriodProcTime_total : 0.057310
984.22/134.09	c (122,0) c PeriodProcTime_winner : 0.019677
984.22/134.09	c (122,0) c SolvingTime_0 : 121.904120
984.22/134.09	c (122,0) c SolvingTime_1 : 121.909175
984.22/134.09	c (122,0) c SolvingTime_2 : 121.934494
984.22/134.09	c (122,0) c SolvingTime_3 : 121.933251
984.22/134.09	c (122,0) c SolvingTime_4 : 121.932596
984.22/134.09	c (122,0) c SolvingTime_5 : 121.929626
984.22/134.09	c (122,0) c SolvingTime_6 : 121.932411
984.22/134.09	c (122,0) c SolvingTime_7 : 121.928081
984.22/134.09	c (122,0) c SolvingTime_total : 975.403755
984.22/134.09	c (122,0) c SolvingTime_winner : 121.904120
984.22/134.09	c (122,0) c PropagationTime_0 : 103.726162
984.22/134.09	c (122,0) c PropagationTime_1 : 105.303392
984.22/134.09	c (122,0) c PropagationTime_2 : 105.883922
984.22/134.09	c (122,0) c PropagationTime_3 : 104.533303
984.22/134.09	c (122,0) c PropagationTime_4 : 105.704789
984.22/134.09	c (122,0) c PropagationTime_5 : 104.765244
984.22/134.09	c (122,0) c PropagationTime_6 : 103.747249
984.22/134.09	c (122,0) c PropagationTime_7 : 105.803542
984.22/134.09	c (122,0) c PropagationTime_total : 839.467602
984.22/134.09	c (122,0) c PropagationTime_winner : 103.726162
984.22/134.09	c (122,0) c AnalysisTime_0 : 13.679052
984.22/134.09	c (122,0) c AnalysisTime_1 : 11.925715
984.22/134.09	c (122,0) c AnalysisTime_2 : 11.452484
984.22/134.09	c (122,0) c AnalysisTime_3 : 12.746886
984.22/134.09	c (122,0) c AnalysisTime_4 : 11.590097
984.22/134.09	c (122,0) c AnalysisTime_5 : 12.591163
984.22/134.09	c (122,0) c AnalysisTime_6 : 13.587257
984.22/134.09	c (122,0) c AnalysisTime_7 : 11.441394
984.22/134.09	c (122,0) c AnalysisTime_total : 99.014047
984.22/134.09	c (122,0) c AnalysisTime_winner : 13.679052
984.22/134.09	c (122,0) c ReductionTime_0 : 0.293150
984.22/134.09	c (122,0) c ReductionTime_1 : 0.321362
984.22/134.09	c (122,0) c ReductionTime_2 : 0.296851
984.22/134.09	c (122,0) c ReductionTime_3 : 0.314095
984.22/134.09	c (122,0) c ReductionTime_4 : 0.309325
984.22/134.09	c (122,0) c ReductionTime_5 : 0.299624
984.22/134.09	c (122,0) c ReductionTime_6 : 0.301569
984.22/134.09	c (122,0) c ReductionTime_7 : 0.297909
984.22/134.09	c (122,0) c ReductionTime_total : 2.433885
984.22/134.09	c (122,0) c ReductionTime_winner : 0.293150
984.22/134.09	c (122,0) c SimplifyTime_0 : 0.571162
984.22/134.09	c (122,0) c SimplifyTime_1 : 0.619357
984.22/134.09	c (122,0) c SimplifyTime_2 : 0.586037
984.22/134.09	c (122,0) c SimplifyTime_3 : 0.579404
984.22/134.09	c (122,0) c SimplifyTime_4 : 0.682761
984.22/134.09	c (122,0) c SimplifyTime_5 : 0.567741
984.22/134.09	c (122,0) c SimplifyTime_6 : 0.568229
984.22/134.09	c (122,0) c SimplifyTime_7 : 0.638565
984.22/134.09	c (122,0) c SimplifyTime_total : 4.813256
984.22/134.09	c (122,0) c SimplifyTime_winner : 0.571162
984.22/134.09	c (122,0) c UsedRateTime_0 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_1 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_2 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_3 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_4 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_5 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_6 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_7 : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_total : 0.000000
984.22/134.09	c (122,0) c UsedRateTime_winner : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_0 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_1 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_2 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_3 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_4 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_5 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_6 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_7 : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_total : 0.000000
984.22/134.09	c (122,0) c OverlapRateTime_winner : 0.000000
984.22/134.09	c (122,0) c
984.22/134.09	c (122,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
984.22/134.09	c (122,0) c
984.22/134.09	c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.09	c (122,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
984.22/134.09	c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.09	c (122,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
984.22/134.09	c (122,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
984.22/134.09	c (122,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
984.22/134.09	c (122,0) c | Initial random_seed   | 1274168176 | 1404802540 |  557470540 |   52010069 | 1098047549 | 1516585082 |  467807015 |  521735327 |
984.22/134.09	c (122,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
984.22/134.09	c (122,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
984.22/134.09	c (122,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
984.22/134.09	c (122,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
984.22/134.09	c (122,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
984.22/134.09	c (122,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
984.22/134.09	c (122,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
984.22/134.09	c (122,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
984.22/134.09	c (122,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
984.22/134.09	c (122,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
984.22/134.09	c (122,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
984.22/134.09	c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
984.22/134.09	c (122,0) 
984.22/134.09	c (122,0) s SATISFIABLE
21.77/134.15	c (122,0) SatSolver.solve End
21.77/134.15	c (122,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.77/134.15	c (122,0) Show results Begin
985.01/134.35	c (123,0) x[0][0] = 3
985.01/134.35	c (123,0) x[0][1] = 17
985.01/134.35	c (123,0) x[0][2] = 9
985.01/134.35	c (123,0) x[0][3] = 19
985.01/134.35	c (123,0) x[0][4] = 6
985.01/134.35	c (123,0) x[0][5] = 26
985.01/134.35	c (123,0) x[0][6] = 8
985.01/134.35	c (123,0) x[0][7] = 0
985.01/134.35	c (123,0) x[0][8] = 16
985.01/134.35	c (123,0) x[0][9] = 13
985.01/134.35	c (123,0) x[0][10] = 23
985.01/134.35	c (123,0) x[0][11] = 24
985.01/134.35	c (123,0) x[0][12] = 12
985.01/134.35	c (123,0) x[0][13] = 2
985.01/134.35	c (123,0) x[0][14] = 10
985.01/134.35	c (123,0) x[0][15] = 18
985.01/134.35	c (123,0) x[0][16] = 29
985.01/134.35	c (123,0) x[0][17] = 28
985.01/134.35	c (123,0) x[0][18] = 27
985.01/134.35	c (123,0) x[0][19] = 20
985.01/134.35	c (123,0) x[0][20] = 4
985.01/134.35	c (123,0) x[0][21] = 7
985.01/134.35	c (123,0) x[0][22] = 5
985.01/134.35	c (123,0) x[0][23] = 15
985.01/134.35	c (123,0) x[0][24] = 22
985.01/134.35	c (123,0) x[0][25] = 21
985.01/134.35	c (123,0) x[0][26] = 1
985.01/134.35	c (123,0) x[0][27] = 14
985.01/134.35	c (123,0) x[0][28] = 25
985.01/134.35	c (123,0) x[0][29] = 11
985.01/134.35	c (123,0) x[1][0] = 15
985.01/134.35	c (123,0) x[1][1] = 18
985.01/134.35	c (123,0) x[1][2] = 22
985.01/134.35	c (123,0) x[1][3] = 2
985.01/134.35	c (123,0) x[1][4] = 13
985.01/134.35	c (123,0) x[1][5] = 6
985.01/134.35	c (123,0) x[1][6] = 1
985.01/134.35	c (123,0) x[1][7] = 10
985.01/134.35	c (123,0) x[1][8] = 28
985.01/134.35	c (123,0) x[1][9] = 8
985.01/134.35	c (123,0) x[1][10] = 9
985.01/134.35	c (123,0) x[1][11] = 17
985.01/134.35	c (123,0) x[1][12] = 19
985.01/134.35	c (123,0) x[1][13] = 14
985.01/134.35	c (123,0) x[1][14] = 24
985.01/134.35	c (123,0) x[1][15] = 0
985.01/134.35	c (123,0) x[1][16] = 3
985.01/134.35	c (123,0) x[1][17] = 12
985.01/134.35	c (123,0) x[1][18] = 25
985.01/134.35	c (123,0) x[1][19] = 4
985.01/134.35	c (123,0) x[1][20] = 7
985.01/134.35	c (123,0) x[1][21] = 23
985.01/134.35	c (123,0) x[1][22] = 26
985.01/134.35	c (123,0) x[1][23] = 29
985.01/134.35	c (123,0) x[1][24] = 11
985.01/134.35	c (123,0) x[1][25] = 16
985.01/134.35	c (123,0) x[1][26] = 21
985.01/134.35	c (123,0) x[1][27] = 5
985.01/134.35	c (123,0) x[1][28] = 20
985.01/134.35	c (123,0) x[1][29] = 27
985.01/134.35	c (123,0) x[2][0] = 8
985.01/134.35	c (123,0) x[2][1] = 6
985.01/134.35	c (123,0) x[2][2] = 24
985.01/134.35	c (123,0) x[2][3] = 18
985.01/134.35	c (123,0) x[2][4] = 1
985.01/134.35	c (123,0) x[2][5] = 10
985.01/134.35	c (123,0) x[2][6] = 25
985.01/134.35	c (123,0) x[2][7] = 3
985.01/134.35	c (123,0) x[2][8] = 20
985.01/134.35	c (123,0) x[2][9] = 12
985.01/134.35	c (123,0) x[2][10] = 29
985.01/134.35	c (123,0) x[2][11] = 27
985.01/134.35	c (123,0) x[2][12] = 14
985.01/134.35	c (123,0) x[2][13] = 15
985.01/134.35	c (123,0) x[2][14] = 0
985.01/134.35	c (123,0) x[2][15] = 2
985.01/134.35	c (123,0) x[2][16] = 17
985.01/134.35	c (123,0) x[2][17] = 11
985.01/134.35	c (123,0) x[2][18] = 7
985.01/134.35	c (123,0) x[2][19] = 5
985.01/134.35	c (123,0) x[2][20] = 13
985.01/134.35	c (123,0) x[2][21] = 22
985.01/134.35	c (123,0) x[2][22] = 4
985.01/134.35	c (123,0) x[2][23] = 21
985.01/134.35	c (123,0) x[2][24] = 19
985.01/134.35	c (123,0) x[2][25] = 28
985.01/134.35	c (123,0) x[2][26] = 26
985.01/134.35	c (123,0) x[2][27] = 23
985.01/134.35	c (123,0) x[2][28] = 16
985.01/134.35	c (123,0) x[2][29] = 9
985.01/134.35	c (123,0) x[3][0] = 14
985.01/134.35	c (123,0) x[3][1] = 16
985.01/134.35	c (123,0) x[3][2] = 2
985.01/134.35	c (123,0) x[3][3] = 7
985.01/134.35	c (123,0) x[3][4] = 15
985.01/134.35	c (123,0) x[3][5] = 11
985.01/134.35	c (123,0) x[3][6] = 21
985.01/134.35	c (123,0) x[3][7] = 13
985.01/134.35	c (123,0) x[3][8] = 8
985.01/134.35	c (123,0) x[3][9] = 0
985.01/134.35	c (123,0) x[3][10] = 19
985.01/134.35	c (123,0) x[3][11] = 3
985.01/134.35	c (123,0) x[3][12] = 25
985.01/134.35	c (123,0) x[3][13] = 29
985.01/134.35	c (123,0) x[3][14] = 4
985.01/134.35	c (123,0) x[3][15] = 10
985.01/134.35	c (123,0) x[3][16] = 20
985.01/134.35	c (123,0) x[3][17] = 26
985.01/134.35	c (123,0) x[3][18] = 5
985.01/134.35	c (123,0) x[3][19] = 27
985.01/134.35	c (123,0) x[3][20] = 6
985.01/134.35	c (123,0) x[3][21] = 12
985.01/134.35	c (123,0) x[3][22] = 18
985.01/134.35	c (123,0) x[3][23] = 9
985.01/134.35	c (123,0) x[3][24] = 24
985.01/134.35	c (123,0) x[3][25] = 17
985.01/134.35	c (123,0) x[3][26] = 28
985.01/134.35	c (123,0) x[3][27] = 22
985.01/134.35	c (123,0) x[3][28] = 1
985.01/134.35	c (123,0) x[3][29] = 23
985.01/134.35	c (123,0) x[4][0] = 4
985.01/134.35	c (123,0) x[4][1] = 0
985.01/134.35	c (123,0) x[4][2] = 29
985.01/134.35	c (123,0) x[4][3] = 13
985.01/134.35	c (123,0) x[4][4] = 14
985.01/134.35	c (123,0) x[4][5] = 1
985.01/134.35	c (123,0) x[4][6] = 20
985.01/134.35	c (123,0) x[4][7] = 22
985.01/134.35	c (123,0) x[4][8] = 23
985.01/134.35	c (123,0) x[4][9] = 6
985.01/134.35	c (123,0) x[4][10] = 5
985.01/134.35	c (123,0) x[4][11] = 16
985.01/134.35	c (123,0) x[4][12] = 7
985.01/134.35	c (123,0) x[4][13] = 19
985.01/134.35	c (123,0) x[4][14] = 27
985.01/134.35	c (123,0) x[4][15] = 24
985.01/134.35	c (123,0) x[4][16] = 2
985.01/134.35	c (123,0) x[4][17] = 18
985.01/134.35	c (123,0) x[4][18] = 26
985.01/134.35	c (123,0) x[4][19] = 12
985.01/134.35	c (123,0) x[4][20] = 8
985.01/134.35	c (123,0) x[4][21] = 10
985.01/134.35	c (123,0) x[4][22] = 3
985.01/134.35	c (123,0) x[4][23] = 28
985.01/134.35	c (123,0) x[4][24] = 9
985.01/134.35	c (123,0) x[4][25] = 25
985.01/134.35	c (123,0) x[4][26] = 11
985.01/134.35	c (123,0) x[4][27] = 21
985.01/134.35	c (123,0) x[4][28] = 15
985.01/134.35	c (123,0) x[4][29] = 17
985.01/134.35	c (123,0) x[5][0] = 18
985.01/134.35	c (123,0) x[5][1] = 19
985.01/134.35	c (123,0) x[5][2] = 26
985.01/134.35	c (123,0) x[5][3] = 21
985.01/134.35	c (123,0) x[5][4] = 23
985.01/134.35	c (123,0) x[5][5] = 8
985.01/134.35	c (123,0) x[5][6] = 5
985.01/134.35	c (123,0) x[5][7] = 9
985.01/134.35	c (123,0) x[5][8] = 15
985.01/134.35	c (123,0) x[5][9] = 29
985.01/134.35	c (123,0) x[5][10] = 28
985.01/134.35	c (123,0) x[5][11] = 2
985.01/134.35	c (123,0) x[5][12] = 1
985.01/134.35	c (123,0) x[5][13] = 10
985.01/134.35	c (123,0) x[5][14] = 13
985.01/134.35	c (123,0) x[5][15] = 4
985.01/134.35	c (123,0) x[5][16] = 27
985.01/134.35	c (123,0) x[5][17] = 25
985.01/134.35	c (123,0) x[5][18] = 0
985.01/134.35	c (123,0) x[5][19] = 24
985.01/134.35	c (123,0) x[5][20] = 11
985.01/134.35	c (123,0) x[5][21] = 6
985.01/134.35	c (123,0) x[5][22] = 16
985.01/134.35	c (123,0) x[5][23] = 3
985.01/134.35	c (123,0) x[5][24] = 12
985.01/134.35	c (123,0) x[5][25] = 22
985.01/134.35	c (123,0) x[5][26] = 20
985.01/134.35	c (123,0) x[5][27] = 17
985.01/134.35	c (123,0) x[5][28] = 7
985.01/134.35	c (123,0) x[5][29] = 14
985.01/134.35	c (123,0) x[6][0] = 11
985.01/134.35	c (123,0) x[6][1] = 22
985.01/134.35	c (123,0) x[6][2] = 3
985.01/134.35	c (123,0) x[6][3] = 27
985.01/134.35	c (123,0) x[6][4] = 5
985.01/134.35	c (123,0) x[6][5] = 23
985.01/134.35	c (123,0) x[6][6] = 17
985.01/134.35	c (123,0) x[6][7] = 8
985.01/134.35	c (123,0) x[6][8] = 2
985.01/134.35	c (123,0) x[6][9] = 28
985.01/134.35	c (123,0) x[6][10] = 12
985.01/134.35	c (123,0) x[6][11] = 13
985.01/134.35	c (123,0) x[6][12] = 6
985.01/134.35	c (123,0) x[6][13] = 1
985.01/134.35	c (123,0) x[6][14] = 16
985.01/134.35	c (123,0) x[6][15] = 26
985.01/134.35	c (123,0) x[6][16] = 4
985.01/134.35	c (123,0) x[6][17] = 24
985.01/134.35	c (123,0) x[6][18] = 21
985.01/134.35	c (123,0) x[6][19] = 0
985.01/134.35	c (123,0) x[6][20] = 14
985.01/134.35	c (123,0) x[6][21] = 25
985.01/134.35	c (123,0) x[6][22] = 15
985.01/134.35	c (123,0) x[6][23] = 7
985.01/134.35	c (123,0) x[6][24] = 18
985.01/134.35	c (123,0) x[6][25] = 19
985.01/134.35	c (123,0) x[6][26] = 9
985.01/134.35	c (123,0) x[6][27] = 20
985.01/134.35	c (123,0) x[6][28] = 10
985.01/134.35	c (123,0) x[6][29] = 29
985.01/134.35	c (123,0) x[7][0] = 25
985.01/134.35	c (123,0) x[7][1] = 26
985.01/134.35	c (123,0) x[7][2] = 21
985.01/134.35	c (123,0) x[7][3] = 24
985.01/134.35	c (123,0) x[7][4] = 12
985.01/134.35	c (123,0) x[7][5] = 22
985.01/134.35	c (123,0) x[7][6] = 14
985.01/134.35	c (123,0) x[7][7] = 27
985.01/134.35	c (123,0) x[7][8] = 6
985.01/134.35	c (123,0) x[7][9] = 20
985.01/134.35	c (123,0) x[7][10] = 15
985.01/134.35	c (123,0) x[7][11] = 4
985.01/134.35	c (123,0) x[7][12] = 18
985.01/134.35	c (123,0) x[7][13] = 9
985.01/134.35	c (123,0) x[7][14] = 23
985.01/134.35	c (123,0) x[7][15] = 16
985.01/134.35	c (123,0) x[7][16] = 28
985.01/134.35	c (123,0) x[7][17] = 5
985.01/134.35	c (123,0) x[7][18] = 29
985.01/134.35	c (123,0) x[7][19] = 11
985.01/134.35	c (123,0) x[7][20] = 3
985.01/134.35	c (123,0) x[7][21] = 17
985.01/134.35	c (123,0) x[7][22] = 19
985.01/134.35	c (123,0) x[7][23] = 13
985.01/134.35	c (123,0) x[7][24] = 0
985.01/134.35	c (123,0) x[7][25] = 7
985.01/134.35	c (123,0) x[7][26] = 10
985.01/134.35	c (123,0) x[7][27] = 1
985.01/134.35	c (123,0) x[7][28] = 8
985.01/134.35	c (123,0) x[7][29] = 2
985.01/134.35	c (123,0) x[8][0] = 0
985.01/134.35	c (123,0) x[8][1] = 14
985.01/134.35	c (123,0) x[8][2] = 12
985.01/134.35	c (123,0) x[8][3] = 17
985.01/134.35	c (123,0) x[8][4] = 28
985.01/134.35	c (123,0) x[8][5] = 5
985.01/134.35	c (123,0) x[8][6] = 4
985.01/134.35	c (123,0) x[8][7] = 11
985.01/134.35	c (123,0) x[8][8] = 7
985.01/134.35	c (123,0) x[8][9] = 27
985.01/134.35	c (123,0) x[8][10] = 20
985.01/134.35	c (123,0) x[8][11] = 15
985.01/134.35	c (123,0) x[8][12] = 26
985.01/134.35	c (123,0) x[8][13] = 8
985.01/134.35	c (123,0) x[8][14] = 9
985.01/134.35	c (123,0) x[8][15] = 13
985.01/134.35	c (123,0) x[8][16] = 19
985.01/134.35	c (123,0) x[8][17] = 16
985.01/134.35	c (123,0) x[8][18] = 22
985.01/134.35	c (123,0) x[8][19] = 3
985.01/134.35	c (123,0) x[8][20] = 21
985.01/134.35	c (123,0) x[8][21] = 29
985.01/134.35	c (123,0) x[8][22] = 6
985.01/134.35	c (123,0) x[8][23] = 23
985.01/134.35	c (123,0) x[8][24] = 10
985.01/134.35	c (123,0) x[8][25] = 18
985.01/134.35	c (123,0) x[8][26] = 2
985.01/134.35	c (123,0) x[8][27] = 25
985.01/134.35	c (123,0) x[8][28] = 24
985.01/134.35	c (123,0) x[8][29] = 1
985.01/134.35	c (123,0) x[9][0] = 10
985.01/134.35	c (123,0) x[9][1] = 11
985.01/134.35	c (123,0) x[9][2] = 27
985.01/134.35	c (123,0) x[9][3] = 22
985.01/134.35	c (123,0) x[9][4] = 9
985.01/134.35	c (123,0) x[9][5] = 14
985.01/134.35	c (123,0) x[9][6] = 28
985.01/134.35	c (123,0) x[9][7] = 18
985.01/134.35	c (123,0) x[9][8] = 3
985.01/134.35	c (123,0) x[9][9] = 19
985.01/134.35	c (123,0) x[9][10] = 8
985.01/134.35	c (123,0) x[9][11] = 12
985.01/134.35	c (123,0) x[9][12] = 4
985.01/134.35	c (123,0) x[9][13] = 26
985.01/134.35	c (123,0) x[9][14] = 6
985.01/134.35	c (123,0) x[9][15] = 20
985.01/134.35	c (123,0) x[9][16] = 0
985.01/134.35	c (123,0) x[9][17] = 2
985.01/134.35	c (123,0) x[9][18] = 16
985.01/134.35	c (123,0) x[9][19] = 17
985.01/134.35	c (123,0) x[9][20] = 1
985.01/134.35	c (123,0) x[9][21] = 21
985.01/134.35	c (123,0) x[9][22] = 29
985.01/134.35	c (123,0) x[9][23] = 24
985.01/134.35	c (123,0) x[9][24] = 25
985.01/134.35	c (123,0) x[9][25] = 13
985.01/134.35	c (123,0) x[9][26] = 23
985.01/134.35	c (123,0) x[9][27] = 15
985.01/134.35	c (123,0) x[9][28] = 5
985.01/134.35	c (123,0) x[9][29] = 7
985.01/134.35	c (123,0) x[10][0] = 23
985.01/134.35	c (123,0) x[10][1] = 8
985.01/134.35	c (123,0) x[10][2] = 16
985.01/134.35	c (123,0) x[10][3] = 11
985.01/134.35	c (123,0) x[10][4] = 24
985.01/134.35	c (123,0) x[10][5] = 21
985.01/134.35	c (123,0) x[10][6] = 22
985.01/134.35	c (123,0) x[10][7] = 25
985.01/134.35	c (123,0) x[10][8] = 13
985.01/134.35	c (123,0) x[10][9] = 10
985.01/134.35	c (123,0) x[10][10] = 0
985.01/134.35	c (123,0) x[10][11] = 28
985.01/134.35	c (123,0) x[10][12] = 9
985.01/134.35	c (123,0) x[10][13] = 12
985.01/134.35	c (123,0) x[10][14] = 7
985.01/134.35	c (123,0) x[10][15] = 6
985.01/134.35	c (123,0) x[10][16] = 5
985.01/134.35	c (123,0) x[10][17] = 17
985.01/134.35	c (123,0) x[10][18] = 20
985.01/134.35	c (123,0) x[10][19] = 29
985.01/134.35	c (123,0) x[10][20] = 15
985.01/134.35	c (123,0) x[10][21] = 19
985.01/134.35	c (123,0) x[10][22] = 2
985.01/134.35	c (123,0) x[10][23] = 18
985.01/134.35	c (123,0) x[10][24] = 14
985.01/134.35	c (123,0) x[10][25] = 1
985.01/134.35	c (123,0) x[10][26] = 27
985.01/134.35	c (123,0) x[10][27] = 26
985.01/134.35	c (123,0) x[10][28] = 3
985.01/134.35	c (123,0) x[10][29] = 4
985.01/134.35	c (123,0) x[11][0] = 6
985.01/134.35	c (123,0) x[11][1] = 4
985.01/134.35	c (123,0) x[11][2] = 25
985.01/134.35	c (123,0) x[11][3] = 28
985.01/134.35	c (123,0) x[11][4] = 16
985.01/134.35	c (123,0) x[11][5] = 15
985.01/134.35	c (123,0) x[11][6] = 18
985.01/134.35	c (123,0) x[11][7] = 12
985.01/134.35	c (123,0) x[11][8] = 10
985.01/134.35	c (123,0) x[11][9] = 24
985.01/134.35	c (123,0) x[11][10] = 27
985.01/134.35	c (123,0) x[11][11] = 20
985.01/134.35	c (123,0) x[11][12] = 23
985.01/134.35	c (123,0) x[11][13] = 0
985.01/134.35	c (123,0) x[11][14] = 14
985.01/134.35	c (123,0) x[11][15] = 29
985.01/134.35	c (123,0) x[11][16] = 21
985.01/134.35	c (123,0) x[11][17] = 7
985.01/134.35	c (123,0) x[11][18] = 19
985.01/134.35	c (123,0) x[11][19] = 1
985.01/134.35	c (123,0) x[11][20] = 5
985.01/134.35	c (123,0) x[11][21] = 9
985.01/134.35	c (123,0) x[11][22] = 17
985.01/134.35	c (123,0) x[11][23] = 11
985.01/134.35	c (123,0) x[11][24] = 3
985.01/134.35	c (123,0) x[11][25] = 26
985.01/134.35	c (123,0) x[11][26] = 13
985.01/134.35	c (123,0) x[11][27] = 2
985.01/134.35	c (123,0) x[11][28] = 22
985.01/134.35	c (123,0) x[11][29] = 8
985.01/134.35	c (123,0) x[12][0] = 22
985.01/134.35	c (123,0) x[12][1] = 7
985.01/134.35	c (123,0) x[12][2] = 15
985.01/134.35	c (123,0) x[12][3] = 16
985.01/134.35	c (123,0) x[12][4] = 18
985.01/134.35	c (123,0) x[12][5] = 0
985.01/134.35	c (123,0) x[12][6] = 10
985.01/134.35	c (123,0) x[12][7] = 21
985.01/134.35	c (123,0) x[12][8] = 17
985.01/134.35	c (123,0) x[12][9] = 3
985.01/134.35	c (123,0) x[12][10] = 14
985.01/134.35	c (123,0) x[12][11] = 8
985.01/134.35	c (123,0) x[12][12] = 5
985.01/134.35	c (123,0) x[12][13] = 20
985.01/134.35	c (123,0) x[12][14] = 28
985.01/134.35	c (123,0) x[12][15] = 11
985.01/134.35	c (123,0) x[12][16] = 1
985.01/134.35	c (123,0) x[12][17] = 6
985.01/134.35	c (123,0) x[12][18] = 2
985.01/134.35	c (123,0) x[12][19] = 23
985.01/134.35	c (123,0) x[12][20] = 29
985.01/134.35	c (123,0) x[12][21] = 26
985.01/134.35	c (123,0) x[12][22] = 9
985.01/134.35	c (123,0) x[12][23] = 25
985.01/134.35	c (123,0) x[12][24] = 4
985.01/134.35	c (123,0) x[12][25] = 24
985.01/134.35	c (123,0) x[12][26] = 12
985.01/134.35	c (123,0) x[12][27] = 19
985.01/134.35	c (123,0) x[12][28] = 27
985.01/134.35	c (123,0) x[12][29] = 13
985.01/134.35	c (123,0) x[13][0] = 9
985.01/134.35	c (123,0) x[13][1] = 20
985.01/134.35	c (123,0) x[13][2] = 13
985.01/134.35	c (123,0) x[13][3] = 25
985.01/134.35	c (123,0) x[13][4] = 0
985.01/134.35	c (123,0) x[13][5] = 28
985.01/134.35	c (123,0) x[13][6] = 15
985.01/134.35	c (123,0) x[13][7] = 24
985.01/134.35	c (123,0) x[13][8] = 11
985.01/134.35	c (123,0) x[13][9] = 4
985.01/134.35	c (123,0) x[13][10] = 21
985.01/134.35	c (123,0) x[13][11] = 1
985.01/134.35	c (123,0) x[13][12] = 10
985.01/134.35	c (123,0) x[13][13] = 5
985.01/134.35	c (123,0) x[13][14] = 29
985.01/134.35	c (123,0) x[13][15] = 27
985.01/134.35	c (123,0) x[13][16] = 26
985.01/134.35	c (123,0) x[13][17] = 8
985.01/134.35	c (123,0) x[13][18] = 14
985.01/134.35	c (123,0) x[13][19] = 6
985.01/134.35	c (123,0) x[13][20] = 23
985.01/134.35	c (123,0) x[13][21] = 2
985.01/134.35	c (123,0) x[13][22] = 22
985.01/134.35	c (123,0) x[13][23] = 16
985.01/134.35	c (123,0) x[13][24] = 17
985.01/134.35	c (123,0) x[13][25] = 3
985.01/134.35	c (123,0) x[13][26] = 7
985.01/134.35	c (123,0) x[13][27] = 12
985.01/134.35	c (123,0) x[13][28] = 18
985.01/134.35	c (123,0) x[13][29] = 19
985.01/134.35	c (123,0) x[14][0] = 1
985.01/134.35	c (123,0) x[14][1] = 29
985.01/134.35	c (123,0) x[14][2] = 23
985.01/134.35	c (123,0) x[14][3] = 5
985.01/134.35	c (123,0) x[14][4] = 20
985.01/134.35	c (123,0) x[14][5] = 17
985.01/134.35	c (123,0) x[14][6] = 13
985.01/134.35	c (123,0) x[14][7] = 4
985.01/134.35	c (123,0) x[14][8] = 21
985.01/134.35	c (123,0) x[14][9] = 22
985.01/134.35	c (123,0) x[14][10] = 16
985.01/134.35	c (123,0) x[14][11] = 19
985.01/134.35	c (123,0) x[14][12] = 27
985.01/134.35	c (123,0) x[14][13] = 11
985.01/134.35	c (123,0) x[14][14] = 18
985.01/134.35	c (123,0) x[14][15] = 7
985.01/134.35	c (123,0) x[14][16] = 6
985.01/134.35	c (123,0) x[14][17] = 0
985.01/134.35	c (123,0) x[14][18] = 28
985.01/134.35	c (123,0) x[14][19] = 9
985.01/134.35	c (123,0) x[14][20] = 2
985.01/134.35	c (123,0) x[14][21] = 3
985.01/134.35	c (123,0) x[14][22] = 8
985.01/134.35	c (123,0) x[14][23] = 12
985.01/134.35	c (123,0) x[14][24] = 26
985.01/134.35	c (123,0) x[14][25] = 15
985.01/134.35	c (123,0) x[14][26] = 25
985.01/134.35	c (123,0) x[14][27] = 10
985.01/134.35	c (123,0) x[14][28] = 14
985.01/134.35	c (123,0) x[14][29] = 24
985.01/134.35	c (123,0) x[15][0] = 27
985.01/134.35	c (123,0) x[15][1] = 28
985.01/134.35	c (123,0) x[15][2] = 6
985.01/134.35	c (123,0) x[15][3] = 8
985.01/134.35	c (123,0) x[15][4] = 4
985.01/134.35	c (123,0) x[15][5] = 25
985.01/134.35	c (123,0) x[15][6] = 7
985.01/134.35	c (123,0) x[15][7] = 1
985.01/134.35	c (123,0) x[15][8] = 29
985.01/134.35	c (123,0) x[15][9] = 9
985.01/134.35	c (123,0) x[15][10] = 17
985.01/134.35	c (123,0) x[15][11] = 11
985.01/134.35	c (123,0) x[15][12] = 24
985.01/134.35	c (123,0) x[15][13] = 13
985.01/134.35	c (123,0) x[15][14] = 2
985.01/134.35	c (123,0) x[15][15] = 3
985.01/134.35	c (123,0) x[15][16] = 15
985.01/134.35	c (123,0) x[15][17] = 19
985.01/134.35	c (123,0) x[15][18] = 23
985.01/134.35	c (123,0) x[15][19] = 26
985.01/134.35	c (123,0) x[15][20] = 10
985.01/134.35	c (123,0) x[15][21] = 16
985.01/134.35	c (123,0) x[15][22] = 20
985.01/134.35	c (123,0) x[15][23] = 14
985.01/134.35	c (123,0) x[15][24] = 5
985.01/134.35	c (123,0) x[15][25] = 12
985.01/134.35	c (123,0) x[15][26] = 18
985.01/134.35	c (123,0) x[15][27] = 0
985.01/134.35	c (123,0) x[15][28] = 21
985.01/134.35	c (123,0) x[15][29] = 22
985.01/134.35	c (123,0) x[16][0] = 24
985.01/134.35	c (123,0) x[16][1] = 25
985.01/134.35	c (123,0) x[16][2] = 14
985.01/134.35	c (123,0) x[16][3] = 29
985.01/134.35	c (123,0) x[16][4] = 10
985.01/134.35	c (123,0) x[16][5] = 16
985.01/134.35	c (123,0) x[16][6] = 6
985.01/134.35	c (123,0) x[16][7] = 15
985.01/134.35	c (123,0) x[16][8] = 19
985.01/134.35	c (123,0) x[16][9] = 7
985.01/134.35	c (123,0) x[16][10] = 26
985.01/134.35	c (123,0) x[16][11] = 0
985.01/134.35	c (123,0) x[16][12] = 21
985.01/134.35	c (123,0) x[16][13] = 28
985.01/134.35	c (123,0) x[16][14] = 1
985.01/134.35	c (123,0) x[16][15] = 22
985.01/134.35	c (123,0) x[16][16] = 9
985.01/134.35	c (123,0) x[16][17] = 23
985.01/134.35	c (123,0) x[16][18] = 4
985.01/134.35	c (123,0) x[16][19] = 8
985.01/134.35	c (123,0) x[16][20] = 27
985.01/134.35	c (123,0) x[16][21] = 18
985.01/134.35	c (123,0) x[16][22] = 11
985.01/134.35	c (123,0) x[16][23] = 17
985.01/134.35	c (123,0) x[16][24] = 20
985.01/134.35	c (123,0) x[16][25] = 2
985.01/134.35	c (123,0) x[16][26] = 5
985.01/134.35	c (123,0) x[16][27] = 13
985.01/134.35	c (123,0) x[16][28] = 12
985.01/134.35	c (123,0) x[16][29] = 3
985.01/134.35	c (123,0) x[17][0] = 5
985.01/134.35	c (123,0) x[17][1] = 9
985.01/134.35	c (123,0) x[17][2] = 8
985.01/134.35	c (123,0) x[17][3] = 15
985.01/134.35	c (123,0) x[17][4] = 3
985.01/134.35	c (123,0) x[17][5] = 29
985.01/134.35	c (123,0) x[17][6] = 12
985.01/134.35	c (123,0) x[17][7] = 14
985.01/134.35	c (123,0) x[17][8] = 1
985.01/134.35	c (123,0) x[17][9] = 17
985.01/134.35	c (123,0) x[17][10] = 10
985.01/134.35	c (123,0) x[17][11] = 26
985.01/134.35	c (123,0) x[17][12] = 22
985.01/134.35	c (123,0) x[17][13] = 7
985.01/134.35	c (123,0) x[17][14] = 25
985.01/134.35	c (123,0) x[17][15] = 23
985.01/134.35	c (123,0) x[17][16] = 11
985.01/134.35	c (123,0) x[17][17] = 27
985.01/134.35	c (123,0) x[17][18] = 18
985.01/134.35	c (123,0) x[17][19] = 16
985.01/134.35	c (123,0) x[17][20] = 28
985.01/134.35	c (123,0) x[17][21] = 20
985.01/134.35	c (123,0) x[17][22] = 24
985.01/134.35	c (123,0) x[17][23] = 4
985.01/134.35	c (123,0) x[17][24] = 13
985.01/134.35	c (123,0) x[17][25] = 0
985.01/134.35	c (123,0) x[17][26] = 19
985.01/134.35	c (123,0) x[17][27] = 6
985.01/134.35	c (123,0) x[17][28] = 2
985.01/134.35	c (123,0) x[17][29] = 21
985.01/134.35	c (123,0) x[18][0] = 29
985.01/134.35	c (123,0) x[18][1] = 13
985.01/134.35	c (123,0) x[18][2] = 1
985.01/134.35	c (123,0) x[18][3] = 9
985.01/134.35	c (123,0) x[18][4] = 21
985.01/134.35	c (123,0) x[18][5] = 20
985.01/134.35	c (123,0) x[18][6] = 0
985.01/134.35	c (123,0) x[18][7] = 23
985.01/134.35	c (123,0) x[18][8] = 12
985.01/134.35	c (123,0) x[18][9] = 5
985.01/134.35	c (123,0) x[18][10] = 25
985.01/134.35	c (123,0) x[18][11] = 18
985.01/134.35	c (123,0) x[18][12] = 28
985.01/134.35	c (123,0) x[18][13] = 17
985.01/134.35	c (123,0) x[18][14] = 3
985.01/134.35	c (123,0) x[18][15] = 15
985.01/134.35	c (123,0) x[18][16] = 8
985.01/134.35	c (123,0) x[18][17] = 4
985.01/134.35	c (123,0) x[18][18] = 24
985.01/134.35	c (123,0) x[18][19] = 19
985.01/134.35	c (123,0) x[18][20] = 16
985.01/134.35	c (123,0) x[18][21] = 11
985.01/134.35	c (123,0) x[18][22] = 27
985.01/134.35	c (123,0) x[18][23] = 22
985.01/134.35	c (123,0) x[18][24] = 2
985.01/134.35	c (123,0) x[18][25] = 10
985.01/134.35	c (123,0) x[18][26] = 14
985.01/134.35	c (123,0) x[18][27] = 7
985.01/134.35	c (123,0) x[18][28] = 26
985.01/134.35	c (123,0) x[18][29] = 6
985.01/134.35	c (123,0) x[19][0] = 2
985.01/134.35	c (123,0) x[19][1] = 12
985.01/134.35	c (123,0) x[19][2] = 19
985.01/134.35	c (123,0) x[19][3] = 20
985.01/134.35	c (123,0) x[19][4] = 26
985.01/134.35	c (123,0) x[19][5] = 24
985.01/134.35	c (123,0) x[19][6] = 29
985.01/134.35	c (123,0) x[19][7] = 7
985.01/134.35	c (123,0) x[19][8] = 14
985.01/134.35	c (123,0) x[19][9] = 21
985.01/134.35	c (123,0) x[19][10] = 6
985.01/134.35	c (123,0) x[19][11] = 5
985.01/134.35	c (123,0) x[19][12] = 17
985.01/134.35	c (123,0) x[19][13] = 4
985.01/134.35	c (123,0) x[19][14] = 11
985.01/134.35	c (123,0) x[19][15] = 25
985.01/134.35	c (123,0) x[19][16] = 16
985.01/134.35	c (123,0) x[19][17] = 9
985.01/134.35	c (123,0) x[19][18] = 15
985.01/134.35	c (123,0) x[19][19] = 18
985.01/134.35	c (123,0) x[19][20] = 22
985.01/134.35	c (123,0) x[19][21] = 13
985.01/134.35	c (123,0) x[19][22] = 10
985.01/134.35	c (123,0) x[19][23] = 0
985.01/134.35	c (123,0) x[19][24] = 1
985.01/134.35	c (123,0) x[19][25] = 27
985.01/134.35	c (123,0) x[19][26] = 3
985.01/134.35	c (123,0) x[19][27] = 8
985.01/134.35	c (123,0) x[19][28] = 23
985.01/134.35	c (123,0) x[19][29] = 28
985.01/134.35	c (123,0) x[20][0] = 20
985.01/134.35	c (123,0) x[20][1] = 15
985.01/134.35	c (123,0) x[20][2] = 5
985.01/134.35	c (123,0) x[20][3] = 14
985.01/134.35	c (123,0) x[20][4] = 11
985.01/134.35	c (123,0) x[20][5] = 9
985.01/134.35	c (123,0) x[20][6] = 27
985.01/134.35	c (123,0) x[20][7] = 19
985.01/134.35	c (123,0) x[20][8] = 4
985.01/134.35	c (123,0) x[20][9] = 1
985.01/134.35	c (123,0) x[20][10] = 7
985.01/134.35	c (123,0) x[20][11] = 10
985.01/134.35	c (123,0) x[20][12] = 16
985.01/134.35	c (123,0) x[20][13] = 3
985.01/134.35	c (123,0) x[20][14] = 21
985.01/134.35	c (123,0) x[20][15] = 12
985.01/134.35	c (123,0) x[20][16] = 22
985.01/134.35	c (123,0) x[20][17] = 13
985.01/134.35	c (123,0) x[20][18] = 17
985.01/134.35	c (123,0) x[20][19] = 2
985.01/134.35	c (123,0) x[20][20] = 0
985.01/134.35	c (123,0) x[20][21] = 8
985.01/134.35	c (123,0) x[20][22] = 25
985.01/134.35	c (123,0) x[20][23] = 26
985.01/134.35	c (123,0) x[20][24] = 6
985.01/134.35	c (123,0) x[20][25] = 23
985.01/134.35	c (123,0) x[20][26] = 24
985.01/134.35	c (123,0) x[20][27] = 29
985.01/134.35	c (123,0) x[20][28] = 28
985.01/134.35	c (123,0) x[20][29] = 18
985.01/134.35	c (123,0) x[21][0] = 28
985.01/134.35	c (123,0) x[21][1] = 5
985.01/134.35	c (123,0) x[21][2] = 17
985.01/134.35	c (123,0) x[21][3] = 0
985.01/134.35	c (123,0) x[21][4] = 29
985.01/134.35	c (123,0) x[21][5] = 18
985.01/134.35	c (123,0) x[21][6] = 9
985.01/134.35	c (123,0) x[21][7] = 16
985.01/134.35	c (123,0) x[21][8] = 26
985.01/134.35	c (123,0) x[21][9] = 23
985.01/134.35	c (123,0) x[21][10] = 2
985.01/134.35	c (123,0) x[21][11] = 21
985.01/134.35	c (123,0) x[21][12] = 3
985.01/134.35	c (123,0) x[21][13] = 25
985.01/134.35	c (123,0) x[21][14] = 12
985.01/134.35	c (123,0) x[21][15] = 19
985.01/134.35	c (123,0) x[21][16] = 24
985.01/134.35	c (123,0) x[21][17] = 22
985.01/134.35	c (123,0) x[21][18] = 8
985.01/134.35	c (123,0) x[21][19] = 13
985.01/134.35	c (123,0) x[21][20] = 20
985.01/134.35	c (123,0) x[21][21] = 14
985.01/134.35	c (123,0) x[21][22] = 1
985.01/134.35	c (123,0) x[21][23] = 6
985.01/134.35	c (123,0) x[21][24] = 7
985.01/134.35	c (123,0) x[21][25] = 4
985.01/134.35	c (123,0) x[21][26] = 15
985.01/134.35	c (123,0) x[21][27] = 27
985.01/134.35	c (123,0) x[21][28] = 11
985.01/134.35	c (123,0) x[21][29] = 10
985.01/134.35	c (123,0) x[22][0] = 12
985.01/134.35	c (123,0) x[22][1] = 21
985.01/134.35	c (123,0) x[22][2] = 10
985.01/134.35	c (123,0) x[22][3] = 6
985.01/134.35	c (123,0) x[22][4] = 27
985.01/134.35	c (123,0) x[22][5] = 3
985.01/134.35	c (123,0) x[22][6] = 23
985.01/134.35	c (123,0) x[22][7] = 17
985.01/134.35	c (123,0) x[22][8] = 18
985.01/134.35	c (123,0) x[22][9] = 2
985.01/134.35	c (123,0) x[22][10] = 24
985.01/134.35	c (123,0) x[22][11] = 7
985.01/134.35	c (123,0) x[22][12] = 0
985.01/134.35	c (123,0) x[22][13] = 16
985.01/134.35	c (123,0) x[22][14] = 8
985.01/134.35	c (123,0) x[22][15] = 1
985.01/134.35	c (123,0) x[22][16] = 25
985.01/134.35	c (123,0) x[22][17] = 20
985.01/134.35	c (123,0) x[22][18] = 9
985.01/134.35	c (123,0) x[22][19] = 22
985.01/134.35	c (123,0) x[22][20] = 26
985.01/134.35	c (123,0) x[22][21] = 15
985.01/134.35	c (123,0) x[22][22] = 14
985.01/134.35	c (123,0) x[22][23] = 19
985.01/134.35	c (123,0) x[22][24] = 28
985.01/134.35	c (123,0) x[22][25] = 11
985.01/134.35	c (123,0) x[22][26] = 29
985.01/134.35	c (123,0) x[22][27] = 4
985.01/134.35	c (123,0) x[22][28] = 13
985.01/134.35	c (123,0) x[22][29] = 5
985.01/134.35	c (123,0) x[23][0] = 19
985.01/134.35	c (123,0) x[23][1] = 10
985.01/134.35	c (123,0) x[23][2] = 0
985.01/134.35	c (123,0) x[23][3] = 4
985.01/134.35	c (123,0) x[23][4] = 7
985.01/134.35	c (123,0) x[23][5] = 13
985.01/134.35	c (123,0) x[23][6] = 3
985.01/134.35	c (123,0) x[23][7] = 2
985.01/134.35	c (123,0) x[23][8] = 27
985.01/134.35	c (123,0) x[23][9] = 11
985.01/134.35	c (123,0) x[23][10] = 18
985.01/134.35	c (123,0) x[23][11] = 6
985.01/134.35	c (123,0) x[23][12] = 8
985.01/134.35	c (123,0) x[23][13] = 23
985.01/134.35	c (123,0) x[23][14] = 26
985.01/134.35	c (123,0) x[23][15] = 17
985.01/134.35	c (123,0) x[23][16] = 12
985.01/134.35	c (123,0) x[23][17] = 29
985.01/134.35	c (123,0) x[23][18] = 1
985.01/134.35	c (123,0) x[23][19] = 14
985.01/134.35	c (123,0) x[23][20] = 25
985.01/134.35	c (123,0) x[23][21] = 28
985.01/134.35	c (123,0) x[23][22] = 21
985.01/134.35	c (123,0) x[23][23] = 20
985.01/134.35	c (123,0) x[23][24] = 16
985.01/134.35	c (123,0) x[23][25] = 5
985.01/134.35	c (123,0) x[23][26] = 22
985.01/134.35	c (123,0) x[23][27] = 24
985.01/134.35	c (123,0) x[23][28] = 9
985.01/134.35	c (123,0) x[23][29] = 15
985.01/134.36	c (123,0) x[24][0] = 26
985.01/134.36	c (123,0) x[24][1] = 23
985.01/134.36	c (123,0) x[24][2] = 4
985.01/134.36	c (123,0) x[24][3] = 3
985.01/134.36	c (123,0) x[24][4] = 25
985.01/134.36	c (123,0) x[24][5] = 7
985.01/134.36	c (123,0) x[24][6] = 11
985.01/134.36	c (123,0) x[24][7] = 28
985.01/134.36	c (123,0) x[24][8] = 9
985.01/134.36	c (123,0) x[24][9] = 15
985.01/134.36	c (123,0) x[24][10] = 22
985.01/134.36	c (123,0) x[24][11] = 29
985.01/134.36	c (123,0) x[24][12] = 2
985.01/134.36	c (123,0) x[24][13] = 18
985.01/134.36	c (123,0) x[24][14] = 19
985.01/134.36	c (123,0) x[24][15] = 8
985.01/134.36	c (123,0) x[24][16] = 14
985.01/134.36	c (123,0) x[24][17] = 21
985.01/134.36	c (123,0) x[24][18] = 6
985.01/134.36	c (123,0) x[24][19] = 10
985.01/134.36	c (123,0) x[24][20] = 24
985.01/134.36	c (123,0) x[24][21] = 5
985.01/134.36	c (123,0) x[24][22] = 13
985.01/134.36	c (123,0) x[24][23] = 1
985.01/134.36	c (123,0) x[24][24] = 27
985.01/134.36	c (123,0) x[24][25] = 20
985.01/134.36	c (123,0) x[24][26] = 0
985.01/134.36	c (123,0) x[24][27] = 16
985.01/134.36	c (123,0) x[24][28] = 17
985.01/134.36	c (123,0) x[24][29] = 12
985.01/134.36	c (123,0) x[25][0] = 21
985.01/134.36	c (123,0) x[25][1] = 1
985.01/134.36	c (123,0) x[25][2] = 20
985.01/134.36	c (123,0) x[25][3] = 10
985.01/134.36	c (123,0) x[25][4] = 22
985.01/134.36	c (123,0) x[25][5] = 4
985.01/134.36	c (123,0) x[25][6] = 24
985.01/134.36	c (123,0) x[25][7] = 29
985.01/134.36	c (123,0) x[25][8] = 0
985.01/134.36	c (123,0) x[25][9] = 25
985.01/134.36	c (123,0) x[25][10] = 13
985.01/134.36	c (123,0) x[25][11] = 9
985.01/134.36	c (123,0) x[25][12] = 11
985.01/134.36	c (123,0) x[25][13] = 6
985.01/134.36	c (123,0) x[25][14] = 17
985.01/134.36	c (123,0) x[25][15] = 5
985.01/134.36	c (123,0) x[25][16] = 18
985.01/134.36	c (123,0) x[25][17] = 14
985.01/134.36	c (123,0) x[25][18] = 3
985.01/134.36	c (123,0) x[25][19] = 7
985.01/134.36	c (123,0) x[25][20] = 12
985.01/134.36	c (123,0) x[25][21] = 27
985.01/134.36	c (123,0) x[25][22] = 23
985.01/134.36	c (123,0) x[25][23] = 2
985.01/134.36	c (123,0) x[25][24] = 15
985.01/134.36	c (123,0) x[25][25] = 8
985.01/134.36	c (123,0) x[25][26] = 16
985.01/134.36	c (123,0) x[25][27] = 28
985.01/134.36	c (123,0) x[25][28] = 19
985.01/134.36	c (123,0) x[25][29] = 26
985.01/134.36	c (123,0) x[26][0] = 16
985.01/134.36	c (123,0) x[26][1] = 27
985.01/134.36	c (123,0) x[26][2] = 11
985.01/134.36	c (123,0) x[26][3] = 12
985.01/134.36	c (123,0) x[26][4] = 8
985.01/134.36	c (123,0) x[26][5] = 19
985.01/134.36	c (123,0) x[26][6] = 2
985.01/134.36	c (123,0) x[26][7] = 26
985.01/134.36	c (123,0) x[26][8] = 25
985.01/134.36	c (123,0) x[26][9] = 14
985.01/134.36	c (123,0) x[26][10] = 1
985.01/134.36	c (123,0) x[26][11] = 22
985.01/134.36	c (123,0) x[26][12] = 13
985.01/134.36	c (123,0) x[26][13] = 24
985.01/134.36	c (123,0) x[26][14] = 15
985.01/134.36	c (123,0) x[26][15] = 28
985.01/134.36	c (123,0) x[26][16] = 7
985.01/134.36	c (123,0) x[26][17] = 3
985.01/134.36	c (123,0) x[26][18] = 10
985.01/134.36	c (123,0) x[26][19] = 21
985.01/134.36	c (123,0) x[26][20] = 18
985.01/134.36	c (123,0) x[26][21] = 4
985.01/134.36	c (123,0) x[26][22] = 0
985.01/134.36	c (123,0) x[26][23] = 5
985.01/134.36	c (123,0) x[26][24] = 23
985.01/134.36	c (123,0) x[26][25] = 29
985.01/134.36	c (123,0) x[26][26] = 17
985.01/134.36	c (123,0) x[26][27] = 9
985.01/134.36	c (123,0) x[26][28] = 6
985.01/134.36	c (123,0) x[26][29] = 20
985.01/134.36	c (123,0) x[27][0] = 7
985.01/134.36	c (123,0) x[27][1] = 2
985.01/134.36	c (123,0) x[27][2] = 28
985.01/134.36	c (123,0) x[27][3] = 23
985.01/134.36	c (123,0) x[27][4] = 17
985.01/134.36	c (123,0) x[27][5] = 27
985.01/134.36	c (123,0) x[27][6] = 19
985.01/134.36	c (123,0) x[27][7] = 5
985.01/134.36	c (123,0) x[27][8] = 24
985.01/134.36	c (123,0) x[27][9] = 26
985.01/134.36	c (123,0) x[27][10] = 3
985.01/134.36	c (123,0) x[27][11] = 14
985.01/134.36	c (123,0) x[27][12] = 15
985.01/134.36	c (123,0) x[27][13] = 22
985.01/134.36	c (123,0) x[27][14] = 20
985.01/134.36	c (123,0) x[27][15] = 21
985.01/134.36	c (123,0) x[27][16] = 13
985.01/134.36	c (123,0) x[27][17] = 10
985.01/134.36	c (123,0) x[27][18] = 11
985.01/134.36	c (123,0) x[27][19] = 25
985.01/134.36	c (123,0) x[27][20] = 9
985.01/134.36	c (123,0) x[27][21] = 1
985.01/134.36	c (123,0) x[27][22] = 12
985.01/134.36	c (123,0) x[27][23] = 8
985.01/134.36	c (123,0) x[27][24] = 29
985.01/134.36	c (123,0) x[27][25] = 6
985.01/134.36	c (123,0) x[27][26] = 4
985.01/134.36	c (123,0) x[27][27] = 18
985.01/134.36	c (123,0) x[27][28] = 0
985.01/134.36	c (123,0) x[27][29] = 16
985.01/134.36	c (123,0) x[28][0] = 17
985.01/134.36	c (123,0) x[28][1] = 3
985.01/134.36	c (123,0) x[28][2] = 7
985.01/134.36	c (123,0) x[28][3] = 26
985.01/134.36	c (123,0) x[28][4] = 2
985.01/134.36	c (123,0) x[28][5] = 12
985.01/134.36	c (123,0) x[28][6] = 16
985.01/134.36	c (123,0) x[28][7] = 6
985.01/134.36	c (123,0) x[28][8] = 22
985.01/134.36	c (123,0) x[28][9] = 18
985.01/134.36	c (123,0) x[28][10] = 4
985.01/134.36	c (123,0) x[28][11] = 25
985.01/134.36	c (123,0) x[28][12] = 20
985.01/134.36	c (123,0) x[28][13] = 27
985.01/134.36	c (123,0) x[28][14] = 5
985.01/134.36	c (123,0) x[28][15] = 14
985.01/134.36	c (123,0) x[28][16] = 23
985.01/134.36	c (123,0) x[28][17] = 1
985.01/134.36	c (123,0) x[28][18] = 13
985.01/134.36	c (123,0) x[28][19] = 15
985.01/134.36	c (123,0) x[28][20] = 19
985.01/134.36	c (123,0) x[28][21] = 24
985.01/134.36	c (123,0) x[28][22] = 28
985.01/134.36	c (123,0) x[28][23] = 10
985.01/134.36	c (123,0) x[28][24] = 21
985.01/134.36	c (123,0) x[28][25] = 9
985.01/134.36	c (123,0) x[28][26] = 8
985.01/134.36	c (123,0) x[28][27] = 11
985.01/134.36	c (123,0) x[28][28] = 29
985.01/134.36	c (123,0) x[28][29] = 0
985.01/134.36	c (123,0) x[29][0] = 13
985.01/134.36	c (123,0) x[29][1] = 24
985.01/134.36	c (123,0) x[29][2] = 18
985.01/134.36	c (123,0) x[29][3] = 1
985.01/134.36	c (123,0) x[29][4] = 19
985.01/134.36	c (123,0) x[29][5] = 2
985.01/134.36	c (123,0) x[29][6] = 26
985.01/134.36	c (123,0) x[29][7] = 20
985.01/134.36	c (123,0) x[29][8] = 5
985.01/134.36	c (123,0) x[29][9] = 16
985.01/134.36	c (123,0) x[29][10] = 11
985.01/134.36	c (123,0) x[29][11] = 23
985.01/134.36	c (123,0) x[29][12] = 29
985.01/134.36	c (123,0) x[29][13] = 21
985.01/134.36	c (123,0) x[29][14] = 22
985.01/134.36	c (123,0) x[29][15] = 9
985.01/134.36	c (123,0) x[29][16] = 10
985.01/134.36	c (123,0) x[29][17] = 15
985.01/134.36	c (123,0) x[29][18] = 12
985.01/134.36	c (123,0) x[29][19] = 28
985.01/134.36	c (123,0) x[29][20] = 17
985.01/134.36	c (123,0) x[29][21] = 0
985.01/134.36	c (123,0) x[29][22] = 7
985.01/134.36	c (123,0) x[29][23] = 27
985.01/134.36	c (123,0) x[29][24] = 8
985.01/134.36	c (123,0) x[29][25] = 14
985.01/134.36	c (123,0) x[29][26] = 6
985.01/134.36	c (123,0) x[29][27] = 3
985.01/134.36	c (123,0) x[29][28] = 4
985.01/134.36	c (123,0) x[29][29] = 25
985.01/134.36	s SATISFIABLE
985.01/134.36	v <instantiation>
985.01/134.36	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>
985.01/134.36	v     <values>3 17 9 19 6 26 8 0 16 13 23 24 12 2 10 18 29 28 27 20 4 7 5 15 22 21 1 14 25 11 15 18 22 2 13 6 1 10 28 8 9 17 19 14 24 0 3 12 25 4 7 23 26 29 11 16 21 5 20 27 8 6 24 18 1 10 25 3 20 12 29 27 14 15 0 2 17 11 7 5 13 22 4 21 19 28 26 23 16 9 14 16 2 7 15 11 21 13 8 0 19 3 25 29 4 10 20 26 5 27 6 12 18 9 24 17 28 22 1 23 4 0 29 13 14 1 20 22 23 6 5 16 7 19 27 24 2 18 26 12 8 10 3 28 9 25 11 21 15 17 18 19 26 21 23 8 5 9 15 29 28 2 1 10 13 4 27 25 0 24 11 6 16 3 12 22 20 17 7 14 11 22 3 27 5 23 17 8 2 28 12 13 6 1 16 26 4 24 21 0 14 25 15 7 18 19 9 20 10 29 25 26 21 24 12 22 14 27 6 20 15 4 18 9 23 16 28 5 29 11 3 17 19 13 0 7 10 1 8 2 0 14 12 17 28 5 4 11 7 27 20 15 26 8 9 13 19 16 22 3 21 29 6 23 10 18 2 25 24 1 10 11 27 22 9 14 28 18 3 19 8 12 4 26 6 20 0 2 16 17 1 21 29 24 25 13 23 15 5 7 23 8 16 11 24 21 22 25 13 10 0 28 9 12 7 6 5 17 20 29 15 19 2 18 14 1 27 26 3 4 6 4 25 28 16 15 18 12 10 24 27 20 23 0 14 29 21 7 19 1 5 9 17 11 3 26 13 2 22 8 22 7 15 16 18 0 10 21 17 3 14 8 5 20 28 11 1 6 2 23 29 26 9 25 4 24 12 19 27 13 9 20 13 25 0 28 15 24 11 4 21 1 10 5 29 27 26 8 14 6 23 2 22 16 17 3 7 12 18 19 1 29 23 5 20 17 13 4 21 22 16 19 27 11 18 7 6 0 28 9 2 3 8 12 26 15 25 10 14 24 27 28 6 8 4 25 7 1 29 9 17 11 24 13 2 3 15 19 23 26 10 16 20 14 5 12 18 0 21 22 24 25 14 29 10 16 6 15 19 7 26 0 21 28 1 22 9 23 4 8 27 18 11 17 20 2 5 13 12 3 5 9 8 15 3 29 12 14 1 17 10 26 22 7 25 23 11 27 18 16 28 20 24 4 13 0 19 6 2 21 29 13 1 9 21 20 0 23 12 5 25 18 28 17 3 15 8 4 24 19 16 11 27 22 2 10 14 7 26 6 2 12 19 20 26 24 29 7 14 21 6 5 17 4 11 25 16 9 15 18 22 13 10 0 1 27 3 8 23 28 20 15 5 14 11 9 27 19 4 1 7 10 16 3 21 12 22 13 17 2 0 8 25 26 6 23 24 29 28 18 28 5 17 0 29 18 9 16 26 23 2 21 3 25 12 19 24 22 8 13 20 14 1 6 7 4 15 27 11 10 12 21 10 6 27 3 23 17 18 2 24 7 0 16 8 1 25 20 9 22 26 15 14 19 28 11 29 4 13 5 19 10 0 4 7 13 3 2 27 11 18 6 8 23 26 17 12 29 1 14 25 28 21 20 16 5 22 24 9 15 26 23 4 3 25 7 11 28 9 15 22 29 2 18 19 8 14 21 6 10 24 5 13 1 27 20 0 16 17 12 21 1 20 10 22 4 24 29 0 25 13 9 11 6 17 5 18 14 3 7 12 27 23 2 15 8 16 28 19 26 16 27 11 12 8 19 2 26 25 14 1 22 13 24 15 28 7 3 10 21 18 4 0 5 23 29 17 9 6 20 7 2 28 23 17 27 19 5 24 26 3 14 15 22 20 21 13 10 11 25 9 1 12 8 29 6 4 18 0 16 17 3 7 26 2 12 16 6 22 18 4 25 20 27 5 14 23 1 13 15 19 24 28 10 21 9 8 11 29 0 13 24 18 1 19 2 26 20 5 16 11 23 29 21 22 9 10 15 12 28 17 0 7 27 8 14 6 3 4 25</values>
985.01/134.36	v </instantiation>
985.01/134.36	c (123,0) Show results End
985.01/134.36	c (123,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
985.01/134.36	c (123,0) 122,123,STOP-AFTER(ALL)
985.01/134.36	c END-Prog: Sat Sep 14 08:34:08 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 (12444 MiB free)
  memory of node 1: 16384 MiB (11670 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392470-1568442754/watcher-4392470-1568442754 -o /tmp/evaluation-result-4392470-1568442754/solver-4392470-1568442754 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392470-1568442754.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=28540, runsolver pid=28537
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 4.08 5.69 7.26 2/212 28562
/proc/meminfo: memFree=24599764/32770624 swapFree=66939852/67108860
[pid=28540] ppid=28537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28540/stat : 28540 (scop.sh) S 28537 28540 28228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420190275 115843072 349 33554432000 4194304 5098028 140731526690912 140731526688168 140368786408060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19484672 140731526697765 140731526698092 140731526698092 140731526701005 0
/proc/28540/statm: 28282 349 296 221 0 87 0
[pid=28543] ppid=28540 vsize=27314120 memory=106252 CPUtime=0.1 cores=0-7
/proc/28543/stat : 28543 (java) S 28540 28540 28228 0 -1 1077944320 6123 0 0 0 8 2 0 0 20 0 20 0 420190275 27969658880 26563 33554432000 4194304 4196468 140731220315296 140731220297840 140479829425911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
/proc/28543/statm: 6828530 26563 2797 1 0 6790935 0
[pid=28543/tid=28544] ppid=28540 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/28543/task/28544/stat : 28544 (java) R 28540 28540 28228 0 -1 4202560 4218 0 0 0 7 1 0 0 20 0 20 0 420190275 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479801248960 140479821663038 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28545] ppid=28540 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28543/task/28545/stat : 28545 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479833667856 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28546] ppid=28540 vsize=27314120 memory=139638171162240 CPUtime=0 cores=0-7
/proc/28543/task/28546/stat : 28546 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479252085136 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28547] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28547/stat : 28547 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479251032592 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28548] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28548/stat : 28548 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479249980048 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28549] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28549/stat : 28549 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479248927504 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28550] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28550/stat : 28550 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479247874960 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28551] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28551/stat : 28551 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479246822416 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28552] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28552/stat : 28552 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 26563 33554432000 4194304 4196468 140731220315296 140479245769872 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28553] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28553/stat : 28553 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190279 27969658880 26563 33554432000 4194304 4196468 140731220315296 140478820669424 140479829437058 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28554] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28554/stat : 28554 (java) S 28540 28540 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420190280 27969658880 26563 33554432000 4194304 4196468 140731220315296 140477777044384 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28555] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28555/stat : 28555 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190280 27969658880 26563 33554432000 4194304 4196468 140731220315296 140477508609008 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28556] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28556/stat : 28556 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 26563 33554432000 4194304 4196468 140731220315296 140477134100688 140479829444507 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28557] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28557/stat : 28557 (java) S 28540 28540 28228 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 26563 33554432000 4194304 4196468 140731220315296 140478819617264 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28558] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28558/stat : 28558 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 26563 33554432000 4194304 4196468 140731220315296 140478818564720 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28559] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28559/stat : 28559 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 26563 33554432000 4194304 4196468 140731220315296 140478817512176 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28560] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28560/stat : 28560 (java) S 28540 28540 28228 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 26563 33554432000 4194304 4196468 140731220315296 140478816459632 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28561] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28561/stat : 28561 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190283 27969658880 26563 33554432000 4194304 4196468 140731220315296 140476636195040 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28562] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28562/stat : 28562 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190283 27969658880 26563 33554432000 4194304 4196468 140731220315296 140478815406512 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107648 KiB

[startup+0.213479 s]*
/proc/loadavg: 4.08 5.69 7.26 2/212 28562
/proc/meminfo: memFree=24579048/32770624 swapFree=66939852/67108860
[pid=28540] ppid=28537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28540/stat : 28540 (scop.sh) S 28537 28540 28228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420190275 115843072 349 33554432000 4194304 5098028 140731526690912 140731526688168 140368786408060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19484672 140731526697765 140731526698092 140731526698092 140731526701005 0
/proc/28540/statm: 28282 349 296 221 0 87 0
[pid=28543] ppid=28540 vsize=27314120 memory=123336 CPUtime=0.25 cores=0-7
/proc/28543/stat : 28543 (java) S 28540 28540 28228 0 -1 1077944320 11147 0 0 0 21 4 0 0 20 0 20 0 420190275 27969658880 30834 33554432000 4194304 4196468 140731220315296 140731220297840 140479829425911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
/proc/28543/statm: 6828530 30834 2979 1 0 6790935 0
[pid=28543/tid=28544] ppid=28540 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28543/task/28544/stat : 28544 (java) R 28540 28540 28228 0 -1 4202560 8831 0 0 0 17 3 0 0 20 0 20 0 420190275 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479801209472 140479810989510 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28545] ppid=28540 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28543/task/28545/stat : 28545 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479833667856 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28546] ppid=28540 vsize=27314120 memory=3977156991488022176 CPUtime=0 cores=0-7
/proc/28543/task/28546/stat : 28546 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479252085136 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28547] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28547/stat : 28547 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479251032592 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28548] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28548/stat : 28548 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479249980048 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28549] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28549/stat : 28549 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479248927504 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28550] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28550/stat : 28550 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479247874960 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28551] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28551/stat : 28551 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479246822416 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28552] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28552/stat : 28552 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 30834 33554432000 4194304 4196468 140731220315296 140479245769872 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28553] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28553/stat : 28553 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190279 27969658880 30834 33554432000 4194304 4196468 140731220315296 140478820669424 140479829437058 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28554] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28554/stat : 28554 (java) S 28540 28540 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420190280 27969658880 30834 33554432000 4194304 4196468 140731220315296 140477777044384 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28555] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28555/stat : 28555 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190280 27969658880 30834 33554432000 4194304 4196468 140731220315296 140477508609008 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28556] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28556/stat : 28556 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 30834 33554432000 4194304 4196468 140731220315296 140477134100688 140479829444507 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28557] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28557/stat : 28557 (java) S 28540 28540 28228 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 30834 33554432000 4194304 4196468 140731220315296 140478819617264 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28558] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28558/stat : 28558 (java) S 28540 28540 28228 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 30834 33554432000 4194304 4196468 140731220315296 140478818564720 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28559] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28559/stat : 28559 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 30834 33554432000 4194304 4196468 140731220315296 140478817512176 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28560] ppid=28540 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28543/task/28560/stat : 28560 (java) S 28540 28540 28228 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 420190282 27969658880 30834 33554432000 4194304 4196468 140731220315296 140478816459632 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28561] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28561/stat : 28561 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190283 27969658880 30834 33554432000 4194304 4196468 140731220315296 140476636195040 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28562] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28562/stat : 28562 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190283 27969658880 30834 33554432000 4194304 4196468 140731220315296 140478815406512 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124732 KiB

[startup+0.310364 s]*
/proc/loadavg: 4.08 5.69 7.26 3/212 28562
/proc/meminfo: memFree=24575736/32770624 swapFree=66939852/67108860
[pid=28540] ppid=28537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28540/stat : 28540 (scop.sh) S 28537 28540 28228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420190275 115843072 349 33554432000 4194304 5098028 140731526690912 140731526688168 140368786408060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19484672 140731526697765 140731526698092 140731526698092 140731526701005 0
/proc/28540/statm: 28282 349 296 221 0 87 0
[pid=28543] ppid=28540 vsize=27314120 memory=127676 CPUtime=0.42 cores=0-7
/proc/28543/stat : 28543 (java) S 28540 28540 28228 0 -1 1077944320 12270 0 0 0 38 4 0 0 20 0 20 0 420190275 27969658880 31919 33554432000 4194304 4196468 140731220315296 140731220297840 140479829425911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
/proc/28543/statm: 6828530 31919 3020 1 0 6790935 0
[pid=28543/tid=28544] ppid=28540 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/28543/task/28544/stat : 28544 (java) R 28540 28540 28228 0 -1 4202560 9752 0 0 0 26 4 0 0 20 0 20 0 420190275 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479801255984 140479810990907 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28545] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28545/stat : 28545 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479833667856 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28546] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28546/stat : 28546 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479252085136 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28547] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28547/stat : 28547 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479251032592 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28548] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28548/stat : 28548 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479249980048 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28549] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28549/stat : 28549 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479248927504 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28550] ppid=28540 vsize=27314120 memory=139638043929263 CPUtime=0 cores=0-7
/proc/28543/task/28550/stat : 28550 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479247874960 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28551] ppid=28540 vsize=27314120 memory=139638043931568 CPUtime=0 cores=0-7
/proc/28543/task/28551/stat : 28551 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479246822416 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28552] ppid=28540 vsize=27314120 memory=139638043933872 CPUtime=0 cores=0-7
/proc/28543/task/28552/stat : 28552 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27969658880 31919 33554432000 4194304 4196468 140731220315296 140479245769872 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28553] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28553/stat : 28553 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190279 27969658880 31919 33554432000 4194304 4196468 140731220315296 140478820669424 140479829437058 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28554] ppid=28540 vsize=27314120 memory=279276087881616 CPUtime=0 cores=0-7
/proc/28543/task/28554/stat : 28554 (java) S 28540 28540 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420190280 27969658880 31919 33554432000 4194304 4196468 140731220315296 140477777044384 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28555] ppid=28540 vsize=27314120 memory=279276087879312 CPUtime=0 cores=0-7
/proc/28543/task/28555/stat : 28555 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190280 27969658880 31919 33554432000 4194304 4196468 140731220315296 140477508609008 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28556] ppid=28540 vsize=27314120 memory=279276087886224 CPUtime=0 cores=0-7
/proc/28543/task/28556/stat : 28556 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 31919 33554432000 4194304 4196468 140731220315296 140477134100688 140479829444507 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28557] ppid=28540 vsize=27314120 memory=279276087827504 CPUtime=0 cores=0-7
/proc/28543/task/28557/stat : 28557 (java) S 28540 28540 28228 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 20 0 420190282 27969658880 31919 33554432000 4194304 4196468 140731220315296 140478819617264 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28558] ppid=28540 vsize=27314120 memory=279276087900048 CPUtime=0.01 cores=0-7
/proc/28543/task/28558/stat : 28558 (java) S 28540 28540 28228 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 420190282 27969658880 31919 33554432000 4194304 4196468 140731220315296 140478818564720 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28559] ppid=28540 vsize=27314120 memory=279276087906960 CPUtime=0.01 cores=0-7
/proc/28543/task/28559/stat : 28559 (java) S 28540 28540 28228 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 420190282 27969658880 31919 33554432000 4194304 4196468 140731220315296 140478817512176 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28560] ppid=28540 vsize=27314120 memory=279276087904656 CPUtime=0.07 cores=0-7
/proc/28543/task/28560/stat : 28560 (java) S 28540 28540 28228 0 -1 1077944384 553 0 0 0 7 0 0 0 20 0 20 0 420190282 27969658880 31919 33554432000 4194304 4196468 140731220315296 140478816459632 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28561] ppid=28540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28561/stat : 28561 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420190283 27969658880 31919 33554432000 4194304 4196468 140731220315296 140476636195040 140479829436117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28562] ppid=28540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28543/task/28562/stat : 28562 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190283 27969658880 31919 33554432000 4194304 4196468 140731220315296 140478815406512 140479829437058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129072 KiB

[startup+0.707068 s]
/proc/loadavg: 4.08 5.69 7.26 3/212 28562
/proc/meminfo: memFree=24552408/32770624 swapFree=66939852/67108860
[pid=28540] ppid=28537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28540/stat : 28540 (scop.sh) S 28537 28540 28228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420190275 115843072 349 33554432000 4194304 5098028 140731526690912 140731526688168 140368786408060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19484672 140731526697765 140731526698092 140731526698092 140731526701005 0
/proc/28540/statm: 28282 349 296 221 0 87 0
[pid=28543] ppid=28540 vsize=27323540 memory=165600 CPUtime=0.98 cores=0-7
/proc/28543/stat : 28543 (java) S 28540 28540 28228 0 -1 1077944320 19995 0 0 0 91 7 0 0 20 0 20 0 420190275 27979304960 41400 33554432000 4194304 4196468 140731220315296 140731220297840 140479829425911 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
/proc/28543/statm: 6830629 41400 3193 1 0 6791959 0
[pid=28543/tid=28544] ppid=28540 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/28543/task/28544/stat : 28544 (java) R 28540 28540 28228 0 -1 1077944384 17088 0 0 0 62 6 0 0 20 0 20 0 420190275 27978256384 41400 33554432000 4194304 4196468 140731220315296 140479801243296 140479822105133 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28545] ppid=28540 vsize=27322516 memory=139638044140400 CPUtime=0 cores=0-7
/proc/28543/task/28545/stat : 28545 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27978256384 41400 33554432000 4194304 4196468 140731220315296 140479833667856 140479829436117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28546] ppid=28540 vsize=27323540 memory=0 CPUtime=0 cores=0-7
/proc/28543/task/28546/stat : 28546 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420190278 27979304960 41400 33554432000 4194304 4196468 140731220315296 140479252085136 140479829436117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0
[pid=28543/tid=28547] ppid=28540 vsize=27323540 memory=1256 CPUtime=0 cores=0-7
/proc/28543/task/28547/stat : 28547 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420190278 27979304960 41400 33554432000 4194304 4196468 140731220315296 140479251032592 140479829436117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140731220321003 140731220321430 140731220321430 140731220324303 0

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

[pid=28566/tid=28567] ppid=28540 vsize=8414124 memory=8317482817917895235 CPUtime=0.8 cores=0-7
/proc/28566/task/28567/stat : 28567 (java) S 28540 28540 28228 0 -1 1077944384 17365 0 0 0 74 6 0 0 20 0 24 0 420191363 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190475534240 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28568] ppid=28540 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28566/task/28568/stat : 28568 (java) S 28540 28540 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190507936144 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28569] ppid=28540 vsize=8414124 memory=6003970578987118438 CPUtime=0 cores=0-7
/proc/28566/task/28569/stat : 28569 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190308104464 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28570] ppid=28540 vsize=8414124 memory=7379827952569176936 CPUtime=0 cores=0-7
/proc/28566/task/28570/stat : 28570 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190307052176 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28571] ppid=28540 vsize=8414124 memory=8326441210107759532 CPUtime=0 cores=0-7
/proc/28566/task/28571/stat : 28571 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190305999376 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28572] ppid=28540 vsize=8414124 memory=7301270007904889967 CPUtime=0 cores=0-7
/proc/28566/task/28572/stat : 28572 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190304947088 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28573] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28573/stat : 28573 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190303894288 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28574] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28574/stat : 28574 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190302842000 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28575] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28575/stat : 28575 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191364 8616062976 31187 33554432000 4194304 4196468 140735399077136 140190301789200 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28576] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28576/stat : 28576 (java) S 28540 28540 28228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420191365 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189328410736 140190503705218 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28577] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28577/stat : 28577 (java) S 28540 28540 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420191366 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189141820192 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28578] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28578/stat : 28578 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191366 8616062976 31187 33554432000 4194304 4196468 140735399077136 140188873385072 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28579] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28579/stat : 28579 (java) S 28540 28540 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140188498876496 140190503712667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28580] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0.1 cores=0-7
/proc/28566/task/28580/stat : 28580 (java) S 28540 28540 28228 0 -1 1077944384 616 0 0 0 10 0 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189327358576 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28581] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0.1 cores=0-7
/proc/28566/task/28581/stat : 28581 (java) S 28540 28540 28228 0 -1 1077944384 412 0 0 0 10 0 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189326305776 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28582] ppid=28540 vsize=8414124 memory=7739269290835268195 CPUtime=0.12 cores=0-7
/proc/28566/task/28582/stat : 28582 (java) S 28540 28540 28228 0 -1 1077944384 560 0 0 0 12 0 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189325253488 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28583] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0.23 cores=0-7
/proc/28566/task/28583/stat : 28583 (java) S 28540 28540 28228 0 -1 1077944384 829 0 0 0 23 0 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189324200688 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28584] ppid=28540 vsize=8414124 memory=-8743568683554861458 CPUtime=0 cores=0-7
/proc/28566/task/28584/stat : 28584 (java) S 28540 28540 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140188000971104 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28585] ppid=28540 vsize=8414124 memory=7523937536014773858 CPUtime=0.07 cores=0-7
/proc/28566/task/28585/stat : 28585 (java) S 28540 28540 28228 0 -1 1077944384 9 0 0 0 0 7 0 0 20 0 24 0 420191369 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189323147568 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28587] ppid=28540 vsize=8414124 memory=7523937536014773858 CPUtime=0 cores=0-7
/proc/28566/task/28587/stat : 28587 (java) S 28540 28540 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420191440 8616062976 31187 33554432000 4194304 4196468 140735399077136 140189947471168 140190503718681 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28589] ppid=28540 vsize=8414124 memory=7523937536014773858 CPUtime=0 cores=0-7
/proc/28566/task/28589/stat : 28589 (java) S 28540 28540 28228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420191440 8616062976 31187 33554432000 4194304 4196468 140735399077136 140187329871760 140190503715997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28590] ppid=28540 vsize=8414124 memory=7523937536014773858 CPUtime=0 cores=0-7
/proc/28566/task/28590/stat : 28590 (java) S 28540 28540 28228 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420191440 8616062976 31187 33554432000 4194304 4196468 140735399077136 140187598307088 140190503715997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28591] ppid=28540 vsize=8414124 memory=7524221300611830610 CPUtime=0 cores=0-7
/proc/28566/task/28591/stat : 28591 (java) S 28540 28540 28228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420191442 8616062976 31187 33554432000 4194304 4196468 140735399077136 140187061444400 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
Current children cumulated CPU time: 984.22 s
Current children cumulated vsize: 9323004 KiB
Current children cumulated memory: 622240 KiB

[startup+134.201 s]
/proc/loadavg: 7.45 6.38 7.29 9/225 28605
/proc/meminfo: memFree=24080784/32770624 swapFree=66939852/67108860
[pid=28540] ppid=28537 vsize=113128 memory=1476 CPUtime=20.17 cores=0-7
/proc/28540/stat : 28540 (scop.sh) S 28537 28540 28228 0 -1 4202496 583 33934 0 0 0 0 1935 82 20 0 1 0 420190275 115843072 369 33554432000 4194304 5098028 140731526690912 140731526687656 140368786408060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19484672 140731526697765 140731526698092 140731526698092 140731526701005 0
/proc/28540/statm: 28282 369 311 221 0 87 0
[pid=28566] ppid=28540 vsize=8283048 memory=141208 CPUtime=964.56 cores=0-7
/proc/28566/stat : 28566 (java) S 28540 28540 28228 0 -1 1077944320 24232 323653 0 0 166 12 96206 72 20 0 22 0 420191362 8481841152 35302 33554432000 4194304 4196468 140735399077136 140735399059680 140190503694071 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
/proc/28566/statm: 2070762 35302 3228 1 0 2032106 0
[pid=28566/tid=28567] ppid=28540 vsize=8283048 memory=7163649561966831466 CPUtime=963.63 cores=0-7
/proc/28566/task/28567/stat : 28567 (java) R 28540 28540 28228 0 -1 4202560 17518 323653 0 0 78 7 96206 72 20 0 22 0 420191363 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190475531696 140190503706006 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28568] ppid=28540 vsize=8283048 memory=7163649561966831466 CPUtime=962.78 cores=0-7
/proc/28566/task/28568/stat : 28568 (java) S 28540 28540 28228 0 -1 1077944384 2 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190507936144 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28569] ppid=28540 vsize=8283048 memory=288230574492221466 CPUtime=962.78 cores=0-7
/proc/28566/task/28569/stat : 28569 (java) S 28540 28540 28228 0 -1 1077944384 3 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190308104464 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28570] ppid=28540 vsize=8283048 memory=288230596050944315 CPUtime=962.78 cores=0-7
/proc/28566/task/28570/stat : 28570 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190307052176 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28571] ppid=28540 vsize=8283048 memory=15825490741037707 CPUtime=962.78 cores=0-7
/proc/28566/task/28571/stat : 28571 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190305999376 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28572] ppid=28540 vsize=8283048 memory=520 CPUtime=962.78 cores=0-7
/proc/28566/task/28572/stat : 28572 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190304947088 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28573] ppid=28540 vsize=8283048 memory=1560 CPUtime=962.78 cores=0-7
/proc/28566/task/28573/stat : 28573 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190303894288 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28574] ppid=28540 vsize=8283048 memory=924 CPUtime=962.78 cores=0-7
/proc/28566/task/28574/stat : 28574 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190302842000 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28575] ppid=28540 vsize=8283048 memory=3688 CPUtime=962.78 cores=0-7
/proc/28566/task/28575/stat : 28575 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 35302 33554432000 4194304 4196468 140735399077136 140190301789200 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28576] ppid=28540 vsize=8283048 memory=1984 CPUtime=962.78 cores=0-7
/proc/28566/task/28576/stat : 28576 (java) S 28540 28540 28228 0 -1 1077944384 9 323653 0 0 0 0 96206 72 20 0 22 0 420191365 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189328410736 140190503705218 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28577] ppid=28540 vsize=8283048 memory=1440 CPUtime=962.78 cores=0-7
/proc/28566/task/28577/stat : 28577 (java) S 28540 28540 28228 0 -1 1077944384 13 323653 0 0 0 0 96206 72 20 0 22 0 420191366 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189141820192 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28578] ppid=28540 vsize=8283048 memory=816 CPUtime=962.78 cores=0-7
/proc/28566/task/28578/stat : 28578 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191366 8481841152 35302 33554432000 4194304 4196468 140735399077136 140188873385072 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28579] ppid=28540 vsize=8283048 memory=2580 CPUtime=962.78 cores=0-7
/proc/28566/task/28579/stat : 28579 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140188498876496 140190503712667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28580] ppid=28540 vsize=8283048 memory=-8743568683554861458 CPUtime=962.92 cores=0-7
/proc/28566/task/28580/stat : 28580 (java) S 28540 28540 28228 0 -1 1077944384 726 323653 0 0 13 1 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189327358576 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28581] ppid=28540 vsize=8283048 memory=111636 CPUtime=962.91 cores=0-7
/proc/28566/task/28581/stat : 28581 (java) S 28540 28540 28228 0 -1 1077944384 620 323653 0 0 13 0 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189326305776 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28582] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.95 cores=0-7
/proc/28566/task/28582/stat : 28582 (java) S 28540 28540 28228 0 -1 1077944384 594 323653 0 0 17 0 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189325253488 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28583] ppid=28540 vsize=8283048 memory=3504 CPUtime=963.07 cores=0-7
/proc/28566/task/28583/stat : 28583 (java) R 28540 28540 28228 0 -1 4202560 1134 323653 0 0 29 0 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189324200688 140190482612566 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28584] ppid=28540 vsize=8283048 memory=0 CPUtime=962.78 cores=0-7
/proc/28566/task/28584/stat : 28584 (java) S 28540 28540 28228 0 -1 1077944384 3 323653 0 0 0 0 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140188000971104 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28585] ppid=28540 vsize=8283048 memory=139638045418968 CPUtime=962.85 cores=0-7
/proc/28566/task/28585/stat : 28585 (java) S 28540 28540 28228 0 -1 1077944384 9 323653 0 0 0 7 96206 72 20 0 22 0 420191369 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189323147568 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28587] ppid=28540 vsize=8283048 memory=4164 CPUtime=962.78 cores=0-7
/proc/28566/task/28587/stat : 28587 (java) S 28540 28540 28228 0 -1 1077944384 25 323653 0 0 0 0 96206 72 20 0 22 0 420191440 8481841152 35302 33554432000 4194304 4196468 140735399077136 140189947470352 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28591] ppid=28540 vsize=8283048 memory=0 CPUtime=962.78 cores=0-7
/proc/28566/task/28591/stat : 28591 (java) S 28540 28540 28228 0 -1 1077944384 13 323653 0 0 0 0 96206 72 20 0 22 0 420191442 8481841152 35302 33554432000 4194304 4196468 140735399077136 140187061446192 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
Current children cumulated CPU time: 984.73 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142684 KiB

[startup+134.301 s]
/proc/loadavg: 7.45 6.38 7.29 9/225 28605
/proc/meminfo: memFree=24080784/32770624 swapFree=66939852/67108860
[pid=28540] ppid=28537 vsize=113128 memory=1476 CPUtime=20.17 cores=0-7
/proc/28540/stat : 28540 (scop.sh) S 28537 28540 28228 0 -1 4202496 583 33934 0 0 0 0 1935 82 20 0 1 0 420190275 115843072 369 33554432000 4194304 5098028 140731526690912 140731526687656 140368786408060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19484672 140731526697765 140731526698092 140731526698092 140731526701005 0
/proc/28540/statm: 28282 369 311 221 0 87 0
[pid=28566] ppid=28540 vsize=8283048 memory=147528 CPUtime=964.84 cores=0-7
/proc/28566/stat : 28566 (java) S 28540 28540 28228 0 -1 1077944320 24829 323653 0 0 194 12 96206 72 20 0 22 0 420191362 8481841152 36882 33554432000 4194304 4196468 140735399077136 140735399059680 140190503694071 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
/proc/28566/statm: 2070762 36882 3233 1 0 2032106 0
[pid=28566/tid=28567] ppid=28540 vsize=8283048 memory=1476 CPUtime=963.73 cores=0-7
/proc/28566/task/28567/stat : 28567 (java) R 28540 28540 28228 0 -1 4202560 17650 323653 0 0 88 7 96206 72 20 0 22 0 420191363 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190475530576 140189964942689 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28568] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28568/stat : 28568 (java) S 28540 28540 28228 0 -1 1077944384 2 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190507936144 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28569] ppid=28540 vsize=8283048 memory=10684 CPUtime=962.78 cores=0-7
/proc/28566/task/28569/stat : 28569 (java) S 28540 28540 28228 0 -1 1077944384 3 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190308104464 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28570] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28570/stat : 28570 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190307052176 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28571] ppid=28540 vsize=8283048 memory=124748 CPUtime=962.78 cores=0-7
/proc/28566/task/28571/stat : 28571 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190305999376 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28572] ppid=28540 vsize=8283048 memory=1436 CPUtime=962.78 cores=0-7
/proc/28566/task/28572/stat : 28572 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190304947088 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28573] ppid=28540 vsize=8283048 memory=4164 CPUtime=962.78 cores=0-7
/proc/28566/task/28573/stat : 28573 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190303894288 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28574] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28574/stat : 28574 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190302842000 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28575] ppid=28540 vsize=8283048 memory=124748 CPUtime=962.78 cores=0-7
/proc/28566/task/28575/stat : 28575 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191364 8481841152 36882 33554432000 4194304 4196468 140735399077136 140190301789200 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28576] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28576/stat : 28576 (java) S 28540 28540 28228 0 -1 1077944384 9 323653 0 0 0 0 96206 72 20 0 22 0 420191365 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189328410736 140190503705218 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28577] ppid=28540 vsize=8283048 memory=124748 CPUtime=962.78 cores=0-7
/proc/28566/task/28577/stat : 28577 (java) S 28540 28540 28228 0 -1 1077944384 13 323653 0 0 0 0 96206 72 20 0 22 0 420191366 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189141820192 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28578] ppid=28540 vsize=8283048 memory=508960 CPUtime=962.78 cores=0-7
/proc/28566/task/28578/stat : 28578 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191366 8481841152 36882 33554432000 4194304 4196468 140735399077136 140188873385072 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28579] ppid=28540 vsize=8283048 memory=2008 CPUtime=962.78 cores=0-7
/proc/28566/task/28579/stat : 28579 (java) S 28540 28540 28228 0 -1 1077944384 1 323653 0 0 0 0 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140188498876496 140190503712667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28580] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.95 cores=0-7
/proc/28566/task/28580/stat : 28580 (java) R 28540 28540 28228 0 -1 4202560 793 323653 0 0 16 1 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189327348048 140190488620663 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28581] ppid=28540 vsize=8283048 memory=124748 CPUtime=962.97 cores=0-7
/proc/28566/task/28581/stat : 28581 (java) R 28540 28540 28228 0 -1 1077944384 834 323653 0 0 19 0 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189326305776 140190503705218 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28582] ppid=28540 vsize=8283048 memory=496016 CPUtime=962.96 cores=0-7
/proc/28566/task/28582/stat : 28582 (java) R 28540 28540 28228 0 -1 1077944384 610 323653 0 0 18 0 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189325253488 140190503705218 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28583] ppid=28540 vsize=8283048 memory=0 CPUtime=963.14 cores=0-7
/proc/28566/task/28583/stat : 28583 (java) R 28540 28540 28228 0 -1 1077944384 1302 323653 0 0 36 0 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189324200688 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28584] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28584/stat : 28584 (java) S 28540 28540 28228 0 -1 1077944384 3 323653 0 0 0 0 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140188000971104 140190503704277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28585] ppid=28540 vsize=8283048 memory=3504 CPUtime=962.85 cores=0-7
/proc/28566/task/28585/stat : 28585 (java) S 28540 28540 28228 0 -1 1077944384 9 323653 0 0 0 7 96206 72 20 0 22 0 420191369 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189323147568 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28587] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28587/stat : 28587 (java) S 28540 28540 28228 0 -1 1077944384 25 323653 0 0 0 0 96206 72 20 0 22 0 420191440 8481841152 36882 33554432000 4194304 4196468 140735399077136 140189947470352 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
[pid=28566/tid=28591] ppid=28540 vsize=8283048 memory=1476 CPUtime=962.78 cores=0-7
/proc/28566/task/28591/stat : 28591 (java) S 28540 28540 28228 0 -1 1077944384 13 323653 0 0 0 0 96206 72 20 0 22 0 420191442 8481841152 36882 33554432000 4194304 4196468 140735399077136 140187061446192 140190503705218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34680832 140735399080951 140735399081110 140735399081110 140735399083983 0
Current children cumulated CPU time: 985.01 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 149004 KiB

Child status: 0
Real time (s): 134.388
CPU time (s): 985.342
CPU user time (s): 983.637
CPU system time (s): 1.70496
CPU usage (%): 733.209
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4338652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 983.637
system time used= 1.70496
maximum resident set size= 4342992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17302
involuntary context switches= 9993


# summary of solver processes directly reported to runsolver:
#   pid: 28540
#   total CPU time (s): 985.342
#   total CPU user time (s): 983.637
#   total CPU system time (s): 1.70496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25578 second user time and 1.88368 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 08:31:54
IDJOB=4392470
IDBENCH=138939
IDSOLVER=2838
FILE ID=node119/4392470-1568442754
RUNJOBID= node119-1568442536-28255
PBS_JOBID= 21702345
Free space on /tmp= 61504 MiB

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

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

MD5SUM BENCH= cc39eb921a5cd1c2fcd1d541ff73edd4
RANDOM SEED=637177474

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24693808 kB
MemAvailable:   31824988 kB
Buffers:          191812 kB
Cached:          7207912 kB
SwapCached:        61128 kB
Active:          2828636 kB
Inactive:        4635528 kB
Active(anon):       3260 kB
Inactive(anon):   102744 kB
Active(file):    2825376 kB
Inactive(file):  4532784 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:             20768 kB
Writeback:             0 kB
AnonPages:        118672 kB
Mapped:            44204 kB
Shmem:             32816 kB
Slab:             207692 kB
SReclaimable:     177712 kB
SUnreclaim:        29980 kB
KernelStack:        3360 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

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