Trace number 4405302

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18695-serial-file.bin HOME/instance-4405302-1569359287.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 23:07:23 CEST 2019
0.66/0.56	c PID: 18698
0.66/0.56	c IP: 172.20.3.136
0.66/0.56	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.67/1.06	c (0,0) Parsing End
1.67/1.07	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) Constraint Name Generate Begin
1.67/1.08	c (0,0) Ctr:HOME/instance-4405302-1569359287.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.08	c (0,0) Constraint Name Generate End
1.67/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.08	c (0,0) CSP to CSPinCNF Begin
1.93/1.11	c (0,0) translated 1 (10%) constraints
5.71/2.81	c (2,2) translated 2 (20%) constraints
5.71/2.84	c (2,2) ===========================================
5.71/2.84	c (2,2) Order
5.71/2.84	c (2,2) ===========================================
7.63/3.37	c (2,2) translated 2855 (10%) constraints
8.45/3.69	c (3,3) translated 5709 (20%) constraints
9.02/4.01	c (3,3) translated 8564 (30%) constraints
9.32/4.31	c (3,3) translated 11418 (40%) constraints
9.62/4.63	c (4,4) translated 14273 (50%) constraints
9.87/4.89	c (4,4) translated 17127 (60%) constraints
10.21/5.15	c (4,4) translated 19982 (70%) constraints
10.55/5.41	c (4,4) translated 22836 (80%) constraints
10.76/5.69	c (5,5) translated 25691 (90%) constraints
11.06/5.92	c (5,5) translated 28545 (100%) constraints
11.06/5.92	c (5,5) CSP to CSPinCNF End
11.06/5.93	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137070 ctr, max domain size 30
11.06/5.93	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.06/5.93	c (5,5) CSPinCNF Propagation Begin
14.21/7.96	c (7,7) 20563 values, 88388 unsatisfiable literals, and 91835 valid clauses are removed
14.21/7.96	c (7,7) CSPinCNF Propagation End
14.21/7.96	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 45235 ctr, max domain size 30
14.21/7.96	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.21/7.97	c (7,7) Simplify CSPinCNF Begin
15.26/8.47	c (7,7) Simplify CSPinCNF End
15.26/8.48	c (7,7) CSP: 866 int (0 aux), 52894 bool (52860 aux), 71095 ctr, max domain size 30
15.26/8.48	c (7,7) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.26/8.48	c (7,7) Calculate Precise Domain Begin
15.26/8.49	c (7,7) 0 values are removed by re-calculation
15.26/8.49	c (7,7) Calculate Precise Domain End
15.36/8.50	c (7,7) CSP: 866 int (0 aux), 52894 bool (52860 aux), 71095 ctr, max domain size 30
15.36/8.50	c (7,7) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.36/8.50	c (7,7) CSPinCNF to SatSolver Begin
17.27/9.05	c (8,8) 7110 (10 %) CSP clauses are encoded (0 SAT variables, 29234 SAT clauses)
17.77/9.20	c (8,8) 14219 (20 %) CSP clauses are encoded (0 SAT variables, 51045 SAT clauses)
17.92/9.35	c (8,8) 21329 (30 %) CSP clauses are encoded (0 SAT variables, 73067 SAT clauses)
18.05/9.49	c (8,8) 28438 (40 %) CSP clauses are encoded (0 SAT variables, 94132 SAT clauses)
18.25/9.62	c (9,9) 35548 (50 %) CSP clauses are encoded (0 SAT variables, 115760 SAT clauses)
18.36/9.75	c (9,9) 42657 (60 %) CSP clauses are encoded (0 SAT variables, 136621 SAT clauses)
18.47/9.89	c (9,9) 49767 (70 %) CSP clauses are encoded (0 SAT variables, 158225 SAT clauses)
18.72/10.02	c (9,9) 56876 (80 %) CSP clauses are encoded (0 SAT variables, 179874 SAT clauses)
18.82/10.15	c (9,9) 63986 (90 %) CSP clauses are encoded (0 SAT variables, 201230 SAT clauses)
18.92/10.29	c (9,9) 71095 (100 %) CSP clauses are encoded (0 SAT variables, 223191 SAT clauses)
18.92/10.29	c (9,9) CSPinCNF to SatSolver End
18.92/10.29	c (9,9) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.92/10.29	c (9,9) 41980 bool, 223192 clause
18.92/10.29	c (9,9) Export Begin
19.26/10.42	c (9,9) Export to HOME/scop-18695-serial-file.bin
19.26/10.42	c (9,9) Export End
19.26/10.42	c (9,9) Export File Size: 0.15 MB
19.26/10.42	c (9,9) 0,0,5,7,7,7,9,STOP-AFTER(DIMACS)
19.26/10.42	c END-Prog: Tue Sep 24 23:07:33 CEST 2019
19.26/10.46	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18695-serial-file.bin
19.41/10.92	c (0,0) Read Serial File Begin
19.41/10.92	c (0,0) HOME/scop-18695-serial-file.bin
20.27/11.18	c (0,0) Read Serial File End
20.27/11.20	
20.27/11.20	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.27/11.20	(Solving Process)
20.27/11.20	
20.60/11.22	c BEGIN-Prog: Tue Sep 24 23:07:33 CEST 2019
20.60/11.22	c PID: 18718
20.60/11.22	c IP: 172.20.3.136
20.60/11.22	c HOST: node136.alineos.net
20.60/11.22	c (0,0) SatSolver.solve Begin
20.60/11.22	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405302-1569359287.xml-scop-18698.cnf
20.60/11.25	c (0,0) c
20.60/11.25	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
20.60/11.25	c (0,0) c
20.60/11.25	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.60/11.25	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.60/11.25	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.60/11.25	c (0,0) c |                                                                                                       |
20.83/11.33	c (0,0) c |  Number of variables:         41980                                                                   |
20.83/11.33	c (0,0) c |  Number of clauses:          223192                                                                   |
20.83/11.33	c (0,0) c |  Parse time:                   0.08 s                                                                 |
20.83/11.33	c (0,0) c |                                                                                                       |
20.83/11.55	c (0,0) c |  Simplification time:          0.21 s                                                                 |
20.83/11.55	c (0,0) c |                                                                                                       |
20.83/11.55	c (0,0) c |  Generating clones                                                                                    |
20.83/11.67	c (0,0) c |  all clones generated. Memory =   207.45Mb.                                                           |
20.83/11.67	c (0,0) c ========================================================================================================|
20.83/11.67	c (0,0) c
20.83/11.67	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
20.83/11.67	c (0,0) c
20.83/11.67	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.83/11.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
20.83/11.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.83/11.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
20.83/11.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
20.83/11.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
20.83/11.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
20.83/11.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
20.83/11.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
20.83/11.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
20.83/11.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
20.83/11.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
20.83/11.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
20.83/11.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
20.83/11.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
20.83/11.68	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
20.83/11.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
20.83/11.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
20.83/11.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
256.59/41.28	c (30,0) c
256.59/41.28	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.59/41.28	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
256.59/41.28	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.59/41.28	c (30,0) c |  0 |    474 |     284868 |      30720 |    60466 |    14337 |     6288 |    39190 |     2754 |      136 |  20 |  6.024 |
256.59/41.28	c (30,0) c |  1 |    491 |     286791 |      32411 |    60945 |    16022 |     6412 |    40734 |     2869 |      143 |  20 |  6.036 |
256.59/41.28	c (30,0) c |  2 |    546 |     296435 |      34492 |    62095 |    18121 |     6652 |    43062 |     3244 |      154 |  20 |  6.036 |
256.59/41.28	c (30,0) c |  3 |    533 |     298449 |      34522 |    62292 |    18133 |     6672 |    42993 |     3237 |      154 |  20 |  6.036 |
256.59/41.28	c (30,0) c |  4 |    548 |     291965 |      34799 |    62446 |    18422 |     6642 |    43237 |     3291 |      155 |  20 |  6.036 |
256.59/41.28	c (30,0) c |  5 |    535 |     291990 |      34490 |    62468 |    18104 |     6625 |    43219 |     3210 |      155 |  20 |  6.036 |
256.59/41.28	c (30,0) c |  6 |    539 |     296860 |      34523 |    62365 |    18136 |     6581 |    42883 |     3174 |      153 |  20 |  6.036 |
256.59/41.28	c (30,0) c |  7 |    530 |     293982 |      33905 |    62063 |    17519 |     6501 |    42234 |     3108 |      150 |  20 |  6.036 |
256.59/41.28	c (30,0) c 
256.59/41.28	c (30,0) c synthesis      269862 conflicts   343537652 propagations     1144 conflicts/sec  1456737 propagations/sec
256.59/41.28	c (30,0) c real: 30.0362 s, cpu: 235.827 s, memory: 778.12 Mb
484.42/70.28	c (59,0) c
484.42/70.28	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
484.42/70.28	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
484.42/70.28	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
484.42/70.28	c (59,0) c |  0 |    895 |     386588 |      59096 |    71939 |    20502 |    10143 |    65943 |     5700 |      283 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  1 |    916 |     386383 |      60511 |    72491 |    21915 |    10298 |    67383 |     5789 |      291 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  2 |    962 |     394352 |      60756 |    72411 |    22166 |    10167 |    67884 |     5901 |      293 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  3 |    930 |     393049 |      60558 |    72209 |    21963 |    10135 |    67939 |     5968 |      292 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  4 |    951 |     387893 |      62727 |    72827 |    24137 |    10329 |    69568 |     5999 |      303 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  5 |    950 |     388306 |      62350 |    73394 |    23756 |    10276 |    69616 |     6067 |      303 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  6 |    988 |     399805 |      62701 |    73310 |    24106 |    10310 |    69524 |     5966 |      303 |  20 |  6.062 |
484.42/70.28	c (59,0) c |  7 |    963 |     395914 |      62030 |    72717 |    23441 |    10259 |    68936 |     6059 |      298 |  20 |  6.062 |
484.42/70.28	c (59,0) c 
484.42/70.28	c (59,0) c synthesis      490729 conflicts   597822843 propagations     1059 conflicts/sec  1290327 propagations/sec
484.42/70.28	c (59,0) c real: 59.0362 s, cpu: 463.311 s, memory: 778.12 Mb
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c real time : 72.4245 s
573.16/83.67	c (72,0) c cpu time  : 551.43 s
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c | Conflicts     |          572603 |      71758 |      71566 |      71406 |      71332 |      71772 |      71133 |      71755 |      71881 |
573.16/83.67	c (72,0) c | Decisions     |         3390044 |     424924 |     421449 |     428285 |     428397 |     414602 |     415310 |     427994 |     429083 |
573.16/83.67	c (72,0) c | Propagations  |       692908704 |   86732638 |   86612129 |   86962041 |   86600487 |   86440930 |   86235877 |   86672739 |   86651863 |
573.16/83.67	c (72,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
573.16/83.67	c (72,0) c | SimpDBs       |             516 |         66 |         65 |         64 |         65 |         64 |         64 |         65 |         63 |
573.16/83.67	c (72,0) c | Restarts      |            8663 |       1065 |       1068 |       1111 |       1082 |       1055 |       1072 |       1106 |       1104 |
573.16/83.67	c (72,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
573.16/83.67	c (72,0) c | PropBinClauses|      1944058865 |  243272965 |  242558344 |  243874185 |  242508831 |  243018940 |  242429385 |  243224367 |  243171848 |
573.16/83.67	c (72,0) c | PropPreBlocker|      9818651339 | 1226746611 | 1225050380 | 1229299806 | 1227474040 | 1227724841 | 1226387193 | 1227310524 | 1228657944 |
573.16/83.67	c (72,0) c | PropNotBlocker|      2501598608 |  312606753 |  313130375 |  312417685 |  312320241 |  311557587 |  313645173 |  312712680 |  313208114 |
573.16/83.67	c (72,0) c | LitFullScans  |     16949551277 | 2118425770 | 2118151276 | 2118458580 | 2118148073 | 2118578764 | 2118966367 | 2119013496 | 2119808951 |
573.16/83.67	c (72,0) c | LitScanFracts |         3619876 |     385817 |     112571 |     436638 |     128320 |     372070 |     786431 |     892836 |     505193 |
573.16/83.67	c (72,0) c | DecisionLevel0|           19337 |       2412 |       2413 |       2403 |       2455 |       2370 |       2400 |       2453 |       2431 |
573.16/83.67	c (72,0) c | Periods       |            2824 |        353 |        353 |        353 |        353 |        353 |        353 |        353 |        353 |
573.16/83.67	c (72,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
573.16/83.67	c (72,0) c | Avg_Trail     |                 |       9713 |       9728 |       9760 |       9771 |       9745 |       9722 |       9749 |       9744 |
573.16/83.67	c (72,0) c | Avg_DL        |                 |         88 |         88 |         92 |         93 |         88 |         88 |         93 |         93 |
573.16/83.67	c (72,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
573.16/83.67	c (72,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c | Exported      |           91573 |      11615 |      11605 |      11373 |      11384 |      11373 |      11378 |      11437 |      11408 |
573.16/83.67	c (72,0) c | Imported      |          614621 |      76653 |      76544 |      76893 |      76867 |      76912 |      76913 |      76937 |      76902 |
573.16/83.67	c (72,0) c | Good          |           61485 |       7674 |       7632 |       7680 |       7655 |       7685 |       7721 |       7728 |       7710 |
573.16/83.67	c (72,0) c | Purge         |          553136 |      68979 |      68912 |      69213 |      69212 |      69227 |      69192 |      69209 |      69192 |
573.16/83.67	c (72,0) c | Promoted      |           56282 |       7027 |       6976 |       7061 |       7159 |       6991 |       7003 |       6950 |       7115 |
573.16/83.67	c (72,0) c | Remove_Imp    |          356120 |      44233 |      44221 |      44779 |      44713 |      44309 |      44955 |      44471 |      44439 |
573.16/83.67	c (72,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c | Unaries       |                 |       1347 |       1345 |       1292 |       1373 |       1315 |       1328 |       1347 |       1327 |
573.16/83.67	c (72,0) c | Binaries      |                 |       1112 |       1152 |       1105 |       1132 |       1105 |       1065 |       1062 |       1078 |
573.16/83.67	c (72,0) c | Glues         |                 |       2288 |       2213 |       2186 |       2221 |       2188 |       2199 |       2149 |       2212 |
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c | Orig_Seen     |            45 % |      75555 |      75590 |      75362 |      75312 |      75322 |      75826 |      75740 |      75568 |
573.16/83.67	c (72,0) c | Diff Orig seen|                 | -      185 | -      150 | -      378 | -      428 | -      418 |         86 |      X     | -      172 |
573.16/83.67	c (72,0) c | Hamming       |            13 % |       5040 |       5657 |       5069 |       5355 |       5725 |       5709 |      X     |       5711 |
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c | RunningTime   |                 |   71.1 100%|   70.0 100%|   70.7  99%|   71.5  99%|   67.7  98%|   66.4  96%|   67.1  97%|   68.8 100%|
573.16/83.67	c (72,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.5   1%|    0.4   1%|    1.2   2%|    2.6   4%|    1.9   3%|    0.2   0%|
573.16/83.67	c (72,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%|
573.16/83.67	c (72,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%|
573.16/83.67	c (72,0) c | SolvingTime   |                 |   71.1     |   70.0     |   71.3     |   72.0     |   69.0     |   69.0     |   69.0     |   69.1     |
573.16/83.67	c (72,0) c | PropagationTim|                 |   62.5  88%|   61.2  87%|   61.5  86%|   62.1  86%|   60.0  87%|   60.2  87%|   60.1  87%|   60.2  87%|
573.16/83.67	c (72,0) c | AnalysisTime  |                 |    5.7   8%|    5.8   8%|    6.7   9%|    6.7   9%|    6.1   9%|    5.9   9%|    5.9   9%|    5.9   9%|
573.16/83.67	c (72,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%|
573.16/83.67	c (72,0) c | SimplifyTime  |                 |    0.4   1%|    0.4   1%|    0.4   1%|    0.5   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|
573.16/83.67	c (72,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%|
573.16/83.67	c (72,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%|
573.16/83.67	c (72,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c
573.16/83.67	c (72,0) c Threads : 8
573.16/83.67	c (72,0) c Winner : 6
573.16/83.67	c (72,0) c Conflicts_0 : 71758
573.16/83.67	c (72,0) c Conflicts_1 : 71566
573.16/83.67	c (72,0) c Conflicts_2 : 71406
573.16/83.67	c (72,0) c Conflicts_3 : 71332
573.16/83.67	c (72,0) c Conflicts_4 : 71772
573.16/83.67	c (72,0) c Conflicts_5 : 71133
573.16/83.67	c (72,0) c Conflicts_6 : 71755
573.16/83.67	c (72,0) c Conflicts_7 : 71881
573.16/83.67	c (72,0) c Conflicts_total : 572603
573.16/83.67	c (72,0) c Conflicts_winner : 71755
573.16/83.67	c (72,0) c Decisions_0 : 424924
573.16/83.67	c (72,0) c Decisions_1 : 421449
573.16/83.67	c (72,0) c Decisions_2 : 428285
573.16/83.67	c (72,0) c Decisions_3 : 428397
573.16/83.67	c (72,0) c Decisions_4 : 414602
573.16/83.67	c (72,0) c Decisions_5 : 415310
573.16/83.67	c (72,0) c Decisions_6 : 427994
573.16/83.67	c (72,0) c Decisions_7 : 429083
573.16/83.67	c (72,0) c Decisions_total : 3390044
573.16/83.67	c (72,0) c Decisions_winner : 427994
573.16/83.67	c (72,0) c Propagations_0 : 86732638
573.16/83.67	c (72,0) c Propagations_1 : 86612129
573.16/83.67	c (72,0) c Propagations_2 : 86962041
573.16/83.67	c (72,0) c Propagations_3 : 86600487
573.16/83.67	c (72,0) c Propagations_4 : 86440930
573.16/83.67	c (72,0) c Propagations_5 : 86235877
573.16/83.67	c (72,0) c Propagations_6 : 86672739
573.16/83.67	c (72,0) c Propagations_7 : 86651863
573.16/83.67	c (72,0) c Propagations_total : 692908704
573.16/83.67	c (72,0) c Propagations_winner : 86672739
573.16/83.67	c (72,0) c ReduceDBs_0 : 7
573.16/83.67	c (72,0) c ReduceDBs_1 : 7
573.16/83.67	c (72,0) c ReduceDBs_2 : 7
573.16/83.67	c (72,0) c ReduceDBs_3 : 7
573.16/83.67	c (72,0) c ReduceDBs_4 : 7
573.16/83.67	c (72,0) c ReduceDBs_5 : 7
573.16/83.67	c (72,0) c ReduceDBs_6 : 7
573.16/83.67	c (72,0) c ReduceDBs_7 : 7
573.16/83.67	c (72,0) c ReduceDBs_total : 56
573.16/83.67	c (72,0) c ReduceDBs_winner : 7
573.16/83.67	c (72,0) c SimpDBs_0 : 66
573.16/83.67	c (72,0) c SimpDBs_1 : 65
573.16/83.67	c (72,0) c SimpDBs_2 : 64
573.16/83.67	c (72,0) c SimpDBs_3 : 65
573.16/83.67	c (72,0) c SimpDBs_4 : 64
573.16/83.67	c (72,0) c SimpDBs_5 : 64
573.16/83.67	c (72,0) c SimpDBs_6 : 65
573.16/83.67	c (72,0) c SimpDBs_7 : 63
573.16/83.67	c (72,0) c SimpDBs_total : 516
573.16/83.67	c (72,0) c SimpDBs_winner : 65
573.16/83.67	c (72,0) c Restarts_0 : 1065
573.16/83.67	c (72,0) c Restarts_1 : 1068
573.16/83.67	c (72,0) c Restarts_2 : 1111
573.16/83.67	c (72,0) c Restarts_3 : 1082
573.16/83.67	c (72,0) c Restarts_4 : 1055
573.16/83.67	c (72,0) c Restarts_5 : 1072
573.16/83.67	c (72,0) c Restarts_6 : 1106
573.16/83.68	c (72,0) c Restarts_7 : 1104
573.16/83.68	c (72,0) c Restarts_total : 8663
573.16/83.68	c (72,0) c Restarts_winner : 1106
573.16/83.68	c (72,0) c ForcedImports_0 : 0
573.16/83.68	c (72,0) c ForcedImports_1 : 0
573.16/83.68	c (72,0) c ForcedImports_2 : 0
573.16/83.68	c (72,0) c ForcedImports_3 : 0
573.16/83.68	c (72,0) c ForcedImports_4 : 0
573.16/83.68	c (72,0) c ForcedImports_5 : 0
573.16/83.68	c (72,0) c ForcedImports_6 : 0
573.16/83.68	c (72,0) c ForcedImports_7 : 0
573.16/83.68	c (72,0) c ForcedImports_total : 0
573.16/83.68	c (72,0) c ForcedImports_winner : 0
573.16/83.68	c (72,0) c PropsBinClauses_0 : 243272965
573.16/83.68	c (72,0) c PropsBinClauses_1 : 242558344
573.16/83.68	c (72,0) c PropsBinClauses_2 : 243874185
573.16/83.68	c (72,0) c PropsBinClauses_3 : 242508831
573.16/83.68	c (72,0) c PropsBinClauses_4 : 243018940
573.16/83.68	c (72,0) c PropsBinClauses_5 : 242429385
573.16/83.68	c (72,0) c PropsBinClauses_6 : 243224367
573.16/83.68	c (72,0) c PropsBinClauses_7 : 243171848
573.16/83.68	c (72,0) c PropsBinClauses_total : 1944058865
573.16/83.68	c (72,0) c PropsBinClauses_winner : 243224367
573.16/83.68	c (72,0) c PropsPreBlocker_0 : 1226746611
573.16/83.68	c (72,0) c PropsPreBlocker_1 : 1225050380
573.16/83.68	c (72,0) c PropsPreBlocker_2 : 1229299806
573.16/83.68	c (72,0) c PropsPreBlocker_3 : 1227474040
573.16/83.68	c (72,0) c PropsPreBlocker_4 : 1227724841
573.16/83.68	c (72,0) c PropsPreBlocker_5 : 1226387193
573.16/83.68	c (72,0) c PropsPreBlocker_6 : 1227310524
573.16/83.68	c (72,0) c PropsPreBlocker_7 : 1228657944
573.16/83.68	c (72,0) c PropsPreBlocker_total : 9818651339
573.16/83.68	c (72,0) c PropsPreBlocker_winner : 1227310524
573.16/83.68	c (72,0) c PropsNotBlocker_0 : 312606753
573.16/83.68	c (72,0) c PropsNotBlocker_1 : 313130375
573.16/83.68	c (72,0) c PropsNotBlocker_2 : 312417685
573.16/83.68	c (72,0) c PropsNotBlocker_3 : 312320241
573.16/83.68	c (72,0) c PropsNotBlocker_4 : 311557587
573.16/83.68	c (72,0) c PropsNotBlocker_5 : 313645173
573.16/83.68	c (72,0) c PropsNotBlocker_6 : 312712680
573.16/83.68	c (72,0) c PropsNotBlocker_7 : 313208114
573.16/83.68	c (72,0) c PropsNotBlocker_total : 2501598608
573.16/83.68	c (72,0) c PropsNotBlocker_winner : 312712680
573.16/83.68	c (72,0) c PropsLitFullScans_0 : 2118425770
573.16/83.68	c (72,0) c PropsLitFullScans_1 : 2118151276
573.16/83.68	c (72,0) c PropsLitFullScans_2 : 2118458580
573.16/83.68	c (72,0) c PropsLitFullScans_3 : 2118148073
573.16/83.68	c (72,0) c PropsLitFullScans_4 : 2118578764
573.16/83.68	c (72,0) c PropsLitFullScans_5 : 2118966367
573.16/83.68	c (72,0) c PropsLitFullScans_6 : 2119013496
573.16/83.68	c (72,0) c PropsLitFullScans_7 : 2119808951
573.16/83.68	c (72,0) c PropsLitFullScans_total : 16949551277
573.16/83.68	c (72,0) c PropsLitFullScans_winner : 2119013496
573.16/83.68	c (72,0) c LitScanFractions_0 : 385817
573.16/83.68	c (72,0) c LitScanFractions_1 : 112571
573.16/83.68	c (72,0) c LitScanFractions_2 : 436638
573.16/83.68	c (72,0) c LitScanFractions_3 : 128320
573.16/83.68	c (72,0) c LitScanFractions_4 : 372070
573.16/83.68	c (72,0) c LitScanFractions_5 : 786431
573.16/83.68	c (72,0) c LitScanFractions_6 : 892836
573.16/83.68	c (72,0) c LitScanFractions_7 : 505193
573.16/83.68	c (72,0) c LitScanFractions_total : 3619876
573.16/83.68	c (72,0) c LitScanFractions_winner : 892836
573.16/83.68	c (72,0) c DecisionLevel0_0 : 2412
573.16/83.68	c (72,0) c DecisionLevel0_1 : 2413
573.16/83.68	c (72,0) c DecisionLevel0_2 : 2403
573.16/83.68	c (72,0) c DecisionLevel0_3 : 2455
573.16/83.68	c (72,0) c DecisionLevel0_4 : 2370
573.16/83.68	c (72,0) c DecisionLevel0_5 : 2400
573.16/83.68	c (72,0) c DecisionLevel0_6 : 2453
573.16/83.68	c (72,0) c DecisionLevel0_7 : 2431
573.16/83.68	c (72,0) c DecisionLevel0_total : 19337
573.16/83.68	c (72,0) c DecisionLevel0_winner : 2453
573.16/83.68	c (72,0) c Periods_0 : 353
573.16/83.68	c (72,0) c Periods_1 : 353
573.16/83.68	c (72,0) c Periods_2 : 353
573.16/83.68	c (72,0) c Periods_3 : 353
573.16/83.68	c (72,0) c Periods_4 : 353
573.16/83.68	c (72,0) c Periods_5 : 353
573.16/83.68	c (72,0) c Periods_6 : 353
573.16/83.68	c (72,0) c Periods_7 : 353
573.16/83.68	c (72,0) c Periods_total : 2824
573.16/83.68	c (72,0) c Periods_winner : 353
573.16/83.68	c (72,0) c Margin_0 : 20
573.16/83.68	c (72,0) c Margin_1 : 20
573.16/83.68	c (72,0) c Margin_2 : 20
573.16/83.68	c (72,0) c Margin_3 : 20
573.16/83.68	c (72,0) c Margin_4 : 20
573.16/83.68	c (72,0) c Margin_5 : 20
573.16/83.68	c (72,0) c Margin_6 : 20
573.16/83.68	c (72,0) c Margin_7 : 20
573.16/83.68	c (72,0) c Margin_total : 160
573.16/83.68	c (72,0) c Margin_winner : 20
573.16/83.68	c (72,0) c Exported_0 : 11615
573.16/83.68	c (72,0) c Exported_1 : 11605
573.16/83.68	c (72,0) c Exported_2 : 11373
573.16/83.68	c (72,0) c Exported_3 : 11384
573.16/83.68	c (72,0) c Exported_4 : 11373
573.16/83.68	c (72,0) c Exported_5 : 11378
573.16/83.68	c (72,0) c Exported_6 : 11437
573.16/83.68	c (72,0) c Exported_7 : 11408
573.16/83.68	c (72,0) c Exported_total : 91573
573.16/83.68	c (72,0) c Exported_winner : 11437
573.16/83.68	c (72,0) c Imported_0 : 76653
573.16/83.68	c (72,0) c Imported_1 : 76544
573.16/83.68	c (72,0) c Imported_2 : 76893
573.16/83.68	c (72,0) c Imported_3 : 76867
573.16/83.68	c (72,0) c Imported_4 : 76912
573.16/83.68	c (72,0) c Imported_5 : 76913
573.16/83.68	c (72,0) c Imported_6 : 76937
573.16/83.68	c (72,0) c Imported_7 : 76902
573.16/83.68	c (72,0) c Imported_total : 614621
573.16/83.68	c (72,0) c Imported_winner : 76937
573.16/83.68	c (72,0) c Good_0 : 7674
573.16/83.68	c (72,0) c Good_1 : 7632
573.16/83.68	c (72,0) c Good_2 : 7680
573.16/83.68	c (72,0) c Good_3 : 7655
573.16/83.68	c (72,0) c Good_4 : 7685
573.16/83.68	c (72,0) c Good_5 : 7721
573.16/83.68	c (72,0) c Good_6 : 7728
573.16/83.68	c (72,0) c Good_7 : 7710
573.16/83.68	c (72,0) c Good_total : 61485
573.16/83.68	c (72,0) c Good_winner : 7728
573.16/83.68	c (72,0) c Purge_0 : 68979
573.16/83.68	c (72,0) c Purge_1 : 68912
573.16/83.68	c (72,0) c Purge_2 : 69213
573.16/83.68	c (72,0) c Purge_3 : 69212
573.16/83.68	c (72,0) c Purge_4 : 69227
573.16/83.68	c (72,0) c Purge_5 : 69192
573.16/83.68	c (72,0) c Purge_6 : 69209
573.16/83.68	c (72,0) c Purge_7 : 69192
573.16/83.68	c (72,0) c Purge_total : 553136
573.16/83.68	c (72,0) c Purge_winner : 69209
573.16/83.68	c (72,0) c Promoted_0 : 7027
573.16/83.68	c (72,0) c Promoted_1 : 6976
573.16/83.68	c (72,0) c Promoted_2 : 7061
573.16/83.68	c (72,0) c Promoted_3 : 7159
573.16/83.68	c (72,0) c Promoted_4 : 6991
573.16/83.68	c (72,0) c Promoted_5 : 7003
573.16/83.68	c (72,0) c Promoted_6 : 6950
573.16/83.68	c (72,0) c Promoted_7 : 7115
573.16/83.68	c (72,0) c Promoted_total : 56282
573.16/83.68	c (72,0) c Promoted_winner : 6950
573.16/83.68	c (72,0) c Remove_Imp_0 : 44233
573.16/83.68	c (72,0) c Remove_Imp_1 : 44221
573.16/83.68	c (72,0) c Remove_Imp_2 : 44779
573.16/83.68	c (72,0) c Remove_Imp_3 : 44713
573.16/83.68	c (72,0) c Remove_Imp_4 : 44309
573.16/83.68	c (72,0) c Remove_Imp_5 : 44955
573.16/83.68	c (72,0) c Remove_Imp_6 : 44471
573.16/83.68	c (72,0) c Remove_Imp_7 : 44439
573.16/83.68	c (72,0) c Remove_Imp_total : 356120
573.16/83.68	c (72,0) c Remove_Imp_winner : 44471
573.16/83.68	c (72,0) c Blocked_Reuse_0 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_1 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_2 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_3 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_4 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_5 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_6 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_7 : 0
573.16/83.68	c (72,0) c Blocked_Reuse_total : 0
573.16/83.68	c (72,0) c Blocked_Reuse_winner : 0
573.16/83.68	c (72,0) c Unaries_0 : 1347
573.16/83.68	c (72,0) c Unaries_1 : 1345
573.16/83.68	c (72,0) c Unaries_2 : 1292
573.16/83.68	c (72,0) c Unaries_3 : 1373
573.16/83.68	c (72,0) c Unaries_4 : 1315
573.16/83.68	c (72,0) c Unaries_5 : 1328
573.16/83.68	c (72,0) c Unaries_6 : 1347
573.16/83.68	c (72,0) c Unaries_7 : 1327
573.16/83.68	c (72,0) c Unaries_total : 10674
573.16/83.68	c (72,0) c Unaries_winner : 1347
573.16/83.68	c (72,0) c Binaries_0 : 1112
573.16/83.68	c (72,0) c Binaries_1 : 1152
573.16/83.68	c (72,0) c Binaries_2 : 1105
573.16/83.68	c (72,0) c Binaries_3 : 1132
573.16/83.68	c (72,0) c Binaries_4 : 1105
573.16/83.68	c (72,0) c Binaries_5 : 1065
573.16/83.68	c (72,0) c Binaries_6 : 1062
573.16/83.68	c (72,0) c Binaries_7 : 1078
573.16/83.68	c (72,0) c Binaries_total : 8811
573.16/83.68	c (72,0) c Binaries_winner : 1062
573.16/83.68	c (72,0) c Glues_0 : 2288
573.16/83.68	c (72,0) c Glues_1 : 2213
573.16/83.68	c (72,0) c Glues_2 : 2186
573.16/83.68	c (72,0) c Glues_3 : 2221
573.16/83.68	c (72,0) c Glues_4 : 2188
573.16/83.68	c (72,0) c Glues_5 : 2199
573.16/83.68	c (72,0) c Glues_6 : 2149
573.16/83.68	c (72,0) c Glues_7 : 2212
573.16/83.68	c (72,0) c Glues_total : 17656
573.16/83.68	c (72,0) c Glues_winner : 2149
573.16/83.68	c (72,0) c RunningTime_0 : 71.077172
573.16/83.68	c (72,0) c RunningTime_1 : 69.951777
573.16/83.68	c (72,0) c RunningTime_2 : 70.712072
573.16/83.68	c (72,0) c RunningTime_3 : 71.525108
573.16/83.68	c (72,0) c RunningTime_4 : 67.748814
573.16/83.68	c (72,0) c RunningTime_5 : 66.389578
573.16/83.68	c (72,0) c RunningTime_6 : 67.132034
573.16/83.68	c (72,0) c RunningTime_7 : 68.780342
573.16/83.68	c (72,0) c RunningTime_total : 553.316898
573.16/83.68	c (72,0) c RunningTime_winner : 67.132034
573.16/83.68	c (72,0) c WaitingTime_0 : 0.000364
573.16/83.68	c (72,0) c WaitingTime_1 : 0.000502
573.16/83.68	c (72,0) c WaitingTime_2 : 0.545604
573.16/83.68	c (72,0) c WaitingTime_3 : 0.412380
573.16/83.68	c (72,0) c WaitingTime_4 : 1.245110
573.16/83.68	c (72,0) c WaitingTime_5 : 2.604348
573.16/83.68	c (72,0) c WaitingTime_6 : 1.861763
573.16/83.68	c (72,0) c WaitingTime_7 : 0.240692
573.16/83.68	c (72,0) c WaitingTime_total : 6.910763
573.16/83.68	c (72,0) c WaitingTime_winner : 1.861763
573.16/83.68	c (72,0) c ExchangingTime_0 : 0.042685
573.16/83.68	c (72,0) c ExchangingTime_1 : 0.044547
573.16/83.68	c (72,0) c ExchangingTime_2 : 0.042847
573.16/83.68	c (72,0) c ExchangingTime_3 : 0.041852
573.16/83.68	c (72,0) c ExchangingTime_4 : 0.040281
573.16/83.68	c (72,0) c ExchangingTime_5 : 0.040778
573.16/83.68	c (72,0) c ExchangingTime_6 : 0.040553
573.16/83.68	c (72,0) c ExchangingTime_7 : 0.041604
573.16/83.68	c (72,0) c ExchangingTime_total : 0.335147
573.16/83.68	c (72,0) c ExchangingTime_winner : 0.040553
573.16/83.68	c (72,0) c PeriodProcTime_0 : 0.004798
573.16/83.68	c (72,0) c PeriodProcTime_1 : 0.003065
573.16/83.68	c (72,0) c PeriodProcTime_2 : 0.003103
573.16/83.68	c (72,0) c PeriodProcTime_3 : 0.003763
573.16/83.68	c (72,0) c PeriodProcTime_4 : 0.002985
573.16/83.68	c (72,0) c PeriodProcTime_5 : 0.003091
573.16/83.68	c (72,0) c PeriodProcTime_6 : 0.003424
573.16/83.68	c (72,0) c PeriodProcTime_7 : 0.003646
573.16/83.68	c (72,0) c PeriodProcTime_total : 0.027876
573.16/83.68	c (72,0) c PeriodProcTime_winner : 0.003424
573.16/83.68	c (72,0) c SolvingTime_0 : 71.125019
573.16/83.68	c (72,0) c SolvingTime_1 : 69.999892
573.16/83.68	c (72,0) c SolvingTime_2 : 71.303627
573.16/83.68	c (72,0) c SolvingTime_3 : 71.983104
573.16/83.68	c (72,0) c SolvingTime_4 : 69.037190
573.16/83.68	c (72,0) c SolvingTime_5 : 69.037795
573.16/83.68	c (72,0) c SolvingTime_6 : 69.037773
573.16/83.68	c (72,0) c SolvingTime_7 : 69.066284
573.16/83.68	c (72,0) c SolvingTime_total : 560.590684
573.16/83.68	c (72,0) c SolvingTime_winner : 69.037773
573.16/83.68	c (72,0) c PropagationTime_0 : 62.488243
573.16/83.68	c (72,0) c PropagationTime_1 : 61.207403
573.16/83.68	c (72,0) c PropagationTime_2 : 61.466976
573.16/83.68	c (72,0) c PropagationTime_3 : 62.089078
573.16/83.68	c (72,0) c PropagationTime_4 : 59.970185
573.16/83.68	c (72,0) c PropagationTime_5 : 60.186959
573.16/83.68	c (72,0) c PropagationTime_6 : 60.143926
573.16/83.68	c (72,0) c PropagationTime_7 : 60.186510
573.16/83.68	c (72,0) c PropagationTime_total : 487.739280
573.16/83.68	c (72,0) c PropagationTime_winner : 60.143926
573.16/83.68	c (72,0) c AnalysisTime_0 : 5.680947
573.16/83.68	c (72,0) c AnalysisTime_1 : 5.812824
573.16/83.68	c (72,0) c AnalysisTime_2 : 6.683914
573.16/83.68	c (72,0) c AnalysisTime_3 : 6.714715
573.16/83.68	c (72,0) c AnalysisTime_4 : 6.094822
573.16/83.68	c (72,0) c AnalysisTime_5 : 5.914536
573.16/83.68	c (72,0) c AnalysisTime_6 : 5.913372
573.16/83.68	c (72,0) c AnalysisTime_7 : 5.884731
573.16/83.68	c (72,0) c AnalysisTime_total : 48.699861
573.16/83.68	c (72,0) c AnalysisTime_winner : 5.913372
573.16/83.68	c (72,0) c ReductionTime_0 : 0.193512
573.16/83.68	c (72,0) c ReductionTime_1 : 0.208333
573.16/83.68	c (72,0) c ReductionTime_2 : 0.204632
573.16/83.68	c (72,0) c ReductionTime_3 : 0.201599
573.16/83.68	c (72,0) c ReductionTime_4 : 0.195399
573.16/83.68	c (72,0) c ReductionTime_5 : 0.196419
573.16/83.68	c (72,0) c ReductionTime_6 : 0.209533
573.16/83.68	c (72,0) c ReductionTime_7 : 0.193779
573.16/83.68	c (72,0) c ReductionTime_total : 1.603206
573.16/83.68	c (72,0) c ReductionTime_winner : 0.209533
573.16/83.68	c (72,0) c SimplifyTime_0 : 0.413923
573.16/83.68	c (72,0) c SimplifyTime_1 : 0.436677
573.16/83.68	c (72,0) c SimplifyTime_2 : 0.449037
573.16/83.68	c (72,0) c SimplifyTime_3 : 0.458206
573.16/83.68	c (72,0) c SimplifyTime_4 : 0.411788
573.16/83.68	c (72,0) c SimplifyTime_5 : 0.434661
573.16/83.68	c (72,0) c SimplifyTime_6 : 0.439798
573.16/83.68	c (72,0) c SimplifyTime_7 : 0.405277
573.16/83.68	c (72,0) c SimplifyTime_total : 3.449368
573.16/83.68	c (72,0) c SimplifyTime_winner : 0.439798
573.16/83.68	c (72,0) c UsedRateTime_0 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_1 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_2 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_3 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_4 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_5 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_6 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_7 : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_total : 0.000000
573.16/83.68	c (72,0) c UsedRateTime_winner : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_0 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_1 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_2 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_3 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_4 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_5 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_6 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_7 : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_total : 0.000000
573.16/83.68	c (72,0) c OverlapRateTime_winner : 0.000000
573.16/83.68	c (72,0) c
573.16/83.68	c (72,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
573.16/83.68	c (72,0) c
573.16/83.68	c (72,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.68	c (72,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
573.16/83.68	c (72,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.68	c (72,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
573.16/83.68	c (72,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
573.16/83.68	c (72,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
573.16/83.68	c (72,0) c | Initial random_seed   |  740621723 |  256217206 | 1597070399 | 1571393752 |   67498940 | 1575871828 |  415187623 | 1157811858 |
573.16/83.68	c (72,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
573.16/83.68	c (72,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
573.16/83.68	c (72,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
573.16/83.68	c (72,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
573.16/83.68	c (72,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
573.16/83.68	c (72,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
573.16/83.68	c (72,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
573.16/83.68	c (72,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |
573.16/83.68	c (72,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
573.16/83.68	c (72,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
573.16/83.68	c (72,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
573.16/83.68	c (72,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
573.16/83.68	c (72,0) 
573.16/83.69	c (72,0) s SATISFIABLE
20.99/83.75	c (72,0) SatSolver.solve End
20.99/83.75	c (72,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
20.99/83.75	c (72,0) Show results Begin
573.85/83.94	c (73,0) x[0][0] = 23
573.85/83.94	c (73,0) x[0][1] = 8
573.85/83.94	c (73,0) x[0][2] = 9
573.85/83.94	c (73,0) x[0][3] = 15
573.85/83.94	c (73,0) x[0][4] = 16
573.85/83.94	c (73,0) x[0][5] = 0
573.85/83.94	c (73,0) x[0][6] = 18
573.85/83.94	c (73,0) x[0][7] = 10
573.85/83.94	c (73,0) x[0][8] = 4
573.85/83.94	c (73,0) x[0][9] = 13
573.85/83.94	c (73,0) x[0][10] = 5
573.85/83.94	c (73,0) x[0][11] = 27
573.85/83.94	c (73,0) x[0][12] = 11
573.85/83.94	c (73,0) x[0][13] = 3
573.85/83.94	c (73,0) x[0][14] = 24
573.85/83.94	c (73,0) x[0][15] = 20
573.85/83.94	c (73,0) x[0][16] = 19
573.85/83.94	c (73,0) x[0][17] = 28
573.85/83.94	c (73,0) x[0][18] = 25
573.85/83.94	c (73,0) x[0][19] = 7
573.85/83.94	c (73,0) x[0][20] = 1
573.85/83.94	c (73,0) x[0][21] = 6
573.85/83.94	c (73,0) x[0][22] = 12
573.85/83.94	c (73,0) x[0][23] = 17
573.85/83.94	c (73,0) x[0][24] = 22
573.85/83.94	c (73,0) x[0][25] = 26
573.85/83.94	c (73,0) x[0][26] = 2
573.85/83.94	c (73,0) x[0][27] = 21
573.85/83.94	c (73,0) x[0][28] = 14
573.85/83.94	c (73,0) x[0][29] = 29
573.85/83.94	c (73,0) x[1][0] = 0
573.85/83.94	c (73,0) x[1][1] = 21
573.85/83.94	c (73,0) x[1][2] = 28
573.85/83.94	c (73,0) x[1][3] = 20
573.85/83.94	c (73,0) x[1][4] = 14
573.85/83.94	c (73,0) x[1][5] = 6
573.85/83.94	c (73,0) x[1][6] = 1
573.85/83.94	c (73,0) x[1][7] = 12
573.85/83.94	c (73,0) x[1][8] = 16
573.85/83.94	c (73,0) x[1][9] = 22
573.85/83.94	c (73,0) x[1][10] = 24
573.85/83.94	c (73,0) x[1][11] = 13
573.85/83.94	c (73,0) x[1][12] = 5
573.85/83.94	c (73,0) x[1][13] = 18
573.85/83.94	c (73,0) x[1][14] = 25
573.85/83.94	c (73,0) x[1][15] = 4
573.85/83.94	c (73,0) x[1][16] = 7
573.85/83.94	c (73,0) x[1][17] = 3
573.85/83.94	c (73,0) x[1][18] = 29
573.85/83.94	c (73,0) x[1][19] = 17
573.85/83.94	c (73,0) x[1][20] = 26
573.85/83.94	c (73,0) x[1][21] = 23
573.85/83.94	c (73,0) x[1][22] = 8
573.85/83.94	c (73,0) x[1][23] = 11
573.85/83.94	c (73,0) x[1][24] = 9
573.85/83.94	c (73,0) x[1][25] = 10
573.85/83.95	c (73,0) x[1][26] = 27
573.85/83.95	c (73,0) x[1][27] = 19
573.85/83.95	c (73,0) x[1][28] = 15
573.85/83.95	c (73,0) x[1][29] = 2
573.85/83.95	c (73,0) x[2][0] = 19
573.85/83.95	c (73,0) x[2][1] = 13
573.85/83.95	c (73,0) x[2][2] = 6
573.85/83.95	c (73,0) x[2][3] = 22
573.85/83.95	c (73,0) x[2][4] = 17
573.85/83.95	c (73,0) x[2][5] = 23
573.85/83.95	c (73,0) x[2][6] = 10
573.85/83.95	c (73,0) x[2][7] = 7
573.85/83.95	c (73,0) x[2][8] = 20
573.85/83.95	c (73,0) x[2][9] = 3
573.85/83.95	c (73,0) x[2][10] = 14
573.85/83.95	c (73,0) x[2][11] = 16
573.85/83.95	c (73,0) x[2][12] = 21
573.85/83.95	c (73,0) x[2][13] = 15
573.85/83.95	c (73,0) x[2][14] = 28
573.85/83.95	c (73,0) x[2][15] = 24
573.85/83.95	c (73,0) x[2][16] = 29
573.85/83.95	c (73,0) x[2][17] = 8
573.85/83.95	c (73,0) x[2][18] = 12
573.85/83.95	c (73,0) x[2][19] = 9
573.85/83.95	c (73,0) x[2][20] = 18
573.85/83.95	c (73,0) x[2][21] = 5
573.85/83.95	c (73,0) x[2][22] = 2
573.85/83.95	c (73,0) x[2][23] = 26
573.85/83.95	c (73,0) x[2][24] = 25
573.85/83.95	c (73,0) x[2][25] = 27
573.85/83.95	c (73,0) x[2][26] = 4
573.85/83.95	c (73,0) x[2][27] = 1
573.85/83.95	c (73,0) x[2][28] = 0
573.85/83.95	c (73,0) x[2][29] = 11
573.85/83.95	c (73,0) x[3][0] = 6
573.85/83.95	c (73,0) x[3][1] = 19
573.85/83.95	c (73,0) x[3][2] = 7
573.85/83.95	c (73,0) x[3][3] = 26
573.85/83.95	c (73,0) x[3][4] = 3
573.85/83.95	c (73,0) x[3][5] = 24
573.85/83.95	c (73,0) x[3][6] = 5
573.85/83.95	c (73,0) x[3][7] = 23
573.85/83.95	c (73,0) x[3][8] = 1
573.85/83.95	c (73,0) x[3][9] = 16
573.85/83.95	c (73,0) x[3][10] = 9
573.85/83.95	c (73,0) x[3][11] = 17
573.85/83.95	c (73,0) x[3][12] = 0
573.85/83.95	c (73,0) x[3][13] = 2
573.85/83.95	c (73,0) x[3][14] = 18
573.85/83.95	c (73,0) x[3][15] = 21
573.85/83.95	c (73,0) x[3][16] = 25
573.85/83.95	c (73,0) x[3][17] = 12
573.85/83.95	c (73,0) x[3][18] = 4
573.85/83.95	c (73,0) x[3][19] = 29
573.85/83.95	c (73,0) x[3][20] = 20
573.85/83.95	c (73,0) x[3][21] = 22
573.85/83.95	c (73,0) x[3][22] = 13
573.85/83.95	c (73,0) x[3][23] = 27
573.85/83.95	c (73,0) x[3][24] = 8
573.85/83.95	c (73,0) x[3][25] = 14
573.85/83.95	c (73,0) x[3][26] = 11
573.85/83.95	c (73,0) x[3][27] = 10
573.85/83.95	c (73,0) x[3][28] = 28
573.85/83.95	c (73,0) x[3][29] = 15
573.85/83.95	c (73,0) x[4][0] = 24
573.85/83.95	c (73,0) x[4][1] = 28
573.85/83.95	c (73,0) x[4][2] = 3
573.85/83.95	c (73,0) x[4][3] = 16
573.85/83.95	c (73,0) x[4][4] = 29
573.85/83.95	c (73,0) x[4][5] = 13
573.85/83.95	c (73,0) x[4][6] = 26
573.85/83.95	c (73,0) x[4][7] = 19
573.85/83.95	c (73,0) x[4][8] = 0
573.85/83.95	c (73,0) x[4][9] = 5
573.85/83.95	c (73,0) x[4][10] = 17
573.85/83.95	c (73,0) x[4][11] = 20
573.85/83.95	c (73,0) x[4][12] = 12
573.85/83.95	c (73,0) x[4][13] = 10
573.85/83.95	c (73,0) x[4][14] = 27
573.85/83.95	c (73,0) x[4][15] = 9
573.85/83.95	c (73,0) x[4][16] = 11
573.85/83.95	c (73,0) x[4][17] = 22
573.85/83.95	c (73,0) x[4][18] = 7
573.85/83.95	c (73,0) x[4][19] = 8
573.85/83.95	c (73,0) x[4][20] = 14
573.85/83.95	c (73,0) x[4][21] = 21
573.85/83.95	c (73,0) x[4][22] = 23
573.85/83.95	c (73,0) x[4][23] = 25
573.85/83.95	c (73,0) x[4][24] = 18
573.85/83.95	c (73,0) x[4][25] = 15
573.85/83.95	c (73,0) x[4][26] = 6
573.85/83.95	c (73,0) x[4][27] = 2
573.85/83.95	c (73,0) x[4][28] = 4
573.85/83.95	c (73,0) x[4][29] = 1
573.85/83.95	c (73,0) x[5][0] = 10
573.85/83.95	c (73,0) x[5][1] = 23
573.85/83.95	c (73,0) x[5][2] = 1
573.85/83.95	c (73,0) x[5][3] = 7
573.85/83.95	c (73,0) x[5][4] = 12
573.85/83.95	c (73,0) x[5][5] = 28
573.85/83.95	c (73,0) x[5][6] = 8
573.85/83.95	c (73,0) x[5][7] = 29
573.85/83.95	c (73,0) x[5][8] = 11
573.85/83.95	c (73,0) x[5][9] = 15
573.85/83.95	c (73,0) x[5][10] = 22
573.85/83.95	c (73,0) x[5][11] = 21
573.85/83.95	c (73,0) x[5][12] = 18
573.85/83.95	c (73,0) x[5][13] = 26
573.85/83.95	c (73,0) x[5][14] = 4
573.85/83.95	c (73,0) x[5][15] = 6
573.85/83.95	c (73,0) x[5][16] = 3
573.85/83.95	c (73,0) x[5][17] = 9
573.85/83.95	c (73,0) x[5][18] = 24
573.85/83.95	c (73,0) x[5][19] = 19
573.85/83.95	c (73,0) x[5][20] = 25
573.85/83.95	c (73,0) x[5][21] = 17
573.85/83.95	c (73,0) x[5][22] = 27
573.85/83.95	c (73,0) x[5][23] = 20
573.85/83.95	c (73,0) x[5][24] = 5
573.85/83.95	c (73,0) x[5][25] = 2
573.85/83.95	c (73,0) x[5][26] = 0
573.85/83.95	c (73,0) x[5][27] = 13
573.85/83.95	c (73,0) x[5][28] = 16
573.85/83.95	c (73,0) x[5][29] = 14
573.85/83.95	c (73,0) x[6][0] = 13
573.85/83.95	c (73,0) x[6][1] = 6
573.85/83.95	c (73,0) x[6][2] = 21
573.85/83.95	c (73,0) x[6][3] = 11
573.85/83.95	c (73,0) x[6][4] = 5
573.85/83.95	c (73,0) x[6][5] = 22
573.85/83.95	c (73,0) x[6][6] = 25
573.85/83.95	c (73,0) x[6][7] = 1
573.85/83.95	c (73,0) x[6][8] = 3
573.85/83.95	c (73,0) x[6][9] = 4
573.85/83.95	c (73,0) x[6][10] = 27
573.85/83.95	c (73,0) x[6][11] = 0
573.85/83.95	c (73,0) x[6][12] = 14
573.85/83.95	c (73,0) x[6][13] = 7
573.85/83.95	c (73,0) x[6][14] = 26
573.85/83.95	c (73,0) x[6][15] = 12
573.85/83.95	c (73,0) x[6][16] = 23
573.85/83.95	c (73,0) x[6][17] = 15
573.85/83.95	c (73,0) x[6][18] = 9
573.85/83.95	c (73,0) x[6][19] = 2
573.85/83.95	c (73,0) x[6][20] = 8
573.85/83.95	c (73,0) x[6][21] = 18
573.85/83.95	c (73,0) x[6][22] = 16
573.85/83.95	c (73,0) x[6][23] = 19
573.85/83.95	c (73,0) x[6][24] = 10
573.85/83.95	c (73,0) x[6][25] = 28
573.85/83.95	c (73,0) x[6][26] = 29
573.85/83.95	c (73,0) x[6][27] = 17
573.85/83.95	c (73,0) x[6][28] = 20
573.85/83.95	c (73,0) x[6][29] = 24
573.85/83.95	c (73,0) x[7][0] = 29
573.85/83.95	c (73,0) x[7][1] = 22
573.85/83.95	c (73,0) x[7][2] = 25
573.85/83.95	c (73,0) x[7][3] = 28
573.85/83.95	c (73,0) x[7][4] = 0
573.85/83.95	c (73,0) x[7][5] = 19
573.85/83.95	c (73,0) x[7][6] = 4
573.85/83.95	c (73,0) x[7][7] = 26
573.85/83.95	c (73,0) x[7][8] = 21
573.85/83.95	c (73,0) x[7][9] = 27
573.85/83.95	c (73,0) x[7][10] = 16
573.85/83.95	c (73,0) x[7][11] = 7
573.85/83.95	c (73,0) x[7][12] = 24
573.85/83.95	c (73,0) x[7][13] = 14
573.85/83.95	c (73,0) x[7][14] = 5
573.85/83.95	c (73,0) x[7][15] = 11
573.85/83.95	c (73,0) x[7][16] = 8
573.85/83.95	c (73,0) x[7][17] = 1
573.85/83.95	c (73,0) x[7][18] = 2
573.85/83.95	c (73,0) x[7][19] = 10
573.85/83.95	c (73,0) x[7][20] = 13
573.85/83.95	c (73,0) x[7][21] = 15
573.85/83.95	c (73,0) x[7][22] = 9
573.85/83.95	c (73,0) x[7][23] = 23
573.85/83.95	c (73,0) x[7][24] = 17
573.85/83.95	c (73,0) x[7][25] = 12
573.85/83.95	c (73,0) x[7][26] = 3
573.85/83.95	c (73,0) x[7][27] = 6
573.85/83.95	c (73,0) x[7][28] = 18
573.85/83.95	c (73,0) x[7][29] = 20
573.85/83.95	c (73,0) x[8][0] = 17
573.85/83.95	c (73,0) x[8][1] = 5
573.85/83.95	c (73,0) x[8][2] = 2
573.85/83.95	c (73,0) x[8][3] = 8
573.85/83.95	c (73,0) x[8][4] = 26
573.85/83.95	c (73,0) x[8][5] = 21
573.85/83.95	c (73,0) x[8][6] = 24
573.85/83.95	c (73,0) x[8][7] = 9
573.85/83.95	c (73,0) x[8][8] = 19
573.85/83.95	c (73,0) x[8][9] = 20
573.85/83.95	c (73,0) x[8][10] = 13
573.85/83.95	c (73,0) x[8][11] = 18
573.85/83.95	c (73,0) x[8][12] = 27
573.85/83.95	c (73,0) x[8][13] = 11
573.85/83.95	c (73,0) x[8][14] = 15
573.85/83.95	c (73,0) x[8][15] = 25
573.85/83.95	c (73,0) x[8][16] = 22
573.85/83.95	c (73,0) x[8][17] = 16
573.85/83.95	c (73,0) x[8][18] = 10
573.85/83.95	c (73,0) x[8][19] = 0
573.85/83.95	c (73,0) x[8][20] = 7
573.85/83.95	c (73,0) x[8][21] = 3
573.85/83.95	c (73,0) x[8][22] = 14
573.85/83.95	c (73,0) x[8][23] = 12
573.85/83.95	c (73,0) x[8][24] = 23
573.85/83.95	c (73,0) x[8][25] = 4
573.85/83.95	c (73,0) x[8][26] = 1
573.85/83.95	c (73,0) x[8][27] = 28
573.85/83.95	c (73,0) x[8][28] = 29
573.85/83.95	c (73,0) x[8][29] = 6
573.85/83.95	c (73,0) x[9][0] = 12
573.85/83.95	c (73,0) x[9][1] = 11
573.85/83.95	c (73,0) x[9][2] = 20
573.85/83.95	c (73,0) x[9][3] = 27
573.85/83.95	c (73,0) x[9][4] = 24
573.85/83.95	c (73,0) x[9][5] = 10
573.85/83.95	c (73,0) x[9][6] = 17
573.85/83.95	c (73,0) x[9][7] = 8
573.85/83.95	c (73,0) x[9][8] = 22
573.85/83.95	c (73,0) x[9][9] = 7
573.85/83.95	c (73,0) x[9][10] = 6
573.85/83.95	c (73,0) x[9][11] = 5
573.85/83.95	c (73,0) x[9][12] = 29
573.85/83.95	c (73,0) x[9][13] = 21
573.85/83.95	c (73,0) x[9][14] = 3
573.85/83.95	c (73,0) x[9][15] = 28
573.85/83.95	c (73,0) x[9][16] = 1
573.85/83.95	c (73,0) x[9][17] = 18
573.85/83.95	c (73,0) x[9][18] = 13
573.85/83.95	c (73,0) x[9][19] = 14
573.85/83.95	c (73,0) x[9][20] = 4
573.85/83.95	c (73,0) x[9][21] = 16
573.85/83.95	c (73,0) x[9][22] = 19
573.85/83.95	c (73,0) x[9][23] = 15
573.85/83.95	c (73,0) x[9][24] = 2
573.85/83.95	c (73,0) x[9][25] = 0
573.85/83.95	c (73,0) x[9][26] = 23
573.85/83.95	c (73,0) x[9][27] = 9
573.85/83.95	c (73,0) x[9][28] = 26
573.85/83.95	c (73,0) x[9][29] = 25
573.85/83.95	c (73,0) x[10][0] = 2
573.85/83.95	c (73,0) x[10][1] = 16
573.85/83.95	c (73,0) x[10][2] = 27
573.85/83.95	c (73,0) x[10][3] = 23
573.85/83.95	c (73,0) x[10][4] = 15
573.85/83.95	c (73,0) x[10][5] = 4
573.85/83.95	c (73,0) x[10][6] = 9
573.85/83.95	c (73,0) x[10][7] = 21
573.85/83.95	c (73,0) x[10][8] = 12
573.85/83.95	c (73,0) x[10][9] = 14
573.85/83.95	c (73,0) x[10][10] = 29
573.85/83.95	c (73,0) x[10][11] = 8
573.85/83.95	c (73,0) x[10][12] = 7
573.85/83.95	c (73,0) x[10][13] = 5
573.85/83.95	c (73,0) x[10][14] = 10
573.85/83.95	c (73,0) x[10][15] = 18
573.85/83.95	c (73,0) x[10][16] = 6
573.85/83.95	c (73,0) x[10][17] = 25
573.85/83.95	c (73,0) x[10][18] = 1
573.85/83.95	c (73,0) x[10][19] = 26
573.85/83.95	c (73,0) x[10][20] = 0
573.85/83.95	c (73,0) x[10][21] = 13
573.85/83.95	c (73,0) x[10][22] = 3
573.85/83.95	c (73,0) x[10][23] = 24
573.85/83.95	c (73,0) x[10][24] = 28
573.85/83.95	c (73,0) x[10][25] = 11
573.85/83.95	c (73,0) x[10][26] = 20
573.85/83.95	c (73,0) x[10][27] = 22
573.85/83.95	c (73,0) x[10][28] = 17
573.85/83.95	c (73,0) x[10][29] = 19
573.85/83.95	c (73,0) x[11][0] = 9
573.85/83.95	c (73,0) x[11][1] = 18
573.85/83.95	c (73,0) x[11][2] = 4
573.85/83.95	c (73,0) x[11][3] = 21
573.85/83.95	c (73,0) x[11][4] = 13
573.85/83.95	c (73,0) x[11][5] = 20
573.85/83.95	c (73,0) x[11][6] = 19
573.85/83.95	c (73,0) x[11][7] = 0
573.85/83.95	c (73,0) x[11][8] = 7
573.85/83.95	c (73,0) x[11][9] = 17
573.85/83.95	c (73,0) x[11][10] = 3
573.85/83.95	c (73,0) x[11][11] = 6
573.85/83.95	c (73,0) x[11][12] = 15
573.85/83.95	c (73,0) x[11][13] = 29
573.85/83.95	c (73,0) x[11][14] = 8
573.85/83.95	c (73,0) x[11][15] = 2
573.85/83.95	c (73,0) x[11][16] = 26
573.85/83.95	c (73,0) x[11][17] = 5
573.85/83.95	c (73,0) x[11][18] = 23
573.85/83.95	c (73,0) x[11][19] = 22
573.85/83.95	c (73,0) x[11][20] = 28
573.85/83.95	c (73,0) x[11][21] = 1
573.85/83.95	c (73,0) x[11][22] = 10
573.85/83.95	c (73,0) x[11][23] = 14
573.85/83.95	c (73,0) x[11][24] = 11
573.85/83.95	c (73,0) x[11][25] = 25
573.85/83.95	c (73,0) x[11][26] = 24
573.85/83.95	c (73,0) x[11][27] = 27
573.85/83.95	c (73,0) x[11][28] = 12
573.85/83.95	c (73,0) x[11][29] = 16
573.85/83.95	c (73,0) x[12][0] = 25
573.85/83.95	c (73,0) x[12][1] = 24
573.85/83.95	c (73,0) x[12][2] = 0
573.85/83.95	c (73,0) x[12][3] = 17
573.85/83.95	c (73,0) x[12][4] = 22
573.85/83.95	c (73,0) x[12][5] = 5
573.85/83.95	c (73,0) x[12][6] = 2
573.85/83.95	c (73,0) x[12][7] = 14
573.85/83.95	c (73,0) x[12][8] = 29
573.85/83.95	c (73,0) x[12][9] = 23
573.85/83.95	c (73,0) x[12][10] = 18
573.85/83.95	c (73,0) x[12][11] = 28
573.85/83.95	c (73,0) x[12][12] = 9
573.85/83.95	c (73,0) x[12][13] = 12
573.85/83.95	c (73,0) x[12][14] = 13
573.85/83.95	c (73,0) x[12][15] = 1
573.85/83.95	c (73,0) x[12][16] = 10
573.85/83.95	c (73,0) x[12][17] = 26
573.85/83.95	c (73,0) x[12][18] = 15
573.85/83.95	c (73,0) x[12][19] = 16
573.85/83.95	c (73,0) x[12][20] = 27
573.85/83.95	c (73,0) x[12][21] = 11
573.85/83.95	c (73,0) x[12][22] = 4
573.85/83.95	c (73,0) x[12][23] = 6
573.85/83.95	c (73,0) x[12][24] = 20
573.85/83.95	c (73,0) x[12][25] = 21
573.85/83.95	c (73,0) x[12][26] = 8
573.85/83.95	c (73,0) x[12][27] = 7
573.85/83.95	c (73,0) x[12][28] = 19
573.85/83.95	c (73,0) x[12][29] = 3
573.85/83.95	c (73,0) x[13][0] = 26
573.85/83.95	c (73,0) x[13][1] = 25
573.85/83.95	c (73,0) x[13][2] = 14
573.85/83.95	c (73,0) x[13][3] = 29
573.85/83.95	c (73,0) x[13][4] = 4
573.85/83.95	c (73,0) x[13][5] = 1
573.85/83.95	c (73,0) x[13][6] = 23
573.85/83.95	c (73,0) x[13][7] = 15
573.85/83.95	c (73,0) x[13][8] = 17
573.85/83.95	c (73,0) x[13][9] = 2
573.85/83.95	c (73,0) x[13][10] = 19
573.85/83.95	c (73,0) x[13][11] = 24
573.85/83.95	c (73,0) x[13][12] = 3
573.85/83.95	c (73,0) x[13][13] = 16
573.85/83.95	c (73,0) x[13][14] = 22
573.85/83.95	c (73,0) x[13][15] = 7
573.85/83.95	c (73,0) x[13][16] = 5
573.85/83.95	c (73,0) x[13][17] = 11
573.85/83.95	c (73,0) x[13][18] = 28
573.85/83.95	c (73,0) x[13][19] = 20
573.85/83.95	c (73,0) x[13][20] = 21
573.85/83.95	c (73,0) x[13][21] = 12
573.85/83.95	c (73,0) x[13][22] = 18
573.85/83.95	c (73,0) x[13][23] = 9
573.85/83.95	c (73,0) x[13][24] = 0
573.85/83.95	c (73,0) x[13][25] = 6
573.85/83.95	c (73,0) x[13][26] = 10
573.85/83.95	c (73,0) x[13][27] = 8
573.85/83.95	c (73,0) x[13][28] = 13
573.85/83.95	c (73,0) x[13][29] = 27
573.85/83.95	c (73,0) x[14][0] = 1
573.85/83.95	c (73,0) x[14][1] = 14
573.85/83.95	c (73,0) x[14][2] = 23
573.85/83.95	c (73,0) x[14][3] = 2
573.85/83.95	c (73,0) x[14][4] = 7
573.85/83.95	c (73,0) x[14][5] = 3
573.85/83.95	c (73,0) x[14][6] = 13
573.85/83.95	c (73,0) x[14][7] = 6
573.85/83.95	c (73,0) x[14][8] = 27
573.85/83.95	c (73,0) x[14][9] = 19
573.85/83.95	c (73,0) x[14][10] = 15
573.85/83.95	c (73,0) x[14][11] = 25
573.85/83.95	c (73,0) x[14][12] = 4
573.85/83.95	c (73,0) x[14][13] = 28
573.85/83.95	c (73,0) x[14][14] = 29
573.85/83.95	c (73,0) x[14][15] = 10
573.85/83.95	c (73,0) x[14][16] = 12
573.85/83.95	c (73,0) x[14][17] = 20
573.85/83.95	c (73,0) x[14][18] = 22
573.85/83.95	c (73,0) x[14][19] = 5
573.85/83.95	c (73,0) x[14][20] = 16
573.85/83.95	c (73,0) x[14][21] = 9
573.85/83.95	c (73,0) x[14][22] = 21
573.85/83.95	c (73,0) x[14][23] = 0
573.85/83.95	c (73,0) x[14][24] = 24
573.85/83.95	c (73,0) x[14][25] = 17
573.85/83.95	c (73,0) x[14][26] = 18
573.85/83.95	c (73,0) x[14][27] = 26
573.85/83.95	c (73,0) x[14][28] = 11
573.85/83.95	c (73,0) x[14][29] = 8
573.85/83.95	c (73,0) x[15][0] = 8
573.85/83.95	c (73,0) x[15][1] = 3
573.85/83.95	c (73,0) x[15][2] = 11
573.85/83.95	c (73,0) x[15][3] = 10
573.85/83.95	c (73,0) x[15][4] = 19
573.85/83.95	c (73,0) x[15][5] = 29
573.85/83.95	c (73,0) x[15][6] = 20
573.85/83.95	c (73,0) x[15][7] = 18
573.85/83.95	c (73,0) x[15][8] = 13
573.85/83.95	c (73,0) x[15][9] = 24
573.85/83.95	c (73,0) x[15][10] = 28
573.85/83.95	c (73,0) x[15][11] = 22
573.85/83.95	c (73,0) x[15][12] = 6
573.85/83.95	c (73,0) x[15][13] = 1
573.85/83.95	c (73,0) x[15][14] = 12
573.85/83.95	c (73,0) x[15][15] = 17
573.85/83.95	c (73,0) x[15][16] = 14
573.85/83.95	c (73,0) x[15][17] = 4
573.85/83.95	c (73,0) x[15][18] = 27
573.85/83.95	c (73,0) x[15][19] = 23
573.85/83.95	c (73,0) x[15][20] = 9
573.85/83.95	c (73,0) x[15][21] = 26
573.85/83.95	c (73,0) x[15][22] = 25
573.85/83.95	c (73,0) x[15][23] = 2
573.85/83.95	c (73,0) x[15][24] = 15
573.85/83.95	c (73,0) x[15][25] = 7
573.85/83.95	c (73,0) x[15][26] = 16
573.85/83.95	c (73,0) x[15][27] = 0
573.85/83.95	c (73,0) x[15][28] = 5
573.85/83.95	c (73,0) x[15][29] = 21
573.85/83.95	c (73,0) x[16][0] = 21
573.85/83.95	c (73,0) x[16][1] = 4
573.85/83.95	c (73,0) x[16][2] = 18
573.85/83.95	c (73,0) x[16][3] = 6
573.85/83.95	c (73,0) x[16][4] = 23
573.85/83.95	c (73,0) x[16][5] = 16
573.85/83.95	c (73,0) x[16][6] = 27
573.85/83.95	c (73,0) x[16][7] = 28
573.85/83.95	c (73,0) x[16][8] = 14
573.85/83.95	c (73,0) x[16][9] = 12
573.85/83.95	c (73,0) x[16][10] = 2
573.85/83.95	c (73,0) x[16][11] = 10
573.85/83.95	c (73,0) x[16][12] = 19
573.85/83.95	c (73,0) x[16][13] = 0
573.85/83.95	c (73,0) x[16][14] = 1
573.85/83.95	c (73,0) x[16][15] = 8
573.85/83.95	c (73,0) x[16][16] = 9
573.85/83.95	c (73,0) x[16][17] = 29
573.85/83.95	c (73,0) x[16][18] = 17
573.85/83.95	c (73,0) x[16][19] = 24
573.85/83.95	c (73,0) x[16][20] = 11
573.85/83.95	c (73,0) x[16][21] = 20
573.85/83.95	c (73,0) x[16][22] = 22
573.85/83.95	c (73,0) x[16][23] = 5
573.85/83.95	c (73,0) x[16][24] = 13
573.85/83.95	c (73,0) x[16][25] = 3
573.85/83.95	c (73,0) x[16][26] = 25
573.85/83.95	c (73,0) x[16][27] = 15
573.85/83.95	c (73,0) x[16][28] = 7
573.85/83.95	c (73,0) x[16][29] = 26
573.85/83.95	c (73,0) x[17][0] = 5
573.85/83.95	c (73,0) x[17][1] = 1
573.85/83.95	c (73,0) x[17][2] = 19
573.85/83.95	c (73,0) x[17][3] = 9
573.85/83.95	c (73,0) x[17][4] = 25
573.85/83.95	c (73,0) x[17][5] = 7
573.85/83.95	c (73,0) x[17][6] = 16
573.85/83.95	c (73,0) x[17][7] = 22
573.85/83.95	c (73,0) x[17][8] = 26
573.85/83.95	c (73,0) x[17][9] = 28
573.85/83.95	c (73,0) x[17][10] = 12
573.85/83.95	c (73,0) x[17][11] = 23
573.85/83.95	c (73,0) x[17][12] = 8
573.85/83.95	c (73,0) x[17][13] = 17
573.85/83.95	c (73,0) x[17][14] = 20
573.85/83.95	c (73,0) x[17][15] = 27
573.85/83.95	c (73,0) x[17][16] = 15
573.85/83.95	c (73,0) x[17][17] = 2
573.85/83.95	c (73,0) x[17][18] = 0
573.85/83.95	c (73,0) x[17][19] = 11
573.85/83.95	c (73,0) x[17][20] = 29
573.85/83.95	c (73,0) x[17][21] = 14
573.85/83.95	c (73,0) x[17][22] = 24
573.85/83.95	c (73,0) x[17][23] = 10
573.85/83.95	c (73,0) x[17][24] = 6
573.85/83.95	c (73,0) x[17][25] = 13
573.85/83.95	c (73,0) x[17][26] = 21
573.85/83.95	c (73,0) x[17][27] = 18
573.85/83.95	c (73,0) x[17][28] = 3
573.85/83.95	c (73,0) x[17][29] = 4
573.85/83.95	c (73,0) x[18][0] = 20
573.85/83.95	c (73,0) x[18][1] = 10
573.85/83.95	c (73,0) x[18][2] = 13
573.85/83.95	c (73,0) x[18][3] = 25
573.85/83.95	c (73,0) x[18][4] = 8
573.85/83.95	c (73,0) x[18][5] = 12
573.85/83.95	c (73,0) x[18][6] = 7
573.85/83.95	c (73,0) x[18][7] = 5
573.85/83.95	c (73,0) x[18][8] = 18
573.85/83.95	c (73,0) x[18][9] = 21
573.85/83.95	c (73,0) x[18][10] = 0
573.85/83.95	c (73,0) x[18][11] = 4
573.85/83.95	c (73,0) x[18][12] = 2
573.85/83.95	c (73,0) x[18][13] = 27
573.85/83.95	c (73,0) x[18][14] = 6
573.85/83.95	c (73,0) x[18][15] = 26
573.85/83.95	c (73,0) x[18][16] = 16
573.85/83.95	c (73,0) x[18][17] = 19
573.85/83.95	c (73,0) x[18][18] = 3
573.85/83.95	c (73,0) x[18][19] = 15
573.85/83.95	c (73,0) x[18][20] = 24
573.85/83.95	c (73,0) x[18][21] = 29
573.85/83.95	c (73,0) x[18][22] = 11
573.85/83.95	c (73,0) x[18][23] = 28
573.85/83.95	c (73,0) x[18][24] = 14
573.85/83.95	c (73,0) x[18][25] = 9
573.85/83.95	c (73,0) x[18][26] = 22
573.85/83.95	c (73,0) x[18][27] = 23
573.85/83.95	c (73,0) x[18][28] = 1
573.85/83.95	c (73,0) x[18][29] = 17
573.85/83.95	c (73,0) x[19][0] = 7
573.85/83.95	c (73,0) x[19][1] = 9
573.85/83.95	c (73,0) x[19][2] = 12
573.85/83.95	c (73,0) x[19][3] = 18
573.85/83.95	c (73,0) x[19][4] = 11
573.85/83.95	c (73,0) x[19][5] = 14
573.85/83.95	c (73,0) x[19][6] = 22
573.85/83.95	c (73,0) x[19][7] = 13
573.85/83.95	c (73,0) x[19][8] = 5
573.85/83.95	c (73,0) x[19][9] = 0
573.85/83.95	c (73,0) x[19][10] = 1
573.85/83.95	c (73,0) x[19][11] = 3
573.85/83.95	c (73,0) x[19][12] = 20
573.85/83.95	c (73,0) x[19][13] = 25
573.85/83.95	c (73,0) x[19][14] = 21
573.85/83.95	c (73,0) x[19][15] = 23
573.85/83.95	c (73,0) x[19][16] = 17
573.85/83.95	c (73,0) x[19][17] = 27
573.85/83.95	c (73,0) x[19][18] = 19
573.85/83.95	c (73,0) x[19][19] = 28
573.85/83.95	c (73,0) x[19][20] = 2
573.85/83.95	c (73,0) x[19][21] = 24
573.85/83.95	c (73,0) x[19][22] = 6
573.85/83.95	c (73,0) x[19][23] = 16
573.85/83.95	c (73,0) x[19][24] = 26
573.85/83.95	c (73,0) x[19][25] = 29
573.85/83.95	c (73,0) x[19][26] = 15
573.85/83.95	c (73,0) x[19][27] = 4
573.85/83.95	c (73,0) x[19][28] = 8
573.85/83.95	c (73,0) x[19][29] = 10
573.85/83.95	c (73,0) x[20][0] = 3
573.85/83.95	c (73,0) x[20][1] = 29
573.85/83.95	c (73,0) x[20][2] = 26
573.85/83.95	c (73,0) x[20][3] = 13
573.85/83.95	c (73,0) x[20][4] = 2
573.85/83.95	c (73,0) x[20][5] = 27
573.85/83.95	c (73,0) x[20][6] = 14
573.85/83.95	c (73,0) x[20][7] = 17
573.85/83.95	c (73,0) x[20][8] = 15
573.85/83.95	c (73,0) x[20][9] = 25
573.85/83.95	c (73,0) x[20][10] = 20
573.85/83.95	c (73,0) x[20][11] = 19
573.85/83.95	c (73,0) x[20][12] = 28
573.85/83.95	c (73,0) x[20][13] = 6
573.85/83.95	c (73,0) x[20][14] = 11
573.85/83.95	c (73,0) x[20][15] = 16
573.85/83.95	c (73,0) x[20][16] = 4
573.85/83.95	c (73,0) x[20][17] = 0
573.85/83.95	c (73,0) x[20][18] = 8
573.85/83.95	c (73,0) x[20][19] = 1
573.85/83.95	c (73,0) x[20][20] = 10
573.85/83.95	c (73,0) x[20][21] = 7
573.85/83.95	c (73,0) x[20][22] = 5
573.85/83.95	c (73,0) x[20][23] = 21
573.85/83.95	c (73,0) x[20][24] = 12
573.85/83.95	c (73,0) x[20][25] = 23
573.85/83.95	c (73,0) x[20][26] = 9
573.85/83.95	c (73,0) x[20][27] = 24
573.85/83.95	c (73,0) x[20][28] = 22
573.85/83.95	c (73,0) x[20][29] = 18
573.85/83.95	c (73,0) x[21][0] = 18
573.85/83.95	c (73,0) x[21][1] = 2
573.85/83.95	c (73,0) x[21][2] = 8
573.85/83.95	c (73,0) x[21][3] = 1
573.85/83.95	c (73,0) x[21][4] = 27
573.85/83.95	c (73,0) x[21][5] = 25
573.85/83.96	c (73,0) x[21][6] = 21
573.85/83.96	c (73,0) x[21][7] = 24
573.85/83.96	c (73,0) x[21][8] = 28
573.85/83.96	c (73,0) x[21][9] = 29
573.85/83.96	c (73,0) x[21][10] = 10
573.85/83.96	c (73,0) x[21][11] = 9
573.85/83.96	c (73,0) x[21][12] = 26
573.85/83.96	c (73,0) x[21][13] = 20
573.85/83.96	c (73,0) x[21][14] = 16
573.85/83.96	c (73,0) x[21][15] = 15
573.85/83.96	c (73,0) x[21][16] = 0
573.85/83.96	c (73,0) x[21][17] = 13
573.85/83.96	c (73,0) x[21][18] = 11
573.85/83.96	c (73,0) x[21][19] = 4
573.85/83.96	c (73,0) x[21][20] = 6
573.85/83.96	c (73,0) x[21][21] = 19
573.85/83.96	c (73,0) x[21][22] = 17
573.85/83.96	c (73,0) x[21][23] = 7
573.85/83.96	c (73,0) x[21][24] = 3
573.85/83.96	c (73,0) x[21][25] = 22
573.85/83.96	c (73,0) x[21][26] = 5
573.85/83.96	c (73,0) x[21][27] = 14
573.85/83.96	c (73,0) x[21][28] = 23
573.85/83.96	c (73,0) x[21][29] = 12
573.85/83.96	c (73,0) x[22][0] = 22
573.85/83.96	c (73,0) x[22][1] = 7
573.85/83.96	c (73,0) x[22][2] = 24
573.85/83.96	c (73,0) x[22][3] = 0
573.85/83.96	c (73,0) x[22][4] = 6
573.85/83.96	c (73,0) x[22][5] = 17
573.85/83.96	c (73,0) x[22][6] = 15
573.85/83.96	c (73,0) x[22][7] = 16
573.85/83.96	c (73,0) x[22][8] = 23
573.85/83.96	c (73,0) x[22][9] = 11
573.85/83.96	c (73,0) x[22][10] = 26
573.85/83.96	c (73,0) x[22][11] = 14
573.85/83.96	c (73,0) x[22][12] = 10
573.85/83.96	c (73,0) x[22][13] = 9
573.85/83.96	c (73,0) x[22][14] = 2
573.85/83.96	c (73,0) x[22][15] = 19
573.85/83.96	c (73,0) x[22][16] = 27
573.85/83.96	c (73,0) x[22][17] = 21
573.85/83.96	c (73,0) x[22][18] = 5
573.85/83.96	c (73,0) x[22][19] = 18
573.85/83.96	c (73,0) x[22][20] = 3
573.85/83.96	c (73,0) x[22][21] = 28
573.85/83.96	c (73,0) x[22][22] = 29
573.85/83.96	c (73,0) x[22][23] = 1
573.85/83.96	c (73,0) x[22][24] = 4
573.85/83.96	c (73,0) x[22][25] = 8
573.85/83.96	c (73,0) x[22][26] = 12
573.85/83.96	c (73,0) x[22][27] = 20
573.85/83.96	c (73,0) x[22][28] = 25
573.85/83.96	c (73,0) x[22][29] = 13
573.85/83.96	c (73,0) x[23][0] = 16
573.85/83.96	c (73,0) x[23][1] = 12
573.85/83.96	c (73,0) x[23][2] = 22
573.85/83.96	c (73,0) x[23][3] = 14
573.85/83.96	c (73,0) x[23][4] = 20
573.85/83.96	c (73,0) x[23][5] = 8
573.85/83.96	c (73,0) x[23][6] = 3
573.85/83.96	c (73,0) x[23][7] = 25
573.85/83.96	c (73,0) x[23][8] = 24
573.85/83.96	c (73,0) x[23][9] = 10
573.85/83.96	c (73,0) x[23][10] = 21
573.85/83.96	c (73,0) x[23][11] = 1
573.85/83.96	c (73,0) x[23][12] = 17
573.85/83.96	c (73,0) x[23][13] = 4
573.85/83.96	c (73,0) x[23][14] = 9
573.85/83.96	c (73,0) x[23][15] = 5
573.85/83.96	c (73,0) x[23][16] = 18
573.85/83.96	c (73,0) x[23][17] = 23
573.85/83.96	c (73,0) x[23][18] = 26
573.85/83.96	c (73,0) x[23][19] = 6
573.85/83.96	c (73,0) x[23][20] = 15
573.85/83.96	c (73,0) x[23][21] = 27
573.85/83.96	c (73,0) x[23][22] = 0
573.85/83.96	c (73,0) x[23][23] = 13
573.85/83.96	c (73,0) x[23][24] = 29
573.85/83.96	c (73,0) x[23][25] = 19
573.85/83.96	c (73,0) x[23][26] = 7
573.85/83.96	c (73,0) x[23][27] = 11
573.85/83.96	c (73,0) x[23][28] = 2
573.85/83.96	c (73,0) x[23][29] = 28
573.85/83.96	c (73,0) x[24][0] = 14
573.85/83.96	c (73,0) x[24][1] = 15
573.85/83.96	c (73,0) x[24][2] = 16
573.85/83.96	c (73,0) x[24][3] = 3
573.85/83.96	c (73,0) x[24][4] = 18
573.85/83.96	c (73,0) x[24][5] = 26
573.85/83.96	c (73,0) x[24][6] = 0
573.85/83.96	c (73,0) x[24][7] = 11
573.85/83.96	c (73,0) x[24][8] = 9
573.85/83.96	c (73,0) x[24][9] = 1
573.85/83.96	c (73,0) x[24][10] = 25
573.85/83.96	c (73,0) x[24][11] = 2
573.85/83.96	c (73,0) x[24][12] = 13
573.85/83.96	c (73,0) x[24][13] = 8
573.85/83.96	c (73,0) x[24][14] = 19
573.85/83.96	c (73,0) x[24][15] = 22
573.85/83.96	c (73,0) x[24][16] = 24
573.85/83.96	c (73,0) x[24][17] = 17
573.85/83.96	c (73,0) x[24][18] = 6
573.85/83.96	c (73,0) x[24][19] = 21
573.85/83.96	c (73,0) x[24][20] = 12
573.85/83.96	c (73,0) x[24][21] = 10
573.85/83.96	c (73,0) x[24][22] = 20
573.85/83.96	c (73,0) x[24][23] = 4
573.85/83.96	c (73,0) x[24][24] = 7
573.85/83.96	c (73,0) x[24][25] = 5
573.85/83.96	c (73,0) x[24][26] = 28
573.85/83.96	c (73,0) x[24][27] = 29
573.85/83.96	c (73,0) x[24][28] = 27
573.85/83.96	c (73,0) x[24][29] = 23
573.85/83.96	c (73,0) x[25][0] = 15
573.85/83.96	c (73,0) x[25][1] = 27
573.85/83.96	c (73,0) x[25][2] = 17
573.85/83.96	c (73,0) x[25][3] = 19
573.85/83.96	c (73,0) x[25][4] = 21
573.85/83.96	c (73,0) x[25][5] = 9
573.85/83.96	c (73,0) x[25][6] = 12
573.85/83.96	c (73,0) x[25][7] = 2
573.85/83.96	c (73,0) x[25][8] = 10
573.85/83.96	c (73,0) x[25][9] = 8
573.85/83.96	c (73,0) x[25][10] = 11
573.85/83.96	c (73,0) x[25][11] = 29
573.85/83.96	c (73,0) x[25][12] = 25
573.85/83.96	c (73,0) x[25][13] = 24
573.85/83.96	c (73,0) x[25][14] = 23
573.85/83.96	c (73,0) x[25][15] = 0
573.85/83.96	c (73,0) x[25][16] = 28
573.85/83.96	c (73,0) x[25][17] = 14
573.85/83.96	c (73,0) x[25][18] = 18
573.85/83.96	c (73,0) x[25][19] = 13
573.85/83.96	c (73,0) x[25][20] = 22
573.85/83.96	c (73,0) x[25][21] = 4
573.85/83.96	c (73,0) x[25][22] = 1
573.85/83.96	c (73,0) x[25][23] = 3
573.85/83.96	c (73,0) x[25][24] = 16
573.85/83.96	c (73,0) x[25][25] = 20
573.85/83.96	c (73,0) x[25][26] = 26
573.85/83.96	c (73,0) x[25][27] = 5
573.85/83.96	c (73,0) x[25][28] = 6
573.85/83.96	c (73,0) x[25][29] = 7
573.85/83.96	c (73,0) x[26][0] = 11
573.85/83.96	c (73,0) x[26][1] = 26
573.85/83.96	c (73,0) x[26][2] = 29
573.85/83.96	c (73,0) x[26][3] = 5
573.85/83.96	c (73,0) x[26][4] = 9
573.85/83.96	c (73,0) x[26][5] = 2
573.85/83.96	c (73,0) x[26][6] = 28
573.85/83.96	c (73,0) x[26][7] = 3
573.85/83.96	c (73,0) x[26][8] = 8
573.85/83.96	c (73,0) x[26][9] = 6
573.85/83.96	c (73,0) x[26][10] = 4
573.85/83.96	c (73,0) x[26][11] = 12
573.85/83.96	c (73,0) x[26][12] = 1
573.85/83.96	c (73,0) x[26][13] = 19
573.85/83.96	c (73,0) x[26][14] = 17
573.85/83.96	c (73,0) x[26][15] = 14
573.85/83.96	c (73,0) x[26][16] = 20
573.85/83.96	c (73,0) x[26][17] = 7
573.85/83.96	c (73,0) x[26][18] = 16
573.85/83.96	c (73,0) x[26][19] = 27
573.85/83.96	c (73,0) x[26][20] = 23
573.85/83.96	c (73,0) x[26][21] = 0
573.85/83.96	c (73,0) x[26][22] = 15
573.85/83.96	c (73,0) x[26][23] = 18
573.85/83.96	c (73,0) x[26][24] = 21
573.85/83.96	c (73,0) x[26][25] = 24
573.85/83.96	c (73,0) x[26][26] = 13
573.85/83.96	c (73,0) x[26][27] = 25
573.85/83.96	c (73,0) x[26][28] = 10
573.85/83.96	c (73,0) x[26][29] = 22
573.85/83.96	c (73,0) x[27][0] = 28
573.85/83.96	c (73,0) x[27][1] = 17
573.85/83.96	c (73,0) x[27][2] = 10
573.85/83.96	c (73,0) x[27][3] = 4
573.85/83.96	c (73,0) x[27][4] = 1
573.85/83.96	c (73,0) x[27][5] = 11
573.85/83.96	c (73,0) x[27][6] = 29
573.85/83.96	c (73,0) x[27][7] = 27
573.85/83.96	c (73,0) x[27][8] = 6
573.85/83.96	c (73,0) x[27][9] = 26
573.85/83.96	c (73,0) x[27][10] = 23
573.85/83.96	c (73,0) x[27][11] = 15
573.85/83.96	c (73,0) x[27][12] = 16
573.85/83.96	c (73,0) x[27][13] = 13
573.85/83.96	c (73,0) x[27][14] = 0
573.85/83.96	c (73,0) x[27][15] = 3
573.85/83.96	c (73,0) x[27][16] = 2
573.85/83.96	c (73,0) x[27][17] = 24
573.85/83.96	c (73,0) x[27][18] = 20
573.85/83.96	c (73,0) x[27][19] = 25
573.85/83.96	c (73,0) x[27][20] = 5
573.85/83.96	c (73,0) x[27][21] = 8
573.85/83.96	c (73,0) x[27][22] = 7
573.85/83.96	c (73,0) x[27][23] = 22
573.85/83.96	c (73,0) x[27][24] = 19
573.85/83.96	c (73,0) x[27][25] = 18
573.85/83.96	c (73,0) x[27][26] = 14
573.85/83.96	c (73,0) x[27][27] = 12
573.85/83.96	c (73,0) x[27][28] = 21
573.85/83.96	c (73,0) x[27][29] = 9
573.85/83.96	c (73,0) x[28][0] = 4
573.85/83.96	c (73,0) x[28][1] = 0
573.85/83.96	c (73,0) x[28][2] = 15
573.85/83.96	c (73,0) x[28][3] = 12
573.85/83.96	c (73,0) x[28][4] = 28
573.85/83.96	c (73,0) x[28][5] = 18
573.85/83.96	c (73,0) x[28][6] = 6
573.85/83.96	c (73,0) x[28][7] = 20
573.85/83.96	c (73,0) x[28][8] = 25
573.85/83.96	c (73,0) x[28][9] = 9
573.85/83.96	c (73,0) x[28][10] = 8
573.85/83.96	c (73,0) x[28][11] = 11
573.85/83.96	c (73,0) x[28][12] = 22
573.85/83.96	c (73,0) x[28][13] = 23
573.85/83.96	c (73,0) x[28][14] = 7
573.85/83.96	c (73,0) x[28][15] = 13
573.85/83.96	c (73,0) x[28][16] = 21
573.85/83.96	c (73,0) x[28][17] = 10
573.85/83.96	c (73,0) x[28][18] = 14
573.85/83.96	c (73,0) x[28][19] = 3
573.85/83.96	c (73,0) x[28][20] = 19
573.85/83.96	c (73,0) x[28][21] = 2
573.85/83.96	c (73,0) x[28][22] = 26
573.85/83.96	c (73,0) x[28][23] = 29
573.85/83.96	c (73,0) x[28][24] = 27
573.85/83.96	c (73,0) x[28][25] = 1
573.85/83.96	c (73,0) x[28][26] = 17
573.85/83.96	c (73,0) x[28][27] = 16
573.85/83.96	c (73,0) x[28][28] = 24
573.85/83.96	c (73,0) x[28][29] = 5
573.85/83.96	c (73,0) x[29][0] = 27
573.85/83.96	c (73,0) x[29][1] = 20
573.85/83.96	c (73,0) x[29][2] = 5
573.85/83.96	c (73,0) x[29][3] = 24
573.85/83.96	c (73,0) x[29][4] = 10
573.85/83.96	c (73,0) x[29][5] = 15
573.85/83.96	c (73,0) x[29][6] = 11
573.85/83.96	c (73,0) x[29][7] = 4
573.85/83.96	c (73,0) x[29][8] = 2
573.85/83.96	c (73,0) x[29][9] = 18
573.85/83.96	c (73,0) x[29][10] = 7
573.85/83.96	c (73,0) x[29][11] = 26
573.85/83.96	c (73,0) x[29][12] = 23
573.85/83.96	c (73,0) x[29][13] = 22
573.85/83.96	c (73,0) x[29][14] = 14
573.85/83.96	c (73,0) x[29][15] = 29
573.85/83.96	c (73,0) x[29][16] = 13
573.85/83.96	c (73,0) x[29][17] = 6
573.85/83.96	c (73,0) x[29][18] = 21
573.85/83.96	c (73,0) x[29][19] = 12
573.85/83.96	c (73,0) x[29][20] = 17
573.85/83.96	c (73,0) x[29][21] = 25
573.85/83.96	c (73,0) x[29][22] = 28
573.85/83.96	c (73,0) x[29][23] = 8
573.85/83.96	c (73,0) x[29][24] = 1
573.85/83.96	c (73,0) x[29][25] = 16
573.85/83.96	c (73,0) x[29][26] = 19
573.85/83.96	c (73,0) x[29][27] = 3
573.85/83.96	c (73,0) x[29][28] = 9
573.85/83.96	c (73,0) x[29][29] = 0
573.85/83.96	s SATISFIABLE
573.85/83.96	v <instantiation>
573.85/83.96	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29]</list>
573.85/83.96	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>
573.85/83.96	v </instantiation>
573.85/83.96	c (73,0) Show results End
573.85/83.96	c (73,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
573.85/83.96	c (73,0) 72,73,STOP-AFTER(ALL)
573.85/83.96	c END-Prog: Tue Sep 24 23:08:46 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 (13376 MiB free)
  memory of node 1: 16384 MiB (12486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405302-1569359287/watcher-4405302-1569359287 -o /var/tmp/evaluation-result-4405302-1569359287/solver-4405302-1569359287 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405302-1569359287.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=18695, runsolver pid=18692
Current StackSize limit: 8192 KiB


[startup+0.100178 s]*
/proc/loadavg: 5.91 4.16 5.73 3/211 18717
/proc/meminfo: memFree=26391712/32770624 swapFree=67002124/67108860
[pid=18695] ppid=18692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18695/stat : 18695 (scop.sh) S 18692 18695 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512177286 115843072 349 33554432000 4194304 5098028 140725075302288 140725075299544 140665784865404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25419776 140725075305213 140725075305560 140725075305560 140725075308489 0
/proc/18695/statm: 28282 349 296 221 0 87 0
[pid=18698] ppid=18695 vsize=27314120 memory=104672 CPUtime=0.1 cores=0-7
/proc/18698/stat : 18698 (java) S 18695 18695 18552 0 -1 1077944320 6764 0 0 0 8 2 0 0 20 0 20 0 512177286 27969658880 26168 33554432000 4194304 4196468 140734795337568 140734795320112 139632858185463 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
/proc/18698/statm: 6828530 26168 2802 1 0 6790935 0
[pid=18698/tid=18699] ppid=18695 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18698/task/18699/stat : 18699 (java) R 18695 18695 18552 0 -1 4202560 4851 0 0 0 7 2 0 0 20 0 20 0 512177287 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632830011792 139632842265950 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18700] ppid=18695 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18698/task/18700/stat : 18700 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632862428048 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18701] ppid=18695 vsize=27314120 memory=140637901092480 CPUtime=0 cores=0-7
/proc/18698/task/18701/stat : 18701 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632676584208 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18702] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18702/stat : 18702 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632279452816 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18703] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18703/stat : 18703 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632278400016 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18704] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18704/stat : 18704 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632277346704 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18705] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18705/stat : 18705 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632276293904 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18706] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18706/stat : 18706 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632275241616 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18707] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18707/stat : 18707 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 26168 33554432000 4194304 4196468 140734795337568 139632274188816 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18708] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18708/stat : 18708 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 26168 33554432000 4194304 4196468 140734795337568 139631379782256 139632858196610 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18709] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18709/stat : 18709 (java) S 18695 18695 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 26168 33554432000 4194304 4196468 140734795337568 139630460527904 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18710] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18710/stat : 18710 (java) S 18695 18695 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 26168 33554432000 4194304 4196468 140734795337568 139630326306416 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18711] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18711/stat : 18711 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139629951801936 139632858204059 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18712] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18712/stat : 18712 (java) S 18695 18695 18552 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139631378729072 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18713] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18713/stat : 18713 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139631377676272 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18714] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18714/stat : 18714 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139631376623984 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18715] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18715/stat : 18715 (java) S 18695 18695 18552 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139631375571184 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18716] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18716/stat : 18716 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139629453896544 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18717] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18717/stat : 18717 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 26168 33554432000 4194304 4196468 140734795337568 139631374519088 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106068 KiB

[startup+0.210118 s]*
/proc/loadavg: 5.91 4.16 5.73 2/211 18717
/proc/meminfo: memFree=26368196/32770624 swapFree=67002124/67108860
[pid=18695] ppid=18692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18695/stat : 18695 (scop.sh) S 18692 18695 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512177286 115843072 349 33554432000 4194304 5098028 140725075302288 140725075299544 140665784865404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25419776 140725075305213 140725075305560 140725075305560 140725075308489 0
/proc/18695/statm: 28282 349 296 221 0 87 0
[pid=18698] ppid=18695 vsize=27314120 memory=124020 CPUtime=0.24 cores=0-7
/proc/18698/stat : 18698 (java) S 18695 18695 18552 0 -1 1077944320 12388 0 0 0 20 4 0 0 20 0 20 0 512177286 27969658880 31005 33554432000 4194304 4196468 140734795337568 140734795320112 139632858185463 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
/proc/18698/statm: 6828530 31005 2928 1 0 6790935 0
[pid=18698/tid=18699] ppid=18695 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18698/task/18699/stat : 18699 (java) R 18695 18695 18552 0 -1 4202560 10082 0 0 0 16 4 0 0 20 0 20 0 512177287 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632829984848 139632838461199 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18700] ppid=18695 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/18698/task/18700/stat : 18700 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632862428048 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18701] ppid=18695 vsize=27314120 memory=140637904890273 CPUtime=0 cores=0-7
/proc/18698/task/18701/stat : 18701 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632676584208 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18702] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18702/stat : 18702 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632279452816 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18703] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18703/stat : 18703 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632278400016 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18704] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18704/stat : 18704 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632277346704 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18705] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18705/stat : 18705 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632276293904 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18706] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18706/stat : 18706 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632275241616 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18707] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18707/stat : 18707 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31005 33554432000 4194304 4196468 140734795337568 139632274188816 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18708] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18708/stat : 18708 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 31005 33554432000 4194304 4196468 140734795337568 139631379782256 139632858196610 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18709] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18709/stat : 18709 (java) S 18695 18695 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 31005 33554432000 4194304 4196468 140734795337568 139630460527904 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18710] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18710/stat : 18710 (java) S 18695 18695 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 31005 33554432000 4194304 4196468 140734795337568 139630326306416 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18711] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18711/stat : 18711 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139629951801936 139632858204059 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18712] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18712/stat : 18712 (java) S 18695 18695 18552 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139631378729072 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18713] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18713/stat : 18713 (java) S 18695 18695 18552 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139631377676272 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18714] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18714/stat : 18714 (java) S 18695 18695 18552 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139631376623984 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18715] ppid=18695 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18698/task/18715/stat : 18715 (java) S 18695 18695 18552 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139631375571184 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18716] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18716/stat : 18716 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139629453896544 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18717] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18717/stat : 18717 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31005 33554432000 4194304 4196468 140734795337568 139631374519088 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125416 KiB

[startup+0.309441 s]*
/proc/loadavg: 5.91 4.16 5.73 2/211 18717
/proc/meminfo: memFree=26365404/32770624 swapFree=67002124/67108860
[pid=18695] ppid=18692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18695/stat : 18695 (scop.sh) S 18692 18695 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512177286 115843072 349 33554432000 4194304 5098028 140725075302288 140725075299544 140665784865404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25419776 140725075305213 140725075305560 140725075305560 140725075308489 0
/proc/18695/statm: 28282 349 296 221 0 87 0
[pid=18698] ppid=18695 vsize=27314120 memory=127588 CPUtime=0.42 cores=0-7
/proc/18698/stat : 18698 (java) S 18695 18695 18552 0 -1 1077944320 12813 0 0 0 38 4 0 0 20 0 20 0 512177286 27969658880 31897 33554432000 4194304 4196468 140734795337568 140734795320112 139632858185463 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
/proc/18698/statm: 6828530 31897 3021 1 0 6790935 0
[pid=18698/tid=18699] ppid=18695 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/18698/task/18699/stat : 18699 (java) R 18695 18695 18552 0 -1 4202560 10326 0 0 0 26 4 0 0 20 0 20 0 512177287 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632830013264 139632841371867 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18700] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18700/stat : 18700 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632862428048 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18701] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18701/stat : 18701 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632676584208 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18702] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18702/stat : 18702 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632279452816 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18703] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18703/stat : 18703 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632278400016 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18704] ppid=18695 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18698/task/18704/stat : 18704 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632277346704 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18705] ppid=18695 vsize=27314120 memory=140637764678575 CPUtime=0 cores=0-7
/proc/18698/task/18705/stat : 18705 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632276293904 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18706] ppid=18695 vsize=27314120 memory=140637764680880 CPUtime=0 cores=0-7
/proc/18698/task/18706/stat : 18706 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632275241616 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18707] ppid=18695 vsize=27314120 memory=140637764683184 CPUtime=0 cores=0-7
/proc/18698/task/18707/stat : 18707 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27969658880 31963 33554432000 4194304 4196468 140734795337568 139632274188816 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18708] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18708/stat : 18708 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 31963 33554432000 4194304 4196468 140734795337568 139631379782256 139632858196610 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18709] ppid=18695 vsize=27314120 memory=281275529373328 CPUtime=0 cores=0-7
/proc/18698/task/18709/stat : 18709 (java) S 18695 18695 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 31963 33554432000 4194304 4196468 140734795337568 139630460527904 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18710] ppid=18695 vsize=27314120 memory=281275529380240 CPUtime=0 cores=0-7
/proc/18698/task/18710/stat : 18710 (java) S 18695 18695 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512177291 27969658880 31963 33554432000 4194304 4196468 140734795337568 139630326306416 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18711] ppid=18695 vsize=27314120 memory=281275529321520 CPUtime=0 cores=0-7
/proc/18698/task/18711/stat : 18711 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139629951801936 139632858204059 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18712] ppid=18695 vsize=27314120 memory=281275529394064 CPUtime=0.01 cores=0-7
/proc/18698/task/18712/stat : 18712 (java) S 18695 18695 18552 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139631378729072 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18713] ppid=18695 vsize=27314120 memory=281275529400976 CPUtime=0 cores=0-7
/proc/18698/task/18713/stat : 18713 (java) S 18695 18695 18552 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139631377676272 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18714] ppid=18695 vsize=27314120 memory=281275529398672 CPUtime=0.02 cores=0-7
/proc/18698/task/18714/stat : 18714 (java) R 18695 18695 18552 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139631376623984 139632835820112 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18715] ppid=18695 vsize=27314120 memory=281275529414832 CPUtime=0.07 cores=0-7
/proc/18698/task/18715/stat : 18715 (java) S 18695 18695 18552 0 -1 1077944384 499 0 0 0 7 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139631375571184 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18716] ppid=18695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18716/stat : 18716 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139629453896544 139632858195669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18717] ppid=18695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18698/task/18717/stat : 18717 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512177294 27969658880 31963 33554432000 4194304 4196468 140734795337568 139631374519088 139632858196610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128984 KiB

[startup+0.700935 s]
/proc/loadavg: 5.91 4.16 5.73 2/211 18717
/proc/meminfo: memFree=26343972/32770624 swapFree=67002124/67108860
[pid=18695] ppid=18692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18695/stat : 18695 (scop.sh) S 18692 18695 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512177286 115843072 349 33554432000 4194304 5098028 140725075302288 140725075299544 140665784865404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25419776 140725075305213 140725075305560 140725075305560 140725075308489 0
/proc/18695/statm: 28282 349 296 221 0 87 0
[pid=18698] ppid=18695 vsize=27322516 memory=163368 CPUtime=0.99 cores=0-7
/proc/18698/stat : 18698 (java) S 18695 18695 18552 0 -1 1077944320 20473 0 0 0 92 7 0 0 20 0 20 0 512177286 27978256384 40842 33554432000 4194304 4196468 140734795337568 140734795320112 139632858185463 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
/proc/18698/statm: 6830629 40842 3206 1 0 6791959 0
[pid=18698/tid=18699] ppid=18695 vsize=27322516 memory=281275529772720 CPUtime=0.68 cores=0-7
/proc/18698/task/18699/stat : 18699 (java) R 18695 18695 18552 0 -1 1077944384 17543 0 0 0 62 6 0 0 20 0 20 0 512177287 27978256384 40842 33554432000 4194304 4196468 140734795337568 139632830021952 139632858195669 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18700] ppid=18695 vsize=27322516 memory=140637764887408 CPUtime=0 cores=0-7
/proc/18698/task/18700/stat : 18700 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512177289 27978256384 40842 33554432000 4194304 4196468 140734795337568 139632862428048 139632858195669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18701] ppid=18695 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/18698/task/18701/stat : 18701 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27978256384 40842 33554432000 4194304 4196468 140734795337568 139632676584208 139632858195669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0
[pid=18698/tid=18702] ppid=18695 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/18698/task/18702/stat : 18702 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512177289 27978256384 40842 33554432000 4194304 4196468 140734795337568 139632279452816 139632858195669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17977344 140734795342535 140734795342982 140734795342982 140734795345871 0

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

[pid=18718/tid=18719] ppid=18695 vsize=8414124 memory=463728 CPUtime=0.81 cores=0-7
/proc/18718/task/18719/stat : 18719 (java) S 18695 18695 18552 0 -1 1077944384 16883 0 0 0 73 8 0 0 20 0 24 0 512178333 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580385836960 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18720] ppid=18695 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/18718/task/18720/stat : 18720 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580418238864 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18721] ppid=18695 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/18718/task/18721/stat : 18721 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580218407184 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18722] ppid=18695 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/18718/task/18722/stat : 18722 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580217354896 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18723] ppid=18695 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/18718/task/18723/stat : 18723 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580216302096 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18724] ppid=18695 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/18718/task/18724/stat : 18724 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580215249808 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18725] ppid=18695 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/18718/task/18725/stat : 18725 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580214197008 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18726] ppid=18695 vsize=8414124 memory=10600 CPUtime=0 cores=0-7
/proc/18718/task/18726/stat : 18726 (java) S 18695 18695 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580213144720 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18727] ppid=18695 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/18718/task/18727/stat : 18727 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512178334 8616062976 31262 33554432000 4194304 4196468 140729367268432 140580212091920 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18728] ppid=18695 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/18718/task/18728/stat : 18728 (java) S 18695 18695 18552 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512178336 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579439605872 140580414007938 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18729] ppid=18695 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/18718/task/18729/stat : 18729 (java) S 18695 18695 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512178336 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579044320032 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18730] ppid=18695 vsize=8414124 memory=35476 CPUtime=0 cores=0-7
/proc/18718/task/18730/stat : 18730 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178336 8616062976 31262 33554432000 4194304 4196468 140729367268432 140578775884912 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18731] ppid=18695 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/18718/task/18731/stat : 18731 (java) S 18695 18695 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178339 8616062976 31262 33554432000 4194304 4196468 140729367268432 140578401376336 140580414015387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18732] ppid=18695 vsize=8414124 memory=500 CPUtime=0.09 cores=0-7
/proc/18718/task/18732/stat : 18732 (java) S 18695 18695 18552 0 -1 1077944384 630 0 0 0 9 0 0 0 20 0 24 0 512178339 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579438553712 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18733] ppid=18695 vsize=8414124 memory=932 CPUtime=0.14 cores=0-7
/proc/18718/task/18733/stat : 18733 (java) S 18695 18695 18552 0 -1 1077944384 595 0 0 0 14 0 0 0 20 0 24 0 512178339 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579437500912 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18734] ppid=18695 vsize=8414124 memory=1824 CPUtime=0.12 cores=0-7
/proc/18718/task/18734/stat : 18734 (java) S 18695 18695 18552 0 -1 1077944384 445 0 0 0 12 0 0 0 20 0 24 0 512178339 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579436448624 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18735] ppid=18695 vsize=8414124 memory=1656 CPUtime=0.23 cores=0-7
/proc/18718/task/18735/stat : 18735 (java) S 18695 18695 18552 0 -1 1077944384 784 0 0 0 23 0 0 0 20 0 24 0 512178339 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579435395824 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18736] ppid=18695 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/18718/task/18736/stat : 18736 (java) S 18695 18695 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512178339 8616062976 31262 33554432000 4194304 4196468 140729367268432 140577903470944 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18737] ppid=18695 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/18718/task/18737/stat : 18737 (java) S 18695 18695 18552 0 -1 1077944384 7 0 0 0 4 0 0 0 20 0 24 0 512178340 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579434342704 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18739] ppid=18695 vsize=8414124 memory=125048 CPUtime=0 cores=0-7
/proc/18718/task/18739/stat : 18739 (java) S 18695 18695 18552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512178411 8616062976 31262 33554432000 4194304 4196468 140729367268432 140579715675456 140580414021401 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18741] ppid=18695 vsize=8414124 memory=438608 CPUtime=0 cores=0-7
/proc/18718/task/18741/stat : 18741 (java) S 18695 18695 18552 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512178411 8616062976 31262 33554432000 4194304 4196468 140729367268432 140577232371600 140580414018717 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18742] ppid=18695 vsize=8414124 memory=7306056134675621226 CPUtime=0 cores=0-7
/proc/18718/task/18742/stat : 18742 (java) S 18695 18695 18552 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512178411 8616062976 31262 33554432000 4194304 4196468 140729367268432 140577500806928 140580414018717 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18743] ppid=18695 vsize=8414124 memory=7954874625948149605 CPUtime=0 cores=0-7
/proc/18718/task/18743/stat : 18743 (java) S 18695 18695 18552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512178413 8616062976 31262 33554432000 4194304 4196468 140729367268432 140576963944240 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
Current children cumulated CPU time: 573.16 s
Current children cumulated vsize: 9324044 KiB
Current children cumulated memory: 615340 KiB

[startup+83.8011 s]
/proc/loadavg: 6.69 4.80 5.81 2/217 18756
/proc/meminfo: memFree=25879336/32770624 swapFree=67002124/67108860
[pid=18695] ppid=18692 vsize=113128 memory=1476 CPUtime=19.41 cores=0-7
/proc/18695/stat : 18695 (scop.sh) S 18692 18695 18552 0 -1 4202496 583 35547 0 0 0 0 1857 84 20 0 1 0 512177286 115843072 369 33554432000 4194304 5098028 140725075302288 140725075299032 140665784865404 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25419776 140725075305213 140725075305560 140725075305560 140725075308489 0
/proc/18695/statm: 28282 369 311 221 0 87 0
[pid=18718] ppid=18695 vsize=8283048 memory=138452 CPUtime=554.17 cores=0-7
/proc/18718/stat : 18718 (java) S 18695 18695 18552 0 -1 1077944320 22036 407855 0 0 167 12 55144 94 20 0 22 0 512178333 8481841152 34613 33554432000 4194304 4196468 140729367268432 140729367250976 140580413996791 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
/proc/18718/statm: 2070762 34613 3214 1 0 2032106 0
[pid=18718/tid=18719] ppid=18695 vsize=8283048 memory=7954874625948149605 CPUtime=553.24 cores=0-7
/proc/18718/task/18719/stat : 18719 (java) R 18695 18695 18552 0 -1 4202560 17038 407855 0 0 78 8 55144 94 20 0 22 0 512178333 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580385834912 140580399366194 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18720] ppid=18695 vsize=8283048 memory=7954874625948149605 CPUtime=552.38 cores=0-7
/proc/18718/task/18720/stat : 18720 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580418238864 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18721] ppid=18695 vsize=8283048 memory=7306056134675621226 CPUtime=552.38 cores=0-7
/proc/18718/task/18721/stat : 18721 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580218407184 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18722] ppid=18695 vsize=8283048 memory=3392 CPUtime=552.38 cores=0-7
/proc/18718/task/18722/stat : 18722 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580217354896 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18723] ppid=18695 vsize=8283048 memory=-8600858671356080530 CPUtime=552.38 cores=0-7
/proc/18718/task/18723/stat : 18723 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580216302096 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18724] ppid=18695 vsize=8283048 memory=124264 CPUtime=552.38 cores=0-7
/proc/18718/task/18724/stat : 18724 (java) S 18695 18695 18552 0 -1 1077944384 2 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580215249808 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18725] ppid=18695 vsize=8283048 memory=1476 CPUtime=552.38 cores=0-7
/proc/18718/task/18725/stat : 18725 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580214197008 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18726] ppid=18695 vsize=8283048 memory=124264 CPUtime=552.38 cores=0-7
/proc/18718/task/18726/stat : 18726 (java) S 18695 18695 18552 0 -1 1077944384 2 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580213144720 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18727] ppid=18695 vsize=8283048 memory=436312 CPUtime=552.38 cores=0-7
/proc/18718/task/18727/stat : 18727 (java) S 18695 18695 18552 0 -1 1077944384 3 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 34613 33554432000 4194304 4196468 140729367268432 140580212091920 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18728] ppid=18695 vsize=8283048 memory=1416 CPUtime=552.38 cores=0-7
/proc/18718/task/18728/stat : 18728 (java) S 18695 18695 18552 0 -1 1077944384 6 407855 0 0 0 0 55144 94 20 0 22 0 512178336 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579439605872 140580414007938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18729] ppid=18695 vsize=8283048 memory=776 CPUtime=552.38 cores=0-7
/proc/18718/task/18729/stat : 18729 (java) S 18695 18695 18552 0 -1 1077944384 13 407855 0 0 0 0 55144 94 20 0 22 0 512178336 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579044320032 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18730] ppid=18695 vsize=8283048 memory=-8600858671356080530 CPUtime=552.38 cores=0-7
/proc/18718/task/18730/stat : 18730 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178336 8481841152 34613 33554432000 4194304 4196468 140729367268432 140578775884912 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18731] ppid=18695 vsize=8283048 memory=1232 CPUtime=552.38 cores=0-7
/proc/18718/task/18731/stat : 18731 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178339 8481841152 34613 33554432000 4194304 4196468 140729367268432 140578401376336 140580414015387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18732] ppid=18695 vsize=8283048 memory=125048 CPUtime=552.51 cores=0-7
/proc/18718/task/18732/stat : 18732 (java) R 18695 18695 18552 0 -1 1077944384 775 407855 0 0 13 0 55144 94 20 0 22 0 512178339 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579438553712 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18733] ppid=18695 vsize=8283048 memory=3616 CPUtime=552.57 cores=0-7
/proc/18718/task/18733/stat : 18733 (java) S 18695 18695 18552 0 -1 1077944384 648 407855 0 0 19 0 55144 94 20 0 22 0 512178339 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579437500912 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18734] ppid=18695 vsize=8283048 memory=500 CPUtime=552.52 cores=0-7
/proc/18718/task/18734/stat : 18734 (java) R 18695 18695 18552 0 -1 1077944384 450 407855 0 0 14 0 55144 94 20 0 22 0 512178339 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579436448624 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18735] ppid=18695 vsize=8283048 memory=932 CPUtime=552.67 cores=0-7
/proc/18718/task/18735/stat : 18735 (java) S 18695 18695 18552 0 -1 1077944384 1151 407855 0 0 29 0 55144 94 20 0 22 0 512178339 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579435395824 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18736] ppid=18695 vsize=8283048 memory=1824 CPUtime=552.38 cores=0-7
/proc/18718/task/18736/stat : 18736 (java) S 18695 18695 18552 0 -1 1077944384 3 407855 0 0 0 0 55144 94 20 0 22 0 512178339 8481841152 34613 33554432000 4194304 4196468 140729367268432 140577903470944 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18737] ppid=18695 vsize=8283048 memory=1656 CPUtime=552.42 cores=0-7
/proc/18718/task/18737/stat : 18737 (java) S 18695 18695 18552 0 -1 1077944384 7 407855 0 0 4 0 55144 94 20 0 22 0 512178340 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579434342704 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18739] ppid=18695 vsize=8283048 memory=804 CPUtime=552.38 cores=0-7
/proc/18718/task/18739/stat : 18739 (java) S 18695 18695 18552 0 -1 1077944384 25 407855 0 0 0 0 55144 94 20 0 22 0 512178411 8481841152 34613 33554432000 4194304 4196468 140729367268432 140579715674640 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18743] ppid=18695 vsize=8283048 memory=2676 CPUtime=552.38 cores=0-7
/proc/18718/task/18743/stat : 18743 (java) S 18695 18695 18552 0 -1 1077944384 13 407855 0 0 0 0 55144 94 20 0 22 0 512178413 8481841152 34613 33554432000 4194304 4196468 140729367268432 140576963946032 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
Current children cumulated CPU time: 573.58 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139928 KiB

[startup+83.9011 s]
/proc/loadavg: 6.69 4.80 5.81 2/217 18756
/proc/meminfo: memFree=25879336/32770624 swapFree=67002124/67108860
[pid=18695] ppid=18692 vsize=113128 memory=1476 CPUtime=19.41 cores=0-7
/proc/18695/stat : 18695 (scop.sh) S 18692 18695 18552 0 -1 4202496 583 35547 0 0 0 0 1857 84 20 0 1 0 512177286 115843072 369 33554432000 4194304 5098028 140725075302288 140725075299032 140665784865404 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25419776 140725075305213 140725075305560 140725075305560 140725075308489 0
/proc/18695/statm: 28282 369 311 221 0 87 0
[pid=18718] ppid=18695 vsize=8283048 memory=144940 CPUtime=554.44 cores=0-7
/proc/18718/stat : 18718 (java) S 18695 18695 18552 0 -1 1077944320 22650 407855 0 0 194 12 55144 94 20 0 22 0 512178333 8481841152 36235 33554432000 4194304 4196468 140729367268432 140729367250976 140580413996791 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
/proc/18718/statm: 2070762 36235 3234 1 0 2032106 0
[pid=18718/tid=18719] ppid=18695 vsize=8283048 memory=480440 CPUtime=553.34 cores=0-7
/proc/18718/task/18719/stat : 18719 (java) R 18695 18695 18552 0 -1 4202560 17167 407855 0 0 88 8 55144 94 20 0 22 0 512178333 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580385834976 140579869477959 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18720] ppid=18695 vsize=8283048 memory=0 CPUtime=552.38 cores=0-7
/proc/18718/task/18720/stat : 18720 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580418238864 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18721] ppid=18695 vsize=8283048 memory=3616 CPUtime=552.38 cores=0-7
/proc/18718/task/18721/stat : 18721 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580218407184 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18722] ppid=18695 vsize=8283048 memory=463728 CPUtime=552.38 cores=0-7
/proc/18718/task/18722/stat : 18722 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580217354896 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18723] ppid=18695 vsize=8283048 memory=0 CPUtime=552.38 cores=0-7
/proc/18718/task/18723/stat : 18723 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580216302096 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18724] ppid=18695 vsize=8283048 memory=3408 CPUtime=552.38 cores=0-7
/proc/18718/task/18724/stat : 18724 (java) S 18695 18695 18552 0 -1 1077944384 2 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580215249808 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18725] ppid=18695 vsize=8283048 memory=1476 CPUtime=552.38 cores=0-7
/proc/18718/task/18725/stat : 18725 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580214197008 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18726] ppid=18695 vsize=8283048 memory=1476 CPUtime=552.38 cores=0-7
/proc/18718/task/18726/stat : 18726 (java) S 18695 18695 18552 0 -1 1077944384 2 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580213144720 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18727] ppid=18695 vsize=8283048 memory=125048 CPUtime=552.38 cores=0-7
/proc/18718/task/18727/stat : 18727 (java) S 18695 18695 18552 0 -1 1077944384 3 407855 0 0 0 0 55144 94 20 0 22 0 512178334 8481841152 36235 33554432000 4194304 4196468 140729367268432 140580212091920 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18728] ppid=18695 vsize=8283048 memory=463596 CPUtime=552.38 cores=0-7
/proc/18718/task/18728/stat : 18728 (java) S 18695 18695 18552 0 -1 1077944384 6 407855 0 0 0 0 55144 94 20 0 22 0 512178336 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579439605872 140580414007938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18729] ppid=18695 vsize=8283048 memory=500 CPUtime=552.38 cores=0-7
/proc/18718/task/18729/stat : 18729 (java) S 18695 18695 18552 0 -1 1077944384 13 407855 0 0 0 0 55144 94 20 0 22 0 512178336 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579044320032 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18730] ppid=18695 vsize=8283048 memory=124264 CPUtime=552.38 cores=0-7
/proc/18718/task/18730/stat : 18730 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178336 8481841152 36235 33554432000 4194304 4196468 140729367268432 140578775884912 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18731] ppid=18695 vsize=8283048 memory=1476 CPUtime=552.38 cores=0-7
/proc/18718/task/18731/stat : 18731 (java) S 18695 18695 18552 0 -1 1077944384 1 407855 0 0 0 0 55144 94 20 0 22 0 512178339 8481841152 36235 33554432000 4194304 4196468 140729367268432 140578401376336 140580414015387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18732] ppid=18695 vsize=8283048 memory=124264 CPUtime=552.57 cores=0-7
/proc/18718/task/18732/stat : 18732 (java) R 18695 18695 18552 0 -1 4202560 1027 407855 0 0 19 0 55144 94 20 0 22 0 512178339 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579438553712 140580397970296 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18733] ppid=18695 vsize=8283048 memory=988 CPUtime=552.6 cores=0-7
/proc/18718/task/18733/stat : 18733 (java) R 18695 18695 18552 0 -1 4202560 666 407855 0 0 22 0 55144 94 20 0 22 0 512178339 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579437500912 140580398878493 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18734] ppid=18695 vsize=8283048 memory=2024 CPUtime=552.54 cores=0-7
/proc/18718/task/18734/stat : 18734 (java) R 18695 18695 18552 0 -1 4202560 465 407855 0 0 16 0 55144 94 20 0 22 0 512178339 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579436448624 140580393398582 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18735] ppid=18695 vsize=8283048 memory=1416 CPUtime=552.73 cores=0-7
/proc/18718/task/18735/stat : 18735 (java) S 18695 18695 18552 0 -1 1077944384 1351 407855 0 0 35 0 55144 94 20 0 22 0 512178339 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579435395824 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18736] ppid=18695 vsize=8283048 memory=1476 CPUtime=552.38 cores=0-7
/proc/18718/task/18736/stat : 18736 (java) S 18695 18695 18552 0 -1 1077944384 3 407855 0 0 0 0 55144 94 20 0 22 0 512178339 8481841152 36235 33554432000 4194304 4196468 140729367268432 140577903470944 140580414006997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18737] ppid=18695 vsize=8283048 memory=125048 CPUtime=552.42 cores=0-7
/proc/18718/task/18737/stat : 18737 (java) S 18695 18695 18552 0 -1 1077944384 7 407855 0 0 4 0 55144 94 20 0 22 0 512178340 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579434342704 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18739] ppid=18695 vsize=8283048 memory=437060 CPUtime=552.38 cores=0-7
/proc/18718/task/18739/stat : 18739 (java) S 18695 18695 18552 0 -1 1077944384 25 407855 0 0 0 0 55144 94 20 0 22 0 512178411 8481841152 36235 33554432000 4194304 4196468 140729367268432 140579715674640 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
[pid=18718/tid=18743] ppid=18695 vsize=8283048 memory=1476 CPUtime=552.38 cores=0-7
/proc/18718/task/18743/stat : 18743 (java) S 18695 18695 18552 0 -1 1077944384 13 407855 0 0 0 0 55144 94 20 0 22 0 512178413 8481841152 36235 33554432000 4194304 4196468 140729367268432 140576963946032 140580414007938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140729367270367 140729367270534 140729367270534 140729367273423 0
Current children cumulated CPU time: 573.85 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146416 KiB

Child status: 0
Real time (s): 83.9964
CPU time (s): 574.108
CPU user time (s): 572.173
CPU system time (s): 1.93533
CPU usage (%): 683.491
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4339332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 572.173
system time used= 1.93533
maximum resident set size= 4342808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468710
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= 14044
involuntary context switches= 6288


# summary of solver processes directly reported to runsolver:
#   pid: 18695
#   total CPU time (s): 574.108
#   total CPU user time (s): 572.173
#   total CPU system time (s): 1.93533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.759835 second user time and 1.2137 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-24 23:07:22
IDJOB=4405302
IDBENCH=138970
IDSOLVER=2867
FILE ID=node136/4405302-1569359287
RUNJOBID= node136-1569359183-18579
PBS_JOBID= 21705119
Free space on /var/tmp= 13484 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-06.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405302-1569359287/watcher-4405302-1569359287 -o /var/tmp/evaluation-result-4405302-1569359287/solver-4405302-1569359287 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405302-1569359287.xml

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

MD5SUM BENCH= 4d249bb6d4470f00f240c18f02f8ea53
RANDOM SEED=102640663

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26483052 kB
MemAvailable:   31841556 kB
Buffers:          152396 kB
Cached:          5330228 kB
SwapCached:         3556 kB
Active:          2730784 kB
Inactive:        2758892 kB
Active(anon):       3864 kB
Inactive(anon):    59704 kB
Active(file):    2726920 kB
Inactive(file):  2699188 kB
Unevictable:      108576 kB
Mlocked:          108576 kB
SwapTotal:      67108860 kB
SwapFree:       67002124 kB
Dirty:             20724 kB
Writeback:            12 kB
AnonPages:        113068 kB
Mapped:            57336 kB
Shmem:             48260 kB
Slab:             390524 kB
SReclaimable:     360856 kB
SUnreclaim:        29668 kB
KernelStack:        3392 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-24 23:08:46