Trace number 4392730

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-01.xml
MD5SUMbc231a1d8845efcd5c5ebc235ca42ef6
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 benchmark8.4717
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":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-3318-serial-file.bin HOME/instance-4392730-1568442929.xml
0.66/0.60	
0.66/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.76/0.63	c BEGIN-Prog: Sat Sep 14 08:34:49 CEST 2019
0.76/0.63	c PID: 3322
0.76/0.63	c IP: 172.20.3.116
0.76/0.63	c HOST: node116.alineos.net
0.76/0.64	c (0,0) Parsing Begin
1.85/1.17	c (0,0) Parsing End
1.85/1.18	c (0,0) CSP: 865 int (0 aux), 35 bool (0 aux), 2 ctr, max domain size 30
1.85/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.85/1.18	c (0,0) Constraint Name Generate Begin
1.85/1.19	c (0,0) Ctr:HOME/instance-4392730-1568442929.xml,AllDifferentMatrix:Instantiation:Var
1.85/1.19	c (0,0) Constraint Name Generate End
1.85/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.85/1.19	c (0,0) CSP to CSPinCNF Begin
2.10/1.22	c (0,0) translated 1 (10%) constraints
6.11/3.11	c (2,2) translated 2 (20%) constraints
6.30/3.14	c (2,2) ===========================================
6.64/3.23	c (2,2) Hybrid: #OE=374, #LE=526
6.64/3.23	c (2,2) Hybrid
6.64/3.23	c (2,2) ===========================================
9.06/3.83	c (3,3) translated 2855 (10%) constraints
10.13/4.20	c (3,3) translated 5710 (20%) constraints
10.45/4.56	c (3,3) translated 8564 (30%) constraints
10.85/4.90	c (4,4) translated 11419 (40%) constraints
11.15/5.27	c (4,4) translated 14273 (50%) constraints
11.49/5.58	c (4,4) translated 17128 (60%) constraints
11.81/5.88	c (5,5) translated 19983 (70%) constraints
12.16/6.18	c (5,5) translated 22837 (80%) constraints
12.58/6.52	c (5,5) translated 25692 (90%) constraints
12.78/6.78	c (6,6) translated 28546 (100%) constraints
12.78/6.79	c (6,6) CSP to CSPinCNF End
12.94/6.80	c (6,6) CSP: 865 int (0 aux), 27035 bool (27000 aux), 137072 ctr, max domain size 30
12.94/6.80	c (6,6) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.94/6.80	c (6,6) CSPinCNF Propagation Begin
16.20/8.88	c (8,8) 19609 values, 85594 unsatisfiable literals, and 88767 valid clauses are removed
16.20/8.88	c (8,8) CSPinCNF Propagation End
16.20/8.88	c (8,8) CSP: 865 int (0 aux), 27035 bool (27000 aux), 48305 ctr, max domain size 30
16.20/8.88	c (8,8) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.39/8.94	c (8,8) Hybrid: #OE=27374, #LE=526
16.39/8.94	c (8,8) Simplify CSPinCNF Begin
17.51/9.52	c (8,8) Simplify CSPinCNF End
17.51/9.54	c (8,8) CSP: 865 int (0 aux), 54531 bool (54496 aux), 75801 ctr, max domain size 30
17.51/9.54	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.51/9.54	c (8,8) Calculate Precise Domain Begin
17.51/9.54	c (8,8) 0 values are removed by re-calculation
17.51/9.54	c (8,8) Calculate Precise Domain End
17.51/9.55	c (8,8) CSP: 865 int (0 aux), 54531 bool (54496 aux), 75801 ctr, max domain size 30
17.51/9.55	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.51/9.55	c (8,8) CSPinCNF to SatSolver Begin
19.63/10.20	c (9,9) 7581 (10 %) CSP clauses are encoded (0 SAT variables, 33367 SAT clauses)
20.16/10.38	c (9,9) 15161 (20 %) CSP clauses are encoded (0 SAT variables, 55915 SAT clauses)
20.42/10.56	c (9,9) 22741 (30 %) CSP clauses are encoded (0 SAT variables, 79549 SAT clauses)
20.63/10.73	c (10,10) 30321 (40 %) CSP clauses are encoded (0 SAT variables, 102724 SAT clauses)
20.85/10.90	c (10,10) 37901 (50 %) CSP clauses are encoded (0 SAT variables, 125935 SAT clauses)
20.96/11.07	c (10,10) 45481 (60 %) CSP clauses are encoded (0 SAT variables, 150449 SAT clauses)
21.22/11.24	c (10,10) 53061 (70 %) CSP clauses are encoded (0 SAT variables, 173323 SAT clauses)
21.42/11.40	c (10,10) 60641 (80 %) CSP clauses are encoded (0 SAT variables, 196657 SAT clauses)
21.52/11.57	c (10,10) 68221 (90 %) CSP clauses are encoded (0 SAT variables, 219595 SAT clauses)
21.72/11.74	c (11,11) 75801 (100 %) CSP clauses are encoded (0 SAT variables, 243477 SAT clauses)
21.72/11.74	c (11,11) CSPinCNF to SatSolver End
21.72/11.74	c (11,11) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.72/11.74	c (11,11) 44734 bool, 243478 clause
21.72/11.74	c (11,11) Export Begin
21.88/11.89	c (11,11) Export to HOME/scop-3318-serial-file.bin
21.88/11.89	c (11,11) Export End
21.88/11.89	c (11,11) Export File Size: 0.15 MB
21.88/11.89	c (11,11) 0,0,6,8,8,8,11,STOP-AFTER(DIMACS)
21.88/11.89	c END-Prog: Sat Sep 14 08:35:01 CEST 2019
22.14/11.95	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3318-serial-file.bin
22.77/12.46	c (0,0) Read Serial File Begin
22.77/12.46	c (0,0) HOME/scop-3318-serial-file.bin
23.24/12.74	c (0,0) Read Serial File End
23.24/12.76	
23.24/12.76	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
23.24/12.76	(Solving Process)
23.24/12.76	
23.24/12.78	c BEGIN-Prog: Sat Sep 14 08:35:01 CEST 2019
23.24/12.78	c PID: 3342
23.24/12.78	c IP: 172.20.3.116
23.24/12.78	c HOST: node116.alineos.net
23.24/12.79	c (0,0) SatSolver.solve Begin
23.24/12.79	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392730-1568442929.xml-scop-3322.cnf
23.53/12.82	c (0,0) c
23.53/12.82	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)
23.53/12.82	c (0,0) c
23.53/12.82	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.53/12.82	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.53/12.82	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.53/12.82	c (0,0) c |                                                                                                       |
23.72/12.92	c (0,0) c |  Number of variables:         44734                                                                   |
23.72/12.92	c (0,0) c |  Number of clauses:          243478                                                                   |
23.72/12.92	c (0,0) c |  Parse time:                   0.09 s                                                                 |
23.72/12.92	c (0,0) c |                                                                                                       |
24.01/13.19	c (0,0) c |  Simplification time:          0.26 s                                                                 |
24.01/13.19	c (0,0) c |                                                                                                       |
24.01/13.19	c (0,0) c |  Generating clones                                                                                    |
24.19/13.33	c (0,0) c |  all clones generated. Memory =   214.41Mb.                                                           |
24.19/13.33	c (0,0) c ========================================================================================================|
24.19/13.33	c (0,0) c
24.19/13.33	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
24.19/13.33	c (0,0) c
24.19/13.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.19/13.33	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.19/13.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.19/13.33	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
24.19/13.33	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
24.19/13.33	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
24.19/13.33	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
24.19/13.33	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
24.19/13.33	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
24.19/13.33	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
24.19/13.33	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
24.19/13.33	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
24.19/13.33	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
24.19/13.33	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
24.19/13.33	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
24.19/13.33	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
24.19/13.33	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
24.19/13.33	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
24.19/13.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c real time : 15.5634 s
135.24/28.38	c (16,0) c cpu time  : 111.15 s
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c | Conflicts     |          138439 |      17054 |      17338 |      17468 |      17127 |      17394 |      17599 |      17466 |      16993 |
135.24/28.38	c (16,0) c | Decisions     |         1970831 |     246338 |     254350 |     244065 |     243784 |     237291 |     246951 |     248566 |     249486 |
135.24/28.38	c (16,0) c | Propagations  |       189849712 |   23642202 |   23793894 |   23777329 |   23473682 |   23388557 |   24052547 |   23874854 |   23846647 |
135.24/28.38	c (16,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
135.24/28.38	c (16,0) c | SimpDBs       |             296 |         37 |         37 |         37 |         36 |         37 |         38 |         37 |         37 |
135.24/28.38	c (16,0) c | Restarts      |            1764 |        221 |        219 |        220 |        217 |        218 |        230 |        217 |        222 |
135.24/28.38	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.24/28.38	c (16,0) c | PropBinClauses|       408460462 |   50903268 |   51166317 |   51007719 |   50764630 |   50487543 |   51436616 |   51409489 |   51284880 |
135.24/28.38	c (16,0) c | PropPreBlocker|      1890618257 |  235608845 |  235364400 |  235275149 |  236194554 |  235818548 |  238408806 |  238294802 |  235653153 |
135.24/28.38	c (16,0) c | PropNotBlocker|       482952033 |   60082087 |   60486975 |   60076538 |   60236377 |   60550288 |   61228869 |   60602344 |   59688555 |
135.24/28.38	c (16,0) c | LitFullScans  |      3228067851 |  402059139 |  402097825 |  402099441 |  402475003 |  402831994 |  407824260 |  406504904 |  402175285 |
135.24/28.38	c (16,0) c | LitScanFracts |          498699 |      49578 |      85436 |      49294 |      65911 |      39188 |      31833 |      30691 |     146768 |
135.24/28.38	c (16,0) c | DecisionLevel0|           13219 |       1671 |       1720 |       1624 |       1612 |       1594 |       1718 |       1609 |       1671 |
135.24/28.38	c (16,0) c | Periods       |             536 |         67 |         67 |         67 |         67 |         67 |         67 |         67 |         67 |
135.24/28.38	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
135.24/28.38	c (16,0) c | Avg_Trail     |                 |       8726 |       8583 |       8660 |       8719 |       8771 |       8652 |       8728 |       8623 |
135.24/28.38	c (16,0) c | Avg_DL        |                 |         95 |         93 |         95 |         98 |         95 |         93 |         97 |         95 |
135.24/28.38	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.24/28.38	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c | Exported      |           34660 |       4288 |       4393 |       4351 |       4303 |       4396 |       4401 |       4246 |       4282 |
135.24/28.38	c (16,0) c | Imported      |          185175 |      23017 |      22964 |      23047 |      23060 |      22966 |      23537 |      23519 |      23065 |
135.24/28.38	c (16,0) c | Good          |           42343 |       5222 |       5217 |       5343 |       5239 |       5292 |       5391 |       5340 |       5299 |
135.24/28.38	c (16,0) c | Purge         |          142832 |      17795 |      17747 |      17704 |      17821 |      17674 |      18146 |      18179 |      17766 |
135.24/28.38	c (16,0) c | Promoted      |            7529 |        864 |        968 |        981 |        949 |        938 |        985 |        983 |        861 |
135.24/28.38	c (16,0) c | Remove_Imp    |           34112 |       4632 |       3931 |       3976 |       4508 |       3866 |       3977 |       3942 |       5280 |
135.24/28.38	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c | Unaries       |                 |       1450 |       1501 |       1404 |       1395 |       1376 |       1488 |       1392 |       1449 |
135.24/28.38	c (16,0) c | Binaries      |                 |        975 |       1013 |        878 |        966 |        913 |        959 |        954 |        886 |
135.24/28.38	c (16,0) c | Glues         |                 |       1645 |       1683 |       1550 |       1620 |       1560 |       1593 |       1582 |       1527 |
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c | Orig_Seen     |            27 % |      49813 |      49825 |      49710 |      50158 |      49762 |      50214 |      50174 |      49599 |
135.24/28.38	c (16,0) c | Diff Orig seen|                 |         51 |         63 | -       52 |        396 |      X     |        452 |        412 | -      163 |
135.24/28.38	c (16,0) c | Hamming       |            12 % |       5788 |       6113 |       5557 |       5402 |      X     |       5882 |       5556 |       5468 |
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c | RunningTime   |                 |   15.0 100%|   15.0 100%|   13.6 100%|   13.5 100%|   13.5 100%|   13.5 100%|   13.5 100%|   13.9 100%|
135.24/28.38	c (16,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
135.24/28.38	c (16,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%|
135.24/28.38	c (16,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%|
135.24/28.38	c (16,0) c | SolvingTime   |                 |   15.0     |   15.0     |   13.6     |   13.5     |   13.5     |   13.6     |   13.5     |   13.9     |
135.24/28.38	c (16,0) c | PropagationTim|                 |   13.2  88%|   13.3  89%|   11.9  87%|   11.8  87%|   11.8  87%|   11.8  87%|   11.8  87%|   12.2  88%|
135.24/28.38	c (16,0) c | AnalysisTime  |                 |    0.7   5%|    0.7   4%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|    0.7   5%|
135.24/28.38	c (16,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
135.24/28.38	c (16,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|
135.24/28.38	c (16,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%|
135.24/28.38	c (16,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%|
135.24/28.38	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c
135.24/28.38	c (16,0) c Threads : 8
135.24/28.38	c (16,0) c Winner : 4
135.24/28.38	c (16,0) c Conflicts_0 : 17054
135.24/28.38	c (16,0) c Conflicts_1 : 17338
135.24/28.38	c (16,0) c Conflicts_2 : 17468
135.24/28.38	c (16,0) c Conflicts_3 : 17127
135.24/28.38	c (16,0) c Conflicts_4 : 17394
135.24/28.38	c (16,0) c Conflicts_5 : 17599
135.24/28.38	c (16,0) c Conflicts_6 : 17466
135.24/28.38	c (16,0) c Conflicts_7 : 16993
135.24/28.38	c (16,0) c Conflicts_total : 138439
135.24/28.38	c (16,0) c Conflicts_winner : 17394
135.24/28.38	c (16,0) c Decisions_0 : 246338
135.24/28.38	c (16,0) c Decisions_1 : 254350
135.24/28.38	c (16,0) c Decisions_2 : 244065
135.24/28.38	c (16,0) c Decisions_3 : 243784
135.24/28.38	c (16,0) c Decisions_4 : 237291
135.24/28.38	c (16,0) c Decisions_5 : 246951
135.24/28.38	c (16,0) c Decisions_6 : 248566
135.24/28.38	c (16,0) c Decisions_7 : 249486
135.24/28.38	c (16,0) c Decisions_total : 1970831
135.24/28.38	c (16,0) c Decisions_winner : 237291
135.24/28.38	c (16,0) c Propagations_0 : 23642202
135.24/28.38	c (16,0) c Propagations_1 : 23793894
135.24/28.38	c (16,0) c Propagations_2 : 23777329
135.24/28.38	c (16,0) c Propagations_3 : 23473682
135.24/28.38	c (16,0) c Propagations_4 : 23388557
135.24/28.38	c (16,0) c Propagations_5 : 24052547
135.24/28.38	c (16,0) c Propagations_6 : 23874854
135.24/28.38	c (16,0) c Propagations_7 : 23846647
135.24/28.38	c (16,0) c Propagations_total : 189849712
135.24/28.38	c (16,0) c Propagations_winner : 23388557
135.24/28.38	c (16,0) c ReduceDBs_0 : 3
135.24/28.38	c (16,0) c ReduceDBs_1 : 3
135.24/28.38	c (16,0) c ReduceDBs_2 : 3
135.24/28.38	c (16,0) c ReduceDBs_3 : 3
135.24/28.38	c (16,0) c ReduceDBs_4 : 3
135.24/28.38	c (16,0) c ReduceDBs_5 : 3
135.24/28.38	c (16,0) c ReduceDBs_6 : 3
135.24/28.38	c (16,0) c ReduceDBs_7 : 3
135.24/28.38	c (16,0) c ReduceDBs_total : 24
135.24/28.38	c (16,0) c ReduceDBs_winner : 3
135.24/28.38	c (16,0) c SimpDBs_0 : 37
135.24/28.38	c (16,0) c SimpDBs_1 : 37
135.24/28.38	c (16,0) c SimpDBs_2 : 37
135.24/28.38	c (16,0) c SimpDBs_3 : 36
135.24/28.38	c (16,0) c SimpDBs_4 : 37
135.24/28.38	c (16,0) c SimpDBs_5 : 38
135.24/28.38	c (16,0) c SimpDBs_6 : 37
135.24/28.38	c (16,0) c SimpDBs_7 : 37
135.24/28.38	c (16,0) c SimpDBs_total : 296
135.24/28.38	c (16,0) c SimpDBs_winner : 37
135.24/28.38	c (16,0) c Restarts_0 : 221
135.24/28.38	c (16,0) c Restarts_1 : 219
135.24/28.38	c (16,0) c Restarts_2 : 220
135.24/28.38	c (16,0) c Restarts_3 : 217
135.24/28.38	c (16,0) c Restarts_4 : 218
135.24/28.38	c (16,0) c Restarts_5 : 230
135.24/28.38	c (16,0) c Restarts_6 : 217
135.24/28.38	c (16,0) c Restarts_7 : 222
135.24/28.38	c (16,0) c Restarts_total : 1764
135.24/28.38	c (16,0) c Restarts_winner : 218
135.24/28.38	c (16,0) c ForcedImports_0 : 0
135.24/28.38	c (16,0) c ForcedImports_1 : 0
135.24/28.38	c (16,0) c ForcedImports_2 : 0
135.24/28.38	c (16,0) c ForcedImports_3 : 0
135.24/28.38	c (16,0) c ForcedImports_4 : 0
135.24/28.38	c (16,0) c ForcedImports_5 : 0
135.24/28.38	c (16,0) c ForcedImports_6 : 0
135.24/28.38	c (16,0) c ForcedImports_7 : 0
135.24/28.38	c (16,0) c ForcedImports_total : 0
135.24/28.38	c (16,0) c ForcedImports_winner : 0
135.24/28.38	c (16,0) c PropsBinClauses_0 : 50903268
135.24/28.38	c (16,0) c PropsBinClauses_1 : 51166317
135.24/28.38	c (16,0) c PropsBinClauses_2 : 51007719
135.24/28.38	c (16,0) c PropsBinClauses_3 : 50764630
135.24/28.38	c (16,0) c PropsBinClauses_4 : 50487543
135.24/28.38	c (16,0) c PropsBinClauses_5 : 51436616
135.24/28.38	c (16,0) c PropsBinClauses_6 : 51409489
135.24/28.38	c (16,0) c PropsBinClauses_7 : 51284880
135.24/28.39	c (16,0) c PropsBinClauses_total : 408460462
135.24/28.39	c (16,0) c PropsBinClauses_winner : 50487543
135.24/28.39	c (16,0) c PropsPreBlocker_0 : 235608845
135.24/28.39	c (16,0) c PropsPreBlocker_1 : 235364400
135.24/28.39	c (16,0) c PropsPreBlocker_2 : 235275149
135.24/28.39	c (16,0) c PropsPreBlocker_3 : 236194554
135.24/28.39	c (16,0) c PropsPreBlocker_4 : 235818548
135.24/28.39	c (16,0) c PropsPreBlocker_5 : 238408806
135.24/28.39	c (16,0) c PropsPreBlocker_6 : 238294802
135.24/28.39	c (16,0) c PropsPreBlocker_7 : 235653153
135.24/28.39	c (16,0) c PropsPreBlocker_total : 1890618257
135.24/28.39	c (16,0) c PropsPreBlocker_winner : 235818548
135.24/28.39	c (16,0) c PropsNotBlocker_0 : 60082087
135.24/28.39	c (16,0) c PropsNotBlocker_1 : 60486975
135.24/28.39	c (16,0) c PropsNotBlocker_2 : 60076538
135.24/28.39	c (16,0) c PropsNotBlocker_3 : 60236377
135.24/28.39	c (16,0) c PropsNotBlocker_4 : 60550288
135.24/28.39	c (16,0) c PropsNotBlocker_5 : 61228869
135.24/28.39	c (16,0) c PropsNotBlocker_6 : 60602344
135.24/28.39	c (16,0) c PropsNotBlocker_7 : 59688555
135.24/28.39	c (16,0) c PropsNotBlocker_total : 482952033
135.24/28.39	c (16,0) c PropsNotBlocker_winner : 60550288
135.24/28.39	c (16,0) c PropsLitFullScans_0 : 402059139
135.24/28.39	c (16,0) c PropsLitFullScans_1 : 402097825
135.24/28.39	c (16,0) c PropsLitFullScans_2 : 402099441
135.24/28.39	c (16,0) c PropsLitFullScans_3 : 402475003
135.24/28.39	c (16,0) c PropsLitFullScans_4 : 402831994
135.24/28.39	c (16,0) c PropsLitFullScans_5 : 407824260
135.24/28.39	c (16,0) c PropsLitFullScans_6 : 406504904
135.24/28.39	c (16,0) c PropsLitFullScans_7 : 402175285
135.24/28.39	c (16,0) c PropsLitFullScans_total : 3228067851
135.24/28.39	c (16,0) c PropsLitFullScans_winner : 402831994
135.24/28.39	c (16,0) c LitScanFractions_0 : 49578
135.24/28.39	c (16,0) c LitScanFractions_1 : 85436
135.24/28.39	c (16,0) c LitScanFractions_2 : 49294
135.24/28.39	c (16,0) c LitScanFractions_3 : 65911
135.24/28.39	c (16,0) c LitScanFractions_4 : 39188
135.24/28.39	c (16,0) c LitScanFractions_5 : 31833
135.24/28.39	c (16,0) c LitScanFractions_6 : 30691
135.24/28.39	c (16,0) c LitScanFractions_7 : 146768
135.24/28.39	c (16,0) c LitScanFractions_total : 498699
135.24/28.39	c (16,0) c LitScanFractions_winner : 39188
135.24/28.39	c (16,0) c DecisionLevel0_0 : 1671
135.24/28.39	c (16,0) c DecisionLevel0_1 : 1720
135.24/28.39	c (16,0) c DecisionLevel0_2 : 1624
135.24/28.39	c (16,0) c DecisionLevel0_3 : 1612
135.24/28.39	c (16,0) c DecisionLevel0_4 : 1594
135.24/28.39	c (16,0) c DecisionLevel0_5 : 1718
135.24/28.39	c (16,0) c DecisionLevel0_6 : 1609
135.24/28.39	c (16,0) c DecisionLevel0_7 : 1671
135.24/28.39	c (16,0) c DecisionLevel0_total : 13219
135.24/28.39	c (16,0) c DecisionLevel0_winner : 1594
135.24/28.39	c (16,0) c Periods_0 : 67
135.24/28.39	c (16,0) c Periods_1 : 67
135.24/28.39	c (16,0) c Periods_2 : 67
135.24/28.39	c (16,0) c Periods_3 : 67
135.24/28.39	c (16,0) c Periods_4 : 67
135.24/28.39	c (16,0) c Periods_5 : 67
135.24/28.39	c (16,0) c Periods_6 : 67
135.24/28.39	c (16,0) c Periods_7 : 67
135.24/28.39	c (16,0) c Periods_total : 536
135.24/28.39	c (16,0) c Periods_winner : 67
135.24/28.39	c (16,0) c Margin_0 : 20
135.24/28.39	c (16,0) c Margin_1 : 20
135.24/28.39	c (16,0) c Margin_2 : 20
135.24/28.39	c (16,0) c Margin_3 : 20
135.24/28.39	c (16,0) c Margin_4 : 20
135.24/28.39	c (16,0) c Margin_5 : 20
135.24/28.39	c (16,0) c Margin_6 : 20
135.24/28.39	c (16,0) c Margin_7 : 20
135.24/28.39	c (16,0) c Margin_total : 160
135.24/28.39	c (16,0) c Margin_winner : 20
135.24/28.39	c (16,0) c Exported_0 : 4288
135.24/28.39	c (16,0) c Exported_1 : 4393
135.24/28.39	c (16,0) c Exported_2 : 4351
135.24/28.39	c (16,0) c Exported_3 : 4303
135.24/28.39	c (16,0) c Exported_4 : 4396
135.24/28.39	c (16,0) c Exported_5 : 4401
135.24/28.39	c (16,0) c Exported_6 : 4246
135.24/28.39	c (16,0) c Exported_7 : 4282
135.24/28.39	c (16,0) c Exported_total : 34660
135.24/28.39	c (16,0) c Exported_winner : 4396
135.24/28.39	c (16,0) c Imported_0 : 23017
135.24/28.39	c (16,0) c Imported_1 : 22964
135.24/28.39	c (16,0) c Imported_2 : 23047
135.24/28.39	c (16,0) c Imported_3 : 23060
135.24/28.39	c (16,0) c Imported_4 : 22966
135.24/28.39	c (16,0) c Imported_5 : 23537
135.24/28.39	c (16,0) c Imported_6 : 23519
135.24/28.39	c (16,0) c Imported_7 : 23065
135.24/28.39	c (16,0) c Imported_total : 185175
135.24/28.39	c (16,0) c Imported_winner : 22966
135.24/28.39	c (16,0) c Good_0 : 5222
135.24/28.39	c (16,0) c Good_1 : 5217
135.24/28.39	c (16,0) c Good_2 : 5343
135.24/28.39	c (16,0) c Good_3 : 5239
135.24/28.39	c (16,0) c Good_4 : 5292
135.24/28.39	c (16,0) c Good_5 : 5391
135.24/28.39	c (16,0) c Good_6 : 5340
135.24/28.39	c (16,0) c Good_7 : 5299
135.24/28.39	c (16,0) c Good_total : 42343
135.24/28.39	c (16,0) c Good_winner : 5292
135.24/28.39	c (16,0) c Purge_0 : 17795
135.24/28.39	c (16,0) c Purge_1 : 17747
135.24/28.39	c (16,0) c Purge_2 : 17704
135.24/28.39	c (16,0) c Purge_3 : 17821
135.24/28.39	c (16,0) c Purge_4 : 17674
135.24/28.39	c (16,0) c Purge_5 : 18146
135.24/28.39	c (16,0) c Purge_6 : 18179
135.24/28.39	c (16,0) c Purge_7 : 17766
135.24/28.39	c (16,0) c Purge_total : 142832
135.24/28.39	c (16,0) c Purge_winner : 17674
135.24/28.39	c (16,0) c Promoted_0 : 864
135.24/28.39	c (16,0) c Promoted_1 : 968
135.24/28.39	c (16,0) c Promoted_2 : 981
135.24/28.39	c (16,0) c Promoted_3 : 949
135.24/28.39	c (16,0) c Promoted_4 : 938
135.24/28.39	c (16,0) c Promoted_5 : 985
135.24/28.39	c (16,0) c Promoted_6 : 983
135.24/28.39	c (16,0) c Promoted_7 : 861
135.24/28.39	c (16,0) c Promoted_total : 7529
135.24/28.39	c (16,0) c Promoted_winner : 938
135.24/28.39	c (16,0) c Remove_Imp_0 : 4632
135.24/28.39	c (16,0) c Remove_Imp_1 : 3931
135.24/28.39	c (16,0) c Remove_Imp_2 : 3976
135.24/28.39	c (16,0) c Remove_Imp_3 : 4508
135.24/28.39	c (16,0) c Remove_Imp_4 : 3866
135.24/28.39	c (16,0) c Remove_Imp_5 : 3977
135.24/28.39	c (16,0) c Remove_Imp_6 : 3942
135.24/28.39	c (16,0) c Remove_Imp_7 : 5280
135.24/28.39	c (16,0) c Remove_Imp_total : 34112
135.24/28.39	c (16,0) c Remove_Imp_winner : 3866
135.24/28.39	c (16,0) c Blocked_Reuse_0 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_1 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_2 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_3 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_4 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_5 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_6 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_7 : 0
135.24/28.39	c (16,0) c Blocked_Reuse_total : 0
135.24/28.39	c (16,0) c Blocked_Reuse_winner : 0
135.24/28.39	c (16,0) c Unaries_0 : 1450
135.24/28.39	c (16,0) c Unaries_1 : 1501
135.24/28.39	c (16,0) c Unaries_2 : 1404
135.24/28.39	c (16,0) c Unaries_3 : 1395
135.24/28.39	c (16,0) c Unaries_4 : 1376
135.24/28.39	c (16,0) c Unaries_5 : 1488
135.24/28.39	c (16,0) c Unaries_6 : 1392
135.24/28.39	c (16,0) c Unaries_7 : 1449
135.24/28.39	c (16,0) c Unaries_total : 11455
135.24/28.39	c (16,0) c Unaries_winner : 1376
135.24/28.39	c (16,0) c Binaries_0 : 975
135.24/28.39	c (16,0) c Binaries_1 : 1013
135.24/28.39	c (16,0) c Binaries_2 : 878
135.24/28.39	c (16,0) c Binaries_3 : 966
135.24/28.39	c (16,0) c Binaries_4 : 913
135.24/28.39	c (16,0) c Binaries_5 : 959
135.24/28.39	c (16,0) c Binaries_6 : 954
135.24/28.39	c (16,0) c Binaries_7 : 886
135.24/28.39	c (16,0) c Binaries_total : 7544
135.24/28.39	c (16,0) c Binaries_winner : 913
135.24/28.39	c (16,0) c Glues_0 : 1645
135.24/28.39	c (16,0) c Glues_1 : 1683
135.24/28.39	c (16,0) c Glues_2 : 1550
135.24/28.39	c (16,0) c Glues_3 : 1620
135.24/28.39	c (16,0) c Glues_4 : 1560
135.24/28.39	c (16,0) c Glues_5 : 1593
135.24/28.39	c (16,0) c Glues_6 : 1582
135.24/28.39	c (16,0) c Glues_7 : 1527
135.24/28.39	c (16,0) c Glues_total : 12760
135.24/28.39	c (16,0) c Glues_winner : 1560
135.24/28.39	c (16,0) c RunningTime_0 : 14.951580
135.24/28.39	c (16,0) c RunningTime_1 : 15.029333
135.24/28.39	c (16,0) c RunningTime_2 : 13.591002
135.24/28.39	c (16,0) c RunningTime_3 : 13.519958
135.24/28.39	c (16,0) c RunningTime_4 : 13.519435
135.24/28.39	c (16,0) c RunningTime_5 : 13.540299
135.24/28.39	c (16,0) c RunningTime_6 : 13.525215
135.24/28.39	c (16,0) c RunningTime_7 : 13.878477
135.24/28.39	c (16,0) c RunningTime_total : 111.555299
135.24/28.39	c (16,0) c RunningTime_winner : 13.519435
135.24/28.39	c (16,0) c WaitingTime_0 : 0.000070
135.24/28.39	c (16,0) c WaitingTime_1 : 0.000059
135.24/28.39	c (16,0) c WaitingTime_2 : 0.000072
135.24/28.39	c (16,0) c WaitingTime_3 : 0.000065
135.24/28.39	c (16,0) c WaitingTime_4 : 0.000089
135.24/28.39	c (16,0) c WaitingTime_5 : 0.000093
135.24/28.39	c (16,0) c WaitingTime_6 : 0.000084
135.24/28.39	c (16,0) c WaitingTime_7 : 0.000077
135.24/28.39	c (16,0) c WaitingTime_total : 0.000608
135.24/28.39	c (16,0) c WaitingTime_winner : 0.000089
135.24/28.39	c (16,0) c ExchangingTime_0 : 0.013005
135.24/28.39	c (16,0) c ExchangingTime_1 : 0.012036
135.24/28.39	c (16,0) c ExchangingTime_2 : 0.012767
135.24/28.39	c (16,0) c ExchangingTime_3 : 0.011977
135.24/28.39	c (16,0) c ExchangingTime_4 : 0.012102
135.24/28.39	c (16,0) c ExchangingTime_5 : 0.012038
135.24/28.39	c (16,0) c ExchangingTime_6 : 0.012284
135.24/28.39	c (16,0) c ExchangingTime_7 : 0.011739
135.24/28.39	c (16,0) c ExchangingTime_total : 0.097947
135.24/28.39	c (16,0) c ExchangingTime_winner : 0.012102
135.24/28.39	c (16,0) c PeriodProcTime_0 : 0.000641
135.24/28.39	c (16,0) c PeriodProcTime_1 : 0.000595
135.24/28.39	c (16,0) c PeriodProcTime_2 : 0.000622
135.24/28.39	c (16,0) c PeriodProcTime_3 : 0.000586
135.24/28.39	c (16,0) c PeriodProcTime_4 : 0.000646
135.24/28.39	c (16,0) c PeriodProcTime_5 : 0.000588
135.24/28.39	c (16,0) c PeriodProcTime_6 : 0.000615
135.24/28.39	c (16,0) c PeriodProcTime_7 : 0.000623
135.24/28.39	c (16,0) c PeriodProcTime_total : 0.004916
135.24/28.39	c (16,0) c PeriodProcTime_winner : 0.000646
135.24/28.39	c (16,0) c SolvingTime_0 : 14.965296
135.24/28.39	c (16,0) c SolvingTime_1 : 15.042022
135.24/28.39	c (16,0) c SolvingTime_2 : 13.604463
135.24/28.39	c (16,0) c SolvingTime_3 : 13.532585
135.24/28.39	c (16,0) c SolvingTime_4 : 13.532271
135.24/28.39	c (16,0) c SolvingTime_5 : 13.553018
135.24/28.39	c (16,0) c SolvingTime_6 : 13.538198
135.24/28.39	c (16,0) c SolvingTime_7 : 13.890917
135.24/28.39	c (16,0) c SolvingTime_total : 111.658770
135.24/28.39	c (16,0) c SolvingTime_winner : 13.532271
135.24/28.39	c (16,0) c PropagationTime_0 : 13.177810
135.24/28.39	c (16,0) c PropagationTime_1 : 13.345110
135.24/28.39	c (16,0) c PropagationTime_2 : 11.887460
135.24/28.39	c (16,0) c PropagationTime_3 : 11.831319
135.24/28.39	c (16,0) c PropagationTime_4 : 11.806310
135.24/28.39	c (16,0) c PropagationTime_5 : 11.824819
135.24/28.39	c (16,0) c PropagationTime_6 : 11.823165
135.24/28.39	c (16,0) c PropagationTime_7 : 12.177810
135.24/28.39	c (16,0) c PropagationTime_total : 97.873802
135.24/28.39	c (16,0) c PropagationTime_winner : 11.806310
135.24/28.39	c (16,0) c AnalysisTime_0 : 0.722387
135.24/28.39	c (16,0) c AnalysisTime_1 : 0.663810
135.24/28.39	c (16,0) c AnalysisTime_2 : 0.701793
135.24/28.39	c (16,0) c AnalysisTime_3 : 0.708814
135.24/28.39	c (16,0) c AnalysisTime_4 : 0.715650
135.24/28.39	c (16,0) c AnalysisTime_5 : 0.704278
135.24/28.39	c (16,0) c AnalysisTime_6 : 0.716395
135.24/28.39	c (16,0) c AnalysisTime_7 : 0.703958
135.24/28.39	c (16,0) c AnalysisTime_total : 5.637085
135.24/28.39	c (16,0) c AnalysisTime_winner : 0.715650
135.24/28.39	c (16,0) c ReductionTime_0 : 0.036615
135.24/28.39	c (16,0) c ReductionTime_1 : 0.035746
135.24/28.39	c (16,0) c ReductionTime_2 : 0.032891
135.24/28.39	c (16,0) c ReductionTime_3 : 0.032795
135.24/28.39	c (16,0) c ReductionTime_4 : 0.032686
135.24/28.39	c (16,0) c ReductionTime_5 : 0.032187
135.24/28.39	c (16,0) c ReductionTime_6 : 0.032017
135.24/28.39	c (16,0) c ReductionTime_7 : 0.033502
135.24/28.39	c (16,0) c ReductionTime_total : 0.268439
135.24/28.39	c (16,0) c ReductionTime_winner : 0.032686
135.24/28.39	c (16,0) c SimplifyTime_0 : 0.208270
135.24/28.39	c (16,0) c SimplifyTime_1 : 0.211917
135.24/28.39	c (16,0) c SimplifyTime_2 : 0.216254
135.24/28.39	c (16,0) c SimplifyTime_3 : 0.207671
135.24/28.39	c (16,0) c SimplifyTime_4 : 0.215930
135.24/28.39	c (16,0) c SimplifyTime_5 : 0.220573
135.24/28.39	c (16,0) c SimplifyTime_6 : 0.213529
135.24/28.39	c (16,0) c SimplifyTime_7 : 0.210629
135.24/28.39	c (16,0) c SimplifyTime_total : 1.704773
135.24/28.39	c (16,0) c SimplifyTime_winner : 0.215930
135.24/28.39	c (16,0) c UsedRateTime_0 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_1 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_2 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_3 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_4 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_5 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_6 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_7 : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_total : 0.000000
135.24/28.39	c (16,0) c UsedRateTime_winner : 0.000000
135.24/28.39	c (16,0) c OverlapRateTime_0 : 0.000000
135.24/28.39	c (16,0) c OverlapRateTime_1 : 0.000000
135.24/28.39	c (16,0) c OverlapRateTime_2 : 0.000000
135.24/28.39	c (16,0) c OverlapRateTime_3 : 0.000000
135.24/28.40	c (16,0) c OverlapRateTime_4 : 0.000000
135.24/28.40	c (16,0) c OverlapRateTime_5 : 0.000000
135.24/28.40	c (16,0) c OverlapRateTime_6 : 0.000000
135.24/28.40	c (16,0) c OverlapRateTime_7 : 0.000000
135.24/28.40	c (16,0) c OverlapRateTime_total : 0.000000
135.24/28.40	c (16,0) c OverlapRateTime_winner : 0.000000
135.24/28.40	c (16,0) c
135.24/28.40	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
135.24/28.40	c (16,0) c
135.24/28.40	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.40	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
135.24/28.40	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.40	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
135.24/28.40	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
135.24/28.40	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
135.24/28.40	c (16,0) c | Initial random_seed   | 1142887669 | 1413002532 | 1158038127 | 1141901082 |   52678347 |  763336904 |  797105166 |  293329195 |
135.24/28.40	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
135.24/28.40	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
135.24/28.40	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
135.24/28.40	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
135.24/28.40	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
135.24/28.40	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
135.24/28.40	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
135.24/28.40	c (16,0) c | var_decay             |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |     0.8300 |
135.24/28.40	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
135.24/28.40	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
135.24/28.40	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
135.24/28.40	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.24/28.40	c (16,0) 
135.24/28.40	c (16,0) s SATISFIABLE
135.41/28.46	c (16,0) SatSolver.solve End
135.41/28.46	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
135.41/28.46	c (16,0) Show results Begin
135.89/28.68	c (16,0) x[0][0] = 19
135.89/28.68	c (16,0) x[0][1] = 18
135.89/28.68	c (16,0) x[0][2] = 17
135.89/28.68	c (16,0) x[0][3] = 28
135.89/28.68	c (16,0) x[0][4] = 12
135.89/28.68	c (16,0) x[0][5] = 14
135.89/28.68	c (16,0) x[0][6] = 16
135.89/28.68	c (16,0) x[0][7] = 24
135.89/28.68	c (16,0) x[0][8] = 11
135.89/28.68	c (16,0) x[0][9] = 3
135.89/28.68	c (16,0) x[0][10] = 6
135.89/28.68	c (16,0) x[0][11] = 20
135.89/28.68	c (16,0) x[0][12] = 0
135.89/28.68	c (16,0) x[0][13] = 13
135.89/28.68	c (16,0) x[0][14] = 2
135.89/28.68	c (16,0) x[0][15] = 23
135.89/28.68	c (16,0) x[0][16] = 21
135.89/28.68	c (16,0) x[0][17] = 27
135.89/28.68	c (16,0) x[0][18] = 29
135.89/28.68	c (16,0) x[0][19] = 5
135.89/28.68	c (16,0) x[0][20] = 4
135.89/28.68	c (16,0) x[0][21] = 22
135.89/28.68	c (16,0) x[0][22] = 9
135.89/28.68	c (16,0) x[0][23] = 25
135.89/28.68	c (16,0) x[0][24] = 10
135.89/28.68	c (16,0) x[0][25] = 15
135.89/28.68	c (16,0) x[0][26] = 8
135.89/28.68	c (16,0) x[0][27] = 1
135.89/28.68	c (16,0) x[0][28] = 26
135.89/28.68	c (16,0) x[0][29] = 7
135.89/28.68	c (16,0) x[1][0] = 24
135.89/28.68	c (16,0) x[1][1] = 17
135.89/28.68	c (16,0) x[1][2] = 2
135.89/28.68	c (16,0) x[1][3] = 4
135.89/28.68	c (16,0) x[1][4] = 28
135.89/28.68	c (16,0) x[1][5] = 21
135.89/28.68	c (16,0) x[1][6] = 27
135.89/28.68	c (16,0) x[1][7] = 16
135.89/28.68	c (16,0) x[1][8] = 19
135.89/28.68	c (16,0) x[1][9] = 6
135.89/28.68	c (16,0) x[1][10] = 29
135.89/28.68	c (16,0) x[1][11] = 5
135.89/28.68	c (16,0) x[1][12] = 20
135.89/28.68	c (16,0) x[1][13] = 7
135.89/28.68	c (16,0) x[1][14] = 23
135.89/28.68	c (16,0) x[1][15] = 1
135.89/28.68	c (16,0) x[1][16] = 25
135.89/28.68	c (16,0) x[1][17] = 0
135.89/28.68	c (16,0) x[1][18] = 12
135.89/28.68	c (16,0) x[1][19] = 10
135.89/28.68	c (16,0) x[1][20] = 22
135.89/28.68	c (16,0) x[1][21] = 9
135.89/28.68	c (16,0) x[1][22] = 14
135.89/28.68	c (16,0) x[1][23] = 13
135.89/28.68	c (16,0) x[1][24] = 18
135.89/28.68	c (16,0) x[1][25] = 11
135.89/28.68	c (16,0) x[1][26] = 26
135.89/28.68	c (16,0) x[1][27] = 8
135.89/28.68	c (16,0) x[1][28] = 3
135.89/28.68	c (16,0) x[1][29] = 15
135.89/28.68	c (16,0) x[2][0] = 14
135.89/28.68	c (16,0) x[2][1] = 20
135.89/28.68	c (16,0) x[2][2] = 29
135.89/28.68	c (16,0) x[2][3] = 8
135.89/28.68	c (16,0) x[2][4] = 3
135.89/28.68	c (16,0) x[2][5] = 5
135.89/28.68	c (16,0) x[2][6] = 18
135.89/28.68	c (16,0) x[2][7] = 2
135.89/28.68	c (16,0) x[2][8] = 10
135.89/28.68	c (16,0) x[2][9] = 13
135.89/28.68	c (16,0) x[2][10] = 27
135.89/28.68	c (16,0) x[2][11] = 1
135.89/28.68	c (16,0) x[2][12] = 4
135.89/28.68	c (16,0) x[2][13] = 15
135.89/28.68	c (16,0) x[2][14] = 9
135.89/28.68	c (16,0) x[2][15] = 26
135.89/28.68	c (16,0) x[2][16] = 22
135.89/28.68	c (16,0) x[2][17] = 25
135.89/28.68	c (16,0) x[2][18] = 11
135.89/28.68	c (16,0) x[2][19] = 19
135.89/28.68	c (16,0) x[2][20] = 24
135.89/28.68	c (16,0) x[2][21] = 17
135.89/28.68	c (16,0) x[2][22] = 21
135.89/28.68	c (16,0) x[2][23] = 0
135.89/28.68	c (16,0) x[2][24] = 12
135.89/28.68	c (16,0) x[2][25] = 6
135.89/28.69	c (16,0) x[2][26] = 23
135.89/28.69	c (16,0) x[2][27] = 7
135.89/28.69	c (16,0) x[2][28] = 28
135.89/28.69	c (16,0) x[2][29] = 16
135.89/28.69	c (16,0) x[3][0] = 21
135.89/28.69	c (16,0) x[3][1] = 26
135.89/28.69	c (16,0) x[3][2] = 19
135.89/28.69	c (16,0) x[3][3] = 0
135.89/28.69	c (16,0) x[3][4] = 8
135.89/28.69	c (16,0) x[3][5] = 16
135.89/28.69	c (16,0) x[3][6] = 5
135.89/28.69	c (16,0) x[3][7] = 9
135.89/28.69	c (16,0) x[3][8] = 15
135.89/28.69	c (16,0) x[3][9] = 29
135.89/28.69	c (16,0) x[3][10] = 22
135.89/28.69	c (16,0) x[3][11] = 17
135.89/28.69	c (16,0) x[3][12] = 11
135.89/28.69	c (16,0) x[3][13] = 3
135.89/28.69	c (16,0) x[3][14] = 12
135.89/28.69	c (16,0) x[3][15] = 24
135.89/28.69	c (16,0) x[3][16] = 4
135.89/28.69	c (16,0) x[3][17] = 10
135.89/28.69	c (16,0) x[3][18] = 25
135.89/28.69	c (16,0) x[3][19] = 7
135.89/28.69	c (16,0) x[3][20] = 28
135.89/28.69	c (16,0) x[3][21] = 20
135.89/28.69	c (16,0) x[3][22] = 27
135.89/28.69	c (16,0) x[3][23] = 23
135.89/28.69	c (16,0) x[3][24] = 1
135.89/28.69	c (16,0) x[3][25] = 18
135.89/28.69	c (16,0) x[3][26] = 14
135.89/28.69	c (16,0) x[3][27] = 6
135.89/28.69	c (16,0) x[3][28] = 2
135.89/28.69	c (16,0) x[3][29] = 13
135.89/28.69	c (16,0) x[4][0] = 0
135.89/28.69	c (16,0) x[4][1] = 16
135.89/28.69	c (16,0) x[4][2] = 3
135.89/28.69	c (16,0) x[4][3] = 2
135.89/28.69	c (16,0) x[4][4] = 27
135.89/28.69	c (16,0) x[4][5] = 24
135.89/28.69	c (16,0) x[4][6] = 1
135.89/28.69	c (16,0) x[4][7] = 8
135.89/28.69	c (16,0) x[4][8] = 17
135.89/28.69	c (16,0) x[4][9] = 14
135.89/28.69	c (16,0) x[4][10] = 21
135.89/28.69	c (16,0) x[4][11] = 7
135.89/28.69	c (16,0) x[4][12] = 9
135.89/28.69	c (16,0) x[4][13] = 12
135.89/28.69	c (16,0) x[4][14] = 19
135.89/28.69	c (16,0) x[4][15] = 13
135.89/28.69	c (16,0) x[4][16] = 23
135.89/28.69	c (16,0) x[4][17] = 5
135.89/28.69	c (16,0) x[4][18] = 10
135.89/28.69	c (16,0) x[4][19] = 28
135.89/28.69	c (16,0) x[4][20] = 29
135.89/28.69	c (16,0) x[4][21] = 6
135.89/28.69	c (16,0) x[4][22] = 20
135.89/28.69	c (16,0) x[4][23] = 26
135.89/28.69	c (16,0) x[4][24] = 11
135.89/28.69	c (16,0) x[4][25] = 25
135.89/28.69	c (16,0) x[4][26] = 15
135.89/28.69	c (16,0) x[4][27] = 4
135.89/28.69	c (16,0) x[4][28] = 18
135.89/28.69	c (16,0) x[4][29] = 22
135.89/28.69	c (16,0) x[5][0] = 6
135.89/28.69	c (16,0) x[5][1] = 0
135.89/28.69	c (16,0) x[5][2] = 24
135.89/28.69	c (16,0) x[5][3] = 10
135.89/28.69	c (16,0) x[5][4] = 16
135.89/28.69	c (16,0) x[5][5] = 11
135.89/28.69	c (16,0) x[5][6] = 12
135.89/28.69	c (16,0) x[5][7] = 23
135.89/28.69	c (16,0) x[5][8] = 14
135.89/28.69	c (16,0) x[5][9] = 15
135.89/28.69	c (16,0) x[5][10] = 3
135.89/28.69	c (16,0) x[5][11] = 19
135.89/28.69	c (16,0) x[5][12] = 13
135.89/28.69	c (16,0) x[5][13] = 22
135.89/28.69	c (16,0) x[5][14] = 8
135.89/28.69	c (16,0) x[5][15] = 9
135.89/28.69	c (16,0) x[5][16] = 27
135.89/28.69	c (16,0) x[5][17] = 17
135.89/28.69	c (16,0) x[5][18] = 20
135.89/28.69	c (16,0) x[5][19] = 4
135.89/28.69	c (16,0) x[5][20] = 18
135.89/28.69	c (16,0) x[5][21] = 1
135.89/28.69	c (16,0) x[5][22] = 26
135.89/28.69	c (16,0) x[5][23] = 29
135.89/28.69	c (16,0) x[5][24] = 2
135.89/28.69	c (16,0) x[5][25] = 5
135.89/28.69	c (16,0) x[5][26] = 21
135.89/28.69	c (16,0) x[5][27] = 25
135.89/28.69	c (16,0) x[5][28] = 7
135.89/28.69	c (16,0) x[5][29] = 28
135.89/28.69	c (16,0) x[6][0] = 13
135.89/28.69	c (16,0) x[6][1] = 11
135.89/28.69	c (16,0) x[6][2] = 5
135.89/28.69	c (16,0) x[6][3] = 22
135.89/28.69	c (16,0) x[6][4] = 9
135.89/28.69	c (16,0) x[6][5] = 15
135.89/28.69	c (16,0) x[6][6] = 25
135.89/28.69	c (16,0) x[6][7] = 3
135.89/28.69	c (16,0) x[6][8] = 26
135.89/28.69	c (16,0) x[6][9] = 1
135.89/28.69	c (16,0) x[6][10] = 12
135.89/28.69	c (16,0) x[6][11] = 23
135.89/28.69	c (16,0) x[6][12] = 8
135.89/28.69	c (16,0) x[6][13] = 20
135.89/28.69	c (16,0) x[6][14] = 0
135.89/28.69	c (16,0) x[6][15] = 2
135.89/28.69	c (16,0) x[6][16] = 16
135.89/28.69	c (16,0) x[6][17] = 29
135.89/28.69	c (16,0) x[6][18] = 7
135.89/28.69	c (16,0) x[6][19] = 24
135.89/28.69	c (16,0) x[6][20] = 6
135.89/28.69	c (16,0) x[6][21] = 18
135.89/28.69	c (16,0) x[6][22] = 28
135.89/28.69	c (16,0) x[6][23] = 14
135.89/28.69	c (16,0) x[6][24] = 19
135.89/28.69	c (16,0) x[6][25] = 17
135.89/28.69	c (16,0) x[6][26] = 27
135.89/28.69	c (16,0) x[6][27] = 10
135.89/28.69	c (16,0) x[6][28] = 21
135.89/28.69	c (16,0) x[6][29] = 4
135.89/28.69	c (16,0) x[7][0] = 11
135.89/28.69	c (16,0) x[7][1] = 15
135.89/28.69	c (16,0) x[7][2] = 1
135.89/28.69	c (16,0) x[7][3] = 6
135.89/28.69	c (16,0) x[7][4] = 7
135.89/28.69	c (16,0) x[7][5] = 0
135.89/28.69	c (16,0) x[7][6] = 8
135.89/28.69	c (16,0) x[7][7] = 29
135.89/28.69	c (16,0) x[7][8] = 27
135.89/28.69	c (16,0) x[7][9] = 24
135.89/28.69	c (16,0) x[7][10] = 20
135.89/28.69	c (16,0) x[7][11] = 13
135.89/28.69	c (16,0) x[7][12] = 19
135.89/28.69	c (16,0) x[7][13] = 17
135.89/28.69	c (16,0) x[7][14] = 18
135.89/28.69	c (16,0) x[7][15] = 21
135.89/28.69	c (16,0) x[7][16] = 9
135.89/28.69	c (16,0) x[7][17] = 14
135.89/28.69	c (16,0) x[7][18] = 28
135.89/28.69	c (16,0) x[7][19] = 25
135.89/28.69	c (16,0) x[7][20] = 26
135.89/28.69	c (16,0) x[7][21] = 2
135.89/28.69	c (16,0) x[7][22] = 3
135.89/28.69	c (16,0) x[7][23] = 10
135.89/28.69	c (16,0) x[7][24] = 16
135.89/28.69	c (16,0) x[7][25] = 4
135.89/28.69	c (16,0) x[7][26] = 12
135.89/28.69	c (16,0) x[7][27] = 22
135.89/28.69	c (16,0) x[7][28] = 5
135.89/28.69	c (16,0) x[7][29] = 23
135.89/28.69	c (16,0) x[8][0] = 18
135.89/28.69	c (16,0) x[8][1] = 19
135.89/28.69	c (16,0) x[8][2] = 27
135.89/28.69	c (16,0) x[8][3] = 7
135.89/28.69	c (16,0) x[8][4] = 10
135.89/28.69	c (16,0) x[8][5] = 29
135.89/28.69	c (16,0) x[8][6] = 28
135.89/28.69	c (16,0) x[8][7] = 6
135.89/28.69	c (16,0) x[8][8] = 5
135.89/28.69	c (16,0) x[8][9] = 12
135.89/28.69	c (16,0) x[8][10] = 4
135.89/28.69	c (16,0) x[8][11] = 26
135.89/28.69	c (16,0) x[8][12] = 2
135.89/28.69	c (16,0) x[8][13] = 16
135.89/28.69	c (16,0) x[8][14] = 17
135.89/28.69	c (16,0) x[8][15] = 20
135.89/28.69	c (16,0) x[8][16] = 14
135.89/28.69	c (16,0) x[8][17] = 13
135.89/28.69	c (16,0) x[8][18] = 22
135.89/28.69	c (16,0) x[8][19] = 23
135.89/28.69	c (16,0) x[8][20] = 11
135.89/28.69	c (16,0) x[8][21] = 3
135.89/28.69	c (16,0) x[8][22] = 24
135.89/28.69	c (16,0) x[8][23] = 8
135.89/28.69	c (16,0) x[8][24] = 25
135.89/28.69	c (16,0) x[8][25] = 21
135.89/28.69	c (16,0) x[8][26] = 0
135.89/28.69	c (16,0) x[8][27] = 9
135.89/28.69	c (16,0) x[8][28] = 15
135.89/28.69	c (16,0) x[8][29] = 1
135.89/28.69	c (16,0) x[9][0] = 1
135.89/28.69	c (16,0) x[9][1] = 2
135.89/28.69	c (16,0) x[9][2] = 20
135.89/28.69	c (16,0) x[9][3] = 23
135.89/28.69	c (16,0) x[9][4] = 25
135.89/28.69	c (16,0) x[9][5] = 28
135.89/28.69	c (16,0) x[9][6] = 4
135.89/28.69	c (16,0) x[9][7] = 0
135.89/28.69	c (16,0) x[9][8] = 13
135.89/28.69	c (16,0) x[9][9] = 11
135.89/28.69	c (16,0) x[9][10] = 7
135.89/28.69	c (16,0) x[9][11] = 16
135.89/28.69	c (16,0) x[9][12] = 12
135.89/28.69	c (16,0) x[9][13] = 5
135.89/28.69	c (16,0) x[9][14] = 29
135.89/28.69	c (16,0) x[9][15] = 22
135.89/28.69	c (16,0) x[9][16] = 17
135.89/28.69	c (16,0) x[9][17] = 9
135.89/28.69	c (16,0) x[9][18] = 24
135.89/28.69	c (16,0) x[9][19] = 27
135.89/28.69	c (16,0) x[9][20] = 21
135.89/28.69	c (16,0) x[9][21] = 14
135.89/28.69	c (16,0) x[9][22] = 8
135.89/28.69	c (16,0) x[9][23] = 15
135.89/28.69	c (16,0) x[9][24] = 26
135.89/28.69	c (16,0) x[9][25] = 10
135.89/28.69	c (16,0) x[9][26] = 3
135.89/28.69	c (16,0) x[9][27] = 18
135.89/28.69	c (16,0) x[9][28] = 6
135.89/28.69	c (16,0) x[9][29] = 19
135.89/28.69	c (16,0) x[10][0] = 15
135.89/28.69	c (16,0) x[10][1] = 27
135.89/28.69	c (16,0) x[10][2] = 9
135.89/28.69	c (16,0) x[10][3] = 14
135.89/28.69	c (16,0) x[10][4] = 18
135.89/28.69	c (16,0) x[10][5] = 10
135.89/28.69	c (16,0) x[10][6] = 6
135.89/28.69	c (16,0) x[10][7] = 26
135.89/28.69	c (16,0) x[10][8] = 23
135.89/28.69	c (16,0) x[10][9] = 19
135.89/28.69	c (16,0) x[10][10] = 5
135.89/28.69	c (16,0) x[10][11] = 25
135.89/28.69	c (16,0) x[10][12] = 3
135.89/28.69	c (16,0) x[10][13] = 28
135.89/28.69	c (16,0) x[10][14] = 22
135.89/28.69	c (16,0) x[10][15] = 29
135.89/28.69	c (16,0) x[10][16] = 8
135.89/28.69	c (16,0) x[10][17] = 20
135.89/28.69	c (16,0) x[10][18] = 1
135.89/28.69	c (16,0) x[10][19] = 2
135.89/28.69	c (16,0) x[10][20] = 0
135.89/28.69	c (16,0) x[10][21] = 21
135.89/28.69	c (16,0) x[10][22] = 16
135.89/28.69	c (16,0) x[10][23] = 4
135.89/28.69	c (16,0) x[10][24] = 13
135.89/28.69	c (16,0) x[10][25] = 12
135.89/28.69	c (16,0) x[10][26] = 7
135.89/28.69	c (16,0) x[10][27] = 24
135.89/28.69	c (16,0) x[10][28] = 11
135.89/28.69	c (16,0) x[10][29] = 17
135.89/28.69	c (16,0) x[11][0] = 2
135.89/28.69	c (16,0) x[11][1] = 14
135.89/28.69	c (16,0) x[11][2] = 12
135.89/28.69	c (16,0) x[11][3] = 1
135.89/28.69	c (16,0) x[11][4] = 4
135.89/28.69	c (16,0) x[11][5] = 17
135.89/28.69	c (16,0) x[11][6] = 19
135.89/28.69	c (16,0) x[11][7] = 22
135.89/28.69	c (16,0) x[11][8] = 25
135.89/28.69	c (16,0) x[11][9] = 26
135.89/28.69	c (16,0) x[11][10] = 8
135.89/28.69	c (16,0) x[11][11] = 6
135.89/28.69	c (16,0) x[11][12] = 21
135.89/28.69	c (16,0) x[11][13] = 0
135.89/28.69	c (16,0) x[11][14] = 27
135.89/28.69	c (16,0) x[11][15] = 3
135.89/28.69	c (16,0) x[11][16] = 18
135.89/28.69	c (16,0) x[11][17] = 15
135.89/28.69	c (16,0) x[11][18] = 13
135.89/28.69	c (16,0) x[11][19] = 9
135.89/28.69	c (16,0) x[11][20] = 5
135.89/28.69	c (16,0) x[11][21] = 16
135.89/28.69	c (16,0) x[11][22] = 10
135.89/28.69	c (16,0) x[11][23] = 28
135.89/28.69	c (16,0) x[11][24] = 7
135.89/28.69	c (16,0) x[11][25] = 23
135.89/28.69	c (16,0) x[11][26] = 20
135.89/28.69	c (16,0) x[11][27] = 29
135.89/28.69	c (16,0) x[11][28] = 24
135.89/28.69	c (16,0) x[11][29] = 11
135.89/28.69	c (16,0) x[12][0] = 3
135.89/28.69	c (16,0) x[12][1] = 21
135.89/28.69	c (16,0) x[12][2] = 11
135.89/28.69	c (16,0) x[12][3] = 20
135.89/28.69	c (16,0) x[12][4] = 5
135.89/28.69	c (16,0) x[12][5] = 22
135.89/28.69	c (16,0) x[12][6] = 2
135.89/28.69	c (16,0) x[12][7] = 14
135.89/28.69	c (16,0) x[12][8] = 6
135.89/28.69	c (16,0) x[12][9] = 16
135.89/28.69	c (16,0) x[12][10] = 24
135.89/28.69	c (16,0) x[12][11] = 29
135.89/28.69	c (16,0) x[12][12] = 15
135.89/28.69	c (16,0) x[12][13] = 4
135.89/28.69	c (16,0) x[12][14] = 28
135.89/28.69	c (16,0) x[12][15] = 8
135.89/28.69	c (16,0) x[12][16] = 19
135.89/28.69	c (16,0) x[12][17] = 23
135.89/28.69	c (16,0) x[12][18] = 18
135.89/28.69	c (16,0) x[12][19] = 26
135.89/28.69	c (16,0) x[12][20] = 17
135.89/28.69	c (16,0) x[12][21] = 12
135.89/28.69	c (16,0) x[12][22] = 7
135.89/28.69	c (16,0) x[12][23] = 9
135.89/28.69	c (16,0) x[12][24] = 27
135.89/28.69	c (16,0) x[12][25] = 0
135.89/28.69	c (16,0) x[12][26] = 1
135.89/28.69	c (16,0) x[12][27] = 13
135.89/28.69	c (16,0) x[12][28] = 25
135.89/28.69	c (16,0) x[12][29] = 10
135.89/28.69	c (16,0) x[13][0] = 10
135.89/28.69	c (16,0) x[13][1] = 29
135.89/28.69	c (16,0) x[13][2] = 15
135.89/28.69	c (16,0) x[13][3] = 9
135.89/28.69	c (16,0) x[13][4] = 13
135.89/28.69	c (16,0) x[13][5] = 20
135.89/28.69	c (16,0) x[13][6] = 11
135.89/28.69	c (16,0) x[13][7] = 18
135.89/28.69	c (16,0) x[13][8] = 0
135.89/28.69	c (16,0) x[13][9] = 25
135.89/28.69	c (16,0) x[13][10] = 26
135.89/28.69	c (16,0) x[13][11] = 12
135.89/28.69	c (16,0) x[13][12] = 7
135.89/28.69	c (16,0) x[13][13] = 21
135.89/28.69	c (16,0) x[13][14] = 1
135.89/28.69	c (16,0) x[13][15] = 17
135.89/28.69	c (16,0) x[13][16] = 24
135.89/28.69	c (16,0) x[13][17] = 4
135.89/28.69	c (16,0) x[13][18] = 14
135.89/28.69	c (16,0) x[13][19] = 6
135.89/28.69	c (16,0) x[13][20] = 19
135.89/28.69	c (16,0) x[13][21] = 28
135.89/28.69	c (16,0) x[13][22] = 23
135.89/28.69	c (16,0) x[13][23] = 2
135.89/28.69	c (16,0) x[13][24] = 3
135.89/28.69	c (16,0) x[13][25] = 8
135.89/28.69	c (16,0) x[13][26] = 16
135.89/28.69	c (16,0) x[13][27] = 5
135.89/28.69	c (16,0) x[13][28] = 22
135.89/28.69	c (16,0) x[13][29] = 27
135.89/28.69	c (16,0) x[14][0] = 17
135.89/28.69	c (16,0) x[14][1] = 1
135.89/28.69	c (16,0) x[14][2] = 28
135.89/28.69	c (16,0) x[14][3] = 24
135.89/28.69	c (16,0) x[14][4] = 2
135.89/28.69	c (16,0) x[14][5] = 8
135.89/28.69	c (16,0) x[14][6] = 9
135.89/28.69	c (16,0) x[14][7] = 27
135.89/28.69	c (16,0) x[14][8] = 29
135.89/28.69	c (16,0) x[14][9] = 5
135.89/28.69	c (16,0) x[14][10] = 11
135.89/28.69	c (16,0) x[14][11] = 21
135.89/28.69	c (16,0) x[14][12] = 22
135.89/28.69	c (16,0) x[14][13] = 10
135.89/28.69	c (16,0) x[14][14] = 15
135.89/28.69	c (16,0) x[14][15] = 0
135.89/28.69	c (16,0) x[14][16] = 13
135.89/28.69	c (16,0) x[14][17] = 7
135.89/28.69	c (16,0) x[14][18] = 4
135.89/28.69	c (16,0) x[14][19] = 12
135.89/28.69	c (16,0) x[14][20] = 3
135.89/28.69	c (16,0) x[14][21] = 19
135.89/28.69	c (16,0) x[14][22] = 6
135.89/28.69	c (16,0) x[14][23] = 18
135.89/28.69	c (16,0) x[14][24] = 23
135.89/28.69	c (16,0) x[14][25] = 14
135.89/28.69	c (16,0) x[14][26] = 25
135.89/28.69	c (16,0) x[14][27] = 20
135.89/28.69	c (16,0) x[14][28] = 16
135.89/28.69	c (16,0) x[14][29] = 26
135.89/28.69	c (16,0) x[15][0] = 4
135.89/28.69	c (16,0) x[15][1] = 23
135.89/28.69	c (16,0) x[15][2] = 16
135.89/28.69	c (16,0) x[15][3] = 5
135.89/28.69	c (16,0) x[15][4] = 24
135.89/28.69	c (16,0) x[15][5] = 13
135.89/28.69	c (16,0) x[15][6] = 21
135.89/28.69	c (16,0) x[15][7] = 17
135.89/28.69	c (16,0) x[15][8] = 9
135.89/28.69	c (16,0) x[15][9] = 18
135.89/28.69	c (16,0) x[15][10] = 0
135.89/28.69	c (16,0) x[15][11] = 15
135.89/28.69	c (16,0) x[15][12] = 28
135.89/28.69	c (16,0) x[15][13] = 1
135.89/28.69	c (16,0) x[15][14] = 7
135.89/28.69	c (16,0) x[15][15] = 12
135.89/28.69	c (16,0) x[15][16] = 29
135.89/28.69	c (16,0) x[15][17] = 19
135.89/28.69	c (16,0) x[15][18] = 3
135.89/28.69	c (16,0) x[15][19] = 11
135.89/28.69	c (16,0) x[15][20] = 8
135.89/28.69	c (16,0) x[15][21] = 27
135.89/28.69	c (16,0) x[15][22] = 2
135.89/28.69	c (16,0) x[15][23] = 22
135.89/28.69	c (16,0) x[15][24] = 6
135.89/28.69	c (16,0) x[15][25] = 20
135.89/28.69	c (16,0) x[15][26] = 10
135.89/28.69	c (16,0) x[15][27] = 26
135.89/28.69	c (16,0) x[15][28] = 14
135.89/28.69	c (16,0) x[15][29] = 25
135.89/28.69	c (16,0) x[16][0] = 29
135.89/28.69	c (16,0) x[16][1] = 7
135.89/28.69	c (16,0) x[16][2] = 4
135.89/28.69	c (16,0) x[16][3] = 17
135.89/28.69	c (16,0) x[16][4] = 6
135.89/28.69	c (16,0) x[16][5] = 26
135.89/28.69	c (16,0) x[16][6] = 15
135.89/28.69	c (16,0) x[16][7] = 13
135.89/28.69	c (16,0) x[16][8] = 20
135.89/28.69	c (16,0) x[16][9] = 2
135.89/28.69	c (16,0) x[16][10] = 1
135.89/28.69	c (16,0) x[16][11] = 18
135.89/28.69	c (16,0) x[16][12] = 10
135.89/28.69	c (16,0) x[16][13] = 8
135.89/28.69	c (16,0) x[16][14] = 25
135.89/28.69	c (16,0) x[16][15] = 28
135.89/28.69	c (16,0) x[16][16] = 11
135.89/28.69	c (16,0) x[16][17] = 12
135.89/28.69	c (16,0) x[16][18] = 0
135.89/28.69	c (16,0) x[16][19] = 16
135.89/28.69	c (16,0) x[16][20] = 14
135.89/28.69	c (16,0) x[16][21] = 23
135.89/28.69	c (16,0) x[16][22] = 19
135.89/28.69	c (16,0) x[16][23] = 3
135.89/28.69	c (16,0) x[16][24] = 5
135.89/28.69	c (16,0) x[16][25] = 9
135.89/28.69	c (16,0) x[16][26] = 22
135.89/28.69	c (16,0) x[16][27] = 21
135.89/28.69	c (16,0) x[16][28] = 27
135.89/28.69	c (16,0) x[16][29] = 24
135.89/28.69	c (16,0) x[17][0] = 22
135.89/28.69	c (16,0) x[17][1] = 6
135.89/28.69	c (16,0) x[17][2] = 8
135.89/28.69	c (16,0) x[17][3] = 26
135.89/28.69	c (16,0) x[17][4] = 20
135.89/28.69	c (16,0) x[17][5] = 7
135.89/28.69	c (16,0) x[17][6] = 10
135.89/28.69	c (16,0) x[17][7] = 19
135.89/28.69	c (16,0) x[17][8] = 24
135.89/28.69	c (16,0) x[17][9] = 27
135.89/28.69	c (16,0) x[17][10] = 15
135.89/28.69	c (16,0) x[17][11] = 0
135.89/28.69	c (16,0) x[17][12] = 23
135.89/28.69	c (16,0) x[17][13] = 2
135.89/28.69	c (16,0) x[17][14] = 3
135.89/28.69	c (16,0) x[17][15] = 16
135.89/28.69	c (16,0) x[17][16] = 12
135.89/28.69	c (16,0) x[17][17] = 18
135.89/28.69	c (16,0) x[17][18] = 5
135.89/28.69	c (16,0) x[17][19] = 14
135.89/28.69	c (16,0) x[17][20] = 25
135.89/28.69	c (16,0) x[17][21] = 29
135.89/28.69	c (16,0) x[17][22] = 4
135.89/28.69	c (16,0) x[17][23] = 17
135.89/28.69	c (16,0) x[17][24] = 28
135.89/28.69	c (16,0) x[17][25] = 1
135.89/28.69	c (16,0) x[17][26] = 13
135.89/28.69	c (16,0) x[17][27] = 11
135.89/28.69	c (16,0) x[17][28] = 9
135.89/28.69	c (16,0) x[17][29] = 21
135.89/28.69	c (16,0) x[18][0] = 26
135.89/28.69	c (16,0) x[18][1] = 3
135.89/28.69	c (16,0) x[18][2] = 18
135.89/28.69	c (16,0) x[18][3] = 27
135.89/28.69	c (16,0) x[18][4] = 17
135.89/28.69	c (16,0) x[18][5] = 1
135.89/28.69	c (16,0) x[18][6] = 14
135.89/28.69	c (16,0) x[18][7] = 20
135.89/28.69	c (16,0) x[18][8] = 4
135.89/28.69	c (16,0) x[18][9] = 10
135.89/28.69	c (16,0) x[18][10] = 25
135.89/28.69	c (16,0) x[18][11] = 28
135.89/28.69	c (16,0) x[18][12] = 24
135.89/28.69	c (16,0) x[18][13] = 19
135.89/28.69	c (16,0) x[18][14] = 13
135.89/28.69	c (16,0) x[18][15] = 5
135.89/28.69	c (16,0) x[18][16] = 15
135.89/28.69	c (16,0) x[18][17] = 2
135.89/28.69	c (16,0) x[18][18] = 21
135.89/28.69	c (16,0) x[18][19] = 0
135.89/28.69	c (16,0) x[18][20] = 9
135.89/28.69	c (16,0) x[18][21] = 11
135.89/28.69	c (16,0) x[18][22] = 22
135.89/28.69	c (16,0) x[18][23] = 12
135.89/28.69	c (16,0) x[18][24] = 8
135.89/28.69	c (16,0) x[18][25] = 7
135.89/28.69	c (16,0) x[18][26] = 6
135.89/28.69	c (16,0) x[18][27] = 16
135.89/28.69	c (16,0) x[18][28] = 23
135.89/28.69	c (16,0) x[18][29] = 29
135.89/28.69	c (16,0) x[19][0] = 5
135.89/28.69	c (16,0) x[19][1] = 4
135.89/28.69	c (16,0) x[19][2] = 25
135.89/28.69	c (16,0) x[19][3] = 11
135.89/28.69	c (16,0) x[19][4] = 1
135.89/28.69	c (16,0) x[19][5] = 23
135.89/28.69	c (16,0) x[19][6] = 22
135.89/28.69	c (16,0) x[19][7] = 21
135.89/28.69	c (16,0) x[19][8] = 7
135.89/28.69	c (16,0) x[19][9] = 20
135.89/28.69	c (16,0) x[19][10] = 2
135.89/28.69	c (16,0) x[19][11] = 14
135.89/28.69	c (16,0) x[19][12] = 6
135.89/28.69	c (16,0) x[19][13] = 18
135.89/28.69	c (16,0) x[19][14] = 10
135.89/28.69	c (16,0) x[19][15] = 19
135.89/28.69	c (16,0) x[19][16] = 28
135.89/28.69	c (16,0) x[19][17] = 24
135.89/28.69	c (16,0) x[19][18] = 15
135.89/28.69	c (16,0) x[19][19] = 8
135.89/28.69	c (16,0) x[19][20] = 27
135.89/28.69	c (16,0) x[19][21] = 26
135.89/28.69	c (16,0) x[19][22] = 29
135.89/28.69	c (16,0) x[19][23] = 16
135.89/28.69	c (16,0) x[19][24] = 17
135.89/28.69	c (16,0) x[19][25] = 13
135.89/28.69	c (16,0) x[19][26] = 9
135.89/28.69	c (16,0) x[19][27] = 0
135.89/28.69	c (16,0) x[19][28] = 12
135.89/28.69	c (16,0) x[19][29] = 3
135.89/28.69	c (16,0) x[20][0] = 27
135.89/28.69	c (16,0) x[20][1] = 13
135.89/28.69	c (16,0) x[20][2] = 21
135.89/28.69	c (16,0) x[20][3] = 29
135.89/28.69	c (16,0) x[20][4] = 15
135.89/28.69	c (16,0) x[20][5] = 2
135.89/28.69	c (16,0) x[20][6] = 17
135.89/28.69	c (16,0) x[20][7] = 4
135.89/28.69	c (16,0) x[20][8] = 1
135.89/28.69	c (16,0) x[20][9] = 23
135.89/28.69	c (16,0) x[20][10] = 18
135.89/28.69	c (16,0) x[20][11] = 3
135.89/28.69	c (16,0) x[20][12] = 16
135.89/28.69	c (16,0) x[20][13] = 9
135.89/28.69	c (16,0) x[20][14] = 14
135.89/28.69	c (16,0) x[20][15] = 6
135.89/28.69	c (16,0) x[20][16] = 7
135.89/28.69	c (16,0) x[20][17] = 28
135.89/28.69	c (16,0) x[20][18] = 26
135.89/28.69	c (16,0) x[20][19] = 22
135.89/28.69	c (16,0) x[20][20] = 10
135.89/28.69	c (16,0) x[20][21] = 8
135.89/28.69	c (16,0) x[20][22] = 25
135.89/28.69	c (16,0) x[20][23] = 5
135.89/28.69	c (16,0) x[20][24] = 24
135.89/28.69	c (16,0) x[20][25] = 19
135.89/28.69	c (16,0) x[20][26] = 11
135.89/28.69	c (16,0) x[20][27] = 12
135.89/28.69	c (16,0) x[20][28] = 20
135.89/28.69	c (16,0) x[20][29] = 0
135.89/28.69	c (16,0) x[21][0] = 16
135.89/28.69	c (16,0) x[21][1] = 10
135.89/28.69	c (16,0) x[21][2] = 22
135.89/28.69	c (16,0) x[21][3] = 18
135.89/28.69	c (16,0) x[21][4] = 23
135.89/28.69	c (16,0) x[21][5] = 9
135.89/28.69	c (16,0) x[21][6] = 29
135.89/28.69	c (16,0) x[21][7] = 7
135.89/28.69	c (16,0) x[21][8] = 12
135.89/28.69	c (16,0) x[21][9] = 0
135.89/28.69	c (16,0) x[21][10] = 28
135.89/28.69	c (16,0) x[21][11] = 8
135.89/28.69	c (16,0) x[21][12] = 5
135.89/28.69	c (16,0) x[21][13] = 25
135.89/28.69	c (16,0) x[21][14] = 4
135.89/28.69	c (16,0) x[21][15] = 27
135.89/28.69	c (16,0) x[21][16] = 26
135.89/28.69	c (16,0) x[21][17] = 11
135.89/28.69	c (16,0) x[21][18] = 2
135.89/28.69	c (16,0) x[21][19] = 13
135.89/28.69	c (16,0) x[21][20] = 1
135.89/28.69	c (16,0) x[21][21] = 15
135.89/28.69	c (16,0) x[21][22] = 17
135.89/28.69	c (16,0) x[21][23] = 21
135.89/28.69	c (16,0) x[21][24] = 20
135.89/28.69	c (16,0) x[21][25] = 3
135.89/28.69	c (16,0) x[21][26] = 24
135.89/28.69	c (16,0) x[21][27] = 14
135.89/28.69	c (16,0) x[21][28] = 19
135.89/28.69	c (16,0) x[21][29] = 6
135.89/28.69	c (16,0) x[22][0] = 12
135.89/28.69	c (16,0) x[22][1] = 22
135.89/28.69	c (16,0) x[22][2] = 14
135.89/28.69	c (16,0) x[22][3] = 16
135.89/28.69	c (16,0) x[22][4] = 0
135.89/28.69	c (16,0) x[22][5] = 27
135.89/28.69	c (16,0) x[22][6] = 20
135.89/28.69	c (16,0) x[22][7] = 25
135.89/28.69	c (16,0) x[22][8] = 2
135.89/28.69	c (16,0) x[22][9] = 28
135.89/28.69	c (16,0) x[22][10] = 10
135.89/28.69	c (16,0) x[22][11] = 4
135.89/28.69	c (16,0) x[22][12] = 1
135.89/28.69	c (16,0) x[22][13] = 6
135.89/28.69	c (16,0) x[22][14] = 26
135.89/28.69	c (16,0) x[22][15] = 7
135.89/28.69	c (16,0) x[22][16] = 5
135.89/28.69	c (16,0) x[22][17] = 21
135.89/28.69	c (16,0) x[22][18] = 8
135.89/28.69	c (16,0) x[22][19] = 3
135.89/28.69	c (16,0) x[22][20] = 15
135.89/28.69	c (16,0) x[22][21] = 13
135.89/28.69	c (16,0) x[22][22] = 11
135.89/28.69	c (16,0) x[22][23] = 19
135.89/28.69	c (16,0) x[22][24] = 9
135.89/28.69	c (16,0) x[22][25] = 24
135.89/28.69	c (16,0) x[22][26] = 29
135.89/28.69	c (16,0) x[22][27] = 23
135.89/28.69	c (16,0) x[22][28] = 17
135.89/28.69	c (16,0) x[22][29] = 18
135.89/28.69	c (16,0) x[23][0] = 8
135.89/28.69	c (16,0) x[23][1] = 9
135.89/28.69	c (16,0) x[23][2] = 10
135.89/28.69	c (16,0) x[23][3] = 12
135.89/28.69	c (16,0) x[23][4] = 19
135.89/28.69	c (16,0) x[23][5] = 18
135.89/28.69	c (16,0) x[23][6] = 26
135.89/28.69	c (16,0) x[23][7] = 28
135.89/28.69	c (16,0) x[23][8] = 3
135.89/28.69	c (16,0) x[23][9] = 21
135.89/28.69	c (16,0) x[23][10] = 23
135.89/28.69	c (16,0) x[23][11] = 22
135.89/28.69	c (16,0) x[23][12] = 25
135.89/28.69	c (16,0) x[23][13] = 24
135.89/28.69	c (16,0) x[23][14] = 11
135.89/28.69	c (16,0) x[23][15] = 14
135.89/28.69	c (16,0) x[23][16] = 0
135.89/28.69	c (16,0) x[23][17] = 1
135.89/28.69	c (16,0) x[23][18] = 6
135.89/28.69	c (16,0) x[23][19] = 29
135.89/28.69	c (16,0) x[23][20] = 7
135.89/28.69	c (16,0) x[23][21] = 5
135.89/28.69	c (16,0) x[23][22] = 13
135.89/28.69	c (16,0) x[23][23] = 20
135.89/28.69	c (16,0) x[23][24] = 15
135.89/28.69	c (16,0) x[23][25] = 16
135.89/28.69	c (16,0) x[23][26] = 17
135.89/28.69	c (16,0) x[23][27] = 27
135.89/28.69	c (16,0) x[23][28] = 4
135.89/28.69	c (16,0) x[23][29] = 2
135.89/28.69	c (16,0) x[24][0] = 28
135.89/28.69	c (16,0) x[24][1] = 24
135.89/28.69	c (16,0) x[24][2] = 26
135.89/28.69	c (16,0) x[24][3] = 3
135.89/28.69	c (16,0) x[24][4] = 11
135.89/28.69	c (16,0) x[24][5] = 4
135.89/28.69	c (16,0) x[24][6] = 7
135.89/28.69	c (16,0) x[24][7] = 10
135.89/28.69	c (16,0) x[24][8] = 16
135.89/28.69	c (16,0) x[24][9] = 8
135.89/28.69	c (16,0) x[24][10] = 9
135.89/28.69	c (16,0) x[24][11] = 2
135.89/28.69	c (16,0) x[24][12] = 17
135.89/28.69	c (16,0) x[24][13] = 23
135.89/28.69	c (16,0) x[24][14] = 21
135.89/28.69	c (16,0) x[24][15] = 25
135.89/28.69	c (16,0) x[24][16] = 6
135.89/28.69	c (16,0) x[24][17] = 22
135.89/28.69	c (16,0) x[24][18] = 19
135.89/28.69	c (16,0) x[24][19] = 20
135.89/28.69	c (16,0) x[24][20] = 13
135.89/28.69	c (16,0) x[24][21] = 0
135.89/28.69	c (16,0) x[24][22] = 18
135.89/28.69	c (16,0) x[24][23] = 1
135.89/28.69	c (16,0) x[24][24] = 14
135.89/28.69	c (16,0) x[24][25] = 27
135.89/28.69	c (16,0) x[24][26] = 5
135.89/28.70	c (16,0) x[24][27] = 15
135.89/28.70	c (16,0) x[24][28] = 29
135.89/28.70	c (16,0) x[24][29] = 12
135.89/28.70	c (16,0) x[25][0] = 20
135.89/28.70	c (16,0) x[25][1] = 8
135.89/28.70	c (16,0) x[25][2] = 7
135.89/28.70	c (16,0) x[25][3] = 25
135.89/28.70	c (16,0) x[25][4] = 14
135.89/28.70	c (16,0) x[25][5] = 19
135.89/28.70	c (16,0) x[25][6] = 24
135.89/28.70	c (16,0) x[25][7] = 5
135.89/28.70	c (16,0) x[25][8] = 21
135.89/28.70	c (16,0) x[25][9] = 22
135.89/28.70	c (16,0) x[25][10] = 13
135.89/28.70	c (16,0) x[25][11] = 11
135.89/28.70	c (16,0) x[25][12] = 27
135.89/28.70	c (16,0) x[25][13] = 26
135.89/28.70	c (16,0) x[25][14] = 16
135.89/28.70	c (16,0) x[25][15] = 15
135.89/28.70	c (16,0) x[25][16] = 1
135.89/28.70	c (16,0) x[25][17] = 3
135.89/28.70	c (16,0) x[25][18] = 17
135.89/28.70	c (16,0) x[25][19] = 18
135.89/28.70	c (16,0) x[25][20] = 23
135.89/28.70	c (16,0) x[25][21] = 10
135.89/28.70	c (16,0) x[25][22] = 12
135.89/28.70	c (16,0) x[25][23] = 6
135.89/28.70	c (16,0) x[25][24] = 4
135.89/28.70	c (16,0) x[25][25] = 29
135.89/28.70	c (16,0) x[25][26] = 2
135.89/28.70	c (16,0) x[25][27] = 28
135.89/28.70	c (16,0) x[25][28] = 0
135.89/28.70	c (16,0) x[25][29] = 9
135.89/28.70	c (16,0) x[26][0] = 9
135.89/28.70	c (16,0) x[26][1] = 28
135.89/28.70	c (16,0) x[26][2] = 0
135.89/28.70	c (16,0) x[26][3] = 13
135.89/28.70	c (16,0) x[26][4] = 26
135.89/28.70	c (16,0) x[26][5] = 25
135.89/28.70	c (16,0) x[26][6] = 3
135.89/28.70	c (16,0) x[26][7] = 12
135.89/28.70	c (16,0) x[26][8] = 8
135.89/28.70	c (16,0) x[26][9] = 4
135.89/28.70	c (16,0) x[26][10] = 19
135.89/28.70	c (16,0) x[26][11] = 24
135.89/28.70	c (16,0) x[26][12] = 14
135.89/28.70	c (16,0) x[26][13] = 29
135.89/28.70	c (16,0) x[26][14] = 5
135.89/28.70	c (16,0) x[26][15] = 11
135.89/28.70	c (16,0) x[26][16] = 10
135.89/28.70	c (16,0) x[26][17] = 6
135.89/28.70	c (16,0) x[26][18] = 23
135.89/28.70	c (16,0) x[26][19] = 17
135.89/28.70	c (16,0) x[26][20] = 16
135.89/28.70	c (16,0) x[26][21] = 7
135.89/28.70	c (16,0) x[26][22] = 15
135.89/28.70	c (16,0) x[26][23] = 27
135.89/28.70	c (16,0) x[26][24] = 21
135.89/28.70	c (16,0) x[26][25] = 22
135.89/28.70	c (16,0) x[26][26] = 18
135.89/28.70	c (16,0) x[26][27] = 2
135.89/28.70	c (16,0) x[26][28] = 1
135.89/28.70	c (16,0) x[26][29] = 20
135.89/28.70	c (16,0) x[27][0] = 25
135.89/28.70	c (16,0) x[27][1] = 5
135.89/28.70	c (16,0) x[27][2] = 13
135.89/28.70	c (16,0) x[27][3] = 19
135.89/28.70	c (16,0) x[27][4] = 21
135.89/28.70	c (16,0) x[27][5] = 6
135.89/28.70	c (16,0) x[27][6] = 23
135.89/28.70	c (16,0) x[27][7] = 15
135.89/28.70	c (16,0) x[27][8] = 18
135.89/28.70	c (16,0) x[27][9] = 9
135.89/28.70	c (16,0) x[27][10] = 17
135.89/28.70	c (16,0) x[27][11] = 10
135.89/28.70	c (16,0) x[27][12] = 29
135.89/28.70	c (16,0) x[27][13] = 11
135.89/28.70	c (16,0) x[27][14] = 20
135.89/28.70	c (16,0) x[27][15] = 4
135.89/28.70	c (16,0) x[27][16] = 2
135.89/28.70	c (16,0) x[27][17] = 16
135.89/28.70	c (16,0) x[27][18] = 27
135.89/28.70	c (16,0) x[27][19] = 1
135.89/28.70	c (16,0) x[27][20] = 12
135.89/28.70	c (16,0) x[27][21] = 24
135.89/28.70	c (16,0) x[27][22] = 0
135.89/28.70	c (16,0) x[27][23] = 7
135.89/28.70	c (16,0) x[27][24] = 22
135.89/28.70	c (16,0) x[27][25] = 26
135.89/28.70	c (16,0) x[27][26] = 28
135.89/28.70	c (16,0) x[27][27] = 3
135.89/28.70	c (16,0) x[27][28] = 8
135.89/28.70	c (16,0) x[27][29] = 14
135.89/28.70	c (16,0) x[28][0] = 23
135.89/28.70	c (16,0) x[28][1] = 25
135.89/28.70	c (16,0) x[28][2] = 6
135.89/28.70	c (16,0) x[28][3] = 21
135.89/28.70	c (16,0) x[28][4] = 22
135.89/28.70	c (16,0) x[28][5] = 12
135.89/28.70	c (16,0) x[28][6] = 0
135.89/28.70	c (16,0) x[28][7] = 1
135.89/28.70	c (16,0) x[28][8] = 28
135.89/28.70	c (16,0) x[28][9] = 7
135.89/28.70	c (16,0) x[28][10] = 14
135.89/28.70	c (16,0) x[28][11] = 9
135.89/28.70	c (16,0) x[28][12] = 18
135.89/28.70	c (16,0) x[28][13] = 27
135.89/28.70	c (16,0) x[28][14] = 24
135.89/28.70	c (16,0) x[28][15] = 10
135.89/28.70	c (16,0) x[28][16] = 3
135.89/28.70	c (16,0) x[28][17] = 26
135.89/28.70	c (16,0) x[28][18] = 16
135.89/28.70	c (16,0) x[28][19] = 15
135.89/28.70	c (16,0) x[28][20] = 20
135.89/28.70	c (16,0) x[28][21] = 4
135.89/28.70	c (16,0) x[28][22] = 5
135.89/28.70	c (16,0) x[28][23] = 11
135.89/28.70	c (16,0) x[28][24] = 29
135.89/28.70	c (16,0) x[28][25] = 2
135.89/28.70	c (16,0) x[28][26] = 19
135.89/28.70	c (16,0) x[28][27] = 17
135.89/28.70	c (16,0) x[28][28] = 13
135.89/28.70	c (16,0) x[28][29] = 8
135.89/28.70	c (16,0) x[29][0] = 7
135.89/28.70	c (16,0) x[29][1] = 12
135.89/28.70	c (16,0) x[29][2] = 23
135.89/28.70	c (16,0) x[29][3] = 15
135.89/28.70	c (16,0) x[29][4] = 29
135.89/28.70	c (16,0) x[29][5] = 3
135.89/28.70	c (16,0) x[29][6] = 13
135.89/28.70	c (16,0) x[29][7] = 11
135.89/28.70	c (16,0) x[29][8] = 22
135.89/28.70	c (16,0) x[29][9] = 17
135.89/28.70	c (16,0) x[29][10] = 16
135.89/28.70	c (16,0) x[29][11] = 27
135.89/28.70	c (16,0) x[29][12] = 26
135.89/28.70	c (16,0) x[29][13] = 14
135.89/28.70	c (16,0) x[29][14] = 6
135.89/28.70	c (16,0) x[29][15] = 18
135.89/28.70	c (16,0) x[29][16] = 20
135.89/28.70	c (16,0) x[29][17] = 8
135.89/28.70	c (16,0) x[29][18] = 9
135.89/28.70	c (16,0) x[29][19] = 21
135.89/28.70	c (16,0) x[29][20] = 2
135.89/28.70	c (16,0) x[29][21] = 25
135.89/28.70	c (16,0) x[29][22] = 1
135.89/28.70	c (16,0) x[29][23] = 24
135.89/28.70	c (16,0) x[29][24] = 0
135.89/28.70	c (16,0) x[29][25] = 28
135.89/28.70	c (16,0) x[29][26] = 4
135.89/28.70	c (16,0) x[29][27] = 19
135.89/28.70	c (16,0) x[29][28] = 10
135.89/28.70	c (16,0) x[29][29] = 5
135.89/28.70	s SATISFIABLE
136.21/28.70	v <instantiation>
136.21/28.70	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>
136.21/28.70	v     <values>19 18 17 28 12 14 16 24 11 3 6 20 0 13 2 23 21 27 29 5 4 22 9 25 10 15 8 1 26 7 24 17 2 4 28 21 27 16 19 6 29 5 20 7 23 1 25 0 12 10 22 9 14 13 18 11 26 8 3 15 14 20 29 8 3 5 18 2 10 13 27 1 4 15 9 26 22 25 11 19 24 17 21 0 12 6 23 7 28 16 21 26 19 0 8 16 5 9 15 29 22 17 11 3 12 24 4 10 25 7 28 20 27 23 1 18 14 6 2 13 0 16 3 2 27 24 1 8 17 14 21 7 9 12 19 13 23 5 10 28 29 6 20 26 11 25 15 4 18 22 6 0 24 10 16 11 12 23 14 15 3 19 13 22 8 9 27 17 20 4 18 1 26 29 2 5 21 25 7 28 13 11 5 22 9 15 25 3 26 1 12 23 8 20 0 2 16 29 7 24 6 18 28 14 19 17 27 10 21 4 11 15 1 6 7 0 8 29 27 24 20 13 19 17 18 21 9 14 28 25 26 2 3 10 16 4 12 22 5 23 18 19 27 7 10 29 28 6 5 12 4 26 2 16 17 20 14 13 22 23 11 3 24 8 25 21 0 9 15 1 1 2 20 23 25 28 4 0 13 11 7 16 12 5 29 22 17 9 24 27 21 14 8 15 26 10 3 18 6 19 15 27 9 14 18 10 6 26 23 19 5 25 3 28 22 29 8 20 1 2 0 21 16 4 13 12 7 24 11 17 2 14 12 1 4 17 19 22 25 26 8 6 21 0 27 3 18 15 13 9 5 16 10 28 7 23 20 29 24 11 3 21 11 20 5 22 2 14 6 16 24 29 15 4 28 8 19 23 18 26 17 12 7 9 27 0 1 13 25 10 10 29 15 9 13 20 11 18 0 25 26 12 7 21 1 17 24 4 14 6 19 28 23 2 3 8 16 5 22 27 17 1 28 24 2 8 9 27 29 5 11 21 22 10 15 0 13 7 4 12 3 19 6 18 23 14 25 20 16 26 4 23 16 5 24 13 21 17 9 18 0 15 28 1 7 12 29 19 3 11 8 27 2 22 6 20 10 26 14 25 29 7 4 17 6 26 15 13 20 2 1 18 10 8 25 28 11 12 0 16 14 23 19 3 5 9 22 21 27 24 22 6 8 26 20 7 10 19 24 27 15 0 23 2 3 16 12 18 5 14 25 29 4 17 28 1 13 11 9 21 26 3 18 27 17 1 14 20 4 10 25 28 24 19 13 5 15 2 21 0 9 11 22 12 8 7 6 16 23 29 5 4 25 11 1 23 22 21 7 20 2 14 6 18 10 19 28 24 15 8 27 26 29 16 17 13 9 0 12 3 27 13 21 29 15 2 17 4 1 23 18 3 16 9 14 6 7 28 26 22 10 8 25 5 24 19 11 12 20 0 16 10 22 18 23 9 29 7 12 0 28 8 5 25 4 27 26 11 2 13 1 15 17 21 20 3 24 14 19 6 12 22 14 16 0 27 20 25 2 28 10 4 1 6 26 7 5 21 8 3 15 13 11 19 9 24 29 23 17 18 8 9 10 12 19 18 26 28 3 21 23 22 25 24 11 14 0 1 6 29 7 5 13 20 15 16 17 27 4 2 28 24 26 3 11 4 7 10 16 8 9 2 17 23 21 25 6 22 19 20 13 0 18 1 14 27 5 15 29 12 20 8 7 25 14 19 24 5 21 22 13 11 27 26 16 15 1 3 17 18 23 10 12 6 4 29 2 28 0 9 9 28 0 13 26 25 3 12 8 4 19 24 14 29 5 11 10 6 23 17 16 7 15 27 21 22 18 2 1 20 25 5 13 19 21 6 23 15 18 9 17 10 29 11 20 4 2 16 27 1 12 24 0 7 22 26 28 3 8 14 23 25 6 21 22 12 0 1 28 7 14 9 18 27 24 10 3 26 16 15 20 4 5 11 29 2 19 17 13 8 7 12 23 15 29 3 13 11 22 17 16 27 26 14 6 18 20 8 9 21 2 25 1 24 0 28 4 19 10 5</values>
136.21/28.70	v </instantiation>
136.21/28.70	c (16,0) Show results End
136.21/28.70	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
136.21/28.70	c (16,0) 16,16,STOP-AFTER(ALL)
136.21/28.70	c END-Prog: Sat Sep 14 08:35:17 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: 16375 MiB (14534 MiB free)
  memory of node 1: 16384 MiB (15607 MiB free)
  node distances:
     10  21
     21  10

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

running on 8 cores: 0-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=3318, runsolver pid=3315
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 2.94 3.49 5.42 2/212 3341
/proc/meminfo: memFree=30770032/32770688 swapFree=66961116/67108860
[pid=3318] ppid=3315 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3318/stat : 3318 (scop.sh) S 3315 3318 2547 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234628 115843072 349 33554432000 4194304 5098028 140731278081520 140731278078776 139701206241916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28069888 140731278086948 140731278087276 140731278087276 140731278090189 0
/proc/3318/statm: 28282 349 296 221 0 87 0
[pid=3322] ppid=3318 vsize=27314120 memory=106064 CPUtime=0.1 cores=0-7
/proc/3322/stat : 3322 (java) S 3318 3318 2547 0 -1 1077944320 6061 0 0 0 8 2 0 0 20 0 20 0 420234629 27969658880 26516 33554432000 4194304 4196468 140722886712880 140722886695424 140374610611959 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
/proc/3322/statm: 6828530 26516 2754 1 0 6790935 0
[pid=3322/tid=3323] ppid=3318 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3322/task/3323/stat : 3323 (java) R 3318 3318 2547 0 -1 4202560 4210 0 0 0 7 1 0 0 20 0 20 0 420234629 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374582438288 140374594692446 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3324] ppid=3318 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3322/task/3324/stat : 3324 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374614854544 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3325] ppid=3318 vsize=27314120 memory=140644142876288 CPUtime=0 cores=0-7
/proc/3322/task/3325/stat : 3325 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374432942864 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3326] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3326/stat : 3326 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374431890576 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3327] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3327/stat : 3327 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374430837776 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3328] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3328/stat : 3328 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374029793680 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3329] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3329/stat : 3329 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374028740880 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3330] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3330/stat : 3330 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374027688592 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3331] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3331/stat : 3331 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 26545 33554432000 4194304 4196468 140722886712880 140374026635792 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3332] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3332/stat : 3332 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234633 27969658880 26545 33554432000 4194304 4196468 140722886712880 140373601847920 140374610623106 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3333] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3333/stat : 3333 (java) S 3318 3318 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234634 27969658880 26545 33554432000 4194304 4196468 140722886712880 140372550346016 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3334] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3334/stat : 3334 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234634 27969658880 26545 33554432000 4194304 4196468 140722886712880 140372281910896 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3335] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3335/stat : 3335 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140371907402320 140374610630555 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3336] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3336/stat : 3336 (java) S 3318 3318 2547 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140373600794736 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3337] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3337/stat : 3337 (java) S 3318 3318 2547 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140373599741936 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3338] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3338/stat : 3338 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140373598689648 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3339] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3339/stat : 3339 (java) S 3318 3318 2547 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140373597636848 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3340] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3340/stat : 3340 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140371409496928 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3341] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3341/stat : 3341 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 26545 33554432000 4194304 4196468 140722886712880 140373596584752 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107460 KiB

[startup+0.211498 s]*
/proc/loadavg: 2.94 3.49 5.42 2/212 3341
/proc/meminfo: memFree=30750976/32770688 swapFree=66961116/67108860
[pid=3318] ppid=3315 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3318/stat : 3318 (scop.sh) S 3315 3318 2547 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234628 115843072 349 33554432000 4194304 5098028 140731278081520 140731278078776 139701206241916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28069888 140731278086948 140731278087276 140731278087276 140731278090189 0
/proc/3318/statm: 28282 349 296 221 0 87 0
[pid=3322] ppid=3318 vsize=27314120 memory=125628 CPUtime=0.23 cores=0-7
/proc/3322/stat : 3322 (java) S 3318 3318 2547 0 -1 1077944320 11567 0 0 0 20 3 0 0 20 0 20 0 420234629 27969658880 31407 33554432000 4194304 4196468 140722886712880 140722886695424 140374610611959 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
/proc/3322/statm: 6828530 31407 2918 1 0 6790935 0
[pid=3322/tid=3323] ppid=3318 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3322/task/3323/stat : 3323 (java) R 3318 3318 2547 0 -1 4202560 9319 0 0 0 17 3 0 0 20 0 20 0 420234629 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374582436528 140374610633885 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3324] ppid=3318 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/3322/task/3324/stat : 3324 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374614854544 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3325] ppid=3318 vsize=27314120 memory=140644142889470 CPUtime=0 cores=0-7
/proc/3322/task/3325/stat : 3325 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374432942864 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3326] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3326/stat : 3326 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374431890576 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3327] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3327/stat : 3327 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374430837776 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3328] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3328/stat : 3328 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374029793680 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3329] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3329/stat : 3329 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374028740880 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3330] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3330/stat : 3330 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374027688592 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3331] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3331/stat : 3331 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 31407 33554432000 4194304 4196468 140722886712880 140374026635792 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3332] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3332/stat : 3332 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234633 27969658880 31407 33554432000 4194304 4196468 140722886712880 140373601847920 140374610623106 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3333] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3333/stat : 3333 (java) S 3318 3318 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234634 27969658880 31407 33554432000 4194304 4196468 140722886712880 140372550346016 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3334] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3334/stat : 3334 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234634 27969658880 31407 33554432000 4194304 4196468 140722886712880 140372281910896 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3335] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3335/stat : 3335 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140371907402320 140374610630555 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3336] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3336/stat : 3336 (java) S 3318 3318 2547 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140373600794736 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3337] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3337/stat : 3337 (java) S 3318 3318 2547 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140373599741936 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3338] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3338/stat : 3338 (java) S 3318 3318 2547 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140373598689648 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3339] ppid=3318 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3322/task/3339/stat : 3339 (java) R 3318 3318 2547 0 -1 4202560 474 0 0 0 2 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140373597636848 140374594855792 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3340] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3340/stat : 3340 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140371409496928 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3341] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3341/stat : 3341 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 31407 33554432000 4194304 4196468 140722886712880 140373596584752 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127024 KiB

[startup+0.310829 s]*
/proc/loadavg: 2.94 3.49 5.42 3/212 3341
/proc/meminfo: memFree=30745600/32770688 swapFree=66961116/67108860
[pid=3318] ppid=3315 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3318/stat : 3318 (scop.sh) S 3315 3318 2547 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234628 115843072 349 33554432000 4194304 5098028 140731278081520 140731278078776 139701206241916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28069888 140731278086948 140731278087276 140731278087276 140731278090189 0
/proc/3318/statm: 28282 349 296 221 0 87 0
[pid=3322] ppid=3318 vsize=27314120 memory=129260 CPUtime=0.42 cores=0-7
/proc/3322/stat : 3322 (java) S 3318 3318 2547 0 -1 1077944320 12200 0 0 0 38 4 0 0 20 0 20 0 420234629 27969658880 32315 33554432000 4194304 4196468 140722886712880 140722886695424 140374610611959 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
/proc/3322/statm: 6828530 32315 3005 1 0 6790935 0
[pid=3322/tid=3323] ppid=3318 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3322/task/3323/stat : 3323 (java) R 3318 3318 2547 0 -1 4202560 9710 0 0 0 26 3 0 0 20 0 20 0 420234629 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374582436816 140374594692446 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3324] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3324/stat : 3324 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374614854544 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3325] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3325/stat : 3325 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374432942864 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3326] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3326/stat : 3326 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374431890576 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3327] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3327/stat : 3327 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374430837776 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3328] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3328/stat : 3328 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374029793680 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3329] ppid=3318 vsize=27314120 memory=140644005800623 CPUtime=0 cores=0-7
/proc/3322/task/3329/stat : 3329 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374028740880 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3330] ppid=3318 vsize=27314120 memory=140644005802928 CPUtime=0 cores=0-7
/proc/3322/task/3330/stat : 3330 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374027688592 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3331] ppid=3318 vsize=27314120 memory=140644005805232 CPUtime=0 cores=0-7
/proc/3322/task/3331/stat : 3331 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234632 27969658880 32315 33554432000 4194304 4196468 140722886712880 140374026635792 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3332] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3332/stat : 3332 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234633 27969658880 32315 33554432000 4194304 4196468 140722886712880 140373601847920 140374610623106 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3333] ppid=3318 vsize=27314120 memory=281288011624336 CPUtime=0 cores=0-7
/proc/3322/task/3333/stat : 3333 (java) S 3318 3318 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234634 27969658880 32315 33554432000 4194304 4196468 140722886712880 140372550346016 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3334] ppid=3318 vsize=27314120 memory=281288011622032 CPUtime=0 cores=0-7
/proc/3322/task/3334/stat : 3334 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234634 27969658880 32315 33554432000 4194304 4196468 140722886712880 140372281910896 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3335] ppid=3318 vsize=27314120 memory=281288011628944 CPUtime=0 cores=0-7
/proc/3322/task/3335/stat : 3335 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140371907402320 140374610630555 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3336] ppid=3318 vsize=27314120 memory=281288011570192 CPUtime=0 cores=0-7
/proc/3322/task/3336/stat : 3336 (java) S 3318 3318 2547 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140373600794736 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3337] ppid=3318 vsize=27314120 memory=281288011642768 CPUtime=0.01 cores=0-7
/proc/3322/task/3337/stat : 3337 (java) S 3318 3318 2547 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140373599741936 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3338] ppid=3318 vsize=27314120 memory=281288011649680 CPUtime=0.02 cores=0-7
/proc/3322/task/3338/stat : 3338 (java) S 3318 3318 2547 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140373598689648 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3339] ppid=3318 vsize=27314120 memory=281288011647376 CPUtime=0.07 cores=0-7
/proc/3322/task/3339/stat : 3339 (java) S 3318 3318 2547 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140373597636848 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3340] ppid=3318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3340/stat : 3340 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140371409496928 140374610622165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3341] ppid=3318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3322/task/3341/stat : 3341 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234637 27969658880 32315 33554432000 4194304 4196468 140722886712880 140373596584752 140374610623106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130656 KiB

[startup+0.700947 s]
/proc/loadavg: 2.94 3.49 5.42 2/212 3341
/proc/meminfo: memFree=30737552/32770688 swapFree=66961116/67108860
[pid=3318] ppid=3315 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3318/stat : 3318 (scop.sh) S 3315 3318 2547 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420234628 115843072 349 33554432000 4194304 5098028 140731278081520 140731278078776 139701206241916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28069888 140731278086948 140731278087276 140731278087276 140731278090189 0
/proc/3318/statm: 28282 349 296 221 0 87 0
[pid=3322] ppid=3318 vsize=27320392 memory=159072 CPUtime=0.9 cores=0-7
/proc/3322/stat : 3322 (java) S 3318 3318 2547 0 -1 1077944320 18926 0 0 0 84 6 0 0 20 0 20 0 420234629 27976081408 39768 33554432000 4194304 4196468 140722886712880 140722886695424 140374610611959 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
/proc/3322/statm: 6830098 39768 3063 1 0 6791447 0
[pid=3322/tid=3323] ppid=3318 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/3322/task/3323/stat : 3323 (java) R 3318 3318 2547 0 -1 4202560 16358 0 0 0 63 5 0 0 20 0 20 0 420234629 27976081408 39768 33554432000 4194304 4196468 140722886712880 140374582434768 140374610633885 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3324] ppid=3318 vsize=27320392 memory=140644006011760 CPUtime=0 cores=0-7
/proc/3322/task/3324/stat : 3324 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27976081408 39768 33554432000 4194304 4196468 140722886712880 140374614854544 140374610622165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3325] ppid=3318 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3322/task/3325/stat : 3325 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234632 27976081408 39768 33554432000 4194304 4196468 140722886712880 140374432942864 140374610622165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0
[pid=3322/tid=3326] ppid=3318 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/3322/task/3326/stat : 3326 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234632 27976081408 39768 33554432000 4194304 4196468 140722886712880 140374431890576 140374610622165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722886714091 140722886714518 140722886714518 140722886717391 0

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

[pid=3342/tid=3343] ppid=3318 vsize=8414124 memory=111636 CPUtime=0.89 cores=0-7
/proc/3342/task/3343/stat : 3343 (java) S 3318 3318 2547 0 -1 1077944384 16880 0 0 0 83 6 0 0 20 0 24 0 420235824 8616062976 30976 33554432000 4194304 4196468 140729616550240 140195911073696 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3344] ppid=3318 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/3342/task/3344/stat : 3344 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 30976 33554432000 4194304 4196468 140729616550240 140195943475600 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3345] ppid=3318 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/3342/task/3345/stat : 3345 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 30976 33554432000 4194304 4196468 140729616550240 140195743643920 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3346] ppid=3318 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/3342/task/3346/stat : 3346 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 30976 33554432000 4194304 4196468 140729616550240 140195742591632 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3347] ppid=3318 vsize=8414124 memory=-4075877051373423742 CPUtime=0 cores=0-7
/proc/3342/task/3347/stat : 3347 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 30976 33554432000 4194304 4196468 140729616550240 140195741538832 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3348] ppid=3318 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/3342/task/3348/stat : 3348 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 31042 33554432000 4194304 4196468 140729616550240 140195740486544 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3349] ppid=3318 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/3342/task/3349/stat : 3349 (java) S 3318 3318 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 31042 33554432000 4194304 4196468 140729616550240 140195739433744 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3350] ppid=3318 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/3342/task/3350/stat : 3350 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 31042 33554432000 4194304 4196468 140729616550240 140195738381456 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3351] ppid=3318 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/3342/task/3351/stat : 3351 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420235826 8616062976 31042 33554432000 4194304 4196468 140729616550240 140195737328656 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3352] ppid=3318 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3342/task/3352/stat : 3352 (java) S 3318 3318 2547 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420235827 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194764228720 140195939244674 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3353] ppid=3318 vsize=8414124 memory=122356 CPUtime=0 cores=0-7
/proc/3342/task/3353/stat : 3353 (java) S 3318 3318 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420235828 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194577638176 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3354] ppid=3318 vsize=8414124 memory=251060 CPUtime=0 cores=0-7
/proc/3342/task/3354/stat : 3354 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235828 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194309203056 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3355] ppid=3318 vsize=8414124 memory=3164 CPUtime=0 cores=0-7
/proc/3342/task/3355/stat : 3355 (java) S 3318 3318 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140193934694480 140195939252123 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3356] ppid=3318 vsize=8414124 memory=1476 CPUtime=0.13 cores=0-7
/proc/3342/task/3356/stat : 3356 (java) S 3318 3318 2547 0 -1 1077944384 866 0 0 0 13 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194763176560 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3357] ppid=3318 vsize=8414124 memory=122356 CPUtime=0.12 cores=0-7
/proc/3342/task/3357/stat : 3357 (java) S 3318 3318 2547 0 -1 1077944384 351 0 0 0 12 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194762123760 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3358] ppid=3318 vsize=8414124 memory=221724 CPUtime=0.14 cores=0-7
/proc/3342/task/3358/stat : 3358 (java) R 3318 3318 2547 0 -1 4202560 532 0 0 0 14 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194761051264 140195924133792 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3359] ppid=3318 vsize=8414124 memory=1680 CPUtime=0.26 cores=0-7
/proc/3342/task/3359/stat : 3359 (java) R 3318 3318 2547 0 -1 4202560 959 0 0 0 26 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194760014624 140195918175078 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3360] ppid=3318 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/3342/task/3360/stat : 3360 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140193436789088 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3361] ppid=3318 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/3342/task/3361/stat : 3361 (java) S 3318 3318 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420235831 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194758965552 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3363] ppid=3318 vsize=8414124 memory=39936 CPUtime=0 cores=0-7
/proc/3342/task/3363/stat : 3363 (java) S 3318 3318 2547 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420235910 8616062976 31042 33554432000 4194304 4196468 140729616550240 140194750932288 140195939258137 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3365] ppid=3318 vsize=8414124 memory=984 CPUtime=0.02 cores=0-7
/proc/3342/task/3365/stat : 3365 (java) R 3318 3318 2547 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 24 0 420235911 8616062976 31042 33554432000 4194304 4196468 140729616550240 140192765689776 140195939255453 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3366] ppid=3318 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/3342/task/3366/stat : 3366 (java) S 3318 3318 2547 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420235911 8616062976 31042 33554432000 4194304 4196468 140729616550240 140193034125072 140195939255453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3367] ppid=3318 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3342/task/3367/stat : 3367 (java) S 3318 3318 2547 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420235913 8616062976 31042 33554432000 4194304 4196468 140729616550240 140192497262384 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
Current children cumulated CPU time: 135.41 s
Current children cumulated vsize: 9298384 KiB
Current children cumulated memory: 396876 KiB

[startup+28.6011 s]
/proc/loadavg: 4.16 3.72 5.44 3/218 3375
/proc/meminfo: memFree=30481184/32770688 swapFree=66961116/67108860
[pid=3318] ppid=3315 vsize=113128 memory=1476 CPUtime=22.19 cores=0-7
/proc/3318/stat : 3318 (scop.sh) S 3315 3318 2547 0 -1 4202496 583 35501 0 0 0 0 2129 90 20 0 1 0 420234628 115843072 369 33554432000 4194304 5098028 140731278081520 140731278078264 139701206241916 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28069888 140731278086948 140731278087276 140731278087276 140731278090189 0
/proc/3318/statm: 28282 369 311 221 0 87 0
[pid=3342] ppid=3318 vsize=8283048 memory=141732 CPUtime=113.7 cores=0-7
/proc/3342/stat : 3342 (java) S 3318 3318 2547 0 -1 1077944320 21985 187898 0 0 197 10 11116 47 20 0 22 0 420235824 8481841152 35433 33554432000 4194304 4196468 140729616550240 140729616532784 140195939233527 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
/proc/3342/statm: 2070762 35433 3234 1 0 2032106 0
[pid=3342/tid=3343] ppid=3318 vsize=8283048 memory=8112282956445269571 CPUtime=112.66 cores=0-7
/proc/3342/task/3343/stat : 3343 (java) R 3318 3318 2547 0 -1 4202560 17167 187898 0 0 96 7 11116 47 20 0 22 0 420235824 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195911071072 140195939245462 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3344] ppid=3318 vsize=8283048 memory=780 CPUtime=111.63 cores=0-7
/proc/3342/task/3344/stat : 3344 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195943475600 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3345] ppid=3318 vsize=8283048 memory=1708 CPUtime=111.63 cores=0-7
/proc/3342/task/3345/stat : 3345 (java) S 3318 3318 2547 0 -1 1077944384 2 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195743643920 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3346] ppid=3318 vsize=8283048 memory=1280 CPUtime=111.63 cores=0-7
/proc/3342/task/3346/stat : 3346 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195742591632 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3347] ppid=3318 vsize=8283048 memory=6000 CPUtime=111.63 cores=0-7
/proc/3342/task/3347/stat : 3347 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195741538832 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3348] ppid=3318 vsize=8283048 memory=780 CPUtime=111.63 cores=0-7
/proc/3342/task/3348/stat : 3348 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195740486544 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3349] ppid=3318 vsize=8283048 memory=3988 CPUtime=111.63 cores=0-7
/proc/3342/task/3349/stat : 3349 (java) S 3318 3318 2547 0 -1 1077944384 2 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195739433744 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3350] ppid=3318 vsize=8283048 memory=1088 CPUtime=111.63 cores=0-7
/proc/3342/task/3350/stat : 3350 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195738381456 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3351] ppid=3318 vsize=8283048 memory=2832 CPUtime=111.63 cores=0-7
/proc/3342/task/3351/stat : 3351 (java) S 3318 3318 2547 0 -1 1077944384 3 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 35433 33554432000 4194304 4196468 140729616550240 140195737328656 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3352] ppid=3318 vsize=8283048 memory=1564 CPUtime=111.63 cores=0-7
/proc/3342/task/3352/stat : 3352 (java) S 3318 3318 2547 0 -1 1077944384 7 187898 0 0 0 0 11116 47 20 0 22 0 420235827 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194764228720 140195939244674 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3353] ppid=3318 vsize=8283048 memory=8560 CPUtime=111.63 cores=0-7
/proc/3342/task/3353/stat : 3353 (java) S 3318 3318 2547 0 -1 1077944384 13 187898 0 0 0 0 11116 47 20 0 22 0 420235828 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194577638176 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3354] ppid=3318 vsize=8283048 memory=14008 CPUtime=111.63 cores=0-7
/proc/3342/task/3354/stat : 3354 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235828 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194309203056 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3355] ppid=3318 vsize=8283048 memory=19244 CPUtime=111.63 cores=0-7
/proc/3342/task/3355/stat : 3355 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140193934694480 140195939252123 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3356] ppid=3318 vsize=8283048 memory=14068 CPUtime=111.81 cores=0-7
/proc/3342/task/3356/stat : 3356 (java) S 3318 3318 2547 0 -1 1077944384 894 187898 0 0 18 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194763176560 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3357] ppid=3318 vsize=8283048 memory=2120 CPUtime=111.81 cores=0-7
/proc/3342/task/3357/stat : 3357 (java) S 3318 3318 2547 0 -1 1077944384 501 187898 0 0 18 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194762123760 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3358] ppid=3318 vsize=8283048 memory=496 CPUtime=111.82 cores=0-7
/proc/3342/task/3358/stat : 3358 (java) S 3318 3318 2547 0 -1 1077944384 604 187898 0 0 19 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194761071472 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3359] ppid=3318 vsize=8283048 memory=1556 CPUtime=111.98 cores=0-7
/proc/3342/task/3359/stat : 3359 (java) S 3318 3318 2547 0 -1 1077944384 1230 187898 0 0 35 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194760018672 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3360] ppid=3318 vsize=8283048 memory=928 CPUtime=111.63 cores=0-7
/proc/3342/task/3360/stat : 3360 (java) S 3318 3318 2547 0 -1 1077944384 3 187898 0 0 0 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140193436789088 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3361] ppid=3318 vsize=8283048 memory=1628 CPUtime=111.63 cores=0-7
/proc/3342/task/3361/stat : 3361 (java) S 3318 3318 2547 0 -1 1077944384 3 187898 0 0 0 0 11116 47 20 0 22 0 420235831 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194758965552 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3363] ppid=3318 vsize=8283048 memory=796 CPUtime=111.63 cores=0-7
/proc/3342/task/3363/stat : 3363 (java) S 3318 3318 2547 0 -1 1077944384 24 187898 0 0 0 0 11116 47 20 0 22 0 420235910 8481841152 35433 33554432000 4194304 4196468 140729616550240 140194750931472 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3367] ppid=3318 vsize=8283048 memory=1444 CPUtime=111.63 cores=0-7
/proc/3342/task/3367/stat : 3367 (java) S 3318 3318 2547 0 -1 1077944384 11 187898 0 0 0 0 11116 47 20 0 22 0 420235913 8481841152 35433 33554432000 4194304 4196468 140729616550240 140192497264176 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
Current children cumulated CPU time: 135.89 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 143208 KiB

[startup+28.701 s]
/proc/loadavg: 4.16 3.72 5.44 3/218 3375
/proc/meminfo: memFree=30481184/32770688 swapFree=66961116/67108860
[pid=3318] ppid=3315 vsize=113128 memory=1476 CPUtime=22.19 cores=0-7
/proc/3318/stat : 3318 (scop.sh) S 3315 3318 2547 0 -1 4202496 583 35501 0 0 0 0 2129 90 20 0 1 0 420234628 115843072 369 33554432000 4194304 5098028 140731278081520 140731278078264 139701206241916 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28069888 140731278086948 140731278087276 140731278087276 140731278090189 0
/proc/3318/statm: 28282 369 311 221 0 87 0
[pid=3342] ppid=3318 vsize=8283048 memory=149936 CPUtime=114.02 cores=0-7
/proc/3342/stat : 3342 (java) S 3318 3318 2547 0 -1 1077944320 24086 187898 0 0 228 11 11116 47 20 0 22 0 420235824 8481841152 37484 33554432000 4194304 4196468 140729616550240 140729616532784 140195939233527 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
/proc/3342/statm: 2070762 37484 3236 1 0 2032106 0
[pid=3342/tid=3343] ppid=3318 vsize=8283048 memory=138632 CPUtime=112.75 cores=0-7
/proc/3342/task/3343/stat : 3343 (java) R 3318 3318 2547 0 -1 4202560 18265 187898 0 0 104 8 11116 47 20 0 22 0 420235824 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195911073008 140195939245462 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3344] ppid=3318 vsize=8283048 memory=270624 CPUtime=111.63 cores=0-7
/proc/3342/task/3344/stat : 3344 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195943475600 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3345] ppid=3318 vsize=8283048 memory=270100 CPUtime=111.63 cores=0-7
/proc/3342/task/3345/stat : 3345 (java) S 3318 3318 2547 0 -1 1077944384 2 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195743643920 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3346] ppid=3318 vsize=8283048 memory=0 CPUtime=111.63 cores=0-7
/proc/3342/task/3346/stat : 3346 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195742591632 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3347] ppid=3318 vsize=8283048 memory=0 CPUtime=111.63 cores=0-7
/proc/3342/task/3347/stat : 3347 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195741538832 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3348] ppid=3318 vsize=8283048 memory=780 CPUtime=111.63 cores=0-7
/proc/3342/task/3348/stat : 3348 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195740486544 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3349] ppid=3318 vsize=8283048 memory=3988 CPUtime=111.63 cores=0-7
/proc/3342/task/3349/stat : 3349 (java) S 3318 3318 2547 0 -1 1077944384 2 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195739433744 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3350] ppid=3318 vsize=8283048 memory=1088 CPUtime=111.63 cores=0-7
/proc/3342/task/3350/stat : 3350 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195738381456 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3351] ppid=3318 vsize=8283048 memory=281288011672608 CPUtime=111.63 cores=0-7
/proc/3342/task/3351/stat : 3351 (java) S 3318 3318 2547 0 -1 1077944384 3 187898 0 0 0 0 11116 47 20 0 22 0 420235826 8481841152 37484 33554432000 4194304 4196468 140729616550240 140195737328656 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3352] ppid=3318 vsize=8283048 memory=7595128831307050597 CPUtime=111.63 cores=0-7
/proc/3342/task/3352/stat : 3352 (java) S 3318 3318 2547 0 -1 1077944384 7 187898 0 0 0 0 11116 47 20 0 22 0 420235827 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194764228720 140195939244674 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3353] ppid=3318 vsize=8283048 memory=7595128831307050597 CPUtime=111.63 cores=0-7
/proc/3342/task/3353/stat : 3353 (java) S 3318 3318 2547 0 -1 1077944384 13 187898 0 0 0 0 11116 47 20 0 22 0 420235828 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194577638176 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3354] ppid=3318 vsize=8283048 memory=3612 CPUtime=111.63 cores=0-7
/proc/3342/task/3354/stat : 3354 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235828 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194309203056 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3355] ppid=3318 vsize=8283048 memory=33 CPUtime=111.63 cores=0-7
/proc/3342/task/3355/stat : 3355 (java) S 3318 3318 2547 0 -1 1077944384 1 187898 0 0 0 0 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140193934694480 140195939252123 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3356] ppid=3318 vsize=8283048 memory=7156896464544492371 CPUtime=111.86 cores=0-7
/proc/3342/task/3356/stat : 3356 (java) R 3318 3318 2547 0 -1 4202560 948 187898 0 0 23 0 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194763166352 140195923217611 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3357] ppid=3318 vsize=8283048 memory=7162531440177276259 CPUtime=111.87 cores=0-7
/proc/3342/task/3357/stat : 3357 (java) R 3318 3318 2547 0 -1 4202560 873 187898 0 0 24 0 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194762104872 140195924114852 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3358] ppid=3318 vsize=8283048 memory=281288012532384 CPUtime=111.88 cores=0-7
/proc/3342/task/3358/stat : 3358 (java) R 3318 3318 2547 0 -1 4202560 867 187898 0 0 25 0 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194761071472 140195939254874 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3359] ppid=3318 vsize=8283048 memory=39936 CPUtime=112.04 cores=0-7
/proc/3342/task/3359/stat : 3359 (java) R 3318 3318 2547 0 -1 1077944384 1544 187898 0 0 40 1 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194760018672 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3360] ppid=3318 vsize=8283048 memory=984 CPUtime=111.63 cores=0-7
/proc/3342/task/3360/stat : 3360 (java) S 3318 3318 2547 0 -1 1077944384 3 187898 0 0 0 0 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140193436789088 140195939243733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3361] ppid=3318 vsize=8283048 memory=2044 CPUtime=111.63 cores=0-7
/proc/3342/task/3361/stat : 3361 (java) S 3318 3318 2547 0 -1 1077944384 3 187898 0 0 0 0 11116 47 20 0 22 0 420235831 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194758965552 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3363] ppid=3318 vsize=8283048 memory=1388 CPUtime=111.63 cores=0-7
/proc/3342/task/3363/stat : 3363 (java) S 3318 3318 2547 0 -1 1077944384 24 187898 0 0 0 0 11116 47 20 0 22 0 420235910 8481841152 37484 33554432000 4194304 4196468 140729616550240 140194750931472 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
[pid=3342/tid=3367] ppid=3318 vsize=8283048 memory=1056 CPUtime=111.63 cores=0-7
/proc/3342/task/3367/stat : 3367 (java) S 3318 3318 2547 0 -1 1077944384 11 187898 0 0 0 0 11116 47 20 0 22 0 420235913 8481841152 37484 33554432000 4194304 4196468 140729616550240 140192497264176 140195939244674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34254848 140729616557048 140729616557206 140729616557206 140729616560079 0
Current children cumulated CPU time: 136.21 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 151412 KiB

Child status: 0
Real time (s): 28.7261
CPU time (s): 136.273
CPU user time (s): 134.754
CPU system time (s): 1.51945
CPU usage (%): 474.388
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4497680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.754
system time used= 1.51945
maximum resident set size= 4496592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14452
involuntary context switches= 1236


# summary of solver processes directly reported to runsolver:
#   pid: 3318
#   total CPU time (s): 136.273
#   total CPU user time (s): 134.754
#   total CPU system time (s): 1.51945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.292033 second user time and 0.410366 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-14 08:34:49
IDJOB=4392730
IDBENCH=138961
IDSOLVER=2839
FILE ID=node116/4392730-1568442929
RUNJOBID= node116-1568439487-2574
PBS_JOBID= 21702335
Free space on /tmp= 61244 MiB

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

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

MD5SUM BENCH= bc231a1d8845efcd5c5ebc235ca42ef6
RANDOM SEED=1196718191

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        30864820 kB
MemAvailable:   31856452 kB
Buffers:           88776 kB
Cached:          1188676 kB
SwapCached:        46664 kB
Active:           941780 kB
Inactive:         388084 kB
Active(anon):       4732 kB
Inactive(anon):    88112 kB
Active(file):     937048 kB
Inactive(file):   299972 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       66961116 kB
Dirty:             20712 kB
Writeback:             0 kB
AnonPages:        198064 kB
Mapped:            44392 kB
Shmem:             32008 kB
Slab:             169548 kB
SReclaimable:     140892 kB
SUnreclaim:        28656 kB
KernelStack:        3728 kB
PageTables:         5480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     498560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61224 MiB
End job on node116 at 2019-09-14 08:35:17