Trace number 4405630

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21424-serial-file.bin HOME/instance-4405630-1569359100.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 23:07:14 CEST 2019
0.66/0.56	c PID: 21427
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.71/1.06	c (0,0) Parsing End
1.71/1.07	c (0,0) CSP: 869 int (0 aux), 31 bool (0 aux), 2 ctr, max domain size 30
1.71/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.71/1.07	c (0,0) Constraint Name Generate Begin
1.71/1.08	c (0,0) Ctr:HOME/instance-4405630-1569359100.xml,AllDifferentMatrix:Instantiation:Var
1.71/1.08	c (0,0) Constraint Name Generate End
1.71/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.71/1.08	c (0,0) CSP to CSPinCNF Begin
1.94/1.11	c (0,0) translated 1 (10%) constraints
5.70/2.81	c (2,2) translated 2 (20%) constraints
5.70/2.83	c (2,2) ===========================================
6.05/2.92	c (2,2) Hybrid: #OE=375, #LE=525
6.05/2.92	c (2,2) Hybrid
6.05/2.92	c (2,2) ===========================================
8.06/3.48	c (2,2) translated 2855 (10%) constraints
9.55/3.83	c (3,3) translated 5709 (20%) constraints
9.91/4.15	c (3,3) translated 8564 (30%) constraints
10.21/4.45	c (3,3) translated 11418 (40%) constraints
10.52/4.78	c (4,4) translated 14273 (50%) constraints
10.85/5.06	c (4,4) translated 17127 (60%) constraints
11.19/5.33	c (4,4) translated 19982 (70%) constraints
11.54/5.60	c (5,5) translated 22836 (80%) constraints
11.75/5.90	c (5,5) translated 25691 (90%) constraints
12.06/6.13	c (5,5) translated 28545 (100%) constraints
12.06/6.14	c (5,5) CSP to CSPinCNF End
12.06/6.15	c (5,5) CSP: 869 int (0 aux), 27031 bool (27000 aux), 137070 ctr, max domain size 30
12.06/6.15	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.06/6.15	c (5,5) CSPinCNF Propagation Begin
15.56/8.31	c (7,7) 20656 values, 88712 unsatisfiable literals, and 92199 valid clauses are removed
15.56/8.31	c (7,7) CSPinCNF Propagation End
15.56/8.32	c (7,7) CSP: 868 int (0 aux), 27032 bool (27000 aux), 44871 ctr, max domain size 30
15.56/8.32	c (7,7) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.56/8.37	c (7,7) Hybrid: #OE=27375, #LE=525
15.56/8.37	c (7,7) Simplify CSPinCNF Begin
16.64/8.87	c (8,8) Simplify CSPinCNF End
16.64/8.88	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
16.64/8.88	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.64/8.88	c (8,8) Calculate Precise Domain Begin
16.64/8.88	c (8,8) 0 values are removed by re-calculation
16.64/8.88	c (8,8) Calculate Precise Domain End
16.64/8.89	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
16.64/8.89	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.64/8.89	c (8,8) CSPinCNF to SatSolver Begin
18.62/9.47	c (8,8) 7049 (10 %) CSP clauses are encoded (0 SAT variables, 28264 SAT clauses)
19.18/9.62	c (9,9) 14098 (20 %) CSP clauses are encoded (0 SAT variables, 48481 SAT clauses)
19.29/9.77	c (9,9) 21147 (30 %) CSP clauses are encoded (0 SAT variables, 70396 SAT clauses)
19.54/9.90	c (9,9) 28196 (40 %) CSP clauses are encoded (0 SAT variables, 91017 SAT clauses)
19.67/10.04	c (9,9) 35245 (50 %) CSP clauses are encoded (0 SAT variables, 112442 SAT clauses)
19.77/10.18	c (9,9) 42294 (60 %) CSP clauses are encoded (0 SAT variables, 134371 SAT clauses)
20.02/10.32	c (9,9) 49343 (70 %) CSP clauses are encoded (0 SAT variables, 157268 SAT clauses)
20.12/10.45	c (9,9) 56392 (80 %) CSP clauses are encoded (0 SAT variables, 178513 SAT clauses)
20.22/10.57	c (10,10) 63441 (90 %) CSP clauses are encoded (0 SAT variables, 198042 SAT clauses)
20.42/10.71	c (10,10) 70489 (100 %) CSP clauses are encoded (0 SAT variables, 219580 SAT clauses)
20.42/10.71	c (10,10) CSPinCNF to SatSolver End
20.42/10.71	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.42/10.71	c (10,10) 41617 bool, 219581 clause
20.42/10.71	c (10,10) Export Begin
20.61/10.85	c (10,10) Export to HOME/scop-21424-serial-file.bin
20.61/10.85	c (10,10) Export End
20.61/10.85	c (10,10) Export File Size: 0.15 MB
20.61/10.85	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.61/10.85	c END-Prog: Tue Sep 24 23:07:25 CEST 2019
20.61/10.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21424-serial-file.bin
21.34/11.34	c (0,0) Read Serial File Begin
21.34/11.34	c (0,0) HOME/scop-21424-serial-file.bin
21.60/11.59	c (0,0) Read Serial File End
21.91/11.61	
21.91/11.61	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.91/11.61	(Solving Process)
21.91/11.61	
21.91/11.63	c BEGIN-Prog: Tue Sep 24 23:07:26 CEST 2019
21.91/11.63	c PID: 21448
21.91/11.63	c IP: 172.20.3.139
21.91/11.63	c HOST: node139.alineos.net
21.91/11.63	c (0,0) SatSolver.solve Begin
21.91/11.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405630-1569359100.xml-scop-21427.cnf
21.91/11.66	c (0,0) c
21.91/11.66	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.91/11.66	c (0,0) c
21.91/11.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.91/11.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.91/11.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.91/11.66	c (0,0) c |                                                                                                       |
22.15/11.74	c (0,0) c |  Number of variables:         41617                                                                   |
22.15/11.74	c (0,0) c |  Number of clauses:          219581                                                                   |
22.15/11.74	c (0,0) c |  Parse time:                   0.07 s                                                                 |
22.15/11.74	c (0,0) c |                                                                                                       |
22.17/11.96	c (0,0) c |  Simplification time:          0.21 s                                                                 |
22.17/11.96	c (0,0) c |                                                                                                       |
22.17/11.96	c (0,0) c |  Generating clones                                                                                    |
22.51/12.08	c (0,0) c |  all clones generated. Memory =   206.18Mb.                                                           |
22.51/12.08	c (0,0) c ========================================================================================================|
22.51/12.08	c (0,0) c
22.51/12.08	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.51/12.08	c (0,0) c
22.51/12.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.51/12.08	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.51/12.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.51/12.08	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.51/12.08	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.51/12.08	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.51/12.08	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.51/12.08	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.51/12.08	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.51/12.08	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.51/12.08	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.51/12.08	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.51/12.08	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.51/12.08	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.51/12.08	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.51/12.08	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.51/12.08	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.51/12.08	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.51/12.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
256.59/41.59	c (30,0) c
256.59/41.59	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.59/41.59	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
256.59/41.59	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.59/41.59	c (30,0) c |  0 |    522 |     262359 |      34527 |    59658 |    18160 |     6716 |    43619 |     3207 |      144 |  20 |  5.882 |
256.59/41.59	c (30,0) c |  1 |    550 |     274157 |      35934 |    60136 |    19568 |     6925 |    44477 |     3444 |      149 |  20 |  5.885 |
256.59/41.59	c (30,0) c |  2 |    523 |     266655 |      35200 |    60155 |    18821 |     6807 |    43979 |     3291 |      147 |  20 |  5.882 |
256.59/41.59	c (30,0) c |  3 |    520 |     273500 |      35329 |    60370 |    18945 |     6752 |    44503 |     3427 |      149 |  20 |  5.885 |
256.59/41.59	c (30,0) c |  4 |    538 |     270248 |      35990 |    60171 |    19601 |     7042 |    44448 |     3401 |      150 |  20 |  5.889 |
256.59/41.59	c (30,0) c |  5 |    500 |     269025 |      35074 |    60054 |    18687 |     6811 |    43758 |     3277 |      145 |  20 |  5.882 |
256.59/41.59	c (30,0) c |  6 |    544 |     270608 |      35921 |    60290 |    19545 |     6811 |    44378 |     3407 |      148 |  20 |  5.885 |
256.59/41.59	c (30,0) c |  7 |    540 |     280869 |      35797 |    60154 |    19422 |     6933 |    44470 |     3358 |      149 |  20 |  5.885 |
256.59/41.59	c (30,0) c 
256.59/41.59	c (30,0) c synthesis      283772 conflicts   339728105 propagations     1210 conflicts/sec  1448855 propagations/sec
256.59/41.59	c (30,0) c real: 29.9186 s, cpu: 234.48 s, memory: 776.98 Mb
495.83/71.58	c (60,0) c
495.83/71.58	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
495.83/71.58	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
495.83/71.58	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
495.83/71.58	c (60,0) c |  0 |    885 |     348962 |      64194 |    70405 |    25605 |    10718 |    71295 |     6265 |      293 |  20 |  5.937 |
495.83/71.58	c (60,0) c |  1 |    949 |     363239 |      66958 |    70900 |    28372 |    10922 |    73454 |     6751 |      307 |  20 |  5.937 |
495.83/71.58	c (60,0) c |  2 |    965 |     364305 |      65167 |    70746 |    26580 |    10755 |    72262 |     6461 |      299 |  20 |  5.937 |
495.83/71.58	c (60,0) c |  3 |    966 |     372470 |      66730 |    71237 |    28138 |    10795 |    73951 |     6752 |      309 |  20 |  5.937 |
495.83/71.58	c (60,0) c |  4 |    963 |     363378 |      67126 |    70702 |    28532 |    11046 |    73330 |     6702 |      307 |  20 |  5.937 |
495.83/71.58	c (60,0) c |  5 |    919 |     362763 |      65525 |    70895 |    26931 |    10758 |    72566 |     6504 |      301 |  20 |  5.940 |
495.83/71.58	c (60,0) c |  6 |    974 |     368646 |      66637 |    71198 |    28042 |    10833 |    72772 |     6684 |      304 |  20 |  5.937 |
495.83/71.58	c (60,0) c |  7 |    970 |     376161 |      67041 |    70903 |    28451 |    10955 |    73611 |     6741 |      308 |  20 |  5.937 |
495.83/71.58	c (60,0) c 
495.83/71.58	c (60,0) c synthesis      529378 conflicts   616062499 propagations     1118 conflicts/sec  1300852 propagations/sec
495.83/71.58	c (60,0) c real: 59.9186 s, cpu: 473.584 s, memory: 776.98 Mb
724.09/100.58	c (89,0) c
724.09/100.58	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
724.09/100.58	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
724.09/100.58	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
724.09/100.58	c (89,0) c |  0 |   1166 |     413734 |      90041 |    76109 |    18845 |    13655 |    91885 |     8922 |      434 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  1 |   1228 |     428874 |      94200 |    77047 |    23007 |    14000 |    94737 |     9386 |      454 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  2 |   1262 |     433494 |      91363 |    76686 |    20173 |    13765 |    93086 |     9013 |      442 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  3 |   1303 |     446253 |      93214 |    77104 |    22019 |    13750 |    94998 |     9412 |      454 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  4 |   1269 |     432760 |      94154 |    76781 |    22959 |    14046 |    94688 |     9391 |      454 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  5 |   1219 |     431417 |      92932 |    76909 |    21737 |    13857 |    94458 |     9218 |      452 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  6 |   1303 |     440633 |      93904 |    76923 |    22706 |    13848 |    94402 |     9268 |      453 |  20 |  5.949 |
724.09/100.58	c (89,0) c |  7 |   1289 |     446695 |      94037 |    76806 |    22839 |    14033 |    94684 |     9264 |      454 |  20 |  5.949 |
724.09/100.58	c (89,0) c 
724.09/100.58	c (89,0) c synthesis      743845 conflicts   860803135 propagations     1060 conflicts/sec  1226747 propagations/sec
724.09/100.58	c (89,0) c real: 88.9186 s, cpu: 701.696 s, memory: 776.98 Mb
952.94/129.58	c (118,0) c
952.94/129.58	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
952.94/129.58	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
952.94/129.58	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
952.94/129.58	c (118,0) c |  0 |   1374 |     466600 |     114821 |    80231 |    23428 |    16030 |   110016 |    11205 |      576 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  1 |   1485 |     487253 |     118389 |    81005 |    26995 |    16300 |   112281 |    11769 |      594 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  2 |   1518 |     494267 |     116925 |    80977 |    25530 |    16331 |   111572 |    11392 |      588 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  3 |   1527 |     502521 |     117769 |    81112 |    26376 |    16352 |   111573 |    11644 |      594 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  4 |   1454 |     482356 |     118127 |    80466 |    26731 |    16389 |   112515 |    11519 |      596 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  5 |   1441 |     485707 |     117045 |    80847 |    25651 |    16294 |   111893 |    11478 |      590 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  6 |   1515 |     495537 |     117133 |    80845 |    25735 |    16316 |   110753 |    11476 |      583 |  20 |  5.957 |
952.94/129.58	c (118,0) c |  7 |   1517 |     503433 |     118056 |    80675 |    26664 |    16432 |   111809 |    11588 |      591 |  20 |  5.957 |
952.94/129.58	c (118,0) c 
952.94/129.58	c (118,0) c synthesis      938266 conflicts  1084582520 propagations     1009 conflicts/sec  1165955 propagations/sec
952.94/129.58	c (118,0) c real: 117.919 s, cpu: 930.21 s, memory: 776.98 Mb
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c real time : 120.769 s
965.57/132.43	c (121,0) c cpu time  : 942.221 s
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c | Conflicts     |          950897 |     118643 |     119032 |     118582 |     118421 |     118878 |     118444 |     119679 |     119218 |
965.57/132.43	c (121,0) c | Decisions     |         3948637 |     474718 |     488597 |     499285 |     504299 |     483807 |     489276 |     502223 |     506432 |
965.57/132.43	c (121,0) c | Propagations  |      1099482204 |  137189306 |  137705561 |  137363735 |  137358138 |  136777253 |  137047126 |  137483452 |  138557633 |
965.57/132.43	c (121,0) c | ReduceDBs     |              72 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |
965.57/132.43	c (121,0) c | SimpDBs       |             637 |         82 |         79 |         80 |         80 |         80 |         77 |         79 |         80 |
965.57/132.43	c (121,0) c | Restarts      |           11971 |       1408 |       1491 |       1541 |       1536 |       1459 |       1458 |       1546 |       1532 |
965.57/132.43	c (121,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.57/132.43	c (121,0) c | PropBinClauses|      3255001316 |  406716255 |  406288887 |  406986280 |  406688284 |  406395601 |  406066539 |  407544559 |  408314911 |
965.57/132.43	c (121,0) c | PropPreBlocker|     16168672872 | 2018803053 | 2018327271 | 2020436045 | 2022975583 | 2021743088 | 2019489685 | 2022816695 | 2024081452 |
965.57/132.43	c (121,0) c | PropNotBlocker|      4238431931 |  527608758 |  530369576 |  529667780 |  528938778 |  531512148 |  530878113 |  527903478 |  531553300 |
965.57/132.43	c (121,0) c | LitFullScans  |     28729754248 | 3588771796 | 3588992809 | 3588441903 | 3589637988 | 3604105746 | 3590057754 | 3589275993 | 3590470259 |
965.57/132.43	c (121,0) c | LitScanFracts |         9493968 |     768474 |     983810 |     435237 |     289954 |    1244321 |    2040906 |    1272835 |    2458431 |
965.57/132.43	c (121,0) c | DecisionLevel0|           22480 |       2715 |       2763 |       2862 |       2838 |       2783 |       2767 |       2900 |       2852 |
965.57/132.43	c (121,0) c | Periods       |            4786 |        598 |        598 |        598 |        598 |        600 |        598 |        598 |        598 |
965.57/132.43	c (121,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
965.57/132.43	c (121,0) c | Avg_Trail     |                 |       9152 |       9121 |       9153 |       9199 |       9122 |       9142 |       9153 |       9132 |
965.57/132.43	c (121,0) c | Avg_DL        |                 |         73 |         75 |         80 |         79 |         74 |         75 |         79 |         78 |
965.57/132.43	c (121,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.57/132.43	c (121,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c | Exported      |          131727 |      16442 |      16365 |      16494 |      16415 |      16467 |      16450 |      16538 |      16556 |
965.57/132.43	c (121,0) c | Imported      |          901325 |     112705 |     112633 |     112637 |     112669 |     112872 |     112723 |     112547 |     112539 |
965.57/132.43	c (121,0) c | Good          |           63582 |       7956 |       7921 |       7915 |       8025 |       7925 |       7934 |       8014 |       7892 |
965.57/132.43	c (121,0) c | Purge         |          837743 |     104749 |     104712 |     104722 |     104644 |     104947 |     104789 |     104533 |     104647 |
965.57/132.43	c (121,0) c | Promoted      |           93166 |      11523 |      11820 |      11544 |      11689 |      11598 |      11590 |      11692 |      11710 |
965.57/132.43	c (121,0) c | Remove_Imp    |          537545 |      66682 |      67208 |      67487 |      67603 |      67385 |      67787 |      66793 |      66600 |
965.57/132.43	c (121,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c | Unaries       |                 |       1307 |       1272 |       1321 |       1302 |       1324 |       1309 |       1354 |       1320 |
965.57/132.43	c (121,0) c | Binaries      |                 |       1130 |       1163 |       1170 |       1059 |       1162 |       1150 |       1071 |       1194 |
965.57/132.43	c (121,0) c | Glues         |                 |       2332 |       2362 |       2346 |       2219 |       2380 |       2312 |       2247 |       2405 |
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c | Orig_Seen     |            49 % |      80769 |      81109 |      81244 |      81207 |      80595 |      81062 |      81225 |      80830 |
965.57/132.43	c (121,0) c | Diff Orig seen|                 | -      438 | -       98 |         37 |      X     | -      612 | -      145 |         18 | -      377 |
965.57/132.43	c (121,0) c | Hamming       |            12 % |       4939 |       5328 |       4769 |      X     |       5321 |       5343 |       4939 |       5002 |
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c | RunningTime   |                 |  120.3 100%|  117.1  99%|  119.1 100%|  117.6  99%|  117.2  99%|  118.6 100%|  119.2  99%|  116.9  98%|
965.57/132.43	c (121,0) c | WaitingTime   |                 |    0.0   0%|    1.2   1%|    0.0   0%|    0.6   0%|    1.0   1%|    0.2   0%|    0.6   0%|    1.7   1%|
965.57/132.43	c (121,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%|
965.57/132.43	c (121,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%|
965.57/132.43	c (121,0) c | SolvingTime   |                 |  120.3     |  118.5     |  119.2     |  118.3     |  118.3     |  118.9     |  119.8     |  118.7     |
965.57/132.43	c (121,0) c | PropagationTim|                 |  102.4  85%|  102.4  86%|  103.7  87%|  101.4  86%|  102.4  87%|  102.1  86%|  102.1  85%|  102.9  87%|
965.57/132.43	c (121,0) c | AnalysisTime  |                 |   13.5  11%|   11.5  10%|   11.1   9%|   12.2  10%|   11.4  10%|   12.2  10%|   13.2  11%|   11.2   9%|
965.57/132.43	c (121,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%|
965.57/132.43	c (121,0) c | SimplifyTime  |                 |    0.6   0%|    0.6   1%|    0.6   0%|    0.6   1%|    0.6   1%|    0.6   0%|    0.6   0%|    0.6   1%|
965.57/132.43	c (121,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%|
965.57/132.43	c (121,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%|
965.57/132.43	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c
965.57/132.43	c (121,0) c Threads : 8
965.57/132.43	c (121,0) c Winner : 3
965.57/132.43	c (121,0) c Conflicts_0 : 118643
965.57/132.43	c (121,0) c Conflicts_1 : 119032
965.57/132.43	c (121,0) c Conflicts_2 : 118582
965.57/132.43	c (121,0) c Conflicts_3 : 118421
965.57/132.43	c (121,0) c Conflicts_4 : 118878
965.57/132.43	c (121,0) c Conflicts_5 : 118444
965.57/132.43	c (121,0) c Conflicts_6 : 119679
965.57/132.43	c (121,0) c Conflicts_7 : 119218
965.57/132.43	c (121,0) c Conflicts_total : 950897
965.57/132.43	c (121,0) c Conflicts_winner : 118421
965.57/132.43	c (121,0) c Decisions_0 : 474718
965.57/132.43	c (121,0) c Decisions_1 : 488597
965.57/132.43	c (121,0) c Decisions_2 : 499285
965.57/132.43	c (121,0) c Decisions_3 : 504299
965.57/132.43	c (121,0) c Decisions_4 : 483807
965.57/132.43	c (121,0) c Decisions_5 : 489276
965.57/132.43	c (121,0) c Decisions_6 : 502223
965.57/132.43	c (121,0) c Decisions_7 : 506432
965.57/132.43	c (121,0) c Decisions_total : 3948637
965.57/132.43	c (121,0) c Decisions_winner : 504299
965.57/132.43	c (121,0) c Propagations_0 : 137189306
965.57/132.43	c (121,0) c Propagations_1 : 137705561
965.57/132.43	c (121,0) c Propagations_2 : 137363735
965.57/132.43	c (121,0) c Propagations_3 : 137358138
965.57/132.43	c (121,0) c Propagations_4 : 136777253
965.57/132.43	c (121,0) c Propagations_5 : 137047126
965.57/132.43	c (121,0) c Propagations_6 : 137483452
965.57/132.43	c (121,0) c Propagations_7 : 138557633
965.57/132.43	c (121,0) c Propagations_total : 1099482204
965.57/132.43	c (121,0) c Propagations_winner : 137358138
965.57/132.43	c (121,0) c ReduceDBs_0 : 9
965.57/132.43	c (121,0) c ReduceDBs_1 : 9
965.57/132.43	c (121,0) c ReduceDBs_2 : 9
965.57/132.43	c (121,0) c ReduceDBs_3 : 9
965.57/132.43	c (121,0) c ReduceDBs_4 : 9
965.57/132.43	c (121,0) c ReduceDBs_5 : 9
965.57/132.43	c (121,0) c ReduceDBs_6 : 9
965.57/132.43	c (121,0) c ReduceDBs_7 : 9
965.57/132.43	c (121,0) c ReduceDBs_total : 72
965.57/132.43	c (121,0) c ReduceDBs_winner : 9
965.57/132.43	c (121,0) c SimpDBs_0 : 82
965.57/132.43	c (121,0) c SimpDBs_1 : 79
965.57/132.43	c (121,0) c SimpDBs_2 : 80
965.57/132.43	c (121,0) c SimpDBs_3 : 80
965.57/132.43	c (121,0) c SimpDBs_4 : 80
965.57/132.43	c (121,0) c SimpDBs_5 : 77
965.57/132.43	c (121,0) c SimpDBs_6 : 79
965.57/132.43	c (121,0) c SimpDBs_7 : 80
965.57/132.43	c (121,0) c SimpDBs_total : 637
965.57/132.43	c (121,0) c SimpDBs_winner : 80
965.57/132.43	c (121,0) c Restarts_0 : 1408
965.57/132.43	c (121,0) c Restarts_1 : 1491
965.57/132.43	c (121,0) c Restarts_2 : 1541
965.57/132.43	c (121,0) c Restarts_3 : 1536
965.57/132.43	c (121,0) c Restarts_4 : 1459
965.57/132.43	c (121,0) c Restarts_5 : 1458
965.57/132.43	c (121,0) c Restarts_6 : 1546
965.57/132.43	c (121,0) c Restarts_7 : 1532
965.57/132.43	c (121,0) c Restarts_total : 11971
965.57/132.43	c (121,0) c Restarts_winner : 1536
965.57/132.43	c (121,0) c ForcedImports_0 : 0
965.57/132.43	c (121,0) c ForcedImports_1 : 0
965.57/132.43	c (121,0) c ForcedImports_2 : 0
965.57/132.43	c (121,0) c ForcedImports_3 : 0
965.57/132.43	c (121,0) c ForcedImports_4 : 0
965.57/132.43	c (121,0) c ForcedImports_5 : 0
965.57/132.43	c (121,0) c ForcedImports_6 : 0
965.57/132.43	c (121,0) c ForcedImports_7 : 0
965.57/132.43	c (121,0) c ForcedImports_total : 0
965.57/132.43	c (121,0) c ForcedImports_winner : 0
965.57/132.43	c (121,0) c PropsBinClauses_0 : 406716255
965.57/132.43	c (121,0) c PropsBinClauses_1 : 406288887
965.57/132.43	c (121,0) c PropsBinClauses_2 : 406986280
965.57/132.43	c (121,0) c PropsBinClauses_3 : 406688284
965.57/132.43	c (121,0) c PropsBinClauses_4 : 406395601
965.57/132.43	c (121,0) c PropsBinClauses_5 : 406066539
965.57/132.43	c (121,0) c PropsBinClauses_6 : 407544559
965.57/132.43	c (121,0) c PropsBinClauses_7 : 408314911
965.57/132.43	c (121,0) c PropsBinClauses_total : 3255001316
965.57/132.43	c (121,0) c PropsBinClauses_winner : 406688284
965.57/132.43	c (121,0) c PropsPreBlocker_0 : 2018803053
965.57/132.43	c (121,0) c PropsPreBlocker_1 : 2018327271
965.57/132.43	c (121,0) c PropsPreBlocker_2 : 2020436045
965.57/132.43	c (121,0) c PropsPreBlocker_3 : 2022975583
965.57/132.43	c (121,0) c PropsPreBlocker_4 : 2021743088
965.57/132.43	c (121,0) c PropsPreBlocker_5 : 2019489685
965.57/132.43	c (121,0) c PropsPreBlocker_6 : 2022816695
965.57/132.43	c (121,0) c PropsPreBlocker_7 : 2024081452
965.57/132.43	c (121,0) c PropsPreBlocker_total : 16168672872
965.57/132.43	c (121,0) c PropsPreBlocker_winner : 2022975583
965.57/132.43	c (121,0) c PropsNotBlocker_0 : 527608758
965.57/132.43	c (121,0) c PropsNotBlocker_1 : 530369576
965.57/132.43	c (121,0) c PropsNotBlocker_2 : 529667780
965.57/132.43	c (121,0) c PropsNotBlocker_3 : 528938778
965.57/132.43	c (121,0) c PropsNotBlocker_4 : 531512148
965.57/132.43	c (121,0) c PropsNotBlocker_5 : 530878113
965.57/132.43	c (121,0) c PropsNotBlocker_6 : 527903478
965.57/132.43	c (121,0) c PropsNotBlocker_7 : 531553300
965.57/132.43	c (121,0) c PropsNotBlocker_total : 4238431931
965.57/132.43	c (121,0) c PropsNotBlocker_winner : 528938778
965.57/132.43	c (121,0) c PropsLitFullScans_0 : 3588771796
965.57/132.43	c (121,0) c PropsLitFullScans_1 : 3588992809
965.57/132.43	c (121,0) c PropsLitFullScans_2 : 3588441903
965.57/132.43	c (121,0) c PropsLitFullScans_3 : 3589637988
965.57/132.43	c (121,0) c PropsLitFullScans_4 : 3604105746
965.57/132.43	c (121,0) c PropsLitFullScans_5 : 3590057754
965.57/132.43	c (121,0) c PropsLitFullScans_6 : 3589275993
965.57/132.43	c (121,0) c PropsLitFullScans_7 : 3590470259
965.57/132.43	c (121,0) c PropsLitFullScans_total : 28729754248
965.57/132.43	c (121,0) c PropsLitFullScans_winner : 3589637988
965.57/132.43	c (121,0) c LitScanFractions_0 : 768474
965.57/132.43	c (121,0) c LitScanFractions_1 : 983810
965.57/132.43	c (121,0) c LitScanFractions_2 : 435237
965.57/132.43	c (121,0) c LitScanFractions_3 : 289954
965.57/132.43	c (121,0) c LitScanFractions_4 : 1244321
965.57/132.43	c (121,0) c LitScanFractions_5 : 2040906
965.57/132.43	c (121,0) c LitScanFractions_6 : 1272835
965.57/132.43	c (121,0) c LitScanFractions_7 : 2458431
965.57/132.43	c (121,0) c LitScanFractions_total : 9493968
965.57/132.43	c (121,0) c LitScanFractions_winner : 289954
965.57/132.43	c (121,0) c DecisionLevel0_0 : 2715
965.57/132.43	c (121,0) c DecisionLevel0_1 : 2763
965.57/132.43	c (121,0) c DecisionLevel0_2 : 2862
965.57/132.43	c (121,0) c DecisionLevel0_3 : 2838
965.57/132.43	c (121,0) c DecisionLevel0_4 : 2783
965.57/132.43	c (121,0) c DecisionLevel0_5 : 2767
965.57/132.43	c (121,0) c DecisionLevel0_6 : 2900
965.57/132.43	c (121,0) c DecisionLevel0_7 : 2852
965.57/132.43	c (121,0) c DecisionLevel0_total : 22480
965.57/132.43	c (121,0) c DecisionLevel0_winner : 2838
965.57/132.43	c (121,0) c Periods_0 : 598
965.57/132.43	c (121,0) c Periods_1 : 598
965.57/132.43	c (121,0) c Periods_2 : 598
965.57/132.43	c (121,0) c Periods_3 : 598
965.57/132.43	c (121,0) c Periods_4 : 600
965.57/132.43	c (121,0) c Periods_5 : 598
965.57/132.43	c (121,0) c Periods_6 : 598
965.57/132.43	c (121,0) c Periods_7 : 598
965.57/132.43	c (121,0) c Periods_total : 4786
965.57/132.43	c (121,0) c Periods_winner : 598
965.57/132.43	c (121,0) c Margin_0 : 20
965.57/132.43	c (121,0) c Margin_1 : 20
965.57/132.43	c (121,0) c Margin_2 : 20
965.57/132.43	c (121,0) c Margin_3 : 20
965.57/132.43	c (121,0) c Margin_4 : 20
965.57/132.43	c (121,0) c Margin_5 : 20
965.57/132.43	c (121,0) c Margin_6 : 20
965.57/132.43	c (121,0) c Margin_7 : 20
965.57/132.43	c (121,0) c Margin_total : 160
965.57/132.43	c (121,0) c Margin_winner : 20
965.57/132.43	c (121,0) c Exported_0 : 16442
965.57/132.43	c (121,0) c Exported_1 : 16365
965.57/132.43	c (121,0) c Exported_2 : 16494
965.57/132.43	c (121,0) c Exported_3 : 16415
965.57/132.43	c (121,0) c Exported_4 : 16467
965.57/132.43	c (121,0) c Exported_5 : 16450
965.57/132.43	c (121,0) c Exported_6 : 16538
965.57/132.43	c (121,0) c Exported_7 : 16556
965.57/132.43	c (121,0) c Exported_total : 131727
965.57/132.43	c (121,0) c Exported_winner : 16415
965.57/132.43	c (121,0) c Imported_0 : 112705
965.57/132.43	c (121,0) c Imported_1 : 112633
965.57/132.43	c (121,0) c Imported_2 : 112637
965.57/132.43	c (121,0) c Imported_3 : 112669
965.57/132.43	c (121,0) c Imported_4 : 112872
965.57/132.43	c (121,0) c Imported_5 : 112723
965.57/132.43	c (121,0) c Imported_6 : 112547
965.57/132.43	c (121,0) c Imported_7 : 112539
965.57/132.43	c (121,0) c Imported_total : 901325
965.57/132.43	c (121,0) c Imported_winner : 112669
965.57/132.43	c (121,0) c Good_0 : 7956
965.57/132.43	c (121,0) c Good_1 : 7921
965.57/132.43	c (121,0) c Good_2 : 7915
965.57/132.43	c (121,0) c Good_3 : 8025
965.57/132.43	c (121,0) c Good_4 : 7925
965.57/132.43	c (121,0) c Good_5 : 7934
965.57/132.43	c (121,0) c Good_6 : 8014
965.57/132.43	c (121,0) c Good_7 : 7892
965.57/132.43	c (121,0) c Good_total : 63582
965.57/132.43	c (121,0) c Good_winner : 8025
965.57/132.43	c (121,0) c Purge_0 : 104749
965.57/132.43	c (121,0) c Purge_1 : 104712
965.57/132.43	c (121,0) c Purge_2 : 104722
965.57/132.43	c (121,0) c Purge_3 : 104644
965.57/132.43	c (121,0) c Purge_4 : 104947
965.57/132.43	c (121,0) c Purge_5 : 104789
965.57/132.43	c (121,0) c Purge_6 : 104533
965.57/132.43	c (121,0) c Purge_7 : 104647
965.57/132.43	c (121,0) c Purge_total : 837743
965.57/132.43	c (121,0) c Purge_winner : 104644
965.57/132.43	c (121,0) c Promoted_0 : 11523
965.57/132.43	c (121,0) c Promoted_1 : 11820
965.57/132.43	c (121,0) c Promoted_2 : 11544
965.57/132.43	c (121,0) c Promoted_3 : 11689
965.57/132.43	c (121,0) c Promoted_4 : 11598
965.57/132.43	c (121,0) c Promoted_5 : 11590
965.57/132.43	c (121,0) c Promoted_6 : 11692
965.57/132.43	c (121,0) c Promoted_7 : 11710
965.57/132.43	c (121,0) c Promoted_total : 93166
965.57/132.43	c (121,0) c Promoted_winner : 11689
965.57/132.43	c (121,0) c Remove_Imp_0 : 66682
965.57/132.43	c (121,0) c Remove_Imp_1 : 67208
965.57/132.43	c (121,0) c Remove_Imp_2 : 67487
965.57/132.43	c (121,0) c Remove_Imp_3 : 67603
965.57/132.44	c (121,0) c Remove_Imp_4 : 67385
965.57/132.44	c (121,0) c Remove_Imp_5 : 67787
965.57/132.44	c (121,0) c Remove_Imp_6 : 66793
965.57/132.44	c (121,0) c Remove_Imp_7 : 66600
965.57/132.44	c (121,0) c Remove_Imp_total : 537545
965.57/132.44	c (121,0) c Remove_Imp_winner : 67603
965.57/132.44	c (121,0) c Blocked_Reuse_0 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_1 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_2 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_3 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_4 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_5 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_6 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_7 : 0
965.57/132.44	c (121,0) c Blocked_Reuse_total : 0
965.57/132.44	c (121,0) c Blocked_Reuse_winner : 0
965.57/132.44	c (121,0) c Unaries_0 : 1307
965.57/132.44	c (121,0) c Unaries_1 : 1272
965.57/132.44	c (121,0) c Unaries_2 : 1321
965.57/132.44	c (121,0) c Unaries_3 : 1302
965.57/132.44	c (121,0) c Unaries_4 : 1324
965.57/132.44	c (121,0) c Unaries_5 : 1309
965.57/132.44	c (121,0) c Unaries_6 : 1354
965.57/132.44	c (121,0) c Unaries_7 : 1320
965.57/132.44	c (121,0) c Unaries_total : 10509
965.57/132.44	c (121,0) c Unaries_winner : 1302
965.57/132.44	c (121,0) c Binaries_0 : 1130
965.57/132.44	c (121,0) c Binaries_1 : 1163
965.57/132.44	c (121,0) c Binaries_2 : 1170
965.57/132.44	c (121,0) c Binaries_3 : 1059
965.57/132.44	c (121,0) c Binaries_4 : 1162
965.57/132.44	c (121,0) c Binaries_5 : 1150
965.57/132.44	c (121,0) c Binaries_6 : 1071
965.57/132.44	c (121,0) c Binaries_7 : 1194
965.57/132.44	c (121,0) c Binaries_total : 9099
965.57/132.44	c (121,0) c Binaries_winner : 1059
965.57/132.44	c (121,0) c Glues_0 : 2332
965.57/132.44	c (121,0) c Glues_1 : 2362
965.57/132.44	c (121,0) c Glues_2 : 2346
965.57/132.44	c (121,0) c Glues_3 : 2219
965.57/132.44	c (121,0) c Glues_4 : 2380
965.57/132.44	c (121,0) c Glues_5 : 2312
965.57/132.44	c (121,0) c Glues_6 : 2247
965.57/132.44	c (121,0) c Glues_7 : 2405
965.57/132.44	c (121,0) c Glues_total : 18603
965.57/132.44	c (121,0) c Glues_winner : 2219
965.57/132.44	c (121,0) c RunningTime_0 : 120.254090
965.57/132.44	c (121,0) c RunningTime_1 : 117.144099
965.57/132.44	c (121,0) c RunningTime_2 : 119.091054
965.57/132.44	c (121,0) c RunningTime_3 : 117.626616
965.57/132.44	c (121,0) c RunningTime_4 : 117.235689
965.57/132.44	c (121,0) c RunningTime_5 : 118.621655
965.57/132.44	c (121,0) c RunningTime_6 : 119.171816
965.57/132.44	c (121,0) c RunningTime_7 : 116.859325
965.57/132.44	c (121,0) c RunningTime_total : 946.004345
965.57/132.44	c (121,0) c RunningTime_winner : 117.626616
965.57/132.44	c (121,0) c WaitingTime_0 : 0.000706
965.57/132.44	c (121,0) c WaitingTime_1 : 1.246135
965.57/132.44	c (121,0) c WaitingTime_2 : 0.000938
965.57/132.44	c (121,0) c WaitingTime_3 : 0.567304
965.57/132.44	c (121,0) c WaitingTime_4 : 1.003803
965.57/132.44	c (121,0) c WaitingTime_5 : 0.156143
965.57/132.44	c (121,0) c WaitingTime_6 : 0.588879
965.57/132.44	c (121,0) c WaitingTime_7 : 1.731743
965.57/132.44	c (121,0) c WaitingTime_total : 5.295651
965.57/132.44	c (121,0) c WaitingTime_winner : 0.567304
965.57/132.44	c (121,0) c ExchangingTime_0 : 0.062631
965.57/132.44	c (121,0) c ExchangingTime_1 : 0.066198
965.57/132.44	c (121,0) c ExchangingTime_2 : 0.064229
965.57/132.44	c (121,0) c ExchangingTime_3 : 0.069225
965.57/132.44	c (121,0) c ExchangingTime_4 : 0.066449
965.57/132.44	c (121,0) c ExchangingTime_5 : 0.071407
965.57/132.44	c (121,0) c ExchangingTime_6 : 0.068144
965.57/132.44	c (121,0) c ExchangingTime_7 : 0.059821
965.57/132.44	c (121,0) c ExchangingTime_total : 0.528104
965.57/132.44	c (121,0) c ExchangingTime_winner : 0.069225
965.57/132.44	c (121,0) c PeriodProcTime_0 : 0.007674
965.57/132.44	c (121,0) c PeriodProcTime_1 : 0.005780
965.57/132.44	c (121,0) c PeriodProcTime_2 : 0.005280
965.57/132.44	c (121,0) c PeriodProcTime_3 : 0.005749
965.57/132.44	c (121,0) c PeriodProcTime_4 : 0.004900
965.57/132.44	c (121,0) c PeriodProcTime_5 : 0.006452
965.57/132.44	c (121,0) c PeriodProcTime_6 : 0.004962
965.57/132.44	c (121,0) c PeriodProcTime_7 : 0.004999
965.57/132.44	c (121,0) c PeriodProcTime_total : 0.045795
965.57/132.44	c (121,0) c PeriodProcTime_winner : 0.005749
965.57/132.44	c (121,0) c SolvingTime_0 : 120.325102
965.57/132.44	c (121,0) c SolvingTime_1 : 118.462212
965.57/132.44	c (121,0) c SolvingTime_2 : 119.161502
965.57/132.44	c (121,0) c SolvingTime_3 : 118.268893
965.57/132.44	c (121,0) c SolvingTime_4 : 118.310841
965.57/132.44	c (121,0) c SolvingTime_5 : 118.855657
965.57/132.44	c (121,0) c SolvingTime_6 : 119.833802
965.57/132.44	c (121,0) c SolvingTime_7 : 118.655887
965.57/132.44	c (121,0) c SolvingTime_total : 951.873896
965.57/132.44	c (121,0) c SolvingTime_winner : 118.268893
965.57/132.44	c (121,0) c PropagationTime_0 : 102.387855
965.57/132.44	c (121,0) c PropagationTime_1 : 102.403277
965.57/132.44	c (121,0) c PropagationTime_2 : 103.672495
965.57/132.44	c (121,0) c PropagationTime_3 : 101.397468
965.57/132.44	c (121,0) c PropagationTime_4 : 102.410040
965.57/132.44	c (121,0) c PropagationTime_5 : 102.148884
965.57/132.44	c (121,0) c PropagationTime_6 : 102.078933
965.57/132.44	c (121,0) c PropagationTime_7 : 102.886760
965.57/132.44	c (121,0) c PropagationTime_total : 819.385713
965.57/132.44	c (121,0) c PropagationTime_winner : 101.397468
965.57/132.44	c (121,0) c AnalysisTime_0 : 13.525369
965.57/132.44	c (121,0) c AnalysisTime_1 : 11.485083
965.57/132.44	c (121,0) c AnalysisTime_2 : 11.070367
965.57/132.44	c (121,0) c AnalysisTime_3 : 12.241848
965.57/132.44	c (121,0) c AnalysisTime_4 : 11.367564
965.57/132.44	c (121,0) c AnalysisTime_5 : 12.178552
965.57/132.44	c (121,0) c AnalysisTime_6 : 13.177322
965.57/132.44	c (121,0) c AnalysisTime_7 : 11.188253
965.57/132.44	c (121,0) c AnalysisTime_total : 96.234359
965.57/132.44	c (121,0) c AnalysisTime_winner : 12.241848
965.57/132.44	c (121,0) c ReductionTime_0 : 0.293820
965.57/132.44	c (121,0) c ReductionTime_1 : 0.311693
965.57/132.44	c (121,0) c ReductionTime_2 : 0.298229
965.57/132.44	c (121,0) c ReductionTime_3 : 0.309016
965.57/132.44	c (121,0) c ReductionTime_4 : 0.304893
965.57/132.44	c (121,0) c ReductionTime_5 : 0.319394
965.57/132.44	c (121,0) c ReductionTime_6 : 0.309018
965.57/132.44	c (121,0) c ReductionTime_7 : 0.300277
965.57/132.44	c (121,0) c ReductionTime_total : 2.446341
965.57/132.44	c (121,0) c ReductionTime_winner : 0.309016
965.57/132.44	c (121,0) c SimplifyTime_0 : 0.552845
965.57/132.44	c (121,0) c SimplifyTime_1 : 0.615671
965.57/132.44	c (121,0) c SimplifyTime_2 : 0.584816
965.57/132.44	c (121,0) c SimplifyTime_3 : 0.613131
965.57/132.44	c (121,0) c SimplifyTime_4 : 0.623373
965.57/132.44	c (121,0) c SimplifyTime_5 : 0.565255
965.57/132.44	c (121,0) c SimplifyTime_6 : 0.573578
965.57/132.44	c (121,0) c SimplifyTime_7 : 0.628746
965.57/132.44	c (121,0) c SimplifyTime_total : 4.757413
965.57/132.44	c (121,0) c SimplifyTime_winner : 0.613131
965.57/132.44	c (121,0) c UsedRateTime_0 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_1 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_2 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_3 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_4 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_5 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_6 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_7 : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_total : 0.000000
965.57/132.44	c (121,0) c UsedRateTime_winner : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_0 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_1 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_2 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_3 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_4 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_5 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_6 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_7 : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_total : 0.000000
965.57/132.44	c (121,0) c OverlapRateTime_winner : 0.000000
965.57/132.44	c (121,0) c
965.57/132.44	c (121,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
965.57/132.44	c (121,0) c
965.57/132.44	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.44	c (121,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
965.57/132.44	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.44	c (121,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
965.57/132.44	c (121,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
965.57/132.44	c (121,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
965.57/132.44	c (121,0) c | Initial random_seed   |  102742887 |  335222307 |  983898913 |  714780498 |  149147307 |  918564048 | 1575413258 | 2048227859 |
965.57/132.44	c (121,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
965.57/132.44	c (121,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
965.57/132.44	c (121,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
965.57/132.44	c (121,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
965.57/132.44	c (121,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
965.57/132.44	c (121,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
965.57/132.44	c (121,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
965.57/132.44	c (121,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
965.57/132.44	c (121,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
965.57/132.44	c (121,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
965.57/132.44	c (121,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
965.57/132.44	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.57/132.44	c (121,0) 
965.57/132.44	c (121,0) s SATISFIABLE
965.83/132.50	c (121,0) SatSolver.solve End
965.83/132.50	c (121,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
965.83/132.50	c (121,0) Show results Begin
966.01/132.70	c (121,0) x[0][0] = 19
966.01/132.70	c (121,0) x[0][1] = 17
966.01/132.70	c (121,0) x[0][2] = 9
966.01/132.70	c (121,0) x[0][3] = 5
966.01/132.70	c (121,0) x[0][4] = 6
966.01/132.70	c (121,0) x[0][5] = 26
966.01/132.70	c (121,0) x[0][6] = 8
966.01/132.70	c (121,0) x[0][7] = 0
966.01/132.70	c (121,0) x[0][8] = 16
966.01/132.70	c (121,0) x[0][9] = 13
966.01/132.70	c (121,0) x[0][10] = 23
966.01/132.70	c (121,0) x[0][11] = 24
966.01/132.70	c (121,0) x[0][12] = 12
966.01/132.70	c (121,0) x[0][13] = 2
966.01/132.70	c (121,0) x[0][14] = 10
966.01/132.70	c (121,0) x[0][15] = 18
966.01/132.70	c (121,0) x[0][16] = 3
966.01/132.70	c (121,0) x[0][17] = 28
966.01/132.70	c (121,0) x[0][18] = 27
966.01/132.70	c (121,0) x[0][19] = 20
966.01/132.70	c (121,0) x[0][20] = 4
966.01/132.70	c (121,0) x[0][21] = 7
966.01/132.70	c (121,0) x[0][22] = 29
966.01/132.70	c (121,0) x[0][23] = 15
966.01/132.70	c (121,0) x[0][24] = 22
966.01/132.70	c (121,0) x[0][25] = 21
966.31/132.71	c (121,0) x[0][26] = 1
966.31/132.71	c (121,0) x[0][27] = 14
966.31/132.71	c (121,0) x[0][28] = 25
966.31/132.71	c (121,0) x[0][29] = 11
966.31/132.71	c (121,0) x[1][0] = 15
966.31/132.71	c (121,0) x[1][1] = 18
966.31/132.71	c (121,0) x[1][2] = 22
966.31/132.71	c (121,0) x[1][3] = 2
966.31/132.71	c (121,0) x[1][4] = 13
966.31/132.71	c (121,0) x[1][5] = 6
966.31/132.71	c (121,0) x[1][6] = 19
966.31/132.71	c (121,0) x[1][7] = 10
966.31/132.71	c (121,0) x[1][8] = 4
966.31/132.71	c (121,0) x[1][9] = 8
966.31/132.71	c (121,0) x[1][10] = 9
966.31/132.71	c (121,0) x[1][11] = 28
966.31/132.71	c (121,0) x[1][12] = 3
966.31/132.71	c (121,0) x[1][13] = 14
966.31/132.71	c (121,0) x[1][14] = 24
966.31/132.71	c (121,0) x[1][15] = 0
966.31/132.71	c (121,0) x[1][16] = 17
966.31/132.71	c (121,0) x[1][17] = 27
966.31/132.71	c (121,0) x[1][18] = 25
966.31/132.71	c (121,0) x[1][19] = 12
966.31/132.71	c (121,0) x[1][20] = 7
966.31/132.71	c (121,0) x[1][21] = 1
966.31/132.71	c (121,0) x[1][22] = 26
966.31/132.71	c (121,0) x[1][23] = 29
966.31/132.71	c (121,0) x[1][24] = 11
966.31/132.71	c (121,0) x[1][25] = 23
966.31/132.71	c (121,0) x[1][26] = 21
966.31/132.71	c (121,0) x[1][27] = 5
966.31/132.71	c (121,0) x[1][28] = 20
966.31/132.71	c (121,0) x[1][29] = 16
966.31/132.71	c (121,0) x[2][0] = 8
966.31/132.71	c (121,0) x[2][1] = 21
966.31/132.71	c (121,0) x[2][2] = 24
966.31/132.71	c (121,0) x[2][3] = 18
966.31/132.71	c (121,0) x[2][4] = 1
966.31/132.71	c (121,0) x[2][5] = 10
966.31/132.71	c (121,0) x[2][6] = 17
966.31/132.71	c (121,0) x[2][7] = 3
966.31/132.71	c (121,0) x[2][8] = 20
966.31/132.71	c (121,0) x[2][9] = 4
966.31/132.71	c (121,0) x[2][10] = 29
966.31/132.71	c (121,0) x[2][11] = 27
966.31/132.71	c (121,0) x[2][12] = 14
966.31/132.71	c (121,0) x[2][13] = 15
966.31/132.71	c (121,0) x[2][14] = 0
966.31/132.71	c (121,0) x[2][15] = 2
966.31/132.71	c (121,0) x[2][16] = 22
966.31/132.71	c (121,0) x[2][17] = 11
966.31/132.71	c (121,0) x[2][18] = 7
966.31/132.71	c (121,0) x[2][19] = 5
966.31/132.71	c (121,0) x[2][20] = 13
966.31/132.71	c (121,0) x[2][21] = 6
966.31/132.71	c (121,0) x[2][22] = 28
966.31/132.71	c (121,0) x[2][23] = 12
966.31/132.71	c (121,0) x[2][24] = 19
966.31/132.71	c (121,0) x[2][25] = 25
966.31/132.71	c (121,0) x[2][26] = 26
966.31/132.71	c (121,0) x[2][27] = 23
966.31/132.71	c (121,0) x[2][28] = 16
966.31/132.71	c (121,0) x[2][29] = 9
966.31/132.71	c (121,0) x[3][0] = 14
966.31/132.71	c (121,0) x[3][1] = 16
966.31/132.71	c (121,0) x[3][2] = 2
966.31/132.71	c (121,0) x[3][3] = 6
966.31/132.71	c (121,0) x[3][4] = 15
966.31/132.71	c (121,0) x[3][5] = 11
966.31/132.71	c (121,0) x[3][6] = 21
966.31/132.71	c (121,0) x[3][7] = 13
966.31/132.71	c (121,0) x[3][8] = 7
966.31/132.71	c (121,0) x[3][9] = 0
966.31/132.71	c (121,0) x[3][10] = 19
966.31/132.71	c (121,0) x[3][11] = 18
966.31/132.71	c (121,0) x[3][12] = 25
966.31/132.71	c (121,0) x[3][13] = 29
966.31/132.71	c (121,0) x[3][14] = 4
966.31/132.71	c (121,0) x[3][15] = 10
966.31/132.71	c (121,0) x[3][16] = 20
966.31/132.71	c (121,0) x[3][17] = 26
966.31/132.71	c (121,0) x[3][18] = 5
966.31/132.71	c (121,0) x[3][19] = 27
966.31/132.71	c (121,0) x[3][20] = 8
966.31/132.71	c (121,0) x[3][21] = 12
966.31/132.71	c (121,0) x[3][22] = 3
966.31/132.71	c (121,0) x[3][23] = 9
966.31/132.71	c (121,0) x[3][24] = 24
966.31/132.71	c (121,0) x[3][25] = 17
966.31/132.71	c (121,0) x[3][26] = 28
966.31/132.71	c (121,0) x[3][27] = 22
966.31/132.71	c (121,0) x[3][28] = 1
966.31/132.71	c (121,0) x[3][29] = 23
966.31/132.71	c (121,0) x[4][0] = 4
966.31/132.71	c (121,0) x[4][1] = 0
966.31/132.71	c (121,0) x[4][2] = 29
966.31/132.71	c (121,0) x[4][3] = 13
966.31/132.71	c (121,0) x[4][4] = 14
966.31/132.71	c (121,0) x[4][5] = 8
966.31/132.71	c (121,0) x[4][6] = 20
966.31/132.71	c (121,0) x[4][7] = 22
966.31/132.71	c (121,0) x[4][8] = 23
966.31/132.71	c (121,0) x[4][9] = 6
966.31/132.71	c (121,0) x[4][10] = 5
966.31/132.71	c (121,0) x[4][11] = 3
966.31/132.71	c (121,0) x[4][12] = 7
966.31/132.71	c (121,0) x[4][13] = 19
966.31/132.71	c (121,0) x[4][14] = 27
966.31/132.71	c (121,0) x[4][15] = 12
966.31/132.71	c (121,0) x[4][16] = 2
966.31/132.71	c (121,0) x[4][17] = 18
966.31/132.71	c (121,0) x[4][18] = 1
966.31/132.71	c (121,0) x[4][19] = 25
966.31/132.71	c (121,0) x[4][20] = 24
966.31/132.71	c (121,0) x[4][21] = 10
966.31/132.71	c (121,0) x[4][22] = 11
966.31/132.71	c (121,0) x[4][23] = 28
966.31/132.71	c (121,0) x[4][24] = 9
966.31/132.71	c (121,0) x[4][25] = 26
966.31/132.71	c (121,0) x[4][26] = 16
966.31/132.71	c (121,0) x[4][27] = 21
966.31/132.71	c (121,0) x[4][28] = 15
966.31/132.71	c (121,0) x[4][29] = 17
966.31/132.71	c (121,0) x[5][0] = 9
966.31/132.71	c (121,0) x[5][1] = 19
966.31/132.71	c (121,0) x[5][2] = 26
966.31/132.71	c (121,0) x[5][3] = 21
966.31/132.71	c (121,0) x[5][4] = 2
966.31/132.71	c (121,0) x[5][5] = 20
966.31/132.71	c (121,0) x[5][6] = 5
966.31/132.71	c (121,0) x[5][7] = 27
966.31/132.71	c (121,0) x[5][8] = 15
966.31/132.71	c (121,0) x[5][9] = 29
966.31/132.71	c (121,0) x[5][10] = 28
966.31/132.71	c (121,0) x[5][11] = 8
966.31/132.71	c (121,0) x[5][12] = 1
966.31/132.71	c (121,0) x[5][13] = 10
966.31/132.71	c (121,0) x[5][14] = 6
966.31/132.71	c (121,0) x[5][15] = 4
966.31/132.71	c (121,0) x[5][16] = 7
966.31/132.71	c (121,0) x[5][17] = 25
966.31/132.71	c (121,0) x[5][18] = 0
966.31/132.71	c (121,0) x[5][19] = 24
966.31/132.71	c (121,0) x[5][20] = 11
966.31/132.71	c (121,0) x[5][21] = 23
966.31/132.71	c (121,0) x[5][22] = 16
966.31/132.71	c (121,0) x[5][23] = 3
966.31/132.71	c (121,0) x[5][24] = 12
966.31/132.71	c (121,0) x[5][25] = 22
966.31/132.71	c (121,0) x[5][26] = 17
966.31/132.71	c (121,0) x[5][27] = 13
966.31/132.71	c (121,0) x[5][28] = 18
966.31/132.71	c (121,0) x[5][29] = 14
966.31/132.71	c (121,0) x[6][0] = 11
966.31/132.71	c (121,0) x[6][1] = 22
966.31/132.71	c (121,0) x[6][2] = 3
966.31/132.71	c (121,0) x[6][3] = 27
966.31/132.71	c (121,0) x[6][4] = 18
966.31/132.71	c (121,0) x[6][5] = 23
966.31/132.71	c (121,0) x[6][6] = 28
966.31/132.71	c (121,0) x[6][7] = 8
966.31/132.71	c (121,0) x[6][8] = 2
966.31/132.71	c (121,0) x[6][9] = 15
966.31/132.71	c (121,0) x[6][10] = 12
966.31/132.71	c (121,0) x[6][11] = 13
966.31/132.71	c (121,0) x[6][12] = 6
966.31/132.71	c (121,0) x[6][13] = 1
966.31/132.71	c (121,0) x[6][14] = 16
966.31/132.71	c (121,0) x[6][15] = 26
966.31/132.71	c (121,0) x[6][16] = 21
966.31/132.71	c (121,0) x[6][17] = 24
966.31/132.71	c (121,0) x[6][18] = 17
966.31/132.71	c (121,0) x[6][19] = 0
966.31/132.71	c (121,0) x[6][20] = 14
966.31/132.71	c (121,0) x[6][21] = 25
966.31/132.71	c (121,0) x[6][22] = 5
966.31/132.71	c (121,0) x[6][23] = 7
966.31/132.71	c (121,0) x[6][24] = 4
966.31/132.71	c (121,0) x[6][25] = 19
966.31/132.71	c (121,0) x[6][26] = 9
966.31/132.71	c (121,0) x[6][27] = 20
966.31/132.71	c (121,0) x[6][28] = 10
966.31/132.71	c (121,0) x[6][29] = 29
966.31/132.71	c (121,0) x[7][0] = 25
966.31/132.71	c (121,0) x[7][1] = 26
966.31/132.71	c (121,0) x[7][2] = 21
966.31/132.71	c (121,0) x[7][3] = 24
966.31/132.71	c (121,0) x[7][4] = 12
966.31/132.71	c (121,0) x[7][5] = 22
966.31/132.71	c (121,0) x[7][6] = 14
966.31/132.71	c (121,0) x[7][7] = 28
966.31/132.71	c (121,0) x[7][8] = 6
966.31/132.71	c (121,0) x[7][9] = 20
966.31/132.71	c (121,0) x[7][10] = 1
966.31/132.71	c (121,0) x[7][11] = 4
966.31/132.71	c (121,0) x[7][12] = 18
966.31/132.71	c (121,0) x[7][13] = 9
966.31/132.71	c (121,0) x[7][14] = 15
966.31/132.71	c (121,0) x[7][15] = 16
966.31/132.71	c (121,0) x[7][16] = 27
966.31/132.71	c (121,0) x[7][17] = 5
966.31/132.71	c (121,0) x[7][18] = 29
966.31/132.71	c (121,0) x[7][19] = 11
966.31/132.71	c (121,0) x[7][20] = 3
966.31/132.71	c (121,0) x[7][21] = 17
966.31/132.71	c (121,0) x[7][22] = 19
966.31/132.71	c (121,0) x[7][23] = 23
966.31/132.71	c (121,0) x[7][24] = 0
966.31/132.71	c (121,0) x[7][25] = 7
966.31/132.71	c (121,0) x[7][26] = 10
966.31/132.71	c (121,0) x[7][27] = 8
966.31/132.71	c (121,0) x[7][28] = 13
966.31/132.71	c (121,0) x[7][29] = 2
966.31/132.71	c (121,0) x[8][0] = 28
966.31/132.71	c (121,0) x[8][1] = 23
966.31/132.71	c (121,0) x[8][2] = 12
966.31/132.71	c (121,0) x[8][3] = 7
966.31/132.71	c (121,0) x[8][4] = 25
966.31/132.71	c (121,0) x[8][5] = 5
966.31/132.71	c (121,0) x[8][6] = 4
966.31/132.71	c (121,0) x[8][7] = 11
966.31/132.71	c (121,0) x[8][8] = 0
966.31/132.71	c (121,0) x[8][9] = 26
966.31/132.71	c (121,0) x[8][10] = 14
966.31/132.71	c (121,0) x[8][11] = 15
966.31/132.71	c (121,0) x[8][12] = 21
966.31/132.71	c (121,0) x[8][13] = 8
966.31/132.71	c (121,0) x[8][14] = 9
966.31/132.71	c (121,0) x[8][15] = 13
966.31/132.71	c (121,0) x[8][16] = 19
966.31/132.71	c (121,0) x[8][17] = 16
966.31/132.71	c (121,0) x[8][18] = 22
966.31/132.71	c (121,0) x[8][19] = 3
966.31/132.71	c (121,0) x[8][20] = 20
966.31/132.71	c (121,0) x[8][21] = 29
966.31/132.71	c (121,0) x[8][22] = 6
966.31/132.71	c (121,0) x[8][23] = 27
966.31/132.71	c (121,0) x[8][24] = 10
966.31/132.71	c (121,0) x[8][25] = 18
966.31/132.71	c (121,0) x[8][26] = 2
966.31/132.71	c (121,0) x[8][27] = 17
966.31/132.71	c (121,0) x[8][28] = 24
966.31/132.71	c (121,0) x[8][29] = 1
966.31/132.71	c (121,0) x[9][0] = 10
966.31/132.71	c (121,0) x[9][1] = 11
966.31/132.71	c (121,0) x[9][2] = 18
966.31/132.71	c (121,0) x[9][3] = 8
966.31/132.71	c (121,0) x[9][4] = 28
966.31/132.71	c (121,0) x[9][5] = 14
966.31/132.71	c (121,0) x[9][6] = 6
966.31/132.71	c (121,0) x[9][7] = 9
966.31/132.71	c (121,0) x[9][8] = 3
966.31/132.71	c (121,0) x[9][9] = 19
966.31/132.71	c (121,0) x[9][10] = 26
966.31/132.71	c (121,0) x[9][11] = 12
966.31/132.71	c (121,0) x[9][12] = 4
966.31/132.71	c (121,0) x[9][13] = 20
966.31/132.71	c (121,0) x[9][14] = 22
966.31/132.71	c (121,0) x[9][15] = 29
966.31/132.71	c (121,0) x[9][16] = 0
966.31/132.71	c (121,0) x[9][17] = 2
966.31/132.71	c (121,0) x[9][18] = 16
966.31/132.71	c (121,0) x[9][19] = 17
966.31/132.71	c (121,0) x[9][20] = 1
966.31/132.71	c (121,0) x[9][21] = 21
966.31/132.71	c (121,0) x[9][22] = 27
966.31/132.71	c (121,0) x[9][23] = 24
966.31/132.71	c (121,0) x[9][24] = 25
966.31/132.71	c (121,0) x[9][25] = 13
966.31/132.71	c (121,0) x[9][26] = 23
966.31/132.71	c (121,0) x[9][27] = 15
966.31/132.71	c (121,0) x[9][28] = 5
966.31/132.71	c (121,0) x[9][29] = 7
966.31/132.71	c (121,0) x[10][0] = 23
966.31/132.71	c (121,0) x[10][1] = 8
966.31/132.71	c (121,0) x[10][2] = 16
966.31/132.71	c (121,0) x[10][3] = 11
966.31/132.71	c (121,0) x[10][4] = 24
966.31/132.71	c (121,0) x[10][5] = 21
966.31/132.71	c (121,0) x[10][6] = 22
966.31/132.71	c (121,0) x[10][7] = 25
966.31/132.71	c (121,0) x[10][8] = 28
966.31/132.71	c (121,0) x[10][9] = 10
966.31/132.71	c (121,0) x[10][10] = 0
966.31/132.71	c (121,0) x[10][11] = 14
966.31/132.71	c (121,0) x[10][12] = 9
966.31/132.71	c (121,0) x[10][13] = 12
966.31/132.71	c (121,0) x[10][14] = 7
966.31/132.71	c (121,0) x[10][15] = 6
966.31/132.71	c (121,0) x[10][16] = 5
966.31/132.71	c (121,0) x[10][17] = 13
966.31/132.71	c (121,0) x[10][18] = 20
966.31/132.71	c (121,0) x[10][19] = 29
966.31/132.71	c (121,0) x[10][20] = 15
966.31/132.71	c (121,0) x[10][21] = 19
966.31/132.71	c (121,0) x[10][22] = 2
966.31/132.71	c (121,0) x[10][23] = 18
966.31/132.71	c (121,0) x[10][24] = 17
966.31/132.71	c (121,0) x[10][25] = 1
966.31/132.71	c (121,0) x[10][26] = 27
966.31/132.71	c (121,0) x[10][27] = 26
966.31/132.71	c (121,0) x[10][28] = 3
966.31/132.71	c (121,0) x[10][29] = 4
966.31/132.71	c (121,0) x[11][0] = 6
966.31/132.71	c (121,0) x[11][1] = 4
966.31/132.71	c (121,0) x[11][2] = 25
966.31/132.71	c (121,0) x[11][3] = 28
966.31/132.71	c (121,0) x[11][4] = 16
966.31/132.71	c (121,0) x[11][5] = 15
966.31/132.71	c (121,0) x[11][6] = 18
966.31/132.71	c (121,0) x[11][7] = 12
966.31/132.71	c (121,0) x[11][8] = 8
966.31/132.71	c (121,0) x[11][9] = 24
966.31/132.71	c (121,0) x[11][10] = 27
966.31/132.71	c (121,0) x[11][11] = 21
966.31/132.71	c (121,0) x[11][12] = 23
966.31/132.71	c (121,0) x[11][13] = 26
966.31/132.71	c (121,0) x[11][14] = 14
966.31/132.71	c (121,0) x[11][15] = 20
966.31/132.71	c (121,0) x[11][16] = 29
966.31/132.71	c (121,0) x[11][17] = 7
966.31/132.71	c (121,0) x[11][18] = 19
966.31/132.71	c (121,0) x[11][19] = 1
966.31/132.71	c (121,0) x[11][20] = 5
966.31/132.71	c (121,0) x[11][21] = 9
966.31/132.71	c (121,0) x[11][22] = 17
966.31/132.71	c (121,0) x[11][23] = 11
966.31/132.71	c (121,0) x[11][24] = 3
966.31/132.71	c (121,0) x[11][25] = 0
966.31/132.71	c (121,0) x[11][26] = 13
966.31/132.71	c (121,0) x[11][27] = 2
966.31/132.71	c (121,0) x[11][28] = 22
966.31/132.71	c (121,0) x[11][29] = 10
966.31/132.71	c (121,0) x[12][0] = 18
966.31/132.71	c (121,0) x[12][1] = 7
966.31/132.71	c (121,0) x[12][2] = 15
966.31/132.71	c (121,0) x[12][3] = 14
966.31/132.71	c (121,0) x[12][4] = 22
966.31/132.71	c (121,0) x[12][5] = 0
966.31/132.71	c (121,0) x[12][6] = 10
966.31/132.71	c (121,0) x[12][7] = 21
966.31/132.71	c (121,0) x[12][8] = 17
966.31/132.71	c (121,0) x[12][9] = 3
966.31/132.71	c (121,0) x[12][10] = 8
966.31/132.71	c (121,0) x[12][11] = 20
966.31/132.71	c (121,0) x[12][12] = 26
966.31/132.71	c (121,0) x[12][13] = 5
966.31/132.71	c (121,0) x[12][14] = 28
966.31/132.71	c (121,0) x[12][15] = 11
966.31/132.71	c (121,0) x[12][16] = 1
966.31/132.71	c (121,0) x[12][17] = 6
966.31/132.71	c (121,0) x[12][18] = 4
966.31/132.71	c (121,0) x[12][19] = 23
966.31/132.71	c (121,0) x[12][20] = 29
966.31/132.71	c (121,0) x[12][21] = 16
966.31/132.71	c (121,0) x[12][22] = 9
966.31/132.71	c (121,0) x[12][23] = 25
966.31/132.71	c (121,0) x[12][24] = 2
966.31/132.71	c (121,0) x[12][25] = 24
966.31/132.71	c (121,0) x[12][26] = 12
966.31/132.71	c (121,0) x[12][27] = 19
966.31/132.71	c (121,0) x[12][28] = 27
966.31/132.71	c (121,0) x[12][29] = 13
966.31/132.71	c (121,0) x[13][0] = 24
966.31/132.71	c (121,0) x[13][1] = 20
966.31/132.71	c (121,0) x[13][2] = 13
966.31/132.71	c (121,0) x[13][3] = 25
966.31/132.71	c (121,0) x[13][4] = 9
966.31/132.71	c (121,0) x[13][5] = 28
966.31/132.71	c (121,0) x[13][6] = 15
966.31/132.71	c (121,0) x[13][7] = 17
966.31/132.71	c (121,0) x[13][8] = 11
966.31/132.71	c (121,0) x[13][9] = 16
966.31/132.71	c (121,0) x[13][10] = 4
966.31/132.71	c (121,0) x[13][11] = 1
966.31/132.71	c (121,0) x[13][12] = 5
966.31/132.71	c (121,0) x[13][13] = 0
966.31/132.71	c (121,0) x[13][14] = 29
966.31/132.71	c (121,0) x[13][15] = 27
966.31/132.71	c (121,0) x[13][16] = 26
966.31/132.71	c (121,0) x[13][17] = 8
966.31/132.71	c (121,0) x[13][18] = 14
966.31/132.71	c (121,0) x[13][19] = 6
966.31/132.71	c (121,0) x[13][20] = 23
966.31/132.71	c (121,0) x[13][21] = 2
966.31/132.71	c (121,0) x[13][22] = 22
966.31/132.71	c (121,0) x[13][23] = 10
966.31/132.71	c (121,0) x[13][24] = 18
966.31/132.71	c (121,0) x[13][25] = 3
966.31/132.71	c (121,0) x[13][26] = 7
966.31/132.71	c (121,0) x[13][27] = 12
966.31/132.71	c (121,0) x[13][28] = 21
966.31/132.71	c (121,0) x[13][29] = 19
966.31/132.71	c (121,0) x[14][0] = 1
966.31/132.71	c (121,0) x[14][1] = 29
966.31/132.71	c (121,0) x[14][2] = 23
966.31/132.71	c (121,0) x[14][3] = 22
966.31/132.71	c (121,0) x[14][4] = 20
966.31/132.71	c (121,0) x[14][5] = 17
966.31/132.71	c (121,0) x[14][6] = 13
966.31/132.71	c (121,0) x[14][7] = 4
966.31/132.71	c (121,0) x[14][8] = 21
966.31/132.71	c (121,0) x[14][9] = 5
966.31/132.71	c (121,0) x[14][10] = 16
966.31/132.71	c (121,0) x[14][11] = 19
966.31/132.71	c (121,0) x[14][12] = 27
966.31/132.71	c (121,0) x[14][13] = 11
966.31/132.71	c (121,0) x[14][14] = 18
966.31/132.71	c (121,0) x[14][15] = 24
966.31/132.71	c (121,0) x[14][16] = 6
966.31/132.71	c (121,0) x[14][17] = 12
966.31/132.71	c (121,0) x[14][18] = 28
966.31/132.71	c (121,0) x[14][19] = 9
966.31/132.71	c (121,0) x[14][20] = 2
966.31/132.71	c (121,0) x[14][21] = 3
966.31/132.71	c (121,0) x[14][22] = 8
966.31/132.71	c (121,0) x[14][23] = 14
966.31/132.71	c (121,0) x[14][24] = 26
966.31/132.71	c (121,0) x[14][25] = 15
966.31/132.71	c (121,0) x[14][26] = 25
966.31/132.71	c (121,0) x[14][27] = 10
966.31/132.71	c (121,0) x[14][28] = 7
966.31/132.71	c (121,0) x[14][29] = 0
966.31/132.71	c (121,0) x[15][0] = 27
966.31/132.71	c (121,0) x[15][1] = 28
966.31/132.71	c (121,0) x[15][2] = 6
966.31/132.71	c (121,0) x[15][3] = 16
966.31/132.71	c (121,0) x[15][4] = 4
966.31/132.71	c (121,0) x[15][5] = 25
966.31/132.71	c (121,0) x[15][6] = 7
966.31/132.71	c (121,0) x[15][7] = 1
966.31/132.71	c (121,0) x[15][8] = 29
966.31/132.71	c (121,0) x[15][9] = 9
966.31/132.71	c (121,0) x[15][10] = 17
966.31/132.71	c (121,0) x[15][11] = 11
966.31/132.71	c (121,0) x[15][12] = 24
966.31/132.71	c (121,0) x[15][13] = 13
966.31/132.71	c (121,0) x[15][14] = 2
966.31/132.71	c (121,0) x[15][15] = 3
966.31/132.71	c (121,0) x[15][16] = 15
966.31/132.71	c (121,0) x[15][17] = 19
966.31/132.71	c (121,0) x[15][18] = 23
966.31/132.71	c (121,0) x[15][19] = 26
966.31/132.71	c (121,0) x[15][20] = 10
966.31/132.71	c (121,0) x[15][21] = 5
966.31/132.71	c (121,0) x[15][22] = 20
966.31/132.71	c (121,0) x[15][23] = 21
966.31/132.71	c (121,0) x[15][24] = 14
966.31/132.71	c (121,0) x[15][25] = 12
966.31/132.71	c (121,0) x[15][26] = 18
966.31/132.71	c (121,0) x[15][27] = 0
966.31/132.71	c (121,0) x[15][28] = 8
966.31/132.71	c (121,0) x[15][29] = 22
966.31/132.71	c (121,0) x[16][0] = 21
966.31/132.71	c (121,0) x[16][1] = 25
966.31/132.71	c (121,0) x[16][2] = 14
966.31/132.71	c (121,0) x[16][3] = 29
966.31/132.71	c (121,0) x[16][4] = 10
966.31/132.71	c (121,0) x[16][5] = 16
966.31/132.71	c (121,0) x[16][6] = 24
966.31/132.71	c (121,0) x[16][7] = 15
966.31/132.71	c (121,0) x[16][8] = 19
966.31/132.71	c (121,0) x[16][9] = 7
966.31/132.71	c (121,0) x[16][10] = 13
966.31/132.71	c (121,0) x[16][11] = 0
966.31/132.71	c (121,0) x[16][12] = 11
966.31/132.71	c (121,0) x[16][13] = 28
966.31/132.71	c (121,0) x[16][14] = 1
966.31/132.71	c (121,0) x[16][15] = 22
966.31/132.71	c (121,0) x[16][16] = 9
966.31/132.71	c (121,0) x[16][17] = 23
966.31/132.71	c (121,0) x[16][18] = 26
966.31/132.71	c (121,0) x[16][19] = 8
966.31/132.71	c (121,0) x[16][20] = 27
966.31/132.71	c (121,0) x[16][21] = 18
966.31/132.71	c (121,0) x[16][22] = 4
966.31/132.71	c (121,0) x[16][23] = 17
966.31/132.71	c (121,0) x[16][24] = 20
966.31/132.71	c (121,0) x[16][25] = 2
966.31/132.71	c (121,0) x[16][26] = 5
966.31/132.71	c (121,0) x[16][27] = 6
966.31/132.71	c (121,0) x[16][28] = 12
966.31/132.71	c (121,0) x[16][29] = 3
966.31/132.71	c (121,0) x[17][0] = 5
966.31/132.71	c (121,0) x[17][1] = 9
966.31/132.71	c (121,0) x[17][2] = 8
966.31/132.71	c (121,0) x[17][3] = 15
966.31/132.71	c (121,0) x[17][4] = 3
966.31/132.71	c (121,0) x[17][5] = 29
966.31/132.71	c (121,0) x[17][6] = 12
966.31/132.71	c (121,0) x[17][7] = 14
966.31/132.71	c (121,0) x[17][8] = 18
966.31/132.71	c (121,0) x[17][9] = 17
966.31/132.71	c (121,0) x[17][10] = 10
966.31/132.71	c (121,0) x[17][11] = 26
966.31/132.71	c (121,0) x[17][12] = 22
966.31/132.71	c (121,0) x[17][13] = 7
966.31/132.71	c (121,0) x[17][14] = 25
966.31/132.71	c (121,0) x[17][15] = 23
966.31/132.71	c (121,0) x[17][16] = 11
966.31/132.71	c (121,0) x[17][17] = 0
966.31/132.71	c (121,0) x[17][18] = 13
966.31/132.71	c (121,0) x[17][19] = 16
966.31/132.71	c (121,0) x[17][20] = 6
966.31/132.71	c (121,0) x[17][21] = 20
966.31/132.71	c (121,0) x[17][22] = 24
966.31/132.71	c (121,0) x[17][23] = 4
966.31/132.71	c (121,0) x[17][24] = 27
966.31/132.71	c (121,0) x[17][25] = 28
966.31/132.71	c (121,0) x[17][26] = 19
966.31/132.71	c (121,0) x[17][27] = 1
966.31/132.71	c (121,0) x[17][28] = 2
966.31/132.71	c (121,0) x[17][29] = 21
966.31/132.71	c (121,0) x[18][0] = 29
966.31/132.71	c (121,0) x[18][1] = 13
966.31/132.71	c (121,0) x[18][2] = 0
966.31/132.71	c (121,0) x[18][3] = 9
966.31/132.71	c (121,0) x[18][4] = 21
966.31/132.71	c (121,0) x[18][5] = 19
966.31/132.71	c (121,0) x[18][6] = 1
966.31/132.71	c (121,0) x[18][7] = 23
966.31/132.71	c (121,0) x[18][8] = 12
966.31/132.71	c (121,0) x[18][9] = 27
966.31/132.71	c (121,0) x[18][10] = 20
966.31/132.71	c (121,0) x[18][11] = 2
966.31/132.71	c (121,0) x[18][12] = 28
966.31/132.71	c (121,0) x[18][13] = 17
966.31/132.71	c (121,0) x[18][14] = 3
966.31/132.71	c (121,0) x[18][15] = 25
966.31/132.71	c (121,0) x[18][16] = 8
966.31/132.71	c (121,0) x[18][17] = 4
966.31/132.71	c (121,0) x[18][18] = 24
966.31/132.71	c (121,0) x[18][19] = 15
966.31/132.71	c (121,0) x[18][20] = 16
966.31/132.71	c (121,0) x[18][21] = 11
966.31/132.71	c (121,0) x[18][22] = 18
966.31/132.71	c (121,0) x[18][23] = 22
966.31/132.71	c (121,0) x[18][24] = 5
966.31/132.71	c (121,0) x[18][25] = 10
966.31/132.71	c (121,0) x[18][26] = 14
966.31/132.71	c (121,0) x[18][27] = 7
966.31/132.71	c (121,0) x[18][28] = 26
966.31/132.71	c (121,0) x[18][29] = 6
966.31/132.71	c (121,0) x[19][0] = 2
966.31/132.71	c (121,0) x[19][1] = 12
966.31/132.71	c (121,0) x[19][2] = 19
966.31/132.71	c (121,0) x[19][3] = 20
966.31/132.71	c (121,0) x[19][4] = 26
966.31/132.71	c (121,0) x[19][5] = 24
966.31/132.71	c (121,0) x[19][6] = 29
966.31/132.71	c (121,0) x[19][7] = 7
966.31/132.71	c (121,0) x[19][8] = 14
966.31/132.71	c (121,0) x[19][9] = 21
966.31/132.71	c (121,0) x[19][10] = 6
966.31/132.71	c (121,0) x[19][11] = 5
966.31/132.71	c (121,0) x[19][12] = 17
966.31/132.71	c (121,0) x[19][13] = 4
966.31/132.71	c (121,0) x[19][14] = 11
966.31/132.71	c (121,0) x[19][15] = 28
966.31/132.71	c (121,0) x[19][16] = 16
966.31/132.71	c (121,0) x[19][17] = 9
966.31/132.71	c (121,0) x[19][18] = 15
966.31/132.71	c (121,0) x[19][19] = 18
966.31/132.71	c (121,0) x[19][20] = 22
966.31/132.71	c (121,0) x[19][21] = 13
966.31/132.71	c (121,0) x[19][22] = 10
966.31/132.71	c (121,0) x[19][23] = 0
966.31/132.71	c (121,0) x[19][24] = 1
966.31/132.71	c (121,0) x[19][25] = 27
966.31/132.71	c (121,0) x[19][26] = 3
966.31/132.71	c (121,0) x[19][27] = 25
966.31/132.71	c (121,0) x[19][28] = 23
966.31/132.71	c (121,0) x[19][29] = 8
966.31/132.71	c (121,0) x[20][0] = 20
966.31/132.71	c (121,0) x[20][1] = 14
966.31/132.71	c (121,0) x[20][2] = 5
966.31/132.71	c (121,0) x[20][3] = 23
966.31/132.71	c (121,0) x[20][4] = 11
966.31/132.71	c (121,0) x[20][5] = 9
966.31/132.71	c (121,0) x[20][6] = 27
966.31/132.71	c (121,0) x[20][7] = 19
966.31/132.71	c (121,0) x[20][8] = 22
966.31/132.71	c (121,0) x[20][9] = 1
966.31/132.71	c (121,0) x[20][10] = 7
966.31/132.71	c (121,0) x[20][11] = 10
966.31/132.71	c (121,0) x[20][12] = 13
966.31/132.71	c (121,0) x[20][13] = 3
966.31/132.71	c (121,0) x[20][14] = 21
966.31/132.71	c (121,0) x[20][15] = 15
966.31/132.71	c (121,0) x[20][16] = 4
966.31/132.71	c (121,0) x[20][17] = 17
966.31/132.71	c (121,0) x[20][18] = 12
966.31/132.71	c (121,0) x[20][19] = 2
966.31/132.71	c (121,0) x[20][20] = 0
966.31/132.71	c (121,0) x[20][21] = 8
966.31/132.71	c (121,0) x[20][22] = 25
966.31/132.71	c (121,0) x[20][23] = 26
966.31/132.71	c (121,0) x[20][24] = 6
966.31/132.71	c (121,0) x[20][25] = 16
966.31/132.71	c (121,0) x[20][26] = 24
966.31/132.71	c (121,0) x[20][27] = 29
966.31/132.71	c (121,0) x[20][28] = 28
966.31/132.71	c (121,0) x[20][29] = 18
966.31/132.71	c (121,0) x[21][0] = 3
966.31/132.71	c (121,0) x[21][1] = 5
966.31/132.71	c (121,0) x[21][2] = 28
966.31/132.71	c (121,0) x[21][3] = 0
966.31/132.71	c (121,0) x[21][4] = 29
966.31/132.71	c (121,0) x[21][5] = 18
966.31/132.71	c (121,0) x[21][6] = 9
966.31/132.71	c (121,0) x[21][7] = 16
966.31/132.71	c (121,0) x[21][8] = 26
966.31/132.71	c (121,0) x[21][9] = 23
966.31/132.71	c (121,0) x[21][10] = 2
966.31/132.71	c (121,0) x[21][11] = 17
966.31/132.71	c (121,0) x[21][12] = 10
966.31/132.71	c (121,0) x[21][13] = 25
966.31/132.71	c (121,0) x[21][14] = 20
966.31/132.71	c (121,0) x[21][15] = 19
966.31/132.71	c (121,0) x[21][16] = 24
966.31/132.71	c (121,0) x[21][17] = 22
966.31/132.71	c (121,0) x[21][18] = 8
966.31/132.71	c (121,0) x[21][19] = 13
966.31/132.71	c (121,0) x[21][20] = 21
966.31/132.71	c (121,0) x[21][21] = 14
966.31/132.71	c (121,0) x[21][22] = 1
966.31/132.71	c (121,0) x[21][23] = 6
966.31/132.71	c (121,0) x[21][24] = 7
966.31/132.71	c (121,0) x[21][25] = 4
966.31/132.71	c (121,0) x[21][26] = 15
966.31/132.71	c (121,0) x[21][27] = 27
966.31/132.71	c (121,0) x[21][28] = 11
966.31/132.71	c (121,0) x[21][29] = 12
966.31/132.71	c (121,0) x[22][0] = 12
966.31/132.71	c (121,0) x[22][1] = 6
966.31/132.71	c (121,0) x[22][2] = 10
966.31/132.71	c (121,0) x[22][3] = 17
966.31/132.71	c (121,0) x[22][4] = 27
966.31/132.71	c (121,0) x[22][5] = 3
966.31/132.71	c (121,0) x[22][6] = 23
966.31/132.71	c (121,0) x[22][7] = 18
966.31/132.71	c (121,0) x[22][8] = 13
966.31/132.71	c (121,0) x[22][9] = 2
966.31/132.71	c (121,0) x[22][10] = 24
966.31/132.71	c (121,0) x[22][11] = 7
966.31/132.71	c (121,0) x[22][12] = 0
966.31/132.71	c (121,0) x[22][13] = 16
966.31/132.71	c (121,0) x[22][14] = 8
966.31/132.71	c (121,0) x[22][15] = 1
966.31/132.71	c (121,0) x[22][16] = 25
966.31/132.71	c (121,0) x[22][17] = 20
966.31/132.71	c (121,0) x[22][18] = 21
966.31/132.71	c (121,0) x[22][19] = 22
966.31/132.71	c (121,0) x[22][20] = 26
966.31/132.71	c (121,0) x[22][21] = 15
966.31/132.71	c (121,0) x[22][22] = 14
966.31/132.71	c (121,0) x[22][23] = 19
966.31/132.71	c (121,0) x[22][24] = 28
966.31/132.71	c (121,0) x[22][25] = 11
966.31/132.71	c (121,0) x[22][26] = 29
966.31/132.71	c (121,0) x[22][27] = 4
966.31/132.71	c (121,0) x[22][28] = 9
966.31/132.71	c (121,0) x[22][29] = 5
966.31/132.71	c (121,0) x[23][0] = 0
966.31/132.71	c (121,0) x[23][1] = 10
966.31/132.71	c (121,0) x[23][2] = 1
966.31/132.71	c (121,0) x[23][3] = 4
966.31/132.71	c (121,0) x[23][4] = 7
966.31/132.71	c (121,0) x[23][5] = 13
966.31/132.71	c (121,0) x[23][6] = 3
966.31/132.71	c (121,0) x[23][7] = 2
966.31/132.71	c (121,0) x[23][8] = 27
966.31/132.71	c (121,0) x[23][9] = 11
966.31/132.71	c (121,0) x[23][10] = 18
966.31/132.71	c (121,0) x[23][11] = 6
966.31/132.71	c (121,0) x[23][12] = 8
966.31/132.71	c (121,0) x[23][13] = 23
966.31/132.71	c (121,0) x[23][14] = 26
966.31/132.71	c (121,0) x[23][15] = 17
966.31/132.71	c (121,0) x[23][16] = 12
966.31/132.71	c (121,0) x[23][17] = 29
966.31/132.71	c (121,0) x[23][18] = 9
966.31/132.71	c (121,0) x[23][19] = 19
966.31/132.71	c (121,0) x[23][20] = 25
966.31/132.71	c (121,0) x[23][21] = 28
966.31/132.71	c (121,0) x[23][22] = 21
966.31/132.71	c (121,0) x[23][23] = 20
966.31/132.71	c (121,0) x[23][24] = 16
966.31/132.71	c (121,0) x[23][25] = 5
966.31/132.71	c (121,0) x[23][26] = 22
966.31/132.71	c (121,0) x[23][27] = 24
966.31/132.71	c (121,0) x[23][28] = 14
966.31/132.71	c (121,0) x[23][29] = 15
966.31/132.71	c (121,0) x[24][0] = 26
966.31/132.71	c (121,0) x[24][1] = 15
966.31/132.71	c (121,0) x[24][2] = 4
966.31/132.71	c (121,0) x[24][3] = 3
966.31/132.71	c (121,0) x[24][4] = 5
966.31/132.71	c (121,0) x[24][5] = 7
966.31/132.71	c (121,0) x[24][6] = 11
966.31/132.71	c (121,0) x[24][7] = 24
966.31/132.71	c (121,0) x[24][8] = 9
966.31/132.71	c (121,0) x[24][9] = 12
966.31/132.71	c (121,0) x[24][10] = 25
966.31/132.71	c (121,0) x[24][11] = 29
966.31/132.71	c (121,0) x[24][12] = 2
966.31/132.71	c (121,0) x[24][13] = 18
966.31/132.71	c (121,0) x[24][14] = 19
966.31/132.71	c (121,0) x[24][15] = 8
966.31/132.71	c (121,0) x[24][16] = 14
966.31/132.71	c (121,0) x[24][17] = 21
966.31/132.71	c (121,0) x[24][18] = 6
966.31/132.71	c (121,0) x[24][19] = 10
966.31/132.71	c (121,0) x[24][20] = 28
966.31/132.71	c (121,0) x[24][21] = 22
966.31/132.71	c (121,0) x[24][22] = 23
966.31/132.71	c (121,0) x[24][23] = 1
966.31/132.71	c (121,0) x[24][24] = 13
966.31/132.71	c (121,0) x[24][25] = 20
966.31/132.71	c (121,0) x[24][26] = 0
966.31/132.71	c (121,0) x[24][27] = 16
966.31/132.71	c (121,0) x[24][28] = 17
966.31/132.71	c (121,0) x[24][29] = 27
966.31/132.71	c (121,0) x[25][0] = 22
966.31/132.71	c (121,0) x[25][1] = 1
966.31/132.71	c (121,0) x[25][2] = 11
966.31/132.71	c (121,0) x[25][3] = 10
966.31/132.71	c (121,0) x[25][4] = 23
966.31/132.71	c (121,0) x[25][5] = 4
966.31/132.71	c (121,0) x[25][6] = 0
966.31/132.71	c (121,0) x[25][7] = 29
966.31/132.71	c (121,0) x[25][8] = 24
966.31/132.71	c (121,0) x[25][9] = 25
966.31/132.71	c (121,0) x[25][10] = 21
966.31/132.71	c (121,0) x[25][11] = 9
966.31/132.71	c (121,0) x[25][12] = 16
966.31/132.71	c (121,0) x[25][13] = 6
966.31/132.71	c (121,0) x[25][14] = 17
966.31/132.71	c (121,0) x[25][15] = 5
966.31/132.71	c (121,0) x[25][16] = 18
966.31/132.71	c (121,0) x[25][17] = 14
966.31/132.71	c (121,0) x[25][18] = 3
966.31/132.71	c (121,0) x[25][19] = 7
966.31/132.71	c (121,0) x[25][20] = 12
966.31/132.71	c (121,0) x[25][21] = 27
966.31/132.71	c (121,0) x[25][22] = 13
966.31/132.71	c (121,0) x[25][23] = 2
966.31/132.71	c (121,0) x[25][24] = 15
966.31/132.71	c (121,0) x[25][25] = 8
966.31/132.71	c (121,0) x[25][26] = 20
966.31/132.71	c (121,0) x[25][27] = 28
966.31/132.71	c (121,0) x[25][28] = 19
966.31/132.71	c (121,0) x[25][29] = 26
966.31/132.71	c (121,0) x[26][0] = 16
966.31/132.71	c (121,0) x[26][1] = 27
966.31/132.71	c (121,0) x[26][2] = 17
966.31/132.71	c (121,0) x[26][3] = 12
966.31/132.71	c (121,0) x[26][4] = 8
966.31/132.71	c (121,0) x[26][5] = 1
966.31/132.71	c (121,0) x[26][6] = 2
966.31/132.71	c (121,0) x[26][7] = 26
966.31/132.71	c (121,0) x[26][8] = 25
966.31/132.71	c (121,0) x[26][9] = 14
966.31/132.71	c (121,0) x[26][10] = 15
966.31/132.71	c (121,0) x[26][11] = 22
966.31/132.71	c (121,0) x[26][12] = 19
966.31/132.71	c (121,0) x[26][13] = 24
966.31/132.71	c (121,0) x[26][14] = 13
966.31/132.71	c (121,0) x[26][15] = 7
966.31/132.71	c (121,0) x[26][16] = 28
966.31/132.71	c (121,0) x[26][17] = 3
966.31/132.71	c (121,0) x[26][18] = 10
966.31/132.71	c (121,0) x[26][19] = 21
966.31/132.71	c (121,0) x[26][20] = 18
966.31/132.71	c (121,0) x[26][21] = 4
966.31/132.71	c (121,0) x[26][22] = 0
966.31/132.71	c (121,0) x[26][23] = 5
966.31/132.71	c (121,0) x[26][24] = 23
966.31/132.71	c (121,0) x[26][25] = 29
966.31/132.71	c (121,0) x[26][26] = 11
966.31/132.71	c (121,0) x[26][27] = 9
966.31/132.71	c (121,0) x[26][28] = 6
966.31/132.71	c (121,0) x[26][29] = 20
966.31/132.71	c (121,0) x[27][0] = 7
966.31/132.71	c (121,0) x[27][1] = 2
966.31/132.71	c (121,0) x[27][2] = 20
966.31/132.71	c (121,0) x[27][3] = 19
966.31/132.71	c (121,0) x[27][4] = 17
966.31/132.71	c (121,0) x[27][5] = 27
966.31/132.71	c (121,0) x[27][6] = 25
966.31/132.71	c (121,0) x[27][7] = 5
966.31/132.71	c (121,0) x[27][8] = 10
966.31/132.71	c (121,0) x[27][9] = 28
966.31/132.71	c (121,0) x[27][10] = 3
966.31/132.71	c (121,0) x[27][11] = 16
966.31/132.71	c (121,0) x[27][12] = 15
966.31/132.71	c (121,0) x[27][13] = 22
966.31/132.71	c (121,0) x[27][14] = 23
966.31/132.71	c (121,0) x[27][15] = 21
966.31/132.71	c (121,0) x[27][16] = 13
966.31/132.71	c (121,0) x[27][17] = 1
966.31/132.71	c (121,0) x[27][18] = 11
966.31/132.71	c (121,0) x[27][19] = 14
966.31/132.71	c (121,0) x[27][20] = 9
966.31/132.71	c (121,0) x[27][21] = 26
966.31/132.71	c (121,0) x[27][22] = 12
966.31/132.71	c (121,0) x[27][23] = 8
966.31/132.71	c (121,0) x[27][24] = 29
966.31/132.71	c (121,0) x[27][25] = 6
966.31/132.71	c (121,0) x[27][26] = 4
966.31/132.71	c (121,0) x[27][27] = 18
966.31/132.71	c (121,0) x[27][28] = 0
966.31/132.71	c (121,0) x[27][29] = 24
966.31/132.71	c (121,0) x[28][0] = 17
966.31/132.71	c (121,0) x[28][1] = 3
966.31/132.71	c (121,0) x[28][2] = 7
966.31/132.71	c (121,0) x[28][3] = 26
966.31/132.71	c (121,0) x[28][4] = 0
966.31/132.71	c (121,0) x[28][5] = 12
966.31/132.71	c (121,0) x[28][6] = 16
966.31/132.71	c (121,0) x[28][7] = 6
966.31/132.71	c (121,0) x[28][8] = 1
966.31/132.71	c (121,0) x[28][9] = 18
966.31/132.71	c (121,0) x[28][10] = 22
966.31/132.71	c (121,0) x[28][11] = 25
966.31/132.71	c (121,0) x[28][12] = 20
966.31/132.71	c (121,0) x[28][13] = 27
966.31/132.71	c (121,0) x[28][14] = 5
966.31/132.71	c (121,0) x[28][15] = 14
966.31/132.71	c (121,0) x[28][16] = 23
966.31/132.71	c (121,0) x[28][17] = 10
966.31/132.71	c (121,0) x[28][18] = 2
966.31/132.71	c (121,0) x[28][19] = 4
966.31/132.71	c (121,0) x[28][20] = 19
966.31/132.71	c (121,0) x[28][21] = 24
966.31/132.71	c (121,0) x[28][22] = 15
966.31/132.71	c (121,0) x[28][23] = 13
966.31/132.71	c (121,0) x[28][24] = 21
966.31/132.71	c (121,0) x[28][25] = 9
966.31/132.71	c (121,0) x[28][26] = 8
966.31/132.71	c (121,0) x[28][27] = 11
966.31/132.71	c (121,0) x[28][28] = 29
966.31/132.71	c (121,0) x[28][29] = 28
966.31/132.71	c (121,0) x[29][0] = 13
966.31/132.71	c (121,0) x[29][1] = 24
966.31/132.71	c (121,0) x[29][2] = 27
966.31/132.71	c (121,0) x[29][3] = 1
966.31/132.71	c (121,0) x[29][4] = 19
966.31/132.71	c (121,0) x[29][5] = 2
966.31/132.71	c (121,0) x[29][6] = 26
966.31/132.71	c (121,0) x[29][7] = 20
966.31/132.71	c (121,0) x[29][8] = 5
966.31/132.71	c (121,0) x[29][9] = 22
966.31/132.71	c (121,0) x[29][10] = 11
966.31/132.71	c (121,0) x[29][11] = 23
966.31/132.71	c (121,0) x[29][12] = 29
966.31/132.71	c (121,0) x[29][13] = 21
966.31/132.71	c (121,0) x[29][14] = 12
966.31/132.71	c (121,0) x[29][15] = 9
966.31/132.71	c (121,0) x[29][16] = 10
966.31/132.71	c (121,0) x[29][17] = 15
966.31/132.71	c (121,0) x[29][18] = 18
966.31/132.71	c (121,0) x[29][19] = 28
966.31/132.71	c (121,0) x[29][20] = 17
966.31/132.71	c (121,0) x[29][21] = 0
966.31/132.71	c (121,0) x[29][22] = 7
966.31/132.71	c (121,0) x[29][23] = 16
966.31/132.71	c (121,0) x[29][24] = 8
966.31/132.71	c (121,0) x[29][25] = 14
966.31/132.71	c (121,0) x[29][26] = 6
966.31/132.71	c (121,0) x[29][27] = 3
966.31/132.71	c (121,0) x[29][28] = 4
966.31/132.71	c (121,0) x[29][29] = 25
966.31/132.71	s SATISFIABLE
966.31/132.72	v <instantiation>
966.31/132.72	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>
966.31/132.72	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>
966.31/132.72	v </instantiation>
966.31/132.72	c (121,0) Show results End
966.31/132.72	c (121,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
966.31/132.72	c (121,0) 121,121,STOP-AFTER(ALL)
966.31/132.72	c END-Prog: Tue Sep 24 23:09:27 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 (13193 MiB free)
  memory of node 1: 16384 MiB (11622 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100141 s]*
/proc/loadavg: 2.75 5.98 7.33 3/211 21446
/proc/meminfo: memFree=25317948/32770624 swapFree=66941060/67108860
[pid=21424] ppid=21421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21424/stat : 21424 (scop.sh) S 21421 21424 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512180857 115843072 349 33554432000 4194304 5098028 140730950275808 140730950273064 139723100381820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16289792 140730950279972 140730950280300 140730950280300 140730950283213 0
/proc/21424/statm: 28282 349 296 221 0 87 0
[pid=21427] ppid=21424 vsize=27314120 memory=105612 CPUtime=0.1 cores=0-7
/proc/21427/stat : 21427 (java) S 21424 21424 20843 0 -1 1077944320 6936 0 0 0 8 2 0 0 20 0 20 0 512180857 27969658880 26403 33554432000 4194304 4196468 140732943721088 140732943703632 140117520084727 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
/proc/21427/statm: 6828530 26403 2796 1 0 6790935 0
[pid=21427/tid=21428] ppid=21424 vsize=27314120 memory=7968446023329554585 CPUtime=0.09 cores=0-7
/proc/21427/task/21428/stat : 21428 (java) R 21424 21424 20843 0 -1 4202560 5027 0 0 0 7 2 0 0 20 0 20 0 512180858 27969658880 26403 33554432000 4194304 4196468 140732943721088 140117491919408 140117520106653 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21429] ppid=21424 vsize=27314120 memory=732370120447966181 CPUtime=0 cores=0-7
/proc/21427/task/21429/stat : 21429 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140117524327184 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21430] ppid=21424 vsize=27314120 memory=139982110512768 CPUtime=0 cores=0-7
/proc/21427/task/21430/stat : 21430 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140117338483600 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21431] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21431/stat : 21431 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140117337431056 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21432] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21432/stat : 21432 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140116939668624 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21433] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21433/stat : 21433 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140116938615056 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21434] ppid=21424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21427/task/21434/stat : 21434 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140116937562512 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21435] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21435/stat : 21435 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140116936509968 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21436] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21436/stat : 21436 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 26403 33554432000 4194304 4196468 140732943721088 140116935457424 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21437] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21437/stat : 21437 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115974212080 140117520095874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21438] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21438/stat : 21438 (java) S 21424 21424 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115187852704 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21439] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21439/stat : 21439 (java) S 21424 21424 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115053630960 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21440] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21440/stat : 21440 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140114679126736 140117520103323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21441] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21441/stat : 21441 (java) S 21424 21424 20843 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115973158896 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21442] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21442/stat : 21442 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115972106352 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21443] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21443/stat : 21443 (java) S 21424 21424 20843 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115971053808 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21444] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21444/stat : 21444 (java) S 21424 21424 20843 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115970001264 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21445] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21445/stat : 21445 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140114181221088 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21446] ppid=21424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21427/task/21446/stat : 21446 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 26403 33554432000 4194304 4196468 140732943721088 140115968949168 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107008 KiB

[startup+0.210421 s]*
/proc/loadavg: 2.75 5.98 7.33 2/211 21446
/proc/meminfo: memFree=25300536/32770624 swapFree=66941060/67108860
[pid=21424] ppid=21421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21424/stat : 21424 (scop.sh) S 21421 21424 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512180857 115843072 349 33554432000 4194304 5098028 140730950275808 140730950273064 139723100381820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16289792 140730950279972 140730950280300 140730950280300 140730950283213 0
/proc/21424/statm: 28282 349 296 221 0 87 0
[pid=21427] ppid=21424 vsize=27314120 memory=122188 CPUtime=0.24 cores=0-7
/proc/21427/stat : 21427 (java) S 21424 21424 20843 0 -1 1077944320 11929 0 0 0 20 4 0 0 20 0 20 0 512180857 27969658880 30547 33554432000 4194304 4196468 140732943721088 140732943703632 140117520084727 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
/proc/21427/statm: 6828530 30547 2939 1 0 6790935 0
[pid=21427/tid=21428] ppid=21424 vsize=27314120 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/21427/task/21428/stat : 21428 (java) R 21424 21424 20843 0 -1 4202560 9631 0 0 0 16 4 0 0 20 0 20 0 512180858 27969658880 30547 33554432000 4194304 4196468 140732943721088 140117491884112 140117501649697 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21429] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21429/stat : 21429 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140117524327184 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21430] ppid=21424 vsize=27314120 memory=288370358262224512 CPUtime=0 cores=0-7
/proc/21427/task/21430/stat : 21430 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140117338483600 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21431] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21431/stat : 21431 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140117337431056 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21432] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21432/stat : 21432 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140116939668624 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21433] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21433/stat : 21433 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140116938615056 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21434] ppid=21424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21427/task/21434/stat : 21434 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140116937562512 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21435] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21435/stat : 21435 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140116936509968 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21436] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21436/stat : 21436 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 30547 33554432000 4194304 4196468 140732943721088 140116935457424 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21437] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21437/stat : 21437 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115974212080 140117520095874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21438] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21438/stat : 21438 (java) S 21424 21424 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115187852704 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21439] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21439/stat : 21439 (java) S 21424 21424 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115053630960 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21440] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21440/stat : 21440 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140114679126736 140117520103323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21441] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21441/stat : 21441 (java) S 21424 21424 20843 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115973158896 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21442] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21442/stat : 21442 (java) S 21424 21424 20843 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115972106352 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21443] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21443/stat : 21443 (java) S 21424 21424 20843 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115971053808 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21444] ppid=21424 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21427/task/21444/stat : 21444 (java) S 21424 21424 20843 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115970001264 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21445] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21445/stat : 21445 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140114181221088 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21446] ppid=21424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21427/task/21446/stat : 21446 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 30547 33554432000 4194304 4196468 140732943721088 140115968949168 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123584 KiB

[startup+0.31028 s]*
/proc/loadavg: 2.75 5.98 7.33 2/211 21446
/proc/meminfo: memFree=25297496/32770624 swapFree=66941060/67108860
[pid=21424] ppid=21421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21424/stat : 21424 (scop.sh) S 21421 21424 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512180857 115843072 349 33554432000 4194304 5098028 140730950275808 140730950273064 139723100381820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16289792 140730950279972 140730950280300 140730950280300 140730950283213 0
/proc/21424/statm: 28282 349 296 221 0 87 0
[pid=21427] ppid=21424 vsize=27314120 memory=125856 CPUtime=0.43 cores=0-7
/proc/21427/stat : 21427 (java) S 21424 21424 20843 0 -1 1077944320 12861 0 0 0 38 5 0 0 20 0 20 0 512180857 27969658880 31464 33554432000 4194304 4196468 140732943721088 140732943703632 140117520084727 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
/proc/21427/statm: 6828530 31464 3014 1 0 6790935 0
[pid=21427/tid=21428] ppid=21424 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21427/task/21428/stat : 21428 (java) R 21424 21424 20843 0 -1 4202560 10396 0 0 0 25 4 0 0 20 0 20 0 512180858 27969658880 31464 33554432000 4194304 4196468 140732943721088 140117491902224 140117501648256 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21429] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21429/stat : 21429 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140117524327184 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21430] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21430/stat : 21430 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140117338483600 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21431] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21431/stat : 21431 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140117337431056 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21432] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21432/stat : 21432 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140116939668624 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21433] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21433/stat : 21433 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140116938615056 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21434] ppid=21424 vsize=27314120 memory=139981976857263 CPUtime=0 cores=0-7
/proc/21427/task/21434/stat : 21434 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140116937562512 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21435] ppid=21424 vsize=27314120 memory=139981976859568 CPUtime=0 cores=0-7
/proc/21427/task/21435/stat : 21435 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140116936509968 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21436] ppid=21424 vsize=27314120 memory=139981976861872 CPUtime=0 cores=0-7
/proc/21427/task/21436/stat : 21436 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27969658880 31464 33554432000 4194304 4196468 140732943721088 140116935457424 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21437] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21437/stat : 21437 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115974212080 140117520095874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21438] ppid=21424 vsize=27314120 memory=279963953737616 CPUtime=0 cores=0-7
/proc/21427/task/21438/stat : 21438 (java) S 21424 21424 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115187852704 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21439] ppid=21424 vsize=27314120 memory=279963953735312 CPUtime=0 cores=0-7
/proc/21427/task/21439/stat : 21439 (java) S 21424 21424 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512180862 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115053630960 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21440] ppid=21424 vsize=27314120 memory=279963953742224 CPUtime=0 cores=0-7
/proc/21427/task/21440/stat : 21440 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140114679126736 140117520103323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21441] ppid=21424 vsize=27314120 memory=279963953683504 CPUtime=0.01 cores=0-7
/proc/21427/task/21441/stat : 21441 (java) S 21424 21424 20843 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115973158896 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21442] ppid=21424 vsize=27314120 memory=279963953756048 CPUtime=0.01 cores=0-7
/proc/21427/task/21442/stat : 21442 (java) R 21424 21424 20843 0 -1 4202560 100 0 0 0 1 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115972106352 140117504834953 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21443] ppid=21424 vsize=27314120 memory=279963953762960 CPUtime=0.01 cores=0-7
/proc/21427/task/21443/stat : 21443 (java) S 21424 21424 20843 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115971053808 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21444] ppid=21424 vsize=27314120 memory=279963953760656 CPUtime=0.07 cores=0-7
/proc/21427/task/21444/stat : 21444 (java) S 21424 21424 20843 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115970001264 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21445] ppid=21424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21445/stat : 21445 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140114181221088 140117520094933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21446] ppid=21424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21427/task/21446/stat : 21446 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180865 27969658880 31464 33554432000 4194304 4196468 140732943721088 140115968949168 140117520095874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127252 KiB

[startup+0.700951 s]
/proc/loadavg: 2.75 5.98 7.33 2/211 21446
/proc/meminfo: memFree=25274180/32770624 swapFree=66941060/67108860
[pid=21424] ppid=21421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21424/stat : 21424 (scop.sh) S 21421 21424 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512180857 115843072 349 33554432000 4194304 5098028 140730950275808 140730950273064 139723100381820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16289792 140730950279972 140730950280300 140730950280300 140730950283213 0
/proc/21424/statm: 28282 349 296 221 0 87 0
[pid=21427] ppid=21424 vsize=27322516 memory=165264 CPUtime=1 cores=0-7
/proc/21427/stat : 21427 (java) S 21424 21424 20843 0 -1 1077944320 20490 0 0 0 93 7 0 0 20 0 20 0 512180857 27978256384 41316 33554432000 4194304 4196468 140732943721088 140732943703632 140117520084727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
/proc/21427/statm: 6830629 41316 3180 1 0 6791959 0
[pid=21427/tid=21428] ppid=21424 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/21427/task/21428/stat : 21428 (java) R 21424 21424 20843 0 -1 4202560 17488 0 0 0 61 6 0 0 20 0 20 0 512180858 27978256384 41316 33554432000 4194304 4196468 140732943721088 140117491916496 140117504165214 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21429] ppid=21424 vsize=27322516 memory=2353 CPUtime=0 cores=0-7
/proc/21427/task/21429/stat : 21429 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27978256384 41316 33554432000 4194304 4196468 140732943721088 140117524327184 140117520094933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21430] ppid=21424 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21427/task/21430/stat : 21430 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512180860 27978256384 41316 33554432000 4194304 4196468 140732943721088 140117338483600 140117520094933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0
[pid=21427/tid=21431] ppid=21424 vsize=27322516 memory=10728 CPUtime=0 cores=0-7
/proc/21427/task/21431/stat : 21431 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512180860 27978256384 41316 33554432000 4194304 4196468 140732943721088 140117337431056 140117520094933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732943729386 140732943729814 140732943729814 140732943732687 0

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

[pid=21448/tid=21449] ppid=21424 vsize=8414124 memory=121380 CPUtime=0.79 cores=0-7
/proc/21448/task/21449/stat : 21449 (java) S 21424 21424 20843 0 -1 1077944384 16894 0 0 0 72 7 0 0 20 0 24 0 512181946 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733178802080 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21450] ppid=21424 vsize=8414124 memory=502616 CPUtime=0 cores=0-7
/proc/21448/task/21450/stat : 21450 (java) S 21424 21424 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733211204752 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21451] ppid=21424 vsize=8414124 memory=-8600017575008825746 CPUtime=0 cores=0-7
/proc/21448/task/21451/stat : 21451 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733011373072 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21452] ppid=21424 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/21448/task/21452/stat : 21452 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733010320272 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21453] ppid=21424 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/21448/task/21453/stat : 21453 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733009267472 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21454] ppid=21424 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/21448/task/21454/stat : 21454 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733008214672 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21455] ppid=21424 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/21448/task/21455/stat : 21455 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733007161872 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21456] ppid=21424 vsize=8414124 memory=-8600017575008825746 CPUtime=0 cores=0-7
/proc/21448/task/21456/stat : 21456 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733006109072 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21457] ppid=21424 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/21448/task/21457/stat : 21457 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181947 8616062976 30345 33554432000 4194304 4196468 140731306995024 139733005056272 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21458] ppid=21424 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/21448/task/21458/stat : 21458 (java) S 21424 21424 20843 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512181949 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732300479344 139733206973058 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21459] ppid=21424 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/21448/task/21459/stat : 21459 (java) S 21424 21424 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512181949 8616062976 30345 33554432000 4194304 4196468 140731306995024 139731794912800 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21460] ppid=21424 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/21448/task/21460/stat : 21460 (java) S 21424 21424 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512181950 8616062976 30345 33554432000 4194304 4196468 140731306995024 139731660690800 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21461] ppid=21424 vsize=8414124 memory=2364 CPUtime=0 cores=0-7
/proc/21448/task/21461/stat : 21461 (java) S 21424 21424 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512181952 8616062976 30345 33554432000 4194304 4196468 140731306995024 139731286186320 139733206980507 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21462] ppid=21424 vsize=8414124 memory=1744 CPUtime=0.1 cores=0-7
/proc/21448/task/21462/stat : 21462 (java) S 21424 21424 20843 0 -1 1077944384 745 0 0 0 10 0 0 0 20 0 24 0 512181952 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732299426160 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21463] ppid=21424 vsize=8414124 memory=924 CPUtime=0.11 cores=0-7
/proc/21448/task/21463/stat : 21463 (java) S 21424 21424 20843 0 -1 1077944384 542 0 0 0 11 0 0 0 20 0 24 0 512181952 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732298373360 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21464] ppid=21424 vsize=8414124 memory=1448 CPUtime=0.11 cores=0-7
/proc/21448/task/21464/stat : 21464 (java) S 21424 21424 20843 0 -1 1077944384 483 0 0 0 11 0 0 0 20 0 24 0 512181952 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732297320560 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21465] ppid=21424 vsize=8414124 memory=1748 CPUtime=0.23 cores=0-7
/proc/21448/task/21465/stat : 21465 (java) S 21424 21424 20843 0 -1 1077944384 773 0 0 0 23 0 0 0 20 0 24 0 512181952 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732296267760 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21466] ppid=21424 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/21448/task/21466/stat : 21466 (java) S 21424 21424 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512181952 8616062976 30345 33554432000 4194304 4196468 140731306995024 139730788281440 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21467] ppid=21424 vsize=8414124 memory=808 CPUtime=0.08 cores=0-7
/proc/21448/task/21467/stat : 21467 (java) S 21424 21424 20843 0 -1 1077944384 9 0 0 0 2 6 0 0 20 0 24 0 512181953 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732295216176 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21469] ppid=21424 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/21448/task/21469/stat : 21469 (java) S 21424 21424 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512182023 8616062976 30345 33554432000 4194304 4196468 140731306995024 139732287182400 139733206986521 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21471] ppid=21424 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/21448/task/21471/stat : 21471 (java) S 21424 21424 20843 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512182023 8616062976 30345 33554432000 4194304 4196468 140731306995024 139730117181072 139733206983837 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21472] ppid=21424 vsize=8414124 memory=10728 CPUtime=0 cores=0-7
/proc/21448/task/21472/stat : 21472 (java) S 21424 21424 20843 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512182023 8616062976 30345 33554432000 4194304 4196468 140731306995024 139730385616400 139733206983837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21473] ppid=21424 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/21448/task/21473/stat : 21473 (java) S 21424 21424 20843 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512182025 8616062976 30345 33554432000 4194304 4196468 140731306995024 139729848753200 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
Current children cumulated CPU time: 965.57 s
Current children cumulated vsize: 9322876 KiB
Current children cumulated memory: 625472 KiB

[startup+132.602 s]
/proc/loadavg: 7.27 6.51 7.33 2/217 21489
/proc/meminfo: memFree=24796072/32770624 swapFree=66941060/67108860
[pid=21424] ppid=21421 vsize=113128 memory=1476 CPUtime=20.8 cores=0-7
/proc/21424/stat : 21424 (scop.sh) S 21421 21424 20843 0 -1 4202496 584 38626 0 0 0 0 1995 85 20 0 1 0 512180857 115843072 369 33554432000 4194304 5098028 140730950275808 140730950272552 139723100381820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16289792 140730950279972 140730950280300 140730950280300 140730950283213 0
/proc/21424/statm: 28282 369 311 221 0 87 0
[pid=21448] ppid=21424 vsize=8283048 memory=139012 CPUtime=945.21 cores=0-7
/proc/21448/stat : 21448 (java) S 21424 21424 20843 0 -1 1077944320 22191 463845 0 0 174 11 94223 113 20 0 22 0 512181946 8481841152 34753 33554432000 4194304 4196468 140731306995024 140731306977568 139733206961911 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
/proc/21448/statm: 2070762 34753 3232 1 0 2032106 0
[pid=21448/tid=21449] ppid=21424 vsize=8283048 memory=784 CPUtime=944.25 cores=0-7
/proc/21448/task/21449/stat : 21449 (java) R 21424 21424 20843 0 -1 4202560 17122 463845 0 0 82 7 94223 113 20 0 22 0 512181946 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733178777360 139733187159469 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21450] ppid=21424 vsize=8283048 memory=1060 CPUtime=943.36 cores=0-7
/proc/21448/task/21450/stat : 21450 (java) S 21424 21424 20843 0 -1 1077944384 2 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733211204752 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21451] ppid=21424 vsize=8283048 memory=1724 CPUtime=943.36 cores=0-7
/proc/21448/task/21451/stat : 21451 (java) S 21424 21424 20843 0 -1 1077944384 3 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733011373072 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21452] ppid=21424 vsize=8283048 memory=1096 CPUtime=943.36 cores=0-7
/proc/21448/task/21452/stat : 21452 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733010320272 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21453] ppid=21424 vsize=8283048 memory=1228 CPUtime=943.36 cores=0-7
/proc/21448/task/21453/stat : 21453 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733009267472 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21454] ppid=21424 vsize=8283048 memory=6144 CPUtime=943.36 cores=0-7
/proc/21448/task/21454/stat : 21454 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733008214672 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21455] ppid=21424 vsize=8283048 memory=780 CPUtime=943.36 cores=0-7
/proc/21448/task/21455/stat : 21455 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733007161872 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21456] ppid=21424 vsize=8283048 memory=14008 CPUtime=943.36 cores=0-7
/proc/21448/task/21456/stat : 21456 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733006109072 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21457] ppid=21424 vsize=8283048 memory=33736 CPUtime=943.36 cores=0-7
/proc/21448/task/21457/stat : 21457 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8481841152 34753 33554432000 4194304 4196468 140731306995024 139733005056272 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21458] ppid=21424 vsize=8283048 memory=2116 CPUtime=943.36 cores=0-7
/proc/21448/task/21458/stat : 21458 (java) S 21424 21424 20843 0 -1 1077944384 9 463845 0 0 0 0 94223 113 20 0 22 0 512181949 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732300479344 139733206973058 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21459] ppid=21424 vsize=8283048 memory=12024 CPUtime=943.36 cores=0-7
/proc/21448/task/21459/stat : 21459 (java) S 21424 21424 20843 0 -1 1077944384 13 463845 0 0 0 0 94223 113 20 0 22 0 512181949 8481841152 34753 33554432000 4194304 4196468 140731306995024 139731794912800 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21460] ppid=21424 vsize=8283048 memory=-8600017575008825746 CPUtime=943.36 cores=0-7
/proc/21448/task/21460/stat : 21460 (java) S 21424 21424 20843 0 -1 1077944384 21 463845 0 0 0 0 94223 113 20 0 22 0 512181950 8481841152 34753 33554432000 4194304 4196468 140731306995024 139731660690800 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21461] ppid=21424 vsize=8283048 memory=-7003737579269690708 CPUtime=943.36 cores=0-7
/proc/21448/task/21461/stat : 21461 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181952 8481841152 34753 33554432000 4194304 4196468 140731306995024 139731286186320 139733206980507 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21462] ppid=21424 vsize=8283048 memory=784 CPUtime=943.5 cores=0-7
/proc/21448/task/21462/stat : 21462 (java) S 21424 21424 20843 0 -1 1077944384 930 463845 0 0 14 0 94223 113 20 0 22 0 512181952 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732299426160 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21463] ppid=21424 vsize=8283048 memory=1060 CPUtime=943.51 cores=0-7
/proc/21448/task/21463/stat : 21463 (java) S 21424 21424 20843 0 -1 1077944384 566 463845 0 0 15 0 94223 113 20 0 22 0 512181952 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732298373360 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21464] ppid=21424 vsize=8283048 memory=1724 CPUtime=943.5 cores=0-7
/proc/21448/task/21464/stat : 21464 (java) S 21424 21424 20843 0 -1 1077944384 507 463845 0 0 14 0 94223 113 20 0 22 0 512181952 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732297320560 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21465] ppid=21424 vsize=8283048 memory=-8600017575008825746 CPUtime=943.68 cores=0-7
/proc/21448/task/21465/stat : 21465 (java) S 21424 21424 20843 0 -1 1077944384 1076 463845 0 0 32 0 94223 113 20 0 22 0 512181952 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732296267760 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21466] ppid=21424 vsize=8283048 memory=1228 CPUtime=943.36 cores=0-7
/proc/21448/task/21466/stat : 21466 (java) S 21424 21424 20843 0 -1 1077944384 3 463845 0 0 0 0 94223 113 20 0 22 0 512181952 8481841152 34753 33554432000 4194304 4196468 140731306995024 139730788281440 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21467] ppid=21424 vsize=8283048 memory=6144 CPUtime=943.44 cores=0-7
/proc/21448/task/21467/stat : 21467 (java) S 21424 21424 20843 0 -1 1077944384 9 463845 0 0 2 6 94223 113 20 0 22 0 512181953 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732295216176 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21469] ppid=21424 vsize=8283048 memory=780 CPUtime=943.36 cores=0-7
/proc/21448/task/21469/stat : 21469 (java) S 21424 21424 20843 0 -1 1077944384 24 463845 0 0 0 0 94223 113 20 0 22 0 512182023 8481841152 34753 33554432000 4194304 4196468 140731306995024 139732287181584 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21473] ppid=21424 vsize=8283048 memory=490132 CPUtime=943.36 cores=0-7
/proc/21448/task/21473/stat : 21473 (java) S 21424 21424 20843 0 -1 1077944384 11 463845 0 0 0 0 94223 113 20 0 22 0 512182025 8481841152 34753 33554432000 4194304 4196468 140731306995024 139729848754992 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
Current children cumulated CPU time: 966.01 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 140488 KiB

[startup+132.704 s]
/proc/loadavg: 7.27 6.51 7.33 2/217 21489
/proc/meminfo: memFree=24796072/32770624 swapFree=66941060/67108860
[pid=21424] ppid=21421 vsize=113128 memory=1476 CPUtime=20.8 cores=0-7
/proc/21424/stat : 21424 (scop.sh) S 21421 21424 20843 0 -1 4202496 584 38626 0 0 0 0 1995 85 20 0 1 0 512180857 115843072 369 33554432000 4194304 5098028 140730950275808 140730950272552 139723100381820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16289792 140730950279972 140730950280300 140730950280300 140730950283213 0
/proc/21424/statm: 28282 369 311 221 0 87 0
[pid=21448] ppid=21424 vsize=8284072 memory=149316 CPUtime=945.51 cores=0-7
/proc/21448/stat : 21448 (java) S 21424 21424 20843 0 -1 1077944320 23994 463845 0 0 203 12 94223 113 20 0 22 0 512181946 8482889728 37329 33554432000 4194304 4196468 140731306995024 140731306977568 139733206961911 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
/proc/21448/statm: 2071018 37329 3235 1 0 2032362 0
[pid=21448/tid=21449] ppid=21424 vsize=8284072 memory=1476 CPUtime=944.35 cores=0-7
/proc/21448/task/21449/stat : 21449 (java) R 21424 21424 20843 0 -1 4202560 17580 463845 0 0 92 7 94223 113 20 0 22 0 512181946 8482889728 37329 33554432000 4194304 4196468 140731306995024 139733178788616 139733199641629 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21450] ppid=21424 vsize=8284072 memory=1476 CPUtime=943.36 cores=0-7
/proc/21448/task/21450/stat : 21450 (java) S 21424 21424 20843 0 -1 1077944384 2 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37395 33554432000 4194304 4196468 140731306995024 139733211204752 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21451] ppid=21424 vsize=8284072 memory=121380 CPUtime=943.36 cores=0-7
/proc/21448/task/21451/stat : 21451 (java) S 21424 21424 20843 0 -1 1077944384 3 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37395 33554432000 4194304 4196468 140731306995024 139733011373072 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21452] ppid=21424 vsize=8284072 memory=0 CPUtime=943.36 cores=0-7
/proc/21448/task/21452/stat : 21452 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37395 33554432000 4194304 4196468 140731306995024 139733010320272 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21453] ppid=21424 vsize=8284072 memory=0 CPUtime=943.36 cores=0-7
/proc/21448/task/21453/stat : 21453 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37395 33554432000 4194304 4196468 140731306995024 139733009267472 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21454] ppid=21424 vsize=8284072 memory=10481 CPUtime=943.36 cores=0-7
/proc/21448/task/21454/stat : 21454 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37461 33554432000 4194304 4196468 140731306995024 139733008214672 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21455] ppid=21424 vsize=8284072 memory=10617 CPUtime=943.36 cores=0-7
/proc/21448/task/21455/stat : 21455 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37461 33554432000 4194304 4196468 140731306995024 139733007161872 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21456] ppid=21424 vsize=8284072 memory=1476 CPUtime=943.36 cores=0-7
/proc/21448/task/21456/stat : 21456 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37461 33554432000 4194304 4196468 140731306995024 139733006109072 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21457] ppid=21424 vsize=8284072 memory=121380 CPUtime=943.36 cores=0-7
/proc/21448/task/21457/stat : 21457 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181947 8482889728 37461 33554432000 4194304 4196468 140731306995024 139733005056272 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21458] ppid=21424 vsize=8284072 memory=-8600017575008825746 CPUtime=943.36 cores=0-7
/proc/21448/task/21458/stat : 21458 (java) S 21424 21424 20843 0 -1 1077944384 9 463845 0 0 0 0 94223 113 20 0 22 0 512181949 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732300479344 139733206973058 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21459] ppid=21424 vsize=8284072 memory=121380 CPUtime=943.36 cores=0-7
/proc/21448/task/21459/stat : 21459 (java) S 21424 21424 20843 0 -1 1077944384 13 463845 0 0 0 0 94223 113 20 0 22 0 512181949 8482889728 37461 33554432000 4194304 4196468 140731306995024 139731794912800 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21460] ppid=21424 vsize=8284072 memory=502180 CPUtime=943.36 cores=0-7
/proc/21448/task/21460/stat : 21460 (java) S 21424 21424 20843 0 -1 1077944384 21 463845 0 0 0 0 94223 113 20 0 22 0 512181950 8482889728 37461 33554432000 4194304 4196468 140731306995024 139731660690800 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21461] ppid=21424 vsize=8284072 memory=450912 CPUtime=943.36 cores=0-7
/proc/21448/task/21461/stat : 21461 (java) S 21424 21424 20843 0 -1 1077944384 1 463845 0 0 0 0 94223 113 20 0 22 0 512181952 8482889728 37461 33554432000 4194304 4196468 140731306995024 139731286186320 139733206980507 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21462] ppid=21424 vsize=8284072 memory=1476 CPUtime=943.56 cores=0-7
/proc/21448/task/21462/stat : 21462 (java) S 21424 21424 20843 0 -1 1077944384 1285 463845 0 0 20 0 94223 113 20 0 22 0 512181952 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732299426160 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21463] ppid=21424 vsize=8284072 memory=1476 CPUtime=943.56 cores=0-7
/proc/21448/task/21463/stat : 21463 (java) R 21424 21424 20843 0 -1 4202560 778 463845 0 0 20 0 94223 113 20 0 22 0 512181952 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732298353768 139733199251360 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21464] ppid=21424 vsize=8284072 memory=56 CPUtime=943.55 cores=0-7
/proc/21448/task/21464/stat : 21464 (java) R 21424 21424 20843 0 -1 4202560 900 463845 0 0 19 0 94223 113 20 0 22 0 512181952 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732297301576 139733190445195 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21465] ppid=21424 vsize=8284072 memory=7883952913186972522 CPUtime=943.73 cores=0-7
/proc/21448/task/21465/stat : 21465 (java) S 21424 21424 20843 0 -1 1077944384 1518 463845 0 0 37 0 94223 113 20 0 22 0 512181952 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732296267760 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21466] ppid=21424 vsize=8284072 memory=7883952913186972522 CPUtime=943.36 cores=0-7
/proc/21448/task/21466/stat : 21466 (java) S 21424 21424 20843 0 -1 1077944384 3 463845 0 0 0 0 94223 113 20 0 22 0 512181952 8482889728 37461 33554432000 4194304 4196468 140731306995024 139730788281440 139733206972117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21467] ppid=21424 vsize=8284072 memory=7451318151715448684 CPUtime=943.44 cores=0-7
/proc/21448/task/21467/stat : 21467 (java) S 21424 21424 20843 0 -1 1077944384 9 463845 0 0 2 6 94223 113 20 0 22 0 512181953 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732295216176 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21469] ppid=21424 vsize=8284072 memory=780 CPUtime=943.36 cores=0-7
/proc/21448/task/21469/stat : 21469 (java) S 21424 21424 20843 0 -1 1077944384 24 463845 0 0 0 0 94223 113 20 0 22 0 512182023 8482889728 37461 33554432000 4194304 4196468 140731306995024 139732287181584 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
[pid=21448/tid=21473] ppid=21424 vsize=8284072 memory=14008 CPUtime=943.36 cores=0-7
/proc/21448/task/21473/stat : 21473 (java) S 21424 21424 20843 0 -1 1077944384 11 463845 0 0 0 0 94223 113 20 0 22 0 512182025 8482889728 37461 33554432000 4194304 4196468 140731306995024 139729848754992 139733206973058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7196672 140731306996727 140731306996886 140731306996886 140731306999759 0
Current children cumulated CPU time: 966.31 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 150792 KiB

Child status: 0
Real time (s): 132.744
CPU time (s): 966.437
CPU user time (s): 964.299
CPU system time (s): 2.13848
CPU usage (%): 728.044
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4426568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 964.299
system time used= 2.13848
maximum resident set size= 4429820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17556
involuntary context switches= 8998


# summary of solver processes directly reported to runsolver:
#   pid: 21424
#   total CPU time (s): 966.437
#   total CPU user time (s): 964.299
#   total CPU system time (s): 2.13848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18142 second user time and 1.90372 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 23:07:14
IDJOB=4405630
IDBENCH=138939
IDSOLVER=2868
FILE ID=node139/4405630-1569359100
RUNJOBID= node139-1569356582-20870
PBS_JOBID= 21705103
Free space on /tmp= 5144 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405630-1569359100/watcher-4405630-1569359100 -o /tmp/evaluation-result-4405630-1569359100/solver-4405630-1569359100 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405630-1569359100.xml

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

MD5SUM BENCH= cc39eb921a5cd1c2fcd1d541ff73edd4
RANDOM SEED=2019614273

node139.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.57
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.57
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.57
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.57
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:        25410964 kB
MemAvailable:   31780624 kB
Buffers:          112468 kB
Cached:          6345080 kB
SwapCached:        64812 kB
Active:          3221876 kB
Inactive:        3305608 kB
Active(anon):       4620 kB
Inactive(anon):   120880 kB
Active(file):    3217256 kB
Inactive(file):  3184728 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941060 kB
Dirty:             20972 kB
Writeback:             0 kB
AnonPages:        187640 kB
Mapped:            57764 kB
Shmem:             47400 kB
Slab:             425536 kB
SReclaimable:     396136 kB
SUnreclaim:        29400 kB
KernelStack:        3712 kB
PageTables:         6216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5124 MiB
End job on node139 at 2019-09-24 23:09:27