Trace number 4392770

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-06-15)SAT 964.132 135.987

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-10271-serial-file.bin HOME/instance-4392770-1568442757.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: Sat Sep 14 08:31:48 CEST 2019
0.66/0.56	c PID: 10274
0.66/0.56	c IP: 172.20.3.132
0.66/0.56	c HOST: node132.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.71/1.05	c (0,0) Parsing End
1.71/1.06	c (0,0) CSP: 869 int (0 aux), 31 bool (0 aux), 2 ctr, max domain size 30
1.71/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.71/1.06	c (0,0) Constraint Name Generate Begin
1.71/1.07	c (0,0) Ctr:HOME/instance-4392770-1568442757.xml,AllDifferentMatrix:Instantiation:Var
1.71/1.07	c (0,0) Constraint Name Generate End
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) CSP to CSPinCNF Begin
1.71/1.10	c (0,0) translated 1 (10%) constraints
5.55/2.76	c (2,2) translated 2 (20%) constraints
5.55/2.79	c (2,2) ===========================================
6.19/2.93	c (2,2) Hybrid: #OE=375, #LE=525
6.19/2.93	c (2,2) Hybrid
6.19/2.93	c (2,2) ===========================================
8.17/3.40	c (2,2) translated 2855 (10%) constraints
8.91/3.72	c (3,3) translated 5709 (20%) constraints
9.28/4.04	c (3,3) translated 8564 (30%) constraints
9.57/4.34	c (3,3) translated 11418 (40%) constraints
9.87/4.66	c (4,4) translated 14273 (50%) constraints
10.31/4.95	c (4,4) translated 17127 (60%) constraints
10.65/5.21	c (4,4) translated 19982 (70%) constraints
10.86/5.47	c (4,4) translated 22836 (80%) constraints
11.17/5.77	c (5,5) translated 25691 (90%) constraints
11.38/6.00	c (5,5) translated 28545 (100%) constraints
11.52/6.01	c (5,5) CSP to CSPinCNF End
11.52/6.02	c (5,5) CSP: 869 int (0 aux), 27031 bool (27000 aux), 137070 ctr, max domain size 30
11.52/6.02	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.52/6.02	c (5,5) CSPinCNF Propagation Begin
14.85/8.19	c (7,7) 20656 values, 88712 unsatisfiable literals, and 92199 valid clauses are removed
14.85/8.19	c (7,7) CSPinCNF Propagation End
14.85/8.19	c (7,7) CSP: 868 int (0 aux), 27032 bool (27000 aux), 44871 ctr, max domain size 30
14.85/8.19	c (7,7) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.02/8.24	c (7,7) Hybrid: #OE=27375, #LE=525
15.02/8.24	c (7,7) Simplify CSPinCNF Begin
16.14/8.74	c (8,8) Simplify CSPinCNF End
16.14/8.76	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
16.14/8.76	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.14/8.76	c (8,8) Calculate Precise Domain Begin
16.14/8.76	c (8,8) 0 values are removed by re-calculation
16.14/8.76	c (8,8) Calculate Precise Domain End
16.14/8.77	c (8,8) CSP: 868 int (0 aux), 52650 bool (52618 aux), 70489 ctr, max domain size 30
16.14/8.77	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.14/8.77	c (8,8) CSPinCNF to SatSolver Begin
18.20/9.32	c (8,8) 7049 (10 %) CSP clauses are encoded (0 SAT variables, 28264 SAT clauses)
18.53/9.48	c (8,8) 14098 (20 %) CSP clauses are encoded (0 SAT variables, 48481 SAT clauses)
18.80/9.62	c (9,9) 21147 (30 %) CSP clauses are encoded (0 SAT variables, 70396 SAT clauses)
18.90/9.76	c (9,9) 28196 (40 %) CSP clauses are encoded (0 SAT variables, 91017 SAT clauses)
19.13/9.90	c (9,9) 35245 (50 %) CSP clauses are encoded (0 SAT variables, 112442 SAT clauses)
19.24/10.04	c (9,9) 42294 (60 %) CSP clauses are encoded (0 SAT variables, 134371 SAT clauses)
19.38/10.18	c (9,9) 49343 (70 %) CSP clauses are encoded (0 SAT variables, 157268 SAT clauses)
19.63/10.31	c (9,9) 56392 (80 %) CSP clauses are encoded (0 SAT variables, 178513 SAT clauses)
19.73/10.44	c (9,9) 63441 (90 %) CSP clauses are encoded (0 SAT variables, 198042 SAT clauses)
19.84/10.57	c (10,10) 70489 (100 %) CSP clauses are encoded (0 SAT variables, 219580 SAT clauses)
19.84/10.57	c (10,10) CSPinCNF to SatSolver End
19.84/10.57	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.84/10.57	c (10,10) 41617 bool, 219581 clause
19.84/10.57	c (10,10) Export Begin
20.18/10.71	c (10,10) Export to HOME/scop-10271-serial-file.bin
20.18/10.71	c (10,10) Export End
20.18/10.71	c (10,10) Export File Size: 0.15 MB
20.18/10.71	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.18/10.71	c END-Prog: Sat Sep 14 08:31:58 CEST 2019
20.18/10.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10271-serial-file.bin
20.86/11.21	c (0,0) Read Serial File Begin
20.86/11.21	c (0,0) HOME/scop-10271-serial-file.bin
21.15/11.47	c (0,0) Read Serial File End
21.15/11.48	
21.15/11.48	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.15/11.48	(Solving Process)
21.15/11.48	
21.46/11.50	c BEGIN-Prog: Sat Sep 14 08:31:59 CEST 2019
21.46/11.50	c PID: 10294
21.46/11.50	c IP: 172.20.3.132
21.46/11.50	c HOST: node132.alineos.net
21.46/11.51	c (0,0) SatSolver.solve Begin
21.46/11.51	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392770-1568442757.xml-scop-10274.cnf
21.46/11.53	c (0,0) c
21.46/11.53	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.46/11.53	c (0,0) c
21.46/11.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.46/11.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.46/11.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.46/11.53	c (0,0) c |                                                                                                       |
21.67/11.61	c (0,0) c |  Number of variables:         41617                                                                   |
21.67/11.61	c (0,0) c |  Number of clauses:          219581                                                                   |
21.67/11.61	c (0,0) c |  Parse time:                   0.08 s                                                                 |
21.67/11.61	c (0,0) c |                                                                                                       |
21.67/11.83	c (0,0) c |  Simplification time:          0.21 s                                                                 |
21.67/11.83	c (0,0) c |                                                                                                       |
21.67/11.83	c (0,0) c |  Generating clones                                                                                    |
21.67/11.95	c (0,0) c |  all clones generated. Memory =   206.18Mb.                                                           |
21.67/11.95	c (0,0) c ========================================================================================================|
21.67/11.95	c (0,0) c
21.67/11.95	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.67/11.95	c (0,0) c
21.67/11.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.67/11.95	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.67/11.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.67/11.95	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.67/11.95	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.67/11.95	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.67/11.95	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.67/11.95	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.67/11.95	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.67/11.95	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.67/11.95	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.67/11.95	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.67/11.95	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.67/11.95	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.67/11.95	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.67/11.95	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.67/11.95	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.67/11.95	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.67/11.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
253.17/41.06	c (29,0) c
253.17/41.06	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
253.17/41.06	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
253.17/41.06	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
253.17/41.06	c (29,0) c |  0 |    482 |     253869 |      32242 |    58420 |    15875 |     6424 |    41071 |     2840 |      132 |  20 |  5.873 |
253.17/41.06	c (29,0) c |  1 |    531 |     270598 |      34861 |    59608 |    18495 |     6807 |    43270 |     3279 |      144 |  20 |  5.882 |
253.17/41.06	c (29,0) c |  2 |    510 |     263231 |      34075 |    59624 |    17696 |     6655 |    42960 |     3118 |      141 |  20 |  5.882 |
253.17/41.06	c (29,0) c |  3 |    513 |     271828 |      34898 |    60161 |    18515 |     6698 |    44124 |     3354 |      146 |  20 |  5.882 |
253.17/41.06	c (29,0) c |  4 |    542 |     271505 |      36470 |    60400 |    10281 |     7135 |    44956 |     3437 |      152 |  20 |  5.889 |
253.17/41.06	c (29,0) c |  5 |    520 |     273605 |      36456 |    60628 |    10270 |     7026 |    45075 |     3461 |      152 |  20 |  5.885 |
253.17/41.06	c (29,0) c |  6 |    556 |     273306 |      36675 |    60647 |    10489 |     6962 |    45098 |     3458 |      152 |  20 |  5.887 |
253.17/41.06	c (29,0) c |  7 |    547 |     282703 |      36179 |    60339 |     9997 |     6986 |    44834 |     3407 |      151 |  20 |  5.885 |
253.17/41.06	c (29,0) c 
253.17/41.06	c (29,0) c synthesis      281856 conflicts   337501589 propagations     1218 conflicts/sec  1458913 propagations/sec
253.17/41.06	c (29,0) c real: 29.5282 s, cpu: 231.338 s, memory: 776.98 Mb
483.55/71.06	c (59,0) c
483.55/71.06	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
483.55/71.06	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
483.55/71.06	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
483.55/71.06	c (59,0) c |  0 |    858 |     342153 |      61729 |    69648 |    23141 |    10404 |    68284 |     5982 |      280 |  20 |  5.937 |
483.55/71.06	c (59,0) c |  1 |    938 |     359881 |      65257 |    70482 |    26670 |    10732 |    71932 |     6548 |      297 |  20 |  5.937 |
483.55/71.06	c (59,0) c |  2 |    962 |     363719 |      64960 |    70701 |    26373 |    10727 |    72124 |     6437 |      298 |  20 |  5.937 |
483.55/71.06	c (59,0) c |  3 |    946 |     367743 |      64982 |    70828 |    26390 |    10599 |    72396 |     6544 |      300 |  20 |  5.937 |
483.55/71.06	c (59,0) c |  4 |    947 |     359877 |      65733 |    70361 |    27139 |    10914 |    72102 |     6529 |      300 |  20 |  5.937 |
483.55/71.06	c (59,0) c |  5 |    916 |     362092 |      65285 |    70831 |    26691 |    10734 |    72414 |     6471 |      300 |  20 |  5.940 |
483.55/71.06	c (59,0) c |  6 |    968 |     366704 |      65844 |    71008 |    27249 |    10735 |    72282 |     6580 |      300 |  20 |  5.937 |
483.55/71.06	c (59,0) c |  7 |    951 |     371845 |      65528 |    70476 |    26938 |    10790 |    72366 |     6560 |      300 |  20 |  5.937 |
483.55/71.06	c (59,0) c 
483.55/71.06	c (59,0) c synthesis      519318 conflicts   604434485 propagations     1125 conflicts/sec  1309671 propagations/sec
483.55/71.06	c (59,0) c real: 59.5282 s, cpu: 461.516 s, memory: 776.98 Mb
705.75/100.06	c (88,0) c
705.75/100.06	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
705.75/100.06	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
705.75/100.06	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
705.75/100.06	c (88,0) c |  0 |   1136 |     407247 |      87421 |    75568 |    33829 |    13383 |    90090 |     8664 |      419 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  1 |   1199 |     421539 |      91215 |    76487 |    20022 |    13667 |    92744 |     9112 |      439 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  2 |   1254 |     431773 |      90790 |    76600 |    19600 |    13710 |    92700 |     8957 |      439 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  3 |   1266 |     438144 |      90311 |    76562 |    19117 |    13429 |    93010 |     9177 |      439 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  4 |   1246 |     426142 |      90909 |    76197 |    19713 |    13701 |    92456 |     9126 |      438 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  5 |   1196 |     425055 |      89675 |    76327 |    18481 |    13538 |    92011 |     8971 |      434 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  6 |   1269 |     433977 |      91433 |    76506 |    20235 |    13590 |    92730 |     9095 |      439 |  20 |  5.949 |
705.75/100.06	c (88,0) c |  7 |   1250 |     438610 |      91277 |    76271 |    20079 |    13737 |    92576 |     9037 |      439 |  20 |  5.949 |
705.75/100.06	c (88,0) c 
705.75/100.06	c (88,0) c synthesis      723032 conflicts   836880413 propagations     1058 conflicts/sec  1224306 propagations/sec
705.75/100.06	c (88,0) c real: 88.5282 s, cpu: 683.555 s, memory: 776.98 Mb
927.04/129.06	c (117,0) c
927.04/129.06	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
927.04/129.06	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
927.04/129.06	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
927.04/129.06	c (117,0) c |  0 |   1367 |     461825 |     111415 |    79871 |    40218 |    15734 |   107348 |    11027 |      557 |  20 |  5.952 |
927.04/129.06	c (117,0) c |  1 |   1451 |     479769 |     115360 |    80477 |    23967 |    16001 |   109991 |    11491 |      577 |  20 |  5.957 |
927.04/129.06	c (117,0) c |  2 |   1496 |     489216 |     114946 |    80678 |    23551 |    16108 |   110120 |    11239 |      577 |  20 |  5.957 |
927.04/129.06	c (117,0) c |  3 |   1501 |     496005 |     114686 |    80660 |    23293 |    16077 |   110106 |    11413 |      577 |  20 |  5.957 |
927.04/129.06	c (117,0) c |  4 |   1443 |     477686 |     115047 |    80182 |    23651 |    16122 |   108693 |    11369 |      577 |  20 |  5.954 |
927.04/129.06	c (117,0) c |  5 |   1413 |     479393 |     114465 |    80464 |    23071 |    16016 |   110117 |    11261 |      576 |  20 |  5.957 |
927.04/129.06	c (117,0) c |  6 |   1507 |     493257 |     115968 |    80684 |    24570 |    16204 |   109892 |    11399 |      577 |  20 |  5.957 |
927.04/129.06	c (117,0) c |  7 |   1497 |     498095 |     115563 |    80333 |    24170 |    16208 |   109583 |    11410 |      577 |  20 |  5.954 |
927.04/129.06	c (117,0) c 
927.04/129.06	c (117,0) c synthesis      917451 conflicts  1060687341 propagations     1014 conflicts/sec  1172571 propagations/sec
927.04/129.06	c (117,0) c real: 117.528 s, cpu: 904.583 s, memory: 776.98 Mb
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c real time : 124.14 s
963.29/135.67	c (124,0) c cpu time  : 940.498 s
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c | Conflicts     |          951141 |     118643 |     119147 |     118674 |     118421 |     118540 |     118509 |     119863 |     119344 |
963.29/135.67	c (124,0) c | Decisions     |         3948857 |     474718 |     488738 |     499541 |     504299 |     482993 |     489349 |     502517 |     506702 |
963.29/135.67	c (124,0) c | Propagations  |      1099726184 |  137189306 |  137835669 |  137454775 |  137358138 |  136378052 |  137130072 |  137671700 |  138708472 |
963.29/135.67	c (124,0) c | ReduceDBs     |              72 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |
963.29/135.67	c (124,0) c | SimpDBs       |             637 |         82 |         79 |         80 |         80 |         80 |         77 |         79 |         80 |
963.29/135.67	c (124,0) c | Restarts      |           11970 |       1408 |       1491 |       1542 |       1536 |       1455 |       1458 |       1547 |       1533 |
963.29/135.67	c (124,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
963.29/135.67	c (124,0) c | PropBinClauses|      3255815564 |  406716255 |  406701537 |  407260722 |  406688284 |  405164108 |  406347581 |  408176973 |  408760104 |
963.29/135.67	c (124,0) c | PropPreBlocker|     16172896920 | 2018803053 | 2020564629 | 2021912461 | 2022975583 | 2015065570 | 2020902475 | 2026219936 | 2026453213 |
963.29/135.67	c (124,0) c | PropNotBlocker|      4239392615 |  527608758 |  530847316 |  530089521 |  528938778 |  529702532 |  531250944 |  528771103 |  532183663 |
963.29/135.67	c (124,0) c | LitFullScans  |     28737154181 | 3588771796 | 3592898482 | 3591087354 | 3589637988 | 3592220937 | 3592564716 | 3595318067 | 3594654841 |
963.29/135.67	c (124,0) c | LitScanFracts |         9493892 |     768474 |     983810 |     435237 |     289954 |    1244231 |    2040906 |    1272849 |    2458431 |
963.29/135.67	c (124,0) c | DecisionLevel0|           22479 |       2715 |       2763 |       2863 |       2838 |       2779 |       2767 |       2901 |       2853 |
963.29/135.67	c (124,0) c | Periods       |            4785 |        598 |        598 |        598 |        598 |        598 |        598 |        599 |        598 |
963.29/135.67	c (124,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
963.29/135.67	c (124,0) c | Avg_Trail     |                 |       9152 |       9122 |       9153 |       9199 |       9121 |       9141 |       9153 |       9132 |
963.29/135.67	c (124,0) c | Avg_DL        |                 |         73 |         75 |         80 |         79 |         74 |         75 |         79 |         78 |
963.29/135.67	c (124,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
963.29/135.67	c (124,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c | Exported      |          131743 |      16442 |      16371 |      16501 |      16415 |      16436 |      16459 |      16556 |      16563 |
963.29/135.67	c (124,0) c | Imported      |          901434 |     112705 |     112633 |     112759 |     112669 |     112625 |     112723 |     112662 |     112658 |
963.29/135.67	c (124,0) c | Good          |           63584 |       7956 |       7921 |       7916 |       8025 |       7924 |       7934 |       8015 |       7893 |
963.29/135.67	c (124,0) c | Purge         |          837850 |     104749 |     104712 |     104843 |     104644 |     104701 |     104789 |     104647 |     104765 |
963.29/135.67	c (124,0) c | Promoted      |           93167 |      11523 |      11829 |      11551 |      11689 |      11553 |      11595 |      11705 |      11722 |
963.29/135.67	c (124,0) c | Remove_Imp    |          537545 |      66682 |      67208 |      67487 |      67603 |      67385 |      67787 |      66793 |      66600 |
963.29/135.67	c (124,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c | Unaries       |                 |       1307 |       1272 |       1321 |       1302 |       1324 |       1309 |       1354 |       1320 |
963.29/135.67	c (124,0) c | Binaries      |                 |       1130 |       1163 |       1170 |       1059 |       1162 |       1150 |       1072 |       1194 |
963.29/135.67	c (124,0) c | Glues         |                 |       2332 |       2362 |       2346 |       2219 |       2378 |       2312 |       2248 |       2405 |
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c | Orig_Seen     |            49 % |      80769 |      81116 |      81256 |      81207 |      80549 |      81070 |      81255 |      80850 |
963.29/135.67	c (124,0) c | Diff Orig seen|                 | -      438 | -       91 |         49 |      X     | -      658 | -      137 |         48 | -      357 |
963.29/135.67	c (124,0) c | Hamming       |            12 % |       4939 |       5395 |       5078 |      X     |       5034 |       5435 |       5459 |       4974 |
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c | RunningTime   |                 |  123.6 100%|  119.5  98%|  116.7  96%|  116.5  96%|  117.8  97%|  119.2  98%|  115.2  95%|  115.8  95%|
963.29/135.67	c (124,0) c | WaitingTime   |                 |    0.0   0%|    2.0   2%|    4.7   4%|    4.9   4%|    3.7   3%|    2.3   2%|    6.3   5%|    5.7   5%|
963.29/135.67	c (124,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%|
963.29/135.67	c (124,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%|
963.29/135.67	c (124,0) c | SolvingTime   |                 |  123.7     |  121.6     |  121.5     |  121.5     |  121.5     |  121.5     |  121.6     |  121.6     |
963.29/135.67	c (124,0) c | PropagationTim|                 |  105.9  86%|  105.7  87%|  106.1  87%|  104.5  86%|  105.4  87%|  104.5  86%|  104.0  86%|  105.7  87%|
963.29/135.67	c (124,0) c | AnalysisTime  |                 |   13.4  11%|   11.4   9%|   11.0   9%|   12.4  10%|   11.5   9%|   12.5  10%|   13.0  11%|   11.2   9%|
963.29/135.67	c (124,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%|
963.29/135.67	c (124,0) c | SimplifyTime  |                 |    0.6   0%|    0.6   0%|    0.6   0%|    0.7   1%|    0.7   1%|    0.6   1%|    0.8   1%|    0.7   1%|
963.29/135.67	c (124,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%|
963.29/135.67	c (124,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%|
963.29/135.67	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c
963.29/135.67	c (124,0) c Threads : 8
963.29/135.67	c (124,0) c Winner : 3
963.29/135.67	c (124,0) c Conflicts_0 : 118643
963.29/135.67	c (124,0) c Conflicts_1 : 119147
963.29/135.67	c (124,0) c Conflicts_2 : 118674
963.29/135.67	c (124,0) c Conflicts_3 : 118421
963.29/135.67	c (124,0) c Conflicts_4 : 118540
963.29/135.67	c (124,0) c Conflicts_5 : 118509
963.29/135.67	c (124,0) c Conflicts_6 : 119863
963.29/135.67	c (124,0) c Conflicts_7 : 119344
963.29/135.67	c (124,0) c Conflicts_total : 951141
963.29/135.67	c (124,0) c Conflicts_winner : 118421
963.29/135.67	c (124,0) c Decisions_0 : 474718
963.29/135.67	c (124,0) c Decisions_1 : 488738
963.29/135.67	c (124,0) c Decisions_2 : 499541
963.29/135.67	c (124,0) c Decisions_3 : 504299
963.29/135.67	c (124,0) c Decisions_4 : 482993
963.29/135.67	c (124,0) c Decisions_5 : 489349
963.29/135.67	c (124,0) c Decisions_6 : 502517
963.29/135.67	c (124,0) c Decisions_7 : 506702
963.29/135.67	c (124,0) c Decisions_total : 3948857
963.29/135.67	c (124,0) c Decisions_winner : 504299
963.29/135.67	c (124,0) c Propagations_0 : 137189306
963.29/135.67	c (124,0) c Propagations_1 : 137835669
963.29/135.67	c (124,0) c Propagations_2 : 137454775
963.29/135.67	c (124,0) c Propagations_3 : 137358138
963.29/135.67	c (124,0) c Propagations_4 : 136378052
963.29/135.67	c (124,0) c Propagations_5 : 137130072
963.29/135.67	c (124,0) c Propagations_6 : 137671700
963.29/135.67	c (124,0) c Propagations_7 : 138708472
963.29/135.67	c (124,0) c Propagations_total : 1099726184
963.29/135.67	c (124,0) c Propagations_winner : 137358138
963.29/135.67	c (124,0) c ReduceDBs_0 : 9
963.29/135.67	c (124,0) c ReduceDBs_1 : 9
963.29/135.67	c (124,0) c ReduceDBs_2 : 9
963.29/135.67	c (124,0) c ReduceDBs_3 : 9
963.29/135.67	c (124,0) c ReduceDBs_4 : 9
963.29/135.67	c (124,0) c ReduceDBs_5 : 9
963.29/135.67	c (124,0) c ReduceDBs_6 : 9
963.29/135.67	c (124,0) c ReduceDBs_7 : 9
963.29/135.67	c (124,0) c ReduceDBs_total : 72
963.29/135.67	c (124,0) c ReduceDBs_winner : 9
963.29/135.67	c (124,0) c SimpDBs_0 : 82
963.29/135.67	c (124,0) c SimpDBs_1 : 79
963.29/135.67	c (124,0) c SimpDBs_2 : 80
963.29/135.67	c (124,0) c SimpDBs_3 : 80
963.29/135.67	c (124,0) c SimpDBs_4 : 80
963.29/135.67	c (124,0) c SimpDBs_5 : 77
963.29/135.67	c (124,0) c SimpDBs_6 : 79
963.29/135.67	c (124,0) c SimpDBs_7 : 80
963.29/135.67	c (124,0) c SimpDBs_total : 637
963.29/135.67	c (124,0) c SimpDBs_winner : 80
963.29/135.67	c (124,0) c Restarts_0 : 1408
963.29/135.67	c (124,0) c Restarts_1 : 1491
963.29/135.67	c (124,0) c Restarts_2 : 1542
963.29/135.67	c (124,0) c Restarts_3 : 1536
963.29/135.67	c (124,0) c Restarts_4 : 1455
963.29/135.67	c (124,0) c Restarts_5 : 1458
963.29/135.67	c (124,0) c Restarts_6 : 1547
963.29/135.67	c (124,0) c Restarts_7 : 1533
963.29/135.67	c (124,0) c Restarts_total : 11970
963.29/135.67	c (124,0) c Restarts_winner : 1536
963.29/135.67	c (124,0) c ForcedImports_0 : 0
963.29/135.67	c (124,0) c ForcedImports_1 : 0
963.29/135.67	c (124,0) c ForcedImports_2 : 0
963.29/135.67	c (124,0) c ForcedImports_3 : 0
963.29/135.67	c (124,0) c ForcedImports_4 : 0
963.29/135.67	c (124,0) c ForcedImports_5 : 0
963.29/135.67	c (124,0) c ForcedImports_6 : 0
963.29/135.67	c (124,0) c ForcedImports_7 : 0
963.29/135.67	c (124,0) c ForcedImports_total : 0
963.29/135.67	c (124,0) c ForcedImports_winner : 0
963.29/135.67	c (124,0) c PropsBinClauses_0 : 406716255
963.29/135.67	c (124,0) c PropsBinClauses_1 : 406701537
963.29/135.67	c (124,0) c PropsBinClauses_2 : 407260722
963.29/135.67	c (124,0) c PropsBinClauses_3 : 406688284
963.29/135.67	c (124,0) c PropsBinClauses_4 : 405164108
963.29/135.67	c (124,0) c PropsBinClauses_5 : 406347581
963.29/135.67	c (124,0) c PropsBinClauses_6 : 408176973
963.29/135.67	c (124,0) c PropsBinClauses_7 : 408760104
963.29/135.67	c (124,0) c PropsBinClauses_total : 3255815564
963.29/135.67	c (124,0) c PropsBinClauses_winner : 406688284
963.29/135.67	c (124,0) c PropsPreBlocker_0 : 2018803053
963.29/135.67	c (124,0) c PropsPreBlocker_1 : 2020564629
963.29/135.67	c (124,0) c PropsPreBlocker_2 : 2021912461
963.29/135.68	c (124,0) c PropsPreBlocker_3 : 2022975583
963.29/135.68	c (124,0) c PropsPreBlocker_4 : 2015065570
963.29/135.68	c (124,0) c PropsPreBlocker_5 : 2020902475
963.29/135.68	c (124,0) c PropsPreBlocker_6 : 2026219936
963.29/135.68	c (124,0) c PropsPreBlocker_7 : 2026453213
963.29/135.68	c (124,0) c PropsPreBlocker_total : 16172896920
963.29/135.68	c (124,0) c PropsPreBlocker_winner : 2022975583
963.29/135.68	c (124,0) c PropsNotBlocker_0 : 527608758
963.29/135.68	c (124,0) c PropsNotBlocker_1 : 530847316
963.29/135.68	c (124,0) c PropsNotBlocker_2 : 530089521
963.29/135.68	c (124,0) c PropsNotBlocker_3 : 528938778
963.29/135.68	c (124,0) c PropsNotBlocker_4 : 529702532
963.29/135.68	c (124,0) c PropsNotBlocker_5 : 531250944
963.29/135.68	c (124,0) c PropsNotBlocker_6 : 528771103
963.29/135.68	c (124,0) c PropsNotBlocker_7 : 532183663
963.29/135.68	c (124,0) c PropsNotBlocker_total : 4239392615
963.29/135.68	c (124,0) c PropsNotBlocker_winner : 528938778
963.29/135.68	c (124,0) c PropsLitFullScans_0 : 3588771796
963.29/135.68	c (124,0) c PropsLitFullScans_1 : 3592898482
963.29/135.68	c (124,0) c PropsLitFullScans_2 : 3591087354
963.29/135.68	c (124,0) c PropsLitFullScans_3 : 3589637988
963.29/135.68	c (124,0) c PropsLitFullScans_4 : 3592220937
963.29/135.68	c (124,0) c PropsLitFullScans_5 : 3592564716
963.29/135.68	c (124,0) c PropsLitFullScans_6 : 3595318067
963.29/135.68	c (124,0) c PropsLitFullScans_7 : 3594654841
963.29/135.68	c (124,0) c PropsLitFullScans_total : 28737154181
963.29/135.68	c (124,0) c PropsLitFullScans_winner : 3589637988
963.29/135.68	c (124,0) c LitScanFractions_0 : 768474
963.29/135.68	c (124,0) c LitScanFractions_1 : 983810
963.29/135.68	c (124,0) c LitScanFractions_2 : 435237
963.29/135.68	c (124,0) c LitScanFractions_3 : 289954
963.29/135.68	c (124,0) c LitScanFractions_4 : 1244231
963.29/135.68	c (124,0) c LitScanFractions_5 : 2040906
963.29/135.68	c (124,0) c LitScanFractions_6 : 1272849
963.29/135.68	c (124,0) c LitScanFractions_7 : 2458431
963.29/135.68	c (124,0) c LitScanFractions_total : 9493892
963.29/135.68	c (124,0) c LitScanFractions_winner : 289954
963.29/135.68	c (124,0) c DecisionLevel0_0 : 2715
963.29/135.68	c (124,0) c DecisionLevel0_1 : 2763
963.29/135.68	c (124,0) c DecisionLevel0_2 : 2863
963.29/135.68	c (124,0) c DecisionLevel0_3 : 2838
963.29/135.68	c (124,0) c DecisionLevel0_4 : 2779
963.29/135.68	c (124,0) c DecisionLevel0_5 : 2767
963.29/135.68	c (124,0) c DecisionLevel0_6 : 2901
963.29/135.68	c (124,0) c DecisionLevel0_7 : 2853
963.29/135.68	c (124,0) c DecisionLevel0_total : 22479
963.29/135.68	c (124,0) c DecisionLevel0_winner : 2838
963.29/135.68	c (124,0) c Periods_0 : 598
963.29/135.68	c (124,0) c Periods_1 : 598
963.29/135.68	c (124,0) c Periods_2 : 598
963.29/135.68	c (124,0) c Periods_3 : 598
963.29/135.68	c (124,0) c Periods_4 : 598
963.29/135.68	c (124,0) c Periods_5 : 598
963.29/135.68	c (124,0) c Periods_6 : 599
963.29/135.68	c (124,0) c Periods_7 : 598
963.29/135.68	c (124,0) c Periods_total : 4785
963.29/135.68	c (124,0) c Periods_winner : 598
963.29/135.68	c (124,0) c Margin_0 : 20
963.29/135.68	c (124,0) c Margin_1 : 20
963.29/135.68	c (124,0) c Margin_2 : 20
963.29/135.68	c (124,0) c Margin_3 : 20
963.29/135.68	c (124,0) c Margin_4 : 20
963.29/135.68	c (124,0) c Margin_5 : 20
963.29/135.68	c (124,0) c Margin_6 : 20
963.29/135.68	c (124,0) c Margin_7 : 20
963.29/135.68	c (124,0) c Margin_total : 160
963.29/135.68	c (124,0) c Margin_winner : 20
963.29/135.68	c (124,0) c Exported_0 : 16442
963.29/135.68	c (124,0) c Exported_1 : 16371
963.29/135.68	c (124,0) c Exported_2 : 16501
963.29/135.68	c (124,0) c Exported_3 : 16415
963.29/135.68	c (124,0) c Exported_4 : 16436
963.29/135.68	c (124,0) c Exported_5 : 16459
963.29/135.68	c (124,0) c Exported_6 : 16556
963.29/135.68	c (124,0) c Exported_7 : 16563
963.29/135.68	c (124,0) c Exported_total : 131743
963.29/135.68	c (124,0) c Exported_winner : 16415
963.29/135.68	c (124,0) c Imported_0 : 112705
963.29/135.68	c (124,0) c Imported_1 : 112633
963.29/135.68	c (124,0) c Imported_2 : 112759
963.29/135.68	c (124,0) c Imported_3 : 112669
963.29/135.68	c (124,0) c Imported_4 : 112625
963.29/135.68	c (124,0) c Imported_5 : 112723
963.29/135.68	c (124,0) c Imported_6 : 112662
963.29/135.68	c (124,0) c Imported_7 : 112658
963.29/135.68	c (124,0) c Imported_total : 901434
963.29/135.68	c (124,0) c Imported_winner : 112669
963.29/135.68	c (124,0) c Good_0 : 7956
963.29/135.68	c (124,0) c Good_1 : 7921
963.29/135.68	c (124,0) c Good_2 : 7916
963.29/135.68	c (124,0) c Good_3 : 8025
963.29/135.68	c (124,0) c Good_4 : 7924
963.29/135.68	c (124,0) c Good_5 : 7934
963.29/135.68	c (124,0) c Good_6 : 8015
963.29/135.68	c (124,0) c Good_7 : 7893
963.29/135.68	c (124,0) c Good_total : 63584
963.29/135.68	c (124,0) c Good_winner : 8025
963.29/135.68	c (124,0) c Purge_0 : 104749
963.29/135.68	c (124,0) c Purge_1 : 104712
963.29/135.68	c (124,0) c Purge_2 : 104843
963.29/135.68	c (124,0) c Purge_3 : 104644
963.29/135.68	c (124,0) c Purge_4 : 104701
963.29/135.68	c (124,0) c Purge_5 : 104789
963.29/135.68	c (124,0) c Purge_6 : 104647
963.29/135.68	c (124,0) c Purge_7 : 104765
963.29/135.68	c (124,0) c Purge_total : 837850
963.29/135.68	c (124,0) c Purge_winner : 104644
963.29/135.68	c (124,0) c Promoted_0 : 11523
963.29/135.68	c (124,0) c Promoted_1 : 11829
963.29/135.68	c (124,0) c Promoted_2 : 11551
963.29/135.68	c (124,0) c Promoted_3 : 11689
963.29/135.68	c (124,0) c Promoted_4 : 11553
963.29/135.68	c (124,0) c Promoted_5 : 11595
963.29/135.68	c (124,0) c Promoted_6 : 11705
963.29/135.68	c (124,0) c Promoted_7 : 11722
963.29/135.68	c (124,0) c Promoted_total : 93167
963.29/135.68	c (124,0) c Promoted_winner : 11689
963.29/135.68	c (124,0) c Remove_Imp_0 : 66682
963.29/135.68	c (124,0) c Remove_Imp_1 : 67208
963.29/135.68	c (124,0) c Remove_Imp_2 : 67487
963.29/135.68	c (124,0) c Remove_Imp_3 : 67603
963.29/135.68	c (124,0) c Remove_Imp_4 : 67385
963.29/135.68	c (124,0) c Remove_Imp_5 : 67787
963.29/135.68	c (124,0) c Remove_Imp_6 : 66793
963.29/135.68	c (124,0) c Remove_Imp_7 : 66600
963.29/135.68	c (124,0) c Remove_Imp_total : 537545
963.29/135.68	c (124,0) c Remove_Imp_winner : 67603
963.29/135.68	c (124,0) c Blocked_Reuse_0 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_1 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_2 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_3 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_4 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_5 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_6 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_7 : 0
963.29/135.68	c (124,0) c Blocked_Reuse_total : 0
963.29/135.68	c (124,0) c Blocked_Reuse_winner : 0
963.29/135.68	c (124,0) c Unaries_0 : 1307
963.29/135.68	c (124,0) c Unaries_1 : 1272
963.29/135.68	c (124,0) c Unaries_2 : 1321
963.29/135.68	c (124,0) c Unaries_3 : 1302
963.29/135.68	c (124,0) c Unaries_4 : 1324
963.29/135.68	c (124,0) c Unaries_5 : 1309
963.29/135.68	c (124,0) c Unaries_6 : 1354
963.29/135.68	c (124,0) c Unaries_7 : 1320
963.29/135.68	c (124,0) c Unaries_total : 10509
963.29/135.68	c (124,0) c Unaries_winner : 1302
963.29/135.68	c (124,0) c Binaries_0 : 1130
963.29/135.68	c (124,0) c Binaries_1 : 1163
963.29/135.68	c (124,0) c Binaries_2 : 1170
963.29/135.68	c (124,0) c Binaries_3 : 1059
963.29/135.68	c (124,0) c Binaries_4 : 1162
963.29/135.68	c (124,0) c Binaries_5 : 1150
963.29/135.68	c (124,0) c Binaries_6 : 1072
963.29/135.68	c (124,0) c Binaries_7 : 1194
963.29/135.68	c (124,0) c Binaries_total : 9100
963.29/135.68	c (124,0) c Binaries_winner : 1059
963.29/135.68	c (124,0) c Glues_0 : 2332
963.29/135.68	c (124,0) c Glues_1 : 2362
963.29/135.68	c (124,0) c Glues_2 : 2346
963.29/135.68	c (124,0) c Glues_3 : 2219
963.29/135.68	c (124,0) c Glues_4 : 2378
963.29/135.68	c (124,0) c Glues_5 : 2312
963.29/135.68	c (124,0) c Glues_6 : 2248
963.29/135.68	c (124,0) c Glues_7 : 2405
963.29/135.68	c (124,0) c Glues_total : 18602
963.29/135.68	c (124,0) c Glues_winner : 2219
963.29/135.68	c (124,0) c RunningTime_0 : 123.625220
963.29/135.68	c (124,0) c RunningTime_1 : 119.455550
963.29/135.68	c (124,0) c RunningTime_2 : 116.718785
963.29/135.68	c (124,0) c RunningTime_3 : 116.518547
963.29/135.68	c (124,0) c RunningTime_4 : 117.781584
963.29/135.68	c (124,0) c RunningTime_5 : 119.189999
963.29/135.68	c (124,0) c RunningTime_6 : 115.226231
963.29/135.68	c (124,0) c RunningTime_7 : 115.828514
963.29/135.68	c (124,0) c RunningTime_total : 944.344430
963.29/135.68	c (124,0) c RunningTime_winner : 116.518547
963.29/135.68	c (124,0) c WaitingTime_0 : 0.000641
963.29/135.68	c (124,0) c WaitingTime_1 : 2.041013
963.29/135.68	c (124,0) c WaitingTime_2 : 4.719380
963.29/135.68	c (124,0) c WaitingTime_3 : 4.906085
963.29/135.68	c (124,0) c WaitingTime_4 : 3.685992
963.29/135.68	c (124,0) c WaitingTime_5 : 2.254719
963.29/135.68	c (124,0) c WaitingTime_6 : 6.282866
963.29/135.68	c (124,0) c WaitingTime_7 : 5.655923
963.29/135.68	c (124,0) c WaitingTime_total : 29.546621
963.29/135.68	c (124,0) c WaitingTime_winner : 4.906085
963.29/135.68	c (124,0) c ExchangingTime_0 : 0.063376
963.29/135.68	c (124,0) c ExchangingTime_1 : 0.067453
963.29/135.68	c (124,0) c ExchangingTime_2 : 0.063910
963.29/135.68	c (124,0) c ExchangingTime_3 : 0.070388
963.29/135.68	c (124,0) c ExchangingTime_4 : 0.067605
963.29/135.68	c (124,0) c ExchangingTime_5 : 0.063181
963.29/135.68	c (124,0) c ExchangingTime_6 : 0.068610
963.29/135.68	c (124,0) c ExchangingTime_7 : 0.060865
963.29/135.68	c (124,0) c ExchangingTime_total : 0.525388
963.29/135.68	c (124,0) c ExchangingTime_winner : 0.070388
963.29/135.68	c (124,0) c PeriodProcTime_0 : 0.009868
963.29/135.68	c (124,0) c PeriodProcTime_1 : 0.004790
963.29/135.68	c (124,0) c PeriodProcTime_2 : 0.004927
963.29/135.68	c (124,0) c PeriodProcTime_3 : 0.005794
963.29/135.68	c (124,0) c PeriodProcTime_4 : 0.004786
963.29/135.68	c (124,0) c PeriodProcTime_5 : 0.005705
963.29/135.68	c (124,0) c PeriodProcTime_6 : 0.004636
963.29/135.68	c (124,0) c PeriodProcTime_7 : 0.005517
963.29/135.68	c (124,0) c PeriodProcTime_total : 0.046024
963.29/135.68	c (124,0) c PeriodProcTime_winner : 0.005794
963.29/135.68	c (124,0) c SolvingTime_0 : 123.699106
963.29/135.68	c (124,0) c SolvingTime_1 : 121.568806
963.29/135.68	c (124,0) c SolvingTime_2 : 121.507002
963.29/135.68	c (124,0) c SolvingTime_3 : 121.500815
963.29/135.68	c (124,0) c SolvingTime_4 : 121.539967
963.29/135.68	c (124,0) c SolvingTime_5 : 121.513605
963.29/135.68	c (124,0) c SolvingTime_6 : 121.582343
963.29/135.68	c (124,0) c SolvingTime_7 : 121.550819
963.29/135.68	c (124,0) c SolvingTime_total : 974.462462
963.29/135.68	c (124,0) c SolvingTime_winner : 121.500815
963.29/135.68	c (124,0) c PropagationTime_0 : 105.893023
963.29/135.68	c (124,0) c PropagationTime_1 : 105.725973
963.29/135.68	c (124,0) c PropagationTime_2 : 106.056640
963.29/135.68	c (124,0) c PropagationTime_3 : 104.523919
963.29/135.68	c (124,0) c PropagationTime_4 : 105.436196
963.29/135.68	c (124,0) c PropagationTime_5 : 104.452972
963.29/135.68	c (124,0) c PropagationTime_6 : 103.957022
963.29/135.68	c (124,0) c PropagationTime_7 : 105.719071
963.29/135.68	c (124,0) c PropagationTime_total : 841.764817
963.29/135.68	c (124,0) c PropagationTime_winner : 104.523919
963.29/135.68	c (124,0) c AnalysisTime_0 : 13.419807
963.29/135.68	c (124,0) c AnalysisTime_1 : 11.398489
963.29/135.68	c (124,0) c AnalysisTime_2 : 11.033405
963.29/135.68	c (124,0) c AnalysisTime_3 : 12.432568
963.29/135.68	c (124,0) c AnalysisTime_4 : 11.454928
963.29/135.68	c (124,0) c AnalysisTime_5 : 12.462892
963.29/135.68	c (124,0) c AnalysisTime_6 : 13.008246
963.29/135.68	c (124,0) c AnalysisTime_7 : 11.243591
963.29/135.68	c (124,0) c AnalysisTime_total : 96.453926
963.29/135.68	c (124,0) c AnalysisTime_winner : 12.432568
963.29/135.68	c (124,0) c ReductionTime_0 : 0.298351
963.29/135.68	c (124,0) c ReductionTime_1 : 0.304297
963.29/135.68	c (124,0) c ReductionTime_2 : 0.286427
963.29/135.68	c (124,0) c ReductionTime_3 : 0.299268
963.29/135.68	c (124,0) c ReductionTime_4 : 0.309287
963.29/135.68	c (124,0) c ReductionTime_5 : 0.308853
963.29/135.68	c (124,0) c ReductionTime_6 : 0.296903
963.29/135.68	c (124,0) c ReductionTime_7 : 0.303776
963.29/135.68	c (124,0) c ReductionTime_total : 2.407162
963.29/135.68	c (124,0) c ReductionTime_winner : 0.299268
963.29/135.68	c (124,0) c SimplifyTime_0 : 0.563561
963.29/135.68	c (124,0) c SimplifyTime_1 : 0.559906
963.29/135.68	c (124,0) c SimplifyTime_2 : 0.570504
963.29/135.68	c (124,0) c SimplifyTime_3 : 0.651092
963.29/135.68	c (124,0) c SimplifyTime_4 : 0.708661
963.29/135.68	c (124,0) c SimplifyTime_5 : 0.627712
963.29/135.68	c (124,0) c SimplifyTime_6 : 0.770024
963.29/135.68	c (124,0) c SimplifyTime_7 : 0.682214
963.29/135.68	c (124,0) c SimplifyTime_total : 5.133674
963.29/135.68	c (124,0) c SimplifyTime_winner : 0.651092
963.29/135.68	c (124,0) c UsedRateTime_0 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_1 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_2 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_3 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_4 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_5 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_6 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_7 : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_total : 0.000000
963.29/135.68	c (124,0) c UsedRateTime_winner : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_0 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_1 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_2 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_3 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_4 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_5 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_6 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_7 : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_total : 0.000000
963.29/135.68	c (124,0) c OverlapRateTime_winner : 0.000000
963.29/135.68	c (124,0) c
963.29/135.68	c (124,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
963.29/135.68	c (124,0) c
963.29/135.68	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.68	c (124,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
963.29/135.68	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.68	c (124,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
963.29/135.68	c (124,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
963.29/135.68	c (124,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
963.29/135.68	c (124,0) c | Initial random_seed   |  102742887 | 1579203157 | 1868447655 |  714780498 | 1043199743 | 1700972063 | 1244261827 | 1337720493 |
963.29/135.68	c (124,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
963.29/135.68	c (124,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
963.29/135.68	c (124,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
963.29/135.68	c (124,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
963.29/135.68	c (124,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
963.29/135.68	c (124,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
963.29/135.68	c (124,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
963.29/135.68	c (124,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
963.29/135.68	c (124,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
963.29/135.68	c (124,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
963.29/135.68	c (124,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
963.29/135.68	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
963.29/135.68	c (124,0) 
963.29/135.69	c (124,0) s SATISFIABLE
21.85/135.75	c (124,0) SatSolver.solve End
21.85/135.75	c (124,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.85/135.75	c (124,0) Show results Begin
963.89/135.94	c (124,0) x[0][0] = 19
963.89/135.94	c (124,0) x[0][1] = 17
963.89/135.94	c (124,0) x[0][2] = 9
963.89/135.94	c (124,0) x[0][3] = 5
963.89/135.94	c (124,0) x[0][4] = 6
963.89/135.94	c (124,0) x[0][5] = 26
963.89/135.94	c (124,0) x[0][6] = 8
963.89/135.94	c (124,0) x[0][7] = 0
963.89/135.94	c (124,0) x[0][8] = 16
963.89/135.94	c (124,0) x[0][9] = 13
963.89/135.94	c (124,0) x[0][10] = 23
963.89/135.94	c (124,0) x[0][11] = 24
963.89/135.94	c (124,0) x[0][12] = 12
963.89/135.94	c (124,0) x[0][13] = 2
963.89/135.94	c (124,0) x[0][14] = 10
963.89/135.94	c (124,0) x[0][15] = 18
963.89/135.94	c (124,0) x[0][16] = 3
963.89/135.94	c (124,0) x[0][17] = 28
963.89/135.94	c (124,0) x[0][18] = 27
963.89/135.94	c (124,0) x[0][19] = 20
963.89/135.94	c (124,0) x[0][20] = 4
963.89/135.94	c (124,0) x[0][21] = 7
963.89/135.94	c (124,0) x[0][22] = 29
963.89/135.94	c (124,0) x[0][23] = 15
963.89/135.94	c (124,0) x[0][24] = 22
963.89/135.94	c (124,0) x[0][25] = 21
963.89/135.95	c (124,0) x[0][26] = 1
963.89/135.95	c (124,0) x[0][27] = 14
963.89/135.95	c (124,0) x[0][28] = 25
963.89/135.95	c (124,0) x[0][29] = 11
963.89/135.95	c (124,0) x[1][0] = 15
963.89/135.95	c (124,0) x[1][1] = 18
963.89/135.95	c (124,0) x[1][2] = 22
963.89/135.95	c (124,0) x[1][3] = 2
963.89/135.95	c (124,0) x[1][4] = 13
963.89/135.95	c (124,0) x[1][5] = 6
963.89/135.95	c (124,0) x[1][6] = 19
963.89/135.95	c (124,0) x[1][7] = 10
963.89/135.95	c (124,0) x[1][8] = 4
963.89/135.95	c (124,0) x[1][9] = 8
963.89/135.95	c (124,0) x[1][10] = 9
963.89/135.95	c (124,0) x[1][11] = 28
963.89/135.95	c (124,0) x[1][12] = 3
963.89/135.95	c (124,0) x[1][13] = 14
963.89/135.95	c (124,0) x[1][14] = 24
963.89/135.95	c (124,0) x[1][15] = 0
963.89/135.95	c (124,0) x[1][16] = 17
963.89/135.95	c (124,0) x[1][17] = 27
963.89/135.95	c (124,0) x[1][18] = 25
963.89/135.95	c (124,0) x[1][19] = 12
963.89/135.95	c (124,0) x[1][20] = 7
963.89/135.95	c (124,0) x[1][21] = 1
963.89/135.95	c (124,0) x[1][22] = 26
963.89/135.95	c (124,0) x[1][23] = 29
963.89/135.95	c (124,0) x[1][24] = 11
963.89/135.95	c (124,0) x[1][25] = 23
963.89/135.95	c (124,0) x[1][26] = 21
963.89/135.95	c (124,0) x[1][27] = 5
963.89/135.95	c (124,0) x[1][28] = 20
963.89/135.95	c (124,0) x[1][29] = 16
963.89/135.95	c (124,0) x[2][0] = 8
963.89/135.95	c (124,0) x[2][1] = 21
963.89/135.95	c (124,0) x[2][2] = 24
963.89/135.95	c (124,0) x[2][3] = 18
963.89/135.95	c (124,0) x[2][4] = 1
963.89/135.95	c (124,0) x[2][5] = 10
963.89/135.95	c (124,0) x[2][6] = 17
963.89/135.95	c (124,0) x[2][7] = 3
963.89/135.95	c (124,0) x[2][8] = 20
963.89/135.95	c (124,0) x[2][9] = 4
963.89/135.95	c (124,0) x[2][10] = 29
963.89/135.95	c (124,0) x[2][11] = 27
963.89/135.95	c (124,0) x[2][12] = 14
963.89/135.95	c (124,0) x[2][13] = 15
963.89/135.95	c (124,0) x[2][14] = 0
963.89/135.95	c (124,0) x[2][15] = 2
963.89/135.95	c (124,0) x[2][16] = 22
963.89/135.95	c (124,0) x[2][17] = 11
963.89/135.95	c (124,0) x[2][18] = 7
963.89/135.95	c (124,0) x[2][19] = 5
963.89/135.95	c (124,0) x[2][20] = 13
963.89/135.95	c (124,0) x[2][21] = 6
963.89/135.95	c (124,0) x[2][22] = 28
963.89/135.95	c (124,0) x[2][23] = 12
963.89/135.95	c (124,0) x[2][24] = 19
963.89/135.95	c (124,0) x[2][25] = 25
963.89/135.95	c (124,0) x[2][26] = 26
963.89/135.95	c (124,0) x[2][27] = 23
963.89/135.95	c (124,0) x[2][28] = 16
963.89/135.95	c (124,0) x[2][29] = 9
963.89/135.95	c (124,0) x[3][0] = 14
963.89/135.95	c (124,0) x[3][1] = 16
963.89/135.95	c (124,0) x[3][2] = 2
963.89/135.95	c (124,0) x[3][3] = 6
963.89/135.95	c (124,0) x[3][4] = 15
963.89/135.95	c (124,0) x[3][5] = 11
963.89/135.95	c (124,0) x[3][6] = 21
963.89/135.95	c (124,0) x[3][7] = 13
963.89/135.95	c (124,0) x[3][8] = 7
963.89/135.95	c (124,0) x[3][9] = 0
963.89/135.95	c (124,0) x[3][10] = 19
963.89/135.95	c (124,0) x[3][11] = 18
963.89/135.95	c (124,0) x[3][12] = 25
963.89/135.95	c (124,0) x[3][13] = 29
963.89/135.95	c (124,0) x[3][14] = 4
963.89/135.95	c (124,0) x[3][15] = 10
963.89/135.95	c (124,0) x[3][16] = 20
963.89/135.95	c (124,0) x[3][17] = 26
963.89/135.95	c (124,0) x[3][18] = 5
963.89/135.95	c (124,0) x[3][19] = 27
963.89/135.95	c (124,0) x[3][20] = 8
963.89/135.95	c (124,0) x[3][21] = 12
963.89/135.95	c (124,0) x[3][22] = 3
963.89/135.95	c (124,0) x[3][23] = 9
963.89/135.95	c (124,0) x[3][24] = 24
963.89/135.95	c (124,0) x[3][25] = 17
963.89/135.95	c (124,0) x[3][26] = 28
963.89/135.95	c (124,0) x[3][27] = 22
963.89/135.95	c (124,0) x[3][28] = 1
963.89/135.95	c (124,0) x[3][29] = 23
963.89/135.95	c (124,0) x[4][0] = 4
963.89/135.95	c (124,0) x[4][1] = 0
963.89/135.95	c (124,0) x[4][2] = 29
963.89/135.95	c (124,0) x[4][3] = 13
963.89/135.95	c (124,0) x[4][4] = 14
963.89/135.95	c (124,0) x[4][5] = 8
963.89/135.95	c (124,0) x[4][6] = 20
963.89/135.95	c (124,0) x[4][7] = 22
963.89/135.95	c (124,0) x[4][8] = 23
963.89/135.95	c (124,0) x[4][9] = 6
963.89/135.95	c (124,0) x[4][10] = 5
963.89/135.95	c (124,0) x[4][11] = 3
963.89/135.95	c (124,0) x[4][12] = 7
963.89/135.95	c (124,0) x[4][13] = 19
963.89/135.95	c (124,0) x[4][14] = 27
963.89/135.95	c (124,0) x[4][15] = 12
963.89/135.95	c (124,0) x[4][16] = 2
963.89/135.95	c (124,0) x[4][17] = 18
963.89/135.95	c (124,0) x[4][18] = 1
963.89/135.95	c (124,0) x[4][19] = 25
963.89/135.95	c (124,0) x[4][20] = 24
963.89/135.95	c (124,0) x[4][21] = 10
963.89/135.95	c (124,0) x[4][22] = 11
963.89/135.95	c (124,0) x[4][23] = 28
963.89/135.95	c (124,0) x[4][24] = 9
963.89/135.95	c (124,0) x[4][25] = 26
963.89/135.95	c (124,0) x[4][26] = 16
963.89/135.95	c (124,0) x[4][27] = 21
963.89/135.95	c (124,0) x[4][28] = 15
963.89/135.95	c (124,0) x[4][29] = 17
963.89/135.95	c (124,0) x[5][0] = 9
963.89/135.95	c (124,0) x[5][1] = 19
963.89/135.95	c (124,0) x[5][2] = 26
963.89/135.95	c (124,0) x[5][3] = 21
963.89/135.95	c (124,0) x[5][4] = 2
963.89/135.95	c (124,0) x[5][5] = 20
963.89/135.95	c (124,0) x[5][6] = 5
963.89/135.95	c (124,0) x[5][7] = 27
963.89/135.95	c (124,0) x[5][8] = 15
963.89/135.95	c (124,0) x[5][9] = 29
963.89/135.95	c (124,0) x[5][10] = 28
963.89/135.95	c (124,0) x[5][11] = 8
963.89/135.95	c (124,0) x[5][12] = 1
963.89/135.95	c (124,0) x[5][13] = 10
963.89/135.95	c (124,0) x[5][14] = 6
963.89/135.95	c (124,0) x[5][15] = 4
963.89/135.95	c (124,0) x[5][16] = 7
963.89/135.95	c (124,0) x[5][17] = 25
963.89/135.95	c (124,0) x[5][18] = 0
963.89/135.95	c (124,0) x[5][19] = 24
963.89/135.95	c (124,0) x[5][20] = 11
963.89/135.95	c (124,0) x[5][21] = 23
963.89/135.95	c (124,0) x[5][22] = 16
963.89/135.95	c (124,0) x[5][23] = 3
963.89/135.95	c (124,0) x[5][24] = 12
963.89/135.95	c (124,0) x[5][25] = 22
963.89/135.95	c (124,0) x[5][26] = 17
963.89/135.95	c (124,0) x[5][27] = 13
963.89/135.95	c (124,0) x[5][28] = 18
963.89/135.95	c (124,0) x[5][29] = 14
963.89/135.95	c (124,0) x[6][0] = 11
963.89/135.95	c (124,0) x[6][1] = 22
963.89/135.95	c (124,0) x[6][2] = 3
963.89/135.95	c (124,0) x[6][3] = 27
963.89/135.95	c (124,0) x[6][4] = 18
963.89/135.95	c (124,0) x[6][5] = 23
963.89/135.95	c (124,0) x[6][6] = 28
963.89/135.95	c (124,0) x[6][7] = 8
963.89/135.95	c (124,0) x[6][8] = 2
963.89/135.95	c (124,0) x[6][9] = 15
963.89/135.95	c (124,0) x[6][10] = 12
963.89/135.95	c (124,0) x[6][11] = 13
963.89/135.95	c (124,0) x[6][12] = 6
963.89/135.95	c (124,0) x[6][13] = 1
963.89/135.95	c (124,0) x[6][14] = 16
963.89/135.95	c (124,0) x[6][15] = 26
963.89/135.95	c (124,0) x[6][16] = 21
963.89/135.95	c (124,0) x[6][17] = 24
963.89/135.95	c (124,0) x[6][18] = 17
963.89/135.95	c (124,0) x[6][19] = 0
963.89/135.95	c (124,0) x[6][20] = 14
963.89/135.95	c (124,0) x[6][21] = 25
963.89/135.95	c (124,0) x[6][22] = 5
963.89/135.95	c (124,0) x[6][23] = 7
963.89/135.95	c (124,0) x[6][24] = 4
963.89/135.95	c (124,0) x[6][25] = 19
963.89/135.95	c (124,0) x[6][26] = 9
963.89/135.95	c (124,0) x[6][27] = 20
963.89/135.95	c (124,0) x[6][28] = 10
963.89/135.95	c (124,0) x[6][29] = 29
963.89/135.95	c (124,0) x[7][0] = 25
963.89/135.95	c (124,0) x[7][1] = 26
963.89/135.95	c (124,0) x[7][2] = 21
963.89/135.95	c (124,0) x[7][3] = 24
963.89/135.95	c (124,0) x[7][4] = 12
963.89/135.95	c (124,0) x[7][5] = 22
963.89/135.95	c (124,0) x[7][6] = 14
963.89/135.95	c (124,0) x[7][7] = 28
963.89/135.95	c (124,0) x[7][8] = 6
963.89/135.95	c (124,0) x[7][9] = 20
963.89/135.95	c (124,0) x[7][10] = 1
963.89/135.95	c (124,0) x[7][11] = 4
963.89/135.95	c (124,0) x[7][12] = 18
963.89/135.95	c (124,0) x[7][13] = 9
963.89/135.95	c (124,0) x[7][14] = 15
963.89/135.95	c (124,0) x[7][15] = 16
963.89/135.95	c (124,0) x[7][16] = 27
963.89/135.95	c (124,0) x[7][17] = 5
963.89/135.95	c (124,0) x[7][18] = 29
963.89/135.95	c (124,0) x[7][19] = 11
963.89/135.95	c (124,0) x[7][20] = 3
963.89/135.95	c (124,0) x[7][21] = 17
963.89/135.95	c (124,0) x[7][22] = 19
963.89/135.95	c (124,0) x[7][23] = 23
963.89/135.95	c (124,0) x[7][24] = 0
963.89/135.95	c (124,0) x[7][25] = 7
963.89/135.95	c (124,0) x[7][26] = 10
963.89/135.95	c (124,0) x[7][27] = 8
963.89/135.95	c (124,0) x[7][28] = 13
963.89/135.95	c (124,0) x[7][29] = 2
963.89/135.95	c (124,0) x[8][0] = 28
963.89/135.95	c (124,0) x[8][1] = 23
963.89/135.95	c (124,0) x[8][2] = 12
963.89/135.95	c (124,0) x[8][3] = 7
963.89/135.95	c (124,0) x[8][4] = 25
963.89/135.95	c (124,0) x[8][5] = 5
963.89/135.95	c (124,0) x[8][6] = 4
963.89/135.95	c (124,0) x[8][7] = 11
963.89/135.95	c (124,0) x[8][8] = 0
963.89/135.95	c (124,0) x[8][9] = 26
963.89/135.95	c (124,0) x[8][10] = 14
963.89/135.95	c (124,0) x[8][11] = 15
963.89/135.95	c (124,0) x[8][12] = 21
963.89/135.95	c (124,0) x[8][13] = 8
963.89/135.95	c (124,0) x[8][14] = 9
963.89/135.95	c (124,0) x[8][15] = 13
963.89/135.95	c (124,0) x[8][16] = 19
963.89/135.95	c (124,0) x[8][17] = 16
963.89/135.95	c (124,0) x[8][18] = 22
963.89/135.95	c (124,0) x[8][19] = 3
963.89/135.95	c (124,0) x[8][20] = 20
963.89/135.95	c (124,0) x[8][21] = 29
963.89/135.95	c (124,0) x[8][22] = 6
963.89/135.95	c (124,0) x[8][23] = 27
963.89/135.95	c (124,0) x[8][24] = 10
963.89/135.95	c (124,0) x[8][25] = 18
963.89/135.95	c (124,0) x[8][26] = 2
963.89/135.95	c (124,0) x[8][27] = 17
963.89/135.95	c (124,0) x[8][28] = 24
963.89/135.95	c (124,0) x[8][29] = 1
963.89/135.95	c (124,0) x[9][0] = 10
963.89/135.95	c (124,0) x[9][1] = 11
963.89/135.95	c (124,0) x[9][2] = 18
963.89/135.95	c (124,0) x[9][3] = 8
963.89/135.95	c (124,0) x[9][4] = 28
963.89/135.95	c (124,0) x[9][5] = 14
963.89/135.95	c (124,0) x[9][6] = 6
963.89/135.95	c (124,0) x[9][7] = 9
963.89/135.95	c (124,0) x[9][8] = 3
963.89/135.95	c (124,0) x[9][9] = 19
963.89/135.95	c (124,0) x[9][10] = 26
963.89/135.95	c (124,0) x[9][11] = 12
963.89/135.95	c (124,0) x[9][12] = 4
963.89/135.95	c (124,0) x[9][13] = 20
963.89/135.95	c (124,0) x[9][14] = 22
963.89/135.95	c (124,0) x[9][15] = 29
963.89/135.95	c (124,0) x[9][16] = 0
963.89/135.95	c (124,0) x[9][17] = 2
963.89/135.95	c (124,0) x[9][18] = 16
963.89/135.95	c (124,0) x[9][19] = 17
963.89/135.95	c (124,0) x[9][20] = 1
963.89/135.95	c (124,0) x[9][21] = 21
963.89/135.95	c (124,0) x[9][22] = 27
963.89/135.95	c (124,0) x[9][23] = 24
963.89/135.95	c (124,0) x[9][24] = 25
963.89/135.95	c (124,0) x[9][25] = 13
963.89/135.95	c (124,0) x[9][26] = 23
963.89/135.95	c (124,0) x[9][27] = 15
963.89/135.95	c (124,0) x[9][28] = 5
963.89/135.95	c (124,0) x[9][29] = 7
963.89/135.95	c (124,0) x[10][0] = 23
963.89/135.95	c (124,0) x[10][1] = 8
963.89/135.95	c (124,0) x[10][2] = 16
963.89/135.95	c (124,0) x[10][3] = 11
963.89/135.95	c (124,0) x[10][4] = 24
963.89/135.95	c (124,0) x[10][5] = 21
963.89/135.95	c (124,0) x[10][6] = 22
963.89/135.95	c (124,0) x[10][7] = 25
963.89/135.95	c (124,0) x[10][8] = 28
963.89/135.95	c (124,0) x[10][9] = 10
963.89/135.95	c (124,0) x[10][10] = 0
963.89/135.95	c (124,0) x[10][11] = 14
963.89/135.95	c (124,0) x[10][12] = 9
963.89/135.95	c (124,0) x[10][13] = 12
963.89/135.95	c (124,0) x[10][14] = 7
963.89/135.95	c (124,0) x[10][15] = 6
963.89/135.95	c (124,0) x[10][16] = 5
963.89/135.95	c (124,0) x[10][17] = 13
963.89/135.95	c (124,0) x[10][18] = 20
963.89/135.95	c (124,0) x[10][19] = 29
963.89/135.95	c (124,0) x[10][20] = 15
963.89/135.95	c (124,0) x[10][21] = 19
963.89/135.95	c (124,0) x[10][22] = 2
963.89/135.95	c (124,0) x[10][23] = 18
963.89/135.95	c (124,0) x[10][24] = 17
963.89/135.95	c (124,0) x[10][25] = 1
963.89/135.95	c (124,0) x[10][26] = 27
963.89/135.95	c (124,0) x[10][27] = 26
963.89/135.95	c (124,0) x[10][28] = 3
963.89/135.95	c (124,0) x[10][29] = 4
963.89/135.95	c (124,0) x[11][0] = 6
963.89/135.95	c (124,0) x[11][1] = 4
963.89/135.95	c (124,0) x[11][2] = 25
963.89/135.96	c (124,0) x[11][3] = 28
963.89/135.96	c (124,0) x[11][4] = 16
963.89/135.96	c (124,0) x[11][5] = 15
963.89/135.96	c (124,0) x[11][6] = 18
963.89/135.96	c (124,0) x[11][7] = 12
963.89/135.96	c (124,0) x[11][8] = 8
963.89/135.96	c (124,0) x[11][9] = 24
963.89/135.96	c (124,0) x[11][10] = 27
963.89/135.96	c (124,0) x[11][11] = 21
963.89/135.96	c (124,0) x[11][12] = 23
963.89/135.96	c (124,0) x[11][13] = 26
963.89/135.96	c (124,0) x[11][14] = 14
963.89/135.96	c (124,0) x[11][15] = 20
963.89/135.96	c (124,0) x[11][16] = 29
963.89/135.96	c (124,0) x[11][17] = 7
963.89/135.96	c (124,0) x[11][18] = 19
963.89/135.96	c (124,0) x[11][19] = 1
963.89/135.96	c (124,0) x[11][20] = 5
963.89/135.96	c (124,0) x[11][21] = 9
963.89/135.96	c (124,0) x[11][22] = 17
963.89/135.96	c (124,0) x[11][23] = 11
963.89/135.96	c (124,0) x[11][24] = 3
963.89/135.96	c (124,0) x[11][25] = 0
963.89/135.96	c (124,0) x[11][26] = 13
963.89/135.96	c (124,0) x[11][27] = 2
963.89/135.96	c (124,0) x[11][28] = 22
963.89/135.96	c (124,0) x[11][29] = 10
963.89/135.96	c (124,0) x[12][0] = 18
963.89/135.96	c (124,0) x[12][1] = 7
963.89/135.96	c (124,0) x[12][2] = 15
963.89/135.96	c (124,0) x[12][3] = 14
963.89/135.96	c (124,0) x[12][4] = 22
963.89/135.96	c (124,0) x[12][5] = 0
963.89/135.96	c (124,0) x[12][6] = 10
963.89/135.96	c (124,0) x[12][7] = 21
963.89/135.96	c (124,0) x[12][8] = 17
963.89/135.96	c (124,0) x[12][9] = 3
963.89/135.96	c (124,0) x[12][10] = 8
963.89/135.96	c (124,0) x[12][11] = 20
963.89/135.96	c (124,0) x[12][12] = 26
963.89/135.96	c (124,0) x[12][13] = 5
963.89/135.96	c (124,0) x[12][14] = 28
963.89/135.96	c (124,0) x[12][15] = 11
963.89/135.96	c (124,0) x[12][16] = 1
963.89/135.96	c (124,0) x[12][17] = 6
963.89/135.96	c (124,0) x[12][18] = 4
963.89/135.96	c (124,0) x[12][19] = 23
963.89/135.96	c (124,0) x[12][20] = 29
963.89/135.96	c (124,0) x[12][21] = 16
963.89/135.96	c (124,0) x[12][22] = 9
963.89/135.96	c (124,0) x[12][23] = 25
963.89/135.96	c (124,0) x[12][24] = 2
963.89/135.96	c (124,0) x[12][25] = 24
963.89/135.96	c (124,0) x[12][26] = 12
963.89/135.96	c (124,0) x[12][27] = 19
963.89/135.96	c (124,0) x[12][28] = 27
963.89/135.96	c (124,0) x[12][29] = 13
963.89/135.96	c (124,0) x[13][0] = 24
963.89/135.96	c (124,0) x[13][1] = 20
963.89/135.96	c (124,0) x[13][2] = 13
963.89/135.96	c (124,0) x[13][3] = 25
963.89/135.96	c (124,0) x[13][4] = 9
963.89/135.96	c (124,0) x[13][5] = 28
963.89/135.96	c (124,0) x[13][6] = 15
963.89/135.96	c (124,0) x[13][7] = 17
963.89/135.96	c (124,0) x[13][8] = 11
963.89/135.96	c (124,0) x[13][9] = 16
963.89/135.96	c (124,0) x[13][10] = 4
963.89/135.96	c (124,0) x[13][11] = 1
963.89/135.96	c (124,0) x[13][12] = 5
963.89/135.96	c (124,0) x[13][13] = 0
963.89/135.96	c (124,0) x[13][14] = 29
963.89/135.96	c (124,0) x[13][15] = 27
963.89/135.96	c (124,0) x[13][16] = 26
963.89/135.96	c (124,0) x[13][17] = 8
963.89/135.96	c (124,0) x[13][18] = 14
963.89/135.96	c (124,0) x[13][19] = 6
963.89/135.96	c (124,0) x[13][20] = 23
963.89/135.96	c (124,0) x[13][21] = 2
963.89/135.96	c (124,0) x[13][22] = 22
963.89/135.96	c (124,0) x[13][23] = 10
963.89/135.96	c (124,0) x[13][24] = 18
963.89/135.96	c (124,0) x[13][25] = 3
963.89/135.96	c (124,0) x[13][26] = 7
963.89/135.96	c (124,0) x[13][27] = 12
963.89/135.96	c (124,0) x[13][28] = 21
963.89/135.96	c (124,0) x[13][29] = 19
963.89/135.96	c (124,0) x[14][0] = 1
963.89/135.96	c (124,0) x[14][1] = 29
963.89/135.96	c (124,0) x[14][2] = 23
963.89/135.96	c (124,0) x[14][3] = 22
963.89/135.96	c (124,0) x[14][4] = 20
963.89/135.96	c (124,0) x[14][5] = 17
963.89/135.96	c (124,0) x[14][6] = 13
963.89/135.96	c (124,0) x[14][7] = 4
963.89/135.96	c (124,0) x[14][8] = 21
963.89/135.96	c (124,0) x[14][9] = 5
963.89/135.96	c (124,0) x[14][10] = 16
963.89/135.96	c (124,0) x[14][11] = 19
963.89/135.96	c (124,0) x[14][12] = 27
963.89/135.96	c (124,0) x[14][13] = 11
963.89/135.96	c (124,0) x[14][14] = 18
963.89/135.96	c (124,0) x[14][15] = 24
963.89/135.96	c (124,0) x[14][16] = 6
963.89/135.96	c (124,0) x[14][17] = 12
963.89/135.96	c (124,0) x[14][18] = 28
963.89/135.96	c (124,0) x[14][19] = 9
963.89/135.96	c (124,0) x[14][20] = 2
963.89/135.96	c (124,0) x[14][21] = 3
963.89/135.96	c (124,0) x[14][22] = 8
963.89/135.96	c (124,0) x[14][23] = 14
963.89/135.96	c (124,0) x[14][24] = 26
963.89/135.96	c (124,0) x[14][25] = 15
963.89/135.96	c (124,0) x[14][26] = 25
963.89/135.96	c (124,0) x[14][27] = 10
963.89/135.96	c (124,0) x[14][28] = 7
963.89/135.96	c (124,0) x[14][29] = 0
963.89/135.96	c (124,0) x[15][0] = 27
963.89/135.96	c (124,0) x[15][1] = 28
963.89/135.96	c (124,0) x[15][2] = 6
963.89/135.96	c (124,0) x[15][3] = 16
963.89/135.96	c (124,0) x[15][4] = 4
963.89/135.96	c (124,0) x[15][5] = 25
963.89/135.96	c (124,0) x[15][6] = 7
963.89/135.96	c (124,0) x[15][7] = 1
963.89/135.96	c (124,0) x[15][8] = 29
963.89/135.96	c (124,0) x[15][9] = 9
963.89/135.96	c (124,0) x[15][10] = 17
963.89/135.96	c (124,0) x[15][11] = 11
963.89/135.96	c (124,0) x[15][12] = 24
963.89/135.96	c (124,0) x[15][13] = 13
963.89/135.96	c (124,0) x[15][14] = 2
963.89/135.96	c (124,0) x[15][15] = 3
963.89/135.96	c (124,0) x[15][16] = 15
963.89/135.96	c (124,0) x[15][17] = 19
963.89/135.96	c (124,0) x[15][18] = 23
963.89/135.96	c (124,0) x[15][19] = 26
963.89/135.96	c (124,0) x[15][20] = 10
963.89/135.96	c (124,0) x[15][21] = 5
963.89/135.96	c (124,0) x[15][22] = 20
963.89/135.96	c (124,0) x[15][23] = 21
963.89/135.96	c (124,0) x[15][24] = 14
963.89/135.96	c (124,0) x[15][25] = 12
963.89/135.96	c (124,0) x[15][26] = 18
963.89/135.96	c (124,0) x[15][27] = 0
963.89/135.96	c (124,0) x[15][28] = 8
963.89/135.96	c (124,0) x[15][29] = 22
963.89/135.96	c (124,0) x[16][0] = 21
963.89/135.96	c (124,0) x[16][1] = 25
963.89/135.96	c (124,0) x[16][2] = 14
963.89/135.96	c (124,0) x[16][3] = 29
963.89/135.96	c (124,0) x[16][4] = 10
963.89/135.96	c (124,0) x[16][5] = 16
963.89/135.96	c (124,0) x[16][6] = 24
963.89/135.96	c (124,0) x[16][7] = 15
963.89/135.96	c (124,0) x[16][8] = 19
963.89/135.96	c (124,0) x[16][9] = 7
963.89/135.96	c (124,0) x[16][10] = 13
963.89/135.96	c (124,0) x[16][11] = 0
963.89/135.96	c (124,0) x[16][12] = 11
963.89/135.96	c (124,0) x[16][13] = 28
963.89/135.96	c (124,0) x[16][14] = 1
963.89/135.96	c (124,0) x[16][15] = 22
963.89/135.96	c (124,0) x[16][16] = 9
963.89/135.96	c (124,0) x[16][17] = 23
963.89/135.96	c (124,0) x[16][18] = 26
963.89/135.96	c (124,0) x[16][19] = 8
963.89/135.96	c (124,0) x[16][20] = 27
963.89/135.96	c (124,0) x[16][21] = 18
963.89/135.96	c (124,0) x[16][22] = 4
963.89/135.96	c (124,0) x[16][23] = 17
963.89/135.96	c (124,0) x[16][24] = 20
963.89/135.96	c (124,0) x[16][25] = 2
963.89/135.96	c (124,0) x[16][26] = 5
963.89/135.96	c (124,0) x[16][27] = 6
963.89/135.96	c (124,0) x[16][28] = 12
963.89/135.96	c (124,0) x[16][29] = 3
963.89/135.96	c (124,0) x[17][0] = 5
963.89/135.96	c (124,0) x[17][1] = 9
963.89/135.96	c (124,0) x[17][2] = 8
963.89/135.96	c (124,0) x[17][3] = 15
963.89/135.96	c (124,0) x[17][4] = 3
963.89/135.96	c (124,0) x[17][5] = 29
963.89/135.96	c (124,0) x[17][6] = 12
963.89/135.96	c (124,0) x[17][7] = 14
963.89/135.96	c (124,0) x[17][8] = 18
963.89/135.96	c (124,0) x[17][9] = 17
963.89/135.96	c (124,0) x[17][10] = 10
963.89/135.96	c (124,0) x[17][11] = 26
963.89/135.96	c (124,0) x[17][12] = 22
963.89/135.96	c (124,0) x[17][13] = 7
963.89/135.96	c (124,0) x[17][14] = 25
963.89/135.96	c (124,0) x[17][15] = 23
963.89/135.96	c (124,0) x[17][16] = 11
963.89/135.96	c (124,0) x[17][17] = 0
963.89/135.96	c (124,0) x[17][18] = 13
963.89/135.96	c (124,0) x[17][19] = 16
963.89/135.96	c (124,0) x[17][20] = 6
963.89/135.96	c (124,0) x[17][21] = 20
963.89/135.96	c (124,0) x[17][22] = 24
963.89/135.96	c (124,0) x[17][23] = 4
963.89/135.96	c (124,0) x[17][24] = 27
963.89/135.96	c (124,0) x[17][25] = 28
963.89/135.96	c (124,0) x[17][26] = 19
963.89/135.96	c (124,0) x[17][27] = 1
963.89/135.96	c (124,0) x[17][28] = 2
963.89/135.96	c (124,0) x[17][29] = 21
963.89/135.96	c (124,0) x[18][0] = 29
963.89/135.96	c (124,0) x[18][1] = 13
963.89/135.96	c (124,0) x[18][2] = 0
963.89/135.96	c (124,0) x[18][3] = 9
963.89/135.96	c (124,0) x[18][4] = 21
963.89/135.96	c (124,0) x[18][5] = 19
963.89/135.96	c (124,0) x[18][6] = 1
963.89/135.96	c (124,0) x[18][7] = 23
963.89/135.96	c (124,0) x[18][8] = 12
963.89/135.96	c (124,0) x[18][9] = 27
963.89/135.96	c (124,0) x[18][10] = 20
963.89/135.96	c (124,0) x[18][11] = 2
963.89/135.96	c (124,0) x[18][12] = 28
963.89/135.96	c (124,0) x[18][13] = 17
963.89/135.96	c (124,0) x[18][14] = 3
963.89/135.96	c (124,0) x[18][15] = 25
963.89/135.96	c (124,0) x[18][16] = 8
963.89/135.96	c (124,0) x[18][17] = 4
963.89/135.96	c (124,0) x[18][18] = 24
963.89/135.96	c (124,0) x[18][19] = 15
963.89/135.96	c (124,0) x[18][20] = 16
963.89/135.96	c (124,0) x[18][21] = 11
963.89/135.96	c (124,0) x[18][22] = 18
963.89/135.96	c (124,0) x[18][23] = 22
963.89/135.96	c (124,0) x[18][24] = 5
963.89/135.96	c (124,0) x[18][25] = 10
963.89/135.96	c (124,0) x[18][26] = 14
963.89/135.96	c (124,0) x[18][27] = 7
963.89/135.96	c (124,0) x[18][28] = 26
963.89/135.96	c (124,0) x[18][29] = 6
963.89/135.96	c (124,0) x[19][0] = 2
963.89/135.96	c (124,0) x[19][1] = 12
963.89/135.96	c (124,0) x[19][2] = 19
963.89/135.96	c (124,0) x[19][3] = 20
963.89/135.96	c (124,0) x[19][4] = 26
963.89/135.96	c (124,0) x[19][5] = 24
963.89/135.96	c (124,0) x[19][6] = 29
963.89/135.96	c (124,0) x[19][7] = 7
963.89/135.96	c (124,0) x[19][8] = 14
963.89/135.96	c (124,0) x[19][9] = 21
963.89/135.96	c (124,0) x[19][10] = 6
963.89/135.96	c (124,0) x[19][11] = 5
963.89/135.96	c (124,0) x[19][12] = 17
963.89/135.96	c (124,0) x[19][13] = 4
963.89/135.96	c (124,0) x[19][14] = 11
963.89/135.96	c (124,0) x[19][15] = 28
963.89/135.96	c (124,0) x[19][16] = 16
963.89/135.96	c (124,0) x[19][17] = 9
963.89/135.96	c (124,0) x[19][18] = 15
963.89/135.96	c (124,0) x[19][19] = 18
963.89/135.96	c (124,0) x[19][20] = 22
963.89/135.96	c (124,0) x[19][21] = 13
963.89/135.96	c (124,0) x[19][22] = 10
963.89/135.96	c (124,0) x[19][23] = 0
963.89/135.96	c (124,0) x[19][24] = 1
963.89/135.96	c (124,0) x[19][25] = 27
963.89/135.96	c (124,0) x[19][26] = 3
963.89/135.96	c (124,0) x[19][27] = 25
963.89/135.96	c (124,0) x[19][28] = 23
963.89/135.96	c (124,0) x[19][29] = 8
963.89/135.96	c (124,0) x[20][0] = 20
963.89/135.96	c (124,0) x[20][1] = 14
963.89/135.96	c (124,0) x[20][2] = 5
963.89/135.96	c (124,0) x[20][3] = 23
963.89/135.96	c (124,0) x[20][4] = 11
963.89/135.96	c (124,0) x[20][5] = 9
963.89/135.96	c (124,0) x[20][6] = 27
963.89/135.96	c (124,0) x[20][7] = 19
963.89/135.96	c (124,0) x[20][8] = 22
963.89/135.96	c (124,0) x[20][9] = 1
963.89/135.96	c (124,0) x[20][10] = 7
963.89/135.96	c (124,0) x[20][11] = 10
963.89/135.96	c (124,0) x[20][12] = 13
963.89/135.96	c (124,0) x[20][13] = 3
963.89/135.96	c (124,0) x[20][14] = 21
963.89/135.96	c (124,0) x[20][15] = 15
963.89/135.96	c (124,0) x[20][16] = 4
963.89/135.96	c (124,0) x[20][17] = 17
963.89/135.96	c (124,0) x[20][18] = 12
963.89/135.96	c (124,0) x[20][19] = 2
963.89/135.96	c (124,0) x[20][20] = 0
963.89/135.96	c (124,0) x[20][21] = 8
963.89/135.96	c (124,0) x[20][22] = 25
963.89/135.96	c (124,0) x[20][23] = 26
963.89/135.96	c (124,0) x[20][24] = 6
963.89/135.96	c (124,0) x[20][25] = 16
963.89/135.96	c (124,0) x[20][26] = 24
963.89/135.96	c (124,0) x[20][27] = 29
963.89/135.96	c (124,0) x[20][28] = 28
963.89/135.96	c (124,0) x[20][29] = 18
963.89/135.96	c (124,0) x[21][0] = 3
963.89/135.96	c (124,0) x[21][1] = 5
963.89/135.96	c (124,0) x[21][2] = 28
963.89/135.96	c (124,0) x[21][3] = 0
963.89/135.96	c (124,0) x[21][4] = 29
963.89/135.96	c (124,0) x[21][5] = 18
963.89/135.96	c (124,0) x[21][6] = 9
963.89/135.96	c (124,0) x[21][7] = 16
963.89/135.96	c (124,0) x[21][8] = 26
963.89/135.96	c (124,0) x[21][9] = 23
963.89/135.96	c (124,0) x[21][10] = 2
963.89/135.96	c (124,0) x[21][11] = 17
963.89/135.96	c (124,0) x[21][12] = 10
963.89/135.96	c (124,0) x[21][13] = 25
963.89/135.96	c (124,0) x[21][14] = 20
963.89/135.96	c (124,0) x[21][15] = 19
963.89/135.96	c (124,0) x[21][16] = 24
963.89/135.96	c (124,0) x[21][17] = 22
963.89/135.96	c (124,0) x[21][18] = 8
963.89/135.96	c (124,0) x[21][19] = 13
963.89/135.96	c (124,0) x[21][20] = 21
963.89/135.96	c (124,0) x[21][21] = 14
963.89/135.96	c (124,0) x[21][22] = 1
963.89/135.96	c (124,0) x[21][23] = 6
963.89/135.96	c (124,0) x[21][24] = 7
963.89/135.96	c (124,0) x[21][25] = 4
963.89/135.96	c (124,0) x[21][26] = 15
963.89/135.96	c (124,0) x[21][27] = 27
963.89/135.96	c (124,0) x[21][28] = 11
963.89/135.96	c (124,0) x[21][29] = 12
963.89/135.96	c (124,0) x[22][0] = 12
963.89/135.96	c (124,0) x[22][1] = 6
963.89/135.96	c (124,0) x[22][2] = 10
963.89/135.96	c (124,0) x[22][3] = 17
963.89/135.96	c (124,0) x[22][4] = 27
963.89/135.96	c (124,0) x[22][5] = 3
963.89/135.96	c (124,0) x[22][6] = 23
963.89/135.96	c (124,0) x[22][7] = 18
963.89/135.96	c (124,0) x[22][8] = 13
963.89/135.96	c (124,0) x[22][9] = 2
963.89/135.96	c (124,0) x[22][10] = 24
963.89/135.96	c (124,0) x[22][11] = 7
963.89/135.96	c (124,0) x[22][12] = 0
963.89/135.96	c (124,0) x[22][13] = 16
963.89/135.96	c (124,0) x[22][14] = 8
963.89/135.96	c (124,0) x[22][15] = 1
963.89/135.96	c (124,0) x[22][16] = 25
963.89/135.96	c (124,0) x[22][17] = 20
963.89/135.96	c (124,0) x[22][18] = 21
963.89/135.96	c (124,0) x[22][19] = 22
963.89/135.96	c (124,0) x[22][20] = 26
963.89/135.96	c (124,0) x[22][21] = 15
963.89/135.96	c (124,0) x[22][22] = 14
963.89/135.96	c (124,0) x[22][23] = 19
963.89/135.96	c (124,0) x[22][24] = 28
963.89/135.96	c (124,0) x[22][25] = 11
963.89/135.96	c (124,0) x[22][26] = 29
963.89/135.96	c (124,0) x[22][27] = 4
963.89/135.96	c (124,0) x[22][28] = 9
963.89/135.96	c (124,0) x[22][29] = 5
963.89/135.96	c (124,0) x[23][0] = 0
963.89/135.96	c (124,0) x[23][1] = 10
963.89/135.96	c (124,0) x[23][2] = 1
963.89/135.96	c (124,0) x[23][3] = 4
963.89/135.96	c (124,0) x[23][4] = 7
963.89/135.96	c (124,0) x[23][5] = 13
963.89/135.96	c (124,0) x[23][6] = 3
963.89/135.96	c (124,0) x[23][7] = 2
963.89/135.96	c (124,0) x[23][8] = 27
963.89/135.96	c (124,0) x[23][9] = 11
963.89/135.96	c (124,0) x[23][10] = 18
963.89/135.96	c (124,0) x[23][11] = 6
963.89/135.96	c (124,0) x[23][12] = 8
963.89/135.96	c (124,0) x[23][13] = 23
963.89/135.96	c (124,0) x[23][14] = 26
963.89/135.96	c (124,0) x[23][15] = 17
963.89/135.96	c (124,0) x[23][16] = 12
963.89/135.96	c (124,0) x[23][17] = 29
963.89/135.96	c (124,0) x[23][18] = 9
963.89/135.96	c (124,0) x[23][19] = 19
963.89/135.96	c (124,0) x[23][20] = 25
963.89/135.96	c (124,0) x[23][21] = 28
963.89/135.96	c (124,0) x[23][22] = 21
963.89/135.96	c (124,0) x[23][23] = 20
963.89/135.96	c (124,0) x[23][24] = 16
963.89/135.96	c (124,0) x[23][25] = 5
963.89/135.96	c (124,0) x[23][26] = 22
963.89/135.96	c (124,0) x[23][27] = 24
963.89/135.96	c (124,0) x[23][28] = 14
963.89/135.96	c (124,0) x[23][29] = 15
963.89/135.96	c (124,0) x[24][0] = 26
963.89/135.96	c (124,0) x[24][1] = 15
963.89/135.96	c (124,0) x[24][2] = 4
963.89/135.96	c (124,0) x[24][3] = 3
963.89/135.96	c (124,0) x[24][4] = 5
963.89/135.96	c (124,0) x[24][5] = 7
963.89/135.96	c (124,0) x[24][6] = 11
963.89/135.96	c (124,0) x[24][7] = 24
963.89/135.96	c (124,0) x[24][8] = 9
963.89/135.96	c (124,0) x[24][9] = 12
963.89/135.96	c (124,0) x[24][10] = 25
963.89/135.96	c (124,0) x[24][11] = 29
963.89/135.96	c (124,0) x[24][12] = 2
963.89/135.96	c (124,0) x[24][13] = 18
963.89/135.96	c (124,0) x[24][14] = 19
963.89/135.96	c (124,0) x[24][15] = 8
963.89/135.96	c (124,0) x[24][16] = 14
963.89/135.96	c (124,0) x[24][17] = 21
963.89/135.96	c (124,0) x[24][18] = 6
963.89/135.96	c (124,0) x[24][19] = 10
963.89/135.96	c (124,0) x[24][20] = 28
963.89/135.96	c (124,0) x[24][21] = 22
963.89/135.96	c (124,0) x[24][22] = 23
963.89/135.96	c (124,0) x[24][23] = 1
963.89/135.96	c (124,0) x[24][24] = 13
963.89/135.96	c (124,0) x[24][25] = 20
963.89/135.96	c (124,0) x[24][26] = 0
963.89/135.96	c (124,0) x[24][27] = 16
963.89/135.96	c (124,0) x[24][28] = 17
963.89/135.96	c (124,0) x[24][29] = 27
963.89/135.96	c (124,0) x[25][0] = 22
963.89/135.96	c (124,0) x[25][1] = 1
963.89/135.96	c (124,0) x[25][2] = 11
963.89/135.96	c (124,0) x[25][3] = 10
963.89/135.96	c (124,0) x[25][4] = 23
963.89/135.96	c (124,0) x[25][5] = 4
963.89/135.96	c (124,0) x[25][6] = 0
963.89/135.96	c (124,0) x[25][7] = 29
963.89/135.96	c (124,0) x[25][8] = 24
963.89/135.96	c (124,0) x[25][9] = 25
963.89/135.96	c (124,0) x[25][10] = 21
963.89/135.96	c (124,0) x[25][11] = 9
963.89/135.96	c (124,0) x[25][12] = 16
963.89/135.96	c (124,0) x[25][13] = 6
963.89/135.96	c (124,0) x[25][14] = 17
963.89/135.96	c (124,0) x[25][15] = 5
963.89/135.96	c (124,0) x[25][16] = 18
963.89/135.96	c (124,0) x[25][17] = 14
963.89/135.96	c (124,0) x[25][18] = 3
963.89/135.96	c (124,0) x[25][19] = 7
963.89/135.96	c (124,0) x[25][20] = 12
963.89/135.96	c (124,0) x[25][21] = 27
963.89/135.96	c (124,0) x[25][22] = 13
963.89/135.96	c (124,0) x[25][23] = 2
963.89/135.96	c (124,0) x[25][24] = 15
963.89/135.96	c (124,0) x[25][25] = 8
963.89/135.96	c (124,0) x[25][26] = 20
963.89/135.96	c (124,0) x[25][27] = 28
963.89/135.96	c (124,0) x[25][28] = 19
963.89/135.96	c (124,0) x[25][29] = 26
963.89/135.96	c (124,0) x[26][0] = 16
963.89/135.96	c (124,0) x[26][1] = 27
963.89/135.96	c (124,0) x[26][2] = 17
963.89/135.96	c (124,0) x[26][3] = 12
963.89/135.96	c (124,0) x[26][4] = 8
963.89/135.96	c (124,0) x[26][5] = 1
963.89/135.96	c (124,0) x[26][6] = 2
963.89/135.96	c (124,0) x[26][7] = 26
963.89/135.96	c (124,0) x[26][8] = 25
963.89/135.96	c (124,0) x[26][9] = 14
963.89/135.96	c (124,0) x[26][10] = 15
963.89/135.96	c (124,0) x[26][11] = 22
963.89/135.96	c (124,0) x[26][12] = 19
963.89/135.96	c (124,0) x[26][13] = 24
963.89/135.96	c (124,0) x[26][14] = 13
963.89/135.96	c (124,0) x[26][15] = 7
963.89/135.96	c (124,0) x[26][16] = 28
963.89/135.96	c (124,0) x[26][17] = 3
963.89/135.96	c (124,0) x[26][18] = 10
963.89/135.96	c (124,0) x[26][19] = 21
963.89/135.96	c (124,0) x[26][20] = 18
963.89/135.96	c (124,0) x[26][21] = 4
963.89/135.96	c (124,0) x[26][22] = 0
963.89/135.96	c (124,0) x[26][23] = 5
963.89/135.96	c (124,0) x[26][24] = 23
963.89/135.96	c (124,0) x[26][25] = 29
963.89/135.96	c (124,0) x[26][26] = 11
963.89/135.96	c (124,0) x[26][27] = 9
963.89/135.96	c (124,0) x[26][28] = 6
963.89/135.96	c (124,0) x[26][29] = 20
963.89/135.96	c (124,0) x[27][0] = 7
963.89/135.96	c (124,0) x[27][1] = 2
963.89/135.96	c (124,0) x[27][2] = 20
963.89/135.96	c (124,0) x[27][3] = 19
963.89/135.96	c (124,0) x[27][4] = 17
963.89/135.96	c (124,0) x[27][5] = 27
963.89/135.96	c (124,0) x[27][6] = 25
963.89/135.96	c (124,0) x[27][7] = 5
963.89/135.96	c (124,0) x[27][8] = 10
963.89/135.96	c (124,0) x[27][9] = 28
963.89/135.96	c (124,0) x[27][10] = 3
963.89/135.96	c (124,0) x[27][11] = 16
963.89/135.96	c (124,0) x[27][12] = 15
963.89/135.96	c (124,0) x[27][13] = 22
963.89/135.96	c (124,0) x[27][14] = 23
963.89/135.96	c (124,0) x[27][15] = 21
963.89/135.96	c (124,0) x[27][16] = 13
963.89/135.96	c (124,0) x[27][17] = 1
963.89/135.96	c (124,0) x[27][18] = 11
963.89/135.96	c (124,0) x[27][19] = 14
963.89/135.96	c (124,0) x[27][20] = 9
963.89/135.96	c (124,0) x[27][21] = 26
963.89/135.96	c (124,0) x[27][22] = 12
963.89/135.96	c (124,0) x[27][23] = 8
963.89/135.96	c (124,0) x[27][24] = 29
963.89/135.96	c (124,0) x[27][25] = 6
963.89/135.96	c (124,0) x[27][26] = 4
963.89/135.96	c (124,0) x[27][27] = 18
963.89/135.96	c (124,0) x[27][28] = 0
963.89/135.96	c (124,0) x[27][29] = 24
963.89/135.96	c (124,0) x[28][0] = 17
963.89/135.96	c (124,0) x[28][1] = 3
963.89/135.96	c (124,0) x[28][2] = 7
963.89/135.96	c (124,0) x[28][3] = 26
963.89/135.96	c (124,0) x[28][4] = 0
963.89/135.96	c (124,0) x[28][5] = 12
963.89/135.96	c (124,0) x[28][6] = 16
963.89/135.96	c (124,0) x[28][7] = 6
963.89/135.96	c (124,0) x[28][8] = 1
963.89/135.96	c (124,0) x[28][9] = 18
963.89/135.96	c (124,0) x[28][10] = 22
963.89/135.96	c (124,0) x[28][11] = 25
963.89/135.96	c (124,0) x[28][12] = 20
963.89/135.96	c (124,0) x[28][13] = 27
963.89/135.96	c (124,0) x[28][14] = 5
963.89/135.96	c (124,0) x[28][15] = 14
963.89/135.96	c (124,0) x[28][16] = 23
963.89/135.96	c (124,0) x[28][17] = 10
963.89/135.96	c (124,0) x[28][18] = 2
963.89/135.96	c (124,0) x[28][19] = 4
963.89/135.96	c (124,0) x[28][20] = 19
963.89/135.96	c (124,0) x[28][21] = 24
963.89/135.96	c (124,0) x[28][22] = 15
963.89/135.96	c (124,0) x[28][23] = 13
963.89/135.96	c (124,0) x[28][24] = 21
963.89/135.96	c (124,0) x[28][25] = 9
963.89/135.96	c (124,0) x[28][26] = 8
963.89/135.96	c (124,0) x[28][27] = 11
963.89/135.96	c (124,0) x[28][28] = 29
963.89/135.96	c (124,0) x[28][29] = 28
963.89/135.96	c (124,0) x[29][0] = 13
963.89/135.96	c (124,0) x[29][1] = 24
963.89/135.96	c (124,0) x[29][2] = 27
963.89/135.96	c (124,0) x[29][3] = 1
963.89/135.96	c (124,0) x[29][4] = 19
963.89/135.96	c (124,0) x[29][5] = 2
963.89/135.96	c (124,0) x[29][6] = 26
963.89/135.96	c (124,0) x[29][7] = 20
963.89/135.96	c (124,0) x[29][8] = 5
963.89/135.96	c (124,0) x[29][9] = 22
963.89/135.96	c (124,0) x[29][10] = 11
963.89/135.96	c (124,0) x[29][11] = 23
963.89/135.96	c (124,0) x[29][12] = 29
963.89/135.96	c (124,0) x[29][13] = 21
963.89/135.96	c (124,0) x[29][14] = 12
963.89/135.96	c (124,0) x[29][15] = 9
963.89/135.96	c (124,0) x[29][16] = 10
963.89/135.96	c (124,0) x[29][17] = 15
963.89/135.96	c (124,0) x[29][18] = 18
963.89/135.96	c (124,0) x[29][19] = 28
963.89/135.96	c (124,0) x[29][20] = 17
963.89/135.96	c (124,0) x[29][21] = 0
963.89/135.96	c (124,0) x[29][22] = 7
963.89/135.96	c (124,0) x[29][23] = 16
963.89/135.96	c (124,0) x[29][24] = 8
963.89/135.96	c (124,0) x[29][25] = 14
963.89/135.96	c (124,0) x[29][26] = 6
963.89/135.96	c (124,0) x[29][27] = 3
963.89/135.96	c (124,0) x[29][28] = 4
963.89/135.96	c (124,0) x[29][29] = 25
963.89/135.96	s SATISFIABLE
963.89/135.96	v <instantiation>
963.89/135.96	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>
963.89/135.96	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>
963.89/135.96	v </instantiation>
963.89/135.96	c (124,0) Show results End
963.89/135.96	c (124,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
963.89/135.96	c (124,0) 124,124,STOP-AFTER(ALL)
963.89/135.96	c END-Prog: Sat Sep 14 08:34:03 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 (15248 MiB free)
  memory of node 1: 16384 MiB (15633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392770-1568442757/watcher-4392770-1568442757 -o /tmp/evaluation-result-4392770-1568442757/solver-4392770-1568442757 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --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-4392770-1568442757.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=10271, runsolver pid=10268
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 2.59 5.51 7.11 2/217 10293
/proc/meminfo: memFree=31529732/32770624 swapFree=67009760/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420198409 115843072 349 33554432000 4194304 5098028 140721333700448 140721333697704 139675584598652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35299328 140721333703460 140721333703788 140721333703788 140721333706701 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=27314120 memory=107184 CPUtime=0.1 cores=0-7
/proc/10274/stat : 10274 (java) S 10271 10271 8552 0 -1 1077944320 6883 0 0 0 8 2 0 0 20 0 20 0 420198409 27969658880 26796 33554432000 4194304 4196468 140735739233472 140735739216016 140392683110135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
/proc/10274/statm: 6828530 26796 2771 1 0 6790935 0
[pid=10274/tid=10275] ppid=10271 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 8552 0 -1 4202560 5008 0 0 0 7 2 0 0 20 0 20 0 420198409 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392654936464 140392683132061 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10276] ppid=10271 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392687352720 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10277] ppid=10271 vsize=27314120 memory=140476638594688 CPUtime=0 cores=0-7
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392501508880 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10278] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392500456592 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10279] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392499403792 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10280] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392498350480 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10281] ppid=10271 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392497297680 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10282] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392496245392 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10283] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 26796 33554432000 4194304 4196468 140735739233472 140392495192592 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10284] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198413 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390733691504 140392683121282 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10285] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10285/stat : 10285 (java) S 10271 10271 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420198414 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390602630432 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10286] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10286/stat : 10286 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198414 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390334195312 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10287] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198416 27969658880 26796 33554432000 4194304 4196468 140735739233472 140389959686736 140392683128731 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10288] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 8552 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 420198416 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390732638320 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10289] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10289/stat : 10289 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390731585520 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10290] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10290/stat : 10290 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390730533232 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10291] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10291/stat : 10291 (java) S 10271 10271 8552 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390729480432 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10292] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10292/stat : 10292 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 26796 33554432000 4194304 4196468 140735739233472 140389461781344 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10293] ppid=10271 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10274/task/10293/stat : 10293 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 26796 33554432000 4194304 4196468 140735739233472 140390728428336 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108580 KiB

[startup+0.210604 s]*
/proc/loadavg: 2.59 5.51 7.11 3/217 10293
/proc/meminfo: memFree=31505256/32770624 swapFree=67009760/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420198409 115843072 349 33554432000 4194304 5098028 140721333700448 140721333697704 139675584598652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35299328 140721333703460 140721333703788 140721333703788 140721333706701 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=27314120 memory=126528 CPUtime=0.24 cores=0-7
/proc/10274/stat : 10274 (java) S 10271 10271 8552 0 -1 1077944320 12553 0 0 0 20 4 0 0 20 0 20 0 420198409 27969658880 31632 33554432000 4194304 4196468 140735739233472 140735739216016 140392683110135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
/proc/10274/statm: 6828530 31632 2920 1 0 6790935 0
[pid=10274/tid=10275] ppid=10271 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 8552 0 -1 4202560 10263 0 0 0 16 3 0 0 20 0 20 0 420198409 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392654909520 140392664673710 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10276] ppid=10271 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392687352720 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10277] ppid=10271 vsize=27314120 memory=3760709048931485344 CPUtime=0 cores=0-7
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392501508880 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10278] ppid=10271 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392500456592 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10279] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392499403792 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10280] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392498350480 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10281] ppid=10271 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392497297680 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10282] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392496245392 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10283] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 31632 33554432000 4194304 4196468 140735739233472 140392495192592 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10284] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198413 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390733691504 140392683121282 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10285] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10285/stat : 10285 (java) S 10271 10271 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420198414 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390602630432 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10286] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10286/stat : 10286 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198414 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390334195312 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10287] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198416 27969658880 31632 33554432000 4194304 4196468 140735739233472 140389959686736 140392683128731 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10288] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 8552 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 420198416 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390732638320 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10289] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10289/stat : 10289 (java) S 10271 10271 8552 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390731585520 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10290] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10290/stat : 10290 (java) S 10271 10271 8552 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390730533232 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10291] ppid=10271 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/10274/task/10291/stat : 10291 (java) S 10271 10271 8552 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 420198417 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390729480432 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10292] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10292/stat : 10292 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 31632 33554432000 4194304 4196468 140735739233472 140389461781344 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10293] ppid=10271 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10274/task/10293/stat : 10293 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 31632 33554432000 4194304 4196468 140735739233472 140390728428336 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127924 KiB

[startup+0.309815 s]*
/proc/loadavg: 2.59 5.51 7.11 2/217 10293
/proc/meminfo: memFree=31502680/32770624 swapFree=67009760/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420198409 115843072 349 33554432000 4194304 5098028 140721333700448 140721333697704 139675584598652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35299328 140721333703460 140721333703788 140721333703788 140721333706701 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=27314120 memory=130132 CPUtime=0.42 cores=0-7
/proc/10274/stat : 10274 (java) S 10271 10271 8552 0 -1 1077944320 12921 0 0 0 38 4 0 0 20 0 20 0 420198409 27969658880 32533 33554432000 4194304 4196468 140735739233472 140735739216016 140392683110135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
/proc/10274/statm: 6828530 32533 3009 1 0 6790935 0
[pid=10274/tid=10275] ppid=10271 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 8552 0 -1 4202560 10450 0 0 0 26 3 0 0 20 0 20 0 420198409 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392654922848 140392667190622 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10276] ppid=10271 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392687352720 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10277] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392501508880 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10278] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392500456592 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10279] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392499403792 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10280] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392498350480 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10281] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392497297680 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10282] ppid=10271 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392496245392 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10283] ppid=10271 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27969658880 32533 33554432000 4194304 4196468 140735739233472 140392495192592 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10284] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198413 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390733691504 140392683121282 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10285] ppid=10271 vsize=27314120 memory=140476502073807 CPUtime=0 cores=0-7
/proc/10274/task/10285/stat : 10285 (java) S 10271 10271 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420198414 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390602630432 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10286] ppid=10271 vsize=27314120 memory=280953004175248 CPUtime=0 cores=0-7
/proc/10274/task/10286/stat : 10286 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198414 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390334195312 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10287] ppid=10271 vsize=27314120 memory=280953004172944 CPUtime=0 cores=0-7
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198416 27969658880 32533 33554432000 4194304 4196468 140735739233472 140389959686736 140392683128731 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10288] ppid=10271 vsize=27314120 memory=280953004179856 CPUtime=0.01 cores=0-7
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 8552 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 420198416 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390732638320 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10289] ppid=10271 vsize=27314120 memory=280953004121136 CPUtime=0.01 cores=0-7
/proc/10274/task/10289/stat : 10289 (java) S 10271 10271 8552 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 420198417 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390731585520 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10290] ppid=10271 vsize=27314120 memory=280953004193680 CPUtime=0.01 cores=0-7
/proc/10274/task/10290/stat : 10290 (java) R 10271 10271 8552 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 20 0 420198417 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390730533232 140392667021150 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10291] ppid=10271 vsize=27314120 memory=280953004200560 CPUtime=0.06 cores=0-7
/proc/10274/task/10291/stat : 10291 (java) S 10271 10271 8552 0 -1 1077944384 480 0 0 0 6 0 0 0 20 0 20 0 420198417 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390729480432 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10292] ppid=10271 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10292/stat : 10292 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 32533 33554432000 4194304 4196468 140735739233472 140389461781344 140392683120341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10293] ppid=10271 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10274/task/10293/stat : 10293 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198417 27969658880 32533 33554432000 4194304 4196468 140735739233472 140390728428336 140392683121282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131528 KiB

[startup+0.700882 s]
/proc/loadavg: 2.59 5.51 7.11 2/217 10293
/proc/meminfo: memFree=31481848/32770624 swapFree=67009760/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420198409 115843072 349 33554432000 4194304 5098028 140721333700448 140721333697704 139675584598652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35299328 140721333703460 140721333703788 140721333703788 140721333706701 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=27322516 memory=166220 CPUtime=0.99 cores=0-7
/proc/10274/stat : 10274 (java) S 10271 10271 8552 0 -1 1077944320 20632 0 0 0 92 7 0 0 20 0 20 0 420198409 27978256384 41555 33554432000 4194304 4196468 140735739233472 140735739216016 140392683110135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
/proc/10274/statm: 6830629 41555 3202 1 0 6791959 0
[pid=10274/tid=10275] ppid=10271 vsize=27322516 memory=2244 CPUtime=0.68 cores=0-7
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 8552 0 -1 4202560 17595 0 0 0 62 6 0 0 20 0 20 0 420198409 27978256384 41555 33554432000 4194304 4196468 140735739233472 140392654939360 140392667190622 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10276] ppid=10271 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420198412 27978256384 41555 33554432000 4194304 4196468 140735739233472 140392687352720 140392683120341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10277] ppid=10271 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27978256384 41555 33554432000 4194304 4196468 140735739233472 140392501508880 140392683120341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0
[pid=10274/tid=10278] ppid=10271 vsize=27322516 memory=14008 CPUtime=0 cores=0-7
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420198412 27978256384 41555 33554432000 4194304 4196468 140735739233472 140392500456592 140392683120341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140735739241194 140735739241622 140735739241622 140735739244495 0

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

[pid=10294/tid=10295] ppid=10271 vsize=8414124 memory=1436 CPUtime=0.81 cores=0-7
/proc/10294/task/10295/stat : 10295 (java) S 10271 10271 8552 0 -1 1077944384 17514 0 0 0 74 7 0 0 20 0 24 0 420199484 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365643837344 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10296] ppid=10271 vsize=8414124 memory=18192 CPUtime=0 cores=0-7
/proc/10294/task/10296/stat : 10296 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365676239248 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10297] ppid=10271 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/10294/task/10297/stat : 10297 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365505333520 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10298] ppid=10271 vsize=8414124 memory=1948 CPUtime=0 cores=0-7
/proc/10294/task/10298/stat : 10298 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365156223632 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10299] ppid=10271 vsize=8414124 memory=1296 CPUtime=0 cores=0-7
/proc/10294/task/10299/stat : 10299 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365155170832 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10300] ppid=10271 vsize=8414124 memory=732 CPUtime=0 cores=0-7
/proc/10294/task/10300/stat : 10300 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365154118544 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10301] ppid=10271 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/10294/task/10301/stat : 10301 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365153065744 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10302] ppid=10271 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/10294/task/10302/stat : 10302 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365152013456 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10303] ppid=10271 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/10294/task/10303/stat : 10303 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420199485 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365150960656 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10304] ppid=10271 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/10294/task/10304/stat : 10304 (java) S 10271 10271 8552 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420199487 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364898883696 140365672008322 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10305] ppid=10271 vsize=8414124 memory=8500 CPUtime=0 cores=0-7
/proc/10294/task/10305/stat : 10305 (java) S 10271 10271 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420199487 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364228846368 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10306] ppid=10271 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/10294/task/10306/stat : 10306 (java) S 10271 10271 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420199487 8616062976 30598 33554432000 4194304 4196468 140720488095984 140363960411248 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10307] ppid=10271 vsize=8414124 memory=1188 CPUtime=0 cores=0-7
/proc/10294/task/10307/stat : 10307 (java) S 10271 10271 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140363585902672 140365672015771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10308] ppid=10271 vsize=8414124 memory=1060 CPUtime=0.12 cores=0-7
/proc/10294/task/10308/stat : 10308 (java) S 10271 10271 8552 0 -1 1077944384 773 0 0 0 12 0 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364897831536 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10309] ppid=10271 vsize=8414124 memory=7988 CPUtime=0.1 cores=0-7
/proc/10294/task/10309/stat : 10309 (java) S 10271 10271 8552 0 -1 1077944384 440 0 0 0 10 0 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364896778736 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10310] ppid=10271 vsize=8414124 memory=1584 CPUtime=0.11 cores=0-7
/proc/10294/task/10310/stat : 10310 (java) S 10271 10271 8552 0 -1 1077944384 568 0 0 0 11 0 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364895726448 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10311] ppid=10271 vsize=8414124 memory=14008 CPUtime=0.23 cores=0-7
/proc/10294/task/10311/stat : 10311 (java) S 10271 10271 8552 0 -1 1077944384 973 0 0 0 23 0 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364894673648 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10312] ppid=10271 vsize=8414124 memory=6340 CPUtime=0 cores=0-7
/proc/10294/task/10312/stat : 10312 (java) S 10271 10271 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140363087997280 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10313] ppid=10271 vsize=8414124 memory=13948 CPUtime=0.07 cores=0-7
/proc/10294/task/10313/stat : 10313 (java) S 10271 10271 8552 0 -1 1077944384 11 0 0 0 1 6 0 0 20 0 24 0 420199490 8616062976 30598 33554432000 4194304 4196468 140720488095984 140364893620528 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10315] ppid=10271 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/10294/task/10315/stat : 10315 (java) S 10271 10271 8552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420199562 8616062976 30598 33554432000 4194304 4196468 140720488095984 140365101565248 140365672021785 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10317] ppid=10271 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/10294/task/10317/stat : 10317 (java) S 10271 10271 8552 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420199562 8616062976 30598 33554432000 4194304 4196468 140720488095984 140362416897936 140365672019101 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10318] ppid=10271 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/10294/task/10318/stat : 10318 (java) S 10271 10271 8552 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420199562 8616062976 30598 33554432000 4194304 4196468 140720488095984 140362685333264 140365672019101 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10319] ppid=10271 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10294/task/10319/stat : 10319 (java) S 10271 10271 8552 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420199564 8616062976 30598 33554432000 4194304 4196468 140720488095984 140362148470576 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
Current children cumulated CPU time: 963.29 s
Current children cumulated vsize: 9322876 KiB
Current children cumulated memory: 627336 KiB

[startup+135.801 s]
/proc/loadavg: 7.33 6.26 7.16 2/223 10335
/proc/meminfo: memFree=31006896/32770624 swapFree=67009760/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1476 CPUtime=20.27 cores=0-7
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 8552 0 -1 4202496 582 36812 0 0 0 0 1945 82 20 0 1 0 420198409 115843072 369 33554432000 4194304 5098028 140721333700448 140721333697192 139675584598652 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35299328 140721333703460 140721333703788 140721333703788 140721333706701 0
/proc/10271/statm: 28282 369 311 221 0 87 0
[pid=10294] ppid=10271 vsize=8283048 memory=137808 CPUtime=943.41 cores=0-7
/proc/10294/stat : 10294 (java) S 10271 10271 8552 0 -1 1077944320 22943 526554 0 0 169 10 94050 112 20 0 22 0 420199484 8481841152 34452 33554432000 4194304 4196468 140720488095984 140720488078528 140365671997175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
/proc/10294/statm: 2070762 34452 3227 1 0 2032106 0
[pid=10294/tid=10295] ppid=10271 vsize=8283048 memory=1792 CPUtime=942.48 cores=0-7
/proc/10294/task/10295/stat : 10295 (java) R 10271 10271 8552 0 -1 4202560 17671 526554 0 0 79 7 94050 112 20 0 22 0 420199484 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365643835088 140365174284959 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10296] ppid=10271 vsize=8283048 memory=2200 CPUtime=941.62 cores=0-7
/proc/10294/task/10296/stat : 10296 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365676239248 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10297] ppid=10271 vsize=8283048 memory=1600 CPUtime=941.62 cores=0-7
/proc/10294/task/10297/stat : 10297 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365505333520 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10298] ppid=10271 vsize=8283048 memory=1398722017469774279 CPUtime=941.62 cores=0-7
/proc/10294/task/10298/stat : 10298 (java) S 10271 10271 8552 0 -1 1077944384 2 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365156223632 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10299] ppid=10271 vsize=8283048 memory=4872558044660077418 CPUtime=941.62 cores=0-7
/proc/10294/task/10299/stat : 10299 (java) S 10271 10271 8552 0 -1 1077944384 2 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365155170832 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10300] ppid=10271 vsize=8283048 memory=4872558044660077418 CPUtime=941.62 cores=0-7
/proc/10294/task/10300/stat : 10300 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365154118544 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10301] ppid=10271 vsize=8283048 memory=7234303152781525078 CPUtime=941.62 cores=0-7
/proc/10294/task/10301/stat : 10301 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365153065744 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10302] ppid=10271 vsize=8283048 memory=288283364069475211 CPUtime=941.62 cores=0-7
/proc/10294/task/10302/stat : 10302 (java) S 10271 10271 8552 0 -1 1077944384 3 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365152013456 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10303] ppid=10271 vsize=8283048 memory=-8253362762722141311 CPUtime=941.62 cores=0-7
/proc/10294/task/10303/stat : 10303 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365150960656 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10304] ppid=10271 vsize=8283048 memory=-8412656567318647667 CPUtime=941.62 cores=0-7
/proc/10294/task/10304/stat : 10304 (java) S 10271 10271 8552 0 -1 1077944384 9 526554 0 0 0 0 94050 112 20 0 22 0 420199487 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364898883696 140365672008322 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10305] ppid=10271 vsize=8283048 memory=8514701219730522529 CPUtime=941.62 cores=0-7
/proc/10294/task/10305/stat : 10305 (java) S 10271 10271 8552 0 -1 1077944384 13 526554 0 0 0 0 94050 112 20 0 22 0 420199487 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364228846368 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10306] ppid=10271 vsize=8283048 memory=7822038051842261661 CPUtime=941.62 cores=0-7
/proc/10294/task/10306/stat : 10306 (java) S 10271 10271 8552 0 -1 1077944384 2 526554 0 0 0 0 94050 112 20 0 22 0 420199487 8481841152 34452 33554432000 4194304 4196468 140720488095984 140363960411248 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10307] ppid=10271 vsize=8283048 memory=1980 CPUtime=941.62 cores=0-7
/proc/10294/task/10307/stat : 10307 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140363585902672 140365672015771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10308] ppid=10271 vsize=8283048 memory=2452 CPUtime=941.79 cores=0-7
/proc/10294/task/10308/stat : 10308 (java) R 10271 10271 8552 0 -1 1077944384 990 526554 0 0 17 0 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364897831536 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10309] ppid=10271 vsize=8283048 memory=1764 CPUtime=941.75 cores=0-7
/proc/10294/task/10309/stat : 10309 (java) S 10271 10271 8552 0 -1 1077944384 453 526554 0 0 13 0 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364896778736 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10310] ppid=10271 vsize=8283048 memory=111632 CPUtime=941.76 cores=0-7
/proc/10294/task/10310/stat : 10310 (java) R 10271 10271 8552 0 -1 4202560 587 526554 0 0 14 0 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364895704800 140365672011057 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10311] ppid=10271 vsize=8283048 memory=4104 CPUtime=941.91 cores=0-7
/proc/10294/task/10311/stat : 10311 (java) S 10271 10271 8552 0 -1 1077944384 1259 526554 0 0 29 0 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364894673648 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10312] ppid=10271 vsize=8283048 memory=1804 CPUtime=941.62 cores=0-7
/proc/10294/task/10312/stat : 10312 (java) S 10271 10271 8552 0 -1 1077944384 3 526554 0 0 0 0 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140363087997280 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10313] ppid=10271 vsize=8283048 memory=920 CPUtime=941.69 cores=0-7
/proc/10294/task/10313/stat : 10313 (java) S 10271 10271 8552 0 -1 1077944384 11 526554 0 0 1 6 94050 112 20 0 22 0 420199490 8481841152 34452 33554432000 4194304 4196468 140720488095984 140364893620528 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10315] ppid=10271 vsize=8283048 memory=4460 CPUtime=941.62 cores=0-7
/proc/10294/task/10315/stat : 10315 (java) S 10271 10271 8552 0 -1 1077944384 25 526554 0 0 0 0 94050 112 20 0 22 0 420199562 8481841152 34452 33554432000 4194304 4196468 140720488095984 140365101564432 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10319] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.62 cores=0-7
/proc/10294/task/10319/stat : 10319 (java) S 10271 10271 8552 0 -1 1077944384 16 526554 0 0 0 0 94050 112 20 0 22 0 420199564 8481841152 34452 33554432000 4194304 4196468 140720488095984 140362148472368 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
Current children cumulated CPU time: 963.68 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139284 KiB

[startup+135.901 s]
/proc/loadavg: 7.33 6.26 7.16 2/223 10335
/proc/meminfo: memFree=31006896/32770624 swapFree=67009760/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1476 CPUtime=20.27 cores=0-7
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 8552 0 -1 4202496 582 36812 0 0 0 0 1945 82 20 0 1 0 420198409 115843072 369 33554432000 4194304 5098028 140721333700448 140721333697192 139675584598652 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35299328 140721333703460 140721333703788 140721333703788 140721333706701 0
/proc/10271/statm: 28282 369 311 221 0 87 0
[pid=10294] ppid=10271 vsize=8283048 memory=141496 CPUtime=943.62 cores=0-7
/proc/10294/stat : 10294 (java) S 10271 10271 8552 0 -1 1077944320 23274 526554 0 0 190 10 94050 112 20 0 22 0 420199484 8481841152 35374 33554432000 4194304 4196468 140720488095984 140720488078528 140365671997175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
/proc/10294/statm: 2070762 35374 3234 1 0 2032106 0
[pid=10294/tid=10295] ppid=10271 vsize=8283048 memory=125584 CPUtime=942.57 cores=0-7
/proc/10294/task/10295/stat : 10295 (java) R 10271 10271 8552 0 -1 4202560 17803 526554 0 0 88 7 94050 112 20 0 22 0 420199484 8481841152 35374 33554432000 4194304 4196468 140720488095984 140365643832512 140365655338570 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10296] ppid=10271 vsize=8283048 memory=8500 CPUtime=941.62 cores=0-7
/proc/10294/task/10296/stat : 10296 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35374 33554432000 4194304 4196468 140720488095984 140365676239248 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10297] ppid=10271 vsize=8283048 memory=503468 CPUtime=941.62 cores=0-7
/proc/10294/task/10297/stat : 10297 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35374 33554432000 4194304 4196468 140720488095984 140365505333520 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10298] ppid=10271 vsize=8283048 memory=732 CPUtime=941.62 cores=0-7
/proc/10294/task/10298/stat : 10298 (java) S 10271 10271 8552 0 -1 1077944384 2 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365156223632 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10299] ppid=10271 vsize=8283048 memory=0 CPUtime=941.62 cores=0-7
/proc/10294/task/10299/stat : 10299 (java) S 10271 10271 8552 0 -1 1077944384 2 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365155170832 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10300] ppid=10271 vsize=8283048 memory=0 CPUtime=941.62 cores=0-7
/proc/10294/task/10300/stat : 10300 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365154118544 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10301] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.62 cores=0-7
/proc/10294/task/10301/stat : 10301 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365153065744 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10302] ppid=10271 vsize=8283048 memory=121612 CPUtime=941.62 cores=0-7
/proc/10294/task/10302/stat : 10302 (java) S 10271 10271 8552 0 -1 1077944384 3 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365152013456 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10303] ppid=10271 vsize=8283048 memory=464456 CPUtime=941.62 cores=0-7
/proc/10294/task/10303/stat : 10303 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199485 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365150960656 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10304] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.62 cores=0-7
/proc/10294/task/10304/stat : 10304 (java) S 10271 10271 8552 0 -1 1077944384 9 526554 0 0 0 0 94050 112 20 0 22 0 420199487 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364898883696 140365672008322 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10305] ppid=10271 vsize=8283048 memory=122392 CPUtime=941.62 cores=0-7
/proc/10294/task/10305/stat : 10305 (java) S 10271 10271 8552 0 -1 1077944384 13 526554 0 0 0 0 94050 112 20 0 22 0 420199487 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364228846368 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10306] ppid=10271 vsize=8283048 memory=493832 CPUtime=941.62 cores=0-7
/proc/10294/task/10306/stat : 10306 (java) S 10271 10271 8552 0 -1 1077944384 2 526554 0 0 0 0 94050 112 20 0 22 0 420199487 8481841152 35391 33554432000 4194304 4196468 140720488095984 140363960411248 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10307] ppid=10271 vsize=8283048 memory=1560 CPUtime=941.62 cores=0-7
/proc/10294/task/10307/stat : 10307 (java) S 10271 10271 8552 0 -1 1077944384 1 526554 0 0 0 0 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140363585902672 140365672015771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10308] ppid=10271 vsize=8283048 memory=928 CPUtime=941.79 cores=0-7
/proc/10294/task/10308/stat : 10308 (java) S 10271 10271 8552 0 -1 1077944384 1000 526554 0 0 17 0 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364897831536 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10309] ppid=10271 vsize=8283048 memory=1616 CPUtime=941.76 cores=0-7
/proc/10294/task/10309/stat : 10309 (java) R 10271 10271 8552 0 -1 4202560 468 526554 0 0 14 0 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364896766928 140365653176037 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10310] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.79 cores=0-7
/proc/10294/task/10310/stat : 10310 (java) S 10271 10271 8552 0 -1 1077944384 607 526554 0 0 17 0 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364895726448 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10311] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.98 cores=0-7
/proc/10294/task/10311/stat : 10311 (java) R 10271 10271 8552 0 -1 4202560 1418 526554 0 0 36 0 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364894673648 140365672009110 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10312] ppid=10271 vsize=8283048 memory=122392 CPUtime=941.62 cores=0-7
/proc/10294/task/10312/stat : 10312 (java) S 10271 10271 8552 0 -1 1077944384 3 526554 0 0 0 0 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140363087997280 140365672007381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10313] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.69 cores=0-7
/proc/10294/task/10313/stat : 10313 (java) S 10271 10271 8552 0 -1 1077944384 11 526554 0 0 1 6 94050 112 20 0 22 0 420199490 8481841152 35391 33554432000 4194304 4196468 140720488095984 140364893620528 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10315] ppid=10271 vsize=8283048 memory=122392 CPUtime=941.62 cores=0-7
/proc/10294/task/10315/stat : 10315 (java) S 10271 10271 8552 0 -1 1077944384 25 526554 0 0 0 0 94050 112 20 0 22 0 420199562 8481841152 35391 33554432000 4194304 4196468 140720488095984 140365101564432 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
[pid=10294/tid=10319] ppid=10271 vsize=8283048 memory=1476 CPUtime=941.62 cores=0-7
/proc/10294/task/10319/stat : 10319 (java) S 10271 10271 8552 0 -1 1077944384 16 526554 0 0 0 0 94050 112 20 0 22 0 420199564 8481841152 35391 33554432000 4194304 4196468 140720488095984 140362148472368 140365672008322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22470656 140720488104951 140720488105110 140720488105110 140720488107983 0
Current children cumulated CPU time: 963.89 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142972 KiB

Child status: 0
Real time (s): 135.987
CPU time (s): 964.132
CPU user time (s): 962.056
CPU system time (s): 2.07594
CPU usage (%): 708.987
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4430092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 962.056
system time used= 2.07594
maximum resident set size= 4431116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18675
involuntary context switches= 10415


# summary of solver processes directly reported to runsolver:
#   pid: 10271
#   total CPU time (s): 964.132
#   total CPU user time (s): 962.056
#   total CPU system time (s): 2.07594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30703 second user time and 1.89559 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 08:31:47
IDJOB=4392770
IDBENCH=138939
IDSOLVER=2839
FILE ID=node132/4392770-1568442757
RUNJOBID= node132-1568438679-8579
PBS_JOBID= 21702326
Free space on /tmp= 61624 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-20.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -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-4392770-1568442757/watcher-4392770-1568442757 -o /tmp/evaluation-result-4392770-1568442757/solver-4392770-1568442757 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --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-4392770-1568442757.xml

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

MD5SUM BENCH= cc39eb921a5cd1c2fcd1d541ff73edd4
RANDOM SEED=1805620394

node132.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.95
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.95
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.95
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.95
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:        31623416 kB
MemAvailable:   31914760 kB
Buffers:           74712 kB
Cached:           495336 kB
SwapCached:         6276 kB
Active:           405192 kB
Inactive:         172616 kB
Active(anon):       4004 kB
Inactive(anon):    31660 kB
Active(file):     401188 kB
Inactive(file):   140956 kB
Unevictable:      109404 kB
Mlocked:          109404 kB
SwapTotal:      67108860 kB
SwapFree:       67009760 kB
Dirty:             20356 kB
Writeback:             0 kB
AnonPages:        112700 kB
Mapped:            32256 kB
Shmem:             19608 kB
Slab:             159336 kB
SReclaimable:     130072 kB
SUnreclaim:        29264 kB
KernelStack:        3792 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61604 MiB
End job on node132 at 2019-09-14 08:34:03