Trace number 4392742

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 562.433 83.0528

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-4016-serial-file.bin HOME/instance-4392742-1568443003.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: Sat Sep 14 08:36:01 CEST 2019
0.66/0.57	c PID: 4019
0.66/0.57	c IP: 172.20.3.125
0.66/0.57	c HOST: node125.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.69/1.06	c (0,0) Parsing End
1.69/1.07	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.08	c (0,0) Ctr:HOME/instance-4392742-1568443003.xml,AllDifferentMatrix:Instantiation:Var
1.69/1.08	c (0,0) Constraint Name Generate End
1.69/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.69/1.08	c (0,0) CSP to CSPinCNF Begin
1.93/1.11	c (0,0) translated 1 (10%) constraints
5.61/2.79	c (2,2) translated 2 (20%) constraints
6.19/2.97	c (2,2) ===========================================
6.19/2.97	c (2,2) Hybrid: #OE=375, #LE=525
6.19/2.97	c (2,2) Hybrid
6.19/2.97	c (2,2) ===========================================
8.05/3.43	c (2,2) translated 2855 (10%) constraints
8.88/3.76	c (3,3) translated 5709 (20%) constraints
9.36/4.09	c (3,3) translated 8564 (30%) constraints
9.76/4.40	c (3,3) translated 11418 (40%) constraints
10.06/4.73	c (4,4) translated 14273 (50%) constraints
10.40/5.01	c (4,4) translated 17127 (60%) constraints
10.61/5.28	c (4,4) translated 19982 (70%) constraints
10.94/5.55	c (5,4) translated 22836 (80%) constraints
11.27/5.85	c (5,5) translated 25691 (90%) constraints
11.48/6.09	c (5,5) translated 28545 (100%) constraints
11.48/6.10	c (5,5) CSP to CSPinCNF End
11.63/6.11	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137070 ctr, max domain size 30
11.63/6.11	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.63/6.11	c (5,5) CSPinCNF Propagation Begin
14.95/8.15	c (7,7) 20563 values, 88388 unsatisfiable literals, and 91835 valid clauses are removed
14.95/8.15	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.12/8.21	c (7,7) Hybrid: #OE=27375, #LE=525
15.12/8.21	c (7,7) Simplify CSPinCNF Begin
16.22/8.71	c (8,8) Simplify CSPinCNF End
16.22/8.73	c (8,8) CSP: 866 int (0 aux), 52894 bool (52860 aux), 71095 ctr, max domain size 30
16.22/8.73	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.22/8.73	c (8,8) Calculate Precise Domain Begin
16.22/8.73	c (8,8) 0 values are removed by re-calculation
16.22/8.73	c (8,8) Calculate Precise Domain End
16.22/8.74	c (8,8) CSP: 866 int (0 aux), 52894 bool (52860 aux), 71095 ctr, max domain size 30
16.22/8.74	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.22/8.74	c (8,8) CSPinCNF to SatSolver Begin
17.97/9.29	c (8,8) 7110 (10 %) CSP clauses are encoded (0 SAT variables, 29234 SAT clauses)
18.38/9.45	c (8,8) 14219 (20 %) CSP clauses are encoded (0 SAT variables, 51045 SAT clauses)
18.65/9.61	c (9,9) 21329 (30 %) CSP clauses are encoded (0 SAT variables, 73067 SAT clauses)
18.77/9.76	c (9,9) 28438 (40 %) CSP clauses are encoded (0 SAT variables, 94132 SAT clauses)
18.99/9.90	c (9,9) 35548 (50 %) CSP clauses are encoded (0 SAT variables, 115760 SAT clauses)
19.11/10.05	c (9,9) 42657 (60 %) CSP clauses are encoded (0 SAT variables, 136621 SAT clauses)
19.27/10.19	c (9,9) 49767 (70 %) CSP clauses are encoded (0 SAT variables, 158225 SAT clauses)
19.51/10.33	c (9,9) 56876 (80 %) CSP clauses are encoded (0 SAT variables, 179874 SAT clauses)
19.61/10.47	c (9,9) 63986 (90 %) CSP clauses are encoded (0 SAT variables, 201230 SAT clauses)
19.82/10.61	c (10,10) 71095 (100 %) CSP clauses are encoded (0 SAT variables, 223191 SAT clauses)
19.82/10.61	c (10,10) CSPinCNF to SatSolver End
19.82/10.61	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.82/10.61	c (10,10) 41980 bool, 223192 clause
19.82/10.61	c (10,10) Export Begin
20.01/10.75	c (10,10) Export to HOME/scop-4016-serial-file.bin
20.01/10.75	c (10,10) Export End
20.01/10.75	c (10,10) Export File Size: 0.15 MB
20.01/10.75	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.01/10.75	c END-Prog: Sat Sep 14 08:36:11 CEST 2019
0.00/10.80	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4016-serial-file.bin
20.72/11.27	c (0,0) Read Serial File Begin
20.72/11.27	c (0,0) HOME/scop-4016-serial-file.bin
21.22/11.52	c (0,0) Read Serial File End
21.22/11.54	
21.22/11.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.22/11.54	(Solving Process)
21.22/11.54	
21.22/11.56	c BEGIN-Prog: Sat Sep 14 08:36:12 CEST 2019
21.22/11.56	c PID: 4041
21.22/11.56	c IP: 172.20.3.125
21.22/11.56	c HOST: node125.alineos.net
21.22/11.57	c (0,0) SatSolver.solve Begin
21.22/11.57	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392742-1568443003.xml-scop-4019.cnf
21.22/11.59	c (0,0) c
21.22/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.22/11.59	c (0,0) c
21.22/11.59	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.22/11.59	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.22/11.59	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.22/11.59	c (0,0) c |                                                                                                       |
21.54/11.67	c (0,0) c |  Number of variables:         41980                                                                   |
21.54/11.67	c (0,0) c |  Number of clauses:          223192                                                                   |
21.54/11.67	c (0,0) c |  Parse time:                   0.07 s                                                                 |
21.54/11.67	c (0,0) c |                                                                                                       |
21.62/11.89	c (0,0) c |  Simplification time:          0.21 s                                                                 |
21.62/11.89	c (0,0) c |                                                                                                       |
21.62/11.89	c (0,0) c |  Generating clones                                                                                    |
22.03/12.02	c (0,0) c |  all clones generated. Memory =   207.45Mb.                                                           |
22.03/12.02	c (0,0) c ========================================================================================================|
22.03/12.02	c (0,0) c
22.03/12.02	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.03/12.02	c (0,0) c
22.03/12.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.03/12.02	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.03/12.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.03/12.02	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.03/12.02	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.03/12.02	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.03/12.02	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.03/12.02	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.03/12.02	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.03/12.02	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.03/12.02	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.03/12.02	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.03/12.02	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.03/12.02	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.03/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.03/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.03/12.02	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.03/12.02	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.03/12.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
252.09/41.07	c (29,0) c
252.09/41.07	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
252.09/41.07	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
252.09/41.07	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
252.09/41.07	c (29,0) c |  0 |    489 |     288763 |      31700 |    61033 |    15317 |     6430 |    40282 |     2869 |      141 |  20 |  6.027 |
252.09/41.07	c (29,0) c |  1 |    454 |     277772 |      30228 |    59734 |    13839 |     6138 |    38306 |     2616 |      132 |  20 |  6.031 |
252.09/41.07	c (29,0) c |  2 |    537 |     293793 |      33945 |    61787 |    17574 |     6576 |    42458 |     3144 |      151 |  20 |  6.036 |
252.09/41.07	c (29,0) c |  3 |    526 |     296657 |      34090 |    62104 |    17701 |     6624 |    42561 |     3173 |      152 |  20 |  6.036 |
252.09/41.07	c (29,0) c |  4 |    540 |     289731 |      34306 |    62151 |    17929 |     6584 |    42625 |     3217 |      152 |  20 |  6.036 |
252.09/41.07	c (29,0) c |  5 |    526 |     290207 |      34046 |    62276 |    17660 |     6585 |    42620 |     3153 |      152 |  20 |  6.036 |
252.09/41.07	c (29,0) c |  6 |    535 |     296056 |      34324 |    62259 |    17937 |     6567 |    42658 |     3139 |      152 |  20 |  6.036 |
252.09/41.07	c (29,0) c |  7 |    535 |     295339 |      34264 |    62258 |    17878 |     6546 |    42642 |     3151 |      152 |  20 |  6.036 |
252.09/41.07	c (29,0) c 
252.09/41.07	c (29,0) c synthesis      266903 conflicts   340060270 propagations     1158 conflicts/sec  1476031 propagations/sec
252.09/41.07	c (29,0) c real: 29.4797 s, cpu: 230.388 s, memory: 778.25 Mb
483.82/71.07	c (59,0) c
483.82/71.07	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
483.82/71.07	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
483.82/71.07	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
483.82/71.07	c (59,0) c |  0 |    921 |     392340 |      60951 |    72524 |    22358 |    10355 |    67685 |     5894 |      293 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  1 |    906 |     383381 |      59295 |    72155 |    20699 |    10161 |    66361 |     5682 |      284 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  2 |    990 |     400970 |      62891 |    73005 |    24301 |    10381 |    69784 |     6136 |      304 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  3 |    963 |     400495 |      62747 |    72915 |    24152 |    10407 |    69849 |     6237 |      304 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  4 |    955 |     389072 |      63060 |    72913 |    24470 |    10361 |    69868 |     6039 |      304 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  5 |    953 |     389123 |      62682 |    73501 |    24088 |    10335 |    69937 |     6100 |      304 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  6 |    994 |     400994 |      63016 |    73384 |    24421 |    10342 |    69835 |     6005 |      304 |  20 |  6.062 |
483.82/71.07	c (59,0) c |  7 |    979 |     399949 |      63220 |    73112 |    24631 |    10383 |    69845 |     6208 |      304 |  20 |  6.062 |
483.82/71.07	c (59,0) c 
483.82/71.07	c (59,0) c synthesis      497862 conflicts   606250881 propagations     1078 conflicts/sec  1312292 propagations/sec
483.82/71.07	c (59,0) c real: 59.4797 s, cpu: 461.979 s, memory: 778.25 Mb
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c real time : 71.1443 s
561.61/82.73	c (71,0) c cpu time  : 539.265 s
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
561.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c | Conflicts     |          572672 |      71758 |      71566 |      71455 |      71352 |      71772 |      71133 |      71755 |      71881 |
561.61/82.73	c (71,0) c | Decisions     |         3390117 |     424924 |     421449 |     428340 |     428415 |     414602 |     415310 |     427994 |     429083 |
561.61/82.73	c (71,0) c | Propagations  |       692998490 |   86732638 |   86612129 |   87029691 |   86622623 |   86440930 |   86235877 |   86672739 |   86651863 |
561.61/82.73	c (71,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
561.61/82.73	c (71,0) c | SimpDBs       |             516 |         66 |         65 |         64 |         65 |         64 |         64 |         65 |         63 |
561.61/82.73	c (71,0) c | Restarts      |            8663 |       1065 |       1068 |       1111 |       1082 |       1055 |       1072 |       1106 |       1104 |
561.61/82.73	c (71,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.61/82.73	c (71,0) c | PropBinClauses|      1944339672 |  243272965 |  242558344 |  244069919 |  242593904 |  243018940 |  242429385 |  243224367 |  243171848 |
561.61/82.73	c (71,0) c | PropPreBlocker|      9820146538 | 1226746611 | 1225050380 | 1230331314 | 1227937731 | 1227724841 | 1226387193 | 1227310524 | 1228657944 |
561.61/82.73	c (71,0) c | PropNotBlocker|      2501932194 |  312606753 |  313130375 |  312645468 |  312426044 |  311557587 |  313645173 |  312712680 |  313208114 |
561.61/82.73	c (71,0) c | LitFullScans  |     16952098116 | 2118425770 | 2118151276 | 2120225849 | 2118927643 | 2118578764 | 2118966367 | 2119013496 | 2119808951 |
561.61/82.73	c (71,0) c | LitScanFracts |         3619876 |     385817 |     112571 |     436638 |     128320 |     372070 |     786431 |     892836 |     505193 |
561.61/82.73	c (71,0) c | DecisionLevel0|           19337 |       2412 |       2413 |       2403 |       2455 |       2370 |       2400 |       2453 |       2431 |
561.61/82.73	c (71,0) c | Periods       |            2824 |        353 |        353 |        353 |        353 |        353 |        353 |        353 |        353 |
561.61/82.73	c (71,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
561.61/82.73	c (71,0) c | Avg_Trail     |                 |       9713 |       9728 |       9760 |       9771 |       9745 |       9722 |       9749 |       9744 |
561.61/82.73	c (71,0) c | Avg_DL        |                 |         88 |         88 |         92 |         93 |         88 |         88 |         93 |         93 |
561.61/82.73	c (71,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.61/82.73	c (71,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c | Exported      |           91585 |      11615 |      11605 |      11381 |      11388 |      11373 |      11378 |      11437 |      11408 |
561.61/82.73	c (71,0) c | Imported      |          614621 |      76653 |      76544 |      76893 |      76867 |      76912 |      76913 |      76937 |      76902 |
561.61/82.73	c (71,0) c | Good          |           61485 |       7674 |       7632 |       7680 |       7655 |       7685 |       7721 |       7728 |       7710 |
561.61/82.73	c (71,0) c | Purge         |          553136 |      68979 |      68912 |      69213 |      69212 |      69227 |      69192 |      69209 |      69192 |
561.61/82.73	c (71,0) c | Promoted      |           56286 |       7027 |       6976 |       7065 |       7159 |       6991 |       7003 |       6950 |       7115 |
561.61/82.73	c (71,0) c | Remove_Imp    |          356120 |      44233 |      44221 |      44779 |      44713 |      44309 |      44955 |      44471 |      44439 |
561.61/82.73	c (71,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
561.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c | Unaries       |                 |       1347 |       1345 |       1292 |       1373 |       1315 |       1328 |       1347 |       1327 |
561.61/82.73	c (71,0) c | Binaries      |                 |       1112 |       1152 |       1105 |       1132 |       1105 |       1065 |       1062 |       1078 |
561.61/82.73	c (71,0) c | Glues         |                 |       2288 |       2213 |       2186 |       2221 |       2188 |       2199 |       2149 |       2212 |
561.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c | Orig_Seen     |            45 % |      75555 |      75590 |      75381 |      75319 |      75322 |      75826 |      75740 |      75568 |
561.61/82.73	c (71,0) c | Diff Orig seen|                 | -      185 | -      150 | -      359 | -      421 | -      418 |         86 |      X     | -      172 |
561.61/82.73	c (71,0) c | Hamming       |            12 % |       5040 |       5657 |       5053 |       5276 |       5725 |       5709 |      X     |       5711 |
561.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c | RunningTime   |                 |   69.8 100%|   70.7 100%|   67.5  98%|   66.8  97%|   66.9  98%|   66.8  97%|   66.3  97%|   66.6  97%|
561.61/82.73	c (71,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.1   2%|    1.8   3%|    1.7   2%|    1.7   3%|    2.3   3%|    2.0   3%|
561.61/82.73	c (71,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.61/82.73	c (71,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.61/82.73	c (71,0) c | SolvingTime   |                 |   69.8     |   70.7     |   68.6     |   68.6     |   68.6     |   68.6     |   68.6     |   68.6     |
561.61/82.73	c (71,0) c | PropagationTim|                 |   61.1  88%|   62.1  88%|   59.4  87%|   59.1  86%|   59.6  87%|   59.8  87%|   59.8  87%|   59.8  87%|
561.61/82.73	c (71,0) c | AnalysisTime  |                 |    5.8   8%|    5.7   8%|    6.3   9%|    6.4   9%|    6.0   9%|    5.9   9%|    5.9   9%|    5.8   8%|
561.61/82.73	c (71,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.61/82.73	c (71,0) c | SimplifyTime  |                 |    0.4   1%|    0.4   1%|    0.4   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.4   1%|
561.61/82.73	c (71,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.61/82.73	c (71,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.61/82.73	c (71,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c
561.61/82.73	c (71,0) c Threads : 8
561.61/82.73	c (71,0) c Winner : 6
561.61/82.73	c (71,0) c Conflicts_0 : 71758
561.61/82.73	c (71,0) c Conflicts_1 : 71566
561.61/82.73	c (71,0) c Conflicts_2 : 71455
561.61/82.73	c (71,0) c Conflicts_3 : 71352
561.61/82.73	c (71,0) c Conflicts_4 : 71772
561.61/82.73	c (71,0) c Conflicts_5 : 71133
561.61/82.73	c (71,0) c Conflicts_6 : 71755
561.61/82.73	c (71,0) c Conflicts_7 : 71881
561.61/82.73	c (71,0) c Conflicts_total : 572672
561.61/82.73	c (71,0) c Conflicts_winner : 71755
561.61/82.74	c (71,0) c Decisions_0 : 424924
561.61/82.74	c (71,0) c Decisions_1 : 421449
561.61/82.74	c (71,0) c Decisions_2 : 428340
561.61/82.74	c (71,0) c Decisions_3 : 428415
561.61/82.74	c (71,0) c Decisions_4 : 414602
561.61/82.74	c (71,0) c Decisions_5 : 415310
561.61/82.74	c (71,0) c Decisions_6 : 427994
561.61/82.74	c (71,0) c Decisions_7 : 429083
561.61/82.74	c (71,0) c Decisions_total : 3390117
561.61/82.74	c (71,0) c Decisions_winner : 427994
561.61/82.74	c (71,0) c Propagations_0 : 86732638
561.61/82.74	c (71,0) c Propagations_1 : 86612129
561.61/82.74	c (71,0) c Propagations_2 : 87029691
561.61/82.74	c (71,0) c Propagations_3 : 86622623
561.61/82.74	c (71,0) c Propagations_4 : 86440930
561.61/82.74	c (71,0) c Propagations_5 : 86235877
561.61/82.74	c (71,0) c Propagations_6 : 86672739
561.61/82.74	c (71,0) c Propagations_7 : 86651863
561.61/82.74	c (71,0) c Propagations_total : 692998490
561.61/82.74	c (71,0) c Propagations_winner : 86672739
561.61/82.74	c (71,0) c ReduceDBs_0 : 7
561.61/82.74	c (71,0) c ReduceDBs_1 : 7
561.61/82.74	c (71,0) c ReduceDBs_2 : 7
561.61/82.74	c (71,0) c ReduceDBs_3 : 7
561.61/82.74	c (71,0) c ReduceDBs_4 : 7
561.61/82.74	c (71,0) c ReduceDBs_5 : 7
561.61/82.74	c (71,0) c ReduceDBs_6 : 7
561.61/82.74	c (71,0) c ReduceDBs_7 : 7
561.61/82.74	c (71,0) c ReduceDBs_total : 56
561.61/82.74	c (71,0) c ReduceDBs_winner : 7
561.61/82.74	c (71,0) c SimpDBs_0 : 66
561.61/82.74	c (71,0) c SimpDBs_1 : 65
561.61/82.74	c (71,0) c SimpDBs_2 : 64
561.61/82.74	c (71,0) c SimpDBs_3 : 65
561.61/82.74	c (71,0) c SimpDBs_4 : 64
561.61/82.74	c (71,0) c SimpDBs_5 : 64
561.61/82.74	c (71,0) c SimpDBs_6 : 65
561.61/82.74	c (71,0) c SimpDBs_7 : 63
561.61/82.74	c (71,0) c SimpDBs_total : 516
561.61/82.74	c (71,0) c SimpDBs_winner : 65
561.61/82.74	c (71,0) c Restarts_0 : 1065
561.61/82.74	c (71,0) c Restarts_1 : 1068
561.61/82.74	c (71,0) c Restarts_2 : 1111
561.61/82.74	c (71,0) c Restarts_3 : 1082
561.61/82.74	c (71,0) c Restarts_4 : 1055
561.61/82.74	c (71,0) c Restarts_5 : 1072
561.61/82.74	c (71,0) c Restarts_6 : 1106
561.61/82.74	c (71,0) c Restarts_7 : 1104
561.61/82.74	c (71,0) c Restarts_total : 8663
561.61/82.74	c (71,0) c Restarts_winner : 1106
561.61/82.74	c (71,0) c ForcedImports_0 : 0
561.61/82.74	c (71,0) c ForcedImports_1 : 0
561.61/82.74	c (71,0) c ForcedImports_2 : 0
561.61/82.74	c (71,0) c ForcedImports_3 : 0
561.61/82.74	c (71,0) c ForcedImports_4 : 0
561.61/82.74	c (71,0) c ForcedImports_5 : 0
561.61/82.74	c (71,0) c ForcedImports_6 : 0
561.61/82.74	c (71,0) c ForcedImports_7 : 0
561.61/82.74	c (71,0) c ForcedImports_total : 0
561.61/82.74	c (71,0) c ForcedImports_winner : 0
561.61/82.74	c (71,0) c PropsBinClauses_0 : 243272965
561.61/82.74	c (71,0) c PropsBinClauses_1 : 242558344
561.61/82.74	c (71,0) c PropsBinClauses_2 : 244069919
561.61/82.74	c (71,0) c PropsBinClauses_3 : 242593904
561.61/82.74	c (71,0) c PropsBinClauses_4 : 243018940
561.61/82.74	c (71,0) c PropsBinClauses_5 : 242429385
561.61/82.74	c (71,0) c PropsBinClauses_6 : 243224367
561.61/82.74	c (71,0) c PropsBinClauses_7 : 243171848
561.61/82.74	c (71,0) c PropsBinClauses_total : 1944339672
561.61/82.74	c (71,0) c PropsBinClauses_winner : 243224367
561.61/82.74	c (71,0) c PropsPreBlocker_0 : 1226746611
561.61/82.74	c (71,0) c PropsPreBlocker_1 : 1225050380
561.61/82.74	c (71,0) c PropsPreBlocker_2 : 1230331314
561.61/82.74	c (71,0) c PropsPreBlocker_3 : 1227937731
561.61/82.74	c (71,0) c PropsPreBlocker_4 : 1227724841
561.61/82.74	c (71,0) c PropsPreBlocker_5 : 1226387193
561.61/82.74	c (71,0) c PropsPreBlocker_6 : 1227310524
561.61/82.74	c (71,0) c PropsPreBlocker_7 : 1228657944
561.61/82.74	c (71,0) c PropsPreBlocker_total : 9820146538
561.61/82.74	c (71,0) c PropsPreBlocker_winner : 1227310524
561.61/82.74	c (71,0) c PropsNotBlocker_0 : 312606753
561.61/82.74	c (71,0) c PropsNotBlocker_1 : 313130375
561.61/82.74	c (71,0) c PropsNotBlocker_2 : 312645468
561.61/82.74	c (71,0) c PropsNotBlocker_3 : 312426044
561.61/82.74	c (71,0) c PropsNotBlocker_4 : 311557587
561.61/82.74	c (71,0) c PropsNotBlocker_5 : 313645173
561.61/82.74	c (71,0) c PropsNotBlocker_6 : 312712680
561.61/82.74	c (71,0) c PropsNotBlocker_7 : 313208114
561.61/82.74	c (71,0) c PropsNotBlocker_total : 2501932194
561.61/82.74	c (71,0) c PropsNotBlocker_winner : 312712680
561.61/82.74	c (71,0) c PropsLitFullScans_0 : 2118425770
561.61/82.74	c (71,0) c PropsLitFullScans_1 : 2118151276
561.61/82.74	c (71,0) c PropsLitFullScans_2 : 2120225849
561.61/82.74	c (71,0) c PropsLitFullScans_3 : 2118927643
561.61/82.74	c (71,0) c PropsLitFullScans_4 : 2118578764
561.61/82.74	c (71,0) c PropsLitFullScans_5 : 2118966367
561.61/82.74	c (71,0) c PropsLitFullScans_6 : 2119013496
561.61/82.74	c (71,0) c PropsLitFullScans_7 : 2119808951
561.61/82.74	c (71,0) c PropsLitFullScans_total : 16952098116
561.61/82.74	c (71,0) c PropsLitFullScans_winner : 2119013496
561.61/82.74	c (71,0) c LitScanFractions_0 : 385817
561.61/82.74	c (71,0) c LitScanFractions_1 : 112571
561.61/82.74	c (71,0) c LitScanFractions_2 : 436638
561.61/82.74	c (71,0) c LitScanFractions_3 : 128320
561.61/82.74	c (71,0) c LitScanFractions_4 : 372070
561.61/82.74	c (71,0) c LitScanFractions_5 : 786431
561.61/82.74	c (71,0) c LitScanFractions_6 : 892836
561.61/82.74	c (71,0) c LitScanFractions_7 : 505193
561.61/82.74	c (71,0) c LitScanFractions_total : 3619876
561.61/82.74	c (71,0) c LitScanFractions_winner : 892836
561.61/82.74	c (71,0) c DecisionLevel0_0 : 2412
561.61/82.74	c (71,0) c DecisionLevel0_1 : 2413
561.61/82.74	c (71,0) c DecisionLevel0_2 : 2403
561.61/82.74	c (71,0) c DecisionLevel0_3 : 2455
561.61/82.74	c (71,0) c DecisionLevel0_4 : 2370
561.61/82.74	c (71,0) c DecisionLevel0_5 : 2400
561.61/82.74	c (71,0) c DecisionLevel0_6 : 2453
561.61/82.74	c (71,0) c DecisionLevel0_7 : 2431
561.61/82.74	c (71,0) c DecisionLevel0_total : 19337
561.61/82.74	c (71,0) c DecisionLevel0_winner : 2453
561.61/82.74	c (71,0) c Periods_0 : 353
561.61/82.74	c (71,0) c Periods_1 : 353
561.61/82.74	c (71,0) c Periods_2 : 353
561.61/82.74	c (71,0) c Periods_3 : 353
561.61/82.74	c (71,0) c Periods_4 : 353
561.61/82.74	c (71,0) c Periods_5 : 353
561.61/82.74	c (71,0) c Periods_6 : 353
561.61/82.74	c (71,0) c Periods_7 : 353
561.61/82.74	c (71,0) c Periods_total : 2824
561.61/82.74	c (71,0) c Periods_winner : 353
561.61/82.74	c (71,0) c Margin_0 : 20
561.61/82.74	c (71,0) c Margin_1 : 20
561.61/82.74	c (71,0) c Margin_2 : 20
561.61/82.74	c (71,0) c Margin_3 : 20
561.61/82.74	c (71,0) c Margin_4 : 20
561.61/82.74	c (71,0) c Margin_5 : 20
561.61/82.74	c (71,0) c Margin_6 : 20
561.61/82.74	c (71,0) c Margin_7 : 20
561.61/82.74	c (71,0) c Margin_total : 160
561.61/82.74	c (71,0) c Margin_winner : 20
561.61/82.74	c (71,0) c Exported_0 : 11615
561.61/82.74	c (71,0) c Exported_1 : 11605
561.61/82.74	c (71,0) c Exported_2 : 11381
561.61/82.74	c (71,0) c Exported_3 : 11388
561.61/82.74	c (71,0) c Exported_4 : 11373
561.61/82.74	c (71,0) c Exported_5 : 11378
561.61/82.74	c (71,0) c Exported_6 : 11437
561.61/82.74	c (71,0) c Exported_7 : 11408
561.61/82.74	c (71,0) c Exported_total : 91585
561.61/82.74	c (71,0) c Exported_winner : 11437
561.61/82.74	c (71,0) c Imported_0 : 76653
561.61/82.74	c (71,0) c Imported_1 : 76544
561.61/82.74	c (71,0) c Imported_2 : 76893
561.61/82.74	c (71,0) c Imported_3 : 76867
561.61/82.74	c (71,0) c Imported_4 : 76912
561.61/82.74	c (71,0) c Imported_5 : 76913
561.61/82.74	c (71,0) c Imported_6 : 76937
561.61/82.74	c (71,0) c Imported_7 : 76902
561.61/82.74	c (71,0) c Imported_total : 614621
561.61/82.74	c (71,0) c Imported_winner : 76937
561.61/82.74	c (71,0) c Good_0 : 7674
561.61/82.74	c (71,0) c Good_1 : 7632
561.61/82.74	c (71,0) c Good_2 : 7680
561.61/82.74	c (71,0) c Good_3 : 7655
561.61/82.74	c (71,0) c Good_4 : 7685
561.61/82.74	c (71,0) c Good_5 : 7721
561.61/82.74	c (71,0) c Good_6 : 7728
561.61/82.74	c (71,0) c Good_7 : 7710
561.61/82.74	c (71,0) c Good_total : 61485
561.61/82.74	c (71,0) c Good_winner : 7728
561.61/82.74	c (71,0) c Purge_0 : 68979
561.61/82.74	c (71,0) c Purge_1 : 68912
561.61/82.74	c (71,0) c Purge_2 : 69213
561.61/82.74	c (71,0) c Purge_3 : 69212
561.61/82.74	c (71,0) c Purge_4 : 69227
561.61/82.74	c (71,0) c Purge_5 : 69192
561.61/82.74	c (71,0) c Purge_6 : 69209
561.61/82.74	c (71,0) c Purge_7 : 69192
561.61/82.74	c (71,0) c Purge_total : 553136
561.61/82.74	c (71,0) c Purge_winner : 69209
561.61/82.74	c (71,0) c Promoted_0 : 7027
561.61/82.74	c (71,0) c Promoted_1 : 6976
561.61/82.74	c (71,0) c Promoted_2 : 7065
561.61/82.74	c (71,0) c Promoted_3 : 7159
561.61/82.74	c (71,0) c Promoted_4 : 6991
561.61/82.74	c (71,0) c Promoted_5 : 7003
561.61/82.74	c (71,0) c Promoted_6 : 6950
561.61/82.74	c (71,0) c Promoted_7 : 7115
561.61/82.74	c (71,0) c Promoted_total : 56286
561.61/82.74	c (71,0) c Promoted_winner : 6950
561.61/82.74	c (71,0) c Remove_Imp_0 : 44233
561.61/82.74	c (71,0) c Remove_Imp_1 : 44221
561.61/82.74	c (71,0) c Remove_Imp_2 : 44779
561.61/82.74	c (71,0) c Remove_Imp_3 : 44713
561.61/82.74	c (71,0) c Remove_Imp_4 : 44309
561.61/82.74	c (71,0) c Remove_Imp_5 : 44955
561.61/82.74	c (71,0) c Remove_Imp_6 : 44471
561.61/82.74	c (71,0) c Remove_Imp_7 : 44439
561.61/82.74	c (71,0) c Remove_Imp_total : 356120
561.61/82.74	c (71,0) c Remove_Imp_winner : 44471
561.61/82.74	c (71,0) c Blocked_Reuse_0 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_1 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_2 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_3 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_4 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_5 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_6 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_7 : 0
561.61/82.74	c (71,0) c Blocked_Reuse_total : 0
561.61/82.74	c (71,0) c Blocked_Reuse_winner : 0
561.61/82.74	c (71,0) c Unaries_0 : 1347
561.61/82.74	c (71,0) c Unaries_1 : 1345
561.61/82.74	c (71,0) c Unaries_2 : 1292
561.61/82.74	c (71,0) c Unaries_3 : 1373
561.61/82.74	c (71,0) c Unaries_4 : 1315
561.61/82.74	c (71,0) c Unaries_5 : 1328
561.61/82.74	c (71,0) c Unaries_6 : 1347
561.61/82.74	c (71,0) c Unaries_7 : 1327
561.61/82.74	c (71,0) c Unaries_total : 10674
561.61/82.74	c (71,0) c Unaries_winner : 1347
561.61/82.74	c (71,0) c Binaries_0 : 1112
561.61/82.74	c (71,0) c Binaries_1 : 1152
561.61/82.74	c (71,0) c Binaries_2 : 1105
561.61/82.74	c (71,0) c Binaries_3 : 1132
561.61/82.74	c (71,0) c Binaries_4 : 1105
561.61/82.74	c (71,0) c Binaries_5 : 1065
561.61/82.74	c (71,0) c Binaries_6 : 1062
561.61/82.74	c (71,0) c Binaries_7 : 1078
561.61/82.74	c (71,0) c Binaries_total : 8811
561.61/82.74	c (71,0) c Binaries_winner : 1062
561.61/82.74	c (71,0) c Glues_0 : 2288
561.61/82.74	c (71,0) c Glues_1 : 2213
561.61/82.74	c (71,0) c Glues_2 : 2186
561.61/82.74	c (71,0) c Glues_3 : 2221
561.61/82.74	c (71,0) c Glues_4 : 2188
561.61/82.74	c (71,0) c Glues_5 : 2199
561.61/82.74	c (71,0) c Glues_6 : 2149
561.61/82.74	c (71,0) c Glues_7 : 2212
561.61/82.74	c (71,0) c Glues_total : 17656
561.61/82.74	c (71,0) c Glues_winner : 2149
561.61/82.74	c (71,0) c RunningTime_0 : 69.797830
561.61/82.74	c (71,0) c RunningTime_1 : 70.656256
561.61/82.74	c (71,0) c RunningTime_2 : 67.483476
561.61/82.74	c (71,0) c RunningTime_3 : 66.786016
561.61/82.74	c (71,0) c RunningTime_4 : 66.873832
561.61/82.74	c (71,0) c RunningTime_5 : 66.807954
561.61/82.74	c (71,0) c RunningTime_6 : 66.276422
561.61/82.74	c (71,0) c RunningTime_7 : 66.555205
561.61/82.74	c (71,0) c RunningTime_total : 541.236991
561.61/82.74	c (71,0) c RunningTime_winner : 66.276422
561.61/82.74	c (71,0) c WaitingTime_0 : 0.000493
561.61/82.74	c (71,0) c WaitingTime_1 : 0.000376
561.61/82.74	c (71,0) c WaitingTime_2 : 1.096956
561.61/82.74	c (71,0) c WaitingTime_3 : 1.769927
561.61/82.74	c (71,0) c WaitingTime_4 : 1.666734
561.61/82.74	c (71,0) c WaitingTime_5 : 1.733983
561.61/82.74	c (71,0) c WaitingTime_6 : 2.265656
561.61/82.74	c (71,0) c WaitingTime_7 : 2.012639
561.61/82.74	c (71,0) c WaitingTime_total : 10.546764
561.61/82.74	c (71,0) c WaitingTime_winner : 2.265656
561.61/82.74	c (71,0) c ExchangingTime_0 : 0.043753
561.61/82.74	c (71,0) c ExchangingTime_1 : 0.043569
561.61/82.74	c (71,0) c ExchangingTime_2 : 0.040789
561.61/82.74	c (71,0) c ExchangingTime_3 : 0.039707
561.61/82.74	c (71,0) c ExchangingTime_4 : 0.039903
561.61/82.74	c (71,0) c ExchangingTime_5 : 0.039464
561.61/82.74	c (71,0) c ExchangingTime_6 : 0.039156
561.61/82.74	c (71,0) c ExchangingTime_7 : 0.041164
561.61/82.74	c (71,0) c ExchangingTime_total : 0.327506
561.61/82.74	c (71,0) c ExchangingTime_winner : 0.039156
561.61/82.74	c (71,0) c PeriodProcTime_0 : 0.003651
561.61/82.74	c (71,0) c PeriodProcTime_1 : 0.004884
561.61/82.74	c (71,0) c PeriodProcTime_2 : 0.003069
561.61/82.74	c (71,0) c PeriodProcTime_3 : 0.002562
561.61/82.74	c (71,0) c PeriodProcTime_4 : 0.002945
561.61/82.74	c (71,0) c PeriodProcTime_5 : 0.002565
561.61/82.74	c (71,0) c PeriodProcTime_6 : 0.002551
561.61/82.74	c (71,0) c PeriodProcTime_7 : 0.003209
561.61/82.74	c (71,0) c PeriodProcTime_total : 0.025435
561.61/82.74	c (71,0) c PeriodProcTime_winner : 0.002551
561.61/82.74	c (71,0) c SolvingTime_0 : 69.845727
561.61/82.74	c (71,0) c SolvingTime_1 : 70.705085
561.61/82.74	c (71,0) c SolvingTime_2 : 68.624290
561.61/82.74	c (71,0) c SolvingTime_3 : 68.598212
561.61/82.74	c (71,0) c SolvingTime_4 : 68.583414
561.61/82.74	c (71,0) c SolvingTime_5 : 68.583966
561.61/82.74	c (71,0) c SolvingTime_6 : 68.583786
561.61/82.74	c (71,0) c SolvingTime_7 : 68.612217
561.61/82.74	c (71,0) c SolvingTime_total : 552.136696
561.61/82.74	c (71,0) c SolvingTime_winner : 68.583786
561.61/82.74	c (71,0) c PropagationTime_0 : 61.119753
561.61/82.74	c (71,0) c PropagationTime_1 : 62.072251
561.61/82.74	c (71,0) c PropagationTime_2 : 59.421145
561.61/82.74	c (71,0) c PropagationTime_3 : 59.139030
561.61/82.74	c (71,0) c PropagationTime_4 : 59.622483
561.61/82.74	c (71,0) c PropagationTime_5 : 59.759572
561.61/82.74	c (71,0) c PropagationTime_6 : 59.756808
561.61/82.74	c (71,0) c PropagationTime_7 : 59.849106
561.61/82.74	c (71,0) c PropagationTime_total : 480.740148
561.61/82.74	c (71,0) c PropagationTime_winner : 59.756808
561.61/82.74	c (71,0) c AnalysisTime_0 : 5.773063
561.61/82.74	c (71,0) c AnalysisTime_1 : 5.668983
561.61/82.74	c (71,0) c AnalysisTime_2 : 6.254848
561.61/82.74	c (71,0) c AnalysisTime_3 : 6.431937
561.61/82.74	c (71,0) c AnalysisTime_4 : 5.966945
561.61/82.74	c (71,0) c AnalysisTime_5 : 5.860211
561.61/82.74	c (71,0) c AnalysisTime_6 : 5.858032
561.61/82.74	c (71,0) c AnalysisTime_7 : 5.826049
561.61/82.74	c (71,0) c AnalysisTime_total : 47.640069
561.61/82.74	c (71,0) c AnalysisTime_winner : 5.858032
561.61/82.74	c (71,0) c ReductionTime_0 : 0.204926
561.61/82.74	c (71,0) c ReductionTime_1 : 0.193784
561.61/82.74	c (71,0) c ReductionTime_2 : 0.196230
561.61/82.74	c (71,0) c ReductionTime_3 : 0.194353
561.61/82.74	c (71,0) c ReductionTime_4 : 0.198110
561.61/82.74	c (71,0) c ReductionTime_5 : 0.197220
561.61/82.74	c (71,0) c ReductionTime_6 : 0.189377
561.61/82.74	c (71,0) c ReductionTime_7 : 0.197641
561.61/82.74	c (71,0) c ReductionTime_total : 1.571640
561.61/82.74	c (71,0) c ReductionTime_winner : 0.189377
561.61/82.74	c (71,0) c SimplifyTime_0 : 0.410675
561.61/82.74	c (71,0) c SimplifyTime_1 : 0.434871
561.61/82.74	c (71,0) c SimplifyTime_2 : 0.425505
561.61/82.75	c (71,0) c SimplifyTime_3 : 0.517240
561.61/82.75	c (71,0) c SimplifyTime_4 : 0.485923
561.61/82.75	c (71,0) c SimplifyTime_5 : 0.476798
561.61/82.75	c (71,0) c SimplifyTime_6 : 0.481363
561.61/82.75	c (71,0) c SimplifyTime_7 : 0.403320
561.61/82.75	c (71,0) c SimplifyTime_total : 3.635695
561.61/82.75	c (71,0) c SimplifyTime_winner : 0.481363
561.61/82.75	c (71,0) c UsedRateTime_0 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_1 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_2 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_3 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_4 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_5 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_6 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_7 : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_total : 0.000000
561.61/82.75	c (71,0) c UsedRateTime_winner : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_0 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_1 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_2 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_3 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_4 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_5 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_6 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_7 : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_total : 0.000000
561.61/82.75	c (71,0) c OverlapRateTime_winner : 0.000000
561.61/82.75	c (71,0) c
561.61/82.75	c (71,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
561.61/82.75	c (71,0) c
561.61/82.75	c (71,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.75	c (71,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
561.61/82.75	c (71,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.75	c (71,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
561.61/82.75	c (71,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
561.61/82.75	c (71,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
561.61/82.75	c (71,0) c | Initial random_seed   |  740621723 |  256217206 | 1831098967 |  749253378 |   67498940 | 1575871828 |  415187623 | 1157811858 |
561.61/82.75	c (71,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
561.61/82.75	c (71,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
561.61/82.75	c (71,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
561.61/82.75	c (71,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
561.61/82.75	c (71,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
561.61/82.75	c (71,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
561.61/82.75	c (71,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
561.61/82.75	c (71,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |
561.61/82.75	c (71,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
561.61/82.75	c (71,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
561.61/82.75	c (71,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
561.61/82.75	c (71,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
561.61/82.75	c (71,0) 
561.61/82.75	c (71,0) s SATISFIABLE
561.85/82.81	c (71,0) SatSolver.solve End
561.85/82.81	c (71,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
561.85/82.81	c (71,0) Show results Begin
562.34/83.01	c (71,0) x[0][0] = 23
562.34/83.01	c (71,0) x[0][1] = 8
562.34/83.01	c (71,0) x[0][2] = 9
562.34/83.01	c (71,0) x[0][3] = 15
562.34/83.01	c (71,0) x[0][4] = 16
562.34/83.01	c (71,0) x[0][5] = 0
562.34/83.01	c (71,0) x[0][6] = 18
562.34/83.01	c (71,0) x[0][7] = 10
562.34/83.01	c (71,0) x[0][8] = 4
562.34/83.01	c (71,0) x[0][9] = 13
562.34/83.01	c (71,0) x[0][10] = 5
562.34/83.01	c (71,0) x[0][11] = 27
562.34/83.01	c (71,0) x[0][12] = 11
562.34/83.01	c (71,0) x[0][13] = 3
562.34/83.01	c (71,0) x[0][14] = 24
562.34/83.01	c (71,0) x[0][15] = 20
562.34/83.01	c (71,0) x[0][16] = 19
562.34/83.01	c (71,0) x[0][17] = 28
562.34/83.01	c (71,0) x[0][18] = 25
562.34/83.01	c (71,0) x[0][19] = 7
562.34/83.01	c (71,0) x[0][20] = 1
562.34/83.01	c (71,0) x[0][21] = 6
562.34/83.01	c (71,0) x[0][22] = 12
562.34/83.01	c (71,0) x[0][23] = 17
562.34/83.01	c (71,0) x[0][24] = 22
562.34/83.01	c (71,0) x[0][25] = 26
562.34/83.01	c (71,0) x[0][26] = 2
562.34/83.01	c (71,0) x[0][27] = 21
562.34/83.01	c (71,0) x[0][28] = 14
562.34/83.01	c (71,0) x[0][29] = 29
562.34/83.01	c (71,0) x[1][0] = 0
562.34/83.01	c (71,0) x[1][1] = 21
562.34/83.01	c (71,0) x[1][2] = 28
562.34/83.01	c (71,0) x[1][3] = 20
562.34/83.01	c (71,0) x[1][4] = 14
562.34/83.01	c (71,0) x[1][5] = 6
562.34/83.01	c (71,0) x[1][6] = 1
562.34/83.01	c (71,0) x[1][7] = 12
562.34/83.01	c (71,0) x[1][8] = 16
562.34/83.01	c (71,0) x[1][9] = 22
562.34/83.01	c (71,0) x[1][10] = 24
562.34/83.01	c (71,0) x[1][11] = 13
562.34/83.01	c (71,0) x[1][12] = 5
562.34/83.01	c (71,0) x[1][13] = 18
562.34/83.01	c (71,0) x[1][14] = 25
562.34/83.01	c (71,0) x[1][15] = 4
562.34/83.01	c (71,0) x[1][16] = 7
562.34/83.01	c (71,0) x[1][17] = 3
562.34/83.01	c (71,0) x[1][18] = 29
562.34/83.01	c (71,0) x[1][19] = 17
562.34/83.01	c (71,0) x[1][20] = 26
562.34/83.01	c (71,0) x[1][21] = 23
562.34/83.01	c (71,0) x[1][22] = 8
562.34/83.01	c (71,0) x[1][23] = 11
562.34/83.01	c (71,0) x[1][24] = 9
562.34/83.01	c (71,0) x[1][25] = 10
562.34/83.02	c (71,0) x[1][26] = 27
562.34/83.02	c (71,0) x[1][27] = 19
562.34/83.02	c (71,0) x[1][28] = 15
562.34/83.02	c (71,0) x[1][29] = 2
562.34/83.02	c (71,0) x[2][0] = 19
562.34/83.02	c (71,0) x[2][1] = 13
562.34/83.02	c (71,0) x[2][2] = 6
562.34/83.02	c (71,0) x[2][3] = 22
562.34/83.02	c (71,0) x[2][4] = 17
562.34/83.02	c (71,0) x[2][5] = 23
562.34/83.02	c (71,0) x[2][6] = 10
562.34/83.02	c (71,0) x[2][7] = 7
562.34/83.02	c (71,0) x[2][8] = 20
562.34/83.02	c (71,0) x[2][9] = 3
562.34/83.02	c (71,0) x[2][10] = 14
562.34/83.02	c (71,0) x[2][11] = 16
562.34/83.02	c (71,0) x[2][12] = 21
562.34/83.02	c (71,0) x[2][13] = 15
562.34/83.02	c (71,0) x[2][14] = 28
562.34/83.02	c (71,0) x[2][15] = 24
562.34/83.02	c (71,0) x[2][16] = 29
562.34/83.02	c (71,0) x[2][17] = 8
562.34/83.02	c (71,0) x[2][18] = 12
562.34/83.02	c (71,0) x[2][19] = 9
562.34/83.02	c (71,0) x[2][20] = 18
562.34/83.02	c (71,0) x[2][21] = 5
562.34/83.02	c (71,0) x[2][22] = 2
562.34/83.02	c (71,0) x[2][23] = 26
562.34/83.02	c (71,0) x[2][24] = 25
562.34/83.02	c (71,0) x[2][25] = 27
562.34/83.02	c (71,0) x[2][26] = 4
562.34/83.02	c (71,0) x[2][27] = 1
562.34/83.02	c (71,0) x[2][28] = 0
562.34/83.02	c (71,0) x[2][29] = 11
562.34/83.02	c (71,0) x[3][0] = 6
562.34/83.02	c (71,0) x[3][1] = 19
562.34/83.02	c (71,0) x[3][2] = 7
562.34/83.02	c (71,0) x[3][3] = 26
562.34/83.02	c (71,0) x[3][4] = 3
562.34/83.02	c (71,0) x[3][5] = 24
562.34/83.02	c (71,0) x[3][6] = 5
562.34/83.02	c (71,0) x[3][7] = 23
562.34/83.02	c (71,0) x[3][8] = 1
562.34/83.02	c (71,0) x[3][9] = 16
562.34/83.02	c (71,0) x[3][10] = 9
562.34/83.02	c (71,0) x[3][11] = 17
562.34/83.02	c (71,0) x[3][12] = 0
562.34/83.02	c (71,0) x[3][13] = 2
562.34/83.02	c (71,0) x[3][14] = 18
562.34/83.02	c (71,0) x[3][15] = 21
562.34/83.02	c (71,0) x[3][16] = 25
562.34/83.02	c (71,0) x[3][17] = 12
562.34/83.02	c (71,0) x[3][18] = 4
562.34/83.02	c (71,0) x[3][19] = 29
562.34/83.02	c (71,0) x[3][20] = 20
562.34/83.02	c (71,0) x[3][21] = 22
562.34/83.02	c (71,0) x[3][22] = 13
562.34/83.02	c (71,0) x[3][23] = 27
562.34/83.02	c (71,0) x[3][24] = 8
562.34/83.02	c (71,0) x[3][25] = 14
562.34/83.02	c (71,0) x[3][26] = 11
562.34/83.02	c (71,0) x[3][27] = 10
562.34/83.02	c (71,0) x[3][28] = 28
562.34/83.02	c (71,0) x[3][29] = 15
562.34/83.02	c (71,0) x[4][0] = 24
562.34/83.02	c (71,0) x[4][1] = 28
562.34/83.02	c (71,0) x[4][2] = 3
562.34/83.02	c (71,0) x[4][3] = 16
562.34/83.02	c (71,0) x[4][4] = 29
562.34/83.02	c (71,0) x[4][5] = 13
562.34/83.02	c (71,0) x[4][6] = 26
562.34/83.02	c (71,0) x[4][7] = 19
562.34/83.02	c (71,0) x[4][8] = 0
562.34/83.02	c (71,0) x[4][9] = 5
562.34/83.02	c (71,0) x[4][10] = 17
562.34/83.02	c (71,0) x[4][11] = 20
562.34/83.02	c (71,0) x[4][12] = 12
562.34/83.02	c (71,0) x[4][13] = 10
562.34/83.02	c (71,0) x[4][14] = 27
562.34/83.02	c (71,0) x[4][15] = 9
562.34/83.02	c (71,0) x[4][16] = 11
562.34/83.02	c (71,0) x[4][17] = 22
562.34/83.02	c (71,0) x[4][18] = 7
562.34/83.02	c (71,0) x[4][19] = 8
562.34/83.02	c (71,0) x[4][20] = 14
562.34/83.02	c (71,0) x[4][21] = 21
562.34/83.02	c (71,0) x[4][22] = 23
562.34/83.02	c (71,0) x[4][23] = 25
562.34/83.02	c (71,0) x[4][24] = 18
562.34/83.02	c (71,0) x[4][25] = 15
562.34/83.02	c (71,0) x[4][26] = 6
562.34/83.02	c (71,0) x[4][27] = 2
562.34/83.02	c (71,0) x[4][28] = 4
562.34/83.02	c (71,0) x[4][29] = 1
562.34/83.02	c (71,0) x[5][0] = 10
562.34/83.02	c (71,0) x[5][1] = 23
562.34/83.02	c (71,0) x[5][2] = 1
562.34/83.02	c (71,0) x[5][3] = 7
562.34/83.02	c (71,0) x[5][4] = 12
562.34/83.02	c (71,0) x[5][5] = 28
562.34/83.02	c (71,0) x[5][6] = 8
562.34/83.02	c (71,0) x[5][7] = 29
562.34/83.02	c (71,0) x[5][8] = 11
562.34/83.02	c (71,0) x[5][9] = 15
562.34/83.02	c (71,0) x[5][10] = 22
562.34/83.02	c (71,0) x[5][11] = 21
562.34/83.02	c (71,0) x[5][12] = 18
562.34/83.02	c (71,0) x[5][13] = 26
562.34/83.02	c (71,0) x[5][14] = 4
562.34/83.02	c (71,0) x[5][15] = 6
562.34/83.02	c (71,0) x[5][16] = 3
562.34/83.02	c (71,0) x[5][17] = 9
562.34/83.02	c (71,0) x[5][18] = 24
562.34/83.02	c (71,0) x[5][19] = 19
562.34/83.02	c (71,0) x[5][20] = 25
562.34/83.02	c (71,0) x[5][21] = 17
562.34/83.02	c (71,0) x[5][22] = 27
562.34/83.02	c (71,0) x[5][23] = 20
562.34/83.02	c (71,0) x[5][24] = 5
562.34/83.02	c (71,0) x[5][25] = 2
562.34/83.02	c (71,0) x[5][26] = 0
562.34/83.02	c (71,0) x[5][27] = 13
562.34/83.02	c (71,0) x[5][28] = 16
562.34/83.02	c (71,0) x[5][29] = 14
562.34/83.02	c (71,0) x[6][0] = 13
562.34/83.02	c (71,0) x[6][1] = 6
562.34/83.02	c (71,0) x[6][2] = 21
562.34/83.02	c (71,0) x[6][3] = 11
562.34/83.02	c (71,0) x[6][4] = 5
562.34/83.02	c (71,0) x[6][5] = 22
562.34/83.02	c (71,0) x[6][6] = 25
562.34/83.02	c (71,0) x[6][7] = 1
562.34/83.02	c (71,0) x[6][8] = 3
562.34/83.02	c (71,0) x[6][9] = 4
562.34/83.02	c (71,0) x[6][10] = 27
562.34/83.02	c (71,0) x[6][11] = 0
562.34/83.02	c (71,0) x[6][12] = 14
562.34/83.02	c (71,0) x[6][13] = 7
562.34/83.02	c (71,0) x[6][14] = 26
562.34/83.02	c (71,0) x[6][15] = 12
562.34/83.02	c (71,0) x[6][16] = 23
562.34/83.02	c (71,0) x[6][17] = 15
562.34/83.02	c (71,0) x[6][18] = 9
562.34/83.02	c (71,0) x[6][19] = 2
562.34/83.02	c (71,0) x[6][20] = 8
562.34/83.02	c (71,0) x[6][21] = 18
562.34/83.02	c (71,0) x[6][22] = 16
562.34/83.02	c (71,0) x[6][23] = 19
562.34/83.02	c (71,0) x[6][24] = 10
562.34/83.02	c (71,0) x[6][25] = 28
562.34/83.02	c (71,0) x[6][26] = 29
562.34/83.02	c (71,0) x[6][27] = 17
562.34/83.02	c (71,0) x[6][28] = 20
562.34/83.02	c (71,0) x[6][29] = 24
562.34/83.02	c (71,0) x[7][0] = 29
562.34/83.02	c (71,0) x[7][1] = 22
562.34/83.02	c (71,0) x[7][2] = 25
562.34/83.02	c (71,0) x[7][3] = 28
562.34/83.02	c (71,0) x[7][4] = 0
562.34/83.02	c (71,0) x[7][5] = 19
562.34/83.02	c (71,0) x[7][6] = 4
562.34/83.02	c (71,0) x[7][7] = 26
562.34/83.02	c (71,0) x[7][8] = 21
562.34/83.02	c (71,0) x[7][9] = 27
562.34/83.02	c (71,0) x[7][10] = 16
562.34/83.02	c (71,0) x[7][11] = 7
562.34/83.02	c (71,0) x[7][12] = 24
562.34/83.02	c (71,0) x[7][13] = 14
562.34/83.02	c (71,0) x[7][14] = 5
562.34/83.02	c (71,0) x[7][15] = 11
562.34/83.02	c (71,0) x[7][16] = 8
562.34/83.02	c (71,0) x[7][17] = 1
562.34/83.02	c (71,0) x[7][18] = 2
562.34/83.02	c (71,0) x[7][19] = 10
562.34/83.02	c (71,0) x[7][20] = 13
562.34/83.02	c (71,0) x[7][21] = 15
562.34/83.02	c (71,0) x[7][22] = 9
562.34/83.02	c (71,0) x[7][23] = 23
562.34/83.02	c (71,0) x[7][24] = 17
562.34/83.02	c (71,0) x[7][25] = 12
562.34/83.02	c (71,0) x[7][26] = 3
562.34/83.02	c (71,0) x[7][27] = 6
562.34/83.02	c (71,0) x[7][28] = 18
562.34/83.02	c (71,0) x[7][29] = 20
562.34/83.02	c (71,0) x[8][0] = 17
562.34/83.02	c (71,0) x[8][1] = 5
562.34/83.02	c (71,0) x[8][2] = 2
562.34/83.02	c (71,0) x[8][3] = 8
562.34/83.02	c (71,0) x[8][4] = 26
562.34/83.02	c (71,0) x[8][5] = 21
562.34/83.02	c (71,0) x[8][6] = 24
562.34/83.02	c (71,0) x[8][7] = 9
562.34/83.02	c (71,0) x[8][8] = 19
562.34/83.02	c (71,0) x[8][9] = 20
562.34/83.02	c (71,0) x[8][10] = 13
562.34/83.02	c (71,0) x[8][11] = 18
562.34/83.02	c (71,0) x[8][12] = 27
562.34/83.02	c (71,0) x[8][13] = 11
562.34/83.02	c (71,0) x[8][14] = 15
562.34/83.02	c (71,0) x[8][15] = 25
562.34/83.02	c (71,0) x[8][16] = 22
562.34/83.02	c (71,0) x[8][17] = 16
562.34/83.02	c (71,0) x[8][18] = 10
562.34/83.02	c (71,0) x[8][19] = 0
562.34/83.02	c (71,0) x[8][20] = 7
562.34/83.02	c (71,0) x[8][21] = 3
562.34/83.02	c (71,0) x[8][22] = 14
562.34/83.02	c (71,0) x[8][23] = 12
562.34/83.02	c (71,0) x[8][24] = 23
562.34/83.02	c (71,0) x[8][25] = 4
562.34/83.02	c (71,0) x[8][26] = 1
562.34/83.02	c (71,0) x[8][27] = 28
562.34/83.02	c (71,0) x[8][28] = 29
562.34/83.02	c (71,0) x[8][29] = 6
562.34/83.02	c (71,0) x[9][0] = 12
562.34/83.02	c (71,0) x[9][1] = 11
562.34/83.02	c (71,0) x[9][2] = 20
562.34/83.02	c (71,0) x[9][3] = 27
562.34/83.02	c (71,0) x[9][4] = 24
562.34/83.02	c (71,0) x[9][5] = 10
562.34/83.02	c (71,0) x[9][6] = 17
562.34/83.02	c (71,0) x[9][7] = 8
562.34/83.02	c (71,0) x[9][8] = 22
562.34/83.02	c (71,0) x[9][9] = 7
562.34/83.02	c (71,0) x[9][10] = 6
562.34/83.02	c (71,0) x[9][11] = 5
562.34/83.02	c (71,0) x[9][12] = 29
562.34/83.02	c (71,0) x[9][13] = 21
562.34/83.02	c (71,0) x[9][14] = 3
562.34/83.02	c (71,0) x[9][15] = 28
562.34/83.02	c (71,0) x[9][16] = 1
562.34/83.02	c (71,0) x[9][17] = 18
562.34/83.02	c (71,0) x[9][18] = 13
562.34/83.02	c (71,0) x[9][19] = 14
562.34/83.02	c (71,0) x[9][20] = 4
562.34/83.02	c (71,0) x[9][21] = 16
562.34/83.02	c (71,0) x[9][22] = 19
562.34/83.02	c (71,0) x[9][23] = 15
562.34/83.02	c (71,0) x[9][24] = 2
562.34/83.02	c (71,0) x[9][25] = 0
562.34/83.02	c (71,0) x[9][26] = 23
562.34/83.02	c (71,0) x[9][27] = 9
562.34/83.02	c (71,0) x[9][28] = 26
562.34/83.02	c (71,0) x[9][29] = 25
562.34/83.02	c (71,0) x[10][0] = 2
562.34/83.02	c (71,0) x[10][1] = 16
562.34/83.02	c (71,0) x[10][2] = 27
562.34/83.02	c (71,0) x[10][3] = 23
562.34/83.02	c (71,0) x[10][4] = 15
562.34/83.02	c (71,0) x[10][5] = 4
562.34/83.02	c (71,0) x[10][6] = 9
562.34/83.02	c (71,0) x[10][7] = 21
562.34/83.02	c (71,0) x[10][8] = 12
562.34/83.02	c (71,0) x[10][9] = 14
562.34/83.02	c (71,0) x[10][10] = 29
562.34/83.02	c (71,0) x[10][11] = 8
562.34/83.02	c (71,0) x[10][12] = 7
562.34/83.02	c (71,0) x[10][13] = 5
562.34/83.02	c (71,0) x[10][14] = 10
562.34/83.02	c (71,0) x[10][15] = 18
562.34/83.02	c (71,0) x[10][16] = 6
562.34/83.02	c (71,0) x[10][17] = 25
562.34/83.02	c (71,0) x[10][18] = 1
562.34/83.02	c (71,0) x[10][19] = 26
562.34/83.02	c (71,0) x[10][20] = 0
562.34/83.02	c (71,0) x[10][21] = 13
562.34/83.02	c (71,0) x[10][22] = 3
562.34/83.02	c (71,0) x[10][23] = 24
562.34/83.02	c (71,0) x[10][24] = 28
562.34/83.02	c (71,0) x[10][25] = 11
562.34/83.02	c (71,0) x[10][26] = 20
562.34/83.02	c (71,0) x[10][27] = 22
562.34/83.02	c (71,0) x[10][28] = 17
562.34/83.02	c (71,0) x[10][29] = 19
562.34/83.02	c (71,0) x[11][0] = 9
562.34/83.02	c (71,0) x[11][1] = 18
562.34/83.02	c (71,0) x[11][2] = 4
562.34/83.02	c (71,0) x[11][3] = 21
562.34/83.02	c (71,0) x[11][4] = 13
562.34/83.02	c (71,0) x[11][5] = 20
562.34/83.02	c (71,0) x[11][6] = 19
562.34/83.02	c (71,0) x[11][7] = 0
562.34/83.02	c (71,0) x[11][8] = 7
562.34/83.02	c (71,0) x[11][9] = 17
562.34/83.02	c (71,0) x[11][10] = 3
562.34/83.02	c (71,0) x[11][11] = 6
562.34/83.02	c (71,0) x[11][12] = 15
562.34/83.02	c (71,0) x[11][13] = 29
562.34/83.02	c (71,0) x[11][14] = 8
562.34/83.02	c (71,0) x[11][15] = 2
562.34/83.02	c (71,0) x[11][16] = 26
562.34/83.02	c (71,0) x[11][17] = 5
562.34/83.02	c (71,0) x[11][18] = 23
562.34/83.02	c (71,0) x[11][19] = 22
562.34/83.02	c (71,0) x[11][20] = 28
562.34/83.02	c (71,0) x[11][21] = 1
562.34/83.02	c (71,0) x[11][22] = 10
562.34/83.02	c (71,0) x[11][23] = 14
562.34/83.02	c (71,0) x[11][24] = 11
562.34/83.02	c (71,0) x[11][25] = 25
562.34/83.02	c (71,0) x[11][26] = 24
562.34/83.02	c (71,0) x[11][27] = 27
562.34/83.02	c (71,0) x[11][28] = 12
562.34/83.02	c (71,0) x[11][29] = 16
562.34/83.02	c (71,0) x[12][0] = 25
562.34/83.02	c (71,0) x[12][1] = 24
562.34/83.02	c (71,0) x[12][2] = 0
562.34/83.02	c (71,0) x[12][3] = 17
562.34/83.02	c (71,0) x[12][4] = 22
562.34/83.02	c (71,0) x[12][5] = 5
562.34/83.02	c (71,0) x[12][6] = 2
562.34/83.02	c (71,0) x[12][7] = 14
562.34/83.02	c (71,0) x[12][8] = 29
562.34/83.02	c (71,0) x[12][9] = 23
562.34/83.02	c (71,0) x[12][10] = 18
562.34/83.02	c (71,0) x[12][11] = 28
562.34/83.02	c (71,0) x[12][12] = 9
562.34/83.02	c (71,0) x[12][13] = 12
562.34/83.02	c (71,0) x[12][14] = 13
562.34/83.02	c (71,0) x[12][15] = 1
562.34/83.02	c (71,0) x[12][16] = 10
562.34/83.02	c (71,0) x[12][17] = 26
562.34/83.02	c (71,0) x[12][18] = 15
562.34/83.02	c (71,0) x[12][19] = 16
562.34/83.02	c (71,0) x[12][20] = 27
562.34/83.02	c (71,0) x[12][21] = 11
562.34/83.02	c (71,0) x[12][22] = 4
562.34/83.02	c (71,0) x[12][23] = 6
562.34/83.02	c (71,0) x[12][24] = 20
562.34/83.02	c (71,0) x[12][25] = 21
562.34/83.02	c (71,0) x[12][26] = 8
562.34/83.02	c (71,0) x[12][27] = 7
562.34/83.02	c (71,0) x[12][28] = 19
562.34/83.02	c (71,0) x[12][29] = 3
562.34/83.02	c (71,0) x[13][0] = 26
562.34/83.02	c (71,0) x[13][1] = 25
562.34/83.02	c (71,0) x[13][2] = 14
562.34/83.02	c (71,0) x[13][3] = 29
562.34/83.02	c (71,0) x[13][4] = 4
562.34/83.02	c (71,0) x[13][5] = 1
562.34/83.02	c (71,0) x[13][6] = 23
562.34/83.02	c (71,0) x[13][7] = 15
562.34/83.02	c (71,0) x[13][8] = 17
562.34/83.02	c (71,0) x[13][9] = 2
562.34/83.02	c (71,0) x[13][10] = 19
562.34/83.02	c (71,0) x[13][11] = 24
562.34/83.02	c (71,0) x[13][12] = 3
562.34/83.02	c (71,0) x[13][13] = 16
562.34/83.02	c (71,0) x[13][14] = 22
562.34/83.02	c (71,0) x[13][15] = 7
562.34/83.02	c (71,0) x[13][16] = 5
562.34/83.02	c (71,0) x[13][17] = 11
562.34/83.02	c (71,0) x[13][18] = 28
562.34/83.02	c (71,0) x[13][19] = 20
562.34/83.02	c (71,0) x[13][20] = 21
562.34/83.02	c (71,0) x[13][21] = 12
562.34/83.02	c (71,0) x[13][22] = 18
562.34/83.02	c (71,0) x[13][23] = 9
562.34/83.02	c (71,0) x[13][24] = 0
562.34/83.02	c (71,0) x[13][25] = 6
562.34/83.02	c (71,0) x[13][26] = 10
562.34/83.02	c (71,0) x[13][27] = 8
562.34/83.02	c (71,0) x[13][28] = 13
562.34/83.02	c (71,0) x[13][29] = 27
562.34/83.02	c (71,0) x[14][0] = 1
562.34/83.02	c (71,0) x[14][1] = 14
562.34/83.02	c (71,0) x[14][2] = 23
562.34/83.02	c (71,0) x[14][3] = 2
562.34/83.02	c (71,0) x[14][4] = 7
562.34/83.02	c (71,0) x[14][5] = 3
562.34/83.02	c (71,0) x[14][6] = 13
562.34/83.02	c (71,0) x[14][7] = 6
562.34/83.02	c (71,0) x[14][8] = 27
562.34/83.02	c (71,0) x[14][9] = 19
562.34/83.02	c (71,0) x[14][10] = 15
562.34/83.02	c (71,0) x[14][11] = 25
562.34/83.02	c (71,0) x[14][12] = 4
562.34/83.02	c (71,0) x[14][13] = 28
562.34/83.02	c (71,0) x[14][14] = 29
562.34/83.02	c (71,0) x[14][15] = 10
562.34/83.02	c (71,0) x[14][16] = 12
562.34/83.02	c (71,0) x[14][17] = 20
562.34/83.02	c (71,0) x[14][18] = 22
562.34/83.02	c (71,0) x[14][19] = 5
562.34/83.02	c (71,0) x[14][20] = 16
562.34/83.02	c (71,0) x[14][21] = 9
562.34/83.02	c (71,0) x[14][22] = 21
562.34/83.02	c (71,0) x[14][23] = 0
562.34/83.02	c (71,0) x[14][24] = 24
562.34/83.02	c (71,0) x[14][25] = 17
562.34/83.02	c (71,0) x[14][26] = 18
562.34/83.02	c (71,0) x[14][27] = 26
562.34/83.02	c (71,0) x[14][28] = 11
562.34/83.02	c (71,0) x[14][29] = 8
562.34/83.02	c (71,0) x[15][0] = 8
562.34/83.02	c (71,0) x[15][1] = 3
562.34/83.02	c (71,0) x[15][2] = 11
562.34/83.02	c (71,0) x[15][3] = 10
562.34/83.02	c (71,0) x[15][4] = 19
562.34/83.02	c (71,0) x[15][5] = 29
562.34/83.02	c (71,0) x[15][6] = 20
562.34/83.02	c (71,0) x[15][7] = 18
562.34/83.02	c (71,0) x[15][8] = 13
562.34/83.02	c (71,0) x[15][9] = 24
562.34/83.02	c (71,0) x[15][10] = 28
562.34/83.02	c (71,0) x[15][11] = 22
562.34/83.02	c (71,0) x[15][12] = 6
562.34/83.02	c (71,0) x[15][13] = 1
562.34/83.02	c (71,0) x[15][14] = 12
562.34/83.02	c (71,0) x[15][15] = 17
562.34/83.02	c (71,0) x[15][16] = 14
562.34/83.02	c (71,0) x[15][17] = 4
562.34/83.02	c (71,0) x[15][18] = 27
562.34/83.02	c (71,0) x[15][19] = 23
562.34/83.02	c (71,0) x[15][20] = 9
562.34/83.02	c (71,0) x[15][21] = 26
562.34/83.02	c (71,0) x[15][22] = 25
562.34/83.02	c (71,0) x[15][23] = 2
562.34/83.02	c (71,0) x[15][24] = 15
562.34/83.02	c (71,0) x[15][25] = 7
562.34/83.02	c (71,0) x[15][26] = 16
562.34/83.02	c (71,0) x[15][27] = 0
562.34/83.02	c (71,0) x[15][28] = 5
562.34/83.02	c (71,0) x[15][29] = 21
562.34/83.02	c (71,0) x[16][0] = 21
562.34/83.02	c (71,0) x[16][1] = 4
562.34/83.02	c (71,0) x[16][2] = 18
562.34/83.02	c (71,0) x[16][3] = 6
562.34/83.02	c (71,0) x[16][4] = 23
562.34/83.02	c (71,0) x[16][5] = 16
562.34/83.02	c (71,0) x[16][6] = 27
562.34/83.02	c (71,0) x[16][7] = 28
562.34/83.02	c (71,0) x[16][8] = 14
562.34/83.02	c (71,0) x[16][9] = 12
562.34/83.02	c (71,0) x[16][10] = 2
562.34/83.02	c (71,0) x[16][11] = 10
562.34/83.02	c (71,0) x[16][12] = 19
562.34/83.02	c (71,0) x[16][13] = 0
562.34/83.02	c (71,0) x[16][14] = 1
562.34/83.02	c (71,0) x[16][15] = 8
562.34/83.02	c (71,0) x[16][16] = 9
562.34/83.02	c (71,0) x[16][17] = 29
562.34/83.02	c (71,0) x[16][18] = 17
562.34/83.02	c (71,0) x[16][19] = 24
562.34/83.02	c (71,0) x[16][20] = 11
562.34/83.02	c (71,0) x[16][21] = 20
562.34/83.02	c (71,0) x[16][22] = 22
562.34/83.02	c (71,0) x[16][23] = 5
562.34/83.02	c (71,0) x[16][24] = 13
562.34/83.02	c (71,0) x[16][25] = 3
562.34/83.02	c (71,0) x[16][26] = 25
562.34/83.02	c (71,0) x[16][27] = 15
562.34/83.02	c (71,0) x[16][28] = 7
562.34/83.02	c (71,0) x[16][29] = 26
562.34/83.02	c (71,0) x[17][0] = 5
562.34/83.02	c (71,0) x[17][1] = 1
562.34/83.02	c (71,0) x[17][2] = 19
562.34/83.02	c (71,0) x[17][3] = 9
562.34/83.02	c (71,0) x[17][4] = 25
562.34/83.02	c (71,0) x[17][5] = 7
562.34/83.02	c (71,0) x[17][6] = 16
562.34/83.02	c (71,0) x[17][7] = 22
562.34/83.02	c (71,0) x[17][8] = 26
562.34/83.02	c (71,0) x[17][9] = 28
562.34/83.02	c (71,0) x[17][10] = 12
562.34/83.02	c (71,0) x[17][11] = 23
562.34/83.02	c (71,0) x[17][12] = 8
562.34/83.02	c (71,0) x[17][13] = 17
562.34/83.02	c (71,0) x[17][14] = 20
562.34/83.02	c (71,0) x[17][15] = 27
562.34/83.02	c (71,0) x[17][16] = 15
562.34/83.02	c (71,0) x[17][17] = 2
562.34/83.02	c (71,0) x[17][18] = 0
562.34/83.02	c (71,0) x[17][19] = 11
562.34/83.02	c (71,0) x[17][20] = 29
562.34/83.02	c (71,0) x[17][21] = 14
562.34/83.02	c (71,0) x[17][22] = 24
562.34/83.02	c (71,0) x[17][23] = 10
562.34/83.02	c (71,0) x[17][24] = 6
562.34/83.02	c (71,0) x[17][25] = 13
562.34/83.02	c (71,0) x[17][26] = 21
562.34/83.02	c (71,0) x[17][27] = 18
562.34/83.02	c (71,0) x[17][28] = 3
562.34/83.02	c (71,0) x[17][29] = 4
562.34/83.02	c (71,0) x[18][0] = 20
562.34/83.02	c (71,0) x[18][1] = 10
562.34/83.02	c (71,0) x[18][2] = 13
562.34/83.02	c (71,0) x[18][3] = 25
562.34/83.02	c (71,0) x[18][4] = 8
562.34/83.02	c (71,0) x[18][5] = 12
562.34/83.02	c (71,0) x[18][6] = 7
562.34/83.02	c (71,0) x[18][7] = 5
562.34/83.02	c (71,0) x[18][8] = 18
562.34/83.02	c (71,0) x[18][9] = 21
562.34/83.02	c (71,0) x[18][10] = 0
562.34/83.02	c (71,0) x[18][11] = 4
562.34/83.02	c (71,0) x[18][12] = 2
562.34/83.02	c (71,0) x[18][13] = 27
562.34/83.02	c (71,0) x[18][14] = 6
562.34/83.02	c (71,0) x[18][15] = 26
562.34/83.02	c (71,0) x[18][16] = 16
562.34/83.02	c (71,0) x[18][17] = 19
562.34/83.02	c (71,0) x[18][18] = 3
562.34/83.02	c (71,0) x[18][19] = 15
562.34/83.02	c (71,0) x[18][20] = 24
562.34/83.02	c (71,0) x[18][21] = 29
562.34/83.02	c (71,0) x[18][22] = 11
562.34/83.02	c (71,0) x[18][23] = 28
562.34/83.02	c (71,0) x[18][24] = 14
562.34/83.02	c (71,0) x[18][25] = 9
562.34/83.02	c (71,0) x[18][26] = 22
562.34/83.02	c (71,0) x[18][27] = 23
562.34/83.02	c (71,0) x[18][28] = 1
562.34/83.02	c (71,0) x[18][29] = 17
562.34/83.02	c (71,0) x[19][0] = 7
562.34/83.02	c (71,0) x[19][1] = 9
562.34/83.02	c (71,0) x[19][2] = 12
562.34/83.02	c (71,0) x[19][3] = 18
562.34/83.02	c (71,0) x[19][4] = 11
562.34/83.02	c (71,0) x[19][5] = 14
562.34/83.02	c (71,0) x[19][6] = 22
562.34/83.02	c (71,0) x[19][7] = 13
562.34/83.02	c (71,0) x[19][8] = 5
562.34/83.02	c (71,0) x[19][9] = 0
562.34/83.02	c (71,0) x[19][10] = 1
562.34/83.02	c (71,0) x[19][11] = 3
562.34/83.02	c (71,0) x[19][12] = 20
562.34/83.02	c (71,0) x[19][13] = 25
562.34/83.02	c (71,0) x[19][14] = 21
562.34/83.02	c (71,0) x[19][15] = 23
562.34/83.02	c (71,0) x[19][16] = 17
562.34/83.02	c (71,0) x[19][17] = 27
562.34/83.02	c (71,0) x[19][18] = 19
562.34/83.02	c (71,0) x[19][19] = 28
562.34/83.02	c (71,0) x[19][20] = 2
562.34/83.02	c (71,0) x[19][21] = 24
562.34/83.02	c (71,0) x[19][22] = 6
562.34/83.02	c (71,0) x[19][23] = 16
562.34/83.02	c (71,0) x[19][24] = 26
562.34/83.02	c (71,0) x[19][25] = 29
562.34/83.02	c (71,0) x[19][26] = 15
562.34/83.02	c (71,0) x[19][27] = 4
562.34/83.02	c (71,0) x[19][28] = 8
562.34/83.02	c (71,0) x[19][29] = 10
562.34/83.02	c (71,0) x[20][0] = 3
562.34/83.02	c (71,0) x[20][1] = 29
562.34/83.02	c (71,0) x[20][2] = 26
562.34/83.02	c (71,0) x[20][3] = 13
562.34/83.02	c (71,0) x[20][4] = 2
562.34/83.02	c (71,0) x[20][5] = 27
562.34/83.02	c (71,0) x[20][6] = 14
562.34/83.02	c (71,0) x[20][7] = 17
562.34/83.02	c (71,0) x[20][8] = 15
562.34/83.02	c (71,0) x[20][9] = 25
562.34/83.02	c (71,0) x[20][10] = 20
562.34/83.02	c (71,0) x[20][11] = 19
562.34/83.02	c (71,0) x[20][12] = 28
562.34/83.02	c (71,0) x[20][13] = 6
562.34/83.02	c (71,0) x[20][14] = 11
562.34/83.02	c (71,0) x[20][15] = 16
562.34/83.02	c (71,0) x[20][16] = 4
562.34/83.02	c (71,0) x[20][17] = 0
562.34/83.02	c (71,0) x[20][18] = 8
562.34/83.02	c (71,0) x[20][19] = 1
562.34/83.02	c (71,0) x[20][20] = 10
562.34/83.02	c (71,0) x[20][21] = 7
562.34/83.02	c (71,0) x[20][22] = 5
562.34/83.02	c (71,0) x[20][23] = 21
562.34/83.02	c (71,0) x[20][24] = 12
562.34/83.02	c (71,0) x[20][25] = 23
562.34/83.02	c (71,0) x[20][26] = 9
562.34/83.02	c (71,0) x[20][27] = 24
562.34/83.02	c (71,0) x[20][28] = 22
562.34/83.02	c (71,0) x[20][29] = 18
562.34/83.02	c (71,0) x[21][0] = 18
562.34/83.02	c (71,0) x[21][1] = 2
562.34/83.02	c (71,0) x[21][2] = 8
562.34/83.02	c (71,0) x[21][3] = 1
562.34/83.02	c (71,0) x[21][4] = 27
562.34/83.02	c (71,0) x[21][5] = 25
562.34/83.02	c (71,0) x[21][6] = 21
562.34/83.02	c (71,0) x[21][7] = 24
562.34/83.02	c (71,0) x[21][8] = 28
562.34/83.02	c (71,0) x[21][9] = 29
562.34/83.02	c (71,0) x[21][10] = 10
562.34/83.02	c (71,0) x[21][11] = 9
562.34/83.02	c (71,0) x[21][12] = 26
562.34/83.02	c (71,0) x[21][13] = 20
562.34/83.02	c (71,0) x[21][14] = 16
562.34/83.02	c (71,0) x[21][15] = 15
562.34/83.02	c (71,0) x[21][16] = 0
562.34/83.02	c (71,0) x[21][17] = 13
562.34/83.02	c (71,0) x[21][18] = 11
562.34/83.02	c (71,0) x[21][19] = 4
562.34/83.02	c (71,0) x[21][20] = 6
562.34/83.02	c (71,0) x[21][21] = 19
562.34/83.02	c (71,0) x[21][22] = 17
562.34/83.02	c (71,0) x[21][23] = 7
562.34/83.02	c (71,0) x[21][24] = 3
562.34/83.02	c (71,0) x[21][25] = 22
562.34/83.02	c (71,0) x[21][26] = 5
562.34/83.02	c (71,0) x[21][27] = 14
562.34/83.02	c (71,0) x[21][28] = 23
562.34/83.02	c (71,0) x[21][29] = 12
562.34/83.02	c (71,0) x[22][0] = 22
562.34/83.02	c (71,0) x[22][1] = 7
562.34/83.02	c (71,0) x[22][2] = 24
562.34/83.02	c (71,0) x[22][3] = 0
562.34/83.02	c (71,0) x[22][4] = 6
562.34/83.02	c (71,0) x[22][5] = 17
562.34/83.02	c (71,0) x[22][6] = 15
562.34/83.02	c (71,0) x[22][7] = 16
562.34/83.02	c (71,0) x[22][8] = 23
562.34/83.02	c (71,0) x[22][9] = 11
562.34/83.02	c (71,0) x[22][10] = 26
562.34/83.02	c (71,0) x[22][11] = 14
562.34/83.02	c (71,0) x[22][12] = 10
562.34/83.02	c (71,0) x[22][13] = 9
562.34/83.02	c (71,0) x[22][14] = 2
562.34/83.02	c (71,0) x[22][15] = 19
562.34/83.02	c (71,0) x[22][16] = 27
562.34/83.02	c (71,0) x[22][17] = 21
562.34/83.02	c (71,0) x[22][18] = 5
562.34/83.02	c (71,0) x[22][19] = 18
562.34/83.02	c (71,0) x[22][20] = 3
562.34/83.02	c (71,0) x[22][21] = 28
562.34/83.02	c (71,0) x[22][22] = 29
562.34/83.02	c (71,0) x[22][23] = 1
562.34/83.02	c (71,0) x[22][24] = 4
562.34/83.02	c (71,0) x[22][25] = 8
562.34/83.02	c (71,0) x[22][26] = 12
562.34/83.02	c (71,0) x[22][27] = 20
562.34/83.02	c (71,0) x[22][28] = 25
562.34/83.02	c (71,0) x[22][29] = 13
562.34/83.02	c (71,0) x[23][0] = 16
562.34/83.02	c (71,0) x[23][1] = 12
562.34/83.02	c (71,0) x[23][2] = 22
562.34/83.02	c (71,0) x[23][3] = 14
562.34/83.02	c (71,0) x[23][4] = 20
562.34/83.02	c (71,0) x[23][5] = 8
562.34/83.02	c (71,0) x[23][6] = 3
562.34/83.02	c (71,0) x[23][7] = 25
562.34/83.02	c (71,0) x[23][8] = 24
562.34/83.02	c (71,0) x[23][9] = 10
562.34/83.02	c (71,0) x[23][10] = 21
562.34/83.02	c (71,0) x[23][11] = 1
562.34/83.02	c (71,0) x[23][12] = 17
562.34/83.02	c (71,0) x[23][13] = 4
562.34/83.02	c (71,0) x[23][14] = 9
562.34/83.02	c (71,0) x[23][15] = 5
562.34/83.02	c (71,0) x[23][16] = 18
562.34/83.02	c (71,0) x[23][17] = 23
562.34/83.02	c (71,0) x[23][18] = 26
562.34/83.02	c (71,0) x[23][19] = 6
562.34/83.02	c (71,0) x[23][20] = 15
562.34/83.02	c (71,0) x[23][21] = 27
562.34/83.02	c (71,0) x[23][22] = 0
562.34/83.02	c (71,0) x[23][23] = 13
562.34/83.02	c (71,0) x[23][24] = 29
562.34/83.02	c (71,0) x[23][25] = 19
562.34/83.02	c (71,0) x[23][26] = 7
562.34/83.02	c (71,0) x[23][27] = 11
562.34/83.02	c (71,0) x[23][28] = 2
562.34/83.02	c (71,0) x[23][29] = 28
562.34/83.02	c (71,0) x[24][0] = 14
562.34/83.02	c (71,0) x[24][1] = 15
562.34/83.02	c (71,0) x[24][2] = 16
562.34/83.02	c (71,0) x[24][3] = 3
562.34/83.02	c (71,0) x[24][4] = 18
562.34/83.02	c (71,0) x[24][5] = 26
562.34/83.02	c (71,0) x[24][6] = 0
562.34/83.02	c (71,0) x[24][7] = 11
562.34/83.02	c (71,0) x[24][8] = 9
562.34/83.02	c (71,0) x[24][9] = 1
562.34/83.02	c (71,0) x[24][10] = 25
562.34/83.02	c (71,0) x[24][11] = 2
562.34/83.02	c (71,0) x[24][12] = 13
562.34/83.02	c (71,0) x[24][13] = 8
562.34/83.02	c (71,0) x[24][14] = 19
562.34/83.02	c (71,0) x[24][15] = 22
562.34/83.02	c (71,0) x[24][16] = 24
562.34/83.02	c (71,0) x[24][17] = 17
562.34/83.02	c (71,0) x[24][18] = 6
562.34/83.02	c (71,0) x[24][19] = 21
562.34/83.02	c (71,0) x[24][20] = 12
562.34/83.02	c (71,0) x[24][21] = 10
562.34/83.02	c (71,0) x[24][22] = 20
562.34/83.02	c (71,0) x[24][23] = 4
562.34/83.02	c (71,0) x[24][24] = 7
562.34/83.02	c (71,0) x[24][25] = 5
562.34/83.02	c (71,0) x[24][26] = 28
562.34/83.02	c (71,0) x[24][27] = 29
562.34/83.02	c (71,0) x[24][28] = 27
562.34/83.02	c (71,0) x[24][29] = 23
562.34/83.02	c (71,0) x[25][0] = 15
562.34/83.02	c (71,0) x[25][1] = 27
562.34/83.02	c (71,0) x[25][2] = 17
562.34/83.02	c (71,0) x[25][3] = 19
562.34/83.02	c (71,0) x[25][4] = 21
562.34/83.02	c (71,0) x[25][5] = 9
562.34/83.02	c (71,0) x[25][6] = 12
562.34/83.02	c (71,0) x[25][7] = 2
562.34/83.02	c (71,0) x[25][8] = 10
562.34/83.02	c (71,0) x[25][9] = 8
562.34/83.02	c (71,0) x[25][10] = 11
562.34/83.02	c (71,0) x[25][11] = 29
562.34/83.02	c (71,0) x[25][12] = 25
562.34/83.02	c (71,0) x[25][13] = 24
562.34/83.02	c (71,0) x[25][14] = 23
562.34/83.02	c (71,0) x[25][15] = 0
562.34/83.02	c (71,0) x[25][16] = 28
562.34/83.02	c (71,0) x[25][17] = 14
562.34/83.02	c (71,0) x[25][18] = 18
562.34/83.02	c (71,0) x[25][19] = 13
562.34/83.02	c (71,0) x[25][20] = 22
562.34/83.02	c (71,0) x[25][21] = 4
562.34/83.02	c (71,0) x[25][22] = 1
562.34/83.02	c (71,0) x[25][23] = 3
562.34/83.02	c (71,0) x[25][24] = 16
562.34/83.02	c (71,0) x[25][25] = 20
562.34/83.02	c (71,0) x[25][26] = 26
562.34/83.02	c (71,0) x[25][27] = 5
562.34/83.02	c (71,0) x[25][28] = 6
562.34/83.02	c (71,0) x[25][29] = 7
562.34/83.02	c (71,0) x[26][0] = 11
562.34/83.02	c (71,0) x[26][1] = 26
562.34/83.02	c (71,0) x[26][2] = 29
562.34/83.02	c (71,0) x[26][3] = 5
562.34/83.02	c (71,0) x[26][4] = 9
562.34/83.02	c (71,0) x[26][5] = 2
562.34/83.02	c (71,0) x[26][6] = 28
562.34/83.02	c (71,0) x[26][7] = 3
562.34/83.02	c (71,0) x[26][8] = 8
562.34/83.02	c (71,0) x[26][9] = 6
562.34/83.02	c (71,0) x[26][10] = 4
562.34/83.02	c (71,0) x[26][11] = 12
562.34/83.02	c (71,0) x[26][12] = 1
562.34/83.02	c (71,0) x[26][13] = 19
562.34/83.02	c (71,0) x[26][14] = 17
562.34/83.02	c (71,0) x[26][15] = 14
562.34/83.02	c (71,0) x[26][16] = 20
562.34/83.02	c (71,0) x[26][17] = 7
562.34/83.02	c (71,0) x[26][18] = 16
562.34/83.02	c (71,0) x[26][19] = 27
562.34/83.02	c (71,0) x[26][20] = 23
562.34/83.02	c (71,0) x[26][21] = 0
562.34/83.02	c (71,0) x[26][22] = 15
562.34/83.02	c (71,0) x[26][23] = 18
562.34/83.02	c (71,0) x[26][24] = 21
562.34/83.02	c (71,0) x[26][25] = 24
562.34/83.02	c (71,0) x[26][26] = 13
562.34/83.02	c (71,0) x[26][27] = 25
562.34/83.02	c (71,0) x[26][28] = 10
562.34/83.02	c (71,0) x[26][29] = 22
562.34/83.02	c (71,0) x[27][0] = 28
562.34/83.02	c (71,0) x[27][1] = 17
562.34/83.02	c (71,0) x[27][2] = 10
562.34/83.02	c (71,0) x[27][3] = 4
562.34/83.02	c (71,0) x[27][4] = 1
562.34/83.02	c (71,0) x[27][5] = 11
562.34/83.02	c (71,0) x[27][6] = 29
562.34/83.02	c (71,0) x[27][7] = 27
562.34/83.02	c (71,0) x[27][8] = 6
562.34/83.02	c (71,0) x[27][9] = 26
562.34/83.02	c (71,0) x[27][10] = 23
562.34/83.02	c (71,0) x[27][11] = 15
562.34/83.02	c (71,0) x[27][12] = 16
562.34/83.02	c (71,0) x[27][13] = 13
562.34/83.02	c (71,0) x[27][14] = 0
562.34/83.02	c (71,0) x[27][15] = 3
562.34/83.02	c (71,0) x[27][16] = 2
562.34/83.02	c (71,0) x[27][17] = 24
562.34/83.02	c (71,0) x[27][18] = 20
562.34/83.02	c (71,0) x[27][19] = 25
562.34/83.02	c (71,0) x[27][20] = 5
562.34/83.02	c (71,0) x[27][21] = 8
562.34/83.02	c (71,0) x[27][22] = 7
562.34/83.02	c (71,0) x[27][23] = 22
562.34/83.02	c (71,0) x[27][24] = 19
562.34/83.02	c (71,0) x[27][25] = 18
562.34/83.02	c (71,0) x[27][26] = 14
562.34/83.02	c (71,0) x[27][27] = 12
562.34/83.02	c (71,0) x[27][28] = 21
562.34/83.02	c (71,0) x[27][29] = 9
562.34/83.02	c (71,0) x[28][0] = 4
562.34/83.02	c (71,0) x[28][1] = 0
562.34/83.02	c (71,0) x[28][2] = 15
562.34/83.02	c (71,0) x[28][3] = 12
562.34/83.02	c (71,0) x[28][4] = 28
562.34/83.02	c (71,0) x[28][5] = 18
562.34/83.02	c (71,0) x[28][6] = 6
562.34/83.02	c (71,0) x[28][7] = 20
562.34/83.02	c (71,0) x[28][8] = 25
562.34/83.02	c (71,0) x[28][9] = 9
562.34/83.02	c (71,0) x[28][10] = 8
562.34/83.02	c (71,0) x[28][11] = 11
562.34/83.02	c (71,0) x[28][12] = 22
562.34/83.02	c (71,0) x[28][13] = 23
562.34/83.02	c (71,0) x[28][14] = 7
562.34/83.02	c (71,0) x[28][15] = 13
562.34/83.02	c (71,0) x[28][16] = 21
562.34/83.02	c (71,0) x[28][17] = 10
562.34/83.02	c (71,0) x[28][18] = 14
562.34/83.02	c (71,0) x[28][19] = 3
562.34/83.02	c (71,0) x[28][20] = 19
562.34/83.02	c (71,0) x[28][21] = 2
562.34/83.02	c (71,0) x[28][22] = 26
562.34/83.02	c (71,0) x[28][23] = 29
562.34/83.02	c (71,0) x[28][24] = 27
562.34/83.02	c (71,0) x[28][25] = 1
562.34/83.02	c (71,0) x[28][26] = 17
562.34/83.02	c (71,0) x[28][27] = 16
562.34/83.02	c (71,0) x[28][28] = 24
562.34/83.02	c (71,0) x[28][29] = 5
562.34/83.02	c (71,0) x[29][0] = 27
562.34/83.02	c (71,0) x[29][1] = 20
562.34/83.02	c (71,0) x[29][2] = 5
562.34/83.02	c (71,0) x[29][3] = 24
562.34/83.02	c (71,0) x[29][4] = 10
562.34/83.02	c (71,0) x[29][5] = 15
562.34/83.02	c (71,0) x[29][6] = 11
562.34/83.02	c (71,0) x[29][7] = 4
562.34/83.02	c (71,0) x[29][8] = 2
562.34/83.02	c (71,0) x[29][9] = 18
562.34/83.02	c (71,0) x[29][10] = 7
562.34/83.02	c (71,0) x[29][11] = 26
562.34/83.02	c (71,0) x[29][12] = 23
562.34/83.02	c (71,0) x[29][13] = 22
562.34/83.02	c (71,0) x[29][14] = 14
562.34/83.02	c (71,0) x[29][15] = 29
562.34/83.02	c (71,0) x[29][16] = 13
562.34/83.02	c (71,0) x[29][17] = 6
562.34/83.02	c (71,0) x[29][18] = 21
562.34/83.02	c (71,0) x[29][19] = 12
562.34/83.02	c (71,0) x[29][20] = 17
562.34/83.02	c (71,0) x[29][21] = 25
562.34/83.02	c (71,0) x[29][22] = 28
562.34/83.02	c (71,0) x[29][23] = 8
562.34/83.02	c (71,0) x[29][24] = 1
562.34/83.02	c (71,0) x[29][25] = 16
562.34/83.02	c (71,0) x[29][26] = 19
562.34/83.02	c (71,0) x[29][27] = 3
562.34/83.02	c (71,0) x[29][28] = 9
562.34/83.02	c (71,0) x[29][29] = 0
562.34/83.02	s SATISFIABLE
562.34/83.03	v <instantiation>
562.34/83.03	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.34/83.03	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.34/83.03	v </instantiation>
562.34/83.03	c (71,0) Show results End
562.34/83.03	c (71,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
562.34/83.03	c (71,0) 71,71,STOP-AFTER(ALL)
562.34/83.03	c END-Prog: Sat Sep 14 08:37:23 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 (14549 MiB free)
  memory of node 1: 16384 MiB (15595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392742-1568443003/watcher-4392742-1568443003 -o /tmp/evaluation-result-4392742-1568443003/solver-4392742-1568443003 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568437422-2898 --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-4392742-1568443003.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=4016, runsolver pid=4013
Current StackSize limit: 8192 KiB


[startup+0.100694 s]*
/proc/loadavg: 7.58 7.40 7.60 2/211 4038
/proc/meminfo: memFree=30772556/32770624 swapFree=66967076/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 2871 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420567107 115843072 348 33554432000 4194304 5098028 140726829773872 140726829771128 139850715181692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25985024 140726829777700 140726829778028 140726829778028 140726829780941 0
/proc/4016/statm: 28282 348 296 221 0 87 0
[pid=4019] ppid=4016 vsize=27314120 memory=107372 CPUtime=0.11 cores=0-7
/proc/4019/stat : 4019 (java) S 4016 4016 2871 0 -1 1077944320 6397 0 0 0 8 3 0 0 20 0 20 0 420567108 27969658880 26843 33554432000 4194304 4196468 140721332012080 140721331994624 139734699298551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
/proc/4019/statm: 6828530 26843 2784 1 0 6790935 0
[pid=4019/tid=4020] ppid=4016 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/4019/task/4020/stat : 4020 (java) R 4016 4016 2871 0 -1 4202560 4513 0 0 0 6 2 0 0 20 0 20 0 420567108 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734671123408 139734683342181 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4021] ppid=4016 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4019/task/4021/stat : 4021 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734703541008 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4022] ppid=4016 vsize=27314120 memory=140338378704512 CPUtime=0 cores=0-7
/proc/4019/task/4022/stat : 4022 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734486936464 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4023] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4023/stat : 4023 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734485883920 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4024] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4024/stat : 4024 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734484831376 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4025] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4025/stat : 4025 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734483777808 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4026] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4026/stat : 4026 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734482725264 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4027] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4027/stat : 4027 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734481672720 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4028] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4028/stat : 4028 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 26843 33554432000 4194304 4196468 140721332012080 139734480620176 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4029] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4029/stat : 4029 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567112 27969658880 26843 33554432000 4194304 4196468 140721332012080 139733689670128 139734699309698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4030] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4030/stat : 4030 (java) S 4016 4016 2871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420567112 27969658880 26843 33554432000 4194304 4196468 140721332012080 139732667327904 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4031] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4031/stat : 4031 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567113 27969658880 26843 33554432000 4194304 4196468 140721332012080 139732398892528 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4032] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4032/stat : 4032 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 26843 33554432000 4194304 4196468 140721332012080 139732024384208 139734699317147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4033] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4033/stat : 4033 (java) S 4016 4016 2871 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 26843 33554432000 4194304 4196468 140721332012080 139733688616944 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4034] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4034/stat : 4034 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 26843 33554432000 4194304 4196468 140721332012080 139733687564400 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4035] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4035/stat : 4035 (java) S 4016 4016 2871 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 26843 33554432000 4194304 4196468 140721332012080 139733686511856 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4036] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4036/stat : 4036 (java) S 4016 4016 2871 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 26843 33554432000 4194304 4196468 140721332012080 139733685459312 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4037] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4037/stat : 4037 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 26843 33554432000 4194304 4196468 140721332012080 139731526478560 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4038] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4038/stat : 4038 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567116 27969658880 27355 33554432000 4194304 4196468 140721332012080 139733684407216 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108764 KiB

[startup+0.210347 s]*
/proc/loadavg: 7.58 7.40 7.60 3/211 4038
/proc/meminfo: memFree=30753488/32770624 swapFree=66967076/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 2871 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420567107 115843072 348 33554432000 4194304 5098028 140726829773872 140726829771128 139850715181692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25985024 140726829777700 140726829778028 140726829778028 140726829780941 0
/proc/4016/statm: 28282 348 296 221 0 87 0
[pid=4019] ppid=4016 vsize=27314120 memory=124332 CPUtime=0.24 cores=0-7
/proc/4019/stat : 4019 (java) S 4016 4016 2871 0 -1 1077944320 11279 0 0 0 20 4 0 0 20 0 20 0 420567108 27969658880 31083 33554432000 4194304 4196468 140721332012080 140721331994624 139734699298551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
/proc/4019/statm: 6828530 31083 2982 1 0 6790935 0
[pid=4019/tid=4020] ppid=4016 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4019/task/4020/stat : 4020 (java) R 4016 4016 2871 0 -1 4202560 8994 0 0 0 16 4 0 0 20 0 20 0 420567108 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734671106112 139734684464190 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4021] ppid=4016 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/4019/task/4021/stat : 4021 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734703541008 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4022] ppid=4016 vsize=27314120 memory=140338380742406 CPUtime=0 cores=0-7
/proc/4019/task/4022/stat : 4022 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734486936464 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4023] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4023/stat : 4023 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734485883920 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4024] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4024/stat : 4024 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734484831376 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4025] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4025/stat : 4025 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734483777808 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4026] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4026/stat : 4026 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734482725264 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4027] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4027/stat : 4027 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734481672720 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4028] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4028/stat : 4028 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31083 33554432000 4194304 4196468 140721332012080 139734480620176 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4029] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4029/stat : 4029 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567112 27969658880 31083 33554432000 4194304 4196468 140721332012080 139733689670128 139734699309698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4030] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4030/stat : 4030 (java) S 4016 4016 2871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420567112 27969658880 31083 33554432000 4194304 4196468 140721332012080 139732667327904 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4031] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4031/stat : 4031 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567113 27969658880 31083 33554432000 4194304 4196468 140721332012080 139732398892528 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4032] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4032/stat : 4032 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31083 33554432000 4194304 4196468 140721332012080 139732024384208 139734699317147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4033] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4033/stat : 4033 (java) S 4016 4016 2871 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31083 33554432000 4194304 4196468 140721332012080 139733688616944 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4034] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4034/stat : 4034 (java) S 4016 4016 2871 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31083 33554432000 4194304 4196468 140721332012080 139733687564400 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4035] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4035/stat : 4035 (java) S 4016 4016 2871 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31083 33554432000 4194304 4196468 140721332012080 139733686511856 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4036] ppid=4016 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4019/task/4036/stat : 4036 (java) S 4016 4016 2871 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 420567115 27969658880 31083 33554432000 4194304 4196468 140721332012080 139733685459312 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4037] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4037/stat : 4037 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31083 33554432000 4194304 4196468 140721332012080 139731526478560 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4038] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4038/stat : 4038 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567116 27969658880 31083 33554432000 4194304 4196468 140721332012080 139733684407216 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125724 KiB

[startup+0.310657 s]*
/proc/loadavg: 7.58 7.40 7.60 2/211 4038
/proc/meminfo: memFree=30750696/32770624 swapFree=66967076/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 2871 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420567107 115843072 348 33554432000 4194304 5098028 140726829773872 140726829771128 139850715181692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25985024 140726829777700 140726829778028 140726829778028 140726829780941 0
/proc/4016/statm: 28282 348 296 221 0 87 0
[pid=4019] ppid=4016 vsize=27314120 memory=127892 CPUtime=0.42 cores=0-7
/proc/4019/stat : 4019 (java) S 4016 4016 2871 0 -1 1077944320 12338 0 0 0 37 5 0 0 20 0 20 0 420567108 27969658880 31973 33554432000 4194304 4196468 140721332012080 140721331994624 139734699298551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
/proc/4019/statm: 6828530 31973 3033 1 0 6790935 0
[pid=4019/tid=4020] ppid=4016 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/4019/task/4020/stat : 4020 (java) R 4016 4016 2871 0 -1 4202560 9883 0 0 0 25 4 0 0 20 0 20 0 420567108 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734671089200 139734682485332 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4021] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4021/stat : 4021 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734703541008 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4022] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4022/stat : 4022 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734486936464 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4023] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4023/stat : 4023 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734485883920 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4024] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4024/stat : 4024 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734484831376 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4025] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4025/stat : 4025 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734483777808 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4026] ppid=4016 vsize=27314120 memory=140338257816239 CPUtime=0 cores=0-7
/proc/4019/task/4026/stat : 4026 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734482725264 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4027] ppid=4016 vsize=27314120 memory=140338257818544 CPUtime=0 cores=0-7
/proc/4019/task/4027/stat : 4027 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734481672720 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4028] ppid=4016 vsize=27314120 memory=140338257820848 CPUtime=0 cores=0-7
/proc/4019/task/4028/stat : 4028 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27969658880 31973 33554432000 4194304 4196468 140721332012080 139734480620176 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4029] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4029/stat : 4029 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567112 27969658880 31973 33554432000 4194304 4196468 140721332012080 139733689670128 139734699309698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4030] ppid=4016 vsize=27314120 memory=280676515655568 CPUtime=0 cores=0-7
/proc/4019/task/4030/stat : 4030 (java) S 4016 4016 2871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420567112 27969658880 31973 33554432000 4194304 4196468 140721332012080 139732667327904 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4031] ppid=4016 vsize=27314120 memory=280676515653264 CPUtime=0 cores=0-7
/proc/4019/task/4031/stat : 4031 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567113 27969658880 31973 33554432000 4194304 4196468 140721332012080 139732398892528 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4032] ppid=4016 vsize=27314120 memory=280676515660176 CPUtime=0 cores=0-7
/proc/4019/task/4032/stat : 4032 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31973 33554432000 4194304 4196468 140721332012080 139732024384208 139734699317147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4033] ppid=4016 vsize=27314120 memory=280676515601456 CPUtime=0.01 cores=0-7
/proc/4019/task/4033/stat : 4033 (java) R 4016 4016 2871 0 -1 4202560 148 0 0 0 1 0 0 0 20 0 20 0 420567115 27969658880 31973 33554432000 4194304 4196468 140721332012080 139733688616944 139734685313678 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4034] ppid=4016 vsize=27314120 memory=280676515674000 CPUtime=0.01 cores=0-7
/proc/4019/task/4034/stat : 4034 (java) S 4016 4016 2871 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 420567115 27969658880 31973 33554432000 4194304 4196468 140721332012080 139733687564400 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4035] ppid=4016 vsize=27314120 memory=280676515680912 CPUtime=0.01 cores=0-7
/proc/4019/task/4035/stat : 4035 (java) S 4016 4016 2871 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 420567115 27969658880 31973 33554432000 4194304 4196468 140721332012080 139733686511856 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4036] ppid=4016 vsize=27314120 memory=280676515678608 CPUtime=0.07 cores=0-7
/proc/4019/task/4036/stat : 4036 (java) S 4016 4016 2871 0 -1 1077944384 483 0 0 0 7 0 0 0 20 0 20 0 420567115 27969658880 31973 33554432000 4194304 4196468 140721332012080 139733685459312 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4037] ppid=4016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4037/stat : 4037 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420567115 27969658880 31973 33554432000 4194304 4196468 140721332012080 139731526478560 139734699308757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4038] ppid=4016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4019/task/4038/stat : 4038 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567116 27969658880 31973 33554432000 4194304 4196468 140721332012080 139733684407216 139734699309698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129284 KiB

[startup+0.70088 s]
/proc/loadavg: 7.58 7.40 7.60 2/211 4038
/proc/meminfo: memFree=30728472/32770624 swapFree=66967076/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 2871 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420567107 115843072 348 33554432000 4194304 5098028 140726829773872 140726829771128 139850715181692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25985024 140726829777700 140726829778028 140726829778028 140726829780941 0
/proc/4016/statm: 28282 348 296 221 0 87 0
[pid=4019] ppid=4016 vsize=27322516 memory=165800 CPUtime=1.01 cores=0-7
/proc/4019/stat : 4019 (java) S 4016 4016 2871 0 -1 1077944320 20078 0 0 0 93 8 0 0 20 0 20 0 420567108 27978256384 41450 33554432000 4194304 4196468 140721332012080 140721331994624 139734699298551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
/proc/4019/statm: 6830629 41450 3201 1 0 6791959 0
[pid=4019/tid=4020] ppid=4016 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/4019/task/4020/stat : 4020 (java) R 4016 4016 2871 0 -1 4202560 17050 0 0 0 61 6 0 0 20 0 20 0 420567108 27978256384 41450 33554432000 4194304 4196468 140721332012080 139734671130288 139734699320477 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4021] ppid=4016 vsize=27322516 memory=140338258027376 CPUtime=0 cores=0-7
/proc/4019/task/4021/stat : 4021 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420567110 27978256384 41450 33554432000 4194304 4196468 140721332012080 139734703541008 139734699308757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4022] ppid=4016 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/4019/task/4022/stat : 4022 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27978256384 41450 33554432000 4194304 4196468 140721332012080 139734486936464 139734699308757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0
[pid=4019/tid=4023] ppid=4016 vsize=27322516 memory=1192 CPUtime=0 cores=0-7
/proc/4019/task/4023/stat : 4023 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420567110 27978256384 41450 33554432000 4194304 4196468 140721332012080 139734485883920 139734699308757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721332019947 140721332020374 140721332020374 140721332023247 0

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

[pid=4041/tid=4043] ppid=4016 vsize=8414124 memory=2572 CPUtime=0 cores=0-7
/proc/4041/task/4043/stat : 4043 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139917123836944 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4044] ppid=4016 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/4041/task/4044/stat : 4044 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916605029520 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4045] ppid=4016 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/4041/task/4045/stat : 4045 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916603976464 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4046] ppid=4016 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/4041/task/4046/stat : 4046 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916602923920 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4047] ppid=4016 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/4041/task/4047/stat : 4047 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916601870864 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4048] ppid=4016 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/4041/task/4048/stat : 4048 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916600818320 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4049] ppid=4016 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/4041/task/4049/stat : 4049 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916599765264 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4050] ppid=4016 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/4041/task/4050/stat : 4050 (java) S 4016 4016 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420568190 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916598712720 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4051] ppid=4016 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4041/task/4051/stat : 4051 (java) S 4016 4016 2871 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420568191 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916548635376 139917119605378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4052] ppid=4016 vsize=8414124 memory=120508 CPUtime=0 cores=0-7
/proc/4041/task/4052/stat : 4052 (java) S 4016 4016 2871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420568192 8616062976 30127 33554432000 4194304 4196468 140726007227456 139915538982560 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4053] ppid=4016 vsize=8414124 memory=485724 CPUtime=0 cores=0-7
/proc/4041/task/4053/stat : 4053 (java) S 4016 4016 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420568192 8616062976 30127 33554432000 4194304 4196468 140726007227456 139915404760304 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4054] ppid=4016 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/4041/task/4054/stat : 4054 (java) S 4016 4016 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420568194 8616062976 30127 33554432000 4194304 4196468 140726007227456 139915030256080 139917119612827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4055] ppid=4016 vsize=8414124 memory=1552 CPUtime=0.06 cores=0-7
/proc/4041/task/4055/stat : 4055 (java) S 4016 4016 2871 0 -1 1077944384 547 0 0 0 6 0 0 0 20 0 24 0 420568194 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916547582192 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4056] ppid=4016 vsize=8414124 memory=2832 CPUtime=0.14 cores=0-7
/proc/4041/task/4056/stat : 4056 (java) S 4016 4016 2871 0 -1 1077944384 299 0 0 0 14 0 0 0 20 0 24 0 420568194 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916344289648 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4057] ppid=4016 vsize=8414124 memory=1192 CPUtime=0.13 cores=0-7
/proc/4041/task/4057/stat : 4057 (java) S 4016 4016 2871 0 -1 1077944384 743 0 0 0 13 0 0 0 20 0 24 0 420568194 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916343236592 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4058] ppid=4016 vsize=8414124 memory=940 CPUtime=0.22 cores=0-7
/proc/4041/task/4058/stat : 4058 (java) S 4016 4016 2871 0 -1 1077944384 770 0 0 0 22 0 0 0 20 0 24 0 420568194 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916342184048 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4059] ppid=4016 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/4041/task/4059/stat : 4059 (java) S 4016 4016 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420568195 8616062976 30127 33554432000 4194304 4196468 140726007227456 139914532350944 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4060] ppid=4016 vsize=8414124 memory=11824 CPUtime=0.04 cores=0-7
/proc/4041/task/4060/stat : 4060 (java) S 4016 4016 2871 0 -1 1077944384 7 0 0 0 3 1 0 0 20 0 24 0 420568195 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916341132464 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4062] ppid=4016 vsize=8414124 memory=20080 CPUtime=0 cores=0-7
/proc/4041/task/4062/stat : 4062 (java) S 4016 4016 2871 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420568267 8616062976 30127 33554432000 4194304 4196468 140726007227456 139916545971648 139917119618841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4064] ppid=4016 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/4041/task/4064/stat : 4064 (java) S 4016 4016 2871 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420568267 8616062976 30127 33554432000 4194304 4196468 140726007227456 139913861250576 139917119616157 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4065] ppid=4016 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/4041/task/4065/stat : 4065 (java) S 4016 4016 2871 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420568267 8616062976 30127 33554432000 4194304 4196468 140726007227456 139914129686160 139917119616157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4066] ppid=4016 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/4041/task/4066/stat : 4066 (java) S 4016 4016 2871 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420568269 8616062976 30127 33554432000 4194304 4196468 140726007227456 139913592822704 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
Current children cumulated CPU time: 561.31 s
Current children cumulated vsize: 9324176 KiB
Current children cumulated memory: 607752 KiB

[startup+82.8017 s]
/proc/loadavg: 7.42 7.29 7.54 2/217 4077
/proc/meminfo: memFree=30274108/32770624 swapFree=66967076/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1476 CPUtime=20.21 cores=0-7
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 2871 0 -1 4202496 582 34615 0 0 0 0 1943 78 20 0 1 0 420567107 115843072 369 33554432000 4194304 5098028 140726829773872 140726829770616 139850715181692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25985024 140726829777700 140726829778028 140726829778028 140726829780941 0
/proc/4016/statm: 28282 369 311 221 0 87 0
[pid=4041] ppid=4016 vsize=8414124 memory=130068 CPUtime=541.64 cores=0-7
/proc/4041/stat : 4041 (java) S 4016 4016 2871 0 -1 1077944320 21729 286083 0 0 153 11 53927 73 20 0 23 0 420568188 8616062976 32517 33554432000 4194304 4196468 140726007227456 140726007210000 139917119594231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
/proc/4041/statm: 2103531 32517 3218 1 0 2064875 0
[pid=4041/tid=4042] ppid=4016 vsize=8414124 memory=485768 CPUtime=540.8 cores=0-7
/proc/4041/task/4042/stat : 4042 (java) S 4016 4016 2871 0 -1 1077944384 17403 286083 0 0 73 7 53927 73 20 0 23 0 420568189 8616062976 32517 33554432000 4194304 4196468 140726007227456 139917091434400 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4043] ppid=4016 vsize=8414124 memory=485188 CPUtime=540 cores=0-7
/proc/4041/task/4043/stat : 4043 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139917123836944 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4044] ppid=4016 vsize=8414124 memory=3424 CPUtime=540 cores=0-7
/proc/4041/task/4044/stat : 4044 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916605029520 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4045] ppid=4016 vsize=8414124 memory=1476 CPUtime=540 cores=0-7
/proc/4041/task/4045/stat : 4045 (java) S 4016 4016 2871 0 -1 1077944384 3 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916603976464 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4046] ppid=4016 vsize=8414124 memory=119728 CPUtime=540 cores=0-7
/proc/4041/task/4046/stat : 4046 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916602923920 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4047] ppid=4016 vsize=8414124 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4047/stat : 4047 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916601870864 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4048] ppid=4016 vsize=8414124 memory=5793996817761003112 CPUtime=540 cores=0-7
/proc/4041/task/4048/stat : 4048 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916600818320 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4049] ppid=4016 vsize=8414124 memory=7523659450052667472 CPUtime=540 cores=0-7
/proc/4041/task/4049/stat : 4049 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916599765264 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4050] ppid=4016 vsize=8414124 memory=7523659450052667472 CPUtime=540 cores=0-7
/proc/4041/task/4050/stat : 4050 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 23 0 420568190 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916598712720 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4051] ppid=4016 vsize=8414124 memory=7523659450052667472 CPUtime=540 cores=0-7
/proc/4041/task/4051/stat : 4051 (java) S 4016 4016 2871 0 -1 1077944384 7 286083 0 0 0 0 53927 73 20 0 23 0 420568191 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916548635376 139917119605378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4052] ppid=4016 vsize=8414124 memory=7379236398821828707 CPUtime=540 cores=0-7
/proc/4041/task/4052/stat : 4052 (java) S 4016 4016 2871 0 -1 1077944384 13 286083 0 0 0 0 53927 73 20 0 23 0 420568192 8616062976 32517 33554432000 4194304 4196468 140726007227456 139915538982560 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4053] ppid=4016 vsize=8414124 memory=7379236398821828707 CPUtime=540 cores=0-7
/proc/4041/task/4053/stat : 4053 (java) S 4016 4016 2871 0 -1 1077944384 21 286083 0 0 0 0 53927 73 20 0 23 0 420568192 8616062976 32517 33554432000 4194304 4196468 140726007227456 139915404760304 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4054] ppid=4016 vsize=8414124 memory=6944652177228980320 CPUtime=540 cores=0-7
/proc/4041/task/4054/stat : 4054 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 23 0 420568194 8616062976 32517 33554432000 4194304 4196468 140726007227456 139915030256080 139917119612827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4055] ppid=4016 vsize=8414124 memory=3761690091369734144 CPUtime=540.08 cores=0-7
/proc/4041/task/4055/stat : 4055 (java) R 4016 4016 2871 0 -1 4202560 557 286083 0 0 8 0 53927 73 20 0 23 0 420568194 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916547582192 139917100909347 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4056] ppid=4016 vsize=8414124 memory=9122464004270842071 CPUtime=540.16 cores=0-7
/proc/4041/task/4056/stat : 4056 (java) R 4016 4016 2871 0 -1 4202560 310 286083 0 0 16 0 53927 73 20 0 23 0 420568194 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916344289648 139917119608118 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4057] ppid=4016 vsize=8414124 memory=280676518139488 CPUtime=540.16 cores=0-7
/proc/4041/task/4057/stat : 4057 (java) R 4016 4016 2871 0 -1 4202560 801 286083 0 0 16 0 53927 73 20 0 23 0 420568194 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916343222672 139917105275670 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4058] ppid=4016 vsize=8414124 memory=7379236398871832675 CPUtime=540.27 cores=0-7
/proc/4041/task/4058/stat : 4058 (java) S 4016 4016 2871 0 -1 1077944384 1047 286083 0 0 27 0 53927 73 20 0 23 0 420568194 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916342184048 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4059] ppid=4016 vsize=8414124 memory=7379236398871832675 CPUtime=540 cores=0-7
/proc/4041/task/4059/stat : 4059 (java) S 4016 4016 2871 0 -1 1077944384 3 286083 0 0 0 0 53927 73 20 0 23 0 420568195 8616062976 32517 33554432000 4194304 4196468 140726007227456 139914532350944 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4060] ppid=4016 vsize=8414124 memory=7379236398871832675 CPUtime=540.04 cores=0-7
/proc/4041/task/4060/stat : 4060 (java) S 4016 4016 2871 0 -1 1077944384 7 286083 0 0 3 1 53927 73 20 0 23 0 420568195 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916341132464 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4062] ppid=4016 vsize=8414124 memory=7379236398871832675 CPUtime=540 cores=0-7
/proc/4041/task/4062/stat : 4062 (java) S 4016 4016 2871 0 -1 1077944384 25 286083 0 0 0 0 53927 73 20 0 23 0 420568267 8616062976 32517 33554432000 4194304 4196468 140726007227456 139916545970832 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4064] ppid=4016 vsize=8414124 memory=7379236398871832675 CPUtime=540.06 cores=0-7
/proc/4041/task/4064/stat : 4064 (java) R 4016 4016 2871 0 -1 4202560 187 286083 0 0 6 0 53927 73 20 0 23 0 420568267 8616062976 32517 33554432000 4194304 4196468 140726007227456 139913861255200 139916623093461 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4066] ppid=4016 vsize=8414124 memory=7379236398871832675 CPUtime=540 cores=0-7
/proc/4041/task/4066/stat : 4066 (java) S 4016 4016 2871 0 -1 1077944384 8 286083 0 0 0 0 53927 73 20 0 23 0 420568269 8616062976 32517 33554432000 4194304 4196468 140726007227456 139913592822464 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
Current children cumulated CPU time: 561.85 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 131544 KiB

[startup+83.0009 s]*
/proc/loadavg: 7.42 7.29 7.54 5/213 4077
/proc/meminfo: memFree=30736052/32770624 swapFree=66967076/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1476 CPUtime=20.21 cores=0-7
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 2871 0 -1 4202496 582 34615 0 0 0 0 1943 78 20 0 1 0 420567107 115843072 369 33554432000 4194304 5098028 140726829773872 140726829770616 139850715181692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25985024 140726829777700 140726829778028 140726829778028 140726829780941 0
/proc/4016/statm: 28282 369 311 221 0 87 0
[pid=4041] ppid=4016 vsize=8283048 memory=144092 CPUtime=542.13 cores=0-7
/proc/4041/stat : 4041 (java) S 4016 4016 2871 0 -1 1077944320 22547 286083 0 0 201 12 53927 73 20 0 22 0 420568188 8481841152 36023 33554432000 4194304 4196468 140726007227456 140726007210000 139917119594231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
/proc/4041/statm: 2070762 36023 3233 1 0 2032106 0
[pid=4041/tid=4042] ppid=4016 vsize=8283048 memory=8317482817917895235 CPUtime=541 cores=0-7
/proc/4041/task/4042/stat : 4042 (java) R 4016 4016 2871 0 -1 4202560 17710 286083 0 0 92 8 53927 73 20 0 22 0 420568189 8481841152 36023 33554432000 4194304 4196468 140726007227456 139917091431504 139917119606166 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4043] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4043/stat : 4043 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139917123836944 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4044] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4044/stat : 4044 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916605029520 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4045] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4045/stat : 4045 (java) S 4016 4016 2871 0 -1 1077944384 3 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916603976464 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4046] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4046/stat : 4046 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916602923920 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4047] ppid=4016 vsize=8283048 memory=-1 CPUtime=540 cores=0-7
/proc/4041/task/4047/stat : 4047 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916601870864 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4048] ppid=4016 vsize=8283048 memory=-1 CPUtime=540 cores=0-7
/proc/4041/task/4048/stat : 4048 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916600818320 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4049] ppid=4016 vsize=8283048 memory=-1 CPUtime=540 cores=0-7
/proc/4041/task/4049/stat : 4049 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916599765264 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4050] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4050/stat : 4050 (java) S 4016 4016 2871 0 -1 1077944384 2 286083 0 0 0 0 53927 73 20 0 22 0 420568190 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916598712720 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4051] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4051/stat : 4051 (java) S 4016 4016 2871 0 -1 1077944384 7 286083 0 0 0 0 53927 73 20 0 22 0 420568191 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916548635376 139917119605378 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4052] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4052/stat : 4052 (java) S 4016 4016 2871 0 -1 1077944384 13 286083 0 0 0 0 53927 73 20 0 22 0 420568192 8481841152 36023 33554432000 4194304 4196468 140726007227456 139915538982560 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4053] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4053/stat : 4053 (java) S 4016 4016 2871 0 -1 1077944384 21 286083 0 0 0 0 53927 73 20 0 22 0 420568192 8481841152 36023 33554432000 4194304 4196468 140726007227456 139915404760304 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4054] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4054/stat : 4054 (java) S 4016 4016 2871 0 -1 1077944384 1 286083 0 0 0 0 53927 73 20 0 22 0 420568194 8481841152 36023 33554432000 4194304 4196468 140726007227456 139915030256080 139917119612827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4055] ppid=4016 vsize=8283048 memory=0 CPUtime=540.14 cores=0-7
/proc/4041/task/4055/stat : 4055 (java) R 4016 4016 2871 0 -1 4202560 673 286083 0 0 14 0 53927 73 20 0 22 0 420568194 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916547567184 139917099424550 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4056] ppid=4016 vsize=8283048 memory=0 CPUtime=540.21 cores=0-7
/proc/4041/task/4056/stat : 4056 (java) S 4016 4016 2871 0 -1 1077944384 370 286083 0 0 21 0 53927 73 20 0 22 0 420568194 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916344289648 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4057] ppid=4016 vsize=8283048 memory=0 CPUtime=540.22 cores=0-7
/proc/4041/task/4057/stat : 4057 (java) R 4016 4016 2871 0 -1 4202560 836 286083 0 0 22 0 53927 73 20 0 22 0 420568194 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916343236592 139917103088716 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4058] ppid=4016 vsize=8283048 memory=0 CPUtime=540.37 cores=0-7
/proc/4041/task/4058/stat : 4058 (java) R 4016 4016 2871 0 -1 4202560 1341 286083 0 0 37 0 53927 73 20 0 22 0 420568194 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916342183232 139917100967688 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4059] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4059/stat : 4059 (java) S 4016 4016 2871 0 -1 1077944384 3 286083 0 0 0 0 53927 73 20 0 22 0 420568195 8481841152 36023 33554432000 4194304 4196468 140726007227456 139914532350944 139917119604437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4060] ppid=4016 vsize=8283048 memory=-1 CPUtime=540.04 cores=0-7
/proc/4041/task/4060/stat : 4060 (java) S 4016 4016 2871 0 -1 1077944384 7 286083 0 0 3 1 53927 73 20 0 22 0 420568195 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916341132464 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4062] ppid=4016 vsize=8283048 memory=-1 CPUtime=540 cores=0-7
/proc/4041/task/4062/stat : 4062 (java) S 4016 4016 2871 0 -1 1077944384 25 286083 0 0 0 0 53927 73 20 0 22 0 420568267 8481841152 36023 33554432000 4194304 4196468 140726007227456 139916545970832 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
[pid=4041/tid=4066] ppid=4016 vsize=8283048 memory=0 CPUtime=540 cores=0-7
/proc/4041/task/4066/stat : 4066 (java) S 4016 4016 2871 0 -1 1077944384 15 286083 0 0 0 0 53927 73 20 0 22 0 420568269 8481841152 36023 33554432000 4194304 4196468 140726007227456 139913592824496 139917119605378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29831168 140726007231480 140726007231638 140726007231638 140726007234511 0
Current children cumulated CPU time: 562.34 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 145568 KiB

Child status: 0
Real time (s): 83.0528
CPU time (s): 562.433
CPU user time (s): 560.766
CPU system time (s): 1.66771
CPU usage (%): 677.2
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4441164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.765
system time used= 1.66771
maximum resident set size= 4442292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344966
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= 16965
involuntary context switches= 5651


# summary of solver processes directly reported to runsolver:
#   pid: 4016
#   total CPU time (s): 562.433
#   total CPU user time (s): 560.766
#   total CPU system time (s): 1.66771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.813789 second user time and 1.10212 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-14 08:36:00
IDJOB=4392742
IDBENCH=138970
IDSOLVER=2839
FILE ID=node125/4392742-1568443003
RUNJOBID= node125-1568437422-2898
PBS_JOBID= 21702322
Free space on /tmp= 59780 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392742-1568443003/watcher-4392742-1568443003 -o /tmp/evaluation-result-4392742-1568443003/solver-4392742-1568443003 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568437422-2898 --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-4392742-1568443003.xml

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

MD5SUM BENCH= 4d249bb6d4470f00f240c18f02f8ea53
RANDOM SEED=374765558

node125.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.29
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.29
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.29
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.29
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:        30869488 kB
MemAvailable:   31872112 kB
Buffers:          154268 kB
Cached:          1140560 kB
SwapCached:        38356 kB
Active:           675980 kB
Inactive:         662000 kB
Active(anon):      22088 kB
Inactive(anon):    60880 kB
Active(file):     653892 kB
Inactive(file):   601120 kB
Unevictable:      108024 kB
Mlocked:          108024 kB
SwapTotal:      67108860 kB
SwapFree:       66967076 kB
Dirty:             20708 kB
Writeback:             0 kB
AnonPages:        113700 kB
Mapped:            44464 kB
Shmem:             31296 kB
Slab:             156232 kB
SReclaimable:     126896 kB
SUnreclaim:        29336 kB
KernelStack:        3712 kB
PageTables:         6004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498568 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59760 MiB
End job on node125 at 2019-09-14 08:37:24