Trace number 4392679

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 34.3962 12.8106

General information on the benchmark

NameBibd/Bibd-sum-stab1/
Bibd-sum-25-05-01.xml
MD5SUM8664f4f5c29eba7e0c756194721bfaf5
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 benchmark21.1993
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints356
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":750}]
Minimum variable degree27
Maximum variable degree27
Distribution of variable degrees[{"degree":27,"count":750}]
Minimum constraint arity25
Maximum constraint arity750
Distribution of constraint arities[{"arity":25,"count":30},{"arity":30,"count":25},{"arity":60,"count":300},{"arity":750,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":355}]
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-6894-serial-file.bin HOME/instance-4392679-1568422464.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Sat Sep 14 02:53:44 CEST 2019
0.65/0.58	c PID: 6897
0.65/0.58	c IP: 172.20.3.143
0.65/0.58	c HOST: node143.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.36/1.21	c (0,0) Parsing End
2.36/1.22	c (0,0) CSP: 0 int (0 aux), 750 bool (0 aux), 356 ctr, max domain size 2
2.36/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.36/1.22	c (0,0) Constraint Name Generate Begin
2.36/1.23	c (0,0) Ctr:HOME/instance-4392679-1568422464.xml,LexMatrix:Num:Var:WeightedSum
2.36/1.23	c (0,0) Constraint Name Generate End
2.36/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.36/1.23	c (0,0) CSP to CSPinCNF Begin
2.96/1.45	c (0,0) translated 36 (10%) constraints
4.24/1.83	c (1,1) translated 72 (20%) constraints
5.54/2.20	c (1,1) translated 107 (30%) constraints
6.11/2.49	c (1,1) translated 143 (40%) constraints
6.86/2.77	c (2,2) translated 178 (50%) constraints
7.40/3.03	c (2,2) translated 214 (60%) constraints
7.67/3.28	c (2,2) translated 250 (70%) constraints
8.05/3.54	c (2,2) translated 285 (80%) constraints
8.25/3.78	c (3,3) translated 321 (90%) constraints
8.56/4.02	c (3,3) translated 356 (100%) constraints
11.22/5.60	c (5,5) ===========================================
11.22/5.64	c (5,5) Hybrid: #OE=10339, #LE=9750
11.22/5.64	c (5,5) Hybrid
11.22/5.64	c (5,5) ===========================================
12.25/5.90	c (5,5) translated 3914 (10%) constraints
12.59/6.07	c (5,5) translated 7828 (20%) constraints
12.88/6.23	c (5,5) translated 11742 (30%) constraints
12.98/6.38	c (5,5) translated 15656 (40%) constraints
13.18/6.54	c (5,5) translated 19570 (50%) constraints
13.40/6.73	c (6,6) translated 23484 (60%) constraints
13.49/6.89	c (6,6) translated 27398 (70%) constraints
13.71/7.05	c (6,6) translated 31312 (80%) constraints
13.92/7.21	c (6,6) translated 35226 (90%) constraints
14.10/7.39	c (6,6) translated 39139 (100%) constraints
14.10/7.40	c (6,6) CSP to CSPinCNF End
14.42/7.41	c (6,6) CSP: 0 int (0 aux), 29089 bool (28339 aux), 57494 ctr, max domain size 2
14.42/7.41	c (6,6) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.42/7.41	c (6,6) CSPinCNF Propagation Begin
15.71/7.81	c (7,7) 0 values, 9000 unsatisfiable literals, and 9000 valid clauses are removed
15.71/7.81	c (7,7) CSPinCNF Propagation End
15.71/7.81	c (7,7) CSP: 0 int (0 aux), 29089 bool (28339 aux), 48494 ctr, max domain size 2
15.71/7.81	c (7,7) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.71/7.85	c (7,7) Hybrid: #OE=19339, #LE=9750
15.71/7.85	c (7,7) Simplify CSPinCNF Begin
16.15/8.06	c (7,7) Simplify CSPinCNF End
16.15/8.07	c (7,7) CSP: 0 int (0 aux), 31926 bool (31176 aux), 51331 ctr, max domain size 2
16.15/8.07	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.15/8.07	c (7,7) Calculate Precise Domain Begin
16.15/8.07	c (7,7) 0 values are removed by re-calculation
16.15/8.07	c (7,7) Calculate Precise Domain End
16.15/8.07	c (7,7) CSP: 0 int (0 aux), 31926 bool (31176 aux), 51331 ctr, max domain size 2
16.15/8.07	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.15/8.07	c (7,7) CSPinCNF to SatSolver Begin
18.68/8.76	c (8,8) 5134 (10 %) CSP clauses are encoded (0 SAT variables, 51793 SAT clauses)
19.48/8.93	c (8,8) 10267 (20 %) CSP clauses are encoded (0 SAT variables, 62536 SAT clauses)
19.89/9.03	c (8,8) 15400 (30 %) CSP clauses are encoded (0 SAT variables, 73449 SAT clauses)
20.09/9.13	c (8,8) 20533 (40 %) CSP clauses are encoded (0 SAT variables, 84362 SAT clauses)
20.28/9.23	c (8,8) 25666 (50 %) CSP clauses are encoded (0 SAT variables, 95275 SAT clauses)
20.49/9.33	c (8,8) 30799 (60 %) CSP clauses are encoded (0 SAT variables, 106018 SAT clauses)
20.66/9.42	c (8,8) 35932 (70 %) CSP clauses are encoded (0 SAT variables, 116931 SAT clauses)
20.76/9.51	c (8,8) 41065 (80 %) CSP clauses are encoded (0 SAT variables, 127844 SAT clauses)
20.87/9.61	c (9,9) 46198 (90 %) CSP clauses are encoded (0 SAT variables, 139041 SAT clauses)
21.05/9.72	c (9,9) 51331 (100 %) CSP clauses are encoded (0 SAT variables, 154346 SAT clauses)
21.05/9.72	c (9,9) CSPinCNF to SatSolver End
21.05/9.72	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.05/9.72	c (9,9) 69594 bool, 154347 clause
21.05/9.72	c (9,9) Export Begin
21.22/9.89	c (9,9) Export to HOME/scop-6894-serial-file.bin
21.22/9.89	c (9,9) Export End
21.22/9.89	c (9,9) Export File Size: 0.29 MB
21.22/9.89	c (9,9) 0,0,6,7,7,7,9,STOP-AFTER(DIMACS)
21.22/9.89	c END-Prog: Sat Sep 14 02:53:53 CEST 2019
21.52/9.93	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6894-serial-file.bin
22.04/10.39	c (0,0) Read Serial File Begin
22.04/10.39	c (0,0) HOME/scop-6894-serial-file.bin
22.86/10.70	c (0,0) Read Serial File End
22.86/10.71	
22.86/10.74	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
22.86/10.74	(Solving Process)
22.86/10.74	
22.86/10.74	c BEGIN-Prog: Sat Sep 14 02:53:54 CEST 2019
22.86/10.74	c PID: 6917
22.86/10.74	c IP: 172.20.3.143
22.86/10.74	c HOST: node143.alineos.net
22.86/10.74	c (0,0) SatSolver.solve Begin
22.86/10.74	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392679-1568422464.xml-scop-6897.cnf
22.86/10.77	c (0,0) c
22.86/10.77	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)
22.86/10.77	c (0,0) c
22.86/10.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.86/10.77	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.86/10.77	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.86/10.77	c (0,0) c |                                                                                                       |
23.10/10.83	c (0,0) c |  Number of variables:         69594                                                                   |
23.10/10.83	c (0,0) c |  Number of clauses:          153937                                                                   |
23.10/10.83	c (0,0) c |  Parse time:                   0.06 s                                                                 |
23.10/10.83	c (0,0) c |                                                                                                       |
23.13/10.96	c (0,0) c |  Simplification time:          0.12 s                                                                 |
23.13/10.96	c (0,0) c |                                                                                                       |
23.13/10.96	c (0,0) c |  Generating clones                                                                                    |
23.36/11.11	c (0,0) c |  all clones generated. Memory =   200.98Mb.                                                           |
23.36/11.11	c (0,0) c ========================================================================================================|
23.36/11.11	c (0,0) c
23.36/11.11	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.36/11.11	c (0,0) c
23.36/11.11	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.36/11.11	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.36/11.11	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.36/11.11	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.36/11.11	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.36/11.11	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.36/11.11	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.36/11.11	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.36/11.11	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.36/11.11	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.36/11.11	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.36/11.11	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.36/11.11	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.36/11.11	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.36/11.11	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.36/11.11	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.36/11.11	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.36/11.11	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.36/11.11	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c real time : 1.75558 s
33.57/12.52	c (2,0) c cpu time  : 10.2359 s
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c | Conflicts     |           45862 |       5818 |       6385 |       5807 |       4538 |       5499 |       6179 |       5910 |       5726 |
33.57/12.52	c (2,0) c | Decisions     |          217683 |      27665 |      29136 |      26215 |      23875 |      23647 |      28304 |      31037 |      27804 |
33.57/12.52	c (2,0) c | Propagations  |        34726109 |    4326790 |    4647479 |    4535378 |    3593669 |    4009888 |    4842218 |    4717947 |    4052740 |
33.57/12.52	c (2,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
33.57/12.52	c (2,0) c | SimpDBs       |              65 |          7 |          9 |          8 |          6 |          8 |         10 |         10 |          7 |
33.57/12.52	c (2,0) c | Restarts      |             355 |         54 |         52 |         42 |         40 |         36 |         53 |         49 |         29 |
33.57/12.52	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | PropBinClauses|        38629292 |    4724582 |    5057669 |    5059741 |    4287043 |    4689125 |    5203947 |    5166902 |    4440283 |
33.57/12.52	c (2,0) c | PropPreBlocker|        57802943 |    7290039 |    7596611 |    7504977 |    5767698 |    7001110 |    8075092 |    7528686 |    7038730 |
33.57/12.52	c (2,0) c | PropNotBlocker|        32851631 |    4140410 |    4365215 |    4310262 |    3215495 |    3959878 |    4611063 |    4311268 |    3938040 |
33.57/12.52	c (2,0) c | LitFullScans  |       345575516 |   42011025 |   42011381 |   42010565 |   42017329 |   46898867 |   42019154 |   42007940 |   46599255 |
33.57/12.52	c (2,0) c | LitScanFracts |          117944 |       9130 |       9454 |      10238 |      16855 |       8083 |      16686 |       6949 |      40549 |
33.57/12.52	c (2,0) c | DecisionLevel0|             551 |         79 |         83 |         60 |         45 |         63 |         98 |         71 |         52 |
33.57/12.52	c (2,0) c | Periods       |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
33.57/12.52	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
33.57/12.52	c (2,0) c | Avg_Trail     |                 |      13668 |      13324 |      13333 |      13042 |      13869 |      13566 |      13746 |      13697 |
33.57/12.52	c (2,0) c | Avg_DL        |                 |         76 |         65 |         65 |         77 |         54 |         64 |         59 |         98 |
33.57/12.52	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c | Exported      |            2812 |        326 |        607 |        370 |        110 |        251 |        493 |        337 |        318 |
33.57/12.52	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c | Unaries       |                 |         25 |         31 |         18 |          5 |         27 |         45 |         22 |         23 |
33.57/12.52	c (2,0) c | Binaries      |                 |         45 |         78 |         56 |         33 |         55 |         86 |         64 |         40 |
33.57/12.52	c (2,0) c | Glues         |                 |        111 |        160 |        124 |        110 |        121 |        164 |        149 |         76 |
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c | Orig_Seen     |            36 % |      29963 |      36871 |      25649 |      30490 |      26239 |      37540 |      38825 |      37849 |
33.57/12.52	c (2,0) c | Diff Orig seen|                 | -     7886 | -      978 | -    12200 | -     7359 | -    11610 | -      309 |        976 |      X     |
33.57/12.52	c (2,0) c | Hamming       |            11 % |       7667 |       7510 |       8941 |       7579 |       8170 |       6948 |       7203 |      X     |
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c | RunningTime   |                 |    1.4 100%|    1.4 100%|    1.2 100%|    1.2 100%|    1.2 100%|    1.3 100%|    1.4 100%|    1.2 100%|
33.57/12.52	c (2,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%|
33.57/12.52	c (2,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%|
33.57/12.52	c (2,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%|
33.57/12.52	c (2,0) c | SolvingTime   |                 |    1.4     |    1.4     |    1.2     |    1.2     |    1.2     |    1.3     |    1.4     |    1.2     |
33.57/12.52	c (2,0) c | PropagationTim|                 |    0.9  67%|    0.9  68%|    0.8  67%|    0.8  62%|    0.7  62%|    0.9  68%|    1.0  68%|    0.7  61%|
33.57/12.52	c (2,0) c | AnalysisTime  |                 |    0.3  22%|    0.3  20%|    0.3  23%|    0.3  28%|    0.3  28%|    0.3  21%|    0.3  20%|    0.3  28%|
33.57/12.52	c (2,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|
33.57/12.52	c (2,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   2%|    0.0   3%|
33.57/12.52	c (2,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%|
33.57/12.52	c (2,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%|
33.57/12.52	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c
33.57/12.52	c (2,0) c Threads : 8
33.57/12.52	c (2,0) c Winner : 7
33.57/12.52	c (2,0) c Conflicts_0 : 5818
33.57/12.52	c (2,0) c Conflicts_1 : 6385
33.57/12.52	c (2,0) c Conflicts_2 : 5807
33.57/12.52	c (2,0) c Conflicts_3 : 4538
33.57/12.52	c (2,0) c Conflicts_4 : 5499
33.57/12.52	c (2,0) c Conflicts_5 : 6179
33.57/12.52	c (2,0) c Conflicts_6 : 5910
33.57/12.52	c (2,0) c Conflicts_7 : 5726
33.57/12.52	c (2,0) c Conflicts_total : 45862
33.57/12.52	c (2,0) c Conflicts_winner : 5726
33.57/12.52	c (2,0) c Decisions_0 : 27665
33.57/12.52	c (2,0) c Decisions_1 : 29136
33.57/12.52	c (2,0) c Decisions_2 : 26215
33.57/12.52	c (2,0) c Decisions_3 : 23875
33.57/12.52	c (2,0) c Decisions_4 : 23647
33.57/12.52	c (2,0) c Decisions_5 : 28304
33.57/12.52	c (2,0) c Decisions_6 : 31037
33.57/12.52	c (2,0) c Decisions_7 : 27804
33.57/12.52	c (2,0) c Decisions_total : 217683
33.57/12.52	c (2,0) c Decisions_winner : 27804
33.57/12.52	c (2,0) c Propagations_0 : 4326790
33.57/12.52	c (2,0) c Propagations_1 : 4647479
33.57/12.52	c (2,0) c Propagations_2 : 4535378
33.57/12.52	c (2,0) c Propagations_3 : 3593669
33.57/12.52	c (2,0) c Propagations_4 : 4009888
33.57/12.52	c (2,0) c Propagations_5 : 4842218
33.57/12.52	c (2,0) c Propagations_6 : 4717947
33.57/12.52	c (2,0) c Propagations_7 : 4052740
33.57/12.52	c (2,0) c Propagations_total : 34726109
33.57/12.52	c (2,0) c Propagations_winner : 4052740
33.57/12.52	c (2,0) c ReduceDBs_0 : 1
33.57/12.52	c (2,0) c ReduceDBs_1 : 1
33.57/12.52	c (2,0) c ReduceDBs_2 : 1
33.57/12.52	c (2,0) c ReduceDBs_3 : 1
33.57/12.52	c (2,0) c ReduceDBs_4 : 1
33.57/12.52	c (2,0) c ReduceDBs_5 : 1
33.57/12.52	c (2,0) c ReduceDBs_6 : 1
33.57/12.52	c (2,0) c ReduceDBs_7 : 1
33.57/12.52	c (2,0) c ReduceDBs_total : 8
33.57/12.52	c (2,0) c ReduceDBs_winner : 1
33.57/12.52	c (2,0) c SimpDBs_0 : 7
33.57/12.52	c (2,0) c SimpDBs_1 : 9
33.57/12.52	c (2,0) c SimpDBs_2 : 8
33.57/12.52	c (2,0) c SimpDBs_3 : 6
33.57/12.52	c (2,0) c SimpDBs_4 : 8
33.57/12.52	c (2,0) c SimpDBs_5 : 10
33.57/12.52	c (2,0) c SimpDBs_6 : 10
33.57/12.52	c (2,0) c SimpDBs_7 : 7
33.57/12.52	c (2,0) c SimpDBs_total : 65
33.57/12.52	c (2,0) c SimpDBs_winner : 7
33.57/12.52	c (2,0) c Restarts_0 : 54
33.57/12.52	c (2,0) c Restarts_1 : 52
33.57/12.52	c (2,0) c Restarts_2 : 42
33.57/12.52	c (2,0) c Restarts_3 : 40
33.57/12.52	c (2,0) c Restarts_4 : 36
33.57/12.52	c (2,0) c Restarts_5 : 53
33.57/12.52	c (2,0) c Restarts_6 : 49
33.57/12.52	c (2,0) c Restarts_7 : 29
33.57/12.52	c (2,0) c Restarts_total : 355
33.57/12.52	c (2,0) c Restarts_winner : 29
33.57/12.52	c (2,0) c ForcedImports_0 : 0
33.57/12.52	c (2,0) c ForcedImports_1 : 0
33.57/12.52	c (2,0) c ForcedImports_2 : 0
33.57/12.52	c (2,0) c ForcedImports_3 : 0
33.57/12.52	c (2,0) c ForcedImports_4 : 0
33.57/12.52	c (2,0) c ForcedImports_5 : 0
33.57/12.52	c (2,0) c ForcedImports_6 : 0
33.57/12.52	c (2,0) c ForcedImports_7 : 0
33.57/12.52	c (2,0) c ForcedImports_total : 0
33.57/12.52	c (2,0) c ForcedImports_winner : 0
33.57/12.52	c (2,0) c PropsBinClauses_0 : 4724582
33.57/12.52	c (2,0) c PropsBinClauses_1 : 5057669
33.57/12.52	c (2,0) c PropsBinClauses_2 : 5059741
33.57/12.52	c (2,0) c PropsBinClauses_3 : 4287043
33.57/12.52	c (2,0) c PropsBinClauses_4 : 4689125
33.57/12.52	c (2,0) c PropsBinClauses_5 : 5203947
33.57/12.52	c (2,0) c PropsBinClauses_6 : 5166902
33.57/12.52	c (2,0) c PropsBinClauses_7 : 4440283
33.57/12.52	c (2,0) c PropsBinClauses_total : 38629292
33.57/12.52	c (2,0) c PropsBinClauses_winner : 4440283
33.57/12.52	c (2,0) c PropsPreBlocker_0 : 7290039
33.57/12.52	c (2,0) c PropsPreBlocker_1 : 7596611
33.57/12.52	c (2,0) c PropsPreBlocker_2 : 7504977
33.57/12.52	c (2,0) c PropsPreBlocker_3 : 5767698
33.57/12.52	c (2,0) c PropsPreBlocker_4 : 7001110
33.57/12.52	c (2,0) c PropsPreBlocker_5 : 8075092
33.57/12.52	c (2,0) c PropsPreBlocker_6 : 7528686
33.57/12.52	c (2,0) c PropsPreBlocker_7 : 7038730
33.57/12.52	c (2,0) c PropsPreBlocker_total : 57802943
33.57/12.52	c (2,0) c PropsPreBlocker_winner : 7038730
33.57/12.52	c (2,0) c PropsNotBlocker_0 : 4140410
33.57/12.52	c (2,0) c PropsNotBlocker_1 : 4365215
33.57/12.52	c (2,0) c PropsNotBlocker_2 : 4310262
33.57/12.52	c (2,0) c PropsNotBlocker_3 : 3215495
33.57/12.52	c (2,0) c PropsNotBlocker_4 : 3959878
33.57/12.52	c (2,0) c PropsNotBlocker_5 : 4611063
33.57/12.52	c (2,0) c PropsNotBlocker_6 : 4311268
33.57/12.52	c (2,0) c PropsNotBlocker_7 : 3938040
33.57/12.52	c (2,0) c PropsNotBlocker_total : 32851631
33.57/12.52	c (2,0) c PropsNotBlocker_winner : 3938040
33.57/12.53	c (2,0) c PropsLitFullScans_0 : 42011025
33.57/12.53	c (2,0) c PropsLitFullScans_1 : 42011381
33.57/12.53	c (2,0) c PropsLitFullScans_2 : 42010565
33.57/12.53	c (2,0) c PropsLitFullScans_3 : 42017329
33.57/12.53	c (2,0) c PropsLitFullScans_4 : 46898867
33.57/12.53	c (2,0) c PropsLitFullScans_5 : 42019154
33.57/12.53	c (2,0) c PropsLitFullScans_6 : 42007940
33.57/12.53	c (2,0) c PropsLitFullScans_7 : 46599255
33.57/12.53	c (2,0) c PropsLitFullScans_total : 345575516
33.57/12.53	c (2,0) c PropsLitFullScans_winner : 46599255
33.57/12.53	c (2,0) c LitScanFractions_0 : 9130
33.57/12.53	c (2,0) c LitScanFractions_1 : 9454
33.57/12.53	c (2,0) c LitScanFractions_2 : 10238
33.57/12.53	c (2,0) c LitScanFractions_3 : 16855
33.57/12.53	c (2,0) c LitScanFractions_4 : 8083
33.57/12.53	c (2,0) c LitScanFractions_5 : 16686
33.57/12.53	c (2,0) c LitScanFractions_6 : 6949
33.57/12.53	c (2,0) c LitScanFractions_7 : 40549
33.57/12.53	c (2,0) c LitScanFractions_total : 117944
33.57/12.53	c (2,0) c LitScanFractions_winner : 40549
33.57/12.53	c (2,0) c DecisionLevel0_0 : 79
33.57/12.53	c (2,0) c DecisionLevel0_1 : 83
33.57/12.53	c (2,0) c DecisionLevel0_2 : 60
33.57/12.53	c (2,0) c DecisionLevel0_3 : 45
33.57/12.53	c (2,0) c DecisionLevel0_4 : 63
33.57/12.53	c (2,0) c DecisionLevel0_5 : 98
33.57/12.53	c (2,0) c DecisionLevel0_6 : 71
33.57/12.53	c (2,0) c DecisionLevel0_7 : 52
33.57/12.53	c (2,0) c DecisionLevel0_total : 551
33.57/12.53	c (2,0) c DecisionLevel0_winner : 52
33.57/12.53	c (2,0) c Periods_0 : 7
33.57/12.53	c (2,0) c Periods_1 : 7
33.57/12.53	c (2,0) c Periods_2 : 7
33.57/12.53	c (2,0) c Periods_3 : 7
33.57/12.53	c (2,0) c Periods_4 : 7
33.57/12.53	c (2,0) c Periods_5 : 7
33.57/12.53	c (2,0) c Periods_6 : 7
33.57/12.53	c (2,0) c Periods_7 : 7
33.57/12.53	c (2,0) c Periods_total : 56
33.57/12.53	c (2,0) c Periods_winner : 7
33.57/12.53	c (2,0) c Margin_0 : 20
33.57/12.53	c (2,0) c Margin_1 : 20
33.57/12.53	c (2,0) c Margin_2 : 20
33.57/12.53	c (2,0) c Margin_3 : 20
33.57/12.53	c (2,0) c Margin_4 : 20
33.57/12.53	c (2,0) c Margin_5 : 20
33.57/12.53	c (2,0) c Margin_6 : 20
33.57/12.53	c (2,0) c Margin_7 : 20
33.57/12.53	c (2,0) c Margin_total : 160
33.57/12.53	c (2,0) c Margin_winner : 20
33.57/12.53	c (2,0) c Exported_0 : 326
33.57/12.53	c (2,0) c Exported_1 : 607
33.57/12.53	c (2,0) c Exported_2 : 370
33.57/12.53	c (2,0) c Exported_3 : 110
33.57/12.53	c (2,0) c Exported_4 : 251
33.57/12.53	c (2,0) c Exported_5 : 493
33.57/12.53	c (2,0) c Exported_6 : 337
33.57/12.53	c (2,0) c Exported_7 : 318
33.57/12.53	c (2,0) c Exported_total : 2812
33.57/12.53	c (2,0) c Exported_winner : 318
33.57/12.53	c (2,0) c Imported_0 : 0
33.57/12.53	c (2,0) c Imported_1 : 0
33.57/12.53	c (2,0) c Imported_2 : 0
33.57/12.53	c (2,0) c Imported_3 : 0
33.57/12.53	c (2,0) c Imported_4 : 0
33.57/12.53	c (2,0) c Imported_5 : 0
33.57/12.53	c (2,0) c Imported_6 : 0
33.57/12.53	c (2,0) c Imported_7 : 0
33.57/12.53	c (2,0) c Imported_total : 0
33.57/12.53	c (2,0) c Imported_winner : 0
33.57/12.53	c (2,0) c Good_0 : 0
33.57/12.53	c (2,0) c Good_1 : 0
33.57/12.53	c (2,0) c Good_2 : 0
33.57/12.53	c (2,0) c Good_3 : 0
33.57/12.53	c (2,0) c Good_4 : 0
33.57/12.53	c (2,0) c Good_5 : 0
33.57/12.53	c (2,0) c Good_6 : 0
33.57/12.53	c (2,0) c Good_7 : 0
33.57/12.53	c (2,0) c Good_total : 0
33.57/12.53	c (2,0) c Good_winner : 0
33.57/12.53	c (2,0) c Purge_0 : 0
33.57/12.53	c (2,0) c Purge_1 : 0
33.57/12.53	c (2,0) c Purge_2 : 0
33.57/12.53	c (2,0) c Purge_3 : 0
33.57/12.53	c (2,0) c Purge_4 : 0
33.57/12.53	c (2,0) c Purge_5 : 0
33.57/12.53	c (2,0) c Purge_6 : 0
33.57/12.53	c (2,0) c Purge_7 : 0
33.57/12.53	c (2,0) c Purge_total : 0
33.57/12.53	c (2,0) c Purge_winner : 0
33.57/12.53	c (2,0) c Promoted_0 : 0
33.57/12.53	c (2,0) c Promoted_1 : 0
33.57/12.53	c (2,0) c Promoted_2 : 0
33.57/12.53	c (2,0) c Promoted_3 : 0
33.57/12.53	c (2,0) c Promoted_4 : 0
33.57/12.53	c (2,0) c Promoted_5 : 0
33.57/12.53	c (2,0) c Promoted_6 : 0
33.57/12.53	c (2,0) c Promoted_7 : 0
33.57/12.53	c (2,0) c Promoted_total : 0
33.57/12.53	c (2,0) c Promoted_winner : 0
33.57/12.53	c (2,0) c Remove_Imp_0 : 0
33.57/12.53	c (2,0) c Remove_Imp_1 : 0
33.57/12.53	c (2,0) c Remove_Imp_2 : 0
33.57/12.53	c (2,0) c Remove_Imp_3 : 0
33.57/12.53	c (2,0) c Remove_Imp_4 : 0
33.57/12.53	c (2,0) c Remove_Imp_5 : 0
33.57/12.53	c (2,0) c Remove_Imp_6 : 0
33.57/12.53	c (2,0) c Remove_Imp_7 : 0
33.57/12.53	c (2,0) c Remove_Imp_total : 0
33.57/12.53	c (2,0) c Remove_Imp_winner : 0
33.57/12.53	c (2,0) c Blocked_Reuse_0 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_1 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_2 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_3 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_4 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_5 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_6 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_7 : 0
33.57/12.53	c (2,0) c Blocked_Reuse_total : 0
33.57/12.53	c (2,0) c Blocked_Reuse_winner : 0
33.57/12.53	c (2,0) c Unaries_0 : 25
33.57/12.53	c (2,0) c Unaries_1 : 31
33.57/12.53	c (2,0) c Unaries_2 : 18
33.57/12.53	c (2,0) c Unaries_3 : 5
33.57/12.53	c (2,0) c Unaries_4 : 27
33.57/12.53	c (2,0) c Unaries_5 : 45
33.57/12.53	c (2,0) c Unaries_6 : 22
33.57/12.53	c (2,0) c Unaries_7 : 23
33.57/12.53	c (2,0) c Unaries_total : 196
33.57/12.53	c (2,0) c Unaries_winner : 23
33.57/12.53	c (2,0) c Binaries_0 : 45
33.57/12.53	c (2,0) c Binaries_1 : 78
33.57/12.53	c (2,0) c Binaries_2 : 56
33.57/12.53	c (2,0) c Binaries_3 : 33
33.57/12.53	c (2,0) c Binaries_4 : 55
33.57/12.53	c (2,0) c Binaries_5 : 86
33.57/12.53	c (2,0) c Binaries_6 : 64
33.57/12.53	c (2,0) c Binaries_7 : 40
33.57/12.53	c (2,0) c Binaries_total : 457
33.57/12.53	c (2,0) c Binaries_winner : 40
33.57/12.53	c (2,0) c Glues_0 : 111
33.57/12.53	c (2,0) c Glues_1 : 160
33.57/12.53	c (2,0) c Glues_2 : 124
33.57/12.53	c (2,0) c Glues_3 : 110
33.57/12.53	c (2,0) c Glues_4 : 121
33.57/12.53	c (2,0) c Glues_5 : 164
33.57/12.53	c (2,0) c Glues_6 : 149
33.57/12.53	c (2,0) c Glues_7 : 76
33.57/12.53	c (2,0) c Glues_total : 1015
33.57/12.53	c (2,0) c Glues_winner : 76
33.57/12.53	c (2,0) c RunningTime_0 : 1.393267
33.57/12.53	c (2,0) c RunningTime_1 : 1.374319
33.57/12.53	c (2,0) c RunningTime_2 : 1.217912
33.57/12.53	c (2,0) c RunningTime_3 : 1.244133
33.57/12.53	c (2,0) c RunningTime_4 : 1.195322
33.57/12.53	c (2,0) c RunningTime_5 : 1.263021
33.57/12.53	c (2,0) c RunningTime_6 : 1.405572
33.57/12.53	c (2,0) c RunningTime_7 : 1.184000
33.57/12.53	c (2,0) c RunningTime_total : 10.277546
33.57/12.53	c (2,0) c RunningTime_winner : 1.184000
33.57/12.53	c (2,0) c WaitingTime_0 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_1 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_2 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_3 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_4 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_5 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_6 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_7 : 0.000000
33.57/12.53	c (2,0) c WaitingTime_total : 0.000000
33.57/12.53	c (2,0) c WaitingTime_winner : 0.000000
33.57/12.53	c (2,0) c ExchangingTime_0 : 0.000623
33.57/12.53	c (2,0) c ExchangingTime_1 : 0.000650
33.57/12.53	c (2,0) c ExchangingTime_2 : 0.000502
33.57/12.53	c (2,0) c ExchangingTime_3 : 0.000764
33.57/12.53	c (2,0) c ExchangingTime_4 : 0.001489
33.57/12.53	c (2,0) c ExchangingTime_5 : 0.000656
33.57/12.53	c (2,0) c ExchangingTime_6 : 0.000553
33.57/12.53	c (2,0) c ExchangingTime_7 : 0.000411
33.57/12.53	c (2,0) c ExchangingTime_total : 0.005647
33.57/12.53	c (2,0) c ExchangingTime_winner : 0.000411
33.57/12.53	c (2,0) c PeriodProcTime_0 : 0.000061
33.57/12.53	c (2,0) c PeriodProcTime_1 : 0.000063
33.57/12.53	c (2,0) c PeriodProcTime_2 : 0.000059
33.57/12.53	c (2,0) c PeriodProcTime_3 : 0.000064
33.57/12.53	c (2,0) c PeriodProcTime_4 : 0.000061
33.57/12.53	c (2,0) c PeriodProcTime_5 : 0.000064
33.57/12.53	c (2,0) c PeriodProcTime_6 : 0.000054
33.57/12.53	c (2,0) c PeriodProcTime_7 : 0.000083
33.57/12.53	c (2,0) c PeriodProcTime_total : 0.000510
33.57/12.53	c (2,0) c PeriodProcTime_winner : 0.000083
33.57/12.53	c (2,0) c SolvingTime_0 : 1.393950
33.57/12.53	c (2,0) c SolvingTime_1 : 1.375032
33.57/12.53	c (2,0) c SolvingTime_2 : 1.218473
33.57/12.53	c (2,0) c SolvingTime_3 : 1.244961
33.57/12.53	c (2,0) c SolvingTime_4 : 1.196872
33.57/12.53	c (2,0) c SolvingTime_5 : 1.263741
33.57/12.53	c (2,0) c SolvingTime_6 : 1.406179
33.57/12.53	c (2,0) c SolvingTime_7 : 1.184494
33.57/12.53	c (2,0) c SolvingTime_total : 10.283703
33.57/12.53	c (2,0) c SolvingTime_winner : 1.184494
33.57/12.53	c (2,0) c PropagationTime_0 : 0.927185
33.57/12.53	c (2,0) c PropagationTime_1 : 0.931024
33.57/12.53	c (2,0) c PropagationTime_2 : 0.811246
33.57/12.53	c (2,0) c PropagationTime_3 : 0.766477
33.57/12.53	c (2,0) c PropagationTime_4 : 0.739819
33.57/12.53	c (2,0) c PropagationTime_5 : 0.857209
33.57/12.53	c (2,0) c PropagationTime_6 : 0.962910
33.57/12.53	c (2,0) c PropagationTime_7 : 0.720517
33.57/12.53	c (2,0) c PropagationTime_total : 6.716387
33.57/12.53	c (2,0) c PropagationTime_winner : 0.720517
33.57/12.53	c (2,0) c AnalysisTime_0 : 0.310855
33.57/12.53	c (2,0) c AnalysisTime_1 : 0.280549
33.57/12.53	c (2,0) c AnalysisTime_2 : 0.274542
33.57/12.53	c (2,0) c AnalysisTime_3 : 0.343807
33.57/12.53	c (2,0) c AnalysisTime_4 : 0.334906
33.57/12.53	c (2,0) c AnalysisTime_5 : 0.263646
33.57/12.53	c (2,0) c AnalysisTime_6 : 0.280596
33.57/12.53	c (2,0) c AnalysisTime_7 : 0.336917
33.57/12.53	c (2,0) c AnalysisTime_total : 2.425819
33.57/12.53	c (2,0) c AnalysisTime_winner : 0.336917
33.57/12.53	c (2,0) c ReductionTime_0 : 0.015812
33.57/12.53	c (2,0) c ReductionTime_1 : 0.018660
33.57/12.53	c (2,0) c ReductionTime_2 : 0.014365
33.57/12.53	c (2,0) c ReductionTime_3 : 0.015047
33.57/12.53	c (2,0) c ReductionTime_4 : 0.012253
33.57/12.53	c (2,0) c ReductionTime_5 : 0.012101
33.57/12.53	c (2,0) c ReductionTime_6 : 0.015667
33.57/12.53	c (2,0) c ReductionTime_7 : 0.000383
33.57/12.53	c (2,0) c ReductionTime_total : 0.104288
33.57/12.53	c (2,0) c ReductionTime_winner : 0.000383
33.57/12.53	c (2,0) c SimplifyTime_0 : 0.016238
33.57/12.53	c (2,0) c SimplifyTime_1 : 0.022808
33.57/12.53	c (2,0) c SimplifyTime_2 : 0.018854
33.57/12.53	c (2,0) c SimplifyTime_3 : 0.016085
33.57/12.53	c (2,0) c SimplifyTime_4 : 0.017519
33.57/12.53	c (2,0) c SimplifyTime_5 : 0.021928
33.57/12.53	c (2,0) c SimplifyTime_6 : 0.024942
33.57/12.53	c (2,0) c SimplifyTime_7 : 0.030079
33.57/12.53	c (2,0) c SimplifyTime_total : 0.168454
33.57/12.53	c (2,0) c SimplifyTime_winner : 0.030079
33.57/12.53	c (2,0) c UsedRateTime_0 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_1 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_2 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_3 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_4 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_5 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_6 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_7 : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_total : 0.000000
33.57/12.53	c (2,0) c UsedRateTime_winner : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_0 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_1 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_2 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_3 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_4 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_5 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_6 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_7 : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_total : 0.000000
33.57/12.53	c (2,0) c OverlapRateTime_winner : 0.000000
33.57/12.53	c (2,0) c
33.57/12.53	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
33.57/12.53	c (2,0) c
33.57/12.53	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.53	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
33.57/12.53	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.53	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
33.57/12.53	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
33.57/12.53	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
33.57/12.53	c (2,0) c | Initial random_seed   |  688810299 |  139206142 | 1218960683 | 1850967391 |  802190459 |  787647866 |  732521712 | 1481133486 |
33.57/12.53	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
33.57/12.53	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
33.57/12.53	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
33.57/12.53	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
33.57/12.53	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
33.57/12.53	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
33.57/12.53	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
33.57/12.53	c (2,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
33.57/12.53	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
33.57/12.53	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
33.57/12.53	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
33.57/12.53	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.57/12.53	c (2,0) 
33.57/12.53	c (2,0) s SATISFIABLE
33.85/12.61	c (2,0) SatSolver.solve End
33.85/12.61	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
33.85/12.61	c (2,0) Show results Begin
34.05/12.76	c (2,0) x[0][0] = 0
34.05/12.76	c (2,0) x[0][1] = 0
34.05/12.76	c (2,0) x[0][2] = 0
34.05/12.76	c (2,0) x[0][3] = 0
34.05/12.76	c (2,0) x[0][4] = 0
34.05/12.76	c (2,0) x[0][5] = 0
34.05/12.76	c (2,0) x[0][6] = 0
34.05/12.76	c (2,0) x[0][7] = 0
34.05/12.76	c (2,0) x[0][8] = 0
34.05/12.76	c (2,0) x[0][9] = 0
34.05/12.76	c (2,0) x[0][10] = 0
34.05/12.76	c (2,0) x[0][11] = 0
34.05/12.76	c (2,0) x[0][12] = 0
34.05/12.76	c (2,0) x[0][13] = 0
34.05/12.76	c (2,0) x[0][14] = 0
34.05/12.76	c (2,0) x[0][15] = 0
34.05/12.76	c (2,0) x[0][16] = 0
34.05/12.76	c (2,0) x[0][17] = 0
34.05/12.76	c (2,0) x[0][18] = 0
34.05/12.76	c (2,0) x[0][19] = 0
34.05/12.76	c (2,0) x[0][20] = 0
34.05/12.76	c (2,0) x[0][21] = 0
34.05/12.76	c (2,0) x[0][22] = 0
34.05/12.76	c (2,0) x[0][23] = 0
34.05/12.76	c (2,0) x[0][24] = 1
34.05/12.76	c (2,0) x[0][25] = 1
34.05/12.76	c (2,0) x[0][26] = 1
34.05/12.76	c (2,0) x[0][27] = 1
34.05/12.76	c (2,0) x[0][28] = 1
34.05/12.76	c (2,0) x[0][29] = 1
34.05/12.76	c (2,0) x[1][0] = 0
34.05/12.76	c (2,0) x[1][1] = 0
34.05/12.76	c (2,0) x[1][2] = 0
34.05/12.76	c (2,0) x[1][3] = 0
34.05/12.76	c (2,0) x[1][4] = 0
34.05/12.76	c (2,0) x[1][5] = 0
34.05/12.76	c (2,0) x[1][6] = 0
34.05/12.76	c (2,0) x[1][7] = 0
34.05/12.76	c (2,0) x[1][8] = 0
34.05/12.76	c (2,0) x[1][9] = 0
34.05/12.76	c (2,0) x[1][10] = 0
34.05/12.76	c (2,0) x[1][11] = 0
34.05/12.76	c (2,0) x[1][12] = 0
34.05/12.76	c (2,0) x[1][13] = 0
34.05/12.76	c (2,0) x[1][14] = 0
34.05/12.76	c (2,0) x[1][15] = 0
34.05/12.76	c (2,0) x[1][16] = 0
34.05/12.76	c (2,0) x[1][17] = 0
34.05/12.76	c (2,0) x[1][18] = 0
34.05/12.76	c (2,0) x[1][19] = 1
34.05/12.76	c (2,0) x[1][20] = 1
34.05/12.76	c (2,0) x[1][21] = 1
34.05/12.76	c (2,0) x[1][22] = 1
34.05/12.76	c (2,0) x[1][23] = 1
34.05/12.76	c (2,0) x[1][24] = 0
34.05/12.76	c (2,0) x[1][25] = 0
34.05/12.76	c (2,0) x[1][26] = 0
34.05/12.76	c (2,0) x[1][27] = 0
34.05/12.76	c (2,0) x[1][28] = 0
34.05/12.76	c (2,0) x[1][29] = 1
34.05/12.76	c (2,0) x[2][0] = 0
34.05/12.76	c (2,0) x[2][1] = 0
34.05/12.76	c (2,0) x[2][2] = 0
34.05/12.76	c (2,0) x[2][3] = 0
34.05/12.76	c (2,0) x[2][4] = 0
34.05/12.76	c (2,0) x[2][5] = 0
34.05/12.76	c (2,0) x[2][6] = 0
34.05/12.76	c (2,0) x[2][7] = 0
34.05/12.76	c (2,0) x[2][8] = 0
34.05/12.76	c (2,0) x[2][9] = 0
34.05/12.76	c (2,0) x[2][10] = 0
34.05/12.76	c (2,0) x[2][11] = 0
34.05/12.76	c (2,0) x[2][12] = 0
34.05/12.76	c (2,0) x[2][13] = 0
34.05/12.76	c (2,0) x[2][14] = 1
34.05/12.76	c (2,0) x[2][15] = 1
34.05/12.76	c (2,0) x[2][16] = 1
34.05/12.76	c (2,0) x[2][17] = 1
34.05/12.76	c (2,0) x[2][18] = 1
34.05/12.76	c (2,0) x[2][19] = 0
34.05/12.76	c (2,0) x[2][20] = 0
34.05/12.76	c (2,0) x[2][21] = 0
34.05/12.76	c (2,0) x[2][22] = 0
34.05/12.76	c (2,0) x[2][23] = 0
34.05/12.76	c (2,0) x[2][24] = 0
34.05/12.76	c (2,0) x[2][25] = 0
34.05/12.77	c (2,0) x[2][26] = 0
34.05/12.77	c (2,0) x[2][27] = 0
34.05/12.77	c (2,0) x[2][28] = 0
34.05/12.77	c (2,0) x[2][29] = 1
34.05/12.77	c (2,0) x[3][0] = 0
34.05/12.77	c (2,0) x[3][1] = 0
34.05/12.77	c (2,0) x[3][2] = 0
34.05/12.77	c (2,0) x[3][3] = 0
34.05/12.77	c (2,0) x[3][4] = 0
34.05/12.77	c (2,0) x[3][5] = 0
34.05/12.77	c (2,0) x[3][6] = 0
34.05/12.77	c (2,0) x[3][7] = 0
34.05/12.77	c (2,0) x[3][8] = 0
34.05/12.77	c (2,0) x[3][9] = 1
34.05/12.77	c (2,0) x[3][10] = 1
34.05/12.77	c (2,0) x[3][11] = 1
34.05/12.77	c (2,0) x[3][12] = 1
34.05/12.77	c (2,0) x[3][13] = 1
34.05/12.77	c (2,0) x[3][14] = 0
34.05/12.77	c (2,0) x[3][15] = 0
34.05/12.77	c (2,0) x[3][16] = 0
34.05/12.77	c (2,0) x[3][17] = 0
34.05/12.77	c (2,0) x[3][18] = 0
34.05/12.77	c (2,0) x[3][19] = 0
34.05/12.77	c (2,0) x[3][20] = 0
34.05/12.77	c (2,0) x[3][21] = 0
34.05/12.77	c (2,0) x[3][22] = 0
34.05/12.77	c (2,0) x[3][23] = 0
34.05/12.77	c (2,0) x[3][24] = 0
34.05/12.77	c (2,0) x[3][25] = 0
34.05/12.77	c (2,0) x[3][26] = 0
34.05/12.77	c (2,0) x[3][27] = 0
34.05/12.77	c (2,0) x[3][28] = 0
34.05/12.77	c (2,0) x[3][29] = 1
34.05/12.77	c (2,0) x[4][0] = 0
34.05/12.77	c (2,0) x[4][1] = 0
34.05/12.77	c (2,0) x[4][2] = 0
34.05/12.77	c (2,0) x[4][3] = 0
34.05/12.77	c (2,0) x[4][4] = 1
34.05/12.77	c (2,0) x[4][5] = 1
34.05/12.77	c (2,0) x[4][6] = 1
34.05/12.77	c (2,0) x[4][7] = 1
34.05/12.77	c (2,0) x[4][8] = 1
34.05/12.77	c (2,0) x[4][9] = 0
34.05/12.77	c (2,0) x[4][10] = 0
34.05/12.77	c (2,0) x[4][11] = 0
34.05/12.77	c (2,0) x[4][12] = 0
34.05/12.77	c (2,0) x[4][13] = 0
34.05/12.77	c (2,0) x[4][14] = 0
34.05/12.77	c (2,0) x[4][15] = 0
34.05/12.77	c (2,0) x[4][16] = 0
34.05/12.77	c (2,0) x[4][17] = 0
34.05/12.77	c (2,0) x[4][18] = 0
34.05/12.77	c (2,0) x[4][19] = 0
34.05/12.77	c (2,0) x[4][20] = 0
34.05/12.77	c (2,0) x[4][21] = 0
34.05/12.77	c (2,0) x[4][22] = 0
34.05/12.77	c (2,0) x[4][23] = 0
34.05/12.78	c (2,0) x[4][24] = 0
34.05/12.78	c (2,0) x[4][25] = 0
34.05/12.78	c (2,0) x[4][26] = 0
34.05/12.78	c (2,0) x[4][27] = 0
34.05/12.78	c (2,0) x[4][28] = 0
34.05/12.78	c (2,0) x[4][29] = 1
34.05/12.78	c (2,0) x[5][0] = 0
34.05/12.78	c (2,0) x[5][1] = 0
34.05/12.78	c (2,0) x[5][2] = 0
34.05/12.78	c (2,0) x[5][3] = 1
34.05/12.78	c (2,0) x[5][4] = 0
34.05/12.78	c (2,0) x[5][5] = 0
34.05/12.78	c (2,0) x[5][6] = 0
34.05/12.78	c (2,0) x[5][7] = 0
34.05/12.78	c (2,0) x[5][8] = 1
34.05/12.78	c (2,0) x[5][9] = 0
34.05/12.78	c (2,0) x[5][10] = 0
34.05/12.78	c (2,0) x[5][11] = 0
34.05/12.78	c (2,0) x[5][12] = 0
34.05/12.78	c (2,0) x[5][13] = 1
34.05/12.78	c (2,0) x[5][14] = 0
34.05/12.78	c (2,0) x[5][15] = 0
34.05/12.78	c (2,0) x[5][16] = 0
34.05/12.78	c (2,0) x[5][17] = 0
34.05/12.78	c (2,0) x[5][18] = 1
34.05/12.78	c (2,0) x[5][19] = 0
34.05/12.78	c (2,0) x[5][20] = 0
34.05/12.78	c (2,0) x[5][21] = 0
34.05/12.78	c (2,0) x[5][22] = 0
34.05/12.78	c (2,0) x[5][23] = 1
34.05/12.78	c (2,0) x[5][24] = 0
34.05/12.78	c (2,0) x[5][25] = 0
34.05/12.78	c (2,0) x[5][26] = 0
34.05/12.78	c (2,0) x[5][27] = 0
34.05/12.78	c (2,0) x[5][28] = 1
34.05/12.78	c (2,0) x[5][29] = 0
34.05/12.78	c (2,0) x[6][0] = 0
34.05/12.78	c (2,0) x[6][1] = 0
34.05/12.78	c (2,0) x[6][2] = 0
34.05/12.78	c (2,0) x[6][3] = 1
34.05/12.78	c (2,0) x[6][4] = 0
34.05/12.78	c (2,0) x[6][5] = 0
34.05/12.78	c (2,0) x[6][6] = 0
34.05/12.78	c (2,0) x[6][7] = 1
34.05/12.78	c (2,0) x[6][8] = 0
34.05/12.78	c (2,0) x[6][9] = 0
34.05/12.78	c (2,0) x[6][10] = 0
34.05/12.78	c (2,0) x[6][11] = 0
34.05/12.78	c (2,0) x[6][12] = 1
34.05/12.78	c (2,0) x[6][13] = 0
34.05/12.78	c (2,0) x[6][14] = 0
34.05/12.78	c (2,0) x[6][15] = 0
34.05/12.78	c (2,0) x[6][16] = 0
34.05/12.78	c (2,0) x[6][17] = 1
34.05/12.78	c (2,0) x[6][18] = 0
34.05/12.78	c (2,0) x[6][19] = 0
34.05/12.78	c (2,0) x[6][20] = 0
34.05/12.78	c (2,0) x[6][21] = 0
34.05/12.78	c (2,0) x[6][22] = 1
34.05/12.78	c (2,0) x[6][23] = 0
34.05/12.78	c (2,0) x[6][24] = 0
34.05/12.78	c (2,0) x[6][25] = 0
34.05/12.78	c (2,0) x[6][26] = 0
34.05/12.78	c (2,0) x[6][27] = 1
34.05/12.78	c (2,0) x[6][28] = 0
34.05/12.78	c (2,0) x[6][29] = 0
34.05/12.78	c (2,0) x[7][0] = 0
34.05/12.78	c (2,0) x[7][1] = 0
34.05/12.78	c (2,0) x[7][2] = 0
34.05/12.78	c (2,0) x[7][3] = 1
34.05/12.78	c (2,0) x[7][4] = 0
34.05/12.78	c (2,0) x[7][5] = 0
34.05/12.78	c (2,0) x[7][6] = 1
34.05/12.78	c (2,0) x[7][7] = 0
34.05/12.78	c (2,0) x[7][8] = 0
34.05/12.78	c (2,0) x[7][9] = 0
34.05/12.78	c (2,0) x[7][10] = 0
34.05/12.78	c (2,0) x[7][11] = 1
34.05/12.78	c (2,0) x[7][12] = 0
34.05/12.78	c (2,0) x[7][13] = 0
34.05/12.78	c (2,0) x[7][14] = 0
34.05/12.78	c (2,0) x[7][15] = 0
34.05/12.78	c (2,0) x[7][16] = 1
34.05/12.78	c (2,0) x[7][17] = 0
34.05/12.78	c (2,0) x[7][18] = 0
34.05/12.78	c (2,0) x[7][19] = 0
34.05/12.78	c (2,0) x[7][20] = 0
34.05/12.78	c (2,0) x[7][21] = 1
34.05/12.78	c (2,0) x[7][22] = 0
34.05/12.78	c (2,0) x[7][23] = 0
34.05/12.78	c (2,0) x[7][24] = 0
34.05/12.78	c (2,0) x[7][25] = 0
34.05/12.78	c (2,0) x[7][26] = 1
34.05/12.78	c (2,0) x[7][27] = 0
34.05/12.78	c (2,0) x[7][28] = 0
34.05/12.78	c (2,0) x[7][29] = 0
34.05/12.78	c (2,0) x[8][0] = 0
34.05/12.78	c (2,0) x[8][1] = 0
34.05/12.78	c (2,0) x[8][2] = 0
34.05/12.78	c (2,0) x[8][3] = 1
34.05/12.78	c (2,0) x[8][4] = 0
34.05/12.78	c (2,0) x[8][5] = 1
34.05/12.78	c (2,0) x[8][6] = 0
34.05/12.78	c (2,0) x[8][7] = 0
34.05/12.78	c (2,0) x[8][8] = 0
34.05/12.78	c (2,0) x[8][9] = 0
34.05/12.78	c (2,0) x[8][10] = 1
34.05/12.78	c (2,0) x[8][11] = 0
34.05/12.78	c (2,0) x[8][12] = 0
34.05/12.78	c (2,0) x[8][13] = 0
34.05/12.78	c (2,0) x[8][14] = 0
34.05/12.78	c (2,0) x[8][15] = 1
34.05/12.78	c (2,0) x[8][16] = 0
34.05/12.78	c (2,0) x[8][17] = 0
34.05/12.78	c (2,0) x[8][18] = 0
34.05/12.78	c (2,0) x[8][19] = 0
34.05/12.78	c (2,0) x[8][20] = 1
34.05/12.78	c (2,0) x[8][21] = 0
34.05/12.78	c (2,0) x[8][22] = 0
34.05/12.78	c (2,0) x[8][23] = 0
34.05/12.78	c (2,0) x[8][24] = 0
34.05/12.78	c (2,0) x[8][25] = 1
34.05/12.78	c (2,0) x[8][26] = 0
34.05/12.78	c (2,0) x[8][27] = 0
34.05/12.78	c (2,0) x[8][28] = 0
34.05/12.78	c (2,0) x[8][29] = 0
34.05/12.78	c (2,0) x[9][0] = 0
34.05/12.78	c (2,0) x[9][1] = 0
34.05/12.78	c (2,0) x[9][2] = 0
34.05/12.78	c (2,0) x[9][3] = 1
34.05/12.78	c (2,0) x[9][4] = 1
34.05/12.78	c (2,0) x[9][5] = 0
34.05/12.78	c (2,0) x[9][6] = 0
34.05/12.78	c (2,0) x[9][7] = 0
34.05/12.78	c (2,0) x[9][8] = 0
34.05/12.78	c (2,0) x[9][9] = 1
34.05/12.78	c (2,0) x[9][10] = 0
34.05/12.78	c (2,0) x[9][11] = 0
34.05/12.78	c (2,0) x[9][12] = 0
34.05/12.78	c (2,0) x[9][13] = 0
34.05/12.78	c (2,0) x[9][14] = 1
34.05/12.78	c (2,0) x[9][15] = 0
34.05/12.78	c (2,0) x[9][16] = 0
34.05/12.78	c (2,0) x[9][17] = 0
34.05/12.78	c (2,0) x[9][18] = 0
34.05/12.78	c (2,0) x[9][19] = 1
34.05/12.78	c (2,0) x[9][20] = 0
34.05/12.78	c (2,0) x[9][21] = 0
34.05/12.78	c (2,0) x[9][22] = 0
34.05/12.78	c (2,0) x[9][23] = 0
34.05/12.78	c (2,0) x[9][24] = 1
34.05/12.78	c (2,0) x[9][25] = 0
34.05/12.78	c (2,0) x[9][26] = 0
34.05/12.78	c (2,0) x[9][27] = 0
34.05/12.78	c (2,0) x[9][28] = 0
34.05/12.78	c (2,0) x[9][29] = 0
34.05/12.78	c (2,0) x[10][0] = 0
34.05/12.78	c (2,0) x[10][1] = 0
34.05/12.78	c (2,0) x[10][2] = 1
34.05/12.78	c (2,0) x[10][3] = 0
34.05/12.78	c (2,0) x[10][4] = 0
34.05/12.78	c (2,0) x[10][5] = 0
34.05/12.78	c (2,0) x[10][6] = 0
34.05/12.78	c (2,0) x[10][7] = 0
34.05/12.78	c (2,0) x[10][8] = 1
34.05/12.78	c (2,0) x[10][9] = 0
34.05/12.78	c (2,0) x[10][10] = 1
34.05/12.78	c (2,0) x[10][11] = 0
34.05/12.78	c (2,0) x[10][12] = 0
34.05/12.78	c (2,0) x[10][13] = 0
34.05/12.78	c (2,0) x[10][14] = 1
34.05/12.78	c (2,0) x[10][15] = 0
34.05/12.78	c (2,0) x[10][16] = 0
34.05/12.78	c (2,0) x[10][17] = 0
34.05/12.78	c (2,0) x[10][18] = 0
34.05/12.78	c (2,0) x[10][19] = 0
34.05/12.78	c (2,0) x[10][20] = 0
34.05/12.78	c (2,0) x[10][21] = 1
34.05/12.78	c (2,0) x[10][22] = 0
34.05/12.78	c (2,0) x[10][23] = 0
34.05/12.78	c (2,0) x[10][24] = 0
34.05/12.78	c (2,0) x[10][25] = 0
34.05/12.78	c (2,0) x[10][26] = 0
34.05/12.78	c (2,0) x[10][27] = 1
34.05/12.78	c (2,0) x[10][28] = 0
34.05/12.78	c (2,0) x[10][29] = 0
34.05/12.78	c (2,0) x[11][0] = 0
34.05/12.78	c (2,0) x[11][1] = 0
34.05/12.78	c (2,0) x[11][2] = 1
34.05/12.78	c (2,0) x[11][3] = 0
34.05/12.78	c (2,0) x[11][4] = 0
34.05/12.78	c (2,0) x[11][5] = 0
34.05/12.78	c (2,0) x[11][6] = 0
34.05/12.78	c (2,0) x[11][7] = 1
34.05/12.78	c (2,0) x[11][8] = 0
34.05/12.78	c (2,0) x[11][9] = 0
34.05/12.78	c (2,0) x[11][10] = 0
34.05/12.78	c (2,0) x[11][11] = 1
34.05/12.78	c (2,0) x[11][12] = 0
34.05/12.78	c (2,0) x[11][13] = 0
34.05/12.78	c (2,0) x[11][14] = 0
34.05/12.78	c (2,0) x[11][15] = 0
34.05/12.78	c (2,0) x[11][16] = 0
34.05/12.78	c (2,0) x[11][17] = 0
34.05/12.78	c (2,0) x[11][18] = 1
34.05/12.78	c (2,0) x[11][19] = 1
34.05/12.78	c (2,0) x[11][20] = 0
34.05/12.78	c (2,0) x[11][21] = 0
34.05/12.78	c (2,0) x[11][22] = 0
34.05/12.78	c (2,0) x[11][23] = 0
34.05/12.78	c (2,0) x[11][24] = 0
34.05/12.78	c (2,0) x[11][25] = 1
34.05/12.78	c (2,0) x[11][26] = 0
34.05/12.78	c (2,0) x[11][27] = 0
34.05/12.78	c (2,0) x[11][28] = 0
34.05/12.78	c (2,0) x[11][29] = 0
34.05/12.78	c (2,0) x[12][0] = 0
34.05/12.78	c (2,0) x[12][1] = 0
34.05/12.78	c (2,0) x[12][2] = 1
34.05/12.78	c (2,0) x[12][3] = 0
34.05/12.78	c (2,0) x[12][4] = 0
34.05/12.78	c (2,0) x[12][5] = 0
34.05/12.78	c (2,0) x[12][6] = 1
34.05/12.78	c (2,0) x[12][7] = 0
34.05/12.78	c (2,0) x[12][8] = 0
34.05/12.78	c (2,0) x[12][9] = 0
34.05/12.78	c (2,0) x[12][10] = 0
34.05/12.78	c (2,0) x[12][11] = 0
34.05/12.78	c (2,0) x[12][12] = 0
34.05/12.78	c (2,0) x[12][13] = 1
34.05/12.78	c (2,0) x[12][14] = 0
34.05/12.78	c (2,0) x[12][15] = 1
34.05/12.78	c (2,0) x[12][16] = 0
34.05/12.78	c (2,0) x[12][17] = 0
34.05/12.78	c (2,0) x[12][18] = 0
34.05/12.78	c (2,0) x[12][19] = 0
34.05/12.78	c (2,0) x[12][20] = 0
34.05/12.78	c (2,0) x[12][21] = 0
34.05/12.78	c (2,0) x[12][22] = 1
34.05/12.78	c (2,0) x[12][23] = 0
34.05/12.78	c (2,0) x[12][24] = 1
34.05/12.78	c (2,0) x[12][25] = 0
34.05/12.78	c (2,0) x[12][26] = 0
34.05/12.78	c (2,0) x[12][27] = 0
34.05/12.78	c (2,0) x[12][28] = 0
34.05/12.78	c (2,0) x[12][29] = 0
34.05/12.78	c (2,0) x[13][0] = 0
34.05/12.78	c (2,0) x[13][1] = 0
34.05/12.78	c (2,0) x[13][2] = 1
34.05/12.78	c (2,0) x[13][3] = 0
34.05/12.78	c (2,0) x[13][4] = 0
34.05/12.78	c (2,0) x[13][5] = 1
34.05/12.78	c (2,0) x[13][6] = 0
34.05/12.78	c (2,0) x[13][7] = 0
34.05/12.78	c (2,0) x[13][8] = 0
34.05/12.78	c (2,0) x[13][9] = 1
34.05/12.78	c (2,0) x[13][10] = 0
34.05/12.78	c (2,0) x[13][11] = 0
34.05/12.78	c (2,0) x[13][12] = 0
34.05/12.78	c (2,0) x[13][13] = 0
34.05/12.78	c (2,0) x[13][14] = 0
34.05/12.78	c (2,0) x[13][15] = 0
34.05/12.78	c (2,0) x[13][16] = 0
34.05/12.78	c (2,0) x[13][17] = 1
34.05/12.78	c (2,0) x[13][18] = 0
34.05/12.78	c (2,0) x[13][19] = 0
34.05/12.78	c (2,0) x[13][20] = 0
34.05/12.78	c (2,0) x[13][21] = 0
34.05/12.78	c (2,0) x[13][22] = 0
34.05/12.78	c (2,0) x[13][23] = 1
34.05/12.78	c (2,0) x[13][24] = 0
34.05/12.78	c (2,0) x[13][25] = 0
34.05/12.78	c (2,0) x[13][26] = 1
34.05/12.78	c (2,0) x[13][27] = 0
34.05/12.78	c (2,0) x[13][28] = 0
34.05/12.78	c (2,0) x[13][29] = 0
34.05/12.78	c (2,0) x[14][0] = 0
34.05/12.78	c (2,0) x[14][1] = 0
34.05/12.78	c (2,0) x[14][2] = 1
34.05/12.78	c (2,0) x[14][3] = 0
34.05/12.78	c (2,0) x[14][4] = 1
34.05/12.78	c (2,0) x[14][5] = 0
34.05/12.78	c (2,0) x[14][6] = 0
34.05/12.78	c (2,0) x[14][7] = 0
34.05/12.78	c (2,0) x[14][8] = 0
34.05/12.78	c (2,0) x[14][9] = 0
34.05/12.78	c (2,0) x[14][10] = 0
34.05/12.78	c (2,0) x[14][11] = 0
34.05/12.78	c (2,0) x[14][12] = 1
34.05/12.78	c (2,0) x[14][13] = 0
34.05/12.78	c (2,0) x[14][14] = 0
34.05/12.78	c (2,0) x[14][15] = 0
34.05/12.78	c (2,0) x[14][16] = 1
34.05/12.78	c (2,0) x[14][17] = 0
34.05/12.78	c (2,0) x[14][18] = 0
34.05/12.78	c (2,0) x[14][19] = 0
34.05/12.78	c (2,0) x[14][20] = 1
34.05/12.78	c (2,0) x[14][21] = 0
34.05/12.78	c (2,0) x[14][22] = 0
34.05/12.78	c (2,0) x[14][23] = 0
34.05/12.78	c (2,0) x[14][24] = 0
34.05/12.78	c (2,0) x[14][25] = 0
34.05/12.78	c (2,0) x[14][26] = 0
34.05/12.78	c (2,0) x[14][27] = 0
34.05/12.78	c (2,0) x[14][28] = 1
34.05/12.78	c (2,0) x[14][29] = 0
34.05/12.78	c (2,0) x[15][0] = 0
34.05/12.78	c (2,0) x[15][1] = 1
34.05/12.78	c (2,0) x[15][2] = 0
34.05/12.78	c (2,0) x[15][3] = 0
34.05/12.78	c (2,0) x[15][4] = 0
34.05/12.78	c (2,0) x[15][5] = 0
34.05/12.78	c (2,0) x[15][6] = 0
34.05/12.78	c (2,0) x[15][7] = 0
34.05/12.78	c (2,0) x[15][8] = 1
34.05/12.78	c (2,0) x[15][9] = 0
34.05/12.78	c (2,0) x[15][10] = 0
34.05/12.78	c (2,0) x[15][11] = 1
34.05/12.78	c (2,0) x[15][12] = 0
34.05/12.78	c (2,0) x[15][13] = 0
34.05/12.78	c (2,0) x[15][14] = 0
34.05/12.78	c (2,0) x[15][15] = 0
34.05/12.78	c (2,0) x[15][16] = 0
34.05/12.78	c (2,0) x[15][17] = 1
34.05/12.78	c (2,0) x[15][18] = 0
34.05/12.78	c (2,0) x[15][19] = 0
34.05/12.78	c (2,0) x[15][20] = 1
34.05/12.78	c (2,0) x[15][21] = 0
34.05/12.78	c (2,0) x[15][22] = 0
34.05/12.78	c (2,0) x[15][23] = 0
34.05/12.78	c (2,0) x[15][24] = 1
34.05/12.78	c (2,0) x[15][25] = 0
34.05/12.78	c (2,0) x[15][26] = 0
34.05/12.78	c (2,0) x[15][27] = 0
34.05/12.78	c (2,0) x[15][28] = 0
34.05/12.78	c (2,0) x[15][29] = 0
34.05/12.78	c (2,0) x[16][0] = 0
34.05/12.78	c (2,0) x[16][1] = 1
34.05/12.78	c (2,0) x[16][2] = 0
34.05/12.78	c (2,0) x[16][3] = 0
34.05/12.78	c (2,0) x[16][4] = 0
34.05/12.78	c (2,0) x[16][5] = 0
34.05/12.78	c (2,0) x[16][6] = 0
34.05/12.78	c (2,0) x[16][7] = 1
34.05/12.78	c (2,0) x[16][8] = 0
34.05/12.78	c (2,0) x[16][9] = 1
34.05/12.78	c (2,0) x[16][10] = 0
34.05/12.78	c (2,0) x[16][11] = 0
34.05/12.78	c (2,0) x[16][12] = 0
34.05/12.78	c (2,0) x[16][13] = 0
34.05/12.78	c (2,0) x[16][14] = 0
34.05/12.78	c (2,0) x[16][15] = 1
34.05/12.78	c (2,0) x[16][16] = 0
34.05/12.78	c (2,0) x[16][17] = 0
34.05/12.78	c (2,0) x[16][18] = 0
34.05/12.78	c (2,0) x[16][19] = 0
34.05/12.78	c (2,0) x[16][20] = 0
34.05/12.78	c (2,0) x[16][21] = 1
34.05/12.78	c (2,0) x[16][22] = 0
34.05/12.78	c (2,0) x[16][23] = 0
34.05/12.78	c (2,0) x[16][24] = 0
34.05/12.78	c (2,0) x[16][25] = 0
34.05/12.78	c (2,0) x[16][26] = 0
34.05/12.78	c (2,0) x[16][27] = 0
34.05/12.78	c (2,0) x[16][28] = 1
34.05/12.78	c (2,0) x[16][29] = 0
34.05/12.78	c (2,0) x[17][0] = 0
34.05/12.78	c (2,0) x[17][1] = 1
34.05/12.78	c (2,0) x[17][2] = 0
34.05/12.78	c (2,0) x[17][3] = 0
34.05/12.78	c (2,0) x[17][4] = 0
34.05/12.78	c (2,0) x[17][5] = 0
34.05/12.78	c (2,0) x[17][6] = 1
34.05/12.78	c (2,0) x[17][7] = 0
34.05/12.78	c (2,0) x[17][8] = 0
34.05/12.78	c (2,0) x[17][9] = 0
34.05/12.78	c (2,0) x[17][10] = 0
34.05/12.78	c (2,0) x[17][11] = 0
34.05/12.78	c (2,0) x[17][12] = 1
34.05/12.78	c (2,0) x[17][13] = 0
34.05/12.78	c (2,0) x[17][14] = 1
34.05/12.78	c (2,0) x[17][15] = 0
34.05/12.78	c (2,0) x[17][16] = 0
34.05/12.78	c (2,0) x[17][17] = 0
34.05/12.78	c (2,0) x[17][18] = 0
34.05/12.78	c (2,0) x[17][19] = 0
34.05/12.78	c (2,0) x[17][20] = 0
34.05/12.78	c (2,0) x[17][21] = 0
34.05/12.78	c (2,0) x[17][22] = 0
34.05/12.78	c (2,0) x[17][23] = 1
34.05/12.78	c (2,0) x[17][24] = 0
34.05/12.78	c (2,0) x[17][25] = 1
34.05/12.78	c (2,0) x[17][26] = 0
34.05/12.78	c (2,0) x[17][27] = 0
34.05/12.78	c (2,0) x[17][28] = 0
34.05/12.78	c (2,0) x[17][29] = 0
34.05/12.78	c (2,0) x[18][0] = 0
34.05/12.78	c (2,0) x[18][1] = 1
34.05/12.78	c (2,0) x[18][2] = 0
34.05/12.78	c (2,0) x[18][3] = 0
34.05/12.78	c (2,0) x[18][4] = 0
34.05/12.78	c (2,0) x[18][5] = 1
34.05/12.78	c (2,0) x[18][6] = 0
34.05/12.78	c (2,0) x[18][7] = 0
34.05/12.78	c (2,0) x[18][8] = 0
34.05/12.78	c (2,0) x[18][9] = 0
34.05/12.78	c (2,0) x[18][10] = 0
34.05/12.78	c (2,0) x[18][11] = 0
34.05/12.78	c (2,0) x[18][12] = 0
34.05/12.78	c (2,0) x[18][13] = 1
34.05/12.78	c (2,0) x[18][14] = 0
34.05/12.78	c (2,0) x[18][15] = 0
34.05/12.78	c (2,0) x[18][16] = 1
34.05/12.78	c (2,0) x[18][17] = 0
34.05/12.78	c (2,0) x[18][18] = 0
34.05/12.78	c (2,0) x[18][19] = 1
34.05/12.78	c (2,0) x[18][20] = 0
34.05/12.78	c (2,0) x[18][21] = 0
34.05/12.78	c (2,0) x[18][22] = 0
34.05/12.78	c (2,0) x[18][23] = 0
34.05/12.78	c (2,0) x[18][24] = 0
34.05/12.78	c (2,0) x[18][25] = 0
34.05/12.78	c (2,0) x[18][26] = 0
34.05/12.78	c (2,0) x[18][27] = 1
34.05/12.78	c (2,0) x[18][28] = 0
34.05/12.78	c (2,0) x[18][29] = 0
34.05/12.78	c (2,0) x[19][0] = 0
34.05/12.78	c (2,0) x[19][1] = 1
34.05/12.78	c (2,0) x[19][2] = 0
34.05/12.78	c (2,0) x[19][3] = 0
34.05/12.78	c (2,0) x[19][4] = 1
34.05/12.78	c (2,0) x[19][5] = 0
34.05/12.78	c (2,0) x[19][6] = 0
34.05/12.78	c (2,0) x[19][7] = 0
34.05/12.78	c (2,0) x[19][8] = 0
34.05/12.78	c (2,0) x[19][9] = 0
34.05/12.78	c (2,0) x[19][10] = 1
34.05/12.78	c (2,0) x[19][11] = 0
34.05/12.78	c (2,0) x[19][12] = 0
34.05/12.78	c (2,0) x[19][13] = 0
34.05/12.78	c (2,0) x[19][14] = 0
34.05/12.78	c (2,0) x[19][15] = 0
34.05/12.78	c (2,0) x[19][16] = 0
34.05/12.78	c (2,0) x[19][17] = 0
34.05/12.78	c (2,0) x[19][18] = 1
34.05/12.78	c (2,0) x[19][19] = 0
34.05/12.78	c (2,0) x[19][20] = 0
34.05/12.78	c (2,0) x[19][21] = 0
34.05/12.78	c (2,0) x[19][22] = 1
34.05/12.78	c (2,0) x[19][23] = 0
34.05/12.78	c (2,0) x[19][24] = 0
34.05/12.78	c (2,0) x[19][25] = 0
34.05/12.78	c (2,0) x[19][26] = 1
34.05/12.78	c (2,0) x[19][27] = 0
34.05/12.78	c (2,0) x[19][28] = 0
34.05/12.78	c (2,0) x[19][29] = 0
34.05/12.78	c (2,0) x[20][0] = 1
34.05/12.78	c (2,0) x[20][1] = 0
34.05/12.78	c (2,0) x[20][2] = 0
34.05/12.78	c (2,0) x[20][3] = 0
34.05/12.78	c (2,0) x[20][4] = 0
34.05/12.78	c (2,0) x[20][5] = 0
34.05/12.78	c (2,0) x[20][6] = 0
34.05/12.78	c (2,0) x[20][7] = 0
34.05/12.78	c (2,0) x[20][8] = 1
34.05/12.78	c (2,0) x[20][9] = 0
34.05/12.78	c (2,0) x[20][10] = 0
34.05/12.78	c (2,0) x[20][11] = 0
34.05/12.78	c (2,0) x[20][12] = 1
34.05/12.78	c (2,0) x[20][13] = 0
34.05/12.78	c (2,0) x[20][14] = 0
34.05/12.78	c (2,0) x[20][15] = 1
34.05/12.78	c (2,0) x[20][16] = 0
34.05/12.78	c (2,0) x[20][17] = 0
34.05/12.78	c (2,0) x[20][18] = 0
34.05/12.78	c (2,0) x[20][19] = 1
34.05/12.78	c (2,0) x[20][20] = 0
34.05/12.78	c (2,0) x[20][21] = 0
34.05/12.78	c (2,0) x[20][22] = 0
34.05/12.78	c (2,0) x[20][23] = 0
34.05/12.78	c (2,0) x[20][24] = 0
34.05/12.78	c (2,0) x[20][25] = 0
34.05/12.78	c (2,0) x[20][26] = 1
34.05/12.78	c (2,0) x[20][27] = 0
34.05/12.78	c (2,0) x[20][28] = 0
34.05/12.78	c (2,0) x[20][29] = 0
34.05/12.78	c (2,0) x[21][0] = 1
34.05/12.78	c (2,0) x[21][1] = 0
34.05/12.78	c (2,0) x[21][2] = 0
34.05/12.78	c (2,0) x[21][3] = 0
34.05/12.78	c (2,0) x[21][4] = 0
34.05/12.78	c (2,0) x[21][5] = 0
34.05/12.78	c (2,0) x[21][6] = 0
34.05/12.78	c (2,0) x[21][7] = 1
34.05/12.78	c (2,0) x[21][8] = 0
34.05/12.78	c (2,0) x[21][9] = 0
34.05/12.78	c (2,0) x[21][10] = 1
34.05/12.78	c (2,0) x[21][11] = 0
34.05/12.78	c (2,0) x[21][12] = 0
34.05/12.78	c (2,0) x[21][13] = 0
34.05/12.78	c (2,0) x[21][14] = 0
34.05/12.78	c (2,0) x[21][15] = 0
34.05/12.78	c (2,0) x[21][16] = 1
34.05/12.78	c (2,0) x[21][17] = 0
34.05/12.78	c (2,0) x[21][18] = 0
34.05/12.78	c (2,0) x[21][19] = 0
34.05/12.78	c (2,0) x[21][20] = 0
34.05/12.78	c (2,0) x[21][21] = 0
34.05/12.78	c (2,0) x[21][22] = 0
34.05/12.78	c (2,0) x[21][23] = 1
34.05/12.78	c (2,0) x[21][24] = 1
34.05/12.78	c (2,0) x[21][25] = 0
34.05/12.78	c (2,0) x[21][26] = 0
34.05/12.78	c (2,0) x[21][27] = 0
34.05/12.78	c (2,0) x[21][28] = 0
34.05/12.78	c (2,0) x[21][29] = 0
34.05/12.78	c (2,0) x[22][0] = 1
34.05/12.78	c (2,0) x[22][1] = 0
34.05/12.78	c (2,0) x[22][2] = 0
34.05/12.78	c (2,0) x[22][3] = 0
34.05/12.78	c (2,0) x[22][4] = 0
34.05/12.78	c (2,0) x[22][5] = 0
34.05/12.78	c (2,0) x[22][6] = 1
34.05/12.78	c (2,0) x[22][7] = 0
34.05/12.78	c (2,0) x[22][8] = 0
34.05/12.78	c (2,0) x[22][9] = 1
34.05/12.78	c (2,0) x[22][10] = 0
34.05/12.78	c (2,0) x[22][11] = 0
34.05/12.78	c (2,0) x[22][12] = 0
34.05/12.78	c (2,0) x[22][13] = 0
34.05/12.78	c (2,0) x[22][14] = 0
34.05/12.78	c (2,0) x[22][15] = 0
34.05/12.78	c (2,0) x[22][16] = 0
34.05/12.78	c (2,0) x[22][17] = 0
34.05/12.78	c (2,0) x[22][18] = 1
34.05/12.78	c (2,0) x[22][19] = 0
34.05/12.78	c (2,0) x[22][20] = 1
34.05/12.78	c (2,0) x[22][21] = 0
34.05/12.78	c (2,0) x[22][22] = 0
34.05/12.78	c (2,0) x[22][23] = 0
34.05/12.78	c (2,0) x[22][24] = 0
34.05/12.78	c (2,0) x[22][25] = 0
34.05/12.78	c (2,0) x[22][26] = 0
34.05/12.78	c (2,0) x[22][27] = 1
34.05/12.78	c (2,0) x[22][28] = 0
34.05/12.78	c (2,0) x[22][29] = 0
34.05/12.78	c (2,0) x[23][0] = 1
34.05/12.78	c (2,0) x[23][1] = 0
34.05/12.78	c (2,0) x[23][2] = 0
34.05/12.78	c (2,0) x[23][3] = 0
34.05/12.78	c (2,0) x[23][4] = 0
34.05/12.78	c (2,0) x[23][5] = 1
34.05/12.78	c (2,0) x[23][6] = 0
34.05/12.78	c (2,0) x[23][7] = 0
34.05/12.78	c (2,0) x[23][8] = 0
34.05/12.78	c (2,0) x[23][9] = 0
34.05/12.78	c (2,0) x[23][10] = 0
34.05/12.78	c (2,0) x[23][11] = 1
34.05/12.78	c (2,0) x[23][12] = 0
34.05/12.78	c (2,0) x[23][13] = 0
34.05/12.78	c (2,0) x[23][14] = 1
34.05/12.78	c (2,0) x[23][15] = 0
34.05/12.78	c (2,0) x[23][16] = 0
34.05/12.78	c (2,0) x[23][17] = 0
34.05/12.78	c (2,0) x[23][18] = 0
34.05/12.78	c (2,0) x[23][19] = 0
34.05/12.78	c (2,0) x[23][20] = 0
34.05/12.78	c (2,0) x[23][21] = 0
34.05/12.78	c (2,0) x[23][22] = 1
34.05/12.78	c (2,0) x[23][23] = 0
34.05/12.78	c (2,0) x[23][24] = 0
34.05/12.78	c (2,0) x[23][25] = 0
34.05/12.78	c (2,0) x[23][26] = 0
34.05/12.78	c (2,0) x[23][27] = 0
34.05/12.78	c (2,0) x[23][28] = 1
34.05/12.78	c (2,0) x[23][29] = 0
34.05/12.78	c (2,0) x[24][0] = 1
34.05/12.78	c (2,0) x[24][1] = 0
34.05/12.78	c (2,0) x[24][2] = 0
34.05/12.78	c (2,0) x[24][3] = 0
34.05/12.78	c (2,0) x[24][4] = 1
34.05/12.78	c (2,0) x[24][5] = 0
34.05/12.78	c (2,0) x[24][6] = 0
34.05/12.78	c (2,0) x[24][7] = 0
34.05/12.78	c (2,0) x[24][8] = 0
34.05/12.78	c (2,0) x[24][9] = 0
34.05/12.78	c (2,0) x[24][10] = 0
34.05/12.78	c (2,0) x[24][11] = 0
34.05/12.78	c (2,0) x[24][12] = 0
34.05/12.78	c (2,0) x[24][13] = 1
34.05/12.78	c (2,0) x[24][14] = 0
34.05/12.78	c (2,0) x[24][15] = 0
34.05/12.78	c (2,0) x[24][16] = 0
34.05/12.78	c (2,0) x[24][17] = 1
34.05/12.78	c (2,0) x[24][18] = 0
34.05/12.78	c (2,0) x[24][19] = 0
34.05/12.78	c (2,0) x[24][20] = 0
34.05/12.78	c (2,0) x[24][21] = 1
34.05/12.78	c (2,0) x[24][22] = 0
34.05/12.78	c (2,0) x[24][23] = 0
34.05/12.78	c (2,0) x[24][24] = 0
34.05/12.78	c (2,0) x[24][25] = 1
34.05/12.78	c (2,0) x[24][26] = 0
34.05/12.78	c (2,0) x[24][27] = 0
34.05/12.78	c (2,0) x[24][28] = 0
34.05/12.78	c (2,0) x[24][29] = 0
34.05/12.78	s SATISFIABLE
34.05/12.78	v <instantiation>
34.05/12.78	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]</list>
34.05/12.78	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0</values>
34.05/12.78	v </instantiation>
34.05/12.78	c (2,0) Show results End
34.05/12.78	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
34.05/12.78	c (2,0) 2,2,STOP-AFTER(ALL)
34.05/12.78	c END-Prog: Sat Sep 14 02:53:56 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10689 MiB free)
  memory of node 1: 16384 MiB (13047 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392679-1568422464/watcher-4392679-1568422464 -o /tmp/evaluation-result-4392679-1568422464/solver-4392679-1568422464 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --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-4392679-1568422464.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6894, runsolver pid=6891
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 6.76 7.85 8.05 3/213 6916
/proc/meminfo: memFree=24214960/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418183809 115843072 349 33554432000 4194304 5098028 140734524619376 140734524616632 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 349 296 221 0 87 0
[pid=6897] ppid=6894 vsize=27314120 memory=104080 CPUtime=0.1 cores=0-7
/proc/6897/stat : 6897 (java) S 6894 6894 4837 0 -1 1077944320 6114 0 0 0 8 2 0 0 20 0 20 0 418183809 27969658880 26020 33554432000 4194304 4196468 140735654764240 140735654746784 139712823873271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
/proc/6897/statm: 6828530 26020 2803 1 0 6790935 0
[pid=6897/tid=6898] ppid=6894 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/6897/task/6898/stat : 6898 (java) R 6894 6894 4837 0 -1 4202560 4215 0 0 0 6 2 0 0 20 0 20 0 418183809 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712795695552 139712809305210 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6899] ppid=6894 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6897/task/6899/stat : 6899 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712828115984 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6900] ppid=6894 vsize=27314120 memory=139846622086784 CPUtime=0 cores=0-7
/proc/6897/task/6900/stat : 6900 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712611511440 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6901] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6901/stat : 6901 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712610458384 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6902] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6902/stat : 6902 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712609405840 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6903] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6903/stat : 6903 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712608352784 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6904] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6904/stat : 6904 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712607300240 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6905] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6905/stat : 6905 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712606247184 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6906] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6906/stat : 6906 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 26532 33554432000 4194304 4196468 140735654764240 139712605194640 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6907] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6907/stat : 6907 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183813 27969658880 26532 33554432000 4194304 4196468 140735654764240 139711210306288 139712823884418 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6908] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6908/stat : 6908 (java) S 6894 6894 4837 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418183814 27969658880 26532 33554432000 4194304 4196468 140735654764240 139710588511904 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6909] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6909/stat : 6909 (java) S 6894 6894 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418183814 27969658880 26532 33554432000 4194304 4196468 140735654764240 139710454289648 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6910] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6910/stat : 6910 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 26532 33554432000 4194304 4196468 140735654764240 139710079785424 139712823891867 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6911] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6911/stat : 6911 (java) S 6894 6894 4837 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 26532 33554432000 4194304 4196468 140735654764240 139711209253104 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6912] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6912/stat : 6912 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 26532 33554432000 4194304 4196468 140735654764240 139711208200560 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6913] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6913/stat : 6913 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 26532 33554432000 4194304 4196468 140735654764240 139711207147504 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6914] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6914/stat : 6914 (java) S 6894 6894 4837 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 26532 33554432000 4194304 4196468 140735654764240 139711206094960 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6915] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6915/stat : 6915 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 26532 33554432000 4194304 4196468 140735654764240 139709581880288 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6916] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6916/stat : 6916 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183817 27969658880 26532 33554432000 4194304 4196468 140735654764240 139711205043376 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105476 KiB

[startup+0.21035 s]*
/proc/loadavg: 6.76 7.85 8.05 2/213 6916
/proc/meminfo: memFree=24193636/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418183809 115843072 349 33554432000 4194304 5098028 140734524619376 140734524616632 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 349 296 221 0 87 0
[pid=6897] ppid=6894 vsize=27314120 memory=123444 CPUtime=0.24 cores=0-7
/proc/6897/stat : 6897 (java) S 6894 6894 4837 0 -1 1077944320 11744 0 0 0 20 4 0 0 20 0 20 0 418183809 27969658880 30861 33554432000 4194304 4196468 140735654764240 140735654746784 139712823873271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
/proc/6897/statm: 6828530 30861 2946 1 0 6790935 0
[pid=6897/tid=6898] ppid=6894 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6897/task/6898/stat : 6898 (java) R 6894 6894 4837 0 -1 4202560 9427 0 0 0 16 3 0 0 20 0 20 0 418183809 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712795681664 139712809038910 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6899] ppid=6894 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/6897/task/6899/stat : 6899 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712828115984 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6900] ppid=6894 vsize=27314120 memory=139846622094734 CPUtime=0 cores=0-7
/proc/6897/task/6900/stat : 6900 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712611511440 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6901] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6901/stat : 6901 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712610458384 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6902] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6902/stat : 6902 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712609405840 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6903] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6903/stat : 6903 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712608352784 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6904] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6904/stat : 6904 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712607300240 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6905] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6905/stat : 6905 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712606247184 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6906] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6906/stat : 6906 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 30861 33554432000 4194304 4196468 140735654764240 139712605194640 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6907] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6907/stat : 6907 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183813 27969658880 30861 33554432000 4194304 4196468 140735654764240 139711210306288 139712823884418 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6908] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6908/stat : 6908 (java) S 6894 6894 4837 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418183814 27969658880 30861 33554432000 4194304 4196468 140735654764240 139710588511904 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6909] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6909/stat : 6909 (java) S 6894 6894 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418183814 27969658880 30861 33554432000 4194304 4196468 140735654764240 139710454289648 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6910] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6910/stat : 6910 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 30861 33554432000 4194304 4196468 140735654764240 139710079785424 139712823891867 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6911] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6911/stat : 6911 (java) S 6894 6894 4837 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 30861 33554432000 4194304 4196468 140735654764240 139711209253104 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6912] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6912/stat : 6912 (java) S 6894 6894 4837 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 30861 33554432000 4194304 4196468 140735654764240 139711208200560 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6913] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6913/stat : 6913 (java) S 6894 6894 4837 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 30861 33554432000 4194304 4196468 140735654764240 139711207147504 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6914] ppid=6894 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6897/task/6914/stat : 6914 (java) S 6894 6894 4837 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 418183816 27969658880 30861 33554432000 4194304 4196468 140735654764240 139711206094960 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6915] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6915/stat : 6915 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 30861 33554432000 4194304 4196468 140735654764240 139709581880288 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6916] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6916/stat : 6916 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183817 27969658880 30861 33554432000 4194304 4196468 140735654764240 139711205043376 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124840 KiB

[startup+0.3098 s]*
/proc/loadavg: 6.76 7.85 8.05 2/213 6916
/proc/meminfo: memFree=24183068/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418183809 115843072 349 33554432000 4194304 5098028 140734524619376 140734524616632 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 349 296 221 0 87 0
[pid=6897] ppid=6894 vsize=27314120 memory=127492 CPUtime=0.43 cores=0-7
/proc/6897/stat : 6897 (java) S 6894 6894 4837 0 -1 1077944320 12277 0 0 0 38 5 0 0 20 0 20 0 418183809 27969658880 31873 33554432000 4194304 4196468 140735654764240 140735654746784 139712823873271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
/proc/6897/statm: 6828530 31873 3002 1 0 6790935 0
[pid=6897/tid=6898] ppid=6894 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/6897/task/6898/stat : 6898 (java) R 6894 6894 4837 0 -1 4202560 9786 0 0 0 25 4 0 0 20 0 20 0 418183809 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712795701072 139712809038926 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6899] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6899/stat : 6899 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712828115984 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6900] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6900/stat : 6900 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712611511440 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6901] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6901/stat : 6901 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712610458384 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6902] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6902/stat : 6902 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712609405840 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6903] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6903/stat : 6903 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712608352784 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6904] ppid=6894 vsize=27314120 memory=139846484060847 CPUtime=0 cores=0-7
/proc/6897/task/6904/stat : 6904 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712607300240 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6905] ppid=6894 vsize=27314120 memory=139846484063152 CPUtime=0 cores=0-7
/proc/6897/task/6905/stat : 6905 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712606247184 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6906] ppid=6894 vsize=27314120 memory=139846484065456 CPUtime=0 cores=0-7
/proc/6897/task/6906/stat : 6906 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27969658880 31873 33554432000 4194304 4196468 140735654764240 139712605194640 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6907] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6907/stat : 6907 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183813 27969658880 31873 33554432000 4194304 4196468 140735654764240 139711210306288 139712823884418 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6908] ppid=6894 vsize=27314120 memory=279692968144784 CPUtime=0 cores=0-7
/proc/6897/task/6908/stat : 6908 (java) S 6894 6894 4837 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418183814 27969658880 31873 33554432000 4194304 4196468 140735654764240 139710588511904 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6909] ppid=6894 vsize=27314120 memory=279692968142480 CPUtime=0 cores=0-7
/proc/6897/task/6909/stat : 6909 (java) S 6894 6894 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418183814 27969658880 31873 33554432000 4194304 4196468 140735654764240 139710454289648 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6910] ppid=6894 vsize=27314120 memory=279692968149392 CPUtime=0 cores=0-7
/proc/6897/task/6910/stat : 6910 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 31873 33554432000 4194304 4196468 140735654764240 139710079785424 139712823891867 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6911] ppid=6894 vsize=27314120 memory=279692968090672 CPUtime=0.01 cores=0-7
/proc/6897/task/6911/stat : 6911 (java) S 6894 6894 4837 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 20 0 418183816 27969658880 31873 33554432000 4194304 4196468 140735654764240 139711209253104 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6912] ppid=6894 vsize=27314120 memory=279692968163216 CPUtime=0 cores=0-7
/proc/6897/task/6912/stat : 6912 (java) S 6894 6894 4837 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 31873 33554432000 4194304 4196468 140735654764240 139711208200560 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6913] ppid=6894 vsize=27314120 memory=279692968170128 CPUtime=0.02 cores=0-7
/proc/6897/task/6913/stat : 6913 (java) S 6894 6894 4837 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 418183816 27969658880 31873 33554432000 4194304 4196468 140735654764240 139711207147504 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6914] ppid=6894 vsize=27314120 memory=279692968167824 CPUtime=0.07 cores=0-7
/proc/6897/task/6914/stat : 6914 (java) S 6894 6894 4837 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 418183816 27969658880 31873 33554432000 4194304 4196468 140735654764240 139711206094960 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6915] ppid=6894 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6915/stat : 6915 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183816 27969658880 31873 33554432000 4194304 4196468 140735654764240 139709581880288 139712823883477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6916] ppid=6894 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6897/task/6916/stat : 6916 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183817 27969658880 31873 33554432000 4194304 4196468 140735654764240 139711205043376 139712823884418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128888 KiB

[startup+0.700904 s]
/proc/loadavg: 6.76 7.85 8.05 2/213 6916
/proc/meminfo: memFree=24166444/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418183809 115843072 349 33554432000 4194304 5098028 140734524619376 140734524616632 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 349 296 221 0 87 0
[pid=6897] ppid=6894 vsize=27320392 memory=163192 CPUtime=0.98 cores=0-7
/proc/6897/stat : 6897 (java) S 6894 6894 4837 0 -1 1077944320 19915 0 0 0 91 7 0 0 20 0 20 0 418183809 27976081408 40798 33554432000 4194304 4196468 140735654764240 140735654746784 139712823873271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
/proc/6897/statm: 6830098 40798 3189 1 0 6791447 0
[pid=6897/tid=6898] ppid=6894 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/6897/task/6898/stat : 6898 (java) R 6894 6894 4837 0 -1 4202560 16843 0 0 0 61 6 0 0 20 0 20 0 418183809 27976081408 40798 33554432000 4194304 4196468 140735654764240 139712795711744 139712807981548 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6899] ppid=6894 vsize=27320392 memory=139846484271984 CPUtime=0 cores=0-7
/proc/6897/task/6899/stat : 6899 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27976081408 40798 33554432000 4194304 4196468 140735654764240 139712828115984 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6900] ppid=6894 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6900/stat : 6900 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183812 27976081408 40798 33554432000 4194304 4196468 140735654764240 139712611511440 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6901] ppid=6894 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/6897/task/6901/stat : 6901 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27976081408 40798 33554432000 4194304 4196468 140735654764240 139712610458384 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0

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

/proc/6897/task/6907/stat : 6907 (java) S 6894 6894 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418183813 27980353536 149997 33554432000 4194304 4196468 140735654764240 139711210306288 139712823884418 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6908] ppid=6894 vsize=27324564 memory=1396 CPUtime=0 cores=0-7
/proc/6897/task/6908/stat : 6908 (java) S 6894 6894 4837 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418183814 27980353536 149997 33554432000 4194304 4196468 140735654764240 139710588511904 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6909] ppid=6894 vsize=27324564 memory=454132 CPUtime=0 cores=0-7
/proc/6897/task/6909/stat : 6909 (java) S 6894 6894 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418183814 27980353536 149997 33554432000 4194304 4196468 140735654764240 139710454289648 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6910] ppid=6894 vsize=27324564 memory=7014751519700703333 CPUtime=0 cores=0-7
/proc/6897/task/6910/stat : 6910 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27980353536 149997 33554432000 4194304 4196468 140735654764240 139710079785424 139712823891867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6911] ppid=6894 vsize=27324564 memory=3689913976284524592 CPUtime=1.19 cores=0-7
/proc/6897/task/6911/stat : 6911 (java) R 6894 6894 4837 0 -1 4202560 1472 0 0 0 119 0 0 0 20 0 20 0 418183816 27980353536 149997 33554432000 4194304 4196468 140735654764240 139711209253104 139712803208576 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6912] ppid=6894 vsize=27324564 memory=2241 CPUtime=1.25 cores=0-7
/proc/6897/task/6912/stat : 6912 (java) S 6894 6894 4837 0 -1 1077944384 1554 0 0 0 125 0 0 0 20 0 20 0 418183816 27980353536 149997 33554432000 4194304 4196468 140735654764240 139711208200560 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6913] ppid=6894 vsize=27324564 memory=2244 CPUtime=1.14 cores=0-7
/proc/6897/task/6913/stat : 6913 (java) S 6894 6894 4837 0 -1 1077944384 1088 0 0 0 113 1 0 0 20 0 20 0 418183816 27980353536 149997 33554432000 4194304 4196468 140735654764240 139711207147504 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6914] ppid=6894 vsize=27324564 memory=752 CPUtime=0.8 cores=0-7
/proc/6897/task/6914/stat : 6914 (java) S 6894 6894 4837 0 -1 1077944384 2164 0 0 0 80 0 0 0 20 0 20 0 418183816 27980353536 149997 33554432000 4194304 4196468 140735654764240 139711206094960 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6915] ppid=6894 vsize=27324564 memory=1636 CPUtime=0 cores=0-7
/proc/6897/task/6915/stat : 6915 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183816 27980353536 149997 33554432000 4194304 4196468 140735654764240 139709581880288 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6916] ppid=6894 vsize=27324564 memory=812 CPUtime=0 cores=0-7
/proc/6897/task/6916/stat : 6916 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183817 27980353536 149997 33554432000 4194304 4196468 140735654764240 139711205043376 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 27437692 KiB
Current children cumulated memory: 601384 KiB

[startup+6.30093 s]
/proc/loadavg: 6.30 7.73 8.01 5/213 6916
/proc/meminfo: memFree=22035924/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418183809 115843072 349 33554432000 4194304 5098028 140734524619376 140734524616632 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 349 296 221 0 87 0
[pid=6897] ppid=6894 vsize=27326612 memory=2373776 CPUtime=12.98 cores=0-7
/proc/6897/stat : 6897 (java) S 6894 6894 4837 0 -1 1077944320 32013 0 0 0 1251 47 0 0 20 0 20 0 418183809 27982450688 593444 33554432000 4194304 4196468 140735654764240 140735654746784 139712823873271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
/proc/6897/statm: 6831653 593444 3261 1 0 6792983 0
[pid=6897/tid=6898] ppid=6894 vsize=27326612 memory=-2461829820114675750 CPUtime=6.26 cores=0-7
/proc/6897/task/6898/stat : 6898 (java) R 6894 6894 4837 0 -1 4202560 19315 0 0 0 586 40 0 0 20 0 20 0 418183809 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712795710344 139712289926831 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6899] ppid=6894 vsize=27326612 memory=8546823402028195750 CPUtime=0 cores=0-7
/proc/6897/task/6899/stat : 6899 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712828115984 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6900] ppid=6894 vsize=27326612 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6897/task/6900/stat : 6900 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712611511440 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6901] ppid=6894 vsize=27326612 memory=4570481358258665002 CPUtime=0 cores=0-7
/proc/6897/task/6901/stat : 6901 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712610458384 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6902] ppid=6894 vsize=27326612 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/6897/task/6902/stat : 6902 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712609405840 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6903] ppid=6894 vsize=27326612 memory=-7028383565733675155 CPUtime=0 cores=0-7
/proc/6897/task/6903/stat : 6903 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712608352784 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6904] ppid=6894 vsize=27326612 memory=55 CPUtime=0 cores=0-7
/proc/6897/task/6904/stat : 6904 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712607300240 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6905] ppid=6894 vsize=27326612 memory=10829 CPUtime=0 cores=0-7
/proc/6897/task/6905/stat : 6905 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712606247184 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6906] ppid=6894 vsize=27326612 memory=26922 CPUtime=0 cores=0-7
/proc/6897/task/6906/stat : 6906 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183812 27982450688 593444 33554432000 4194304 4196468 140735654764240 139712605194640 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6907] ppid=6894 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6907/stat : 6907 (java) S 6894 6894 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418183813 27982450688 593444 33554432000 4194304 4196468 140735654764240 139711210306288 139712823884418 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6908] ppid=6894 vsize=27326612 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6897/task/6908/stat : 6908 (java) S 6894 6894 4837 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418183814 27982450688 593444 33554432000 4194304 4196468 140735654764240 139710588511904 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6909] ppid=6894 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6909/stat : 6909 (java) S 6894 6894 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418183814 27982450688 593444 33554432000 4194304 4196468 140735654764240 139710454289648 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6910] ppid=6894 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6910/stat : 6910 (java) S 6894 6894 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418183816 27982450688 593444 33554432000 4194304 4196468 140735654764240 139710079785424 139712823891867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6911] ppid=6894 vsize=27326612 memory=0 CPUtime=1.85 cores=0-7
/proc/6897/task/6911/stat : 6911 (java) S 6894 6894 4837 0 -1 1077944384 3095 0 0 0 184 1 0 0 20 0 20 0 418183816 27982450688 593444 33554432000 4194304 4196468 140735654764240 139711209253104 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6912] ppid=6894 vsize=27326612 memory=0 CPUtime=1.91 cores=0-7
/proc/6897/task/6912/stat : 6912 (java) S 6894 6894 4837 0 -1 1077944384 2976 0 0 0 190 1 0 0 20 0 20 0 418183816 27982450688 593444 33554432000 4194304 4196468 140735654764240 139711208200560 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6913] ppid=6894 vsize=27326612 memory=0 CPUtime=2 cores=0-7
/proc/6897/task/6913/stat : 6913 (java) S 6894 6894 4837 0 -1 1077944384 2942 0 0 0 198 2 0 0 20 0 20 0 418183816 27982450688 593444 33554432000 4194304 4196468 140735654764240 139711207147504 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6914] ppid=6894 vsize=27326612 memory=0 CPUtime=0.92 cores=0-7
/proc/6897/task/6914/stat : 6914 (java) S 6894 6894 4837 0 -1 1077944384 2323 0 0 0 91 1 0 0 20 0 20 0 418183816 27982450688 593444 33554432000 4194304 4196468 140735654764240 139711206094960 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6915] ppid=6894 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6915/stat : 6915 (java) S 6894 6894 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418183816 27982450688 593444 33554432000 4194304 4196468 140735654764240 139709581880288 139712823883477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
[pid=6897/tid=6916] ppid=6894 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/6897/task/6916/stat : 6916 (java) S 6894 6894 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418183817 27982450688 593444 33554432000 4194304 4196468 140735654764240 139711205043376 139712823884418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140735654773483 140735654773910 140735654773910 140735654776783 0
Current children cumulated CPU time: 12.98 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 2375172 KiB

[startup+12.7011 s]
/proc/loadavg: 6.03 7.65 7.98 9/226 6950
/proc/meminfo: memFree=23954052/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1476 CPUtime=21.55 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 583 37272 0 0 0 0 2078 77 20 0 1 0 418183809 115843072 369 33554432000 4194304 5098028 140734524619376 140734524616120 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 369 311 221 0 87 0
[pid=6917] ppid=6894 vsize=8283048 memory=145424 CPUtime=12.5 cores=0-7
/proc/6917/stat : 6917 (java) S 6894 6894 4837 0 -1 1077944320 22241 81299 0 0 189 12 1025 24 20 0 22 0 418184802 8481841152 36356 33554432000 4194304 4196468 140727905583168 140727905565712 139944580501239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
/proc/6917/statm: 2070762 36356 3228 1 0 2032106 0
[pid=6917/tid=6918] ppid=6894 vsize=8283048 memory=129080 CPUtime=11.44 cores=0-7
/proc/6917/task/6918/stat : 6918 (java) R 6894 6894 4837 0 -1 4202560 18065 81299 0 0 86 9 1025 24 20 0 22 0 418184802 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944552323648 139944562365383 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6919] ppid=6894 vsize=8283048 memory=3563080 CPUtime=10.49 cores=0-7
/proc/6917/task/6919/stat : 6919 (java) S 6894 6894 4837 0 -1 1077944384 2 81299 0 0 0 0 1025 24 20 0 22 0 418184803 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944584743440 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6920] ppid=6894 vsize=8283048 memory=89308 CPUtime=10.49 cores=0-7
/proc/6917/task/6920/stat : 6920 (java) S 6894 6894 4837 0 -1 1077944384 3 81299 0 0 0 0 1025 24 20 0 22 0 418184803 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944398899856 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6921] ppid=6894 vsize=8283048 memory=6943526294502006880 CPUtime=10.49 cores=0-7
/proc/6917/task/6921/stat : 6921 (java) S 6894 6894 4837 0 -1 1077944384 2 81299 0 0 0 0 1025 24 20 0 22 0 418184804 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944397846800 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6922] ppid=6894 vsize=8283048 memory=288230574492221466 CPUtime=10.49 cores=0-7
/proc/6917/task/6922/stat : 6922 (java) S 6894 6894 4837 0 -1 1077944384 1 81299 0 0 0 0 1025 24 20 0 22 0 418184804 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944063039888 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6923] ppid=6894 vsize=8283048 memory=288230596050944315 CPUtime=10.49 cores=0-7
/proc/6917/task/6923/stat : 6923 (java) S 6894 6894 4837 0 -1 1077944384 2 81299 0 0 0 0 1025 24 20 0 22 0 418184804 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944061987856 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6924] ppid=6894 vsize=8283048 memory=15544015764327050 CPUtime=10.49 cores=0-7
/proc/6917/task/6924/stat : 6924 (java) S 6894 6894 4837 0 -1 1077944384 2 81299 0 0 0 0 1025 24 20 0 22 0 418184804 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944060935312 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6925] ppid=6894 vsize=8283048 memory=2373776 CPUtime=10.49 cores=0-7
/proc/6917/task/6925/stat : 6925 (java) S 6894 6894 4837 0 -1 1077944384 1 81299 0 0 0 0 1025 24 20 0 22 0 418184804 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944059882256 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6926] ppid=6894 vsize=8283048 memory=-2461829820114675750 CPUtime=10.49 cores=0-7
/proc/6917/task/6926/stat : 6926 (java) S 6894 6894 4837 0 -1 1077944384 2 81299 0 0 0 0 1025 24 20 0 22 0 418184804 8481841152 36356 33554432000 4194304 4196468 140727905583168 139944058829712 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6927] ppid=6894 vsize=8283048 memory=8546823402028195750 CPUtime=10.49 cores=0-7
/proc/6917/task/6927/stat : 6927 (java) S 6894 6894 4837 0 -1 1077944384 6 81299 0 0 0 0 1025 24 20 0 22 0 418184805 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943875340528 139944580512386 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6928] ppid=6894 vsize=8283048 memory=6673 CPUtime=10.49 cores=0-7
/proc/6917/task/6928/stat : 6928 (java) S 6894 6894 4837 0 -1 1077944384 13 81299 0 0 0 0 1025 24 20 0 22 0 418184805 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943187834016 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6929] ppid=6894 vsize=8283048 memory=4420 CPUtime=10.49 cores=0-7
/proc/6917/task/6929/stat : 6929 (java) S 6894 6894 4837 0 -1 1077944384 1 81299 0 0 0 0 1025 24 20 0 22 0 418184806 8481841152 36356 33554432000 4194304 4196468 140727905583168 139942919398128 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6930] ppid=6894 vsize=8283048 memory=6628 CPUtime=10.49 cores=0-7
/proc/6917/task/6930/stat : 6930 (java) S 6894 6894 4837 0 -1 1077944384 1 81299 0 0 0 0 1025 24 20 0 22 0 418184808 8481841152 36356 33554432000 4194304 4196468 140727905583168 139942544889808 139944580519835 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6931] ppid=6894 vsize=8283048 memory=1476 CPUtime=10.64 cores=0-7
/proc/6917/task/6931/stat : 6931 (java) S 6894 6894 4837 0 -1 1077944384 821 81299 0 0 15 0 1025 24 20 0 22 0 418184808 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943874288368 139944580512386 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6932] ppid=6894 vsize=8283048 memory=1476 CPUtime=10.7 cores=0-7
/proc/6917/task/6932/stat : 6932 (java) R 6894 6894 4837 0 -1 4202560 369 81299 0 0 21 0 1025 24 20 0 22 0 418184808 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943873224256 139944561204206 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6933] ppid=6894 vsize=8283048 memory=129080 CPUtime=10.71 cores=0-7
/proc/6917/task/6933/stat : 6933 (java) S 6894 6894 4837 0 -1 1077944384 605 81299 0 0 22 0 1025 24 20 0 22 0 418184808 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943872182768 139944580512386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6934] ppid=6894 vsize=8283048 memory=279692968799328 CPUtime=10.82 cores=0-7
/proc/6917/task/6934/stat : 6934 (java) R 6894 6894 4837 0 -1 4202560 919 81299 0 0 33 0 1025 24 20 0 22 0 418184808 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943871130224 139944573600939 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6935] ppid=6894 vsize=8283048 memory=6643779073 CPUtime=10.49 cores=0-7
/proc/6917/task/6935/stat : 6935 (java) S 6894 6894 4837 0 -1 1077944384 3 81299 0 0 0 0 1025 24 20 0 22 0 418184808 8481841152 36356 33554432000 4194304 4196468 140727905583168 139942046984672 139944580511445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6936] ppid=6894 vsize=8283048 memory=1780465272321 CPUtime=10.49 cores=0-7
/proc/6917/task/6936/stat : 6936 (java) S 6894 6894 4837 0 -1 1077944384 3 81299 0 0 0 0 1025 24 20 0 22 0 418184809 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943870077616 139944580512386 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6938] ppid=6894 vsize=8283048 memory=1862069649409 CPUtime=10.49 cores=0-7
/proc/6917/task/6938/stat : 6938 (java) S 6894 6894 4837 0 -1 1077944384 25 81299 0 0 0 0 1025 24 20 0 22 0 418184885 8481841152 36356 33554432000 4194304 4196468 140727905583168 139943862042768 139944580512386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6942] ppid=6894 vsize=8283048 memory=31797991705322 CPUtime=10.49 cores=0-7
/proc/6917/task/6942/stat : 6942 (java) S 6894 6894 4837 0 -1 1077944384 9 81299 0 0 0 0 1025 24 20 0 22 0 418184888 8481841152 36356 33554432000 4194304 4196468 140727905583168 139941107459248 139944580512386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
Current children cumulated CPU time: 34.05 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146900 KiB

[startup+12.8106 s]
# the end of solver process 6894 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=33.2398 s, system=1.1564 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8012 s]
/proc/loadavg: 6.03 7.65 7.98 9/226 6950
/proc/meminfo: memFree=23954052/32770624 swapFree=67108848/67108860
[pid=6894] ppid=6891 vsize=113128 memory=1476 CPUtime=21.55 cores=0-7
/proc/6894/stat : 6894 (scop.sh) S 6891 6894 4837 0 -1 4202496 583 37272 0 0 0 0 2078 77 20 0 1 0 418183809 115843072 369 33554432000 4194304 5098028 140734524619376 140734524616120 140114550014588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29503488 140734524625700 140734524626028 140734524626028 140734524628941 0
/proc/6894/statm: 28282 369 311 221 0 87 0
[pid=6917] ppid=6894 vsize=8018840 memory=157860 CPUtime=12.82 cores=0-7
/proc/6917/stat : 6917 (java) R 6894 6894 4837 0 -1 4202496 24394 81299 0 0 220 13 1025 24 20 0 19 0 418184802 8211292160 39465 33554432000 4194304 4196468 140727905583168 140727905565712 139944573218343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
/proc/6917/statm: 2004710 39465 3261 1 0 1966054 0
[pid=6917/tid=6919] ppid=6894 vsize=8018840 memory=8112282956445269571 CPUtime=10.49 cores=0-7
/proc/6917/task/6919/stat : 6919 (java) R 6894 6894 4837 0 -1 1077944384 2 81299 0 0 0 0 1025 24 20 0 19 0 418184803 8211292160 39469 33554432000 4194304 4196468 140727905583168 139944584743440 139944580511445 256 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15695872 140727905588216 140727905588374 140727905588374 140727905591247 0
[pid=6917/tid=6920] ppid=0 vsize=0 memory=3693548 CPUtime=0 cores=0-7
/proc/6917/task/6920/stat : 6920 (java) X 0 -1 -1 0 -1 4228172 3 0 0 0 0 0 0 0 20 0 0 0 418184803 0 0 0 0 0 0 0 0 0 4 0 0 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=6917/tid=6923] ppid=6894 vsize=0 memory=0 CPUtime=10.49 cores=0-7
/proc/6917/task/6923/stat : 6923 (java) X 6894 6894 4837 0 -1 4195396 2 81299 0 0 0 0 1025 24 20 0 11 0 418184804 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=6917/tid=6929] ppid=0 vsize=0 memory=7019467087956556086 CPUtime=0 cores=0-7
/proc/6917/task/6929/stat : 6929 (java) X 0 -1 -1 0 -1 4228172 1 0 0 0 0 0 0 0 20 0 0 0 418184806 0 0 0 0 0 0 0 0 0 4 0 0 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=6917/tid=6942] ppid=6894 vsize=0 memory=6944656592455359580 CPUtime=10.49 cores=0-7
/proc/6917/task/6942/stat : 6942 (java) R 6894 6894 4837 0 -1 4203588 9 81299 0 0 0 0 1025 24 20 0 2 0 418184888 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 34.37 s
Current children cumulated vsize: 8131968 KiB
Current children cumulated memory: 159336 KiB

Child status: 0
Real time (s): 12.8106
CPU time (s): 34.3962
CPU user time (s): 33.2398
CPU system time (s): 1.1564
CPU usage (%): 268.497
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3699728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2398
system time used= 1.1564
maximum resident set size= 3698532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12193
involuntary context switches= 119


# summary of solver processes directly reported to runsolver:
#   pid: 6894
#   total CPU time (s): 34.3962
#   total CPU user time (s): 33.2398
#   total CPU system time (s): 1.1564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.12982 second user time and 0.172307 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 02:53:43
IDJOB=4392679
IDBENCH=123874
IDSOLVER=2839
FILE ID=node143/4392679-1568422464
RUNJOBID= node143-1568416727-4864
PBS_JOBID= 21702255
Free space on /tmp= 59272 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Bibd/Bibd-sum-stab1/Bibd-sum-25-05-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-4392679-1568422464/watcher-4392679-1568422464 -o /tmp/evaluation-result-4392679-1568422464/solver-4392679-1568422464 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --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-4392679-1568422464.xml

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

MD5SUM BENCH= 8664f4f5c29eba7e0c756194721bfaf5
RANDOM SEED=1426430

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24307328 kB
MemAvailable:   31755168 kB
Buffers:          201064 kB
Cached:          7537048 kB
SwapCached:            8 kB
Active:          2139500 kB
Inactive:        5650008 kB
Active(anon):       5872 kB
Inactive(anon):   145416 kB
Active(file):    2133628 kB
Inactive(file):  5504592 kB
Unevictable:      106884 kB
Mlocked:          106884 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             20904 kB
Writeback:             0 kB
AnonPages:        179036 kB
Mapped:            48348 kB
Shmem:             90756 kB
Slab:             266944 kB
SReclaimable:     238080 kB
SUnreclaim:        28864 kB
KernelStack:        3744 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59252 MiB
End job on node143 at 2019-09-14 02:53:56