Trace number 4405602

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-06.xml
MD5SUM4d249bb6d4470f00f240c18f02f8ea53
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 benchmark18.363
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-8018-serial-file.bin HOME/instance-4405602-1569359296.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.57	c BEGIN-Prog: Tue Sep 24 22:06:36 CEST 2019
0.66/0.57	c PID: 8021
0.66/0.57	c IP: 172.20.3.105
0.66/0.57	c HOST: node105.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.69/1.05	c (0,0) Parsing End
1.69/1.06	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.69/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.69/1.07	c (0,0) Constraint Name Generate Begin
1.69/1.07	c (0,0) Ctr:HOME/instance-4405602-1569359296.xml,AllDifferentMatrix:Instantiation:Var
1.69/1.07	c (0,0) Constraint Name Generate End
1.69/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.69/1.07	c (0,0) CSP to CSPinCNF Begin
1.69/1.11	c (0,0) translated 1 (10%) constraints
5.48/2.79	c (2,2) translated 2 (20%) constraints
5.66/2.82	c (2,2) ===========================================
6.06/2.91	c (2,2) Hybrid: #OE=375, #LE=525
6.06/2.91	c (2,2) Hybrid
6.06/2.91	c (2,2) ===========================================
7.93/3.48	c (2,2) translated 2855 (10%) constraints
9.28/3.83	c (3,3) translated 5709 (20%) constraints
9.65/4.16	c (3,3) translated 8564 (30%) constraints
9.94/4.46	c (3,3) translated 11418 (40%) constraints
10.25/4.80	c (4,4) translated 14273 (50%) constraints
10.58/5.08	c (4,4) translated 17127 (60%) constraints
10.89/5.34	c (4,4) translated 19982 (70%) constraints
11.23/5.61	c (5,5) translated 22836 (80%) constraints
11.55/5.91	c (5,5) translated 25691 (90%) constraints
11.76/6.15	c (5,5) translated 28545 (100%) constraints
11.76/6.15	c (5,5) CSP to CSPinCNF End
11.76/6.16	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137070 ctr, max domain size 30
11.76/6.16	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.76/6.16	c (5,5) CSPinCNF Propagation Begin
14.95/8.16	c (7,7) 20563 values, 88388 unsatisfiable literals, and 91835 valid clauses are removed
14.95/8.16	c (7,7) CSPinCNF Propagation End
14.95/8.16	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 45235 ctr, max domain size 30
14.95/8.16	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.11/8.21	c (7,7) Hybrid: #OE=27375, #LE=525
15.11/8.21	c (7,7) Simplify CSPinCNF Begin
16.26/8.74	c (8,8) Simplify CSPinCNF End
16.26/8.75	c (8,8) CSP: 866 int (0 aux), 52894 bool (52860 aux), 71095 ctr, max domain size 30
16.26/8.75	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.26/8.75	c (8,8) Calculate Precise Domain Begin
16.26/8.75	c (8,8) 0 values are removed by re-calculation
16.26/8.75	c (8,8) Calculate Precise Domain End
16.26/8.76	c (8,8) CSP: 866 int (0 aux), 52894 bool (52860 aux), 71095 ctr, max domain size 30
16.26/8.76	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.26/8.76	c (8,8) CSPinCNF to SatSolver Begin
18.34/9.33	c (8,8) 7110 (10 %) CSP clauses are encoded (0 SAT variables, 29234 SAT clauses)
18.54/9.49	c (8,8) 14219 (20 %) CSP clauses are encoded (0 SAT variables, 51045 SAT clauses)
18.82/9.65	c (9,9) 21329 (30 %) CSP clauses are encoded (0 SAT variables, 73067 SAT clauses)
18.93/9.79	c (9,9) 28438 (40 %) CSP clauses are encoded (0 SAT variables, 94132 SAT clauses)
19.15/9.93	c (9,9) 35548 (50 %) CSP clauses are encoded (0 SAT variables, 115760 SAT clauses)
19.25/10.07	c (9,9) 42657 (60 %) CSP clauses are encoded (0 SAT variables, 136621 SAT clauses)
19.57/10.21	c (9,9) 49767 (70 %) CSP clauses are encoded (0 SAT variables, 158225 SAT clauses)
19.67/10.35	c (9,9) 56876 (80 %) CSP clauses are encoded (0 SAT variables, 179874 SAT clauses)
19.77/10.49	c (9,9) 63986 (90 %) CSP clauses are encoded (0 SAT variables, 201230 SAT clauses)
19.97/10.63	c (10,10) 71095 (100 %) CSP clauses are encoded (0 SAT variables, 223191 SAT clauses)
19.97/10.63	c (10,10) CSPinCNF to SatSolver End
19.97/10.63	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.97/10.63	c (10,10) 41980 bool, 223192 clause
19.97/10.63	c (10,10) Export Begin
20.13/10.77	c (10,10) Export to HOME/scop-8018-serial-file.bin
20.13/10.77	c (10,10) Export End
20.13/10.77	c (10,10) Export File Size: 0.15 MB
20.13/10.77	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.13/10.77	c END-Prog: Tue Sep 24 22:06:46 CEST 2019
0.00/10.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8018-serial-file.bin
20.87/11.28	c (0,0) Read Serial File Begin
20.87/11.28	c (0,0) HOME/scop-8018-serial-file.bin
21.35/11.53	c (0,0) Read Serial File End
21.35/11.54	
21.35/11.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.35/11.54	(Solving Process)
21.35/11.54	
21.35/11.56	c BEGIN-Prog: Tue Sep 24 22:06:47 CEST 2019
21.35/11.56	c PID: 8041
21.35/11.56	c IP: 172.20.3.105
21.35/11.56	c HOST: node105.alineos.net
21.35/11.57	c (0,0) SatSolver.solve Begin
21.35/11.57	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405602-1569359296.xml-scop-8021.cnf
21.35/11.59	c (0,0) c
21.35/11.59	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.35/11.59	c (0,0) c
21.35/11.59	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.35/11.59	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.35/11.59	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.35/11.59	c (0,0) c |                                                                                                       |
21.69/11.68	c (0,0) c |  Number of variables:         41980                                                                   |
21.69/11.68	c (0,0) c |  Number of clauses:          223192                                                                   |
21.69/11.68	c (0,0) c |  Parse time:                   0.08 s                                                                 |
21.69/11.68	c (0,0) c |                                                                                                       |
21.76/11.90	c (0,0) c |  Simplification time:          0.22 s                                                                 |
21.76/11.90	c (0,0) c |                                                                                                       |
21.76/11.90	c (0,0) c |  Generating clones                                                                                    |
22.16/12.02	c (0,0) c |  all clones generated. Memory =   207.45Mb.                                                           |
22.16/12.02	c (0,0) c ========================================================================================================|
22.16/12.02	c (0,0) c
22.16/12.02	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.16/12.02	c (0,0) c
22.16/12.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.16/12.02	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.16/12.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.16/12.02	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.16/12.02	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.16/12.02	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.16/12.02	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.16/12.02	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.16/12.02	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.16/12.02	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.16/12.02	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.16/12.02	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.16/12.02	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.16/12.02	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.16/12.02	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.16/12.02	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.16/12.02	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.16/12.02	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.16/12.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
256.44/41.41	c (30,0) c
256.44/41.41	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.44/41.41	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
256.44/41.41	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.44/41.41	c (30,0) c |  0 |    499 |     291055 |      32211 |    61297 |    15828 |     6499 |    40646 |     2933 |      143 |  20 |  6.034 |
256.44/41.41	c (30,0) c |  1 |    500 |     288479 |      32929 |    61222 |    16539 |     6491 |    41385 |     2940 |      146 |  20 |  6.036 |
256.44/41.41	c (30,0) c |  2 |    530 |     292154 |      33512 |    61579 |    17141 |     6521 |    42034 |     3081 |      149 |  20 |  6.036 |
256.44/41.41	c (30,0) c |  3 |    529 |     297641 |      34302 |    62192 |    17913 |     6652 |    42788 |     3208 |      153 |  20 |  6.036 |
256.44/41.41	c (30,0) c |  4 |    534 |     288354 |      34023 |    62021 |    17646 |     6549 |    42405 |     3181 |      151 |  20 |  6.036 |
256.44/41.41	c (30,0) c |  5 |    515 |     287371 |      33438 |    61951 |    17052 |     6508 |    42007 |     3047 |      149 |  20 |  6.036 |
256.44/41.41	c (30,0) c |  6 |    542 |     297955 |      34726 |    62459 |    18339 |     6601 |    43070 |     3201 |      154 |  20 |  6.036 |
256.44/41.41	c (30,0) c |  7 |    541 |     296685 |      34596 |    62422 |    18211 |     6578 |    43055 |     3206 |      154 |  20 |  6.036 |
256.44/41.41	c (30,0) c 
256.44/41.41	c (30,0) c synthesis      269737 conflicts   343292525 propagations     1152 conflicts/sec  1465700 propagations/sec
256.44/41.41	c (30,0) c real: 29.8173 s, cpu: 234.218 s, memory: 778.25 Mb
487.75/70.41	c (59,0) c
487.75/70.41	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
487.75/70.41	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
487.75/70.41	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
487.75/70.41	c (59,0) c |  0 |    922 |     392612 |      61066 |    72553 |    22472 |    10365 |    67837 |     5910 |      293 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  1 |    933 |     391121 |      61856 |    72880 |    23260 |    10473 |    68692 |     5951 |      298 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  2 |    977 |     397591 |      61634 |    72648 |    23044 |    10253 |    68689 |     6015 |      298 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  3 |    977 |     403601 |      63660 |    73181 |    25065 |    10511 |    70644 |     6349 |      309 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  4 |    955 |     388978 |      63008 |    72905 |    24418 |    10357 |    69868 |     6029 |      304 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  5 |    938 |     385701 |      61557 |    73133 |    22963 |    10174 |    68997 |     5974 |      298 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  6 |   1011 |     405031 |      64049 |    73679 |    25454 |    10457 |    70820 |     6143 |      310 |  20 |  6.062 |
487.75/70.41	c (59,0) c |  7 |    996 |     403860 |      64330 |    73430 |    25741 |    10510 |    70800 |     6366 |      310 |  20 |  6.062 |
487.75/70.41	c (59,0) c 
487.75/70.41	c (59,0) c synthesis      501161 conflicts   610016413 propagations     1077 conflicts/sec  1310744 propagations/sec
487.75/70.41	c (59,0) c real: 58.8173 s, cpu: 465.397 s, memory: 778.25 Mb
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c real time : 69.4296 s
561.40/81.02	c (69,0) c cpu time  : 538.949 s
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c | Conflicts     |          572590 |      71758 |      71566 |      71406 |      71332 |      71765 |      71127 |      71755 |      71881 |
561.40/81.02	c (69,0) c | Decisions     |         3390025 |     424924 |     421449 |     428285 |     428397 |     414588 |     415305 |     427994 |     429083 |
561.40/81.02	c (69,0) c | Propagations  |       692896512 |   86732638 |   86612129 |   86962041 |   86600487 |   86431983 |   86232632 |   86672739 |   86651863 |
561.40/81.02	c (69,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
561.40/81.02	c (69,0) c | SimpDBs       |             516 |         66 |         65 |         64 |         65 |         64 |         64 |         65 |         63 |
561.40/81.02	c (69,0) c | Restarts      |            8663 |       1065 |       1068 |       1111 |       1082 |       1055 |       1072 |       1106 |       1104 |
561.40/81.02	c (69,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.40/81.02	c (69,0) c | PropBinClauses|      1944014912 |  243272965 |  242558344 |  243874185 |  242508831 |  242995661 |  242408711 |  243224367 |  243171848 |
561.40/81.02	c (69,0) c | PropPreBlocker|      9818427486 | 1226746611 | 1225050380 | 1229299806 | 1227474040 | 1227604311 | 1226283870 | 1227310524 | 1228657944 |
561.40/81.02	c (69,0) c | PropNotBlocker|      2501554775 |  312606753 |  313130375 |  312417685 |  312320241 |  311533251 |  313625676 |  312712680 |  313208114 |
561.40/81.02	c (69,0) c | LitFullScans  |     16949176348 | 2118425770 | 2118151276 | 2118458580 | 2118148073 | 2118374220 | 2118795982 | 2119013496 | 2119808951 |
561.40/81.02	c (69,0) c | LitScanFracts |         3619876 |     385817 |     112571 |     436638 |     128320 |     372070 |     786431 |     892836 |     505193 |
561.40/81.02	c (69,0) c | DecisionLevel0|           19337 |       2412 |       2413 |       2403 |       2455 |       2370 |       2400 |       2453 |       2431 |
561.40/81.02	c (69,0) c | Periods       |            2824 |        353 |        353 |        353 |        353 |        353 |        353 |        353 |        353 |
561.40/81.02	c (69,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
561.40/81.02	c (69,0) c | Avg_Trail     |                 |       9713 |       9728 |       9760 |       9771 |       9745 |       9722 |       9749 |       9744 |
561.40/81.02	c (69,0) c | Avg_DL        |                 |         88 |         88 |         92 |         93 |         88 |         88 |         93 |         93 |
561.40/81.02	c (69,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.40/81.02	c (69,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c | Exported      |           91569 |      11615 |      11605 |      11373 |      11384 |      11370 |      11377 |      11437 |      11408 |
561.40/81.02	c (69,0) c | Imported      |          614621 |      76653 |      76544 |      76893 |      76867 |      76912 |      76913 |      76937 |      76902 |
561.40/81.02	c (69,0) c | Good          |           61485 |       7674 |       7632 |       7680 |       7655 |       7685 |       7721 |       7728 |       7710 |
561.40/81.02	c (69,0) c | Purge         |          553136 |      68979 |      68912 |      69213 |      69212 |      69227 |      69192 |      69209 |      69192 |
561.40/81.02	c (69,0) c | Promoted      |           56281 |       7027 |       6976 |       7061 |       7159 |       6990 |       7003 |       6950 |       7115 |
561.40/81.02	c (69,0) c | Remove_Imp    |          356120 |      44233 |      44221 |      44779 |      44713 |      44309 |      44955 |      44471 |      44439 |
561.40/81.02	c (69,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c | Unaries       |                 |       1347 |       1345 |       1292 |       1373 |       1315 |       1328 |       1347 |       1327 |
561.40/81.02	c (69,0) c | Binaries      |                 |       1112 |       1152 |       1105 |       1132 |       1105 |       1065 |       1062 |       1078 |
561.40/81.02	c (69,0) c | Glues         |                 |       2288 |       2213 |       2186 |       2221 |       2188 |       2199 |       2149 |       2212 |
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c | Orig_Seen     |            45 % |      75555 |      75590 |      75362 |      75312 |      75320 |      75825 |      75740 |      75568 |
561.40/81.02	c (69,0) c | Diff Orig seen|                 | -      185 | -      150 | -      378 | -      428 | -      420 |         85 |      X     | -      172 |
561.40/81.02	c (69,0) c | Hamming       |            12 % |       5040 |       5657 |       5069 |       5355 |       5596 |       5703 |      X     |       5711 |
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c | RunningTime   |                 |   68.9 100%|   68.1 100%|   68.4 100%|   66.4 100%|   67.6 100%|   68.4 100%|   66.3 100%|   66.3 100%|
561.40/81.02	c (69,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
561.40/81.02	c (69,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
561.40/81.02	c (69,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%|
561.40/81.02	c (69,0) c | SolvingTime   |                 |   69.0     |   68.1     |   68.5     |   66.5     |   67.7     |   68.4     |   66.3     |   66.3     |
561.40/81.02	c (69,0) c | PropagationTim|                 |   60.3  87%|   59.4  87%|   59.2  86%|   57.3  86%|   58.9  87%|   59.6  87%|   57.6  87%|   57.7  87%|
561.40/81.02	c (69,0) c | AnalysisTime  |                 |    5.7   8%|    5.8   8%|    6.3   9%|    6.2   9%|    5.9   9%|    5.9   9%|    5.8   9%|    5.7   9%|
561.40/81.02	c (69,0) c | ReductionTime |                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|
561.40/81.02	c (69,0) c | SimplifyTime  |                 |    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|
561.40/81.02	c (69,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%|
561.40/81.02	c (69,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%|
561.40/81.02	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c
561.40/81.02	c (69,0) c Threads : 8
561.40/81.02	c (69,0) c Winner : 6
561.40/81.02	c (69,0) c Conflicts_0 : 71758
561.40/81.02	c (69,0) c Conflicts_1 : 71566
561.40/81.02	c (69,0) c Conflicts_2 : 71406
561.40/81.02	c (69,0) c Conflicts_3 : 71332
561.40/81.02	c (69,0) c Conflicts_4 : 71765
561.40/81.02	c (69,0) c Conflicts_5 : 71127
561.40/81.02	c (69,0) c Conflicts_6 : 71755
561.40/81.02	c (69,0) c Conflicts_7 : 71881
561.40/81.02	c (69,0) c Conflicts_total : 572590
561.40/81.02	c (69,0) c Conflicts_winner : 71755
561.40/81.02	c (69,0) c Decisions_0 : 424924
561.40/81.02	c (69,0) c Decisions_1 : 421449
561.40/81.02	c (69,0) c Decisions_2 : 428285
561.40/81.02	c (69,0) c Decisions_3 : 428397
561.40/81.02	c (69,0) c Decisions_4 : 414588
561.40/81.02	c (69,0) c Decisions_5 : 415305
561.40/81.02	c (69,0) c Decisions_6 : 427994
561.40/81.02	c (69,0) c Decisions_7 : 429083
561.40/81.02	c (69,0) c Decisions_total : 3390025
561.40/81.02	c (69,0) c Decisions_winner : 427994
561.40/81.02	c (69,0) c Propagations_0 : 86732638
561.40/81.02	c (69,0) c Propagations_1 : 86612129
561.40/81.02	c (69,0) c Propagations_2 : 86962041
561.40/81.02	c (69,0) c Propagations_3 : 86600487
561.40/81.02	c (69,0) c Propagations_4 : 86431983
561.40/81.02	c (69,0) c Propagations_5 : 86232632
561.40/81.02	c (69,0) c Propagations_6 : 86672739
561.40/81.02	c (69,0) c Propagations_7 : 86651863
561.40/81.02	c (69,0) c Propagations_total : 692896512
561.40/81.02	c (69,0) c Propagations_winner : 86672739
561.40/81.02	c (69,0) c ReduceDBs_0 : 7
561.40/81.02	c (69,0) c ReduceDBs_1 : 7
561.40/81.02	c (69,0) c ReduceDBs_2 : 7
561.40/81.02	c (69,0) c ReduceDBs_3 : 7
561.40/81.02	c (69,0) c ReduceDBs_4 : 7
561.40/81.02	c (69,0) c ReduceDBs_5 : 7
561.40/81.02	c (69,0) c ReduceDBs_6 : 7
561.40/81.02	c (69,0) c ReduceDBs_7 : 7
561.40/81.02	c (69,0) c ReduceDBs_total : 56
561.40/81.02	c (69,0) c ReduceDBs_winner : 7
561.40/81.02	c (69,0) c SimpDBs_0 : 66
561.40/81.02	c (69,0) c SimpDBs_1 : 65
561.40/81.02	c (69,0) c SimpDBs_2 : 64
561.40/81.02	c (69,0) c SimpDBs_3 : 65
561.40/81.02	c (69,0) c SimpDBs_4 : 64
561.40/81.02	c (69,0) c SimpDBs_5 : 64
561.40/81.02	c (69,0) c SimpDBs_6 : 65
561.40/81.02	c (69,0) c SimpDBs_7 : 63
561.40/81.02	c (69,0) c SimpDBs_total : 516
561.40/81.02	c (69,0) c SimpDBs_winner : 65
561.40/81.02	c (69,0) c Restarts_0 : 1065
561.40/81.02	c (69,0) c Restarts_1 : 1068
561.40/81.02	c (69,0) c Restarts_2 : 1111
561.40/81.02	c (69,0) c Restarts_3 : 1082
561.40/81.02	c (69,0) c Restarts_4 : 1055
561.40/81.02	c (69,0) c Restarts_5 : 1072
561.40/81.02	c (69,0) c Restarts_6 : 1106
561.40/81.03	c (69,0) c Restarts_7 : 1104
561.40/81.03	c (69,0) c Restarts_total : 8663
561.40/81.03	c (69,0) c Restarts_winner : 1106
561.40/81.03	c (69,0) c ForcedImports_0 : 0
561.40/81.03	c (69,0) c ForcedImports_1 : 0
561.40/81.03	c (69,0) c ForcedImports_2 : 0
561.40/81.03	c (69,0) c ForcedImports_3 : 0
561.40/81.03	c (69,0) c ForcedImports_4 : 0
561.40/81.03	c (69,0) c ForcedImports_5 : 0
561.40/81.03	c (69,0) c ForcedImports_6 : 0
561.40/81.03	c (69,0) c ForcedImports_7 : 0
561.40/81.03	c (69,0) c ForcedImports_total : 0
561.40/81.03	c (69,0) c ForcedImports_winner : 0
561.40/81.03	c (69,0) c PropsBinClauses_0 : 243272965
561.40/81.03	c (69,0) c PropsBinClauses_1 : 242558344
561.40/81.03	c (69,0) c PropsBinClauses_2 : 243874185
561.40/81.03	c (69,0) c PropsBinClauses_3 : 242508831
561.40/81.03	c (69,0) c PropsBinClauses_4 : 242995661
561.40/81.03	c (69,0) c PropsBinClauses_5 : 242408711
561.40/81.03	c (69,0) c PropsBinClauses_6 : 243224367
561.40/81.03	c (69,0) c PropsBinClauses_7 : 243171848
561.40/81.03	c (69,0) c PropsBinClauses_total : 1944014912
561.40/81.03	c (69,0) c PropsBinClauses_winner : 243224367
561.40/81.03	c (69,0) c PropsPreBlocker_0 : 1226746611
561.40/81.03	c (69,0) c PropsPreBlocker_1 : 1225050380
561.40/81.03	c (69,0) c PropsPreBlocker_2 : 1229299806
561.40/81.03	c (69,0) c PropsPreBlocker_3 : 1227474040
561.40/81.03	c (69,0) c PropsPreBlocker_4 : 1227604311
561.40/81.03	c (69,0) c PropsPreBlocker_5 : 1226283870
561.40/81.03	c (69,0) c PropsPreBlocker_6 : 1227310524
561.40/81.03	c (69,0) c PropsPreBlocker_7 : 1228657944
561.40/81.03	c (69,0) c PropsPreBlocker_total : 9818427486
561.40/81.03	c (69,0) c PropsPreBlocker_winner : 1227310524
561.40/81.03	c (69,0) c PropsNotBlocker_0 : 312606753
561.40/81.03	c (69,0) c PropsNotBlocker_1 : 313130375
561.40/81.03	c (69,0) c PropsNotBlocker_2 : 312417685
561.40/81.03	c (69,0) c PropsNotBlocker_3 : 312320241
561.40/81.03	c (69,0) c PropsNotBlocker_4 : 311533251
561.40/81.03	c (69,0) c PropsNotBlocker_5 : 313625676
561.40/81.03	c (69,0) c PropsNotBlocker_6 : 312712680
561.40/81.03	c (69,0) c PropsNotBlocker_7 : 313208114
561.40/81.03	c (69,0) c PropsNotBlocker_total : 2501554775
561.40/81.03	c (69,0) c PropsNotBlocker_winner : 312712680
561.40/81.03	c (69,0) c PropsLitFullScans_0 : 2118425770
561.40/81.03	c (69,0) c PropsLitFullScans_1 : 2118151276
561.40/81.03	c (69,0) c PropsLitFullScans_2 : 2118458580
561.40/81.03	c (69,0) c PropsLitFullScans_3 : 2118148073
561.40/81.03	c (69,0) c PropsLitFullScans_4 : 2118374220
561.40/81.03	c (69,0) c PropsLitFullScans_5 : 2118795982
561.40/81.03	c (69,0) c PropsLitFullScans_6 : 2119013496
561.40/81.03	c (69,0) c PropsLitFullScans_7 : 2119808951
561.40/81.03	c (69,0) c PropsLitFullScans_total : 16949176348
561.40/81.03	c (69,0) c PropsLitFullScans_winner : 2119013496
561.40/81.03	c (69,0) c LitScanFractions_0 : 385817
561.40/81.03	c (69,0) c LitScanFractions_1 : 112571
561.40/81.03	c (69,0) c LitScanFractions_2 : 436638
561.40/81.03	c (69,0) c LitScanFractions_3 : 128320
561.40/81.03	c (69,0) c LitScanFractions_4 : 372070
561.40/81.03	c (69,0) c LitScanFractions_5 : 786431
561.40/81.03	c (69,0) c LitScanFractions_6 : 892836
561.40/81.03	c (69,0) c LitScanFractions_7 : 505193
561.40/81.03	c (69,0) c LitScanFractions_total : 3619876
561.40/81.03	c (69,0) c LitScanFractions_winner : 892836
561.40/81.03	c (69,0) c DecisionLevel0_0 : 2412
561.40/81.03	c (69,0) c DecisionLevel0_1 : 2413
561.40/81.03	c (69,0) c DecisionLevel0_2 : 2403
561.40/81.03	c (69,0) c DecisionLevel0_3 : 2455
561.40/81.03	c (69,0) c DecisionLevel0_4 : 2370
561.40/81.03	c (69,0) c DecisionLevel0_5 : 2400
561.40/81.03	c (69,0) c DecisionLevel0_6 : 2453
561.40/81.03	c (69,0) c DecisionLevel0_7 : 2431
561.40/81.03	c (69,0) c DecisionLevel0_total : 19337
561.40/81.03	c (69,0) c DecisionLevel0_winner : 2453
561.40/81.03	c (69,0) c Periods_0 : 353
561.40/81.03	c (69,0) c Periods_1 : 353
561.40/81.03	c (69,0) c Periods_2 : 353
561.40/81.03	c (69,0) c Periods_3 : 353
561.40/81.03	c (69,0) c Periods_4 : 353
561.40/81.03	c (69,0) c Periods_5 : 353
561.40/81.03	c (69,0) c Periods_6 : 353
561.40/81.03	c (69,0) c Periods_7 : 353
561.40/81.03	c (69,0) c Periods_total : 2824
561.40/81.03	c (69,0) c Periods_winner : 353
561.40/81.03	c (69,0) c Margin_0 : 20
561.40/81.03	c (69,0) c Margin_1 : 20
561.40/81.03	c (69,0) c Margin_2 : 20
561.40/81.03	c (69,0) c Margin_3 : 20
561.40/81.03	c (69,0) c Margin_4 : 20
561.40/81.03	c (69,0) c Margin_5 : 20
561.40/81.03	c (69,0) c Margin_6 : 20
561.40/81.03	c (69,0) c Margin_7 : 20
561.40/81.03	c (69,0) c Margin_total : 160
561.40/81.03	c (69,0) c Margin_winner : 20
561.40/81.03	c (69,0) c Exported_0 : 11615
561.40/81.03	c (69,0) c Exported_1 : 11605
561.40/81.03	c (69,0) c Exported_2 : 11373
561.40/81.03	c (69,0) c Exported_3 : 11384
561.40/81.03	c (69,0) c Exported_4 : 11370
561.40/81.03	c (69,0) c Exported_5 : 11377
561.40/81.03	c (69,0) c Exported_6 : 11437
561.40/81.03	c (69,0) c Exported_7 : 11408
561.40/81.03	c (69,0) c Exported_total : 91569
561.40/81.03	c (69,0) c Exported_winner : 11437
561.40/81.03	c (69,0) c Imported_0 : 76653
561.40/81.03	c (69,0) c Imported_1 : 76544
561.40/81.03	c (69,0) c Imported_2 : 76893
561.40/81.03	c (69,0) c Imported_3 : 76867
561.40/81.03	c (69,0) c Imported_4 : 76912
561.40/81.03	c (69,0) c Imported_5 : 76913
561.40/81.03	c (69,0) c Imported_6 : 76937
561.40/81.03	c (69,0) c Imported_7 : 76902
561.40/81.03	c (69,0) c Imported_total : 614621
561.40/81.03	c (69,0) c Imported_winner : 76937
561.40/81.03	c (69,0) c Good_0 : 7674
561.40/81.03	c (69,0) c Good_1 : 7632
561.40/81.03	c (69,0) c Good_2 : 7680
561.40/81.03	c (69,0) c Good_3 : 7655
561.40/81.03	c (69,0) c Good_4 : 7685
561.40/81.03	c (69,0) c Good_5 : 7721
561.40/81.03	c (69,0) c Good_6 : 7728
561.40/81.03	c (69,0) c Good_7 : 7710
561.40/81.03	c (69,0) c Good_total : 61485
561.40/81.03	c (69,0) c Good_winner : 7728
561.40/81.03	c (69,0) c Purge_0 : 68979
561.40/81.03	c (69,0) c Purge_1 : 68912
561.40/81.03	c (69,0) c Purge_2 : 69213
561.40/81.03	c (69,0) c Purge_3 : 69212
561.40/81.03	c (69,0) c Purge_4 : 69227
561.40/81.03	c (69,0) c Purge_5 : 69192
561.40/81.03	c (69,0) c Purge_6 : 69209
561.40/81.03	c (69,0) c Purge_7 : 69192
561.40/81.03	c (69,0) c Purge_total : 553136
561.40/81.03	c (69,0) c Purge_winner : 69209
561.40/81.03	c (69,0) c Promoted_0 : 7027
561.40/81.03	c (69,0) c Promoted_1 : 6976
561.40/81.03	c (69,0) c Promoted_2 : 7061
561.40/81.03	c (69,0) c Promoted_3 : 7159
561.40/81.03	c (69,0) c Promoted_4 : 6990
561.40/81.03	c (69,0) c Promoted_5 : 7003
561.40/81.03	c (69,0) c Promoted_6 : 6950
561.40/81.03	c (69,0) c Promoted_7 : 7115
561.40/81.03	c (69,0) c Promoted_total : 56281
561.40/81.03	c (69,0) c Promoted_winner : 6950
561.40/81.03	c (69,0) c Remove_Imp_0 : 44233
561.40/81.03	c (69,0) c Remove_Imp_1 : 44221
561.40/81.03	c (69,0) c Remove_Imp_2 : 44779
561.40/81.03	c (69,0) c Remove_Imp_3 : 44713
561.40/81.03	c (69,0) c Remove_Imp_4 : 44309
561.40/81.03	c (69,0) c Remove_Imp_5 : 44955
561.40/81.03	c (69,0) c Remove_Imp_6 : 44471
561.40/81.03	c (69,0) c Remove_Imp_7 : 44439
561.40/81.03	c (69,0) c Remove_Imp_total : 356120
561.40/81.03	c (69,0) c Remove_Imp_winner : 44471
561.40/81.03	c (69,0) c Blocked_Reuse_0 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_1 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_2 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_3 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_4 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_5 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_6 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_7 : 0
561.40/81.03	c (69,0) c Blocked_Reuse_total : 0
561.40/81.03	c (69,0) c Blocked_Reuse_winner : 0
561.40/81.03	c (69,0) c Unaries_0 : 1347
561.40/81.03	c (69,0) c Unaries_1 : 1345
561.40/81.03	c (69,0) c Unaries_2 : 1292
561.40/81.03	c (69,0) c Unaries_3 : 1373
561.40/81.03	c (69,0) c Unaries_4 : 1315
561.40/81.03	c (69,0) c Unaries_5 : 1328
561.40/81.03	c (69,0) c Unaries_6 : 1347
561.40/81.03	c (69,0) c Unaries_7 : 1327
561.40/81.03	c (69,0) c Unaries_total : 10674
561.40/81.03	c (69,0) c Unaries_winner : 1347
561.40/81.03	c (69,0) c Binaries_0 : 1112
561.40/81.03	c (69,0) c Binaries_1 : 1152
561.40/81.03	c (69,0) c Binaries_2 : 1105
561.40/81.03	c (69,0) c Binaries_3 : 1132
561.40/81.03	c (69,0) c Binaries_4 : 1105
561.40/81.03	c (69,0) c Binaries_5 : 1065
561.40/81.03	c (69,0) c Binaries_6 : 1062
561.40/81.03	c (69,0) c Binaries_7 : 1078
561.40/81.03	c (69,0) c Binaries_total : 8811
561.40/81.03	c (69,0) c Binaries_winner : 1062
561.40/81.03	c (69,0) c Glues_0 : 2288
561.40/81.03	c (69,0) c Glues_1 : 2213
561.40/81.03	c (69,0) c Glues_2 : 2186
561.40/81.03	c (69,0) c Glues_3 : 2221
561.40/81.03	c (69,0) c Glues_4 : 2188
561.40/81.03	c (69,0) c Glues_5 : 2199
561.40/81.03	c (69,0) c Glues_6 : 2149
561.40/81.03	c (69,0) c Glues_7 : 2212
561.40/81.03	c (69,0) c Glues_total : 17656
561.40/81.03	c (69,0) c Glues_winner : 2149
561.40/81.03	c (69,0) c RunningTime_0 : 68.939008
561.40/81.03	c (69,0) c RunningTime_1 : 68.100510
561.40/81.03	c (69,0) c RunningTime_2 : 68.428703
561.40/81.03	c (69,0) c RunningTime_3 : 66.412523
561.40/81.03	c (69,0) c RunningTime_4 : 67.633997
561.40/81.03	c (69,0) c RunningTime_5 : 68.355980
561.40/81.03	c (69,0) c RunningTime_6 : 66.263275
561.40/81.03	c (69,0) c RunningTime_7 : 66.282696
561.40/81.03	c (69,0) c RunningTime_total : 540.416693
561.40/81.03	c (69,0) c RunningTime_winner : 66.263275
561.40/81.03	c (69,0) c WaitingTime_0 : 0.000432
561.40/81.03	c (69,0) c WaitingTime_1 : 0.000512
561.40/81.03	c (69,0) c WaitingTime_2 : 0.000534
561.40/81.03	c (69,0) c WaitingTime_3 : 0.000533
561.40/81.03	c (69,0) c WaitingTime_4 : 0.000556
561.40/81.03	c (69,0) c WaitingTime_5 : 0.000552
561.40/81.03	c (69,0) c WaitingTime_6 : 0.000532
561.40/81.03	c (69,0) c WaitingTime_7 : 0.000579
561.40/81.03	c (69,0) c WaitingTime_total : 0.004229
561.40/81.03	c (69,0) c WaitingTime_winner : 0.000532
561.40/81.03	c (69,0) c ExchangingTime_0 : 0.042526
561.40/81.03	c (69,0) c ExchangingTime_1 : 0.043936
561.40/81.03	c (69,0) c ExchangingTime_2 : 0.039692
561.40/81.03	c (69,0) c ExchangingTime_3 : 0.040256
561.40/81.03	c (69,0) c ExchangingTime_4 : 0.040084
561.40/81.03	c (69,0) c ExchangingTime_5 : 0.039523
561.40/81.03	c (69,0) c ExchangingTime_6 : 0.039354
561.40/81.03	c (69,0) c ExchangingTime_7 : 0.039130
561.40/81.03	c (69,0) c ExchangingTime_total : 0.324501
561.40/81.03	c (69,0) c ExchangingTime_winner : 0.039354
561.40/81.03	c (69,0) c PeriodProcTime_0 : 0.003417
561.40/81.03	c (69,0) c PeriodProcTime_1 : 0.002942
561.40/81.03	c (69,0) c PeriodProcTime_2 : 0.003609
561.40/81.03	c (69,0) c PeriodProcTime_3 : 0.002985
561.40/81.03	c (69,0) c PeriodProcTime_4 : 0.002929
561.40/81.03	c (69,0) c PeriodProcTime_5 : 0.003106
561.40/81.03	c (69,0) c PeriodProcTime_6 : 0.002996
561.40/81.03	c (69,0) c PeriodProcTime_7 : 0.002966
561.40/81.03	c (69,0) c PeriodProcTime_total : 0.024951
561.40/81.03	c (69,0) c PeriodProcTime_winner : 0.002996
561.40/81.03	c (69,0) c SolvingTime_0 : 68.985383
561.40/81.03	c (69,0) c SolvingTime_1 : 68.147900
561.40/81.03	c (69,0) c SolvingTime_2 : 68.472538
561.40/81.03	c (69,0) c SolvingTime_3 : 66.456296
561.40/81.03	c (69,0) c SolvingTime_4 : 67.677566
561.40/81.03	c (69,0) c SolvingTime_5 : 68.399161
561.40/81.03	c (69,0) c SolvingTime_6 : 66.306157
561.40/81.03	c (69,0) c SolvingTime_7 : 66.325372
561.40/81.03	c (69,0) c SolvingTime_total : 540.770374
561.40/81.03	c (69,0) c SolvingTime_winner : 66.306157
561.40/81.03	c (69,0) c PropagationTime_0 : 60.291868
561.40/81.03	c (69,0) c PropagationTime_1 : 59.398783
561.40/81.03	c (69,0) c PropagationTime_2 : 59.173225
561.40/81.03	c (69,0) c PropagationTime_3 : 57.306082
561.40/81.03	c (69,0) c PropagationTime_4 : 58.864692
561.40/81.03	c (69,0) c PropagationTime_5 : 59.592963
561.40/81.03	c (69,0) c PropagationTime_6 : 57.627499
561.40/81.03	c (69,0) c PropagationTime_7 : 57.720576
561.40/81.03	c (69,0) c PropagationTime_total : 469.975690
561.40/81.03	c (69,0) c PropagationTime_winner : 57.627499
561.40/81.03	c (69,0) c AnalysisTime_0 : 5.720220
561.40/81.03	c (69,0) c AnalysisTime_1 : 5.781690
561.40/81.03	c (69,0) c AnalysisTime_2 : 6.309637
561.40/81.03	c (69,0) c AnalysisTime_3 : 6.214409
561.40/81.03	c (69,0) c AnalysisTime_4 : 5.871871
561.40/81.03	c (69,0) c AnalysisTime_5 : 5.868388
561.40/81.03	c (69,0) c AnalysisTime_6 : 5.772643
561.40/81.03	c (69,0) c AnalysisTime_7 : 5.715351
561.40/81.03	c (69,0) c AnalysisTime_total : 47.254210
561.40/81.03	c (69,0) c AnalysisTime_winner : 5.772643
561.40/81.03	c (69,0) c ReductionTime_0 : 0.202673
561.40/81.03	c (69,0) c ReductionTime_1 : 0.205357
561.40/81.03	c (69,0) c ReductionTime_2 : 0.203537
561.40/81.03	c (69,0) c ReductionTime_3 : 0.194462
561.40/81.03	c (69,0) c ReductionTime_4 : 0.195133
561.40/81.03	c (69,0) c ReductionTime_5 : 0.188073
561.40/81.03	c (69,0) c ReductionTime_6 : 0.197525
561.40/81.03	c (69,0) c ReductionTime_7 : 0.199128
561.40/81.03	c (69,0) c ReductionTime_total : 1.585888
561.40/81.03	c (69,0) c ReductionTime_winner : 0.197525
561.40/81.03	c (69,0) c SimplifyTime_0 : 0.416244
561.40/81.03	c (69,0) c SimplifyTime_1 : 0.429359
561.40/81.03	c (69,0) c SimplifyTime_2 : 0.431154
561.40/81.03	c (69,0) c SimplifyTime_3 : 0.425861
561.40/81.03	c (69,0) c SimplifyTime_4 : 0.421216
561.40/81.03	c (69,0) c SimplifyTime_5 : 0.412496
561.40/81.03	c (69,0) c SimplifyTime_6 : 0.418550
561.40/81.03	c (69,0) c SimplifyTime_7 : 0.405785
561.40/81.03	c (69,0) c SimplifyTime_total : 3.360664
561.40/81.03	c (69,0) c SimplifyTime_winner : 0.418550
561.40/81.03	c (69,0) c UsedRateTime_0 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_1 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_2 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_3 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_4 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_5 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_6 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_7 : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_total : 0.000000
561.40/81.03	c (69,0) c UsedRateTime_winner : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_0 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_1 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_2 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_3 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_4 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_5 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_6 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_7 : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_total : 0.000000
561.40/81.03	c (69,0) c OverlapRateTime_winner : 0.000000
561.40/81.03	c (69,0) c
561.40/81.03	c (69,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
561.40/81.03	c (69,0) c
561.40/81.03	c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.03	c (69,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
561.40/81.03	c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.03	c (69,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
561.40/81.03	c (69,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
561.40/81.03	c (69,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
561.40/81.03	c (69,0) c | Initial random_seed   |  740621723 |  256217206 | 1597070399 | 1571393752 |  492655099 | 1808451332 |  415187623 | 1157811858 |
561.40/81.03	c (69,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
561.40/81.03	c (69,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
561.40/81.03	c (69,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
561.40/81.03	c (69,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
561.40/81.03	c (69,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
561.40/81.03	c (69,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
561.40/81.03	c (69,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
561.40/81.03	c (69,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |
561.40/81.03	c (69,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
561.40/81.03	c (69,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
561.40/81.03	c (69,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
561.40/81.03	c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.40/81.03	c (69,0) 
561.40/81.04	c (69,0) s SATISFIABLE
561.40/81.09	c (69,0) SatSolver.solve End
561.40/81.09	c (69,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
561.40/81.09	c (69,0) Show results Begin
561.84/81.29	c (70,0) x[0][0] = 23
561.84/81.29	c (70,0) x[0][1] = 8
561.84/81.29	c (70,0) x[0][2] = 9
561.84/81.29	c (70,0) x[0][3] = 15
561.84/81.29	c (70,0) x[0][4] = 16
561.84/81.29	c (70,0) x[0][5] = 0
561.84/81.29	c (70,0) x[0][6] = 18
561.84/81.29	c (70,0) x[0][7] = 10
561.84/81.29	c (70,0) x[0][8] = 4
561.84/81.29	c (70,0) x[0][9] = 13
561.84/81.29	c (70,0) x[0][10] = 5
561.84/81.29	c (70,0) x[0][11] = 27
561.84/81.29	c (70,0) x[0][12] = 11
561.84/81.29	c (70,0) x[0][13] = 3
561.84/81.29	c (70,0) x[0][14] = 24
561.84/81.29	c (70,0) x[0][15] = 20
561.84/81.29	c (70,0) x[0][16] = 19
561.84/81.29	c (70,0) x[0][17] = 28
561.84/81.29	c (70,0) x[0][18] = 25
561.84/81.29	c (70,0) x[0][19] = 7
561.84/81.29	c (70,0) x[0][20] = 1
561.84/81.29	c (70,0) x[0][21] = 6
561.84/81.29	c (70,0) x[0][22] = 12
561.84/81.29	c (70,0) x[0][23] = 17
561.84/81.29	c (70,0) x[0][24] = 22
561.84/81.29	c (70,0) x[0][25] = 26
561.84/81.29	c (70,0) x[0][26] = 2
561.84/81.29	c (70,0) x[0][27] = 21
561.84/81.29	c (70,0) x[0][28] = 14
561.84/81.29	c (70,0) x[0][29] = 29
561.84/81.29	c (70,0) x[1][0] = 0
561.84/81.29	c (70,0) x[1][1] = 21
561.84/81.29	c (70,0) x[1][2] = 28
561.84/81.29	c (70,0) x[1][3] = 20
561.84/81.29	c (70,0) x[1][4] = 14
561.84/81.29	c (70,0) x[1][5] = 6
561.84/81.29	c (70,0) x[1][6] = 1
561.84/81.29	c (70,0) x[1][7] = 12
561.84/81.29	c (70,0) x[1][8] = 16
561.84/81.29	c (70,0) x[1][9] = 22
561.84/81.29	c (70,0) x[1][10] = 24
561.84/81.29	c (70,0) x[1][11] = 13
561.84/81.29	c (70,0) x[1][12] = 5
561.84/81.29	c (70,0) x[1][13] = 18
561.84/81.29	c (70,0) x[1][14] = 25
561.84/81.29	c (70,0) x[1][15] = 4
561.84/81.29	c (70,0) x[1][16] = 7
561.84/81.29	c (70,0) x[1][17] = 3
561.84/81.29	c (70,0) x[1][18] = 29
561.84/81.29	c (70,0) x[1][19] = 17
561.84/81.29	c (70,0) x[1][20] = 26
561.84/81.29	c (70,0) x[1][21] = 23
561.84/81.29	c (70,0) x[1][22] = 8
561.84/81.29	c (70,0) x[1][23] = 11
561.84/81.29	c (70,0) x[1][24] = 9
561.84/81.29	c (70,0) x[1][25] = 10
561.84/81.30	c (70,0) x[1][26] = 27
561.84/81.30	c (70,0) x[1][27] = 19
561.84/81.30	c (70,0) x[1][28] = 15
561.84/81.30	c (70,0) x[1][29] = 2
561.84/81.30	c (70,0) x[2][0] = 19
561.84/81.30	c (70,0) x[2][1] = 13
561.84/81.30	c (70,0) x[2][2] = 6
561.84/81.30	c (70,0) x[2][3] = 22
561.84/81.30	c (70,0) x[2][4] = 17
561.84/81.30	c (70,0) x[2][5] = 23
561.84/81.30	c (70,0) x[2][6] = 10
561.84/81.30	c (70,0) x[2][7] = 7
561.84/81.30	c (70,0) x[2][8] = 20
561.84/81.30	c (70,0) x[2][9] = 3
561.84/81.30	c (70,0) x[2][10] = 14
561.84/81.30	c (70,0) x[2][11] = 16
561.84/81.30	c (70,0) x[2][12] = 21
561.84/81.30	c (70,0) x[2][13] = 15
561.84/81.30	c (70,0) x[2][14] = 28
561.84/81.30	c (70,0) x[2][15] = 24
561.84/81.30	c (70,0) x[2][16] = 29
561.84/81.30	c (70,0) x[2][17] = 8
561.84/81.30	c (70,0) x[2][18] = 12
561.84/81.30	c (70,0) x[2][19] = 9
561.84/81.30	c (70,0) x[2][20] = 18
561.84/81.30	c (70,0) x[2][21] = 5
561.84/81.30	c (70,0) x[2][22] = 2
561.84/81.30	c (70,0) x[2][23] = 26
561.84/81.30	c (70,0) x[2][24] = 25
561.84/81.30	c (70,0) x[2][25] = 27
561.84/81.30	c (70,0) x[2][26] = 4
561.84/81.30	c (70,0) x[2][27] = 1
561.84/81.30	c (70,0) x[2][28] = 0
561.84/81.30	c (70,0) x[2][29] = 11
561.84/81.30	c (70,0) x[3][0] = 6
561.84/81.30	c (70,0) x[3][1] = 19
561.84/81.30	c (70,0) x[3][2] = 7
561.84/81.30	c (70,0) x[3][3] = 26
561.84/81.30	c (70,0) x[3][4] = 3
561.84/81.30	c (70,0) x[3][5] = 24
561.84/81.30	c (70,0) x[3][6] = 5
561.84/81.30	c (70,0) x[3][7] = 23
561.84/81.30	c (70,0) x[3][8] = 1
561.84/81.30	c (70,0) x[3][9] = 16
561.84/81.30	c (70,0) x[3][10] = 9
561.84/81.30	c (70,0) x[3][11] = 17
561.84/81.30	c (70,0) x[3][12] = 0
561.84/81.30	c (70,0) x[3][13] = 2
561.84/81.30	c (70,0) x[3][14] = 18
561.84/81.30	c (70,0) x[3][15] = 21
561.84/81.30	c (70,0) x[3][16] = 25
561.84/81.30	c (70,0) x[3][17] = 12
561.84/81.30	c (70,0) x[3][18] = 4
561.84/81.30	c (70,0) x[3][19] = 29
561.84/81.30	c (70,0) x[3][20] = 20
561.84/81.30	c (70,0) x[3][21] = 22
561.84/81.30	c (70,0) x[3][22] = 13
561.84/81.30	c (70,0) x[3][23] = 27
561.84/81.30	c (70,0) x[3][24] = 8
561.84/81.30	c (70,0) x[3][25] = 14
561.84/81.30	c (70,0) x[3][26] = 11
561.84/81.30	c (70,0) x[3][27] = 10
561.84/81.30	c (70,0) x[3][28] = 28
561.84/81.30	c (70,0) x[3][29] = 15
561.84/81.30	c (70,0) x[4][0] = 24
561.84/81.30	c (70,0) x[4][1] = 28
561.84/81.30	c (70,0) x[4][2] = 3
561.84/81.30	c (70,0) x[4][3] = 16
561.84/81.30	c (70,0) x[4][4] = 29
561.84/81.30	c (70,0) x[4][5] = 13
561.84/81.30	c (70,0) x[4][6] = 26
561.84/81.30	c (70,0) x[4][7] = 19
561.84/81.30	c (70,0) x[4][8] = 0
561.84/81.30	c (70,0) x[4][9] = 5
561.84/81.30	c (70,0) x[4][10] = 17
561.84/81.30	c (70,0) x[4][11] = 20
561.84/81.30	c (70,0) x[4][12] = 12
561.84/81.30	c (70,0) x[4][13] = 10
561.84/81.30	c (70,0) x[4][14] = 27
561.84/81.30	c (70,0) x[4][15] = 9
562.14/81.30	c (70,0) x[4][16] = 11
562.14/81.30	c (70,0) x[4][17] = 22
562.14/81.30	c (70,0) x[4][18] = 7
562.14/81.30	c (70,0) x[4][19] = 8
562.14/81.30	c (70,0) x[4][20] = 14
562.14/81.30	c (70,0) x[4][21] = 21
562.14/81.30	c (70,0) x[4][22] = 23
562.14/81.30	c (70,0) x[4][23] = 25
562.14/81.30	c (70,0) x[4][24] = 18
562.14/81.30	c (70,0) x[4][25] = 15
562.14/81.30	c (70,0) x[4][26] = 6
562.14/81.30	c (70,0) x[4][27] = 2
562.14/81.30	c (70,0) x[4][28] = 4
562.14/81.30	c (70,0) x[4][29] = 1
562.14/81.30	c (70,0) x[5][0] = 10
562.14/81.30	c (70,0) x[5][1] = 23
562.14/81.30	c (70,0) x[5][2] = 1
562.14/81.30	c (70,0) x[5][3] = 7
562.14/81.30	c (70,0) x[5][4] = 12
562.14/81.30	c (70,0) x[5][5] = 28
562.14/81.30	c (70,0) x[5][6] = 8
562.14/81.30	c (70,0) x[5][7] = 29
562.14/81.30	c (70,0) x[5][8] = 11
562.14/81.30	c (70,0) x[5][9] = 15
562.14/81.30	c (70,0) x[5][10] = 22
562.14/81.30	c (70,0) x[5][11] = 21
562.14/81.30	c (70,0) x[5][12] = 18
562.14/81.30	c (70,0) x[5][13] = 26
562.14/81.30	c (70,0) x[5][14] = 4
562.14/81.30	c (70,0) x[5][15] = 6
562.14/81.30	c (70,0) x[5][16] = 3
562.14/81.30	c (70,0) x[5][17] = 9
562.14/81.30	c (70,0) x[5][18] = 24
562.14/81.30	c (70,0) x[5][19] = 19
562.14/81.30	c (70,0) x[5][20] = 25
562.14/81.30	c (70,0) x[5][21] = 17
562.14/81.30	c (70,0) x[5][22] = 27
562.14/81.30	c (70,0) x[5][23] = 20
562.14/81.30	c (70,0) x[5][24] = 5
562.14/81.30	c (70,0) x[5][25] = 2
562.14/81.30	c (70,0) x[5][26] = 0
562.14/81.30	c (70,0) x[5][27] = 13
562.14/81.30	c (70,0) x[5][28] = 16
562.14/81.30	c (70,0) x[5][29] = 14
562.14/81.30	c (70,0) x[6][0] = 13
562.14/81.30	c (70,0) x[6][1] = 6
562.14/81.30	c (70,0) x[6][2] = 21
562.14/81.30	c (70,0) x[6][3] = 11
562.14/81.30	c (70,0) x[6][4] = 5
562.14/81.30	c (70,0) x[6][5] = 22
562.14/81.30	c (70,0) x[6][6] = 25
562.14/81.30	c (70,0) x[6][7] = 1
562.14/81.30	c (70,0) x[6][8] = 3
562.14/81.30	c (70,0) x[6][9] = 4
562.14/81.30	c (70,0) x[6][10] = 27
562.14/81.30	c (70,0) x[6][11] = 0
562.14/81.30	c (70,0) x[6][12] = 14
562.14/81.30	c (70,0) x[6][13] = 7
562.14/81.30	c (70,0) x[6][14] = 26
562.14/81.30	c (70,0) x[6][15] = 12
562.14/81.30	c (70,0) x[6][16] = 23
562.14/81.30	c (70,0) x[6][17] = 15
562.14/81.30	c (70,0) x[6][18] = 9
562.14/81.30	c (70,0) x[6][19] = 2
562.14/81.30	c (70,0) x[6][20] = 8
562.14/81.30	c (70,0) x[6][21] = 18
562.14/81.30	c (70,0) x[6][22] = 16
562.14/81.30	c (70,0) x[6][23] = 19
562.14/81.30	c (70,0) x[6][24] = 10
562.14/81.30	c (70,0) x[6][25] = 28
562.14/81.30	c (70,0) x[6][26] = 29
562.14/81.30	c (70,0) x[6][27] = 17
562.14/81.30	c (70,0) x[6][28] = 20
562.14/81.30	c (70,0) x[6][29] = 24
562.14/81.30	c (70,0) x[7][0] = 29
562.14/81.30	c (70,0) x[7][1] = 22
562.14/81.30	c (70,0) x[7][2] = 25
562.14/81.30	c (70,0) x[7][3] = 28
562.14/81.30	c (70,0) x[7][4] = 0
562.14/81.30	c (70,0) x[7][5] = 19
562.14/81.30	c (70,0) x[7][6] = 4
562.14/81.30	c (70,0) x[7][7] = 26
562.14/81.30	c (70,0) x[7][8] = 21
562.14/81.30	c (70,0) x[7][9] = 27
562.14/81.30	c (70,0) x[7][10] = 16
562.14/81.30	c (70,0) x[7][11] = 7
562.14/81.30	c (70,0) x[7][12] = 24
562.14/81.30	c (70,0) x[7][13] = 14
562.14/81.30	c (70,0) x[7][14] = 5
562.14/81.30	c (70,0) x[7][15] = 11
562.14/81.30	c (70,0) x[7][16] = 8
562.14/81.30	c (70,0) x[7][17] = 1
562.14/81.30	c (70,0) x[7][18] = 2
562.14/81.30	c (70,0) x[7][19] = 10
562.14/81.30	c (70,0) x[7][20] = 13
562.14/81.30	c (70,0) x[7][21] = 15
562.14/81.30	c (70,0) x[7][22] = 9
562.14/81.30	c (70,0) x[7][23] = 23
562.14/81.30	c (70,0) x[7][24] = 17
562.14/81.30	c (70,0) x[7][25] = 12
562.14/81.30	c (70,0) x[7][26] = 3
562.14/81.30	c (70,0) x[7][27] = 6
562.14/81.30	c (70,0) x[7][28] = 18
562.14/81.30	c (70,0) x[7][29] = 20
562.14/81.30	c (70,0) x[8][0] = 17
562.14/81.30	c (70,0) x[8][1] = 5
562.14/81.30	c (70,0) x[8][2] = 2
562.14/81.30	c (70,0) x[8][3] = 8
562.14/81.30	c (70,0) x[8][4] = 26
562.14/81.30	c (70,0) x[8][5] = 21
562.14/81.30	c (70,0) x[8][6] = 24
562.14/81.30	c (70,0) x[8][7] = 9
562.14/81.30	c (70,0) x[8][8] = 19
562.14/81.30	c (70,0) x[8][9] = 20
562.14/81.30	c (70,0) x[8][10] = 13
562.14/81.30	c (70,0) x[8][11] = 18
562.14/81.30	c (70,0) x[8][12] = 27
562.14/81.30	c (70,0) x[8][13] = 11
562.14/81.30	c (70,0) x[8][14] = 15
562.14/81.30	c (70,0) x[8][15] = 25
562.14/81.30	c (70,0) x[8][16] = 22
562.14/81.30	c (70,0) x[8][17] = 16
562.14/81.30	c (70,0) x[8][18] = 10
562.14/81.30	c (70,0) x[8][19] = 0
562.14/81.30	c (70,0) x[8][20] = 7
562.14/81.30	c (70,0) x[8][21] = 3
562.14/81.30	c (70,0) x[8][22] = 14
562.14/81.30	c (70,0) x[8][23] = 12
562.14/81.30	c (70,0) x[8][24] = 23
562.14/81.30	c (70,0) x[8][25] = 4
562.14/81.30	c (70,0) x[8][26] = 1
562.14/81.30	c (70,0) x[8][27] = 28
562.14/81.30	c (70,0) x[8][28] = 29
562.14/81.30	c (70,0) x[8][29] = 6
562.14/81.30	c (70,0) x[9][0] = 12
562.14/81.30	c (70,0) x[9][1] = 11
562.14/81.30	c (70,0) x[9][2] = 20
562.14/81.30	c (70,0) x[9][3] = 27
562.14/81.30	c (70,0) x[9][4] = 24
562.14/81.30	c (70,0) x[9][5] = 10
562.14/81.30	c (70,0) x[9][6] = 17
562.14/81.30	c (70,0) x[9][7] = 8
562.14/81.30	c (70,0) x[9][8] = 22
562.14/81.30	c (70,0) x[9][9] = 7
562.14/81.30	c (70,0) x[9][10] = 6
562.14/81.30	c (70,0) x[9][11] = 5
562.14/81.30	c (70,0) x[9][12] = 29
562.14/81.30	c (70,0) x[9][13] = 21
562.14/81.30	c (70,0) x[9][14] = 3
562.14/81.30	c (70,0) x[9][15] = 28
562.14/81.30	c (70,0) x[9][16] = 1
562.14/81.30	c (70,0) x[9][17] = 18
562.14/81.30	c (70,0) x[9][18] = 13
562.14/81.30	c (70,0) x[9][19] = 14
562.14/81.30	c (70,0) x[9][20] = 4
562.14/81.30	c (70,0) x[9][21] = 16
562.14/81.30	c (70,0) x[9][22] = 19
562.14/81.30	c (70,0) x[9][23] = 15
562.14/81.30	c (70,0) x[9][24] = 2
562.14/81.30	c (70,0) x[9][25] = 0
562.14/81.30	c (70,0) x[9][26] = 23
562.14/81.30	c (70,0) x[9][27] = 9
562.14/81.30	c (70,0) x[9][28] = 26
562.14/81.30	c (70,0) x[9][29] = 25
562.14/81.30	c (70,0) x[10][0] = 2
562.14/81.30	c (70,0) x[10][1] = 16
562.14/81.30	c (70,0) x[10][2] = 27
562.14/81.30	c (70,0) x[10][3] = 23
562.14/81.30	c (70,0) x[10][4] = 15
562.14/81.30	c (70,0) x[10][5] = 4
562.14/81.30	c (70,0) x[10][6] = 9
562.14/81.30	c (70,0) x[10][7] = 21
562.14/81.30	c (70,0) x[10][8] = 12
562.14/81.30	c (70,0) x[10][9] = 14
562.14/81.30	c (70,0) x[10][10] = 29
562.14/81.30	c (70,0) x[10][11] = 8
562.14/81.30	c (70,0) x[10][12] = 7
562.14/81.30	c (70,0) x[10][13] = 5
562.14/81.30	c (70,0) x[10][14] = 10
562.14/81.30	c (70,0) x[10][15] = 18
562.14/81.30	c (70,0) x[10][16] = 6
562.14/81.30	c (70,0) x[10][17] = 25
562.14/81.30	c (70,0) x[10][18] = 1
562.14/81.30	c (70,0) x[10][19] = 26
562.14/81.30	c (70,0) x[10][20] = 0
562.14/81.30	c (70,0) x[10][21] = 13
562.14/81.30	c (70,0) x[10][22] = 3
562.14/81.30	c (70,0) x[10][23] = 24
562.14/81.30	c (70,0) x[10][24] = 28
562.14/81.30	c (70,0) x[10][25] = 11
562.14/81.30	c (70,0) x[10][26] = 20
562.14/81.30	c (70,0) x[10][27] = 22
562.14/81.30	c (70,0) x[10][28] = 17
562.14/81.30	c (70,0) x[10][29] = 19
562.14/81.30	c (70,0) x[11][0] = 9
562.14/81.30	c (70,0) x[11][1] = 18
562.14/81.30	c (70,0) x[11][2] = 4
562.14/81.30	c (70,0) x[11][3] = 21
562.14/81.30	c (70,0) x[11][4] = 13
562.14/81.30	c (70,0) x[11][5] = 20
562.14/81.30	c (70,0) x[11][6] = 19
562.14/81.30	c (70,0) x[11][7] = 0
562.14/81.30	c (70,0) x[11][8] = 7
562.14/81.30	c (70,0) x[11][9] = 17
562.14/81.30	c (70,0) x[11][10] = 3
562.14/81.30	c (70,0) x[11][11] = 6
562.14/81.30	c (70,0) x[11][12] = 15
562.14/81.30	c (70,0) x[11][13] = 29
562.14/81.30	c (70,0) x[11][14] = 8
562.14/81.30	c (70,0) x[11][15] = 2
562.14/81.30	c (70,0) x[11][16] = 26
562.14/81.30	c (70,0) x[11][17] = 5
562.14/81.30	c (70,0) x[11][18] = 23
562.14/81.30	c (70,0) x[11][19] = 22
562.14/81.30	c (70,0) x[11][20] = 28
562.14/81.30	c (70,0) x[11][21] = 1
562.14/81.30	c (70,0) x[11][22] = 10
562.14/81.30	c (70,0) x[11][23] = 14
562.14/81.30	c (70,0) x[11][24] = 11
562.14/81.30	c (70,0) x[11][25] = 25
562.14/81.30	c (70,0) x[11][26] = 24
562.14/81.30	c (70,0) x[11][27] = 27
562.14/81.30	c (70,0) x[11][28] = 12
562.14/81.30	c (70,0) x[11][29] = 16
562.14/81.30	c (70,0) x[12][0] = 25
562.14/81.30	c (70,0) x[12][1] = 24
562.14/81.30	c (70,0) x[12][2] = 0
562.14/81.30	c (70,0) x[12][3] = 17
562.14/81.30	c (70,0) x[12][4] = 22
562.14/81.30	c (70,0) x[12][5] = 5
562.14/81.30	c (70,0) x[12][6] = 2
562.14/81.30	c (70,0) x[12][7] = 14
562.14/81.30	c (70,0) x[12][8] = 29
562.14/81.30	c (70,0) x[12][9] = 23
562.14/81.30	c (70,0) x[12][10] = 18
562.14/81.30	c (70,0) x[12][11] = 28
562.14/81.30	c (70,0) x[12][12] = 9
562.14/81.30	c (70,0) x[12][13] = 12
562.14/81.30	c (70,0) x[12][14] = 13
562.14/81.30	c (70,0) x[12][15] = 1
562.14/81.30	c (70,0) x[12][16] = 10
562.14/81.30	c (70,0) x[12][17] = 26
562.14/81.30	c (70,0) x[12][18] = 15
562.14/81.30	c (70,0) x[12][19] = 16
562.14/81.30	c (70,0) x[12][20] = 27
562.14/81.30	c (70,0) x[12][21] = 11
562.14/81.30	c (70,0) x[12][22] = 4
562.14/81.30	c (70,0) x[12][23] = 6
562.14/81.30	c (70,0) x[12][24] = 20
562.14/81.30	c (70,0) x[12][25] = 21
562.14/81.30	c (70,0) x[12][26] = 8
562.14/81.30	c (70,0) x[12][27] = 7
562.14/81.30	c (70,0) x[12][28] = 19
562.14/81.30	c (70,0) x[12][29] = 3
562.14/81.30	c (70,0) x[13][0] = 26
562.14/81.30	c (70,0) x[13][1] = 25
562.14/81.30	c (70,0) x[13][2] = 14
562.14/81.30	c (70,0) x[13][3] = 29
562.14/81.30	c (70,0) x[13][4] = 4
562.14/81.30	c (70,0) x[13][5] = 1
562.14/81.30	c (70,0) x[13][6] = 23
562.14/81.30	c (70,0) x[13][7] = 15
562.14/81.30	c (70,0) x[13][8] = 17
562.14/81.30	c (70,0) x[13][9] = 2
562.14/81.30	c (70,0) x[13][10] = 19
562.14/81.30	c (70,0) x[13][11] = 24
562.14/81.30	c (70,0) x[13][12] = 3
562.14/81.30	c (70,0) x[13][13] = 16
562.14/81.30	c (70,0) x[13][14] = 22
562.14/81.30	c (70,0) x[13][15] = 7
562.14/81.30	c (70,0) x[13][16] = 5
562.14/81.30	c (70,0) x[13][17] = 11
562.14/81.30	c (70,0) x[13][18] = 28
562.14/81.30	c (70,0) x[13][19] = 20
562.14/81.30	c (70,0) x[13][20] = 21
562.14/81.30	c (70,0) x[13][21] = 12
562.14/81.30	c (70,0) x[13][22] = 18
562.14/81.30	c (70,0) x[13][23] = 9
562.14/81.30	c (70,0) x[13][24] = 0
562.14/81.30	c (70,0) x[13][25] = 6
562.14/81.30	c (70,0) x[13][26] = 10
562.14/81.30	c (70,0) x[13][27] = 8
562.14/81.30	c (70,0) x[13][28] = 13
562.14/81.30	c (70,0) x[13][29] = 27
562.14/81.30	c (70,0) x[14][0] = 1
562.14/81.30	c (70,0) x[14][1] = 14
562.14/81.30	c (70,0) x[14][2] = 23
562.14/81.30	c (70,0) x[14][3] = 2
562.14/81.30	c (70,0) x[14][4] = 7
562.14/81.30	c (70,0) x[14][5] = 3
562.14/81.30	c (70,0) x[14][6] = 13
562.14/81.30	c (70,0) x[14][7] = 6
562.14/81.30	c (70,0) x[14][8] = 27
562.14/81.30	c (70,0) x[14][9] = 19
562.14/81.30	c (70,0) x[14][10] = 15
562.14/81.30	c (70,0) x[14][11] = 25
562.14/81.30	c (70,0) x[14][12] = 4
562.14/81.30	c (70,0) x[14][13] = 28
562.14/81.30	c (70,0) x[14][14] = 29
562.14/81.30	c (70,0) x[14][15] = 10
562.14/81.30	c (70,0) x[14][16] = 12
562.14/81.30	c (70,0) x[14][17] = 20
562.14/81.30	c (70,0) x[14][18] = 22
562.14/81.30	c (70,0) x[14][19] = 5
562.14/81.30	c (70,0) x[14][20] = 16
562.14/81.30	c (70,0) x[14][21] = 9
562.14/81.30	c (70,0) x[14][22] = 21
562.14/81.30	c (70,0) x[14][23] = 0
562.14/81.30	c (70,0) x[14][24] = 24
562.14/81.30	c (70,0) x[14][25] = 17
562.14/81.30	c (70,0) x[14][26] = 18
562.14/81.30	c (70,0) x[14][27] = 26
562.14/81.30	c (70,0) x[14][28] = 11
562.14/81.30	c (70,0) x[14][29] = 8
562.14/81.30	c (70,0) x[15][0] = 8
562.14/81.30	c (70,0) x[15][1] = 3
562.14/81.30	c (70,0) x[15][2] = 11
562.14/81.30	c (70,0) x[15][3] = 10
562.14/81.30	c (70,0) x[15][4] = 19
562.14/81.30	c (70,0) x[15][5] = 29
562.14/81.30	c (70,0) x[15][6] = 20
562.14/81.30	c (70,0) x[15][7] = 18
562.14/81.30	c (70,0) x[15][8] = 13
562.14/81.30	c (70,0) x[15][9] = 24
562.14/81.30	c (70,0) x[15][10] = 28
562.14/81.30	c (70,0) x[15][11] = 22
562.14/81.30	c (70,0) x[15][12] = 6
562.14/81.30	c (70,0) x[15][13] = 1
562.14/81.30	c (70,0) x[15][14] = 12
562.14/81.30	c (70,0) x[15][15] = 17
562.14/81.30	c (70,0) x[15][16] = 14
562.14/81.30	c (70,0) x[15][17] = 4
562.14/81.30	c (70,0) x[15][18] = 27
562.14/81.30	c (70,0) x[15][19] = 23
562.14/81.30	c (70,0) x[15][20] = 9
562.14/81.30	c (70,0) x[15][21] = 26
562.14/81.30	c (70,0) x[15][22] = 25
562.14/81.30	c (70,0) x[15][23] = 2
562.14/81.30	c (70,0) x[15][24] = 15
562.14/81.30	c (70,0) x[15][25] = 7
562.14/81.30	c (70,0) x[15][26] = 16
562.14/81.30	c (70,0) x[15][27] = 0
562.14/81.30	c (70,0) x[15][28] = 5
562.14/81.30	c (70,0) x[15][29] = 21
562.14/81.30	c (70,0) x[16][0] = 21
562.14/81.30	c (70,0) x[16][1] = 4
562.14/81.30	c (70,0) x[16][2] = 18
562.14/81.30	c (70,0) x[16][3] = 6
562.14/81.30	c (70,0) x[16][4] = 23
562.14/81.30	c (70,0) x[16][5] = 16
562.14/81.30	c (70,0) x[16][6] = 27
562.14/81.30	c (70,0) x[16][7] = 28
562.14/81.30	c (70,0) x[16][8] = 14
562.14/81.30	c (70,0) x[16][9] = 12
562.14/81.30	c (70,0) x[16][10] = 2
562.14/81.30	c (70,0) x[16][11] = 10
562.14/81.30	c (70,0) x[16][12] = 19
562.14/81.30	c (70,0) x[16][13] = 0
562.14/81.30	c (70,0) x[16][14] = 1
562.14/81.30	c (70,0) x[16][15] = 8
562.14/81.30	c (70,0) x[16][16] = 9
562.14/81.30	c (70,0) x[16][17] = 29
562.14/81.30	c (70,0) x[16][18] = 17
562.14/81.30	c (70,0) x[16][19] = 24
562.14/81.30	c (70,0) x[16][20] = 11
562.14/81.30	c (70,0) x[16][21] = 20
562.14/81.30	c (70,0) x[16][22] = 22
562.14/81.30	c (70,0) x[16][23] = 5
562.14/81.30	c (70,0) x[16][24] = 13
562.14/81.30	c (70,0) x[16][25] = 3
562.14/81.30	c (70,0) x[16][26] = 25
562.14/81.30	c (70,0) x[16][27] = 15
562.14/81.30	c (70,0) x[16][28] = 7
562.14/81.30	c (70,0) x[16][29] = 26
562.14/81.30	c (70,0) x[17][0] = 5
562.14/81.30	c (70,0) x[17][1] = 1
562.14/81.30	c (70,0) x[17][2] = 19
562.14/81.30	c (70,0) x[17][3] = 9
562.14/81.30	c (70,0) x[17][4] = 25
562.14/81.30	c (70,0) x[17][5] = 7
562.14/81.30	c (70,0) x[17][6] = 16
562.14/81.30	c (70,0) x[17][7] = 22
562.14/81.30	c (70,0) x[17][8] = 26
562.14/81.30	c (70,0) x[17][9] = 28
562.14/81.30	c (70,0) x[17][10] = 12
562.14/81.30	c (70,0) x[17][11] = 23
562.14/81.30	c (70,0) x[17][12] = 8
562.14/81.30	c (70,0) x[17][13] = 17
562.14/81.30	c (70,0) x[17][14] = 20
562.14/81.30	c (70,0) x[17][15] = 27
562.14/81.30	c (70,0) x[17][16] = 15
562.14/81.30	c (70,0) x[17][17] = 2
562.14/81.30	c (70,0) x[17][18] = 0
562.14/81.30	c (70,0) x[17][19] = 11
562.14/81.30	c (70,0) x[17][20] = 29
562.14/81.30	c (70,0) x[17][21] = 14
562.14/81.30	c (70,0) x[17][22] = 24
562.14/81.30	c (70,0) x[17][23] = 10
562.14/81.30	c (70,0) x[17][24] = 6
562.14/81.30	c (70,0) x[17][25] = 13
562.14/81.30	c (70,0) x[17][26] = 21
562.14/81.30	c (70,0) x[17][27] = 18
562.14/81.30	c (70,0) x[17][28] = 3
562.14/81.30	c (70,0) x[17][29] = 4
562.14/81.30	c (70,0) x[18][0] = 20
562.14/81.30	c (70,0) x[18][1] = 10
562.14/81.30	c (70,0) x[18][2] = 13
562.14/81.30	c (70,0) x[18][3] = 25
562.14/81.30	c (70,0) x[18][4] = 8
562.14/81.30	c (70,0) x[18][5] = 12
562.14/81.30	c (70,0) x[18][6] = 7
562.14/81.30	c (70,0) x[18][7] = 5
562.14/81.30	c (70,0) x[18][8] = 18
562.14/81.30	c (70,0) x[18][9] = 21
562.14/81.30	c (70,0) x[18][10] = 0
562.14/81.30	c (70,0) x[18][11] = 4
562.14/81.30	c (70,0) x[18][12] = 2
562.14/81.30	c (70,0) x[18][13] = 27
562.14/81.30	c (70,0) x[18][14] = 6
562.14/81.30	c (70,0) x[18][15] = 26
562.14/81.30	c (70,0) x[18][16] = 16
562.14/81.30	c (70,0) x[18][17] = 19
562.14/81.30	c (70,0) x[18][18] = 3
562.14/81.30	c (70,0) x[18][19] = 15
562.14/81.30	c (70,0) x[18][20] = 24
562.14/81.30	c (70,0) x[18][21] = 29
562.14/81.30	c (70,0) x[18][22] = 11
562.14/81.30	c (70,0) x[18][23] = 28
562.14/81.30	c (70,0) x[18][24] = 14
562.14/81.30	c (70,0) x[18][25] = 9
562.14/81.30	c (70,0) x[18][26] = 22
562.14/81.30	c (70,0) x[18][27] = 23
562.14/81.30	c (70,0) x[18][28] = 1
562.14/81.30	c (70,0) x[18][29] = 17
562.14/81.30	c (70,0) x[19][0] = 7
562.14/81.30	c (70,0) x[19][1] = 9
562.14/81.30	c (70,0) x[19][2] = 12
562.14/81.30	c (70,0) x[19][3] = 18
562.14/81.30	c (70,0) x[19][4] = 11
562.14/81.30	c (70,0) x[19][5] = 14
562.14/81.30	c (70,0) x[19][6] = 22
562.14/81.30	c (70,0) x[19][7] = 13
562.14/81.30	c (70,0) x[19][8] = 5
562.14/81.30	c (70,0) x[19][9] = 0
562.14/81.30	c (70,0) x[19][10] = 1
562.14/81.30	c (70,0) x[19][11] = 3
562.14/81.30	c (70,0) x[19][12] = 20
562.14/81.30	c (70,0) x[19][13] = 25
562.14/81.30	c (70,0) x[19][14] = 21
562.14/81.30	c (70,0) x[19][15] = 23
562.14/81.30	c (70,0) x[19][16] = 17
562.14/81.30	c (70,0) x[19][17] = 27
562.14/81.30	c (70,0) x[19][18] = 19
562.14/81.30	c (70,0) x[19][19] = 28
562.14/81.30	c (70,0) x[19][20] = 2
562.14/81.30	c (70,0) x[19][21] = 24
562.14/81.30	c (70,0) x[19][22] = 6
562.14/81.30	c (70,0) x[19][23] = 16
562.14/81.30	c (70,0) x[19][24] = 26
562.14/81.30	c (70,0) x[19][25] = 29
562.14/81.30	c (70,0) x[19][26] = 15
562.14/81.30	c (70,0) x[19][27] = 4
562.14/81.30	c (70,0) x[19][28] = 8
562.14/81.30	c (70,0) x[19][29] = 10
562.14/81.30	c (70,0) x[20][0] = 3
562.14/81.30	c (70,0) x[20][1] = 29
562.14/81.30	c (70,0) x[20][2] = 26
562.14/81.30	c (70,0) x[20][3] = 13
562.14/81.30	c (70,0) x[20][4] = 2
562.14/81.30	c (70,0) x[20][5] = 27
562.14/81.30	c (70,0) x[20][6] = 14
562.14/81.30	c (70,0) x[20][7] = 17
562.14/81.30	c (70,0) x[20][8] = 15
562.14/81.30	c (70,0) x[20][9] = 25
562.14/81.30	c (70,0) x[20][10] = 20
562.14/81.30	c (70,0) x[20][11] = 19
562.14/81.30	c (70,0) x[20][12] = 28
562.14/81.30	c (70,0) x[20][13] = 6
562.14/81.30	c (70,0) x[20][14] = 11
562.14/81.30	c (70,0) x[20][15] = 16
562.14/81.30	c (70,0) x[20][16] = 4
562.14/81.30	c (70,0) x[20][17] = 0
562.14/81.30	c (70,0) x[20][18] = 8
562.14/81.30	c (70,0) x[20][19] = 1
562.14/81.30	c (70,0) x[20][20] = 10
562.14/81.30	c (70,0) x[20][21] = 7
562.14/81.30	c (70,0) x[20][22] = 5
562.14/81.30	c (70,0) x[20][23] = 21
562.14/81.30	c (70,0) x[20][24] = 12
562.14/81.30	c (70,0) x[20][25] = 23
562.14/81.30	c (70,0) x[20][26] = 9
562.14/81.30	c (70,0) x[20][27] = 24
562.14/81.30	c (70,0) x[20][28] = 22
562.14/81.30	c (70,0) x[20][29] = 18
562.14/81.30	c (70,0) x[21][0] = 18
562.14/81.30	c (70,0) x[21][1] = 2
562.14/81.30	c (70,0) x[21][2] = 8
562.14/81.30	c (70,0) x[21][3] = 1
562.14/81.30	c (70,0) x[21][4] = 27
562.14/81.30	c (70,0) x[21][5] = 25
562.14/81.30	c (70,0) x[21][6] = 21
562.14/81.30	c (70,0) x[21][7] = 24
562.14/81.30	c (70,0) x[21][8] = 28
562.14/81.30	c (70,0) x[21][9] = 29
562.14/81.30	c (70,0) x[21][10] = 10
562.14/81.30	c (70,0) x[21][11] = 9
562.14/81.30	c (70,0) x[21][12] = 26
562.14/81.30	c (70,0) x[21][13] = 20
562.14/81.30	c (70,0) x[21][14] = 16
562.14/81.30	c (70,0) x[21][15] = 15
562.14/81.30	c (70,0) x[21][16] = 0
562.14/81.30	c (70,0) x[21][17] = 13
562.14/81.30	c (70,0) x[21][18] = 11
562.14/81.30	c (70,0) x[21][19] = 4
562.14/81.30	c (70,0) x[21][20] = 6
562.14/81.30	c (70,0) x[21][21] = 19
562.14/81.30	c (70,0) x[21][22] = 17
562.14/81.30	c (70,0) x[21][23] = 7
562.14/81.30	c (70,0) x[21][24] = 3
562.14/81.30	c (70,0) x[21][25] = 22
562.14/81.30	c (70,0) x[21][26] = 5
562.14/81.30	c (70,0) x[21][27] = 14
562.14/81.30	c (70,0) x[21][28] = 23
562.14/81.30	c (70,0) x[21][29] = 12
562.14/81.30	c (70,0) x[22][0] = 22
562.14/81.30	c (70,0) x[22][1] = 7
562.14/81.30	c (70,0) x[22][2] = 24
562.14/81.30	c (70,0) x[22][3] = 0
562.14/81.30	c (70,0) x[22][4] = 6
562.14/81.30	c (70,0) x[22][5] = 17
562.14/81.30	c (70,0) x[22][6] = 15
562.14/81.30	c (70,0) x[22][7] = 16
562.14/81.30	c (70,0) x[22][8] = 23
562.14/81.30	c (70,0) x[22][9] = 11
562.14/81.30	c (70,0) x[22][10] = 26
562.14/81.30	c (70,0) x[22][11] = 14
562.14/81.30	c (70,0) x[22][12] = 10
562.14/81.30	c (70,0) x[22][13] = 9
562.14/81.30	c (70,0) x[22][14] = 2
562.14/81.30	c (70,0) x[22][15] = 19
562.14/81.30	c (70,0) x[22][16] = 27
562.14/81.30	c (70,0) x[22][17] = 21
562.14/81.30	c (70,0) x[22][18] = 5
562.14/81.30	c (70,0) x[22][19] = 18
562.14/81.30	c (70,0) x[22][20] = 3
562.14/81.30	c (70,0) x[22][21] = 28
562.14/81.30	c (70,0) x[22][22] = 29
562.14/81.30	c (70,0) x[22][23] = 1
562.14/81.30	c (70,0) x[22][24] = 4
562.14/81.30	c (70,0) x[22][25] = 8
562.14/81.30	c (70,0) x[22][26] = 12
562.14/81.30	c (70,0) x[22][27] = 20
562.14/81.30	c (70,0) x[22][28] = 25
562.14/81.30	c (70,0) x[22][29] = 13
562.14/81.30	c (70,0) x[23][0] = 16
562.14/81.30	c (70,0) x[23][1] = 12
562.14/81.30	c (70,0) x[23][2] = 22
562.14/81.30	c (70,0) x[23][3] = 14
562.14/81.30	c (70,0) x[23][4] = 20
562.14/81.30	c (70,0) x[23][5] = 8
562.14/81.30	c (70,0) x[23][6] = 3
562.14/81.30	c (70,0) x[23][7] = 25
562.14/81.30	c (70,0) x[23][8] = 24
562.14/81.30	c (70,0) x[23][9] = 10
562.14/81.30	c (70,0) x[23][10] = 21
562.14/81.30	c (70,0) x[23][11] = 1
562.14/81.30	c (70,0) x[23][12] = 17
562.14/81.30	c (70,0) x[23][13] = 4
562.14/81.30	c (70,0) x[23][14] = 9
562.14/81.30	c (70,0) x[23][15] = 5
562.14/81.30	c (70,0) x[23][16] = 18
562.14/81.30	c (70,0) x[23][17] = 23
562.14/81.30	c (70,0) x[23][18] = 26
562.14/81.30	c (70,0) x[23][19] = 6
562.14/81.30	c (70,0) x[23][20] = 15
562.14/81.30	c (70,0) x[23][21] = 27
562.14/81.30	c (70,0) x[23][22] = 0
562.14/81.30	c (70,0) x[23][23] = 13
562.14/81.30	c (70,0) x[23][24] = 29
562.14/81.30	c (70,0) x[23][25] = 19
562.14/81.30	c (70,0) x[23][26] = 7
562.14/81.30	c (70,0) x[23][27] = 11
562.14/81.30	c (70,0) x[23][28] = 2
562.14/81.30	c (70,0) x[23][29] = 28
562.14/81.30	c (70,0) x[24][0] = 14
562.14/81.30	c (70,0) x[24][1] = 15
562.14/81.30	c (70,0) x[24][2] = 16
562.14/81.30	c (70,0) x[24][3] = 3
562.14/81.30	c (70,0) x[24][4] = 18
562.14/81.30	c (70,0) x[24][5] = 26
562.14/81.30	c (70,0) x[24][6] = 0
562.14/81.30	c (70,0) x[24][7] = 11
562.14/81.30	c (70,0) x[24][8] = 9
562.14/81.30	c (70,0) x[24][9] = 1
562.14/81.30	c (70,0) x[24][10] = 25
562.14/81.30	c (70,0) x[24][11] = 2
562.14/81.30	c (70,0) x[24][12] = 13
562.14/81.30	c (70,0) x[24][13] = 8
562.14/81.30	c (70,0) x[24][14] = 19
562.14/81.30	c (70,0) x[24][15] = 22
562.14/81.30	c (70,0) x[24][16] = 24
562.14/81.30	c (70,0) x[24][17] = 17
562.14/81.30	c (70,0) x[24][18] = 6
562.14/81.30	c (70,0) x[24][19] = 21
562.14/81.30	c (70,0) x[24][20] = 12
562.14/81.30	c (70,0) x[24][21] = 10
562.14/81.30	c (70,0) x[24][22] = 20
562.14/81.30	c (70,0) x[24][23] = 4
562.14/81.30	c (70,0) x[24][24] = 7
562.14/81.30	c (70,0) x[24][25] = 5
562.14/81.30	c (70,0) x[24][26] = 28
562.14/81.30	c (70,0) x[24][27] = 29
562.14/81.30	c (70,0) x[24][28] = 27
562.14/81.30	c (70,0) x[24][29] = 23
562.14/81.30	c (70,0) x[25][0] = 15
562.14/81.30	c (70,0) x[25][1] = 27
562.14/81.30	c (70,0) x[25][2] = 17
562.14/81.30	c (70,0) x[25][3] = 19
562.14/81.30	c (70,0) x[25][4] = 21
562.14/81.30	c (70,0) x[25][5] = 9
562.14/81.30	c (70,0) x[25][6] = 12
562.14/81.30	c (70,0) x[25][7] = 2
562.14/81.30	c (70,0) x[25][8] = 10
562.14/81.30	c (70,0) x[25][9] = 8
562.14/81.30	c (70,0) x[25][10] = 11
562.14/81.30	c (70,0) x[25][11] = 29
562.14/81.30	c (70,0) x[25][12] = 25
562.14/81.30	c (70,0) x[25][13] = 24
562.14/81.30	c (70,0) x[25][14] = 23
562.14/81.30	c (70,0) x[25][15] = 0
562.14/81.30	c (70,0) x[25][16] = 28
562.14/81.30	c (70,0) x[25][17] = 14
562.14/81.30	c (70,0) x[25][18] = 18
562.14/81.30	c (70,0) x[25][19] = 13
562.14/81.30	c (70,0) x[25][20] = 22
562.14/81.30	c (70,0) x[25][21] = 4
562.14/81.30	c (70,0) x[25][22] = 1
562.14/81.30	c (70,0) x[25][23] = 3
562.14/81.30	c (70,0) x[25][24] = 16
562.14/81.30	c (70,0) x[25][25] = 20
562.14/81.30	c (70,0) x[25][26] = 26
562.14/81.30	c (70,0) x[25][27] = 5
562.14/81.30	c (70,0) x[25][28] = 6
562.14/81.30	c (70,0) x[25][29] = 7
562.14/81.30	c (70,0) x[26][0] = 11
562.14/81.30	c (70,0) x[26][1] = 26
562.14/81.30	c (70,0) x[26][2] = 29
562.14/81.30	c (70,0) x[26][3] = 5
562.14/81.30	c (70,0) x[26][4] = 9
562.14/81.30	c (70,0) x[26][5] = 2
562.14/81.30	c (70,0) x[26][6] = 28
562.14/81.30	c (70,0) x[26][7] = 3
562.14/81.30	c (70,0) x[26][8] = 8
562.14/81.30	c (70,0) x[26][9] = 6
562.14/81.30	c (70,0) x[26][10] = 4
562.14/81.30	c (70,0) x[26][11] = 12
562.14/81.30	c (70,0) x[26][12] = 1
562.14/81.30	c (70,0) x[26][13] = 19
562.14/81.30	c (70,0) x[26][14] = 17
562.14/81.30	c (70,0) x[26][15] = 14
562.14/81.30	c (70,0) x[26][16] = 20
562.14/81.30	c (70,0) x[26][17] = 7
562.14/81.30	c (70,0) x[26][18] = 16
562.14/81.30	c (70,0) x[26][19] = 27
562.14/81.30	c (70,0) x[26][20] = 23
562.14/81.30	c (70,0) x[26][21] = 0
562.14/81.30	c (70,0) x[26][22] = 15
562.14/81.30	c (70,0) x[26][23] = 18
562.14/81.30	c (70,0) x[26][24] = 21
562.14/81.30	c (70,0) x[26][25] = 24
562.14/81.30	c (70,0) x[26][26] = 13
562.14/81.30	c (70,0) x[26][27] = 25
562.14/81.30	c (70,0) x[26][28] = 10
562.14/81.30	c (70,0) x[26][29] = 22
562.14/81.30	c (70,0) x[27][0] = 28
562.14/81.30	c (70,0) x[27][1] = 17
562.14/81.30	c (70,0) x[27][2] = 10
562.14/81.30	c (70,0) x[27][3] = 4
562.14/81.30	c (70,0) x[27][4] = 1
562.14/81.30	c (70,0) x[27][5] = 11
562.14/81.30	c (70,0) x[27][6] = 29
562.14/81.30	c (70,0) x[27][7] = 27
562.14/81.30	c (70,0) x[27][8] = 6
562.14/81.30	c (70,0) x[27][9] = 26
562.14/81.30	c (70,0) x[27][10] = 23
562.14/81.30	c (70,0) x[27][11] = 15
562.14/81.30	c (70,0) x[27][12] = 16
562.14/81.30	c (70,0) x[27][13] = 13
562.14/81.30	c (70,0) x[27][14] = 0
562.14/81.30	c (70,0) x[27][15] = 3
562.14/81.30	c (70,0) x[27][16] = 2
562.14/81.30	c (70,0) x[27][17] = 24
562.14/81.30	c (70,0) x[27][18] = 20
562.14/81.30	c (70,0) x[27][19] = 25
562.14/81.30	c (70,0) x[27][20] = 5
562.14/81.30	c (70,0) x[27][21] = 8
562.14/81.30	c (70,0) x[27][22] = 7
562.14/81.30	c (70,0) x[27][23] = 22
562.14/81.30	c (70,0) x[27][24] = 19
562.14/81.30	c (70,0) x[27][25] = 18
562.14/81.30	c (70,0) x[27][26] = 14
562.14/81.30	c (70,0) x[27][27] = 12
562.14/81.30	c (70,0) x[27][28] = 21
562.14/81.30	c (70,0) x[27][29] = 9
562.14/81.30	c (70,0) x[28][0] = 4
562.14/81.30	c (70,0) x[28][1] = 0
562.14/81.30	c (70,0) x[28][2] = 15
562.14/81.30	c (70,0) x[28][3] = 12
562.14/81.30	c (70,0) x[28][4] = 28
562.14/81.30	c (70,0) x[28][5] = 18
562.14/81.30	c (70,0) x[28][6] = 6
562.14/81.30	c (70,0) x[28][7] = 20
562.14/81.30	c (70,0) x[28][8] = 25
562.14/81.30	c (70,0) x[28][9] = 9
562.14/81.30	c (70,0) x[28][10] = 8
562.14/81.30	c (70,0) x[28][11] = 11
562.14/81.30	c (70,0) x[28][12] = 22
562.14/81.30	c (70,0) x[28][13] = 23
562.14/81.30	c (70,0) x[28][14] = 7
562.14/81.30	c (70,0) x[28][15] = 13
562.14/81.30	c (70,0) x[28][16] = 21
562.14/81.30	c (70,0) x[28][17] = 10
562.14/81.30	c (70,0) x[28][18] = 14
562.14/81.30	c (70,0) x[28][19] = 3
562.14/81.30	c (70,0) x[28][20] = 19
562.14/81.30	c (70,0) x[28][21] = 2
562.14/81.30	c (70,0) x[28][22] = 26
562.14/81.30	c (70,0) x[28][23] = 29
562.14/81.30	c (70,0) x[28][24] = 27
562.14/81.30	c (70,0) x[28][25] = 1
562.14/81.30	c (70,0) x[28][26] = 17
562.14/81.30	c (70,0) x[28][27] = 16
562.14/81.30	c (70,0) x[28][28] = 24
562.14/81.30	c (70,0) x[28][29] = 5
562.14/81.30	c (70,0) x[29][0] = 27
562.14/81.30	c (70,0) x[29][1] = 20
562.14/81.30	c (70,0) x[29][2] = 5
562.14/81.30	c (70,0) x[29][3] = 24
562.14/81.30	c (70,0) x[29][4] = 10
562.14/81.30	c (70,0) x[29][5] = 15
562.14/81.30	c (70,0) x[29][6] = 11
562.14/81.30	c (70,0) x[29][7] = 4
562.14/81.30	c (70,0) x[29][8] = 2
562.14/81.30	c (70,0) x[29][9] = 18
562.14/81.30	c (70,0) x[29][10] = 7
562.14/81.30	c (70,0) x[29][11] = 26
562.14/81.30	c (70,0) x[29][12] = 23
562.14/81.30	c (70,0) x[29][13] = 22
562.14/81.30	c (70,0) x[29][14] = 14
562.14/81.30	c (70,0) x[29][15] = 29
562.14/81.30	c (70,0) x[29][16] = 13
562.14/81.30	c (70,0) x[29][17] = 6
562.14/81.30	c (70,0) x[29][18] = 21
562.14/81.30	c (70,0) x[29][19] = 12
562.14/81.30	c (70,0) x[29][20] = 17
562.14/81.30	c (70,0) x[29][21] = 25
562.14/81.30	c (70,0) x[29][22] = 28
562.14/81.30	c (70,0) x[29][23] = 8
562.14/81.30	c (70,0) x[29][24] = 1
562.14/81.30	c (70,0) x[29][25] = 16
562.14/81.30	c (70,0) x[29][26] = 19
562.14/81.30	c (70,0) x[29][27] = 3
562.14/81.30	c (70,0) x[29][28] = 9
562.14/81.30	c (70,0) x[29][29] = 0
562.14/81.30	s SATISFIABLE
562.14/81.31	v <instantiation>
562.14/81.31	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>
562.14/81.31	v     <values>23 8 9 15 16 0 18 10 4 13 5 27 11 3 24 20 19 28 25 7 1 6 12 17 22 26 2 21 14 29 0 21 28 20 14 6 1 12 16 22 24 13 5 18 25 4 7 3 29 17 26 23 8 11 9 10 27 19 15 2 19 13 6 22 17 23 10 7 20 3 14 16 21 15 28 24 29 8 12 9 18 5 2 26 25 27 4 1 0 11 6 19 7 26 3 24 5 23 1 16 9 17 0 2 18 21 25 12 4 29 20 22 13 27 8 14 11 10 28 15 24 28 3 16 29 13 26 19 0 5 17 20 12 10 27 9 11 22 7 8 14 21 23 25 18 15 6 2 4 1 10 23 1 7 12 28 8 29 11 15 22 21 18 26 4 6 3 9 24 19 25 17 27 20 5 2 0 13 16 14 13 6 21 11 5 22 25 1 3 4 27 0 14 7 26 12 23 15 9 2 8 18 16 19 10 28 29 17 20 24 29 22 25 28 0 19 4 26 21 27 16 7 24 14 5 11 8 1 2 10 13 15 9 23 17 12 3 6 18 20 17 5 2 8 26 21 24 9 19 20 13 18 27 11 15 25 22 16 10 0 7 3 14 12 23 4 1 28 29 6 12 11 20 27 24 10 17 8 22 7 6 5 29 21 3 28 1 18 13 14 4 16 19 15 2 0 23 9 26 25 2 16 27 23 15 4 9 21 12 14 29 8 7 5 10 18 6 25 1 26 0 13 3 24 28 11 20 22 17 19 9 18 4 21 13 20 19 0 7 17 3 6 15 29 8 2 26 5 23 22 28 1 10 14 11 25 24 27 12 16 25 24 0 17 22 5 2 14 29 23 18 28 9 12 13 1 10 26 15 16 27 11 4 6 20 21 8 7 19 3 26 25 14 29 4 1 23 15 17 2 19 24 3 16 22 7 5 11 28 20 21 12 18 9 0 6 10 8 13 27 1 14 23 2 7 3 13 6 27 19 15 25 4 28 29 10 12 20 22 5 16 9 21 0 24 17 18 26 11 8 8 3 11 10 19 29 20 18 13 24 28 22 6 1 12 17 14 4 27 23 9 26 25 2 15 7 16 0 5 21 21 4 18 6 23 16 27 28 14 12 2 10 19 0 1 8 9 29 17 24 11 20 22 5 13 3 25 15 7 26 5 1 19 9 25 7 16 22 26 28 12 23 8 17 20 27 15 2 0 11 29 14 24 10 6 13 21 18 3 4 20 10 13 25 8 12 7 5 18 21 0 4 2 27 6 26 16 19 3 15 24 29 11 28 14 9 22 23 1 17 7 9 12 18 11 14 22 13 5 0 1 3 20 25 21 23 17 27 19 28 2 24 6 16 26 29 15 4 8 10 3 29 26 13 2 27 14 17 15 25 20 19 28 6 11 16 4 0 8 1 10 7 5 21 12 23 9 24 22 18 18 2 8 1 27 25 21 24 28 29 10 9 26 20 16 15 0 13 11 4 6 19 17 7 3 22 5 14 23 12 22 7 24 0 6 17 15 16 23 11 26 14 10 9 2 19 27 21 5 18 3 28 29 1 4 8 12 20 25 13 16 12 22 14 20 8 3 25 24 10 21 1 17 4 9 5 18 23 26 6 15 27 0 13 29 19 7 11 2 28 14 15 16 3 18 26 0 11 9 1 25 2 13 8 19 22 24 17 6 21 12 10 20 4 7 5 28 29 27 23 15 27 17 19 21 9 12 2 10 8 11 29 25 24 23 0 28 14 18 13 22 4 1 3 16 20 26 5 6 7 11 26 29 5 9 2 28 3 8 6 4 12 1 19 17 14 20 7 16 27 23 0 15 18 21 24 13 25 10 22 28 17 10 4 1 11 29 27 6 26 23 15 16 13 0 3 2 24 20 25 5 8 7 22 19 18 14 12 21 9 4 0 15 12 28 18 6 20 25 9 8 11 22 23 7 13 21 10 14 3 19 2 26 29 27 1 17 16 24 5 27 20 5 24 10 15 11 4 2 18 7 26 23 22 14 29 13 6 21 12 17 25 28 8 1 16 19 3 9 0</values>
562.14/81.31	v </instantiation>
562.14/81.31	c (70,0) Show results End
562.14/81.31	c (70,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
562.14/81.31	c (70,0) 69,70,STOP-AFTER(ALL)
562.14/81.31	c END-Prog: Tue Sep 24 22:07:56 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 (13540 MiB free)
  memory of node 1: 16384 MiB (12043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405602-1569359296/watcher-4405602-1569359296 -o /var/tmp/evaluation-result-4405602-1569359296/solver-4405602-1569359296 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --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-4405602-1569359296.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=8018, runsolver pid=8015
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 8.09 8.25 8.20 2/210 8040
/proc/meminfo: memFree=26103756/32770624 swapFree=66956860/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512187373 115843072 350 33554432000 4194304 5098028 140728400750352 140728400747608 140317772149372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30797824 140728400757500 140728400757848 140728400757848 140728400760777 0
/proc/8018/statm: 28282 350 297 221 0 87 0
[pid=8021] ppid=8018 vsize=27314120 memory=105868 CPUtime=0.1 cores=0-7
/proc/8021/stat : 8021 (java) S 8018 8018 7562 0 -1 1077944320 6519 0 0 0 8 2 0 0 20 0 20 0 512187374 27969658880 26467 33554432000 4194304 4196468 140728721152240 140728721134784 140194837217015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
/proc/8021/statm: 6828530 26467 2817 1 0 6790935 0
[pid=8021/tid=8022] ppid=8018 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 7562 0 -1 4202560 4591 0 0 0 6 2 0 0 20 0 20 0 512187374 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194809021216 140194821297502 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8023] ppid=8018 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194841459216 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8024] ppid=8018 vsize=27314120 memory=139945393702528 CPUtime=0 cores=0-7
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194655615632 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8025] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194654562576 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8026] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194653510032 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8027] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194652458000 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8028] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194651405456 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8029] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194650352400 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8030] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 26979 33554432000 4194304 4196468 140728721152240 140194649299856 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8031] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187378 27969658880 26979 33554432000 4194304 4196468 140728721152240 140193156774128 140194837228162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8032] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512187379 27969658880 26979 33554432000 4194304 4196468 140728721152240 140192631481504 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8033] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8033/stat : 8033 (java) S 8018 8018 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512187379 27969658880 26979 33554432000 4194304 4196468 140728721152240 140192497259248 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8034] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 26979 33554432000 4194304 4196468 140728721152240 140192122755024 140194837235611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8035] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 7562 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 26979 33554432000 4194304 4196468 140728721152240 140193155721968 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8036] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8036/stat : 8036 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 26979 33554432000 4194304 4196468 140728721152240 140193154669424 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8037] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8037/stat : 8037 (java) S 8018 8018 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 26979 33554432000 4194304 4196468 140728721152240 140193153616368 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8038] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8038/stat : 8038 (java) S 8018 8018 7562 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 26979 33554432000 4194304 4196468 140728721152240 140193152563824 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8039] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8039/stat : 8039 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 26979 33554432000 4194304 4196468 140728721152240 140191624849888 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8040] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8040/stat : 8040 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187382 27969658880 26979 33554432000 4194304 4196468 140728721152240 140193151511216 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107268 KiB

[startup+0.216998 s]*
/proc/loadavg: 8.09 8.25 8.20 2/210 8040
/proc/meminfo: memFree=26082108/32770624 swapFree=66956860/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512187373 115843072 350 33554432000 4194304 5098028 140728400750352 140728400747608 140317772149372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30797824 140728400757500 140728400757848 140728400757848 140728400760777 0
/proc/8018/statm: 28282 350 297 221 0 87 0
[pid=8021] ppid=8018 vsize=27314120 memory=124848 CPUtime=0.25 cores=0-7
/proc/8021/stat : 8021 (java) S 8018 8018 7562 0 -1 1077944320 12117 0 0 0 21 4 0 0 20 0 20 0 512187374 27969658880 31212 33554432000 4194304 4196468 140728721152240 140728721134784 140194837217015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
/proc/8021/statm: 6828530 31212 2940 1 0 6790935 0
[pid=8021/tid=8022] ppid=8018 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 7562 0 -1 4202560 9787 0 0 0 16 4 0 0 20 0 20 0 512187374 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194809000576 140194837238941 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8023] ppid=8018 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194841459216 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8024] ppid=8018 vsize=27314120 memory=139945393715845 CPUtime=0 cores=0-7
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194655615632 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8025] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194654562576 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8026] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194653510032 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8027] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194652458000 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8028] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194651405456 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8029] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194650352400 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8030] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31212 33554432000 4194304 4196468 140728721152240 140194649299856 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8031] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187378 27969658880 31212 33554432000 4194304 4196468 140728721152240 140193156774128 140194837228162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8032] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512187379 27969658880 31212 33554432000 4194304 4196468 140728721152240 140192631481504 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8033] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8033/stat : 8033 (java) S 8018 8018 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512187379 27969658880 31212 33554432000 4194304 4196468 140728721152240 140192497259248 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8034] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31212 33554432000 4194304 4196468 140728721152240 140192122755024 140194837235611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8035] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 7562 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31212 33554432000 4194304 4196468 140728721152240 140193155721968 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8036] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8036/stat : 8036 (java) S 8018 8018 7562 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31212 33554432000 4194304 4196468 140728721152240 140193154669424 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8037] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8037/stat : 8037 (java) S 8018 8018 7562 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31212 33554432000 4194304 4196468 140728721152240 140193153616368 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8038] ppid=8018 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8021/task/8038/stat : 8038 (java) S 8018 8018 7562 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 512187381 27969658880 31212 33554432000 4194304 4196468 140728721152240 140193152563824 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8039] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8039/stat : 8039 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31212 33554432000 4194304 4196468 140728721152240 140191624849888 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8040] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8040/stat : 8040 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187382 27969658880 31212 33554432000 4194304 4196468 140728721152240 140193151511216 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126248 KiB

[startup+0.310192 s]*
/proc/loadavg: 8.09 8.25 8.20 2/210 8040
/proc/meminfo: memFree=26080184/32770624 swapFree=66956860/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512187373 115843072 350 33554432000 4194304 5098028 140728400750352 140728400747608 140317772149372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30797824 140728400757500 140728400757848 140728400757848 140728400760777 0
/proc/8018/statm: 28282 350 297 221 0 87 0
[pid=8021] ppid=8018 vsize=27314120 memory=127924 CPUtime=0.42 cores=0-7
/proc/8021/stat : 8021 (java) S 8018 8018 7562 0 -1 1077944320 12465 0 0 0 37 5 0 0 20 0 20 0 512187374 27969658880 31981 33554432000 4194304 4196468 140728721152240 140728721134784 140194837217015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
/proc/8021/statm: 6828530 31981 2993 1 0 6790935 0
[pid=8021/tid=8022] ppid=8018 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 7562 0 -1 4202560 9967 0 0 0 25 4 0 0 20 0 20 0 512187374 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194809047088 140194822382687 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8023] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194841459216 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8024] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194655615632 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8025] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194654562576 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8026] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194653510032 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8027] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194652458000 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8028] ppid=8018 vsize=27314120 memory=139945268308655 CPUtime=0 cores=0-7
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194651405456 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8029] ppid=8018 vsize=27314120 memory=139945268310960 CPUtime=0 cores=0-7
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194650352400 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8030] ppid=8018 vsize=27314120 memory=139945268313264 CPUtime=0 cores=0-7
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27969658880 31981 33554432000 4194304 4196468 140728721152240 140194649299856 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8031] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187378 27969658880 31981 33554432000 4194304 4196468 140728721152240 140193156774128 140194837228162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8032] ppid=8018 vsize=27314120 memory=279890536640400 CPUtime=0 cores=0-7
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512187379 27969658880 31981 33554432000 4194304 4196468 140728721152240 140192631481504 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8033] ppid=8018 vsize=27314120 memory=279890536638096 CPUtime=0 cores=0-7
/proc/8021/task/8033/stat : 8033 (java) S 8018 8018 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512187379 27969658880 31981 33554432000 4194304 4196468 140728721152240 140192497259248 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8034] ppid=8018 vsize=27314120 memory=279890536645008 CPUtime=0 cores=0-7
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31981 33554432000 4194304 4196468 140728721152240 140192122755024 140194837235611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8035] ppid=8018 vsize=27314120 memory=279890536586288 CPUtime=0.01 cores=0-7
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 7562 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 512187381 27969658880 31981 33554432000 4194304 4196468 140728721152240 140193155721968 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8036] ppid=8018 vsize=27314120 memory=279890536658832 CPUtime=0.01 cores=0-7
/proc/8021/task/8036/stat : 8036 (java) R 8018 8018 7562 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 20 0 512187381 27969658880 31981 33554432000 4194304 4196468 140728721152240 140193154669424 140194820601817 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8037] ppid=8018 vsize=27314120 memory=279890536665744 CPUtime=0.01 cores=0-7
/proc/8021/task/8037/stat : 8037 (java) S 8018 8018 7562 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 512187381 27969658880 31981 33554432000 4194304 4196468 140728721152240 140193153616368 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8038] ppid=8018 vsize=27314120 memory=279890536663440 CPUtime=0.07 cores=0-7
/proc/8021/task/8038/stat : 8038 (java) S 8018 8018 7562 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 512187381 27969658880 31981 33554432000 4194304 4196468 140728721152240 140193152563824 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8039] ppid=8018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8039/stat : 8039 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512187381 27969658880 31981 33554432000 4194304 4196468 140728721152240 140191624849888 140194837227221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8040] ppid=8018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8021/task/8040/stat : 8040 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187382 27969658880 31981 33554432000 4194304 4196468 140728721152240 140193151511216 140194837228162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129324 KiB

[startup+0.701035 s]
/proc/loadavg: 7.52 8.13 8.17 2/210 8040
/proc/meminfo: memFree=26058356/32770624 swapFree=66956860/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512187373 115843072 350 33554432000 4194304 5098028 140728400750352 140728400747608 140317772149372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30797824 140728400757500 140728400757848 140728400757848 140728400760777 0
/proc/8018/statm: 28282 350 297 221 0 87 0
[pid=8021] ppid=8018 vsize=27322516 memory=163936 CPUtime=1 cores=0-7
/proc/8021/stat : 8021 (java) S 8018 8018 7562 0 -1 1077944320 20133 0 0 0 92 8 0 0 20 0 20 0 512187374 27978256384 40984 33554432000 4194304 4196468 140728721152240 140728721134784 140194837217015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
/proc/8021/statm: 6830629 40984 3202 1 0 6791959 0
[pid=8021/tid=8022] ppid=8018 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 7562 0 -1 4202560 17035 0 0 0 61 6 0 0 20 0 20 0 512187374 27978256384 40984 33554432000 4194304 4196468 140728721152240 140194809048752 140194821297502 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8023] ppid=8018 vsize=27322516 memory=139945268519792 CPUtime=0 cores=0-7
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27978256384 40984 33554432000 4194304 4196468 140728721152240 140194841459216 140194837227221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8024] ppid=8018 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512187377 27978256384 40984 33554432000 4194304 4196468 140728721152240 140194655615632 140194837227221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0
[pid=8021/tid=8025] ppid=8018 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512187377 27978256384 40984 33554432000 4194304 4196468 140728721152240 140194654562576 140194837227221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15273984 140728721154759 140728721155206 140728721155206 140728721158095 0

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

[pid=8041/tid=8042] ppid=8018 vsize=8414124 memory=7686721470250522011 CPUtime=0.8 cores=0-7
/proc/8041/task/8042/stat : 8042 (java) S 8018 8018 7562 0 -1 1077944384 16928 0 0 0 73 7 0 0 20 0 24 0 512188456 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940608208800 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8043] ppid=8018 vsize=8414124 memory=123528 CPUtime=0 cores=0-7
/proc/8041/task/8043/stat : 8043 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940640611344 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8044] ppid=8018 vsize=8414124 memory=494184 CPUtime=0 cores=0-7
/proc/8041/task/8044/stat : 8044 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940440779920 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8045] ppid=8018 vsize=8414124 memory=460312 CPUtime=0 cores=0-7
/proc/8041/task/8045/stat : 8045 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940439726864 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8046] ppid=8018 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8041/task/8046/stat : 8046 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940438674320 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8047] ppid=8018 vsize=8414124 memory=5515 CPUtime=0 cores=0-7
/proc/8041/task/8047/stat : 8047 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940437621264 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8048] ppid=8018 vsize=8414124 memory=5388 CPUtime=0 cores=0-7
/proc/8041/task/8048/stat : 8048 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940117605008 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8049] ppid=8018 vsize=8414124 memory=5515 CPUtime=0 cores=0-7
/proc/8041/task/8049/stat : 8049 (java) S 8018 8018 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940116551952 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8050] ppid=8018 vsize=8414124 memory=5515 CPUtime=0 cores=0-7
/proc/8041/task/8050/stat : 8050 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188457 8616062976 30882 33554432000 4194304 4196468 140722788614208 139940115499408 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8051] ppid=8018 vsize=8414124 memory=80 CPUtime=0 cores=0-7
/proc/8041/task/8051/stat : 8051 (java) S 8018 8018 7562 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512188459 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939863984880 139940636379778 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8052] ppid=8018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8041/task/8052/stat : 8052 (java) S 8018 8018 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512188459 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939295520416 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8053] ppid=8018 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8041/task/8053/stat : 8053 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188460 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939027084528 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8054] ppid=8018 vsize=8414124 memory=123528 CPUtime=0 cores=0-7
/proc/8041/task/8054/stat : 8054 (java) S 8018 8018 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139938652576208 139940636387227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8055] ppid=8018 vsize=8414124 memory=460584 CPUtime=0.1 cores=0-7
/proc/8041/task/8055/stat : 8055 (java) S 8018 8018 7562 0 -1 1077944384 748 0 0 0 10 0 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939862931696 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8056] ppid=8018 vsize=8414124 memory=122676 CPUtime=0.11 cores=0-7
/proc/8041/task/8056/stat : 8056 (java) S 8018 8018 7562 0 -1 1077944384 578 0 0 0 11 0 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939861879152 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8057] ppid=8018 vsize=8414124 memory=457236 CPUtime=0.11 cores=0-7
/proc/8041/task/8057/stat : 8057 (java) S 8018 8018 7562 0 -1 1077944384 391 0 0 0 11 0 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939860826096 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8058] ppid=8018 vsize=8414124 memory=1160 CPUtime=0.23 cores=0-7
/proc/8041/task/8058/stat : 8058 (java) S 8018 8018 7562 0 -1 1077944384 782 0 0 0 23 0 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939859773552 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8059] ppid=8018 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/8041/task/8059/stat : 8059 (java) S 8018 8018 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139938154671072 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8060] ppid=8018 vsize=8414124 memory=4872558044660077418 CPUtime=0.06 cores=0-7
/proc/8041/task/8060/stat : 8060 (java) S 8018 8018 7562 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 24 0 512188462 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939858721968 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8062] ppid=8018 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8041/task/8062/stat : 8062 (java) S 8018 8018 7562 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512188533 8616062976 30882 33554432000 4194304 4196468 140722788614208 139939850687936 139940636393241 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8064] ppid=8018 vsize=8414124 memory=123528 CPUtime=0 cores=0-7
/proc/8041/task/8064/stat : 8064 (java) S 8018 8018 7562 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512188533 8616062976 30882 33554432000 4194304 4196468 140722788614208 139937483570704 139940636390557 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8065] ppid=8018 vsize=8414124 memory=494184 CPUtime=0 cores=0-7
/proc/8041/task/8065/stat : 8065 (java) S 8018 8018 7562 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512188533 8616062976 30882 33554432000 4194304 4196468 140722788614208 139937752006288 139940636390557 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8066] ppid=8018 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/8041/task/8066/stat : 8066 (java) S 8018 8018 7562 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512188535 8616062976 30882 33554432000 4194304 4196468 140722788614208 139937215142832 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
Current children cumulated CPU time: 561.19 s
Current children cumulated vsize: 9324172 KiB
Current children cumulated memory: 617164 KiB

[startup+81.201 s]
/proc/loadavg: 7.04 7.80 8.04 2/216 8077
/proc/meminfo: memFree=25593792/32770624 swapFree=66956860/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1476 CPUtime=20.37 cores=0-7
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 7562 0 -1 4202496 583 36356 0 0 0 0 1953 84 20 0 1 0 512187373 115843072 369 33554432000 4194304 5098028 140728400750352 140728400747096 140317772149372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140728400757500 140728400757848 140728400757848 140728400760777 0
/proc/8018/statm: 28282 369 311 221 0 87 0
[pid=8041] ppid=8018 vsize=8283048 memory=141508 CPUtime=541.47 cores=0-7
/proc/8041/stat : 8041 (java) S 8018 8018 7562 0 -1 1077944320 21903 283472 0 0 174 10 53895 68 20 0 22 0 512188456 8481841152 35377 33554432000 4194304 4196468 140722788614208 140722788596752 139940636368631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
/proc/8041/statm: 2070762 35377 3231 1 0 2032106 0
[pid=8041/tid=8042] ppid=8018 vsize=8283048 memory=492160 CPUtime=540.53 cores=0-7
/proc/8041/task/8042/stat : 8042 (java) R 8018 8018 7562 0 -1 4202560 17175 283472 0 0 83 7 53895 68 20 0 22 0 512188456 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940608206816 139940636390557 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8043] ppid=8018 vsize=8283048 memory=288230377007612191 CPUtime=539.63 cores=0-7
/proc/8041/task/8043/stat : 8043 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940640611344 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8044] ppid=8018 vsize=8283048 memory=0 CPUtime=539.63 cores=0-7
/proc/8041/task/8044/stat : 8044 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940440779920 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8045] ppid=8018 vsize=8283048 memory=0 CPUtime=539.63 cores=0-7
/proc/8041/task/8045/stat : 8045 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940439726864 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8046] ppid=8018 vsize=8283048 memory=8547710663883855229 CPUtime=539.63 cores=0-7
/proc/8041/task/8046/stat : 8046 (java) S 8018 8018 7562 0 -1 1077944384 3 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940438674320 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8047] ppid=8018 vsize=8283048 memory=0 CPUtime=539.63 cores=0-7
/proc/8041/task/8047/stat : 8047 (java) S 8018 8018 7562 0 -1 1077944384 2 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940437621264 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8048] ppid=8018 vsize=8283048 memory=288230574492221466 CPUtime=539.63 cores=0-7
/proc/8041/task/8048/stat : 8048 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940117605008 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8049] ppid=8018 vsize=8283048 memory=288230621803970871 CPUtime=539.63 cores=0-7
/proc/8041/task/8049/stat : 8049 (java) S 8018 8018 7562 0 -1 1077944384 2 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940116551952 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8050] ppid=8018 vsize=8283048 memory=14975559662831995 CPUtime=539.63 cores=0-7
/proc/8041/task/8050/stat : 8050 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 35377 33554432000 4194304 4196468 140722788614208 139940115499408 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8051] ppid=8018 vsize=8283048 memory=1136 CPUtime=539.63 cores=0-7
/proc/8041/task/8051/stat : 8051 (java) S 8018 8018 7562 0 -1 1077944384 6 283472 0 0 0 0 53895 68 20 0 22 0 512188459 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939863984880 139940636379778 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8052] ppid=8018 vsize=8283048 memory=1072 CPUtime=539.63 cores=0-7
/proc/8041/task/8052/stat : 8052 (java) S 8018 8018 7562 0 -1 1077944384 13 283472 0 0 0 0 53895 68 20 0 22 0 512188459 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939295520416 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8053] ppid=8018 vsize=8283048 memory=6196 CPUtime=539.63 cores=0-7
/proc/8041/task/8053/stat : 8053 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188460 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939027084528 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8054] ppid=8018 vsize=8283048 memory=784 CPUtime=539.63 cores=0-7
/proc/8041/task/8054/stat : 8054 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139938652576208 139940636387227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8055] ppid=8018 vsize=8283048 memory=1060 CPUtime=539.79 cores=0-7
/proc/8041/task/8055/stat : 8055 (java) S 8018 8018 7562 0 -1 1077944384 907 283472 0 0 16 0 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939862931696 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8056] ppid=8018 vsize=8283048 memory=14012 CPUtime=539.77 cores=0-7
/proc/8041/task/8056/stat : 8056 (java) S 8018 8018 7562 0 -1 1077944384 607 283472 0 0 14 0 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939861879152 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8057] ppid=8018 vsize=8283048 memory=25336 CPUtime=539.77 cores=0-7
/proc/8041/task/8057/stat : 8057 (java) S 8018 8018 7562 0 -1 1077944384 411 283472 0 0 14 0 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939860826096 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8058] ppid=8018 vsize=8283048 memory=14056 CPUtime=539.95 cores=0-7
/proc/8041/task/8058/stat : 8058 (java) S 8018 8018 7562 0 -1 1077944384 1209 283472 0 0 32 0 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939859773552 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8059] ppid=8018 vsize=8283048 memory=2116 CPUtime=539.63 cores=0-7
/proc/8041/task/8059/stat : 8059 (java) S 8018 8018 7562 0 -1 1077944384 3 283472 0 0 0 0 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139938154671072 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8060] ppid=8018 vsize=8283048 memory=516 CPUtime=539.69 cores=0-7
/proc/8041/task/8060/stat : 8060 (java) S 8018 8018 7562 0 -1 1077944384 7 283472 0 0 3 3 53895 68 20 0 22 0 512188462 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939858721968 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8062] ppid=8018 vsize=8283048 memory=1556 CPUtime=539.63 cores=0-7
/proc/8041/task/8062/stat : 8062 (java) S 8018 8018 7562 0 -1 1077944384 24 283472 0 0 0 0 53895 68 20 0 22 0 512188533 8481841152 35377 33554432000 4194304 4196468 140722788614208 139939850687120 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8066] ppid=8018 vsize=8283048 memory=288230574492221466 CPUtime=539.63 cores=0-7
/proc/8041/task/8066/stat : 8066 (java) S 8018 8018 7562 0 -1 1077944384 14 283472 0 0 0 0 53895 68 20 0 22 0 512188535 8481841152 35377 33554432000 4194304 4196468 140722788614208 139937215144624 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
Current children cumulated CPU time: 561.84 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142984 KiB

[startup+81.3009 s]
/proc/loadavg: 7.04 7.80 8.04 2/216 8077
/proc/meminfo: memFree=25593792/32770624 swapFree=66956860/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1476 CPUtime=20.37 cores=0-7
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 7562 0 -1 4202496 583 36356 0 0 0 0 1953 84 20 0 1 0 512187373 115843072 369 33554432000 4194304 5098028 140728400750352 140728400747096 140317772149372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140728400757500 140728400757848 140728400757848 140728400760777 0
/proc/8018/statm: 28282 369 311 221 0 87 0
[pid=8041] ppid=8018 vsize=8283048 memory=151960 CPUtime=541.77 cores=0-7
/proc/8041/stat : 8041 (java) S 8018 8018 7562 0 -1 1077944320 24537 283472 0 0 203 11 53895 68 20 0 22 0 512188456 8481841152 37990 33554432000 4194304 4196468 140722788614208 140722788596752 139940636368631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
/proc/8041/statm: 2070762 37990 3235 1 0 2032106 0
[pid=8041/tid=8042] ppid=8018 vsize=8283048 memory=137896 CPUtime=540.63 cores=0-7
/proc/8041/task/8042/stat : 8042 (java) R 8018 8018 7562 0 -1 4202560 18261 283472 0 0 92 8 53895 68 20 0 22 0 512188456 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940608195680 139940636390461 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8043] ppid=8018 vsize=8283048 memory=1476 CPUtime=539.63 cores=0-7
/proc/8041/task/8043/stat : 8043 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940640611344 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8044] ppid=8018 vsize=8283048 memory=492160 CPUtime=539.63 cores=0-7
/proc/8041/task/8044/stat : 8044 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940440779920 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8045] ppid=8018 vsize=8283048 memory=3 CPUtime=539.63 cores=0-7
/proc/8041/task/8045/stat : 8045 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940439726864 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8046] ppid=8018 vsize=8283048 memory=819 CPUtime=539.63 cores=0-7
/proc/8041/task/8046/stat : 8046 (java) S 8018 8018 7562 0 -1 1077944384 3 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940438674320 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8047] ppid=8018 vsize=8283048 memory=494184 CPUtime=539.63 cores=0-7
/proc/8041/task/8047/stat : 8047 (java) S 8018 8018 7562 0 -1 1077944384 2 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940437621264 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8048] ppid=8018 vsize=8283048 memory=485760 CPUtime=539.63 cores=0-7
/proc/8041/task/8048/stat : 8048 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940117605008 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8049] ppid=8018 vsize=8283048 memory=123528 CPUtime=539.63 cores=0-7
/proc/8041/task/8049/stat : 8049 (java) S 8018 8018 7562 0 -1 1077944384 2 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940116551952 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8050] ppid=8018 vsize=8283048 memory=494184 CPUtime=539.63 cores=0-7
/proc/8041/task/8050/stat : 8050 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188457 8481841152 37990 33554432000 4194304 4196468 140722788614208 139940115499408 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8051] ppid=8018 vsize=8283048 memory=494184 CPUtime=539.63 cores=0-7
/proc/8041/task/8051/stat : 8051 (java) S 8018 8018 7562 0 -1 1077944384 6 283472 0 0 0 0 53895 68 20 0 22 0 512188459 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939863984880 139940636379778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8052] ppid=8018 vsize=8283048 memory=5486 CPUtime=539.63 cores=0-7
/proc/8041/task/8052/stat : 8052 (java) S 8018 8018 7562 0 -1 1077944384 13 283472 0 0 0 0 53895 68 20 0 22 0 512188459 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939295520416 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8053] ppid=8018 vsize=8283048 memory=53968 CPUtime=539.63 cores=0-7
/proc/8041/task/8053/stat : 8053 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188460 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939027084528 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8054] ppid=8018 vsize=8283048 memory=984 CPUtime=539.63 cores=0-7
/proc/8041/task/8054/stat : 8054 (java) S 8018 8018 7562 0 -1 1077944384 1 283472 0 0 0 0 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139938652576208 139940636387227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8055] ppid=8018 vsize=8283048 memory=1060 CPUtime=539.85 cores=0-7
/proc/8041/task/8055/stat : 8055 (java) R 8018 8018 7562 0 -1 4202560 1304 283472 0 0 22 0 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939862912712 139940620757226 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8056] ppid=8018 vsize=8283048 memory=123528 CPUtime=539.83 cores=0-7
/proc/8041/task/8056/stat : 8056 (java) R 8018 8018 7562 0 -1 4202560 987 283472 0 0 20 0 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939861853968 139940616022496 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8057] ppid=8018 vsize=8283048 memory=459160 CPUtime=539.81 cores=0-7
/proc/8041/task/8057/stat : 8057 (java) S 8018 8018 7562 0 -1 1077944384 796 283472 0 0 18 0 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939860826096 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8058] ppid=8018 vsize=8283048 memory=1408 CPUtime=540 cores=0-7
/proc/8041/task/8058/stat : 8058 (java) R 8018 8018 7562 0 -1 4202560 1595 283472 0 0 37 0 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939859773552 139940636389978 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8059] ppid=8018 vsize=8283048 memory=1548 CPUtime=539.63 cores=0-7
/proc/8041/task/8059/stat : 8059 (java) S 8018 8018 7562 0 -1 1077944384 3 283472 0 0 0 0 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139938154671072 139940636378837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8060] ppid=8018 vsize=8283048 memory=7552 CPUtime=539.69 cores=0-7
/proc/8041/task/8060/stat : 8060 (java) S 8018 8018 7562 0 -1 1077944384 7 283472 0 0 3 3 53895 68 20 0 22 0 512188462 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939858721968 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8062] ppid=8018 vsize=8283048 memory=7552 CPUtime=539.63 cores=0-7
/proc/8041/task/8062/stat : 8062 (java) S 8018 8018 7562 0 -1 1077944384 24 283472 0 0 0 0 53895 68 20 0 22 0 512188533 8481841152 37990 33554432000 4194304 4196468 140722788614208 139939850687120 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
[pid=8041/tid=8066] ppid=8018 vsize=8283048 memory=3608 CPUtime=539.63 cores=0-7
/proc/8041/task/8066/stat : 8066 (java) S 8018 8018 7562 0 -1 1077944384 14 283472 0 0 0 0 53895 68 20 0 22 0 512188535 8481841152 37990 33554432000 4194304 4196468 140722788614208 139937215144624 139940636379778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140722788619232 140722788619398 140722788619398 140722788622287 0
Current children cumulated CPU time: 562.14 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 153436 KiB

Child status: 0
Real time (s): 81.3348
CPU time (s): 562.259
CPU user time (s): 560.594
CPU system time (s): 1.66578
CPU usage (%): 691.29
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4433328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.594
system time used= 1.66578
maximum resident set size= 4437128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13079
involuntary context switches= 5648


# summary of solver processes directly reported to runsolver:
#   pid: 8018
#   total CPU time (s): 562.259
#   total CPU user time (s): 560.594
#   total CPU system time (s): 1.66578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.786997 second user time and 1.09505 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 22:06:35
IDJOB=4405602
IDBENCH=138970
IDSOLVER=2868
FILE ID=node105/4405602-1569359296
RUNJOBID= node105-1569352967-7589
PBS_JOBID= 21705104
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-06.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 /var/tmp/evaluation-result-4405602-1569359296/watcher-4405602-1569359296 -o /var/tmp/evaluation-result-4405602-1569359296/solver-4405602-1569359296 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --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-4405602-1569359296.xml

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

MD5SUM BENCH= 4d249bb6d4470f00f240c18f02f8ea53
RANDOM SEED=732981991

node105.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.00
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.00
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.00
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.00
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:        26197460 kB
MemAvailable:   31800128 kB
Buffers:          124356 kB
Cached:          5609184 kB
SwapCached:        48360 kB
Active:          2854608 kB
Inactive:        2929412 kB
Active(anon):       4864 kB
Inactive(anon):    99592 kB
Active(file):    2849744 kB
Inactive(file):  2829820 kB
Unevictable:      110936 kB
Mlocked:          110936 kB
SwapTotal:      67108860 kB
SwapFree:       66956860 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:        113568 kB
Mapped:            53840 kB
Shmem:             45936 kB
Slab:             380248 kB
SReclaimable:     351564 kB
SUnreclaim:        28684 kB
KernelStack:        3392 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505840 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 22:07:57