Trace number 4405330

Some explanations

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

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

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

Solver answer on this benchmark

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

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-21457-serial-file.bin HOME/instance-4405330-1569359092.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 23:04:10 CEST 2019
0.66/0.56	c PID: 21460
0.66/0.56	c IP: 172.20.3.121
0.66/0.56	c HOST: node121.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.67/1.05	c (0,0) Parsing End
1.67/1.06	c (0,0) CSP: 869 int (0 aux), 31 bool (0 aux), 2 ctr, max domain size 30
1.67/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.06	c (0,0) Constraint Name Generate Begin
1.67/1.07	c (0,0) Ctr:HOME/instance-4405330-1569359092.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.07	c (0,0) Constraint Name Generate End
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) CSP to CSPinCNF Begin
1.67/1.10	c (0,0) translated 1 (10%) constraints
5.38/2.79	c (2,2) translated 2 (20%) constraints
5.55/2.81	c (2,2) ===========================================
6.41/3.10	c (2,2) Order
6.41/3.10	c (2,2) ===========================================
7.44/3.38	c (2,2) translated 2855 (10%) constraints
8.78/3.72	c (3,3) translated 5709 (20%) constraints
9.21/4.04	c (3,3) translated 8564 (30%) constraints
9.50/4.35	c (3,3) translated 11418 (40%) constraints
9.80/4.68	c (4,4) translated 14273 (50%) constraints
10.13/4.96	c (4,4) translated 17127 (60%) constraints
10.47/5.23	c (4,4) translated 19982 (70%) constraints
10.82/5.50	c (4,4) translated 22836 (80%) constraints
11.12/5.80	c (5,5) translated 25691 (90%) constraints
11.34/6.05	c (5,5) translated 28545 (100%) constraints
11.34/6.05	c (5,5) CSP to CSPinCNF End
11.34/6.06	c (5,5) CSP: 869 int (0 aux), 27031 bool (27000 aux), 137070 ctr, max domain size 30
11.34/6.06	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.34/6.06	c (5,5) CSPinCNF Propagation Begin
14.76/8.21	c (7,7) 20656 values, 88712 unsatisfiable literals, and 92199 valid clauses are removed
14.76/8.21	c (7,7) CSPinCNF Propagation End
14.76/8.22	c (7,7) CSP: 868 int (0 aux), 27032 bool (27000 aux), 44871 ctr, max domain size 30
14.76/8.22	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.76/8.22	c (7,7) Simplify CSPinCNF Begin
15.69/8.72	c (8,8) Simplify CSPinCNF End
15.69/8.73	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
15.69/8.73	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.69/8.73	c (8,8) Calculate Precise Domain Begin
15.69/8.74	c (8,8) 0 values are removed by re-calculation
15.69/8.74	c (8,8) Calculate Precise Domain End
15.69/8.75	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
15.69/8.75	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.69/8.75	c (8,8) CSPinCNF to SatSolver Begin
17.33/9.27	c (8,8) 7049 (10 %) CSP clauses are encoded (0 SAT variables, 28264 SAT clauses)
17.86/9.42	c (8,8) 14098 (20 %) CSP clauses are encoded (0 SAT variables, 48481 SAT clauses)
17.99/9.57	c (9,8) 21147 (30 %) CSP clauses are encoded (0 SAT variables, 70396 SAT clauses)
18.21/9.70	c (9,9) 28196 (40 %) CSP clauses are encoded (0 SAT variables, 91017 SAT clauses)
18.31/9.84	c (9,9) 35245 (50 %) CSP clauses are encoded (0 SAT variables, 112442 SAT clauses)
18.41/9.98	c (9,9) 42294 (60 %) CSP clauses are encoded (0 SAT variables, 134371 SAT clauses)
18.67/10.12	c (9,9) 49343 (70 %) CSP clauses are encoded (0 SAT variables, 157268 SAT clauses)
18.77/10.26	c (9,9) 56392 (80 %) CSP clauses are encoded (0 SAT variables, 178513 SAT clauses)
18.87/10.38	c (9,9) 63441 (90 %) CSP clauses are encoded (0 SAT variables, 198042 SAT clauses)
19.07/10.51	c (9,9) 70489 (100 %) CSP clauses are encoded (0 SAT variables, 219580 SAT clauses)
19.07/10.51	c (9,9) CSPinCNF to SatSolver End
19.07/10.51	c (9,9) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.07/10.51	c (9,9) 41617 bool, 219581 clause
19.07/10.51	c (9,9) Export Begin
19.26/10.65	c (10,10) Export to HOME/scop-21457-serial-file.bin
19.26/10.65	c (10,10) Export End
19.26/10.65	c (10,10) Export File Size: 0.15 MB
19.26/10.65	c (10,10) 0,0,5,7,8,8,9,STOP-AFTER(DIMACS)
19.26/10.65	c END-Prog: Tue Sep 24 23:04:20 CEST 2019
19.26/10.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21457-serial-file.bin
20.01/11.17	c (0,0) Read Serial File Begin
20.01/11.17	c (0,0) HOME/scop-21457-serial-file.bin
20.52/11.42	c (0,0) Read Serial File End
20.52/11.44	
20.52/11.44	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.52/11.44	(Solving Process)
20.52/11.44	
20.52/11.46	c BEGIN-Prog: Tue Sep 24 23:04:20 CEST 2019
20.52/11.46	c PID: 21480
20.52/11.46	c IP: 172.20.3.121
20.52/11.46	c HOST: node121.alineos.net
20.52/11.46	c (0,0) SatSolver.solve Begin
20.52/11.46	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405330-1569359092.xml-scop-21460.cnf
20.52/11.49	c (0,0) c
20.52/11.49	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)
20.52/11.49	c (0,0) c
20.52/11.49	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.52/11.49	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.52/11.49	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.52/11.49	c (0,0) c |                                                                                                       |
20.79/11.57	c (0,0) c |  Number of variables:         41617                                                                   |
20.79/11.57	c (0,0) c |  Number of clauses:          219581                                                                   |
20.79/11.57	c (0,0) c |  Parse time:                   0.07 s                                                                 |
20.79/11.57	c (0,0) c |                                                                                                       |
20.86/11.79	c (0,0) c |  Simplification time:          0.21 s                                                                 |
20.86/11.79	c (0,0) c |                                                                                                       |
20.86/11.79	c (0,0) c |  Generating clones                                                                                    |
20.86/11.91	c (0,0) c |  all clones generated. Memory =   206.18Mb.                                                           |
20.86/11.91	c (0,0) c ========================================================================================================|
20.86/11.91	c (0,0) c
20.86/11.91	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
20.86/11.91	c (0,0) c
20.86/11.91	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.86/11.91	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
20.86/11.91	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.86/11.91	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
20.86/11.91	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
20.86/11.91	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
20.86/11.91	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
20.86/11.91	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
20.86/11.91	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
20.86/11.91	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
20.86/11.91	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
20.86/11.91	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
20.86/11.91	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
20.86/11.91	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
20.86/11.91	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
20.86/11.91	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
20.86/11.91	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
20.86/11.91	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
20.86/11.91	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
256.94/41.51	c (30,0) c
256.94/41.51	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.94/41.51	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
256.94/41.51	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.94/41.51	c (30,0) c |  0 |    514 |     260735 |      34108 |    59422 |    17741 |     6658 |    42982 |     3136 |      142 |  20 |  5.882 |
256.94/41.51	c (30,0) c |  1 |    504 |     263749 |      32835 |    58565 |    16468 |     6564 |    41407 |     2977 |      134 |  20 |  5.880 |
256.94/41.51	c (30,0) c |  2 |    523 |     266608 |      35182 |    60149 |    18803 |     6803 |    43979 |     3287 |      147 |  20 |  5.882 |
256.94/41.51	c (30,0) c |  3 |    535 |     276446 |      36166 |    60785 |     9975 |     6881 |    45416 |     3547 |      153 |  20 |  5.887 |
256.94/41.51	c (30,0) c |  4 |    542 |     271400 |      36394 |    60346 |    10205 |     7119 |    44956 |     3432 |      152 |  20 |  5.889 |
256.94/41.51	c (30,0) c |  5 |    512 |     271965 |      35934 |    60397 |    19547 |     6919 |    44549 |     3416 |      150 |  20 |  5.885 |
256.94/41.51	c (30,0) c |  6 |    556 |     273469 |      36721 |    60668 |    10535 |     6965 |    45098 |     3459 |      152 |  20 |  5.887 |
256.94/41.51	c (30,0) c |  7 |    551 |     283335 |      36344 |    60411 |    10162 |     7004 |    44996 |     3413 |      152 |  20 |  5.885 |
256.94/41.51	c (30,0) c 
256.94/41.51	c (30,0) c synthesis      283684 conflicts   339775181 propagations     1204 conflicts/sec  1442075 propagations/sec
256.94/41.51	c (30,0) c real: 30.0213 s, cpu: 235.615 s, memory: 776.98 Mb
484.87/70.51	c (59,0) c
484.87/70.51	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
484.87/70.51	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
484.87/70.51	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
484.87/70.51	c (59,0) c |  0 |    877 |     347258 |      63668 |    70273 |    25079 |    10662 |    70854 |     6193 |      290 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  1 |    909 |     352784 |      62427 |    69702 |    23841 |    10416 |    69644 |     6195 |      282 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  2 |    947 |     360392 |      63735 |    70337 |    25148 |    10597 |    71112 |     6278 |      291 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  3 |    909 |     360500 |      62698 |    70219 |    24106 |    10352 |    70601 |     6267 |      287 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  4 |    892 |     348484 |      62150 |    69384 |    23556 |    10482 |    69185 |     6101 |      280 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  5 |    881 |     354387 |      62513 |    70099 |    23920 |    10418 |    69970 |     6137 |      284 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  6 |    947 |     362243 |      64261 |    70657 |    25666 |    10554 |    70983 |     6365 |      291 |  20 |  5.937 |
484.87/70.51	c (59,0) c |  7 |    914 |     364097 |      62885 |    69798 |    24295 |    10495 |    70169 |     6248 |      285 |  20 |  5.937 |
484.87/70.51	c (59,0) c 
484.87/70.51	c (59,0) c synthesis      504338 conflicts   587169671 propagations     1088 conflicts/sec  1267151 propagations/sec
484.87/70.51	c (59,0) c real: 59.0213 s, cpu: 463.378 s, memory: 776.98 Mb
714.84/99.51	c (88,0) c
714.84/99.51	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
714.84/99.51	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
714.84/99.51	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
714.84/99.51	c (88,0) c |  0 |   1125 |     405064 |      86656 |    75418 |    33063 |    13294 |    89577 |     8583 |      415 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  1 |   1165 |     413532 |      87776 |    75711 |    34188 |    13303 |    90332 |     8821 |      420 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  2 |   1215 |     422968 |      87298 |    75831 |    33707 |    13339 |    90271 |     8643 |      420 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  3 |   1235 |     430617 |      87453 |    75981 |    33861 |    13118 |    91102 |     8903 |      424 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  4 |   1218 |     420773 |      88752 |    75769 |    35157 |    13469 |    90886 |     8957 |      426 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  5 |   1157 |     417099 |      86716 |    75734 |    33119 |    13203 |    89984 |     8650 |      417 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  6 |   1196 |     418077 |      85385 |    75313 |    31786 |    12962 |    88546 |     8503 |      406 |  20 |  5.949 |
714.84/99.51	c (88,0) c |  7 |   1222 |     430919 |      87780 |    75608 |    34185 |    13367 |    90112 |     8746 |      421 |  20 |  5.949 |
714.84/99.51	c (88,0) c 
714.84/99.51	c (88,0) c synthesis      697816 conflicts   808130977 propagations     1007 conflicts/sec  1165720 propagations/sec
714.84/99.51	c (88,0) c real: 88.0216 s, cpu: 693.246 s, memory: 776.98 Mb
936.41/128.51	c (117,0) c
936.41/128.51	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
936.41/128.51	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
936.41/128.51	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
936.41/128.51	c (117,0) c |  0 |   1335 |     453981 |     107792 |    79322 |    36595 |    15372 |   104682 |    10639 |      535 |  20 |  5.952 |
936.41/128.51	c (117,0) c |  1 |   1401 |     468206 |     110350 |    79661 |    39157 |    15495 |   106931 |    11054 |      548 |  20 |  5.952 |
936.41/128.51	c (117,0) c |  2 |   1458 |     479904 |     110966 |    80090 |    39774 |    15692 |   107660 |    10927 |      555 |  20 |  5.954 |
936.41/128.51	c (117,0) c |  3 |   1457 |     485437 |     110216 |    79930 |    39021 |    15634 |   107368 |    10985 |      552 |  20 |  5.954 |
936.41/128.51	c (117,0) c |  4 |   1428 |     471120 |     111160 |    79610 |    39964 |    15706 |   107656 |    11116 |      555 |  20 |  5.952 |
936.41/128.51	c (117,0) c |  5 |   1380 |     470680 |     110565 |    79868 |    39371 |    15585 |   107526 |    10948 |      554 |  20 |  5.952 |
936.41/128.51	c (117,0) c |  6 |   1438 |     477092 |     109595 |    79608 |    38395 |    15577 |   105913 |    10815 |      540 |  20 |  5.952 |
936.41/128.51	c (117,0) c |  7 |   1465 |     489762 |     111590 |    79731 |    40391 |    15813 |   107251 |    11101 |      555 |  20 |  5.952 |
936.41/128.51	c (117,0) c 
936.41/128.51	c (117,0) c synthesis      882234 conflicts  1020227078 propagations      965 conflicts/sec  1115672 propagations/sec
936.41/128.51	c (117,0) c real: 117.022 s, cpu: 914.451 s, memory: 776.98 Mb
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c real time : 128.585 s
1013.73/140.07	c (128,0) c cpu time  : 991.704 s
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c | Conflicts     |          950700 |     118643 |     119032 |     118582 |     118421 |     118540 |     118509 |     119679 |     119294 |
1013.73/140.07	c (128,0) c | Decisions     |         3948011 |     474718 |     488597 |     499285 |     504299 |     482993 |     489349 |     502223 |     506547 |
1013.73/140.07	c (128,0) c | Propagations  |      1099245722 |  137189306 |  137705561 |  137363735 |  137358138 |  136378052 |  137130072 |  137483452 |  138637406 |
1013.73/140.07	c (128,0) c | ReduceDBs     |              72 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |
1013.73/140.07	c (128,0) c | SimpDBs       |             637 |         82 |         79 |         80 |         80 |         80 |         77 |         79 |         80 |
1013.73/140.07	c (128,0) c | Restarts      |           11967 |       1408 |       1491 |       1541 |       1536 |       1455 |       1458 |       1546 |       1532 |
1013.73/140.07	c (128,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1013.73/140.07	c (128,0) c | PropBinClauses|      3254289847 |  406716255 |  406288887 |  406986280 |  406688284 |  405164108 |  406347581 |  407544559 |  408553893 |
1013.73/140.07	c (128,0) c | PropPreBlocker|     16164689648 | 2018803053 | 2018327271 | 2020436045 | 2022975583 | 2015065570 | 2020902475 | 2022816695 | 2025362956 |
1013.73/140.07	c (128,0) c | PropNotBlocker|      4237327374 |  527608758 |  530369576 |  529667780 |  528938778 |  529702532 |  531250944 |  527903478 |  531885528 |
1013.73/140.07	c (128,0) c | LitFullScans  |     28722631892 | 3588771796 | 3588992809 | 3588441903 | 3589637988 | 3592220937 | 3592564716 | 3589275993 | 3592725750 |
1013.73/140.07	c (128,0) c | LitScanFracts |         9493878 |     768474 |     983810 |     435237 |     289954 |    1244231 |    2040906 |    1272835 |    2458431 |
1013.73/140.07	c (128,0) c | DecisionLevel0|           22476 |       2715 |       2763 |       2862 |       2838 |       2779 |       2767 |       2900 |       2852 |
1013.73/140.07	c (128,0) c | Periods       |            4784 |        598 |        598 |        598 |        598 |        598 |        598 |        598 |        598 |
1013.73/140.07	c (128,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1013.73/140.07	c (128,0) c | Avg_Trail     |                 |       9152 |       9121 |       9153 |       9199 |       9121 |       9141 |       9153 |       9132 |
1013.73/140.07	c (128,0) c | Avg_DL        |                 |         73 |         75 |         80 |         79 |         74 |         75 |         79 |         78 |
1013.73/140.07	c (128,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1013.73/140.07	c (128,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c | Exported      |          131710 |      16442 |      16365 |      16494 |      16415 |      16436 |      16459 |      16538 |      16561 |
1013.73/140.07	c (128,0) c | Imported      |          901078 |     112705 |     112633 |     112637 |     112669 |     112625 |     112723 |     112547 |     112539 |
1013.73/140.07	c (128,0) c | Good          |           63581 |       7956 |       7921 |       7915 |       8025 |       7924 |       7934 |       8014 |       7892 |
1013.73/140.07	c (128,0) c | Purge         |          837497 |     104749 |     104712 |     104722 |     104644 |     104701 |     104789 |     104533 |     104647 |
1013.73/140.07	c (128,0) c | Promoted      |           93133 |      11523 |      11820 |      11544 |      11689 |      11553 |      11595 |      11692 |      11717 |
1013.73/140.07	c (128,0) c | Remove_Imp    |          537545 |      66682 |      67208 |      67487 |      67603 |      67385 |      67787 |      66793 |      66600 |
1013.73/140.07	c (128,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c | Unaries       |                 |       1307 |       1272 |       1321 |       1302 |       1324 |       1309 |       1354 |       1320 |
1013.73/140.07	c (128,0) c | Binaries      |                 |       1130 |       1163 |       1170 |       1059 |       1162 |       1150 |       1071 |       1194 |
1013.73/140.07	c (128,0) c | Glues         |                 |       2332 |       2362 |       2346 |       2219 |       2378 |       2312 |       2247 |       2405 |
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c | Orig_Seen     |            49 % |      80769 |      81109 |      81244 |      81207 |      80549 |      81070 |      81225 |      80839 |
1013.73/140.07	c (128,0) c | Diff Orig seen|                 | -      438 | -       98 |         37 |      X     | -      658 | -      137 |         18 | -      368 |
1013.73/140.07	c (128,0) c | Hamming       |            12 % |       4939 |       5328 |       4769 |      X     |       5034 |       5435 |       4939 |       4894 |
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c | RunningTime   |                 |  127.0  99%|  126.9 100%|  125.3  99%|  121.8  97%|  119.9  95%|  123.6  98%|  127.2 100%|  123.6  98%|
1013.73/140.07	c (128,0) c | WaitingTime   |                 |    1.0   1%|    0.1   0%|    0.6   0%|    4.1   3%|    6.0   5%|    2.3   2%|    0.5   0%|    2.3   2%|
1013.73/140.07	c (128,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%|
1013.73/140.07	c (128,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%|
1013.73/140.07	c (128,0) c | SolvingTime   |                 |  128.1     |  127.1     |  126.0     |  125.9     |  126.0     |  126.0     |  127.7     |  125.9     |
1013.73/140.07	c (128,0) c | PropagationTim|                 |  109.3  85%|  110.4  87%|  109.4  87%|  108.4  86%|  109.6  87%|  108.4  86%|  108.5  85%|  109.2  87%|
1013.73/140.07	c (128,0) c | AnalysisTime  |                 |   14.3  11%|   11.9   9%|   11.8   9%|   12.9  10%|   11.6   9%|   12.8  10%|   14.3  11%|   12.0   9%|
1013.73/140.07	c (128,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%|
1013.73/140.07	c (128,0) c | SimplifyTime  |                 |    0.6   0%|    0.6   0%|    0.6   0%|    0.6   0%|    0.7   1%|    0.6   0%|    0.7   1%|    0.7   1%|
1013.73/140.07	c (128,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%|
1013.73/140.07	c (128,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%|
1013.73/140.07	c (128,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c
1013.73/140.07	c (128,0) c Threads : 8
1013.73/140.07	c (128,0) c Winner : 3
1013.73/140.07	c (128,0) c Conflicts_0 : 118643
1013.73/140.07	c (128,0) c Conflicts_1 : 119032
1013.73/140.07	c (128,0) c Conflicts_2 : 118582
1013.73/140.07	c (128,0) c Conflicts_3 : 118421
1013.73/140.07	c (128,0) c Conflicts_4 : 118540
1013.73/140.07	c (128,0) c Conflicts_5 : 118509
1013.73/140.07	c (128,0) c Conflicts_6 : 119679
1013.73/140.07	c (128,0) c Conflicts_7 : 119294
1013.73/140.08	c (128,0) c Conflicts_total : 950700
1013.73/140.08	c (128,0) c Conflicts_winner : 118421
1013.73/140.08	c (128,0) c Decisions_0 : 474718
1013.73/140.08	c (128,0) c Decisions_1 : 488597
1013.73/140.08	c (128,0) c Decisions_2 : 499285
1013.73/140.08	c (128,0) c Decisions_3 : 504299
1013.73/140.08	c (128,0) c Decisions_4 : 482993
1013.73/140.08	c (128,0) c Decisions_5 : 489349
1013.73/140.08	c (128,0) c Decisions_6 : 502223
1013.73/140.08	c (128,0) c Decisions_7 : 506547
1013.73/140.08	c (128,0) c Decisions_total : 3948011
1013.73/140.08	c (128,0) c Decisions_winner : 504299
1013.73/140.08	c (128,0) c Propagations_0 : 137189306
1013.73/140.08	c (128,0) c Propagations_1 : 137705561
1013.73/140.08	c (128,0) c Propagations_2 : 137363735
1013.73/140.08	c (128,0) c Propagations_3 : 137358138
1013.73/140.08	c (128,0) c Propagations_4 : 136378052
1013.73/140.08	c (128,0) c Propagations_5 : 137130072
1013.73/140.08	c (128,0) c Propagations_6 : 137483452
1013.73/140.08	c (128,0) c Propagations_7 : 138637406
1013.73/140.08	c (128,0) c Propagations_total : 1099245722
1013.73/140.08	c (128,0) c Propagations_winner : 137358138
1013.73/140.08	c (128,0) c ReduceDBs_0 : 9
1013.73/140.08	c (128,0) c ReduceDBs_1 : 9
1013.73/140.08	c (128,0) c ReduceDBs_2 : 9
1013.73/140.08	c (128,0) c ReduceDBs_3 : 9
1013.73/140.08	c (128,0) c ReduceDBs_4 : 9
1013.73/140.08	c (128,0) c ReduceDBs_5 : 9
1013.73/140.08	c (128,0) c ReduceDBs_6 : 9
1013.73/140.08	c (128,0) c ReduceDBs_7 : 9
1013.73/140.08	c (128,0) c ReduceDBs_total : 72
1013.73/140.08	c (128,0) c ReduceDBs_winner : 9
1013.73/140.08	c (128,0) c SimpDBs_0 : 82
1013.73/140.08	c (128,0) c SimpDBs_1 : 79
1013.73/140.08	c (128,0) c SimpDBs_2 : 80
1013.73/140.08	c (128,0) c SimpDBs_3 : 80
1013.73/140.08	c (128,0) c SimpDBs_4 : 80
1013.73/140.08	c (128,0) c SimpDBs_5 : 77
1013.73/140.08	c (128,0) c SimpDBs_6 : 79
1013.73/140.08	c (128,0) c SimpDBs_7 : 80
1013.73/140.08	c (128,0) c SimpDBs_total : 637
1013.73/140.08	c (128,0) c SimpDBs_winner : 80
1013.73/140.08	c (128,0) c Restarts_0 : 1408
1013.73/140.08	c (128,0) c Restarts_1 : 1491
1013.73/140.08	c (128,0) c Restarts_2 : 1541
1013.73/140.08	c (128,0) c Restarts_3 : 1536
1013.73/140.08	c (128,0) c Restarts_4 : 1455
1013.73/140.08	c (128,0) c Restarts_5 : 1458
1013.73/140.08	c (128,0) c Restarts_6 : 1546
1013.73/140.08	c (128,0) c Restarts_7 : 1532
1013.73/140.08	c (128,0) c Restarts_total : 11967
1013.73/140.08	c (128,0) c Restarts_winner : 1536
1013.73/140.08	c (128,0) c ForcedImports_0 : 0
1013.73/140.08	c (128,0) c ForcedImports_1 : 0
1013.73/140.08	c (128,0) c ForcedImports_2 : 0
1013.73/140.08	c (128,0) c ForcedImports_3 : 0
1013.73/140.08	c (128,0) c ForcedImports_4 : 0
1013.73/140.08	c (128,0) c ForcedImports_5 : 0
1013.73/140.08	c (128,0) c ForcedImports_6 : 0
1013.73/140.08	c (128,0) c ForcedImports_7 : 0
1013.73/140.08	c (128,0) c ForcedImports_total : 0
1013.73/140.08	c (128,0) c ForcedImports_winner : 0
1013.73/140.08	c (128,0) c PropsBinClauses_0 : 406716255
1013.73/140.08	c (128,0) c PropsBinClauses_1 : 406288887
1013.73/140.08	c (128,0) c PropsBinClauses_2 : 406986280
1013.73/140.08	c (128,0) c PropsBinClauses_3 : 406688284
1013.73/140.08	c (128,0) c PropsBinClauses_4 : 405164108
1013.73/140.08	c (128,0) c PropsBinClauses_5 : 406347581
1013.73/140.08	c (128,0) c PropsBinClauses_6 : 407544559
1013.73/140.08	c (128,0) c PropsBinClauses_7 : 408553893
1013.73/140.08	c (128,0) c PropsBinClauses_total : 3254289847
1013.73/140.08	c (128,0) c PropsBinClauses_winner : 406688284
1013.73/140.08	c (128,0) c PropsPreBlocker_0 : 2018803053
1013.73/140.08	c (128,0) c PropsPreBlocker_1 : 2018327271
1013.73/140.08	c (128,0) c PropsPreBlocker_2 : 2020436045
1013.73/140.08	c (128,0) c PropsPreBlocker_3 : 2022975583
1013.73/140.08	c (128,0) c PropsPreBlocker_4 : 2015065570
1013.73/140.08	c (128,0) c PropsPreBlocker_5 : 2020902475
1013.73/140.08	c (128,0) c PropsPreBlocker_6 : 2022816695
1013.73/140.08	c (128,0) c PropsPreBlocker_7 : 2025362956
1013.73/140.08	c (128,0) c PropsPreBlocker_total : 16164689648
1013.73/140.08	c (128,0) c PropsPreBlocker_winner : 2022975583
1013.73/140.08	c (128,0) c PropsNotBlocker_0 : 527608758
1013.73/140.08	c (128,0) c PropsNotBlocker_1 : 530369576
1013.73/140.08	c (128,0) c PropsNotBlocker_2 : 529667780
1013.73/140.08	c (128,0) c PropsNotBlocker_3 : 528938778
1013.73/140.08	c (128,0) c PropsNotBlocker_4 : 529702532
1013.73/140.08	c (128,0) c PropsNotBlocker_5 : 531250944
1013.73/140.08	c (128,0) c PropsNotBlocker_6 : 527903478
1013.73/140.08	c (128,0) c PropsNotBlocker_7 : 531885528
1013.73/140.08	c (128,0) c PropsNotBlocker_total : 4237327374
1013.73/140.08	c (128,0) c PropsNotBlocker_winner : 528938778
1013.73/140.08	c (128,0) c PropsLitFullScans_0 : 3588771796
1013.73/140.08	c (128,0) c PropsLitFullScans_1 : 3588992809
1013.73/140.08	c (128,0) c PropsLitFullScans_2 : 3588441903
1013.73/140.08	c (128,0) c PropsLitFullScans_3 : 3589637988
1013.73/140.08	c (128,0) c PropsLitFullScans_4 : 3592220937
1013.73/140.08	c (128,0) c PropsLitFullScans_5 : 3592564716
1013.73/140.08	c (128,0) c PropsLitFullScans_6 : 3589275993
1013.73/140.08	c (128,0) c PropsLitFullScans_7 : 3592725750
1013.73/140.08	c (128,0) c PropsLitFullScans_total : 28722631892
1013.73/140.08	c (128,0) c PropsLitFullScans_winner : 3589637988
1013.73/140.08	c (128,0) c LitScanFractions_0 : 768474
1013.73/140.08	c (128,0) c LitScanFractions_1 : 983810
1013.73/140.08	c (128,0) c LitScanFractions_2 : 435237
1013.73/140.08	c (128,0) c LitScanFractions_3 : 289954
1013.73/140.08	c (128,0) c LitScanFractions_4 : 1244231
1013.73/140.08	c (128,0) c LitScanFractions_5 : 2040906
1013.73/140.08	c (128,0) c LitScanFractions_6 : 1272835
1013.73/140.08	c (128,0) c LitScanFractions_7 : 2458431
1013.73/140.08	c (128,0) c LitScanFractions_total : 9493878
1013.73/140.08	c (128,0) c LitScanFractions_winner : 289954
1013.73/140.08	c (128,0) c DecisionLevel0_0 : 2715
1013.73/140.08	c (128,0) c DecisionLevel0_1 : 2763
1013.73/140.08	c (128,0) c DecisionLevel0_2 : 2862
1013.73/140.08	c (128,0) c DecisionLevel0_3 : 2838
1013.73/140.08	c (128,0) c DecisionLevel0_4 : 2779
1013.73/140.08	c (128,0) c DecisionLevel0_5 : 2767
1013.73/140.08	c (128,0) c DecisionLevel0_6 : 2900
1013.73/140.08	c (128,0) c DecisionLevel0_7 : 2852
1013.73/140.08	c (128,0) c DecisionLevel0_total : 22476
1013.73/140.08	c (128,0) c DecisionLevel0_winner : 2838
1013.73/140.08	c (128,0) c Periods_0 : 598
1013.73/140.08	c (128,0) c Periods_1 : 598
1013.73/140.08	c (128,0) c Periods_2 : 598
1013.73/140.08	c (128,0) c Periods_3 : 598
1013.73/140.08	c (128,0) c Periods_4 : 598
1013.73/140.08	c (128,0) c Periods_5 : 598
1013.73/140.08	c (128,0) c Periods_6 : 598
1013.73/140.08	c (128,0) c Periods_7 : 598
1013.73/140.08	c (128,0) c Periods_total : 4784
1013.73/140.08	c (128,0) c Periods_winner : 598
1013.73/140.08	c (128,0) c Margin_0 : 20
1013.73/140.08	c (128,0) c Margin_1 : 20
1013.73/140.08	c (128,0) c Margin_2 : 20
1013.73/140.08	c (128,0) c Margin_3 : 20
1013.73/140.08	c (128,0) c Margin_4 : 20
1013.73/140.08	c (128,0) c Margin_5 : 20
1013.73/140.08	c (128,0) c Margin_6 : 20
1013.73/140.08	c (128,0) c Margin_7 : 20
1013.73/140.08	c (128,0) c Margin_total : 160
1013.73/140.08	c (128,0) c Margin_winner : 20
1013.73/140.08	c (128,0) c Exported_0 : 16442
1013.73/140.08	c (128,0) c Exported_1 : 16365
1013.73/140.08	c (128,0) c Exported_2 : 16494
1013.73/140.08	c (128,0) c Exported_3 : 16415
1013.73/140.08	c (128,0) c Exported_4 : 16436
1013.73/140.08	c (128,0) c Exported_5 : 16459
1013.73/140.08	c (128,0) c Exported_6 : 16538
1013.73/140.08	c (128,0) c Exported_7 : 16561
1013.73/140.08	c (128,0) c Exported_total : 131710
1013.73/140.08	c (128,0) c Exported_winner : 16415
1013.73/140.08	c (128,0) c Imported_0 : 112705
1013.73/140.08	c (128,0) c Imported_1 : 112633
1013.73/140.08	c (128,0) c Imported_2 : 112637
1013.73/140.08	c (128,0) c Imported_3 : 112669
1013.73/140.08	c (128,0) c Imported_4 : 112625
1013.73/140.08	c (128,0) c Imported_5 : 112723
1013.73/140.08	c (128,0) c Imported_6 : 112547
1013.73/140.08	c (128,0) c Imported_7 : 112539
1013.73/140.08	c (128,0) c Imported_total : 901078
1013.73/140.08	c (128,0) c Imported_winner : 112669
1013.73/140.08	c (128,0) c Good_0 : 7956
1013.73/140.08	c (128,0) c Good_1 : 7921
1013.73/140.08	c (128,0) c Good_2 : 7915
1013.73/140.08	c (128,0) c Good_3 : 8025
1013.73/140.08	c (128,0) c Good_4 : 7924
1013.73/140.08	c (128,0) c Good_5 : 7934
1013.73/140.08	c (128,0) c Good_6 : 8014
1013.73/140.08	c (128,0) c Good_7 : 7892
1013.73/140.08	c (128,0) c Good_total : 63581
1013.73/140.08	c (128,0) c Good_winner : 8025
1013.73/140.08	c (128,0) c Purge_0 : 104749
1013.73/140.08	c (128,0) c Purge_1 : 104712
1013.73/140.08	c (128,0) c Purge_2 : 104722
1013.73/140.08	c (128,0) c Purge_3 : 104644
1013.73/140.08	c (128,0) c Purge_4 : 104701
1013.73/140.08	c (128,0) c Purge_5 : 104789
1013.73/140.08	c (128,0) c Purge_6 : 104533
1013.73/140.08	c (128,0) c Purge_7 : 104647
1013.73/140.08	c (128,0) c Purge_total : 837497
1013.73/140.08	c (128,0) c Purge_winner : 104644
1013.73/140.08	c (128,0) c Promoted_0 : 11523
1013.73/140.08	c (128,0) c Promoted_1 : 11820
1013.73/140.08	c (128,0) c Promoted_2 : 11544
1013.73/140.08	c (128,0) c Promoted_3 : 11689
1013.73/140.08	c (128,0) c Promoted_4 : 11553
1013.73/140.08	c (128,0) c Promoted_5 : 11595
1013.73/140.08	c (128,0) c Promoted_6 : 11692
1013.73/140.08	c (128,0) c Promoted_7 : 11717
1013.73/140.08	c (128,0) c Promoted_total : 93133
1013.73/140.08	c (128,0) c Promoted_winner : 11689
1013.73/140.08	c (128,0) c Remove_Imp_0 : 66682
1013.73/140.08	c (128,0) c Remove_Imp_1 : 67208
1013.73/140.08	c (128,0) c Remove_Imp_2 : 67487
1013.73/140.08	c (128,0) c Remove_Imp_3 : 67603
1013.73/140.08	c (128,0) c Remove_Imp_4 : 67385
1013.73/140.08	c (128,0) c Remove_Imp_5 : 67787
1013.73/140.08	c (128,0) c Remove_Imp_6 : 66793
1013.73/140.08	c (128,0) c Remove_Imp_7 : 66600
1013.73/140.08	c (128,0) c Remove_Imp_total : 537545
1013.73/140.08	c (128,0) c Remove_Imp_winner : 67603
1013.73/140.08	c (128,0) c Blocked_Reuse_0 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_1 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_2 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_3 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_4 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_5 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_6 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_7 : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_total : 0
1013.73/140.08	c (128,0) c Blocked_Reuse_winner : 0
1013.73/140.08	c (128,0) c Unaries_0 : 1307
1013.73/140.08	c (128,0) c Unaries_1 : 1272
1013.73/140.08	c (128,0) c Unaries_2 : 1321
1013.73/140.08	c (128,0) c Unaries_3 : 1302
1013.73/140.08	c (128,0) c Unaries_4 : 1324
1013.73/140.08	c (128,0) c Unaries_5 : 1309
1013.73/140.08	c (128,0) c Unaries_6 : 1354
1013.73/140.08	c (128,0) c Unaries_7 : 1320
1013.73/140.08	c (128,0) c Unaries_total : 10509
1013.73/140.08	c (128,0) c Unaries_winner : 1302
1013.73/140.08	c (128,0) c Binaries_0 : 1130
1013.73/140.08	c (128,0) c Binaries_1 : 1163
1013.73/140.08	c (128,0) c Binaries_2 : 1170
1013.73/140.08	c (128,0) c Binaries_3 : 1059
1013.73/140.08	c (128,0) c Binaries_4 : 1162
1013.73/140.08	c (128,0) c Binaries_5 : 1150
1013.73/140.08	c (128,0) c Binaries_6 : 1071
1013.73/140.08	c (128,0) c Binaries_7 : 1194
1013.73/140.08	c (128,0) c Binaries_total : 9099
1013.73/140.08	c (128,0) c Binaries_winner : 1059
1013.73/140.08	c (128,0) c Glues_0 : 2332
1013.73/140.08	c (128,0) c Glues_1 : 2362
1013.73/140.08	c (128,0) c Glues_2 : 2346
1013.73/140.08	c (128,0) c Glues_3 : 2219
1013.73/140.08	c (128,0) c Glues_4 : 2378
1013.73/140.08	c (128,0) c Glues_5 : 2312
1013.73/140.08	c (128,0) c Glues_6 : 2247
1013.73/140.08	c (128,0) c Glues_7 : 2405
1013.73/140.08	c (128,0) c Glues_total : 18601
1013.73/140.08	c (128,0) c Glues_winner : 2219
1013.73/140.08	c (128,0) c RunningTime_0 : 127.045156
1013.73/140.08	c (128,0) c RunningTime_1 : 126.914177
1013.73/140.08	c (128,0) c RunningTime_2 : 125.332836
1013.73/140.08	c (128,0) c RunningTime_3 : 121.751089
1013.73/140.08	c (128,0) c RunningTime_4 : 119.901175
1013.73/140.08	c (128,0) c RunningTime_5 : 123.566803
1013.73/140.08	c (128,0) c RunningTime_6 : 127.154913
1013.73/140.08	c (128,0) c RunningTime_7 : 123.556426
1013.73/140.08	c (128,0) c RunningTime_total : 995.222576
1013.73/140.08	c (128,0) c RunningTime_winner : 121.751089
1013.73/140.08	c (128,0) c WaitingTime_0 : 1.030386
1013.73/140.08	c (128,0) c WaitingTime_1 : 0.142115
1013.73/140.08	c (128,0) c WaitingTime_2 : 0.626160
1013.73/140.08	c (128,0) c WaitingTime_3 : 4.082835
1013.73/140.08	c (128,0) c WaitingTime_4 : 5.977160
1013.73/140.08	c (128,0) c WaitingTime_5 : 2.312639
1013.73/140.08	c (128,0) c WaitingTime_6 : 0.463860
1013.73/140.08	c (128,0) c WaitingTime_7 : 2.319915
1013.73/140.08	c (128,0) c WaitingTime_total : 16.955069
1013.73/140.08	c (128,0) c WaitingTime_winner : 4.082835
1013.73/140.08	c (128,0) c ExchangingTime_0 : 0.064456
1013.73/140.08	c (128,0) c ExchangingTime_1 : 0.067484
1013.73/140.08	c (128,0) c ExchangingTime_2 : 0.069104
1013.73/140.08	c (128,0) c ExchangingTime_3 : 0.069232
1013.73/140.08	c (128,0) c ExchangingTime_4 : 0.069473
1013.73/140.08	c (128,0) c ExchangingTime_5 : 0.066665
1013.73/140.08	c (128,0) c ExchangingTime_6 : 0.072079
1013.73/140.08	c (128,0) c ExchangingTime_7 : 0.062736
1013.73/140.08	c (128,0) c ExchangingTime_total : 0.541228
1013.73/140.08	c (128,0) c ExchangingTime_winner : 0.069232
1013.73/140.08	c (128,0) c PeriodProcTime_0 : 0.006779
1013.73/140.08	c (128,0) c PeriodProcTime_1 : 0.005973
1013.73/140.08	c (128,0) c PeriodProcTime_2 : 0.005816
1013.73/140.08	c (128,0) c PeriodProcTime_3 : 0.005450
1013.73/140.08	c (128,0) c PeriodProcTime_4 : 0.005036
1013.73/140.08	c (128,0) c PeriodProcTime_5 : 0.005396
1013.73/140.08	c (128,0) c PeriodProcTime_6 : 0.006006
1013.73/140.08	c (128,0) c PeriodProcTime_7 : 0.005373
1013.73/140.08	c (128,0) c PeriodProcTime_total : 0.045829
1013.73/140.08	c (128,0) c PeriodProcTime_winner : 0.005450
1013.73/140.08	c (128,0) c SolvingTime_0 : 128.146777
1013.73/140.08	c (128,0) c SolvingTime_1 : 127.129748
1013.73/140.08	c (128,0) c SolvingTime_2 : 126.033916
1013.73/140.08	c (128,0) c SolvingTime_3 : 125.908606
1013.73/140.08	c (128,0) c SolvingTime_4 : 125.952843
1013.73/140.08	c (128,0) c SolvingTime_5 : 125.951503
1013.73/140.08	c (128,0) c SolvingTime_6 : 127.696858
1013.73/140.08	c (128,0) c SolvingTime_7 : 125.944450
1013.73/140.08	c (128,0) c SolvingTime_total : 1012.764702
1013.73/140.08	c (128,0) c SolvingTime_winner : 125.908606
1013.73/140.08	c (128,0) c PropagationTime_0 : 109.255881
1013.73/140.08	c (128,0) c PropagationTime_1 : 110.391178
1013.73/140.08	c (128,0) c PropagationTime_2 : 109.449299
1013.73/140.08	c (128,0) c PropagationTime_3 : 108.371340
1013.73/140.08	c (128,0) c PropagationTime_4 : 109.642693
1013.73/140.08	c (128,0) c PropagationTime_5 : 108.412401
1013.73/140.08	c (128,0) c PropagationTime_6 : 108.533126
1013.73/140.08	c (128,0) c PropagationTime_7 : 109.226330
1013.73/140.08	c (128,0) c PropagationTime_total : 873.282248
1013.73/140.08	c (128,0) c PropagationTime_winner : 108.371340
1013.73/140.08	c (128,0) c AnalysisTime_0 : 14.289364
1013.73/140.08	c (128,0) c AnalysisTime_1 : 11.938979
1013.73/140.08	c (128,0) c AnalysisTime_2 : 11.847076
1013.73/140.08	c (128,0) c AnalysisTime_3 : 12.850160
1013.73/140.08	c (128,0) c AnalysisTime_4 : 11.581484
1013.73/140.08	c (128,0) c AnalysisTime_5 : 12.782059
1013.73/140.08	c (128,0) c AnalysisTime_6 : 14.263364
1013.73/140.08	c (128,0) c AnalysisTime_7 : 11.962041
1013.73/140.08	c (128,0) c AnalysisTime_total : 101.514529
1013.73/140.08	c (128,0) c AnalysisTime_winner : 12.850160
1013.73/140.08	c (128,0) c ReductionTime_0 : 0.308841
1013.73/140.08	c (128,0) c ReductionTime_1 : 0.341281
1013.73/140.08	c (128,0) c ReductionTime_2 : 0.325149
1013.73/140.08	c (128,0) c ReductionTime_3 : 0.315436
1013.73/140.08	c (128,0) c ReductionTime_4 : 0.307356
1013.73/140.08	c (128,0) c ReductionTime_5 : 0.308969
1013.73/140.08	c (128,0) c ReductionTime_6 : 0.316774
1013.73/140.08	c (128,0) c ReductionTime_7 : 0.308657
1013.73/140.08	c (128,0) c ReductionTime_total : 2.532463
1013.73/140.08	c (128,0) c ReductionTime_winner : 0.315436
1013.73/140.08	c (128,0) c SimplifyTime_0 : 0.564190
1013.73/140.08	c (128,0) c SimplifyTime_1 : 0.582374
1013.73/140.08	c (128,0) c SimplifyTime_2 : 0.586371
1013.73/140.08	c (128,0) c SimplifyTime_3 : 0.596590
1013.73/140.08	c (128,0) c SimplifyTime_4 : 0.666807
1013.73/140.08	c (128,0) c SimplifyTime_5 : 0.624707
1013.73/140.08	c (128,0) c SimplifyTime_6 : 0.685641
1013.73/140.08	c (128,0) c SimplifyTime_7 : 0.659992
1013.73/140.08	c (128,0) c SimplifyTime_total : 4.966672
1013.73/140.08	c (128,0) c SimplifyTime_winner : 0.596590
1013.73/140.08	c (128,0) c UsedRateTime_0 : 0.000000
1013.73/140.08	c (128,0) c UsedRateTime_1 : 0.000000
1013.73/140.08	c (128,0) c UsedRateTime_2 : 0.000000
1013.73/140.08	c (128,0) c UsedRateTime_3 : 0.000000
1013.73/140.08	c (128,0) c UsedRateTime_4 : 0.000000
1013.73/140.08	c (128,0) c UsedRateTime_5 : 0.000000
1013.73/140.09	c (128,0) c UsedRateTime_6 : 0.000000
1013.73/140.09	c (128,0) c UsedRateTime_7 : 0.000000
1013.73/140.09	c (128,0) c UsedRateTime_total : 0.000000
1013.73/140.09	c (128,0) c UsedRateTime_winner : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_0 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_1 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_2 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_3 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_4 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_5 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_6 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_7 : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_total : 0.000000
1013.73/140.09	c (128,0) c OverlapRateTime_winner : 0.000000
1013.73/140.09	c (128,0) c
1013.73/140.09	c (128,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1013.73/140.09	c (128,0) c
1013.73/140.09	c (128,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.09	c (128,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1013.73/140.09	c (128,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.09	c (128,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1013.73/140.09	c (128,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1013.73/140.09	c (128,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1013.73/140.09	c (128,0) c | Initial random_seed   |  102742887 |  335222307 |  983898913 |  714780498 | 1043199743 | 1700972063 | 1575413258 | 1888220326 |
1013.73/140.09	c (128,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1013.73/140.09	c (128,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1013.73/140.09	c (128,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1013.73/140.09	c (128,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1013.73/140.09	c (128,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1013.73/140.09	c (128,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1013.73/140.09	c (128,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1013.73/140.09	c (128,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1013.73/140.09	c (128,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1013.73/140.09	c (128,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1013.73/140.09	c (128,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1013.73/140.09	c (128,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1013.73/140.09	c (128,0) 
1013.73/140.09	c (129,0) s SATISFIABLE
21.10/140.14	c (129,0) SatSolver.solve End
21.10/140.14	c (129,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.10/140.14	c (129,0) Show results Begin
1014.43/140.34	c (129,0) x[0][0] = 19
1014.43/140.34	c (129,0) x[0][1] = 17
1014.43/140.34	c (129,0) x[0][2] = 9
1014.43/140.34	c (129,0) x[0][3] = 5
1014.43/140.34	c (129,0) x[0][4] = 6
1014.43/140.34	c (129,0) x[0][5] = 26
1014.43/140.34	c (129,0) x[0][6] = 8
1014.43/140.34	c (129,0) x[0][7] = 0
1014.43/140.34	c (129,0) x[0][8] = 16
1014.43/140.34	c (129,0) x[0][9] = 13
1014.43/140.34	c (129,0) x[0][10] = 23
1014.43/140.34	c (129,0) x[0][11] = 24
1014.43/140.34	c (129,0) x[0][12] = 12
1014.43/140.34	c (129,0) x[0][13] = 2
1014.43/140.34	c (129,0) x[0][14] = 10
1014.43/140.34	c (129,0) x[0][15] = 18
1014.43/140.34	c (129,0) x[0][16] = 3
1014.43/140.34	c (129,0) x[0][17] = 28
1014.43/140.34	c (129,0) x[0][18] = 27
1014.43/140.34	c (129,0) x[0][19] = 20
1014.43/140.34	c (129,0) x[0][20] = 4
1014.43/140.34	c (129,0) x[0][21] = 7
1014.43/140.34	c (129,0) x[0][22] = 29
1014.43/140.34	c (129,0) x[0][23] = 15
1014.43/140.34	c (129,0) x[0][24] = 22
1014.43/140.34	c (129,0) x[0][25] = 21
1014.43/140.35	c (129,0) x[0][26] = 1
1014.43/140.35	c (129,0) x[0][27] = 14
1014.43/140.35	c (129,0) x[0][28] = 25
1014.43/140.35	c (129,0) x[0][29] = 11
1014.43/140.35	c (129,0) x[1][0] = 15
1014.43/140.35	c (129,0) x[1][1] = 18
1014.43/140.35	c (129,0) x[1][2] = 22
1014.43/140.35	c (129,0) x[1][3] = 2
1014.43/140.35	c (129,0) x[1][4] = 13
1014.43/140.35	c (129,0) x[1][5] = 6
1014.43/140.35	c (129,0) x[1][6] = 19
1014.43/140.35	c (129,0) x[1][7] = 10
1014.43/140.35	c (129,0) x[1][8] = 4
1014.43/140.35	c (129,0) x[1][9] = 8
1014.43/140.35	c (129,0) x[1][10] = 9
1014.43/140.35	c (129,0) x[1][11] = 28
1014.43/140.35	c (129,0) x[1][12] = 3
1014.43/140.35	c (129,0) x[1][13] = 14
1014.43/140.35	c (129,0) x[1][14] = 24
1014.43/140.35	c (129,0) x[1][15] = 0
1014.43/140.35	c (129,0) x[1][16] = 17
1014.43/140.35	c (129,0) x[1][17] = 27
1014.43/140.35	c (129,0) x[1][18] = 25
1014.43/140.35	c (129,0) x[1][19] = 12
1014.43/140.35	c (129,0) x[1][20] = 7
1014.43/140.35	c (129,0) x[1][21] = 1
1014.43/140.35	c (129,0) x[1][22] = 26
1014.43/140.35	c (129,0) x[1][23] = 29
1014.43/140.35	c (129,0) x[1][24] = 11
1014.43/140.35	c (129,0) x[1][25] = 23
1014.43/140.35	c (129,0) x[1][26] = 21
1014.43/140.35	c (129,0) x[1][27] = 5
1014.43/140.35	c (129,0) x[1][28] = 20
1014.43/140.35	c (129,0) x[1][29] = 16
1014.43/140.35	c (129,0) x[2][0] = 8
1014.43/140.35	c (129,0) x[2][1] = 21
1014.43/140.35	c (129,0) x[2][2] = 24
1014.43/140.35	c (129,0) x[2][3] = 18
1014.43/140.35	c (129,0) x[2][4] = 1
1014.43/140.35	c (129,0) x[2][5] = 10
1014.43/140.35	c (129,0) x[2][6] = 17
1014.43/140.35	c (129,0) x[2][7] = 3
1014.43/140.35	c (129,0) x[2][8] = 20
1014.43/140.35	c (129,0) x[2][9] = 4
1014.43/140.35	c (129,0) x[2][10] = 29
1014.43/140.35	c (129,0) x[2][11] = 27
1014.43/140.35	c (129,0) x[2][12] = 14
1014.43/140.35	c (129,0) x[2][13] = 15
1014.43/140.35	c (129,0) x[2][14] = 0
1014.43/140.35	c (129,0) x[2][15] = 2
1014.43/140.35	c (129,0) x[2][16] = 22
1014.43/140.35	c (129,0) x[2][17] = 11
1014.43/140.35	c (129,0) x[2][18] = 7
1014.43/140.35	c (129,0) x[2][19] = 5
1014.43/140.35	c (129,0) x[2][20] = 13
1014.43/140.35	c (129,0) x[2][21] = 6
1014.43/140.35	c (129,0) x[2][22] = 28
1014.43/140.35	c (129,0) x[2][23] = 12
1014.43/140.35	c (129,0) x[2][24] = 19
1014.43/140.35	c (129,0) x[2][25] = 25
1014.43/140.35	c (129,0) x[2][26] = 26
1014.43/140.35	c (129,0) x[2][27] = 23
1014.43/140.35	c (129,0) x[2][28] = 16
1014.43/140.35	c (129,0) x[2][29] = 9
1014.43/140.35	c (129,0) x[3][0] = 14
1014.43/140.35	c (129,0) x[3][1] = 16
1014.43/140.35	c (129,0) x[3][2] = 2
1014.43/140.35	c (129,0) x[3][3] = 6
1014.43/140.35	c (129,0) x[3][4] = 15
1014.43/140.35	c (129,0) x[3][5] = 11
1014.43/140.35	c (129,0) x[3][6] = 21
1014.43/140.35	c (129,0) x[3][7] = 13
1014.43/140.35	c (129,0) x[3][8] = 7
1014.43/140.35	c (129,0) x[3][9] = 0
1014.43/140.35	c (129,0) x[3][10] = 19
1014.43/140.35	c (129,0) x[3][11] = 18
1014.43/140.35	c (129,0) x[3][12] = 25
1014.43/140.35	c (129,0) x[3][13] = 29
1014.43/140.35	c (129,0) x[3][14] = 4
1014.43/140.35	c (129,0) x[3][15] = 10
1014.43/140.35	c (129,0) x[3][16] = 20
1014.43/140.35	c (129,0) x[3][17] = 26
1014.43/140.35	c (129,0) x[3][18] = 5
1014.43/140.35	c (129,0) x[3][19] = 27
1014.43/140.35	c (129,0) x[3][20] = 8
1014.43/140.35	c (129,0) x[3][21] = 12
1014.43/140.35	c (129,0) x[3][22] = 3
1014.43/140.35	c (129,0) x[3][23] = 9
1014.43/140.35	c (129,0) x[3][24] = 24
1014.43/140.35	c (129,0) x[3][25] = 17
1014.43/140.35	c (129,0) x[3][26] = 28
1014.43/140.35	c (129,0) x[3][27] = 22
1014.43/140.35	c (129,0) x[3][28] = 1
1014.43/140.35	c (129,0) x[3][29] = 23
1014.43/140.35	c (129,0) x[4][0] = 4
1014.43/140.35	c (129,0) x[4][1] = 0
1014.43/140.35	c (129,0) x[4][2] = 29
1014.43/140.35	c (129,0) x[4][3] = 13
1014.43/140.35	c (129,0) x[4][4] = 14
1014.43/140.35	c (129,0) x[4][5] = 8
1014.43/140.35	c (129,0) x[4][6] = 20
1014.43/140.35	c (129,0) x[4][7] = 22
1014.43/140.35	c (129,0) x[4][8] = 23
1014.43/140.35	c (129,0) x[4][9] = 6
1014.43/140.35	c (129,0) x[4][10] = 5
1014.43/140.35	c (129,0) x[4][11] = 3
1014.43/140.35	c (129,0) x[4][12] = 7
1014.43/140.35	c (129,0) x[4][13] = 19
1014.43/140.35	c (129,0) x[4][14] = 27
1014.43/140.35	c (129,0) x[4][15] = 12
1014.43/140.35	c (129,0) x[4][16] = 2
1014.43/140.35	c (129,0) x[4][17] = 18
1014.43/140.35	c (129,0) x[4][18] = 1
1014.43/140.35	c (129,0) x[4][19] = 25
1014.43/140.35	c (129,0) x[4][20] = 24
1014.43/140.35	c (129,0) x[4][21] = 10
1014.43/140.35	c (129,0) x[4][22] = 11
1014.43/140.35	c (129,0) x[4][23] = 28
1014.43/140.35	c (129,0) x[4][24] = 9
1014.43/140.35	c (129,0) x[4][25] = 26
1014.43/140.35	c (129,0) x[4][26] = 16
1014.43/140.35	c (129,0) x[4][27] = 21
1014.43/140.35	c (129,0) x[4][28] = 15
1014.43/140.35	c (129,0) x[4][29] = 17
1014.43/140.35	c (129,0) x[5][0] = 9
1014.43/140.35	c (129,0) x[5][1] = 19
1014.43/140.35	c (129,0) x[5][2] = 26
1014.43/140.35	c (129,0) x[5][3] = 21
1014.43/140.35	c (129,0) x[5][4] = 2
1014.43/140.35	c (129,0) x[5][5] = 20
1014.43/140.35	c (129,0) x[5][6] = 5
1014.43/140.35	c (129,0) x[5][7] = 27
1014.43/140.35	c (129,0) x[5][8] = 15
1014.43/140.35	c (129,0) x[5][9] = 29
1014.43/140.35	c (129,0) x[5][10] = 28
1014.43/140.35	c (129,0) x[5][11] = 8
1014.43/140.35	c (129,0) x[5][12] = 1
1014.43/140.35	c (129,0) x[5][13] = 10
1014.43/140.35	c (129,0) x[5][14] = 6
1014.43/140.35	c (129,0) x[5][15] = 4
1014.43/140.35	c (129,0) x[5][16] = 7
1014.43/140.35	c (129,0) x[5][17] = 25
1014.43/140.35	c (129,0) x[5][18] = 0
1014.43/140.35	c (129,0) x[5][19] = 24
1014.43/140.35	c (129,0) x[5][20] = 11
1014.43/140.35	c (129,0) x[5][21] = 23
1014.43/140.35	c (129,0) x[5][22] = 16
1014.43/140.35	c (129,0) x[5][23] = 3
1014.43/140.35	c (129,0) x[5][24] = 12
1014.43/140.35	c (129,0) x[5][25] = 22
1014.43/140.35	c (129,0) x[5][26] = 17
1014.43/140.35	c (129,0) x[5][27] = 13
1014.43/140.35	c (129,0) x[5][28] = 18
1014.43/140.35	c (129,0) x[5][29] = 14
1014.43/140.35	c (129,0) x[6][0] = 11
1014.43/140.35	c (129,0) x[6][1] = 22
1014.43/140.35	c (129,0) x[6][2] = 3
1014.43/140.35	c (129,0) x[6][3] = 27
1014.43/140.35	c (129,0) x[6][4] = 18
1014.43/140.35	c (129,0) x[6][5] = 23
1014.43/140.35	c (129,0) x[6][6] = 28
1014.43/140.35	c (129,0) x[6][7] = 8
1014.43/140.35	c (129,0) x[6][8] = 2
1014.43/140.35	c (129,0) x[6][9] = 15
1014.43/140.35	c (129,0) x[6][10] = 12
1014.43/140.35	c (129,0) x[6][11] = 13
1014.43/140.35	c (129,0) x[6][12] = 6
1014.43/140.35	c (129,0) x[6][13] = 1
1014.43/140.35	c (129,0) x[6][14] = 16
1014.43/140.35	c (129,0) x[6][15] = 26
1014.43/140.35	c (129,0) x[6][16] = 21
1014.43/140.35	c (129,0) x[6][17] = 24
1014.43/140.35	c (129,0) x[6][18] = 17
1014.43/140.35	c (129,0) x[6][19] = 0
1014.43/140.35	c (129,0) x[6][20] = 14
1014.43/140.35	c (129,0) x[6][21] = 25
1014.43/140.35	c (129,0) x[6][22] = 5
1014.43/140.35	c (129,0) x[6][23] = 7
1014.43/140.35	c (129,0) x[6][24] = 4
1014.43/140.35	c (129,0) x[6][25] = 19
1014.43/140.35	c (129,0) x[6][26] = 9
1014.43/140.35	c (129,0) x[6][27] = 20
1014.43/140.35	c (129,0) x[6][28] = 10
1014.43/140.35	c (129,0) x[6][29] = 29
1014.43/140.35	c (129,0) x[7][0] = 25
1014.43/140.35	c (129,0) x[7][1] = 26
1014.43/140.35	c (129,0) x[7][2] = 21
1014.43/140.35	c (129,0) x[7][3] = 24
1014.43/140.35	c (129,0) x[7][4] = 12
1014.43/140.35	c (129,0) x[7][5] = 22
1014.43/140.35	c (129,0) x[7][6] = 14
1014.43/140.35	c (129,0) x[7][7] = 28
1014.43/140.35	c (129,0) x[7][8] = 6
1014.43/140.35	c (129,0) x[7][9] = 20
1014.43/140.35	c (129,0) x[7][10] = 1
1014.43/140.35	c (129,0) x[7][11] = 4
1014.43/140.35	c (129,0) x[7][12] = 18
1014.43/140.35	c (129,0) x[7][13] = 9
1014.43/140.35	c (129,0) x[7][14] = 15
1014.43/140.35	c (129,0) x[7][15] = 16
1014.43/140.35	c (129,0) x[7][16] = 27
1014.43/140.35	c (129,0) x[7][17] = 5
1014.43/140.35	c (129,0) x[7][18] = 29
1014.43/140.35	c (129,0) x[7][19] = 11
1014.43/140.35	c (129,0) x[7][20] = 3
1014.43/140.35	c (129,0) x[7][21] = 17
1014.43/140.35	c (129,0) x[7][22] = 19
1014.43/140.35	c (129,0) x[7][23] = 23
1014.43/140.35	c (129,0) x[7][24] = 0
1014.43/140.35	c (129,0) x[7][25] = 7
1014.43/140.35	c (129,0) x[7][26] = 10
1014.43/140.35	c (129,0) x[7][27] = 8
1014.43/140.35	c (129,0) x[7][28] = 13
1014.43/140.35	c (129,0) x[7][29] = 2
1014.43/140.35	c (129,0) x[8][0] = 28
1014.43/140.35	c (129,0) x[8][1] = 23
1014.43/140.35	c (129,0) x[8][2] = 12
1014.43/140.35	c (129,0) x[8][3] = 7
1014.43/140.35	c (129,0) x[8][4] = 25
1014.43/140.35	c (129,0) x[8][5] = 5
1014.43/140.35	c (129,0) x[8][6] = 4
1014.43/140.35	c (129,0) x[8][7] = 11
1014.43/140.35	c (129,0) x[8][8] = 0
1014.43/140.35	c (129,0) x[8][9] = 26
1014.43/140.35	c (129,0) x[8][10] = 14
1014.43/140.35	c (129,0) x[8][11] = 15
1014.43/140.35	c (129,0) x[8][12] = 21
1014.43/140.35	c (129,0) x[8][13] = 8
1014.43/140.35	c (129,0) x[8][14] = 9
1014.43/140.35	c (129,0) x[8][15] = 13
1014.43/140.35	c (129,0) x[8][16] = 19
1014.43/140.35	c (129,0) x[8][17] = 16
1014.43/140.35	c (129,0) x[8][18] = 22
1014.43/140.35	c (129,0) x[8][19] = 3
1014.43/140.35	c (129,0) x[8][20] = 20
1014.43/140.35	c (129,0) x[8][21] = 29
1014.43/140.35	c (129,0) x[8][22] = 6
1014.43/140.35	c (129,0) x[8][23] = 27
1014.43/140.35	c (129,0) x[8][24] = 10
1014.43/140.35	c (129,0) x[8][25] = 18
1014.43/140.35	c (129,0) x[8][26] = 2
1014.43/140.35	c (129,0) x[8][27] = 17
1014.43/140.35	c (129,0) x[8][28] = 24
1014.43/140.35	c (129,0) x[8][29] = 1
1014.43/140.35	c (129,0) x[9][0] = 10
1014.43/140.35	c (129,0) x[9][1] = 11
1014.43/140.35	c (129,0) x[9][2] = 18
1014.43/140.35	c (129,0) x[9][3] = 8
1014.43/140.35	c (129,0) x[9][4] = 28
1014.43/140.35	c (129,0) x[9][5] = 14
1014.43/140.35	c (129,0) x[9][6] = 6
1014.43/140.35	c (129,0) x[9][7] = 9
1014.43/140.35	c (129,0) x[9][8] = 3
1014.43/140.35	c (129,0) x[9][9] = 19
1014.43/140.35	c (129,0) x[9][10] = 26
1014.43/140.35	c (129,0) x[9][11] = 12
1014.43/140.35	c (129,0) x[9][12] = 4
1014.43/140.35	c (129,0) x[9][13] = 20
1014.43/140.35	c (129,0) x[9][14] = 22
1014.43/140.35	c (129,0) x[9][15] = 29
1014.43/140.35	c (129,0) x[9][16] = 0
1014.43/140.35	c (129,0) x[9][17] = 2
1014.43/140.35	c (129,0) x[9][18] = 16
1014.43/140.35	c (129,0) x[9][19] = 17
1014.43/140.35	c (129,0) x[9][20] = 1
1014.43/140.35	c (129,0) x[9][21] = 21
1014.43/140.35	c (129,0) x[9][22] = 27
1014.43/140.35	c (129,0) x[9][23] = 24
1014.43/140.35	c (129,0) x[9][24] = 25
1014.43/140.35	c (129,0) x[9][25] = 13
1014.43/140.35	c (129,0) x[9][26] = 23
1014.43/140.35	c (129,0) x[9][27] = 15
1014.43/140.35	c (129,0) x[9][28] = 5
1014.43/140.35	c (129,0) x[9][29] = 7
1014.43/140.35	c (129,0) x[10][0] = 23
1014.43/140.35	c (129,0) x[10][1] = 8
1014.43/140.35	c (129,0) x[10][2] = 16
1014.43/140.35	c (129,0) x[10][3] = 11
1014.43/140.35	c (129,0) x[10][4] = 24
1014.43/140.35	c (129,0) x[10][5] = 21
1014.43/140.35	c (129,0) x[10][6] = 22
1014.43/140.35	c (129,0) x[10][7] = 25
1014.43/140.35	c (129,0) x[10][8] = 28
1014.43/140.35	c (129,0) x[10][9] = 10
1014.43/140.35	c (129,0) x[10][10] = 0
1014.43/140.35	c (129,0) x[10][11] = 14
1014.43/140.35	c (129,0) x[10][12] = 9
1014.43/140.35	c (129,0) x[10][13] = 12
1014.43/140.35	c (129,0) x[10][14] = 7
1014.43/140.35	c (129,0) x[10][15] = 6
1014.43/140.35	c (129,0) x[10][16] = 5
1014.43/140.35	c (129,0) x[10][17] = 13
1014.43/140.35	c (129,0) x[10][18] = 20
1014.43/140.35	c (129,0) x[10][19] = 29
1014.43/140.35	c (129,0) x[10][20] = 15
1014.43/140.35	c (129,0) x[10][21] = 19
1014.43/140.35	c (129,0) x[10][22] = 2
1014.43/140.35	c (129,0) x[10][23] = 18
1014.43/140.35	c (129,0) x[10][24] = 17
1014.43/140.35	c (129,0) x[10][25] = 1
1014.43/140.35	c (129,0) x[10][26] = 27
1014.43/140.35	c (129,0) x[10][27] = 26
1014.43/140.35	c (129,0) x[10][28] = 3
1014.43/140.35	c (129,0) x[10][29] = 4
1014.43/140.35	c (129,0) x[11][0] = 6
1014.43/140.35	c (129,0) x[11][1] = 4
1014.43/140.35	c (129,0) x[11][2] = 25
1014.43/140.35	c (129,0) x[11][3] = 28
1014.43/140.35	c (129,0) x[11][4] = 16
1014.43/140.35	c (129,0) x[11][5] = 15
1014.43/140.35	c (129,0) x[11][6] = 18
1014.43/140.35	c (129,0) x[11][7] = 12
1014.43/140.35	c (129,0) x[11][8] = 8
1014.43/140.35	c (129,0) x[11][9] = 24
1014.43/140.35	c (129,0) x[11][10] = 27
1014.43/140.35	c (129,0) x[11][11] = 21
1014.43/140.35	c (129,0) x[11][12] = 23
1014.43/140.35	c (129,0) x[11][13] = 26
1014.43/140.35	c (129,0) x[11][14] = 14
1014.43/140.35	c (129,0) x[11][15] = 20
1014.43/140.35	c (129,0) x[11][16] = 29
1014.43/140.35	c (129,0) x[11][17] = 7
1014.43/140.35	c (129,0) x[11][18] = 19
1014.43/140.35	c (129,0) x[11][19] = 1
1014.43/140.35	c (129,0) x[11][20] = 5
1014.43/140.35	c (129,0) x[11][21] = 9
1014.43/140.35	c (129,0) x[11][22] = 17
1014.43/140.35	c (129,0) x[11][23] = 11
1014.43/140.35	c (129,0) x[11][24] = 3
1014.43/140.35	c (129,0) x[11][25] = 0
1014.43/140.35	c (129,0) x[11][26] = 13
1014.43/140.35	c (129,0) x[11][27] = 2
1014.43/140.35	c (129,0) x[11][28] = 22
1014.43/140.35	c (129,0) x[11][29] = 10
1014.43/140.35	c (129,0) x[12][0] = 18
1014.43/140.35	c (129,0) x[12][1] = 7
1014.43/140.35	c (129,0) x[12][2] = 15
1014.43/140.35	c (129,0) x[12][3] = 14
1014.43/140.35	c (129,0) x[12][4] = 22
1014.43/140.35	c (129,0) x[12][5] = 0
1014.43/140.35	c (129,0) x[12][6] = 10
1014.43/140.35	c (129,0) x[12][7] = 21
1014.43/140.35	c (129,0) x[12][8] = 17
1014.43/140.35	c (129,0) x[12][9] = 3
1014.43/140.35	c (129,0) x[12][10] = 8
1014.43/140.35	c (129,0) x[12][11] = 20
1014.43/140.35	c (129,0) x[12][12] = 26
1014.43/140.35	c (129,0) x[12][13] = 5
1014.43/140.35	c (129,0) x[12][14] = 28
1014.43/140.35	c (129,0) x[12][15] = 11
1014.43/140.35	c (129,0) x[12][16] = 1
1014.43/140.35	c (129,0) x[12][17] = 6
1014.43/140.35	c (129,0) x[12][18] = 4
1014.43/140.35	c (129,0) x[12][19] = 23
1014.43/140.35	c (129,0) x[12][20] = 29
1014.43/140.35	c (129,0) x[12][21] = 16
1014.43/140.35	c (129,0) x[12][22] = 9
1014.43/140.35	c (129,0) x[12][23] = 25
1014.43/140.35	c (129,0) x[12][24] = 2
1014.43/140.35	c (129,0) x[12][25] = 24
1014.43/140.35	c (129,0) x[12][26] = 12
1014.43/140.35	c (129,0) x[12][27] = 19
1014.43/140.35	c (129,0) x[12][28] = 27
1014.43/140.35	c (129,0) x[12][29] = 13
1014.43/140.35	c (129,0) x[13][0] = 24
1014.43/140.35	c (129,0) x[13][1] = 20
1014.43/140.35	c (129,0) x[13][2] = 13
1014.43/140.35	c (129,0) x[13][3] = 25
1014.43/140.35	c (129,0) x[13][4] = 9
1014.43/140.35	c (129,0) x[13][5] = 28
1014.43/140.35	c (129,0) x[13][6] = 15
1014.43/140.35	c (129,0) x[13][7] = 17
1014.43/140.35	c (129,0) x[13][8] = 11
1014.43/140.35	c (129,0) x[13][9] = 16
1014.43/140.35	c (129,0) x[13][10] = 4
1014.43/140.35	c (129,0) x[13][11] = 1
1014.43/140.35	c (129,0) x[13][12] = 5
1014.43/140.35	c (129,0) x[13][13] = 0
1014.43/140.35	c (129,0) x[13][14] = 29
1014.43/140.35	c (129,0) x[13][15] = 27
1014.43/140.35	c (129,0) x[13][16] = 26
1014.43/140.35	c (129,0) x[13][17] = 8
1014.43/140.35	c (129,0) x[13][18] = 14
1014.43/140.35	c (129,0) x[13][19] = 6
1014.43/140.35	c (129,0) x[13][20] = 23
1014.43/140.35	c (129,0) x[13][21] = 2
1014.43/140.35	c (129,0) x[13][22] = 22
1014.43/140.35	c (129,0) x[13][23] = 10
1014.43/140.35	c (129,0) x[13][24] = 18
1014.43/140.35	c (129,0) x[13][25] = 3
1014.43/140.35	c (129,0) x[13][26] = 7
1014.43/140.35	c (129,0) x[13][27] = 12
1014.43/140.35	c (129,0) x[13][28] = 21
1014.43/140.35	c (129,0) x[13][29] = 19
1014.43/140.35	c (129,0) x[14][0] = 1
1014.43/140.35	c (129,0) x[14][1] = 29
1014.43/140.35	c (129,0) x[14][2] = 23
1014.43/140.35	c (129,0) x[14][3] = 22
1014.43/140.35	c (129,0) x[14][4] = 20
1014.43/140.35	c (129,0) x[14][5] = 17
1014.43/140.35	c (129,0) x[14][6] = 13
1014.43/140.35	c (129,0) x[14][7] = 4
1014.43/140.35	c (129,0) x[14][8] = 21
1014.43/140.35	c (129,0) x[14][9] = 5
1014.43/140.35	c (129,0) x[14][10] = 16
1014.43/140.35	c (129,0) x[14][11] = 19
1014.43/140.36	c (129,0) x[14][12] = 27
1014.43/140.36	c (129,0) x[14][13] = 11
1014.43/140.36	c (129,0) x[14][14] = 18
1014.43/140.36	c (129,0) x[14][15] = 24
1014.43/140.36	c (129,0) x[14][16] = 6
1014.43/140.36	c (129,0) x[14][17] = 12
1014.43/140.36	c (129,0) x[14][18] = 28
1014.43/140.36	c (129,0) x[14][19] = 9
1014.43/140.36	c (129,0) x[14][20] = 2
1014.43/140.36	c (129,0) x[14][21] = 3
1014.43/140.36	c (129,0) x[14][22] = 8
1014.43/140.36	c (129,0) x[14][23] = 14
1014.43/140.36	c (129,0) x[14][24] = 26
1014.43/140.36	c (129,0) x[14][25] = 15
1014.43/140.36	c (129,0) x[14][26] = 25
1014.43/140.36	c (129,0) x[14][27] = 10
1014.43/140.36	c (129,0) x[14][28] = 7
1014.43/140.36	c (129,0) x[14][29] = 0
1014.43/140.36	c (129,0) x[15][0] = 27
1014.43/140.36	c (129,0) x[15][1] = 28
1014.43/140.36	c (129,0) x[15][2] = 6
1014.43/140.36	c (129,0) x[15][3] = 16
1014.43/140.36	c (129,0) x[15][4] = 4
1014.43/140.36	c (129,0) x[15][5] = 25
1014.43/140.36	c (129,0) x[15][6] = 7
1014.43/140.36	c (129,0) x[15][7] = 1
1014.43/140.36	c (129,0) x[15][8] = 29
1014.43/140.36	c (129,0) x[15][9] = 9
1014.43/140.36	c (129,0) x[15][10] = 17
1014.43/140.36	c (129,0) x[15][11] = 11
1014.43/140.36	c (129,0) x[15][12] = 24
1014.43/140.36	c (129,0) x[15][13] = 13
1014.43/140.36	c (129,0) x[15][14] = 2
1014.43/140.36	c (129,0) x[15][15] = 3
1014.43/140.36	c (129,0) x[15][16] = 15
1014.43/140.36	c (129,0) x[15][17] = 19
1014.43/140.36	c (129,0) x[15][18] = 23
1014.43/140.36	c (129,0) x[15][19] = 26
1014.43/140.36	c (129,0) x[15][20] = 10
1014.43/140.36	c (129,0) x[15][21] = 5
1014.43/140.36	c (129,0) x[15][22] = 20
1014.43/140.36	c (129,0) x[15][23] = 21
1014.43/140.36	c (129,0) x[15][24] = 14
1014.43/140.36	c (129,0) x[15][25] = 12
1014.43/140.36	c (129,0) x[15][26] = 18
1014.43/140.36	c (129,0) x[15][27] = 0
1014.43/140.36	c (129,0) x[15][28] = 8
1014.43/140.36	c (129,0) x[15][29] = 22
1014.43/140.36	c (129,0) x[16][0] = 21
1014.43/140.36	c (129,0) x[16][1] = 25
1014.43/140.36	c (129,0) x[16][2] = 14
1014.43/140.36	c (129,0) x[16][3] = 29
1014.43/140.36	c (129,0) x[16][4] = 10
1014.43/140.36	c (129,0) x[16][5] = 16
1014.43/140.36	c (129,0) x[16][6] = 24
1014.43/140.36	c (129,0) x[16][7] = 15
1014.43/140.36	c (129,0) x[16][8] = 19
1014.43/140.36	c (129,0) x[16][9] = 7
1014.43/140.36	c (129,0) x[16][10] = 13
1014.43/140.36	c (129,0) x[16][11] = 0
1014.43/140.36	c (129,0) x[16][12] = 11
1014.43/140.36	c (129,0) x[16][13] = 28
1014.43/140.36	c (129,0) x[16][14] = 1
1014.43/140.36	c (129,0) x[16][15] = 22
1014.43/140.36	c (129,0) x[16][16] = 9
1014.43/140.36	c (129,0) x[16][17] = 23
1014.43/140.36	c (129,0) x[16][18] = 26
1014.43/140.36	c (129,0) x[16][19] = 8
1014.43/140.36	c (129,0) x[16][20] = 27
1014.43/140.36	c (129,0) x[16][21] = 18
1014.43/140.36	c (129,0) x[16][22] = 4
1014.43/140.36	c (129,0) x[16][23] = 17
1014.43/140.36	c (129,0) x[16][24] = 20
1014.43/140.36	c (129,0) x[16][25] = 2
1014.43/140.36	c (129,0) x[16][26] = 5
1014.43/140.36	c (129,0) x[16][27] = 6
1014.43/140.36	c (129,0) x[16][28] = 12
1014.43/140.36	c (129,0) x[16][29] = 3
1014.43/140.36	c (129,0) x[17][0] = 5
1014.43/140.36	c (129,0) x[17][1] = 9
1014.43/140.36	c (129,0) x[17][2] = 8
1014.43/140.36	c (129,0) x[17][3] = 15
1014.43/140.36	c (129,0) x[17][4] = 3
1014.43/140.36	c (129,0) x[17][5] = 29
1014.43/140.36	c (129,0) x[17][6] = 12
1014.43/140.36	c (129,0) x[17][7] = 14
1014.43/140.36	c (129,0) x[17][8] = 18
1014.43/140.36	c (129,0) x[17][9] = 17
1014.43/140.36	c (129,0) x[17][10] = 10
1014.43/140.36	c (129,0) x[17][11] = 26
1014.43/140.36	c (129,0) x[17][12] = 22
1014.43/140.36	c (129,0) x[17][13] = 7
1014.43/140.36	c (129,0) x[17][14] = 25
1014.43/140.36	c (129,0) x[17][15] = 23
1014.43/140.36	c (129,0) x[17][16] = 11
1014.43/140.36	c (129,0) x[17][17] = 0
1014.43/140.36	c (129,0) x[17][18] = 13
1014.43/140.36	c (129,0) x[17][19] = 16
1014.43/140.36	c (129,0) x[17][20] = 6
1014.43/140.36	c (129,0) x[17][21] = 20
1014.43/140.36	c (129,0) x[17][22] = 24
1014.43/140.36	c (129,0) x[17][23] = 4
1014.43/140.36	c (129,0) x[17][24] = 27
1014.43/140.36	c (129,0) x[17][25] = 28
1014.43/140.36	c (129,0) x[17][26] = 19
1014.43/140.36	c (129,0) x[17][27] = 1
1014.43/140.36	c (129,0) x[17][28] = 2
1014.43/140.36	c (129,0) x[17][29] = 21
1014.43/140.36	c (129,0) x[18][0] = 29
1014.43/140.36	c (129,0) x[18][1] = 13
1014.43/140.36	c (129,0) x[18][2] = 0
1014.43/140.36	c (129,0) x[18][3] = 9
1014.43/140.36	c (129,0) x[18][4] = 21
1014.43/140.36	c (129,0) x[18][5] = 19
1014.43/140.36	c (129,0) x[18][6] = 1
1014.43/140.36	c (129,0) x[18][7] = 23
1014.43/140.36	c (129,0) x[18][8] = 12
1014.43/140.36	c (129,0) x[18][9] = 27
1014.43/140.36	c (129,0) x[18][10] = 20
1014.43/140.36	c (129,0) x[18][11] = 2
1014.43/140.36	c (129,0) x[18][12] = 28
1014.43/140.36	c (129,0) x[18][13] = 17
1014.43/140.36	c (129,0) x[18][14] = 3
1014.43/140.36	c (129,0) x[18][15] = 25
1014.43/140.36	c (129,0) x[18][16] = 8
1014.43/140.36	c (129,0) x[18][17] = 4
1014.43/140.36	c (129,0) x[18][18] = 24
1014.43/140.36	c (129,0) x[18][19] = 15
1014.43/140.36	c (129,0) x[18][20] = 16
1014.43/140.36	c (129,0) x[18][21] = 11
1014.43/140.36	c (129,0) x[18][22] = 18
1014.43/140.36	c (129,0) x[18][23] = 22
1014.43/140.36	c (129,0) x[18][24] = 5
1014.43/140.36	c (129,0) x[18][25] = 10
1014.43/140.36	c (129,0) x[18][26] = 14
1014.43/140.36	c (129,0) x[18][27] = 7
1014.43/140.36	c (129,0) x[18][28] = 26
1014.43/140.36	c (129,0) x[18][29] = 6
1014.43/140.36	c (129,0) x[19][0] = 2
1014.43/140.36	c (129,0) x[19][1] = 12
1014.43/140.36	c (129,0) x[19][2] = 19
1014.43/140.36	c (129,0) x[19][3] = 20
1014.43/140.36	c (129,0) x[19][4] = 26
1014.43/140.36	c (129,0) x[19][5] = 24
1014.43/140.36	c (129,0) x[19][6] = 29
1014.43/140.36	c (129,0) x[19][7] = 7
1014.43/140.36	c (129,0) x[19][8] = 14
1014.43/140.36	c (129,0) x[19][9] = 21
1014.43/140.36	c (129,0) x[19][10] = 6
1014.43/140.36	c (129,0) x[19][11] = 5
1014.43/140.36	c (129,0) x[19][12] = 17
1014.43/140.36	c (129,0) x[19][13] = 4
1014.43/140.36	c (129,0) x[19][14] = 11
1014.43/140.36	c (129,0) x[19][15] = 28
1014.43/140.36	c (129,0) x[19][16] = 16
1014.43/140.36	c (129,0) x[19][17] = 9
1014.43/140.36	c (129,0) x[19][18] = 15
1014.43/140.36	c (129,0) x[19][19] = 18
1014.43/140.36	c (129,0) x[19][20] = 22
1014.43/140.36	c (129,0) x[19][21] = 13
1014.43/140.36	c (129,0) x[19][22] = 10
1014.43/140.36	c (129,0) x[19][23] = 0
1014.43/140.36	c (129,0) x[19][24] = 1
1014.43/140.36	c (129,0) x[19][25] = 27
1014.43/140.36	c (129,0) x[19][26] = 3
1014.43/140.36	c (129,0) x[19][27] = 25
1014.43/140.36	c (129,0) x[19][28] = 23
1014.43/140.36	c (129,0) x[19][29] = 8
1014.43/140.36	c (129,0) x[20][0] = 20
1014.43/140.36	c (129,0) x[20][1] = 14
1014.43/140.36	c (129,0) x[20][2] = 5
1014.43/140.36	c (129,0) x[20][3] = 23
1014.43/140.36	c (129,0) x[20][4] = 11
1014.43/140.36	c (129,0) x[20][5] = 9
1014.43/140.36	c (129,0) x[20][6] = 27
1014.43/140.36	c (129,0) x[20][7] = 19
1014.43/140.36	c (129,0) x[20][8] = 22
1014.43/140.36	c (129,0) x[20][9] = 1
1014.43/140.36	c (129,0) x[20][10] = 7
1014.43/140.36	c (129,0) x[20][11] = 10
1014.43/140.36	c (129,0) x[20][12] = 13
1014.43/140.36	c (129,0) x[20][13] = 3
1014.43/140.36	c (129,0) x[20][14] = 21
1014.43/140.36	c (129,0) x[20][15] = 15
1014.43/140.36	c (129,0) x[20][16] = 4
1014.43/140.36	c (129,0) x[20][17] = 17
1014.43/140.36	c (129,0) x[20][18] = 12
1014.43/140.36	c (129,0) x[20][19] = 2
1014.43/140.36	c (129,0) x[20][20] = 0
1014.43/140.36	c (129,0) x[20][21] = 8
1014.43/140.36	c (129,0) x[20][22] = 25
1014.43/140.36	c (129,0) x[20][23] = 26
1014.43/140.36	c (129,0) x[20][24] = 6
1014.43/140.36	c (129,0) x[20][25] = 16
1014.43/140.36	c (129,0) x[20][26] = 24
1014.43/140.36	c (129,0) x[20][27] = 29
1014.43/140.36	c (129,0) x[20][28] = 28
1014.43/140.36	c (129,0) x[20][29] = 18
1014.43/140.36	c (129,0) x[21][0] = 3
1014.43/140.36	c (129,0) x[21][1] = 5
1014.43/140.36	c (129,0) x[21][2] = 28
1014.43/140.36	c (129,0) x[21][3] = 0
1014.43/140.36	c (129,0) x[21][4] = 29
1014.43/140.36	c (129,0) x[21][5] = 18
1014.43/140.36	c (129,0) x[21][6] = 9
1014.43/140.36	c (129,0) x[21][7] = 16
1014.43/140.36	c (129,0) x[21][8] = 26
1014.43/140.36	c (129,0) x[21][9] = 23
1014.43/140.36	c (129,0) x[21][10] = 2
1014.43/140.36	c (129,0) x[21][11] = 17
1014.43/140.36	c (129,0) x[21][12] = 10
1014.43/140.36	c (129,0) x[21][13] = 25
1014.43/140.36	c (129,0) x[21][14] = 20
1014.43/140.36	c (129,0) x[21][15] = 19
1014.43/140.36	c (129,0) x[21][16] = 24
1014.43/140.36	c (129,0) x[21][17] = 22
1014.43/140.36	c (129,0) x[21][18] = 8
1014.43/140.36	c (129,0) x[21][19] = 13
1014.43/140.36	c (129,0) x[21][20] = 21
1014.43/140.36	c (129,0) x[21][21] = 14
1014.43/140.36	c (129,0) x[21][22] = 1
1014.43/140.36	c (129,0) x[21][23] = 6
1014.43/140.36	c (129,0) x[21][24] = 7
1014.43/140.36	c (129,0) x[21][25] = 4
1014.43/140.36	c (129,0) x[21][26] = 15
1014.43/140.36	c (129,0) x[21][27] = 27
1014.43/140.36	c (129,0) x[21][28] = 11
1014.43/140.36	c (129,0) x[21][29] = 12
1014.43/140.36	c (129,0) x[22][0] = 12
1014.43/140.36	c (129,0) x[22][1] = 6
1014.43/140.36	c (129,0) x[22][2] = 10
1014.43/140.36	c (129,0) x[22][3] = 17
1014.43/140.36	c (129,0) x[22][4] = 27
1014.43/140.36	c (129,0) x[22][5] = 3
1014.43/140.36	c (129,0) x[22][6] = 23
1014.43/140.36	c (129,0) x[22][7] = 18
1014.43/140.36	c (129,0) x[22][8] = 13
1014.43/140.36	c (129,0) x[22][9] = 2
1014.43/140.36	c (129,0) x[22][10] = 24
1014.43/140.36	c (129,0) x[22][11] = 7
1014.43/140.36	c (129,0) x[22][12] = 0
1014.43/140.36	c (129,0) x[22][13] = 16
1014.43/140.36	c (129,0) x[22][14] = 8
1014.43/140.36	c (129,0) x[22][15] = 1
1014.43/140.36	c (129,0) x[22][16] = 25
1014.43/140.36	c (129,0) x[22][17] = 20
1014.43/140.36	c (129,0) x[22][18] = 21
1014.43/140.36	c (129,0) x[22][19] = 22
1014.43/140.36	c (129,0) x[22][20] = 26
1014.43/140.36	c (129,0) x[22][21] = 15
1014.43/140.36	c (129,0) x[22][22] = 14
1014.43/140.36	c (129,0) x[22][23] = 19
1014.43/140.36	c (129,0) x[22][24] = 28
1014.43/140.36	c (129,0) x[22][25] = 11
1014.43/140.36	c (129,0) x[22][26] = 29
1014.43/140.36	c (129,0) x[22][27] = 4
1014.43/140.36	c (129,0) x[22][28] = 9
1014.43/140.36	c (129,0) x[22][29] = 5
1014.43/140.36	c (129,0) x[23][0] = 0
1014.43/140.36	c (129,0) x[23][1] = 10
1014.43/140.36	c (129,0) x[23][2] = 1
1014.43/140.36	c (129,0) x[23][3] = 4
1014.43/140.36	c (129,0) x[23][4] = 7
1014.43/140.36	c (129,0) x[23][5] = 13
1014.43/140.36	c (129,0) x[23][6] = 3
1014.43/140.36	c (129,0) x[23][7] = 2
1014.43/140.36	c (129,0) x[23][8] = 27
1014.43/140.36	c (129,0) x[23][9] = 11
1014.43/140.36	c (129,0) x[23][10] = 18
1014.43/140.36	c (129,0) x[23][11] = 6
1014.43/140.36	c (129,0) x[23][12] = 8
1014.43/140.36	c (129,0) x[23][13] = 23
1014.43/140.36	c (129,0) x[23][14] = 26
1014.43/140.36	c (129,0) x[23][15] = 17
1014.43/140.36	c (129,0) x[23][16] = 12
1014.43/140.36	c (129,0) x[23][17] = 29
1014.43/140.36	c (129,0) x[23][18] = 9
1014.43/140.36	c (129,0) x[23][19] = 19
1014.43/140.36	c (129,0) x[23][20] = 25
1014.43/140.36	c (129,0) x[23][21] = 28
1014.43/140.36	c (129,0) x[23][22] = 21
1014.43/140.36	c (129,0) x[23][23] = 20
1014.43/140.36	c (129,0) x[23][24] = 16
1014.43/140.36	c (129,0) x[23][25] = 5
1014.43/140.36	c (129,0) x[23][26] = 22
1014.43/140.36	c (129,0) x[23][27] = 24
1014.43/140.36	c (129,0) x[23][28] = 14
1014.43/140.36	c (129,0) x[23][29] = 15
1014.43/140.36	c (129,0) x[24][0] = 26
1014.43/140.36	c (129,0) x[24][1] = 15
1014.43/140.36	c (129,0) x[24][2] = 4
1014.43/140.36	c (129,0) x[24][3] = 3
1014.43/140.36	c (129,0) x[24][4] = 5
1014.43/140.36	c (129,0) x[24][5] = 7
1014.43/140.36	c (129,0) x[24][6] = 11
1014.43/140.36	c (129,0) x[24][7] = 24
1014.43/140.36	c (129,0) x[24][8] = 9
1014.43/140.36	c (129,0) x[24][9] = 12
1014.43/140.36	c (129,0) x[24][10] = 25
1014.43/140.36	c (129,0) x[24][11] = 29
1014.43/140.36	c (129,0) x[24][12] = 2
1014.43/140.36	c (129,0) x[24][13] = 18
1014.43/140.36	c (129,0) x[24][14] = 19
1014.43/140.36	c (129,0) x[24][15] = 8
1014.43/140.36	c (129,0) x[24][16] = 14
1014.43/140.36	c (129,0) x[24][17] = 21
1014.43/140.36	c (129,0) x[24][18] = 6
1014.43/140.36	c (129,0) x[24][19] = 10
1014.43/140.36	c (129,0) x[24][20] = 28
1014.43/140.36	c (129,0) x[24][21] = 22
1014.43/140.36	c (129,0) x[24][22] = 23
1014.43/140.36	c (129,0) x[24][23] = 1
1014.43/140.36	c (129,0) x[24][24] = 13
1014.43/140.36	c (129,0) x[24][25] = 20
1014.43/140.36	c (129,0) x[24][26] = 0
1014.43/140.36	c (129,0) x[24][27] = 16
1014.43/140.36	c (129,0) x[24][28] = 17
1014.43/140.36	c (129,0) x[24][29] = 27
1014.43/140.36	c (129,0) x[25][0] = 22
1014.43/140.36	c (129,0) x[25][1] = 1
1014.43/140.36	c (129,0) x[25][2] = 11
1014.43/140.36	c (129,0) x[25][3] = 10
1014.43/140.36	c (129,0) x[25][4] = 23
1014.43/140.36	c (129,0) x[25][5] = 4
1014.43/140.36	c (129,0) x[25][6] = 0
1014.43/140.36	c (129,0) x[25][7] = 29
1014.43/140.36	c (129,0) x[25][8] = 24
1014.43/140.36	c (129,0) x[25][9] = 25
1014.43/140.36	c (129,0) x[25][10] = 21
1014.43/140.36	c (129,0) x[25][11] = 9
1014.43/140.36	c (129,0) x[25][12] = 16
1014.43/140.36	c (129,0) x[25][13] = 6
1014.43/140.36	c (129,0) x[25][14] = 17
1014.43/140.36	c (129,0) x[25][15] = 5
1014.43/140.36	c (129,0) x[25][16] = 18
1014.43/140.36	c (129,0) x[25][17] = 14
1014.43/140.36	c (129,0) x[25][18] = 3
1014.43/140.36	c (129,0) x[25][19] = 7
1014.43/140.36	c (129,0) x[25][20] = 12
1014.43/140.36	c (129,0) x[25][21] = 27
1014.43/140.36	c (129,0) x[25][22] = 13
1014.43/140.36	c (129,0) x[25][23] = 2
1014.43/140.36	c (129,0) x[25][24] = 15
1014.43/140.36	c (129,0) x[25][25] = 8
1014.43/140.36	c (129,0) x[25][26] = 20
1014.43/140.36	c (129,0) x[25][27] = 28
1014.43/140.36	c (129,0) x[25][28] = 19
1014.43/140.36	c (129,0) x[25][29] = 26
1014.43/140.36	c (129,0) x[26][0] = 16
1014.43/140.36	c (129,0) x[26][1] = 27
1014.43/140.36	c (129,0) x[26][2] = 17
1014.43/140.36	c (129,0) x[26][3] = 12
1014.43/140.36	c (129,0) x[26][4] = 8
1014.43/140.36	c (129,0) x[26][5] = 1
1014.43/140.36	c (129,0) x[26][6] = 2
1014.43/140.36	c (129,0) x[26][7] = 26
1014.43/140.36	c (129,0) x[26][8] = 25
1014.43/140.36	c (129,0) x[26][9] = 14
1014.43/140.36	c (129,0) x[26][10] = 15
1014.43/140.36	c (129,0) x[26][11] = 22
1014.43/140.36	c (129,0) x[26][12] = 19
1014.43/140.36	c (129,0) x[26][13] = 24
1014.43/140.36	c (129,0) x[26][14] = 13
1014.43/140.36	c (129,0) x[26][15] = 7
1014.43/140.36	c (129,0) x[26][16] = 28
1014.43/140.36	c (129,0) x[26][17] = 3
1014.43/140.36	c (129,0) x[26][18] = 10
1014.43/140.36	c (129,0) x[26][19] = 21
1014.43/140.36	c (129,0) x[26][20] = 18
1014.43/140.36	c (129,0) x[26][21] = 4
1014.43/140.36	c (129,0) x[26][22] = 0
1014.43/140.36	c (129,0) x[26][23] = 5
1014.43/140.36	c (129,0) x[26][24] = 23
1014.43/140.36	c (129,0) x[26][25] = 29
1014.43/140.36	c (129,0) x[26][26] = 11
1014.43/140.36	c (129,0) x[26][27] = 9
1014.43/140.36	c (129,0) x[26][28] = 6
1014.43/140.36	c (129,0) x[26][29] = 20
1014.43/140.36	c (129,0) x[27][0] = 7
1014.43/140.36	c (129,0) x[27][1] = 2
1014.43/140.36	c (129,0) x[27][2] = 20
1014.43/140.36	c (129,0) x[27][3] = 19
1014.43/140.36	c (129,0) x[27][4] = 17
1014.43/140.36	c (129,0) x[27][5] = 27
1014.43/140.36	c (129,0) x[27][6] = 25
1014.43/140.36	c (129,0) x[27][7] = 5
1014.43/140.36	c (129,0) x[27][8] = 10
1014.43/140.36	c (129,0) x[27][9] = 28
1014.43/140.36	c (129,0) x[27][10] = 3
1014.43/140.36	c (129,0) x[27][11] = 16
1014.43/140.36	c (129,0) x[27][12] = 15
1014.43/140.36	c (129,0) x[27][13] = 22
1014.43/140.36	c (129,0) x[27][14] = 23
1014.43/140.36	c (129,0) x[27][15] = 21
1014.43/140.36	c (129,0) x[27][16] = 13
1014.43/140.36	c (129,0) x[27][17] = 1
1014.43/140.36	c (129,0) x[27][18] = 11
1014.43/140.36	c (129,0) x[27][19] = 14
1014.43/140.36	c (129,0) x[27][20] = 9
1014.43/140.36	c (129,0) x[27][21] = 26
1014.43/140.36	c (129,0) x[27][22] = 12
1014.43/140.36	c (129,0) x[27][23] = 8
1014.43/140.36	c (129,0) x[27][24] = 29
1014.43/140.36	c (129,0) x[27][25] = 6
1014.43/140.36	c (129,0) x[27][26] = 4
1014.43/140.36	c (129,0) x[27][27] = 18
1014.43/140.36	c (129,0) x[27][28] = 0
1014.43/140.36	c (129,0) x[27][29] = 24
1014.43/140.36	c (129,0) x[28][0] = 17
1014.43/140.36	c (129,0) x[28][1] = 3
1014.43/140.36	c (129,0) x[28][2] = 7
1014.43/140.36	c (129,0) x[28][3] = 26
1014.43/140.36	c (129,0) x[28][4] = 0
1014.43/140.36	c (129,0) x[28][5] = 12
1014.43/140.36	c (129,0) x[28][6] = 16
1014.43/140.36	c (129,0) x[28][7] = 6
1014.43/140.36	c (129,0) x[28][8] = 1
1014.43/140.36	c (129,0) x[28][9] = 18
1014.43/140.36	c (129,0) x[28][10] = 22
1014.43/140.36	c (129,0) x[28][11] = 25
1014.43/140.36	c (129,0) x[28][12] = 20
1014.43/140.36	c (129,0) x[28][13] = 27
1014.43/140.36	c (129,0) x[28][14] = 5
1014.43/140.36	c (129,0) x[28][15] = 14
1014.43/140.36	c (129,0) x[28][16] = 23
1014.43/140.36	c (129,0) x[28][17] = 10
1014.43/140.36	c (129,0) x[28][18] = 2
1014.43/140.36	c (129,0) x[28][19] = 4
1014.43/140.36	c (129,0) x[28][20] = 19
1014.43/140.36	c (129,0) x[28][21] = 24
1014.43/140.36	c (129,0) x[28][22] = 15
1014.43/140.36	c (129,0) x[28][23] = 13
1014.43/140.36	c (129,0) x[28][24] = 21
1014.43/140.36	c (129,0) x[28][25] = 9
1014.43/140.36	c (129,0) x[28][26] = 8
1014.43/140.36	c (129,0) x[28][27] = 11
1014.43/140.36	c (129,0) x[28][28] = 29
1014.43/140.36	c (129,0) x[28][29] = 28
1014.43/140.36	c (129,0) x[29][0] = 13
1014.43/140.36	c (129,0) x[29][1] = 24
1014.43/140.36	c (129,0) x[29][2] = 27
1014.43/140.36	c (129,0) x[29][3] = 1
1014.43/140.36	c (129,0) x[29][4] = 19
1014.43/140.36	c (129,0) x[29][5] = 2
1014.43/140.36	c (129,0) x[29][6] = 26
1014.43/140.36	c (129,0) x[29][7] = 20
1014.43/140.36	c (129,0) x[29][8] = 5
1014.43/140.36	c (129,0) x[29][9] = 22
1014.43/140.36	c (129,0) x[29][10] = 11
1014.43/140.36	c (129,0) x[29][11] = 23
1014.43/140.36	c (129,0) x[29][12] = 29
1014.43/140.36	c (129,0) x[29][13] = 21
1014.43/140.36	c (129,0) x[29][14] = 12
1014.43/140.36	c (129,0) x[29][15] = 9
1014.43/140.36	c (129,0) x[29][16] = 10
1014.43/140.36	c (129,0) x[29][17] = 15
1014.43/140.36	c (129,0) x[29][18] = 18
1014.43/140.36	c (129,0) x[29][19] = 28
1014.43/140.36	c (129,0) x[29][20] = 17
1014.43/140.36	c (129,0) x[29][21] = 0
1014.43/140.36	c (129,0) x[29][22] = 7
1014.43/140.36	c (129,0) x[29][23] = 16
1014.43/140.36	c (129,0) x[29][24] = 8
1014.43/140.36	c (129,0) x[29][25] = 14
1014.43/140.36	c (129,0) x[29][26] = 6
1014.43/140.36	c (129,0) x[29][27] = 3
1014.43/140.36	c (129,0) x[29][28] = 4
1014.43/140.36	c (129,0) x[29][29] = 25
1014.43/140.36	s SATISFIABLE
1014.43/140.36	v <instantiation>
1014.43/140.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>
1014.43/140.36	v     <values>19 17 9 5 6 26 8 0 16 13 23 24 12 2 10 18 3 28 27 20 4 7 29 15 22 21 1 14 25 11 15 18 22 2 13 6 19 10 4 8 9 28 3 14 24 0 17 27 25 12 7 1 26 29 11 23 21 5 20 16 8 21 24 18 1 10 17 3 20 4 29 27 14 15 0 2 22 11 7 5 13 6 28 12 19 25 26 23 16 9 14 16 2 6 15 11 21 13 7 0 19 18 25 29 4 10 20 26 5 27 8 12 3 9 24 17 28 22 1 23 4 0 29 13 14 8 20 22 23 6 5 3 7 19 27 12 2 18 1 25 24 10 11 28 9 26 16 21 15 17 9 19 26 21 2 20 5 27 15 29 28 8 1 10 6 4 7 25 0 24 11 23 16 3 12 22 17 13 18 14 11 22 3 27 18 23 28 8 2 15 12 13 6 1 16 26 21 24 17 0 14 25 5 7 4 19 9 20 10 29 25 26 21 24 12 22 14 28 6 20 1 4 18 9 15 16 27 5 29 11 3 17 19 23 0 7 10 8 13 2 28 23 12 7 25 5 4 11 0 26 14 15 21 8 9 13 19 16 22 3 20 29 6 27 10 18 2 17 24 1 10 11 18 8 28 14 6 9 3 19 26 12 4 20 22 29 0 2 16 17 1 21 27 24 25 13 23 15 5 7 23 8 16 11 24 21 22 25 28 10 0 14 9 12 7 6 5 13 20 29 15 19 2 18 17 1 27 26 3 4 6 4 25 28 16 15 18 12 8 24 27 21 23 26 14 20 29 7 19 1 5 9 17 11 3 0 13 2 22 10 18 7 15 14 22 0 10 21 17 3 8 20 26 5 28 11 1 6 4 23 29 16 9 25 2 24 12 19 27 13 24 20 13 25 9 28 15 17 11 16 4 1 5 0 29 27 26 8 14 6 23 2 22 10 18 3 7 12 21 19 1 29 23 22 20 17 13 4 21 5 16 19 27 11 18 24 6 12 28 9 2 3 8 14 26 15 25 10 7 0 27 28 6 16 4 25 7 1 29 9 17 11 24 13 2 3 15 19 23 26 10 5 20 21 14 12 18 0 8 22 21 25 14 29 10 16 24 15 19 7 13 0 11 28 1 22 9 23 26 8 27 18 4 17 20 2 5 6 12 3 5 9 8 15 3 29 12 14 18 17 10 26 22 7 25 23 11 0 13 16 6 20 24 4 27 28 19 1 2 21 29 13 0 9 21 19 1 23 12 27 20 2 28 17 3 25 8 4 24 15 16 11 18 22 5 10 14 7 26 6 2 12 19 20 26 24 29 7 14 21 6 5 17 4 11 28 16 9 15 18 22 13 10 0 1 27 3 25 23 8 20 14 5 23 11 9 27 19 22 1 7 10 13 3 21 15 4 17 12 2 0 8 25 26 6 16 24 29 28 18 3 5 28 0 29 18 9 16 26 23 2 17 10 25 20 19 24 22 8 13 21 14 1 6 7 4 15 27 11 12 12 6 10 17 27 3 23 18 13 2 24 7 0 16 8 1 25 20 21 22 26 15 14 19 28 11 29 4 9 5 0 10 1 4 7 13 3 2 27 11 18 6 8 23 26 17 12 29 9 19 25 28 21 20 16 5 22 24 14 15 26 15 4 3 5 7 11 24 9 12 25 29 2 18 19 8 14 21 6 10 28 22 23 1 13 20 0 16 17 27 22 1 11 10 23 4 0 29 24 25 21 9 16 6 17 5 18 14 3 7 12 27 13 2 15 8 20 28 19 26 16 27 17 12 8 1 2 26 25 14 15 22 19 24 13 7 28 3 10 21 18 4 0 5 23 29 11 9 6 20 7 2 20 19 17 27 25 5 10 28 3 16 15 22 23 21 13 1 11 14 9 26 12 8 29 6 4 18 0 24 17 3 7 26 0 12 16 6 1 18 22 25 20 27 5 14 23 10 2 4 19 24 15 13 21 9 8 11 29 28 13 24 27 1 19 2 26 20 5 22 11 23 29 21 12 9 10 15 18 28 17 0 7 16 8 14 6 3 4 25</values>
1014.43/140.36	v </instantiation>
1014.43/140.36	c (129,0) Show results End
1014.43/140.36	c (129,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1014.43/140.36	c (129,0) 129,129,STOP-AFTER(ALL)
1014.43/140.36	c END-Prog: Tue Sep 24 23:06:29 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11991 MiB free)
  memory of node 1: 16384 MiB (13159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405330-1569359092/watcher-4405330-1569359092 -o /var/tmp/evaluation-result-4405330-1569359092/solver-4405330-1569359092 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --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-4405330-1569359092.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
Current StackSize limit: 8192 KiB
solver pid=21457, runsolver pid=21454


[startup+0.10017 s]*
/proc/loadavg: 3.93 6.09 6.24 3/212 21479
/proc/meminfo: memFree=25662412/32770624 swapFree=66992456/67108860
[pid=21457] ppid=21454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21457/stat : 21457 (scop.sh) S 21454 21457 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512171764 115843072 349 33554432000 4194304 5098028 140732523076016 140732523073272 140509649080956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140732523078397 140732523078744 140732523078744 140732523081673 0
/proc/21457/statm: 28282 349 296 221 0 87 0
[pid=21460] ppid=21457 vsize=27314120 memory=104352 CPUtime=0.11 cores=0-7
/proc/21460/stat : 21460 (java) S 21457 21457 20811 0 -1 1077944320 6140 0 0 0 9 2 0 0 20 0 20 0 512171764 27969658880 26088 33554432000 4194304 4196468 140733564400592 140733564383136 139728332529399 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
/proc/21460/statm: 6828530 26088 2813 1 0 6790935 0
[pid=21460/tid=21461] ppid=21457 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/21460/task/21461/stat : 21461 (java) R 21457 21457 20811 0 -1 4202560 4204 0 0 0 7 2 0 0 20 0 20 0 512171764 27969658880 26088 33554432000 4194304 4196468 140733564400592 139728304355728 139728332551325 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21462] ppid=21457 vsize=27314120 memory=732370425701784549 CPUtime=0 cores=0-7
/proc/21460/task/21462/stat : 21462 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139728336771728 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21463] ppid=21457 vsize=27314120 memory=140287364331136 CPUtime=0 cores=0-7
/proc/21460/task/21463/stat : 21463 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727754398224 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21464] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21464/stat : 21464 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727753345424 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21465] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21465/stat : 21465 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727752292624 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21466] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21466/stat : 21466 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727751240848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21467] ppid=21457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21460/task/21467/stat : 21467 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727750188048 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21468] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21468/stat : 21468 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727749135248 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21469] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21469/stat : 21469 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727748082448 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21470] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21470/stat : 21470 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171768 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727705532784 139728332540546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21471] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21471/stat : 21471 (java) S 21457 21457 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512171769 27969658880 26088 33554432000 4194304 4196468 140733564400592 139726090658848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21472] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21472/stat : 21472 (java) S 21457 21457 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512171769 27969658880 26088 33554432000 4194304 4196468 140733564400592 139725956436848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21473] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21473/stat : 21473 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 26088 33554432000 4194304 4196468 140733564400592 139725581932368 139728332547995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21474] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21474/stat : 21474 (java) S 21457 21457 20811 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727704480624 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21475] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21475/stat : 21475 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727703427824 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21476] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21476/stat : 21476 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727702375024 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21477] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21477/stat : 21477 (java) S 21457 21457 20811 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727588026864 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21478] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21478/stat : 21478 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171772 27969658880 26088 33554432000 4194304 4196468 140733564400592 139725084027488 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21479] ppid=21457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21460/task/21479/stat : 21479 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171772 27969658880 26088 33554432000 4194304 4196468 140733564400592 139727586974256 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105748 KiB

[startup+0.210184 s]*
/proc/loadavg: 3.93 6.09 6.24 2/212 21479
/proc/meminfo: memFree=25640284/32770624 swapFree=66992456/67108860
[pid=21457] ppid=21454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21457/stat : 21457 (scop.sh) S 21454 21457 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512171764 115843072 349 33554432000 4194304 5098028 140732523076016 140732523073272 140509649080956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140732523078397 140732523078744 140732523078744 140732523081673 0
/proc/21457/statm: 28282 349 296 221 0 87 0
[pid=21460] ppid=21457 vsize=27314120 memory=123416 CPUtime=0.24 cores=0-7
/proc/21460/stat : 21460 (java) S 21457 21457 20811 0 -1 1077944320 11749 0 0 0 21 3 0 0 20 0 20 0 512171764 27969658880 30854 33554432000 4194304 4196468 140733564400592 140733564383136 139728332529399 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
/proc/21460/statm: 6828530 30854 2936 1 0 6790935 0
[pid=21460/tid=21461] ppid=21457 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/21460/task/21461/stat : 21461 (java) R 21457 21457 20811 0 -1 4202560 9419 0 0 0 16 3 0 0 20 0 20 0 512171764 27969658880 30854 33554432000 4194304 4196468 140733564400592 139728304344464 139728314092959 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21462] ppid=21457 vsize=27314120 memory=732370425701784549 CPUtime=0 cores=0-7
/proc/21460/task/21462/stat : 21462 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139728336771728 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21463] ppid=21457 vsize=27314120 memory=140287364331136 CPUtime=0 cores=0-7
/proc/21460/task/21463/stat : 21463 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727754398224 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21464] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21464/stat : 21464 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727753345424 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21465] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21465/stat : 21465 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727752292624 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21466] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21466/stat : 21466 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727751240848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21467] ppid=21457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21460/task/21467/stat : 21467 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727750188048 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21468] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21468/stat : 21468 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727749135248 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21469] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21469/stat : 21469 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727748082448 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21470] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21470/stat : 21470 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171768 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727705532784 139728332540546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21471] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21471/stat : 21471 (java) S 21457 21457 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512171769 27969658880 30854 33554432000 4194304 4196468 140733564400592 139726090658848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21472] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21472/stat : 21472 (java) S 21457 21457 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512171769 27969658880 30854 33554432000 4194304 4196468 140733564400592 139725956436848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21473] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21473/stat : 21473 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 30854 33554432000 4194304 4196468 140733564400592 139725581932368 139728332547995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21474] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21474/stat : 21474 (java) S 21457 21457 20811 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727704480624 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21475] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21475/stat : 21475 (java) S 21457 21457 20811 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727703427824 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21476] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21476/stat : 21476 (java) S 21457 21457 20811 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727702375024 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21477] ppid=21457 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21460/task/21477/stat : 21477 (java) S 21457 21457 20811 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 512171771 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727588026864 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21478] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21478/stat : 21478 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171772 27969658880 30854 33554432000 4194304 4196468 140733564400592 139725084027488 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21479] ppid=21457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21460/task/21479/stat : 21479 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171772 27969658880 30854 33554432000 4194304 4196468 140733564400592 139727586974256 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124812 KiB

[startup+0.309552 s]*
/proc/loadavg: 3.93 6.09 6.24 2/212 21479
/proc/meminfo: memFree=25637120/32770624 swapFree=66992456/67108860
[pid=21457] ppid=21454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21457/stat : 21457 (scop.sh) S 21454 21457 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512171764 115843072 349 33554432000 4194304 5098028 140732523076016 140732523073272 140509649080956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140732523078397 140732523078744 140732523078744 140732523081673 0
/proc/21457/statm: 28282 349 296 221 0 87 0
[pid=21460] ppid=21457 vsize=27314120 memory=127448 CPUtime=0.42 cores=0-7
/proc/21460/stat : 21460 (java) S 21457 21457 20811 0 -1 1077944320 12303 0 0 0 38 4 0 0 20 0 20 0 512171764 27969658880 31862 33554432000 4194304 4196468 140733564400592 140733564383136 139728332529399 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
/proc/21460/statm: 6828530 31862 3009 1 0 6790935 0
[pid=21460/tid=21461] ppid=21457 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/21460/task/21461/stat : 21461 (java) R 21457 21457 20811 0 -1 4202560 9779 0 0 0 26 3 0 0 20 0 20 0 512171764 27969658880 31862 33554432000 4194304 4196468 140733564400592 139728304354256 139728332543286 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21462] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21462/stat : 21462 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139728336771728 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21463] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21463/stat : 21463 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727754398224 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21464] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21464/stat : 21464 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727753345424 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21465] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21465/stat : 21465 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727752292624 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21466] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21466/stat : 21466 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727751240848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21467] ppid=21457 vsize=27314120 memory=140287255079599 CPUtime=0 cores=0-7
/proc/21460/task/21467/stat : 21467 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727750188048 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21468] ppid=21457 vsize=27314120 memory=140287255081904 CPUtime=0 cores=0-7
/proc/21460/task/21468/stat : 21468 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727749135248 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21469] ppid=21457 vsize=27314120 memory=140287255084208 CPUtime=0 cores=0-7
/proc/21460/task/21469/stat : 21469 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727748082448 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21470] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21470/stat : 21470 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512171768 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727705532784 139728332540546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21471] ppid=21457 vsize=27314120 memory=280574510182288 CPUtime=0 cores=0-7
/proc/21460/task/21471/stat : 21471 (java) S 21457 21457 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512171769 27969658880 31862 33554432000 4194304 4196468 140733564400592 139726090658848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21472] ppid=21457 vsize=27314120 memory=280574510179984 CPUtime=0 cores=0-7
/proc/21460/task/21472/stat : 21472 (java) S 21457 21457 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512171769 27969658880 31862 33554432000 4194304 4196468 140733564400592 139725956436848 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21473] ppid=21457 vsize=27314120 memory=280574510186896 CPUtime=0 cores=0-7
/proc/21460/task/21473/stat : 21473 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 31862 33554432000 4194304 4196468 140733564400592 139725581932368 139728332547995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21474] ppid=21457 vsize=27314120 memory=280574510128144 CPUtime=0.02 cores=0-7
/proc/21460/task/21474/stat : 21474 (java) R 21457 21457 20811 0 -1 4202560 411 0 0 0 2 0 0 0 20 0 20 0 512171771 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727704480624 139728316916448 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21475] ppid=21457 vsize=27314120 memory=280574510200720 CPUtime=0 cores=0-7
/proc/21460/task/21475/stat : 21475 (java) S 21457 21457 20811 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 512171771 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727703427824 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21476] ppid=21457 vsize=27314120 memory=280574510207632 CPUtime=0.01 cores=0-7
/proc/21460/task/21476/stat : 21476 (java) S 21457 21457 20811 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 512171771 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727702375024 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21477] ppid=21457 vsize=27314120 memory=280574510205328 CPUtime=0.07 cores=0-7
/proc/21460/task/21477/stat : 21477 (java) S 21457 21457 20811 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 20 0 512171771 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727588026864 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21478] ppid=21457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21478/stat : 21478 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512171772 27969658880 31862 33554432000 4194304 4196468 140733564400592 139725084027488 139728332539605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21479] ppid=21457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21460/task/21479/stat : 21479 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171772 27969658880 31862 33554432000 4194304 4196468 140733564400592 139727586974256 139728332540546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128844 KiB

[startup+0.700873 s]
/proc/loadavg: 3.93 6.09 6.24 2/212 21479
/proc/meminfo: memFree=25615916/32770624 swapFree=66992456/67108860
[pid=21457] ppid=21454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21457/stat : 21457 (scop.sh) S 21454 21457 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512171764 115843072 349 33554432000 4194304 5098028 140732523076016 140732523073272 140509649080956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140732523078397 140732523078744 140732523078744 140732523081673 0
/proc/21457/statm: 28282 349 296 221 0 87 0
[pid=21460] ppid=21457 vsize=27322516 memory=163992 CPUtime=0.99 cores=0-7
/proc/21460/stat : 21460 (java) S 21457 21457 20811 0 -1 1077944320 20214 0 0 0 93 6 0 0 20 0 20 0 512171764 27978256384 40998 33554432000 4194304 4196468 140733564400592 140733564383136 139728332529399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
/proc/21460/statm: 6830629 40998 3200 1 0 6791959 0
[pid=21460/tid=21461] ppid=21457 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/21460/task/21461/stat : 21461 (java) R 21457 21457 20811 0 -1 4202560 17161 0 0 0 63 5 0 0 20 0 20 0 512171764 27978256384 40998 33554432000 4194304 4196468 140733564400592 139728304346784 139728314100944 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21462] ppid=21457 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21462/stat : 21462 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27978256384 40998 33554432000 4194304 4196468 140733564400592 139728336771728 139728332539605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21463] ppid=21457 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21463/stat : 21463 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27978256384 40998 33554432000 4194304 4196468 140733564400592 139727754398224 139728332539605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0
[pid=21460/tid=21464] ppid=21457 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21460/task/21464/stat : 21464 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512171767 27978256384 40998 33554432000 4194304 4196468 140733564400592 139727753345424 139728332539605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31207424 140733564404423 140733564404870 140733564404870 140733564407759 0

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

[pid=21480/tid=21481] ppid=21457 vsize=8414124 memory=1398722017469774279 CPUtime=0.81 cores=0-7
/proc/21480/task/21481/stat : 21481 (java) S 21457 21457 20811 0 -1 1077944384 17830 0 0 0 74 7 0 0 20 0 24 0 512172833 8616062976 30918 33554432000 4194304 4196468 140726792869008 140046133673888 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21482] ppid=21457 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/21480/task/21482/stat : 21482 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140046166076560 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21483] ppid=21457 vsize=8414124 memory=7737864007684811090 CPUtime=0 cores=0-7
/proc/21480/task/21483/stat : 21483 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045646638096 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21484] ppid=21457 vsize=8414124 memory=7737864007684811090 CPUtime=0 cores=0-7
/proc/21480/task/21484/stat : 21484 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045645585296 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21485] ppid=21457 vsize=8414124 memory=7737864007684811090 CPUtime=0 cores=0-7
/proc/21480/task/21485/stat : 21485 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045644532496 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21486] ppid=21457 vsize=8414124 memory=7737864007684811090 CPUtime=0 cores=0-7
/proc/21480/task/21486/stat : 21486 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045643479696 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21487] ppid=21457 vsize=8414124 memory=7737864007684811090 CPUtime=0 cores=0-7
/proc/21480/task/21487/stat : 21487 (java) S 21457 21457 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045642426896 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21488] ppid=21457 vsize=8414124 memory=8025530334406728037 CPUtime=0 cores=0-7
/proc/21480/task/21488/stat : 21488 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045641374096 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21489] ppid=21457 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21480/task/21489/stat : 21489 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512172835 8616062976 30918 33554432000 4194304 4196468 140726792869008 140045640321296 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21490] ppid=21457 vsize=8414124 memory=-9175352427405406610 CPUtime=0 cores=0-7
/proc/21480/task/21490/stat : 21490 (java) S 21457 21457 20811 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512172836 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044919610224 140046161844866 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21491] ppid=21457 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/21480/task/21491/stat : 21491 (java) S 21457 21457 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512172837 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044790654496 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21492] ppid=21457 vsize=8414124 memory=13848568834296442 CPUtime=0 cores=0-7
/proc/21480/task/21492/stat : 21492 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512172837 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044522218864 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21493] ppid=21457 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21480/task/21493/stat : 21493 (java) S 21457 21457 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044147710288 140046161852315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21494] ppid=21457 vsize=8414124 memory=0 CPUtime=0.12 cores=0-7
/proc/21480/task/21494/stat : 21494 (java) S 21457 21457 20811 0 -1 1077944384 1023 0 0 0 12 0 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044918557040 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21495] ppid=21457 vsize=8414124 memory=123672 CPUtime=0.1 cores=0-7
/proc/21480/task/21495/stat : 21495 (java) S 21457 21457 20811 0 -1 1077944384 320 0 0 0 10 0 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044917504240 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21496] ppid=21457 vsize=8414124 memory=484096 CPUtime=0.08 cores=0-7
/proc/21480/task/21496/stat : 21496 (java) S 21457 21457 20811 0 -1 1077944384 227 0 0 0 8 0 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044916451440 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21497] ppid=21457 vsize=8414124 memory=-6081930297308192167 CPUtime=0.23 cores=0-7
/proc/21480/task/21497/stat : 21497 (java) S 21457 21457 20811 0 -1 1077944384 1019 0 0 0 23 0 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044915398640 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21498] ppid=21457 vsize=8414124 memory=7268 CPUtime=0 cores=0-7
/proc/21480/task/21498/stat : 21498 (java) S 21457 21457 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140043649805408 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21499] ppid=21457 vsize=8414124 memory=6944656575208382560 CPUtime=0.07 cores=0-7
/proc/21480/task/21499/stat : 21499 (java) S 21457 21457 20811 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 512172840 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044914347056 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21501] ppid=21457 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/21480/task/21501/stat : 21501 (java) S 21457 21457 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512172913 8616062976 30918 33554432000 4194304 4196468 140726792869008 140044906313280 140046161858329 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21503] ppid=21457 vsize=8414124 memory=-6948047529741504454 CPUtime=0 cores=0-7
/proc/21480/task/21503/stat : 21503 (java) S 21457 21457 20811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512172913 8616062976 30918 33554432000 4194304 4196468 140726792869008 140042978705040 140046161855645 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21504] ppid=21457 vsize=8414124 memory=-7966001967256141664 CPUtime=0 cores=0-7
/proc/21480/task/21504/stat : 21504 (java) S 21457 21457 20811 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512172913 8616062976 30918 33554432000 4194304 4196468 140726792869008 140043247140368 140046161855645 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21505] ppid=21457 vsize=8414124 memory=-7233780906022726806 CPUtime=0 cores=0-7
/proc/21480/task/21505/stat : 21505 (java) S 21457 21457 20811 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512172915 8616062976 30918 33554432000 4194304 4196468 140726792869008 140042710277168 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
Current children cumulated CPU time: 1013.73 s
Current children cumulated vsize: 9322872 KiB
Current children cumulated memory: 609244 KiB

[startup+140.201 s]
/proc/loadavg: 7.96 6.80 6.47 2/217 21521
/proc/meminfo: memFree=25154120/32770624 swapFree=66992456/67108860
[pid=21457] ppid=21454 vsize=113128 memory=1476 CPUtime=19.47 cores=0-7
/proc/21457/stat : 21457 (scop.sh) S 21454 21457 20811 0 -1 4202496 582 33571 0 0 0 0 1864 83 20 0 1 0 512171764 115843072 369 33554432000 4194304 5098028 140732523076016 140732523072760 140509649080956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32145408 140732523078397 140732523078744 140732523078744 140732523081673 0
/proc/21457/statm: 28282 369 311 221 0 87 0
[pid=21480] ppid=21457 vsize=8283048 memory=138252 CPUtime=994.7 cores=0-7
/proc/21480/stat : 21480 (java) S 21457 21457 20811 0 -1 1077944320 23050 501401 0 0 170 12 99171 117 20 0 22 0 512172833 8481841152 34563 33554432000 4194304 4196468 140726792869008 140726792851552 140046161833719 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
/proc/21480/statm: 2070762 34563 3223 1 0 2032106 0
[pid=21480/tid=21481] ppid=21457 vsize=8283048 memory=13848568834296442 CPUtime=993.75 cores=0-7
/proc/21480/task/21481/stat : 21481 (java) R 21457 21457 20811 0 -1 4202560 17984 501401 0 0 79 8 99171 117 20 0 22 0 512172833 8481841152 34563 33554432000 4194304 4196468 140726792869008 140046133662592 140046161845654 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21482] ppid=21457 vsize=8283048 memory=14008 CPUtime=992.88 cores=0-7
/proc/21480/task/21482/stat : 21482 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140046166076560 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21483] ppid=21457 vsize=8283048 memory=2120 CPUtime=992.88 cores=0-7
/proc/21480/task/21483/stat : 21483 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045646638096 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21484] ppid=21457 vsize=8283048 memory=12028 CPUtime=992.88 cores=0-7
/proc/21480/task/21484/stat : 21484 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045645585296 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21485] ppid=21457 vsize=8283048 memory=21236 CPUtime=992.88 cores=0-7
/proc/21480/task/21485/stat : 21485 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045644532496 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21486] ppid=21457 vsize=8283048 memory=512 CPUtime=992.88 cores=0-7
/proc/21480/task/21486/stat : 21486 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045643479696 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21487] ppid=21457 vsize=8283048 memory=1564 CPUtime=992.88 cores=0-7
/proc/21480/task/21487/stat : 21487 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045642426896 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21488] ppid=21457 vsize=8283048 memory=928 CPUtime=992.88 cores=0-7
/proc/21480/task/21488/stat : 21488 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045641374096 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21489] ppid=21457 vsize=8283048 memory=3784 CPUtime=992.88 cores=0-7
/proc/21480/task/21489/stat : 21489 (java) S 21457 21457 20811 0 -1 1077944384 3 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 34563 33554432000 4194304 4196468 140726792869008 140045640321296 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21490] ppid=21457 vsize=8283048 memory=1440 CPUtime=992.88 cores=0-7
/proc/21480/task/21490/stat : 21490 (java) S 21457 21457 20811 0 -1 1077944384 8 501401 0 0 0 0 99171 117 20 0 22 0 512172836 8481841152 34563 33554432000 4194304 4196468 140726792869008 140044919610224 140046161844866 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21491] ppid=21457 vsize=8283048 memory=904 CPUtime=992.88 cores=0-7
/proc/21480/task/21491/stat : 21491 (java) S 21457 21457 20811 0 -1 1077944384 13 501401 0 0 0 0 99171 117 20 0 22 0 512172837 8481841152 34563 33554432000 4194304 4196468 140726792869008 140044790654496 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21492] ppid=21457 vsize=8283048 memory=1984 CPUtime=992.88 cores=0-7
/proc/21480/task/21492/stat : 21492 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172837 8481841152 34563 33554432000 4194304 4196468 140726792869008 140044522218864 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21493] ppid=21457 vsize=8283048 memory=484096 CPUtime=992.88 cores=0-7
/proc/21480/task/21493/stat : 21493 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172840 8481841152 34563 33554432000 4194304 4196468 140726792869008 140044147710288 140046161852315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21494] ppid=21457 vsize=8283048 memory=-7003737579269690708 CPUtime=993.05 cores=0-7
/proc/21480/task/21494/stat : 21494 (java) S 21457 21457 20811 0 -1 1077944384 1055 501401 0 0 17 0 99171 117 20 0 22 0 512172840 8481841152 34580 33554432000 4194304 4196468 140726792869008 140044918557040 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21495] ppid=21457 vsize=8283048 memory=1476 CPUtime=993.03 cores=0-7
/proc/21480/task/21495/stat : 21495 (java) R 21457 21457 20811 0 -1 4202560 599 501401 0 0 15 0 99171 117 20 0 22 0 512172840 8481841152 34580 33554432000 4194304 4196468 140726792869008 140044917490752 140046140000200 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21496] ppid=21457 vsize=8283048 memory=123672 CPUtime=993.01 cores=0-7
/proc/21480/task/21496/stat : 21496 (java) S 21457 21457 20811 0 -1 1077944384 478 501401 0 0 13 0 99171 117 20 0 22 0 512172840 8481841152 34580 33554432000 4194304 4196468 140726792869008 140044916451440 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21497] ppid=21457 vsize=8283048 memory=483916 CPUtime=993.18 cores=0-7
/proc/21480/task/21497/stat : 21497 (java) R 21457 21457 20811 0 -1 4202560 1337 501401 0 0 30 0 99171 117 20 0 22 0 512172840 8481841152 34580 33554432000 4194304 4196468 140726792869008 140044915398640 140046154930555 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21498] ppid=21457 vsize=8283048 memory=4715433313220523562 CPUtime=992.88 cores=0-7
/proc/21480/task/21498/stat : 21498 (java) S 21457 21457 20811 0 -1 1077944384 3 501401 0 0 0 0 99171 117 20 0 22 0 512172840 8481841152 34580 33554432000 4194304 4196468 140726792869008 140043649805408 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21499] ppid=21457 vsize=8283048 memory=9047017150487036571 CPUtime=992.95 cores=0-7
/proc/21480/task/21499/stat : 21499 (java) S 21457 21457 20811 0 -1 1077944384 11 501401 0 0 0 7 99171 117 20 0 22 0 512172840 8481841152 34580 33554432000 4194304 4196468 140726792869008 140044914347056 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21501] ppid=21457 vsize=8283048 memory=8514726395714825349 CPUtime=992.88 cores=0-7
/proc/21480/task/21501/stat : 21501 (java) S 21457 21457 20811 0 -1 1077944384 23 501401 0 0 0 0 99171 117 20 0 22 0 512172913 8481841152 34580 33554432000 4194304 4196468 140726792869008 140044906312464 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21505] ppid=21457 vsize=8283048 memory=-8253362762722141311 CPUtime=992.88 cores=0-7
/proc/21480/task/21505/stat : 21505 (java) S 21457 21457 20811 0 -1 1077944384 15 501401 0 0 0 0 99171 117 20 0 22 0 512172915 8481841152 34580 33554432000 4194304 4196468 140726792869008 140042710278960 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
Current children cumulated CPU time: 1014.17 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139728 KiB

[startup+140.301 s]
/proc/loadavg: 7.96 6.80 6.47 2/217 21521
/proc/meminfo: memFree=25154120/32770624 swapFree=66992456/67108860
[pid=21457] ppid=21454 vsize=113128 memory=1476 CPUtime=19.47 cores=0-7
/proc/21457/stat : 21457 (scop.sh) S 21454 21457 20811 0 -1 4202496 582 33571 0 0 0 0 1864 83 20 0 1 0 512171764 115843072 369 33554432000 4194304 5098028 140732523076016 140732523072760 140509649080956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32145408 140732523078397 140732523078744 140732523078744 140732523081673 0
/proc/21457/statm: 28282 369 311 221 0 87 0
[pid=21480] ppid=21457 vsize=8283048 memory=144428 CPUtime=994.96 cores=0-7
/proc/21480/stat : 21480 (java) S 21457 21457 20811 0 -1 1077944320 23547 501401 0 0 196 12 99171 117 20 0 22 0 512172833 8481841152 36107 33554432000 4194304 4196468 140726792869008 140726792851552 140046161833719 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
/proc/21480/statm: 2070762 36107 3236 1 0 2032106 0
[pid=21480/tid=21481] ppid=21457 vsize=8283048 memory=123672 CPUtime=993.85 cores=0-7
/proc/21480/task/21481/stat : 21481 (java) R 21457 21457 20811 0 -1 4202560 18115 501401 0 0 89 8 99171 117 20 0 22 0 512172833 8481841152 36107 33554432000 4194304 4196468 140726792869008 140046133668752 140045668847556 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21482] ppid=21457 vsize=8283048 memory=128752 CPUtime=992.88 cores=0-7
/proc/21480/task/21482/stat : 21482 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140046166076560 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21483] ppid=21457 vsize=8283048 memory=1476 CPUtime=992.88 cores=0-7
/proc/21480/task/21483/stat : 21483 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045646638096 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21484] ppid=21457 vsize=8283048 memory=280574510280992 CPUtime=992.88 cores=0-7
/proc/21480/task/21484/stat : 21484 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045645585296 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21485] ppid=21457 vsize=8283048 memory=2528 CPUtime=992.88 cores=0-7
/proc/21480/task/21485/stat : 21485 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045644532496 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21486] ppid=21457 vsize=8283048 memory=1764 CPUtime=992.88 cores=0-7
/proc/21480/task/21486/stat : 21486 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045643479696 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21487] ppid=21457 vsize=8283048 memory=472224 CPUtime=992.88 cores=0-7
/proc/21480/task/21487/stat : 21487 (java) S 21457 21457 20811 0 -1 1077944384 2 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045642426896 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21488] ppid=21457 vsize=8283048 memory=499260 CPUtime=992.88 cores=0-7
/proc/21480/task/21488/stat : 21488 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045641374096 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21489] ppid=21457 vsize=8283048 memory=472224 CPUtime=992.88 cores=0-7
/proc/21480/task/21489/stat : 21489 (java) S 21457 21457 20811 0 -1 1077944384 3 501401 0 0 0 0 99171 117 20 0 22 0 512172835 8481841152 36107 33554432000 4194304 4196468 140726792869008 140045640321296 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21490] ppid=21457 vsize=8283048 memory=499444 CPUtime=992.88 cores=0-7
/proc/21480/task/21490/stat : 21490 (java) S 21457 21457 20811 0 -1 1077944384 8 501401 0 0 0 0 99171 117 20 0 22 0 512172836 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044919610224 140046161844866 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21491] ppid=21457 vsize=8283048 memory=11310 CPUtime=992.88 cores=0-7
/proc/21480/task/21491/stat : 21491 (java) S 21457 21457 20811 0 -1 1077944384 13 501401 0 0 0 0 99171 117 20 0 22 0 512172837 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044790654496 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21492] ppid=21457 vsize=8283048 memory=11446 CPUtime=992.88 cores=0-7
/proc/21480/task/21492/stat : 21492 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172837 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044522218864 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21493] ppid=21457 vsize=8283048 memory=123672 CPUtime=992.88 cores=0-7
/proc/21480/task/21493/stat : 21493 (java) S 21457 21457 20811 0 -1 1077944384 1 501401 0 0 0 0 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044147710288 140046161852315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21494] ppid=21457 vsize=8283048 memory=483916 CPUtime=993.07 cores=0-7
/proc/21480/task/21494/stat : 21494 (java) R 21457 21457 20811 0 -1 4202560 1073 501401 0 0 19 0 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044918557040 140046154818761 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21495] ppid=21457 vsize=8283048 memory=1476 CPUtime=993.08 cores=0-7
/proc/21480/task/21495/stat : 21495 (java) R 21457 21457 20811 0 -1 4202560 776 501401 0 0 20 0 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044917504240 140046161855066 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21496] ppid=21457 vsize=8283048 memory=1476 CPUtime=993.04 cores=0-7
/proc/21480/task/21496/stat : 21496 (java) R 21457 21457 20811 0 -1 4202560 499 501401 0 0 16 0 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044916451440 140046161855066 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21497] ppid=21457 vsize=8283048 memory=472656 CPUtime=993.23 cores=0-7
/proc/21480/task/21497/stat : 21497 (java) S 21457 21457 20811 0 -1 1077944384 1483 501401 0 0 35 0 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044915398640 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21498] ppid=21457 vsize=8283048 memory=499524 CPUtime=992.88 cores=0-7
/proc/21480/task/21498/stat : 21498 (java) S 21457 21457 20811 0 -1 1077944384 3 501401 0 0 0 0 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140043649805408 140046161843925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21499] ppid=21457 vsize=8283048 memory=0 CPUtime=992.95 cores=0-7
/proc/21480/task/21499/stat : 21499 (java) S 21457 21457 20811 0 -1 1077944384 11 501401 0 0 0 7 99171 117 20 0 22 0 512172840 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044914347056 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21501] ppid=21457 vsize=8283048 memory=6935649255759568960 CPUtime=992.88 cores=0-7
/proc/21480/task/21501/stat : 21501 (java) S 21457 21457 20811 0 -1 1077944384 23 501401 0 0 0 0 99171 117 20 0 22 0 512172913 8481841152 36107 33554432000 4194304 4196468 140726792869008 140044906312464 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
[pid=21480/tid=21505] ppid=21457 vsize=8283048 memory=1476 CPUtime=992.88 cores=0-7
/proc/21480/task/21505/stat : 21505 (java) S 21457 21457 20811 0 -1 1077944384 15 501401 0 0 0 0 99171 117 20 0 22 0 512172915 8481841152 36107 33554432000 4194304 4196468 140726792869008 140042710278960 140046161844866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140726792877023 140726792877190 140726792877190 140726792880079 0
Current children cumulated CPU time: 1014.43 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 145904 KiB

Child status: 0
Real time (s): 140.398
CPU time (s): 1014.72
CPU user time (s): 1012.55
CPU system time (s): 2.16623
CPU usage (%): 722.741
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4328036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1012.55
system time used= 2.16623
maximum resident set size= 4329548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16834
involuntary context switches= 10812


# summary of solver processes directly reported to runsolver:
#   pid: 21457
#   total CPU time (s): 1014.72
#   total CPU user time (s): 1012.55
#   total CPU system time (s): 2.16623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29779 second user time and 1.93987 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 23:04:09
IDJOB=4405330
IDBENCH=138939
IDSOLVER=2867
FILE ID=node121/4405330-1569359092
RUNJOBID= node121-1569357356-20838
PBS_JOBID= 21705107
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405330-1569359092/watcher-4405330-1569359092 -o /var/tmp/evaluation-result-4405330-1569359092/solver-4405330-1569359092 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --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-4405330-1569359092.xml

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

MD5SUM BENCH= cc39eb921a5cd1c2fcd1d541ff73edd4
RANDOM SEED=149852093

node121.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.75
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.75
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.75
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.75
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:        25754192 kB
MemAvailable:   31844540 kB
Buffers:          152596 kB
Cached:          6028380 kB
SwapCached:         4600 kB
Active:          3065836 kB
Inactive:        3123352 kB
Active(anon):       2300 kB
Inactive(anon):    55932 kB
Active(file):    3063536 kB
Inactive(file):  3067420 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       66992456 kB
Dirty:             20824 kB
Writeback:             0 kB
AnonPages:        265336 kB
Mapped:            53936 kB
Shmem:             41144 kB
Slab:             417560 kB
SReclaimable:     387852 kB
SUnreclaim:        29708 kB
KernelStack:        3728 kB
PageTables:         6008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-24 23:06:29