Trace number 4405539

Some explanations

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

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

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

Solver answer on this benchmark

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

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-21199-serial-file.bin HOME/instance-4405539-1569241190.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Mon Sep 23 13:18:10 CEST 2019
0.65/0.56	c PID: 21202
0.65/0.56	c IP: 172.20.3.105
0.98/0.73	c HOST: node105.alineos.net
0.98/0.73	c (0,0) Parsing Begin
1.95/1.19	c (0,0) Parsing End
2.33/1.20	c (0,0) CSP: 0 int (0 aux), 750 bool (0 aux), 356 ctr, max domain size 2
2.33/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.33/1.20	c (0,0) Constraint Name Generate Begin
2.33/1.22	c (0,0) Ctr:HOME/instance-4405539-1569241190.xml,LexMatrix:Num:Var:WeightedSum
2.33/1.22	c (0,0) Constraint Name Generate End
2.33/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.33/1.22	c (0,0) CSP to CSPinCNF Begin
2.93/1.45	c (0,0) translated 36 (10%) constraints
4.18/1.82	c (1,1) translated 72 (20%) constraints
5.50/2.20	c (1,1) translated 107 (30%) constraints
6.37/2.50	c (1,1) translated 143 (40%) constraints
6.92/2.78	c (2,2) translated 178 (50%) constraints
7.51/3.04	c (2,2) translated 214 (60%) constraints
7.78/3.29	c (2,2) translated 250 (70%) constraints
8.15/3.55	c (3,3) translated 285 (80%) constraints
8.38/3.79	c (3,3) translated 321 (90%) constraints
8.69/4.03	c (3,3) translated 356 (100%) constraints
11.42/5.60	c (5,5) ===========================================
11.42/5.64	c (5,5) Hybrid: #OE=10339, #LE=9750
11.42/5.64	c (5,5) Hybrid
11.42/5.64	c (5,5) ===========================================
12.15/5.89	c (5,5) translated 3914 (10%) constraints
12.87/6.06	c (5,5) translated 7828 (20%) constraints
13.19/6.22	c (5,5) translated 11742 (30%) constraints
13.29/6.38	c (5,5) translated 15656 (40%) constraints
13.49/6.54	c (5,5) translated 19570 (50%) constraints
13.70/6.73	c (6,6) translated 23484 (60%) constraints
13.80/6.89	c (6,6) translated 27398 (70%) constraints
14.01/7.05	c (6,6) translated 31312 (80%) constraints
14.22/7.21	c (6,6) translated 35226 (90%) constraints
14.43/7.38	c (6,6) translated 39139 (100%) constraints
14.43/7.39	c (6,6) CSP to CSPinCNF End
14.77/7.40	c (6,6) CSP: 0 int (0 aux), 29089 bool (28339 aux), 57494 ctr, max domain size 2
14.77/7.40	c (6,6) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.77/7.40	c (6,6) CSPinCNF Propagation Begin
15.55/7.79	c (7,7) 0 values, 9000 unsatisfiable literals, and 9000 valid clauses are removed
15.55/7.79	c (7,7) CSPinCNF Propagation End
15.55/7.80	c (7,7) CSP: 0 int (0 aux), 29089 bool (28339 aux), 48494 ctr, max domain size 2
15.55/7.80	c (7,7) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.80/7.84	c (7,7) Hybrid: #OE=19339, #LE=9750
15.80/7.84	c (7,7) Simplify CSPinCNF Begin
16.25/8.04	c (7,7) Simplify CSPinCNF End
16.25/8.05	c (7,7) CSP: 0 int (0 aux), 31926 bool (31176 aux), 51331 ctr, max domain size 2
16.25/8.05	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.25/8.05	c (7,7) Calculate Precise Domain Begin
16.25/8.05	c (7,7) 0 values are removed by re-calculation
16.25/8.05	c (7,7) Calculate Precise Domain End
16.25/8.05	c (7,7) CSP: 0 int (0 aux), 31926 bool (31176 aux), 51331 ctr, max domain size 2
16.25/8.05	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.25/8.05	c (7,7) CSPinCNF to SatSolver Begin
18.63/8.73	c (8,8) 5134 (10 %) CSP clauses are encoded (0 SAT variables, 51793 SAT clauses)
19.03/8.89	c (8,8) 10267 (20 %) CSP clauses are encoded (0 SAT variables, 62536 SAT clauses)
19.44/8.99	c (8,8) 15400 (30 %) CSP clauses are encoded (0 SAT variables, 73449 SAT clauses)
19.78/9.10	c (8,8) 20533 (40 %) CSP clauses are encoded (0 SAT variables, 84362 SAT clauses)
20.05/9.20	c (8,8) 25666 (50 %) CSP clauses are encoded (0 SAT variables, 95275 SAT clauses)
20.24/9.29	c (8,8) 30799 (60 %) CSP clauses are encoded (0 SAT variables, 106018 SAT clauses)
20.44/9.39	c (8,8) 35932 (70 %) CSP clauses are encoded (0 SAT variables, 116931 SAT clauses)
20.65/9.48	c (8,8) 41065 (80 %) CSP clauses are encoded (0 SAT variables, 127844 SAT clauses)
20.76/9.57	c (9,9) 46198 (90 %) CSP clauses are encoded (0 SAT variables, 139041 SAT clauses)
20.89/9.69	c (9,9) 51331 (100 %) CSP clauses are encoded (0 SAT variables, 154346 SAT clauses)
20.89/9.69	c (9,9) CSPinCNF to SatSolver End
20.89/9.69	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
20.89/9.69	c (9,9) 69594 bool, 154347 clause
20.89/9.69	c (9,9) Export Begin
21.35/9.86	c (9,9) Export to HOME/scop-21199-serial-file.bin
21.35/9.86	c (9,9) Export End
21.35/9.86	c (9,9) Export File Size: 0.29 MB
21.35/9.86	c (9,9) 0,0,6,7,7,7,9,STOP-AFTER(DIMACS)
21.35/9.86	c END-Prog: Mon Sep 23 13:18:19 CEST 2019
0.00/9.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21199-serial-file.bin
22.15/10.36	c (0,0) Read Serial File Begin
22.15/10.36	c (0,0) HOME/scop-21199-serial-file.bin
22.66/10.67	c (0,0) Read Serial File End
22.66/10.69	
22.94/10.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
22.94/10.72	(Solving Process)
22.94/10.72	
22.94/10.72	c BEGIN-Prog: Mon Sep 23 13:18:20 CEST 2019
22.94/10.72	c PID: 21222
22.94/10.72	c IP: 172.20.3.105
22.94/10.72	c HOST: node105.alineos.net
22.94/10.72	c (0,0) SatSolver.solve Begin
22.94/10.72	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405539-1569241190.xml-scop-21202.cnf
22.94/10.74	c (0,0) c
22.94/10.74	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.94/10.74	c (0,0) c
22.94/10.74	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.94/10.74	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.94/10.74	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.94/10.74	c (0,0) c |                                                                                                       |
23.17/10.81	c (0,0) c |  Number of variables:         69594                                                                   |
23.17/10.81	c (0,0) c |  Number of clauses:          153937                                                                   |
23.17/10.81	c (0,0) c |  Parse time:                   0.06 s                                                                 |
23.17/10.81	c (0,0) c |                                                                                                       |
23.17/10.94	c (0,0) c |  Simplification time:          0.13 s                                                                 |
23.17/10.94	c (0,0) c |                                                                                                       |
23.17/10.94	c (0,0) c |  Generating clones                                                                                    |
23.44/11.08	c (0,0) c |  all clones generated. Memory =   200.98Mb.                                                           |
23.44/11.08	c (0,0) c ========================================================================================================|
23.44/11.08	c (0,0) c
23.44/11.08	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.44/11.08	c (0,0) c
23.44/11.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.44/11.08	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.44/11.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.44/11.08	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.44/11.08	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.44/11.08	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.44/11.08	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.44/11.08	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.44/11.08	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.44/11.08	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.44/11.08	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.44/11.08	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.44/11.08	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.44/11.08	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.44/11.08	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.44/11.08	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.44/11.08	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.44/11.08	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.44/11.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.46	c (2,0) c
33.49/12.46	c (2,0) c real time : 1.72903 s
33.49/12.46	c (2,0) c cpu time  : 10.2633 s
33.49/12.46	c (2,0) c
33.49/12.46	c (2,0) c
33.49/12.47	c (2,0) c
33.49/12.47	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
33.49/12.47	c (2,0) c
33.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
33.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c | Conflicts     |           45862 |       5818 |       6385 |       5807 |       4538 |       5499 |       6179 |       5910 |       5726 |
33.49/12.47	c (2,0) c | Decisions     |          217683 |      27665 |      29136 |      26215 |      23875 |      23647 |      28304 |      31037 |      27804 |
33.49/12.47	c (2,0) c | Propagations  |        34726109 |    4326790 |    4647479 |    4535378 |    3593669 |    4009888 |    4842218 |    4717947 |    4052740 |
33.49/12.47	c (2,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
33.49/12.47	c (2,0) c | SimpDBs       |              65 |          7 |          9 |          8 |          6 |          8 |         10 |         10 |          7 |
33.49/12.47	c (2,0) c | Restarts      |             355 |         54 |         52 |         42 |         40 |         36 |         53 |         49 |         29 |
33.49/12.47	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | PropBinClauses|        38629292 |    4724582 |    5057669 |    5059741 |    4287043 |    4689125 |    5203947 |    5166902 |    4440283 |
33.49/12.47	c (2,0) c | PropPreBlocker|        57802943 |    7290039 |    7596611 |    7504977 |    5767698 |    7001110 |    8075092 |    7528686 |    7038730 |
33.49/12.47	c (2,0) c | PropNotBlocker|        32851631 |    4140410 |    4365215 |    4310262 |    3215495 |    3959878 |    4611063 |    4311268 |    3938040 |
33.49/12.47	c (2,0) c | LitFullScans  |       345575516 |   42011025 |   42011381 |   42010565 |   42017329 |   46898867 |   42019154 |   42007940 |   46599255 |
33.49/12.47	c (2,0) c | LitScanFracts |          117944 |       9130 |       9454 |      10238 |      16855 |       8083 |      16686 |       6949 |      40549 |
33.49/12.47	c (2,0) c | DecisionLevel0|             551 |         79 |         83 |         60 |         45 |         63 |         98 |         71 |         52 |
33.49/12.47	c (2,0) c | Periods       |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
33.49/12.47	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
33.49/12.47	c (2,0) c | Avg_Trail     |                 |      13668 |      13324 |      13333 |      13042 |      13869 |      13566 |      13746 |      13697 |
33.49/12.47	c (2,0) c | Avg_DL        |                 |         76 |         65 |         65 |         77 |         54 |         64 |         59 |         98 |
33.49/12.47	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c | Exported      |            2812 |        326 |        607 |        370 |        110 |        251 |        493 |        337 |        318 |
33.49/12.47	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
33.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c | Unaries       |                 |         25 |         31 |         18 |          5 |         27 |         45 |         22 |         23 |
33.49/12.47	c (2,0) c | Binaries      |                 |         45 |         78 |         56 |         33 |         55 |         86 |         64 |         40 |
33.49/12.47	c (2,0) c | Glues         |                 |        111 |        160 |        124 |        110 |        121 |        164 |        149 |         76 |
33.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c | Orig_Seen     |            36 % |      29963 |      36871 |      25649 |      30490 |      26239 |      37540 |      38825 |      37849 |
33.49/12.47	c (2,0) c | Diff Orig seen|                 | -     7886 | -      978 | -    12200 | -     7359 | -    11610 | -      309 |        976 |      X     |
33.49/12.47	c (2,0) c | Hamming       |            11 % |       7667 |       7510 |       8941 |       7579 |       8170 |       6948 |       7203 |      X     |
33.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c | RunningTime   |                 |    1.4 100%|    1.4 100%|    1.2 100%|    1.2 100%|    1.2 100%|    1.3 100%|    1.2 100%|    1.2 100%|
33.49/12.47	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.49/12.47	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.49/12.47	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.49/12.47	c (2,0) c | SolvingTime   |                 |    1.4     |    1.4     |    1.2     |    1.2     |    1.2     |    1.3     |    1.2     |    1.2     |
33.49/12.47	c (2,0) c | PropagationTim|                 |    0.9  66%|    0.9  67%|    0.8  66%|    0.8  61%|    0.8  62%|    0.9  68%|    0.8  67%|    0.7  60%|
33.49/12.47	c (2,0) c | AnalysisTime  |                 |    0.3  22%|    0.3  21%|    0.3  23%|    0.3  28%|    0.3  28%|    0.3  20%|    0.3  22%|    0.3  29%|
33.49/12.47	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.49/12.47	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.49/12.47	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.49/12.47	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.49/12.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.47	c (2,0) c
33.49/12.47	c (2,0) c
33.49/12.47	c (2,0) c Threads : 8
33.49/12.47	c (2,0) c Winner : 7
33.49/12.47	c (2,0) c Conflicts_0 : 5818
33.49/12.47	c (2,0) c Conflicts_1 : 6385
33.49/12.47	c (2,0) c Conflicts_2 : 5807
33.49/12.47	c (2,0) c Conflicts_3 : 4538
33.49/12.47	c (2,0) c Conflicts_4 : 5499
33.49/12.47	c (2,0) c Conflicts_5 : 6179
33.49/12.47	c (2,0) c Conflicts_6 : 5910
33.49/12.47	c (2,0) c Conflicts_7 : 5726
33.49/12.47	c (2,0) c Conflicts_total : 45862
33.49/12.47	c (2,0) c Conflicts_winner : 5726
33.49/12.47	c (2,0) c Decisions_0 : 27665
33.49/12.47	c (2,0) c Decisions_1 : 29136
33.49/12.47	c (2,0) c Decisions_2 : 26215
33.49/12.47	c (2,0) c Decisions_3 : 23875
33.49/12.47	c (2,0) c Decisions_4 : 23647
33.49/12.47	c (2,0) c Decisions_5 : 28304
33.49/12.47	c (2,0) c Decisions_6 : 31037
33.49/12.47	c (2,0) c Decisions_7 : 27804
33.49/12.47	c (2,0) c Decisions_total : 217683
33.49/12.47	c (2,0) c Decisions_winner : 27804
33.49/12.47	c (2,0) c Propagations_0 : 4326790
33.49/12.47	c (2,0) c Propagations_1 : 4647479
33.49/12.47	c (2,0) c Propagations_2 : 4535378
33.49/12.47	c (2,0) c Propagations_3 : 3593669
33.49/12.47	c (2,0) c Propagations_4 : 4009888
33.49/12.47	c (2,0) c Propagations_5 : 4842218
33.49/12.47	c (2,0) c Propagations_6 : 4717947
33.49/12.47	c (2,0) c Propagations_7 : 4052740
33.49/12.47	c (2,0) c Propagations_total : 34726109
33.49/12.47	c (2,0) c Propagations_winner : 4052740
33.49/12.47	c (2,0) c ReduceDBs_0 : 1
33.49/12.47	c (2,0) c ReduceDBs_1 : 1
33.49/12.47	c (2,0) c ReduceDBs_2 : 1
33.49/12.47	c (2,0) c ReduceDBs_3 : 1
33.49/12.47	c (2,0) c ReduceDBs_4 : 1
33.49/12.47	c (2,0) c ReduceDBs_5 : 1
33.49/12.47	c (2,0) c ReduceDBs_6 : 1
33.49/12.47	c (2,0) c ReduceDBs_7 : 1
33.49/12.47	c (2,0) c ReduceDBs_total : 8
33.49/12.47	c (2,0) c ReduceDBs_winner : 1
33.49/12.47	c (2,0) c SimpDBs_0 : 7
33.49/12.47	c (2,0) c SimpDBs_1 : 9
33.49/12.47	c (2,0) c SimpDBs_2 : 8
33.49/12.47	c (2,0) c SimpDBs_3 : 6
33.49/12.47	c (2,0) c SimpDBs_4 : 8
33.49/12.47	c (2,0) c SimpDBs_5 : 10
33.49/12.47	c (2,0) c SimpDBs_6 : 10
33.49/12.47	c (2,0) c SimpDBs_7 : 7
33.49/12.47	c (2,0) c SimpDBs_total : 65
33.49/12.47	c (2,0) c SimpDBs_winner : 7
33.49/12.47	c (2,0) c Restarts_0 : 54
33.49/12.47	c (2,0) c Restarts_1 : 52
33.49/12.47	c (2,0) c Restarts_2 : 42
33.49/12.47	c (2,0) c Restarts_3 : 40
33.49/12.47	c (2,0) c Restarts_4 : 36
33.49/12.47	c (2,0) c Restarts_5 : 53
33.49/12.47	c (2,0) c Restarts_6 : 49
33.49/12.47	c (2,0) c Restarts_7 : 29
33.49/12.47	c (2,0) c Restarts_total : 355
33.49/12.47	c (2,0) c Restarts_winner : 29
33.49/12.47	c (2,0) c ForcedImports_0 : 0
33.49/12.47	c (2,0) c ForcedImports_1 : 0
33.49/12.47	c (2,0) c ForcedImports_2 : 0
33.49/12.47	c (2,0) c ForcedImports_3 : 0
33.49/12.47	c (2,0) c ForcedImports_4 : 0
33.49/12.47	c (2,0) c ForcedImports_5 : 0
33.49/12.47	c (2,0) c ForcedImports_6 : 0
33.49/12.47	c (2,0) c ForcedImports_7 : 0
33.49/12.47	c (2,0) c ForcedImports_total : 0
33.49/12.47	c (2,0) c ForcedImports_winner : 0
33.49/12.47	c (2,0) c PropsBinClauses_0 : 4724582
33.49/12.47	c (2,0) c PropsBinClauses_1 : 5057669
33.49/12.47	c (2,0) c PropsBinClauses_2 : 5059741
33.49/12.47	c (2,0) c PropsBinClauses_3 : 4287043
33.49/12.47	c (2,0) c PropsBinClauses_4 : 4689125
33.49/12.47	c (2,0) c PropsBinClauses_5 : 5203947
33.49/12.47	c (2,0) c PropsBinClauses_6 : 5166902
33.49/12.47	c (2,0) c PropsBinClauses_7 : 4440283
33.49/12.47	c (2,0) c PropsBinClauses_total : 38629292
33.49/12.47	c (2,0) c PropsBinClauses_winner : 4440283
33.49/12.47	c (2,0) c PropsPreBlocker_0 : 7290039
33.49/12.47	c (2,0) c PropsPreBlocker_1 : 7596611
33.49/12.47	c (2,0) c PropsPreBlocker_2 : 7504977
33.49/12.47	c (2,0) c PropsPreBlocker_3 : 5767698
33.49/12.47	c (2,0) c PropsPreBlocker_4 : 7001110
33.49/12.47	c (2,0) c PropsPreBlocker_5 : 8075092
33.49/12.47	c (2,0) c PropsPreBlocker_6 : 7528686
33.49/12.47	c (2,0) c PropsPreBlocker_7 : 7038730
33.49/12.47	c (2,0) c PropsPreBlocker_total : 57802943
33.49/12.47	c (2,0) c PropsPreBlocker_winner : 7038730
33.49/12.47	c (2,0) c PropsNotBlocker_0 : 4140410
33.49/12.47	c (2,0) c PropsNotBlocker_1 : 4365215
33.49/12.47	c (2,0) c PropsNotBlocker_2 : 4310262
33.49/12.47	c (2,0) c PropsNotBlocker_3 : 3215495
33.49/12.47	c (2,0) c PropsNotBlocker_4 : 3959878
33.49/12.47	c (2,0) c PropsNotBlocker_5 : 4611063
33.49/12.47	c (2,0) c PropsNotBlocker_6 : 4311268
33.49/12.47	c (2,0) c PropsNotBlocker_7 : 3938040
33.49/12.47	c (2,0) c PropsNotBlocker_total : 32851631
33.49/12.47	c (2,0) c PropsNotBlocker_winner : 3938040
33.49/12.47	c (2,0) c PropsLitFullScans_0 : 42011025
33.49/12.47	c (2,0) c PropsLitFullScans_1 : 42011381
33.49/12.47	c (2,0) c PropsLitFullScans_2 : 42010565
33.49/12.47	c (2,0) c PropsLitFullScans_3 : 42017329
33.49/12.47	c (2,0) c PropsLitFullScans_4 : 46898867
33.49/12.47	c (2,0) c PropsLitFullScans_5 : 42019154
33.49/12.47	c (2,0) c PropsLitFullScans_6 : 42007940
33.49/12.47	c (2,0) c PropsLitFullScans_7 : 46599255
33.49/12.47	c (2,0) c PropsLitFullScans_total : 345575516
33.49/12.47	c (2,0) c PropsLitFullScans_winner : 46599255
33.49/12.47	c (2,0) c LitScanFractions_0 : 9130
33.49/12.47	c (2,0) c LitScanFractions_1 : 9454
33.49/12.47	c (2,0) c LitScanFractions_2 : 10238
33.49/12.47	c (2,0) c LitScanFractions_3 : 16855
33.49/12.47	c (2,0) c LitScanFractions_4 : 8083
33.49/12.47	c (2,0) c LitScanFractions_5 : 16686
33.49/12.47	c (2,0) c LitScanFractions_6 : 6949
33.49/12.47	c (2,0) c LitScanFractions_7 : 40549
33.49/12.47	c (2,0) c LitScanFractions_total : 117944
33.49/12.47	c (2,0) c LitScanFractions_winner : 40549
33.49/12.47	c (2,0) c DecisionLevel0_0 : 79
33.49/12.47	c (2,0) c DecisionLevel0_1 : 83
33.49/12.47	c (2,0) c DecisionLevel0_2 : 60
33.49/12.47	c (2,0) c DecisionLevel0_3 : 45
33.49/12.47	c (2,0) c DecisionLevel0_4 : 63
33.49/12.47	c (2,0) c DecisionLevel0_5 : 98
33.49/12.47	c (2,0) c DecisionLevel0_6 : 71
33.49/12.47	c (2,0) c DecisionLevel0_7 : 52
33.49/12.47	c (2,0) c DecisionLevel0_total : 551
33.49/12.47	c (2,0) c DecisionLevel0_winner : 52
33.49/12.47	c (2,0) c Periods_0 : 7
33.49/12.47	c (2,0) c Periods_1 : 7
33.49/12.47	c (2,0) c Periods_2 : 7
33.49/12.47	c (2,0) c Periods_3 : 7
33.49/12.47	c (2,0) c Periods_4 : 7
33.49/12.47	c (2,0) c Periods_5 : 7
33.49/12.47	c (2,0) c Periods_6 : 7
33.49/12.47	c (2,0) c Periods_7 : 7
33.49/12.47	c (2,0) c Periods_total : 56
33.49/12.47	c (2,0) c Periods_winner : 7
33.49/12.47	c (2,0) c Margin_0 : 20
33.49/12.47	c (2,0) c Margin_1 : 20
33.49/12.47	c (2,0) c Margin_2 : 20
33.49/12.47	c (2,0) c Margin_3 : 20
33.49/12.47	c (2,0) c Margin_4 : 20
33.49/12.47	c (2,0) c Margin_5 : 20
33.49/12.47	c (2,0) c Margin_6 : 20
33.49/12.47	c (2,0) c Margin_7 : 20
33.49/12.47	c (2,0) c Margin_total : 160
33.49/12.47	c (2,0) c Margin_winner : 20
33.49/12.47	c (2,0) c Exported_0 : 326
33.49/12.47	c (2,0) c Exported_1 : 607
33.49/12.47	c (2,0) c Exported_2 : 370
33.49/12.47	c (2,0) c Exported_3 : 110
33.49/12.47	c (2,0) c Exported_4 : 251
33.49/12.47	c (2,0) c Exported_5 : 493
33.49/12.47	c (2,0) c Exported_6 : 337
33.49/12.47	c (2,0) c Exported_7 : 318
33.49/12.47	c (2,0) c Exported_total : 2812
33.49/12.47	c (2,0) c Exported_winner : 318
33.49/12.47	c (2,0) c Imported_0 : 0
33.49/12.47	c (2,0) c Imported_1 : 0
33.49/12.47	c (2,0) c Imported_2 : 0
33.49/12.47	c (2,0) c Imported_3 : 0
33.49/12.47	c (2,0) c Imported_4 : 0
33.49/12.47	c (2,0) c Imported_5 : 0
33.49/12.47	c (2,0) c Imported_6 : 0
33.49/12.47	c (2,0) c Imported_7 : 0
33.49/12.47	c (2,0) c Imported_total : 0
33.49/12.47	c (2,0) c Imported_winner : 0
33.49/12.47	c (2,0) c Good_0 : 0
33.49/12.47	c (2,0) c Good_1 : 0
33.49/12.47	c (2,0) c Good_2 : 0
33.49/12.47	c (2,0) c Good_3 : 0
33.49/12.47	c (2,0) c Good_4 : 0
33.49/12.48	c (2,0) c Good_5 : 0
33.49/12.48	c (2,0) c Good_6 : 0
33.49/12.48	c (2,0) c Good_7 : 0
33.49/12.48	c (2,0) c Good_total : 0
33.49/12.48	c (2,0) c Good_winner : 0
33.49/12.48	c (2,0) c Purge_0 : 0
33.49/12.48	c (2,0) c Purge_1 : 0
33.49/12.48	c (2,0) c Purge_2 : 0
33.49/12.48	c (2,0) c Purge_3 : 0
33.49/12.48	c (2,0) c Purge_4 : 0
33.49/12.48	c (2,0) c Purge_5 : 0
33.49/12.48	c (2,0) c Purge_6 : 0
33.49/12.48	c (2,0) c Purge_7 : 0
33.49/12.48	c (2,0) c Purge_total : 0
33.49/12.48	c (2,0) c Purge_winner : 0
33.49/12.48	c (2,0) c Promoted_0 : 0
33.49/12.48	c (2,0) c Promoted_1 : 0
33.49/12.48	c (2,0) c Promoted_2 : 0
33.49/12.48	c (2,0) c Promoted_3 : 0
33.49/12.48	c (2,0) c Promoted_4 : 0
33.49/12.48	c (2,0) c Promoted_5 : 0
33.49/12.48	c (2,0) c Promoted_6 : 0
33.49/12.48	c (2,0) c Promoted_7 : 0
33.49/12.48	c (2,0) c Promoted_total : 0
33.49/12.48	c (2,0) c Promoted_winner : 0
33.49/12.48	c (2,0) c Remove_Imp_0 : 0
33.49/12.48	c (2,0) c Remove_Imp_1 : 0
33.49/12.48	c (2,0) c Remove_Imp_2 : 0
33.49/12.48	c (2,0) c Remove_Imp_3 : 0
33.49/12.48	c (2,0) c Remove_Imp_4 : 0
33.49/12.48	c (2,0) c Remove_Imp_5 : 0
33.49/12.48	c (2,0) c Remove_Imp_6 : 0
33.49/12.48	c (2,0) c Remove_Imp_7 : 0
33.49/12.48	c (2,0) c Remove_Imp_total : 0
33.49/12.48	c (2,0) c Remove_Imp_winner : 0
33.49/12.48	c (2,0) c Blocked_Reuse_0 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_1 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_2 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_3 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_4 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_5 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_6 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_7 : 0
33.49/12.48	c (2,0) c Blocked_Reuse_total : 0
33.49/12.48	c (2,0) c Blocked_Reuse_winner : 0
33.49/12.48	c (2,0) c Unaries_0 : 25
33.49/12.48	c (2,0) c Unaries_1 : 31
33.49/12.48	c (2,0) c Unaries_2 : 18
33.49/12.48	c (2,0) c Unaries_3 : 5
33.49/12.48	c (2,0) c Unaries_4 : 27
33.49/12.48	c (2,0) c Unaries_5 : 45
33.49/12.48	c (2,0) c Unaries_6 : 22
33.49/12.48	c (2,0) c Unaries_7 : 23
33.49/12.48	c (2,0) c Unaries_total : 196
33.49/12.48	c (2,0) c Unaries_winner : 23
33.49/12.48	c (2,0) c Binaries_0 : 45
33.49/12.48	c (2,0) c Binaries_1 : 78
33.49/12.48	c (2,0) c Binaries_2 : 56
33.49/12.48	c (2,0) c Binaries_3 : 33
33.49/12.48	c (2,0) c Binaries_4 : 55
33.49/12.48	c (2,0) c Binaries_5 : 86
33.49/12.48	c (2,0) c Binaries_6 : 64
33.49/12.48	c (2,0) c Binaries_7 : 40
33.49/12.48	c (2,0) c Binaries_total : 457
33.49/12.48	c (2,0) c Binaries_winner : 40
33.49/12.48	c (2,0) c Glues_0 : 111
33.49/12.48	c (2,0) c Glues_1 : 160
33.49/12.48	c (2,0) c Glues_2 : 124
33.49/12.48	c (2,0) c Glues_3 : 110
33.49/12.48	c (2,0) c Glues_4 : 121
33.49/12.48	c (2,0) c Glues_5 : 164
33.49/12.48	c (2,0) c Glues_6 : 149
33.49/12.48	c (2,0) c Glues_7 : 76
33.49/12.48	c (2,0) c Glues_total : 1015
33.49/12.48	c (2,0) c Glues_winner : 76
33.49/12.48	c (2,0) c RunningTime_0 : 1.375695
33.49/12.48	c (2,0) c RunningTime_1 : 1.361062
33.49/12.48	c (2,0) c RunningTime_2 : 1.211221
33.49/12.48	c (2,0) c RunningTime_3 : 1.237803
33.49/12.48	c (2,0) c RunningTime_4 : 1.218595
33.49/12.48	c (2,0) c RunningTime_5 : 1.340951
33.49/12.48	c (2,0) c RunningTime_6 : 1.234182
33.49/12.48	c (2,0) c RunningTime_7 : 1.177536
33.49/12.48	c (2,0) c RunningTime_total : 10.157044
33.49/12.48	c (2,0) c RunningTime_winner : 1.177536
33.49/12.48	c (2,0) c WaitingTime_0 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_1 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_2 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_3 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_4 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_5 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_6 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_7 : 0.000000
33.49/12.48	c (2,0) c WaitingTime_total : 0.000000
33.49/12.48	c (2,0) c WaitingTime_winner : 0.000000
33.49/12.48	c (2,0) c ExchangingTime_0 : 0.000500
33.49/12.48	c (2,0) c ExchangingTime_1 : 0.000529
33.49/12.48	c (2,0) c ExchangingTime_2 : 0.000523
33.49/12.48	c (2,0) c ExchangingTime_3 : 0.000421
33.49/12.48	c (2,0) c ExchangingTime_4 : 0.000499
33.49/12.48	c (2,0) c ExchangingTime_5 : 0.000576
33.49/12.48	c (2,0) c ExchangingTime_6 : 0.000551
33.49/12.48	c (2,0) c ExchangingTime_7 : 0.000382
33.49/12.48	c (2,0) c ExchangingTime_total : 0.003980
33.49/12.48	c (2,0) c ExchangingTime_winner : 0.000382
33.49/12.48	c (2,0) c PeriodProcTime_0 : 0.000049
33.49/12.48	c (2,0) c PeriodProcTime_1 : 0.000055
33.49/12.48	c (2,0) c PeriodProcTime_2 : 0.000060
33.49/12.48	c (2,0) c PeriodProcTime_3 : 0.000062
33.49/12.48	c (2,0) c PeriodProcTime_4 : 0.000070
33.49/12.48	c (2,0) c PeriodProcTime_5 : 0.000063
33.49/12.48	c (2,0) c PeriodProcTime_6 : 0.000064
33.49/12.48	c (2,0) c PeriodProcTime_7 : 0.000092
33.49/12.48	c (2,0) c PeriodProcTime_total : 0.000516
33.49/12.48	c (2,0) c PeriodProcTime_winner : 0.000092
33.49/12.48	c (2,0) c SolvingTime_0 : 1.376244
33.49/12.48	c (2,0) c SolvingTime_1 : 1.361645
33.49/12.48	c (2,0) c SolvingTime_2 : 1.211804
33.49/12.48	c (2,0) c SolvingTime_3 : 1.238286
33.49/12.48	c (2,0) c SolvingTime_4 : 1.219163
33.49/12.48	c (2,0) c SolvingTime_5 : 1.341590
33.49/12.48	c (2,0) c SolvingTime_6 : 1.234798
33.49/12.48	c (2,0) c SolvingTime_7 : 1.178010
33.49/12.48	c (2,0) c SolvingTime_total : 10.161540
33.49/12.48	c (2,0) c SolvingTime_winner : 1.178010
33.49/12.48	c (2,0) c PropagationTime_0 : 0.912190
33.49/12.48	c (2,0) c PropagationTime_1 : 0.918431
33.49/12.48	c (2,0) c PropagationTime_2 : 0.803602
33.49/12.48	c (2,0) c PropagationTime_3 : 0.755003
33.49/12.48	c (2,0) c PropagationTime_4 : 0.755624
33.49/12.48	c (2,0) c PropagationTime_5 : 0.912296
33.49/12.48	c (2,0) c PropagationTime_6 : 0.826607
33.49/12.48	c (2,0) c PropagationTime_7 : 0.712386
33.49/12.48	c (2,0) c PropagationTime_total : 6.596139
33.49/12.48	c (2,0) c PropagationTime_winner : 0.712386
33.49/12.48	c (2,0) c AnalysisTime_0 : 0.307460
33.49/12.48	c (2,0) c AnalysisTime_1 : 0.279812
33.49/12.48	c (2,0) c AnalysisTime_2 : 0.273317
33.49/12.48	c (2,0) c AnalysisTime_3 : 0.346342
33.49/12.48	c (2,0) c AnalysisTime_4 : 0.336789
33.49/12.48	c (2,0) c AnalysisTime_5 : 0.270574
33.49/12.48	c (2,0) c AnalysisTime_6 : 0.271189
33.49/12.48	c (2,0) c AnalysisTime_7 : 0.336464
33.49/12.48	c (2,0) c AnalysisTime_total : 2.421947
33.49/12.48	c (2,0) c AnalysisTime_winner : 0.336464
33.49/12.48	c (2,0) c ReductionTime_0 : 0.016181
33.49/12.48	c (2,0) c ReductionTime_1 : 0.018053
33.49/12.48	c (2,0) c ReductionTime_2 : 0.015090
33.49/12.48	c (2,0) c ReductionTime_3 : 0.015847
33.49/12.48	c (2,0) c ReductionTime_4 : 0.012544
33.49/12.48	c (2,0) c ReductionTime_5 : 0.015854
33.49/12.48	c (2,0) c ReductionTime_6 : 0.012620
33.49/12.48	c (2,0) c ReductionTime_7 : 0.000363
33.49/12.48	c (2,0) c ReductionTime_total : 0.106552
33.49/12.48	c (2,0) c ReductionTime_winner : 0.000363
33.49/12.48	c (2,0) c SimplifyTime_0 : 0.016680
33.49/12.48	c (2,0) c SimplifyTime_1 : 0.022852
33.49/12.48	c (2,0) c SimplifyTime_2 : 0.019199
33.49/12.48	c (2,0) c SimplifyTime_3 : 0.015334
33.49/12.48	c (2,0) c SimplifyTime_4 : 0.017949
33.49/12.48	c (2,0) c SimplifyTime_5 : 0.024950
33.49/12.48	c (2,0) c SimplifyTime_6 : 0.022622
33.49/12.48	c (2,0) c SimplifyTime_7 : 0.030833
33.49/12.48	c (2,0) c SimplifyTime_total : 0.170419
33.49/12.48	c (2,0) c SimplifyTime_winner : 0.030833
33.49/12.48	c (2,0) c UsedRateTime_0 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_1 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_2 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_3 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_4 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_5 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_6 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_7 : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_total : 0.000000
33.49/12.48	c (2,0) c UsedRateTime_winner : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_0 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_1 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_2 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_3 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_4 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_5 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_6 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_7 : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_total : 0.000000
33.49/12.48	c (2,0) c OverlapRateTime_winner : 0.000000
33.49/12.48	c (2,0) c
33.49/12.48	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
33.49/12.48	c (2,0) c
33.49/12.48	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.48	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
33.49/12.48	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.48	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
33.49/12.48	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
33.49/12.48	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
33.49/12.48	c (2,0) c | Initial random_seed   |  688810299 |  139206142 | 1218960683 | 1850967391 |  802190459 |  787647866 |  732521712 | 1481133486 |
33.49/12.48	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
33.49/12.48	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
33.49/12.48	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
33.49/12.48	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
33.49/12.48	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
33.49/12.48	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
33.49/12.48	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
33.49/12.48	c (2,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
33.49/12.48	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
33.49/12.48	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
33.49/12.48	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
33.49/12.48	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.49/12.48	c (2,0) 
33.49/12.48	c (2,0) s SATISFIABLE
23.27/12.56	c (2,0) SatSolver.solve End
23.27/12.56	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
23.27/12.56	c (2,0) Show results Begin
34.26/12.71	c (2,0) x[0][0] = 0
34.26/12.71	c (2,0) x[0][1] = 0
34.26/12.71	c (2,0) x[0][2] = 0
34.26/12.71	c (2,0) x[0][3] = 0
34.26/12.71	c (2,0) x[0][4] = 0
34.26/12.71	c (2,0) x[0][5] = 0
34.26/12.71	c (2,0) x[0][6] = 0
34.26/12.71	c (2,0) x[0][7] = 0
34.26/12.71	c (2,0) x[0][8] = 0
34.26/12.71	c (2,0) x[0][9] = 0
34.26/12.71	c (2,0) x[0][10] = 0
34.26/12.71	c (2,0) x[0][11] = 0
34.26/12.71	c (2,0) x[0][12] = 0
34.26/12.71	c (2,0) x[0][13] = 0
34.26/12.71	c (2,0) x[0][14] = 0
34.26/12.71	c (2,0) x[0][15] = 0
34.26/12.71	c (2,0) x[0][16] = 0
34.26/12.71	c (2,0) x[0][17] = 0
34.26/12.71	c (2,0) x[0][18] = 0
34.26/12.71	c (2,0) x[0][19] = 0
34.26/12.71	c (2,0) x[0][20] = 0
34.26/12.71	c (2,0) x[0][21] = 0
34.26/12.71	c (2,0) x[0][22] = 0
34.26/12.71	c (2,0) x[0][23] = 0
34.26/12.71	c (2,0) x[0][24] = 1
34.26/12.71	c (2,0) x[0][25] = 1
34.26/12.71	c (2,0) x[0][26] = 1
34.26/12.71	c (2,0) x[0][27] = 1
34.26/12.71	c (2,0) x[0][28] = 1
34.26/12.71	c (2,0) x[0][29] = 1
34.26/12.71	c (2,0) x[1][0] = 0
34.26/12.71	c (2,0) x[1][1] = 0
34.26/12.71	c (2,0) x[1][2] = 0
34.26/12.71	c (2,0) x[1][3] = 0
34.26/12.71	c (2,0) x[1][4] = 0
34.26/12.71	c (2,0) x[1][5] = 0
34.26/12.71	c (2,0) x[1][6] = 0
34.26/12.71	c (2,0) x[1][7] = 0
34.26/12.71	c (2,0) x[1][8] = 0
34.26/12.71	c (2,0) x[1][9] = 0
34.26/12.71	c (2,0) x[1][10] = 0
34.26/12.71	c (2,0) x[1][11] = 0
34.26/12.71	c (2,0) x[1][12] = 0
34.26/12.71	c (2,0) x[1][13] = 0
34.26/12.71	c (2,0) x[1][14] = 0
34.26/12.71	c (2,0) x[1][15] = 0
34.26/12.71	c (2,0) x[1][16] = 0
34.26/12.71	c (2,0) x[1][17] = 0
34.26/12.71	c (2,0) x[1][18] = 0
34.26/12.71	c (2,0) x[1][19] = 1
34.26/12.71	c (2,0) x[1][20] = 1
34.26/12.71	c (2,0) x[1][21] = 1
34.26/12.71	c (2,0) x[1][22] = 1
34.26/12.71	c (2,0) x[1][23] = 1
34.26/12.71	c (2,0) x[1][24] = 0
34.26/12.71	c (2,0) x[1][25] = 0
34.26/12.71	c (2,0) x[1][26] = 0
34.26/12.71	c (2,0) x[1][27] = 0
34.26/12.71	c (2,0) x[1][28] = 0
34.26/12.71	c (2,0) x[1][29] = 1
34.26/12.71	c (2,0) x[2][0] = 0
34.26/12.71	c (2,0) x[2][1] = 0
34.26/12.71	c (2,0) x[2][2] = 0
34.26/12.71	c (2,0) x[2][3] = 0
34.26/12.71	c (2,0) x[2][4] = 0
34.26/12.71	c (2,0) x[2][5] = 0
34.26/12.71	c (2,0) x[2][6] = 0
34.26/12.71	c (2,0) x[2][7] = 0
34.26/12.71	c (2,0) x[2][8] = 0
34.26/12.71	c (2,0) x[2][9] = 0
34.26/12.71	c (2,0) x[2][10] = 0
34.26/12.71	c (2,0) x[2][11] = 0
34.26/12.71	c (2,0) x[2][12] = 0
34.26/12.71	c (2,0) x[2][13] = 0
34.26/12.71	c (2,0) x[2][14] = 1
34.26/12.71	c (2,0) x[2][15] = 1
34.26/12.71	c (2,0) x[2][16] = 1
34.26/12.71	c (2,0) x[2][17] = 1
34.26/12.71	c (2,0) x[2][18] = 1
34.26/12.71	c (2,0) x[2][19] = 0
34.26/12.71	c (2,0) x[2][20] = 0
34.26/12.71	c (2,0) x[2][21] = 0
34.26/12.71	c (2,0) x[2][22] = 0
34.26/12.71	c (2,0) x[2][23] = 0
34.26/12.71	c (2,0) x[2][24] = 0
34.26/12.71	c (2,0) x[2][25] = 0
34.26/12.72	c (2,0) x[2][26] = 0
34.26/12.72	c (2,0) x[2][27] = 0
34.26/12.72	c (2,0) x[2][28] = 0
34.26/12.72	c (2,0) x[2][29] = 1
34.26/12.72	c (2,0) x[3][0] = 0
34.26/12.72	c (2,0) x[3][1] = 0
34.26/12.72	c (2,0) x[3][2] = 0
34.26/12.72	c (2,0) x[3][3] = 0
34.26/12.72	c (2,0) x[3][4] = 0
34.26/12.72	c (2,0) x[3][5] = 0
34.26/12.72	c (2,0) x[3][6] = 0
34.26/12.72	c (2,0) x[3][7] = 0
34.26/12.72	c (2,0) x[3][8] = 0
34.26/12.72	c (2,0) x[3][9] = 1
34.26/12.72	c (2,0) x[3][10] = 1
34.26/12.72	c (2,0) x[3][11] = 1
34.26/12.72	c (2,0) x[3][12] = 1
34.26/12.72	c (2,0) x[3][13] = 1
34.26/12.72	c (2,0) x[3][14] = 0
34.26/12.72	c (2,0) x[3][15] = 0
34.26/12.72	c (2,0) x[3][16] = 0
34.26/12.72	c (2,0) x[3][17] = 0
34.26/12.72	c (2,0) x[3][18] = 0
34.26/12.72	c (2,0) x[3][19] = 0
34.26/12.72	c (2,0) x[3][20] = 0
34.26/12.72	c (2,0) x[3][21] = 0
34.26/12.72	c (2,0) x[3][22] = 0
34.26/12.72	c (2,0) x[3][23] = 0
34.26/12.72	c (2,0) x[3][24] = 0
34.26/12.72	c (2,0) x[3][25] = 0
34.26/12.72	c (2,0) x[3][26] = 0
34.26/12.72	c (2,0) x[3][27] = 0
34.26/12.72	c (2,0) x[3][28] = 0
34.26/12.72	c (2,0) x[3][29] = 1
34.26/12.72	c (2,0) x[4][0] = 0
34.26/12.72	c (2,0) x[4][1] = 0
34.26/12.72	c (2,0) x[4][2] = 0
34.26/12.72	c (2,0) x[4][3] = 0
34.26/12.72	c (2,0) x[4][4] = 1
34.26/12.72	c (2,0) x[4][5] = 1
34.26/12.72	c (2,0) x[4][6] = 1
34.26/12.72	c (2,0) x[4][7] = 1
34.26/12.72	c (2,0) x[4][8] = 1
34.26/12.72	c (2,0) x[4][9] = 0
34.26/12.72	c (2,0) x[4][10] = 0
34.26/12.72	c (2,0) x[4][11] = 0
34.26/12.72	c (2,0) x[4][12] = 0
34.26/12.72	c (2,0) x[4][13] = 0
34.26/12.72	c (2,0) x[4][14] = 0
34.26/12.72	c (2,0) x[4][15] = 0
34.26/12.72	c (2,0) x[4][16] = 0
34.26/12.72	c (2,0) x[4][17] = 0
34.26/12.72	c (2,0) x[4][18] = 0
34.26/12.72	c (2,0) x[4][19] = 0
34.26/12.72	c (2,0) x[4][20] = 0
34.26/12.72	c (2,0) x[4][21] = 0
34.26/12.72	c (2,0) x[4][22] = 0
34.26/12.72	c (2,0) x[4][23] = 0
34.26/12.72	c (2,0) x[4][24] = 0
34.26/12.72	c (2,0) x[4][25] = 0
34.26/12.72	c (2,0) x[4][26] = 0
34.26/12.72	c (2,0) x[4][27] = 0
34.26/12.72	c (2,0) x[4][28] = 0
34.26/12.72	c (2,0) x[4][29] = 1
34.26/12.72	c (2,0) x[5][0] = 0
34.26/12.72	c (2,0) x[5][1] = 0
34.26/12.72	c (2,0) x[5][2] = 0
34.26/12.72	c (2,0) x[5][3] = 1
34.26/12.72	c (2,0) x[5][4] = 0
34.26/12.72	c (2,0) x[5][5] = 0
34.26/12.72	c (2,0) x[5][6] = 0
34.26/12.72	c (2,0) x[5][7] = 0
34.26/12.72	c (2,0) x[5][8] = 1
34.26/12.72	c (2,0) x[5][9] = 0
34.26/12.72	c (2,0) x[5][10] = 0
34.26/12.72	c (2,0) x[5][11] = 0
34.26/12.72	c (2,0) x[5][12] = 0
34.26/12.72	c (2,0) x[5][13] = 1
34.26/12.72	c (2,0) x[5][14] = 0
34.26/12.72	c (2,0) x[5][15] = 0
34.26/12.72	c (2,0) x[5][16] = 0
34.26/12.72	c (2,0) x[5][17] = 0
34.26/12.72	c (2,0) x[5][18] = 1
34.26/12.72	c (2,0) x[5][19] = 0
34.26/12.72	c (2,0) x[5][20] = 0
34.26/12.72	c (2,0) x[5][21] = 0
34.26/12.72	c (2,0) x[5][22] = 0
34.26/12.72	c (2,0) x[5][23] = 1
34.26/12.72	c (2,0) x[5][24] = 0
34.26/12.72	c (2,0) x[5][25] = 0
34.26/12.72	c (2,0) x[5][26] = 0
34.26/12.72	c (2,0) x[5][27] = 0
34.26/12.72	c (2,0) x[5][28] = 1
34.26/12.72	c (2,0) x[5][29] = 0
34.26/12.72	c (2,0) x[6][0] = 0
34.26/12.72	c (2,0) x[6][1] = 0
34.26/12.72	c (2,0) x[6][2] = 0
34.26/12.72	c (2,0) x[6][3] = 1
34.26/12.72	c (2,0) x[6][4] = 0
34.26/12.72	c (2,0) x[6][5] = 0
34.26/12.72	c (2,0) x[6][6] = 0
34.26/12.72	c (2,0) x[6][7] = 1
34.26/12.72	c (2,0) x[6][8] = 0
34.26/12.72	c (2,0) x[6][9] = 0
34.26/12.72	c (2,0) x[6][10] = 0
34.26/12.72	c (2,0) x[6][11] = 0
34.26/12.72	c (2,0) x[6][12] = 1
34.26/12.72	c (2,0) x[6][13] = 0
34.26/12.73	c (2,0) x[6][14] = 0
34.26/12.73	c (2,0) x[6][15] = 0
34.26/12.73	c (2,0) x[6][16] = 0
34.26/12.73	c (2,0) x[6][17] = 1
34.26/12.73	c (2,0) x[6][18] = 0
34.26/12.73	c (2,0) x[6][19] = 0
34.26/12.73	c (2,0) x[6][20] = 0
34.26/12.73	c (2,0) x[6][21] = 0
34.26/12.73	c (2,0) x[6][22] = 1
34.26/12.73	c (2,0) x[6][23] = 0
34.26/12.73	c (2,0) x[6][24] = 0
34.26/12.73	c (2,0) x[6][25] = 0
34.26/12.73	c (2,0) x[6][26] = 0
34.26/12.73	c (2,0) x[6][27] = 1
34.26/12.73	c (2,0) x[6][28] = 0
34.26/12.73	c (2,0) x[6][29] = 0
34.26/12.73	c (2,0) x[7][0] = 0
34.26/12.73	c (2,0) x[7][1] = 0
34.26/12.73	c (2,0) x[7][2] = 0
34.26/12.73	c (2,0) x[7][3] = 1
34.26/12.73	c (2,0) x[7][4] = 0
34.26/12.73	c (2,0) x[7][5] = 0
34.26/12.73	c (2,0) x[7][6] = 1
34.26/12.73	c (2,0) x[7][7] = 0
34.26/12.73	c (2,0) x[7][8] = 0
34.26/12.73	c (2,0) x[7][9] = 0
34.26/12.73	c (2,0) x[7][10] = 0
34.26/12.73	c (2,0) x[7][11] = 1
34.26/12.73	c (2,0) x[7][12] = 0
34.26/12.73	c (2,0) x[7][13] = 0
34.26/12.73	c (2,0) x[7][14] = 0
34.26/12.73	c (2,0) x[7][15] = 0
34.26/12.73	c (2,0) x[7][16] = 1
34.26/12.73	c (2,0) x[7][17] = 0
34.26/12.73	c (2,0) x[7][18] = 0
34.26/12.73	c (2,0) x[7][19] = 0
34.26/12.73	c (2,0) x[7][20] = 0
34.26/12.73	c (2,0) x[7][21] = 1
34.26/12.73	c (2,0) x[7][22] = 0
34.26/12.73	c (2,0) x[7][23] = 0
34.26/12.73	c (2,0) x[7][24] = 0
34.26/12.73	c (2,0) x[7][25] = 0
34.26/12.73	c (2,0) x[7][26] = 1
34.26/12.73	c (2,0) x[7][27] = 0
34.26/12.73	c (2,0) x[7][28] = 0
34.26/12.73	c (2,0) x[7][29] = 0
34.26/12.73	c (2,0) x[8][0] = 0
34.26/12.73	c (2,0) x[8][1] = 0
34.26/12.73	c (2,0) x[8][2] = 0
34.26/12.73	c (2,0) x[8][3] = 1
34.26/12.73	c (2,0) x[8][4] = 0
34.26/12.73	c (2,0) x[8][5] = 1
34.26/12.73	c (2,0) x[8][6] = 0
34.26/12.73	c (2,0) x[8][7] = 0
34.26/12.73	c (2,0) x[8][8] = 0
34.26/12.73	c (2,0) x[8][9] = 0
34.26/12.73	c (2,0) x[8][10] = 1
34.26/12.73	c (2,0) x[8][11] = 0
34.26/12.73	c (2,0) x[8][12] = 0
34.26/12.73	c (2,0) x[8][13] = 0
34.26/12.73	c (2,0) x[8][14] = 0
34.26/12.73	c (2,0) x[8][15] = 1
34.26/12.73	c (2,0) x[8][16] = 0
34.26/12.73	c (2,0) x[8][17] = 0
34.26/12.73	c (2,0) x[8][18] = 0
34.26/12.73	c (2,0) x[8][19] = 0
34.26/12.73	c (2,0) x[8][20] = 1
34.26/12.73	c (2,0) x[8][21] = 0
34.26/12.73	c (2,0) x[8][22] = 0
34.26/12.73	c (2,0) x[8][23] = 0
34.26/12.73	c (2,0) x[8][24] = 0
34.26/12.73	c (2,0) x[8][25] = 1
34.26/12.73	c (2,0) x[8][26] = 0
34.26/12.73	c (2,0) x[8][27] = 0
34.26/12.73	c (2,0) x[8][28] = 0
34.26/12.73	c (2,0) x[8][29] = 0
34.26/12.73	c (2,0) x[9][0] = 0
34.26/12.73	c (2,0) x[9][1] = 0
34.26/12.73	c (2,0) x[9][2] = 0
34.26/12.73	c (2,0) x[9][3] = 1
34.26/12.73	c (2,0) x[9][4] = 1
34.26/12.73	c (2,0) x[9][5] = 0
34.26/12.73	c (2,0) x[9][6] = 0
34.26/12.73	c (2,0) x[9][7] = 0
34.26/12.73	c (2,0) x[9][8] = 0
34.26/12.73	c (2,0) x[9][9] = 1
34.26/12.73	c (2,0) x[9][10] = 0
34.26/12.73	c (2,0) x[9][11] = 0
34.26/12.73	c (2,0) x[9][12] = 0
34.26/12.73	c (2,0) x[9][13] = 0
34.26/12.73	c (2,0) x[9][14] = 1
34.26/12.73	c (2,0) x[9][15] = 0
34.26/12.73	c (2,0) x[9][16] = 0
34.26/12.73	c (2,0) x[9][17] = 0
34.26/12.73	c (2,0) x[9][18] = 0
34.26/12.73	c (2,0) x[9][19] = 1
34.26/12.73	c (2,0) x[9][20] = 0
34.26/12.73	c (2,0) x[9][21] = 0
34.26/12.73	c (2,0) x[9][22] = 0
34.26/12.73	c (2,0) x[9][23] = 0
34.26/12.73	c (2,0) x[9][24] = 1
34.26/12.73	c (2,0) x[9][25] = 0
34.26/12.73	c (2,0) x[9][26] = 0
34.26/12.73	c (2,0) x[9][27] = 0
34.26/12.73	c (2,0) x[9][28] = 0
34.26/12.73	c (2,0) x[9][29] = 0
34.26/12.73	c (2,0) x[10][0] = 0
34.26/12.73	c (2,0) x[10][1] = 0
34.26/12.73	c (2,0) x[10][2] = 1
34.26/12.73	c (2,0) x[10][3] = 0
34.26/12.73	c (2,0) x[10][4] = 0
34.26/12.73	c (2,0) x[10][5] = 0
34.26/12.73	c (2,0) x[10][6] = 0
34.26/12.73	c (2,0) x[10][7] = 0
34.26/12.73	c (2,0) x[10][8] = 1
34.26/12.73	c (2,0) x[10][9] = 0
34.26/12.73	c (2,0) x[10][10] = 1
34.26/12.73	c (2,0) x[10][11] = 0
34.26/12.73	c (2,0) x[10][12] = 0
34.26/12.73	c (2,0) x[10][13] = 0
34.26/12.73	c (2,0) x[10][14] = 1
34.26/12.73	c (2,0) x[10][15] = 0
34.26/12.73	c (2,0) x[10][16] = 0
34.26/12.73	c (2,0) x[10][17] = 0
34.26/12.73	c (2,0) x[10][18] = 0
34.26/12.73	c (2,0) x[10][19] = 0
34.26/12.73	c (2,0) x[10][20] = 0
34.26/12.73	c (2,0) x[10][21] = 1
34.26/12.73	c (2,0) x[10][22] = 0
34.26/12.73	c (2,0) x[10][23] = 0
34.26/12.73	c (2,0) x[10][24] = 0
34.26/12.73	c (2,0) x[10][25] = 0
34.26/12.73	c (2,0) x[10][26] = 0
34.26/12.73	c (2,0) x[10][27] = 1
34.26/12.73	c (2,0) x[10][28] = 0
34.26/12.73	c (2,0) x[10][29] = 0
34.26/12.73	c (2,0) x[11][0] = 0
34.26/12.73	c (2,0) x[11][1] = 0
34.26/12.73	c (2,0) x[11][2] = 1
34.26/12.73	c (2,0) x[11][3] = 0
34.26/12.73	c (2,0) x[11][4] = 0
34.26/12.73	c (2,0) x[11][5] = 0
34.26/12.73	c (2,0) x[11][6] = 0
34.26/12.73	c (2,0) x[11][7] = 1
34.26/12.73	c (2,0) x[11][8] = 0
34.26/12.73	c (2,0) x[11][9] = 0
34.26/12.73	c (2,0) x[11][10] = 0
34.26/12.73	c (2,0) x[11][11] = 1
34.26/12.73	c (2,0) x[11][12] = 0
34.26/12.73	c (2,0) x[11][13] = 0
34.26/12.73	c (2,0) x[11][14] = 0
34.26/12.73	c (2,0) x[11][15] = 0
34.26/12.73	c (2,0) x[11][16] = 0
34.26/12.73	c (2,0) x[11][17] = 0
34.26/12.73	c (2,0) x[11][18] = 1
34.26/12.73	c (2,0) x[11][19] = 1
34.26/12.73	c (2,0) x[11][20] = 0
34.26/12.73	c (2,0) x[11][21] = 0
34.26/12.73	c (2,0) x[11][22] = 0
34.26/12.73	c (2,0) x[11][23] = 0
34.26/12.73	c (2,0) x[11][24] = 0
34.26/12.73	c (2,0) x[11][25] = 1
34.26/12.73	c (2,0) x[11][26] = 0
34.26/12.73	c (2,0) x[11][27] = 0
34.26/12.73	c (2,0) x[11][28] = 0
34.26/12.73	c (2,0) x[11][29] = 0
34.26/12.73	c (2,0) x[12][0] = 0
34.26/12.73	c (2,0) x[12][1] = 0
34.26/12.73	c (2,0) x[12][2] = 1
34.26/12.73	c (2,0) x[12][3] = 0
34.26/12.73	c (2,0) x[12][4] = 0
34.26/12.73	c (2,0) x[12][5] = 0
34.26/12.73	c (2,0) x[12][6] = 1
34.26/12.73	c (2,0) x[12][7] = 0
34.26/12.73	c (2,0) x[12][8] = 0
34.26/12.73	c (2,0) x[12][9] = 0
34.26/12.73	c (2,0) x[12][10] = 0
34.26/12.73	c (2,0) x[12][11] = 0
34.26/12.73	c (2,0) x[12][12] = 0
34.26/12.73	c (2,0) x[12][13] = 1
34.26/12.73	c (2,0) x[12][14] = 0
34.26/12.73	c (2,0) x[12][15] = 1
34.26/12.73	c (2,0) x[12][16] = 0
34.26/12.73	c (2,0) x[12][17] = 0
34.26/12.73	c (2,0) x[12][18] = 0
34.26/12.73	c (2,0) x[12][19] = 0
34.26/12.73	c (2,0) x[12][20] = 0
34.26/12.73	c (2,0) x[12][21] = 0
34.26/12.73	c (2,0) x[12][22] = 1
34.26/12.73	c (2,0) x[12][23] = 0
34.26/12.73	c (2,0) x[12][24] = 1
34.26/12.73	c (2,0) x[12][25] = 0
34.26/12.73	c (2,0) x[12][26] = 0
34.26/12.73	c (2,0) x[12][27] = 0
34.26/12.73	c (2,0) x[12][28] = 0
34.26/12.73	c (2,0) x[12][29] = 0
34.26/12.73	c (2,0) x[13][0] = 0
34.26/12.73	c (2,0) x[13][1] = 0
34.26/12.73	c (2,0) x[13][2] = 1
34.26/12.73	c (2,0) x[13][3] = 0
34.26/12.73	c (2,0) x[13][4] = 0
34.26/12.73	c (2,0) x[13][5] = 1
34.26/12.73	c (2,0) x[13][6] = 0
34.26/12.73	c (2,0) x[13][7] = 0
34.26/12.73	c (2,0) x[13][8] = 0
34.26/12.73	c (2,0) x[13][9] = 1
34.26/12.73	c (2,0) x[13][10] = 0
34.26/12.73	c (2,0) x[13][11] = 0
34.26/12.73	c (2,0) x[13][12] = 0
34.26/12.73	c (2,0) x[13][13] = 0
34.26/12.73	c (2,0) x[13][14] = 0
34.26/12.73	c (2,0) x[13][15] = 0
34.26/12.73	c (2,0) x[13][16] = 0
34.26/12.73	c (2,0) x[13][17] = 1
34.26/12.73	c (2,0) x[13][18] = 0
34.26/12.73	c (2,0) x[13][19] = 0
34.26/12.73	c (2,0) x[13][20] = 0
34.26/12.73	c (2,0) x[13][21] = 0
34.26/12.73	c (2,0) x[13][22] = 0
34.26/12.73	c (2,0) x[13][23] = 1
34.26/12.73	c (2,0) x[13][24] = 0
34.26/12.73	c (2,0) x[13][25] = 0
34.26/12.73	c (2,0) x[13][26] = 1
34.26/12.73	c (2,0) x[13][27] = 0
34.26/12.73	c (2,0) x[13][28] = 0
34.26/12.73	c (2,0) x[13][29] = 0
34.26/12.73	c (2,0) x[14][0] = 0
34.26/12.73	c (2,0) x[14][1] = 0
34.26/12.73	c (2,0) x[14][2] = 1
34.26/12.73	c (2,0) x[14][3] = 0
34.26/12.73	c (2,0) x[14][4] = 1
34.26/12.73	c (2,0) x[14][5] = 0
34.26/12.73	c (2,0) x[14][6] = 0
34.26/12.73	c (2,0) x[14][7] = 0
34.26/12.73	c (2,0) x[14][8] = 0
34.26/12.73	c (2,0) x[14][9] = 0
34.26/12.73	c (2,0) x[14][10] = 0
34.26/12.73	c (2,0) x[14][11] = 0
34.26/12.73	c (2,0) x[14][12] = 1
34.26/12.73	c (2,0) x[14][13] = 0
34.26/12.73	c (2,0) x[14][14] = 0
34.26/12.73	c (2,0) x[14][15] = 0
34.26/12.73	c (2,0) x[14][16] = 1
34.26/12.73	c (2,0) x[14][17] = 0
34.26/12.73	c (2,0) x[14][18] = 0
34.26/12.73	c (2,0) x[14][19] = 0
34.26/12.73	c (2,0) x[14][20] = 1
34.26/12.73	c (2,0) x[14][21] = 0
34.26/12.73	c (2,0) x[14][22] = 0
34.26/12.73	c (2,0) x[14][23] = 0
34.26/12.73	c (2,0) x[14][24] = 0
34.26/12.73	c (2,0) x[14][25] = 0
34.26/12.73	c (2,0) x[14][26] = 0
34.26/12.73	c (2,0) x[14][27] = 0
34.26/12.73	c (2,0) x[14][28] = 1
34.26/12.73	c (2,0) x[14][29] = 0
34.26/12.73	c (2,0) x[15][0] = 0
34.26/12.73	c (2,0) x[15][1] = 1
34.26/12.73	c (2,0) x[15][2] = 0
34.26/12.73	c (2,0) x[15][3] = 0
34.26/12.73	c (2,0) x[15][4] = 0
34.26/12.73	c (2,0) x[15][5] = 0
34.26/12.73	c (2,0) x[15][6] = 0
34.26/12.73	c (2,0) x[15][7] = 0
34.26/12.73	c (2,0) x[15][8] = 1
34.26/12.73	c (2,0) x[15][9] = 0
34.26/12.73	c (2,0) x[15][10] = 0
34.26/12.73	c (2,0) x[15][11] = 1
34.26/12.73	c (2,0) x[15][12] = 0
34.26/12.73	c (2,0) x[15][13] = 0
34.26/12.73	c (2,0) x[15][14] = 0
34.26/12.73	c (2,0) x[15][15] = 0
34.26/12.73	c (2,0) x[15][16] = 0
34.26/12.73	c (2,0) x[15][17] = 1
34.26/12.73	c (2,0) x[15][18] = 0
34.26/12.73	c (2,0) x[15][19] = 0
34.26/12.73	c (2,0) x[15][20] = 1
34.26/12.73	c (2,0) x[15][21] = 0
34.26/12.73	c (2,0) x[15][22] = 0
34.26/12.73	c (2,0) x[15][23] = 0
34.26/12.73	c (2,0) x[15][24] = 1
34.26/12.73	c (2,0) x[15][25] = 0
34.26/12.73	c (2,0) x[15][26] = 0
34.26/12.73	c (2,0) x[15][27] = 0
34.26/12.73	c (2,0) x[15][28] = 0
34.26/12.73	c (2,0) x[15][29] = 0
34.26/12.73	c (2,0) x[16][0] = 0
34.26/12.73	c (2,0) x[16][1] = 1
34.26/12.73	c (2,0) x[16][2] = 0
34.26/12.73	c (2,0) x[16][3] = 0
34.26/12.73	c (2,0) x[16][4] = 0
34.26/12.73	c (2,0) x[16][5] = 0
34.26/12.73	c (2,0) x[16][6] = 0
34.26/12.73	c (2,0) x[16][7] = 1
34.26/12.73	c (2,0) x[16][8] = 0
34.26/12.73	c (2,0) x[16][9] = 1
34.26/12.73	c (2,0) x[16][10] = 0
34.26/12.73	c (2,0) x[16][11] = 0
34.26/12.73	c (2,0) x[16][12] = 0
34.26/12.73	c (2,0) x[16][13] = 0
34.26/12.73	c (2,0) x[16][14] = 0
34.26/12.73	c (2,0) x[16][15] = 1
34.26/12.73	c (2,0) x[16][16] = 0
34.26/12.73	c (2,0) x[16][17] = 0
34.26/12.73	c (2,0) x[16][18] = 0
34.26/12.73	c (2,0) x[16][19] = 0
34.26/12.73	c (2,0) x[16][20] = 0
34.26/12.73	c (2,0) x[16][21] = 1
34.26/12.73	c (2,0) x[16][22] = 0
34.26/12.73	c (2,0) x[16][23] = 0
34.26/12.73	c (2,0) x[16][24] = 0
34.26/12.73	c (2,0) x[16][25] = 0
34.26/12.73	c (2,0) x[16][26] = 0
34.26/12.73	c (2,0) x[16][27] = 0
34.26/12.73	c (2,0) x[16][28] = 1
34.26/12.73	c (2,0) x[16][29] = 0
34.26/12.73	c (2,0) x[17][0] = 0
34.26/12.73	c (2,0) x[17][1] = 1
34.26/12.73	c (2,0) x[17][2] = 0
34.26/12.73	c (2,0) x[17][3] = 0
34.26/12.73	c (2,0) x[17][4] = 0
34.26/12.73	c (2,0) x[17][5] = 0
34.26/12.73	c (2,0) x[17][6] = 1
34.26/12.73	c (2,0) x[17][7] = 0
34.26/12.73	c (2,0) x[17][8] = 0
34.26/12.73	c (2,0) x[17][9] = 0
34.26/12.73	c (2,0) x[17][10] = 0
34.26/12.73	c (2,0) x[17][11] = 0
34.26/12.73	c (2,0) x[17][12] = 1
34.26/12.73	c (2,0) x[17][13] = 0
34.26/12.73	c (2,0) x[17][14] = 1
34.26/12.73	c (2,0) x[17][15] = 0
34.26/12.73	c (2,0) x[17][16] = 0
34.26/12.73	c (2,0) x[17][17] = 0
34.26/12.73	c (2,0) x[17][18] = 0
34.26/12.73	c (2,0) x[17][19] = 0
34.26/12.73	c (2,0) x[17][20] = 0
34.26/12.73	c (2,0) x[17][21] = 0
34.26/12.73	c (2,0) x[17][22] = 0
34.26/12.73	c (2,0) x[17][23] = 1
34.26/12.73	c (2,0) x[17][24] = 0
34.26/12.73	c (2,0) x[17][25] = 1
34.26/12.73	c (2,0) x[17][26] = 0
34.26/12.73	c (2,0) x[17][27] = 0
34.26/12.73	c (2,0) x[17][28] = 0
34.26/12.73	c (2,0) x[17][29] = 0
34.26/12.73	c (2,0) x[18][0] = 0
34.26/12.73	c (2,0) x[18][1] = 1
34.26/12.73	c (2,0) x[18][2] = 0
34.26/12.73	c (2,0) x[18][3] = 0
34.26/12.73	c (2,0) x[18][4] = 0
34.26/12.73	c (2,0) x[18][5] = 1
34.26/12.73	c (2,0) x[18][6] = 0
34.26/12.73	c (2,0) x[18][7] = 0
34.26/12.73	c (2,0) x[18][8] = 0
34.26/12.73	c (2,0) x[18][9] = 0
34.26/12.73	c (2,0) x[18][10] = 0
34.26/12.73	c (2,0) x[18][11] = 0
34.26/12.73	c (2,0) x[18][12] = 0
34.26/12.73	c (2,0) x[18][13] = 1
34.26/12.73	c (2,0) x[18][14] = 0
34.26/12.73	c (2,0) x[18][15] = 0
34.26/12.73	c (2,0) x[18][16] = 1
34.26/12.73	c (2,0) x[18][17] = 0
34.26/12.73	c (2,0) x[18][18] = 0
34.26/12.73	c (2,0) x[18][19] = 1
34.26/12.73	c (2,0) x[18][20] = 0
34.26/12.73	c (2,0) x[18][21] = 0
34.26/12.73	c (2,0) x[18][22] = 0
34.26/12.73	c (2,0) x[18][23] = 0
34.26/12.73	c (2,0) x[18][24] = 0
34.26/12.73	c (2,0) x[18][25] = 0
34.26/12.73	c (2,0) x[18][26] = 0
34.26/12.73	c (2,0) x[18][27] = 1
34.26/12.73	c (2,0) x[18][28] = 0
34.26/12.73	c (2,0) x[18][29] = 0
34.26/12.73	c (2,0) x[19][0] = 0
34.26/12.73	c (2,0) x[19][1] = 1
34.26/12.73	c (2,0) x[19][2] = 0
34.26/12.73	c (2,0) x[19][3] = 0
34.26/12.73	c (2,0) x[19][4] = 1
34.26/12.73	c (2,0) x[19][5] = 0
34.26/12.73	c (2,0) x[19][6] = 0
34.26/12.73	c (2,0) x[19][7] = 0
34.26/12.73	c (2,0) x[19][8] = 0
34.26/12.73	c (2,0) x[19][9] = 0
34.26/12.73	c (2,0) x[19][10] = 1
34.26/12.73	c (2,0) x[19][11] = 0
34.26/12.73	c (2,0) x[19][12] = 0
34.26/12.73	c (2,0) x[19][13] = 0
34.26/12.73	c (2,0) x[19][14] = 0
34.26/12.73	c (2,0) x[19][15] = 0
34.26/12.73	c (2,0) x[19][16] = 0
34.26/12.73	c (2,0) x[19][17] = 0
34.26/12.73	c (2,0) x[19][18] = 1
34.26/12.73	c (2,0) x[19][19] = 0
34.26/12.73	c (2,0) x[19][20] = 0
34.26/12.73	c (2,0) x[19][21] = 0
34.26/12.73	c (2,0) x[19][22] = 1
34.26/12.73	c (2,0) x[19][23] = 0
34.26/12.73	c (2,0) x[19][24] = 0
34.26/12.73	c (2,0) x[19][25] = 0
34.26/12.73	c (2,0) x[19][26] = 1
34.26/12.73	c (2,0) x[19][27] = 0
34.26/12.73	c (2,0) x[19][28] = 0
34.26/12.73	c (2,0) x[19][29] = 0
34.26/12.73	c (2,0) x[20][0] = 1
34.26/12.73	c (2,0) x[20][1] = 0
34.26/12.73	c (2,0) x[20][2] = 0
34.26/12.73	c (2,0) x[20][3] = 0
34.26/12.73	c (2,0) x[20][4] = 0
34.26/12.73	c (2,0) x[20][5] = 0
34.26/12.73	c (2,0) x[20][6] = 0
34.26/12.73	c (2,0) x[20][7] = 0
34.26/12.73	c (2,0) x[20][8] = 1
34.26/12.73	c (2,0) x[20][9] = 0
34.26/12.73	c (2,0) x[20][10] = 0
34.26/12.73	c (2,0) x[20][11] = 0
34.26/12.73	c (2,0) x[20][12] = 1
34.26/12.73	c (2,0) x[20][13] = 0
34.26/12.73	c (2,0) x[20][14] = 0
34.26/12.73	c (2,0) x[20][15] = 1
34.26/12.73	c (2,0) x[20][16] = 0
34.26/12.73	c (2,0) x[20][17] = 0
34.26/12.73	c (2,0) x[20][18] = 0
34.26/12.73	c (2,0) x[20][19] = 1
34.26/12.73	c (2,0) x[20][20] = 0
34.26/12.73	c (2,0) x[20][21] = 0
34.26/12.73	c (2,0) x[20][22] = 0
34.26/12.73	c (2,0) x[20][23] = 0
34.26/12.73	c (2,0) x[20][24] = 0
34.26/12.73	c (2,0) x[20][25] = 0
34.26/12.73	c (2,0) x[20][26] = 1
34.26/12.73	c (2,0) x[20][27] = 0
34.26/12.73	c (2,0) x[20][28] = 0
34.26/12.73	c (2,0) x[20][29] = 0
34.26/12.73	c (2,0) x[21][0] = 1
34.26/12.73	c (2,0) x[21][1] = 0
34.26/12.73	c (2,0) x[21][2] = 0
34.26/12.73	c (2,0) x[21][3] = 0
34.26/12.73	c (2,0) x[21][4] = 0
34.26/12.73	c (2,0) x[21][5] = 0
34.26/12.73	c (2,0) x[21][6] = 0
34.26/12.73	c (2,0) x[21][7] = 1
34.26/12.73	c (2,0) x[21][8] = 0
34.26/12.73	c (2,0) x[21][9] = 0
34.26/12.73	c (2,0) x[21][10] = 1
34.26/12.73	c (2,0) x[21][11] = 0
34.26/12.73	c (2,0) x[21][12] = 0
34.26/12.73	c (2,0) x[21][13] = 0
34.26/12.73	c (2,0) x[21][14] = 0
34.26/12.73	c (2,0) x[21][15] = 0
34.26/12.73	c (2,0) x[21][16] = 1
34.26/12.73	c (2,0) x[21][17] = 0
34.26/12.73	c (2,0) x[21][18] = 0
34.26/12.73	c (2,0) x[21][19] = 0
34.26/12.73	c (2,0) x[21][20] = 0
34.26/12.73	c (2,0) x[21][21] = 0
34.26/12.73	c (2,0) x[21][22] = 0
34.26/12.73	c (2,0) x[21][23] = 1
34.26/12.73	c (2,0) x[21][24] = 1
34.26/12.73	c (2,0) x[21][25] = 0
34.26/12.73	c (2,0) x[21][26] = 0
34.26/12.73	c (2,0) x[21][27] = 0
34.26/12.73	c (2,0) x[21][28] = 0
34.26/12.73	c (2,0) x[21][29] = 0
34.26/12.73	c (2,0) x[22][0] = 1
34.26/12.73	c (2,0) x[22][1] = 0
34.26/12.73	c (2,0) x[22][2] = 0
34.26/12.73	c (2,0) x[22][3] = 0
34.26/12.73	c (2,0) x[22][4] = 0
34.26/12.73	c (2,0) x[22][5] = 0
34.26/12.73	c (2,0) x[22][6] = 1
34.26/12.73	c (2,0) x[22][7] = 0
34.26/12.73	c (2,0) x[22][8] = 0
34.26/12.73	c (2,0) x[22][9] = 1
34.26/12.73	c (2,0) x[22][10] = 0
34.26/12.73	c (2,0) x[22][11] = 0
34.26/12.73	c (2,0) x[22][12] = 0
34.26/12.73	c (2,0) x[22][13] = 0
34.26/12.73	c (2,0) x[22][14] = 0
34.26/12.73	c (2,0) x[22][15] = 0
34.26/12.73	c (2,0) x[22][16] = 0
34.26/12.73	c (2,0) x[22][17] = 0
34.26/12.73	c (2,0) x[22][18] = 1
34.26/12.73	c (2,0) x[22][19] = 0
34.26/12.73	c (2,0) x[22][20] = 1
34.26/12.73	c (2,0) x[22][21] = 0
34.26/12.73	c (2,0) x[22][22] = 0
34.26/12.73	c (2,0) x[22][23] = 0
34.26/12.73	c (2,0) x[22][24] = 0
34.26/12.73	c (2,0) x[22][25] = 0
34.26/12.73	c (2,0) x[22][26] = 0
34.26/12.73	c (2,0) x[22][27] = 1
34.26/12.73	c (2,0) x[22][28] = 0
34.26/12.73	c (2,0) x[22][29] = 0
34.26/12.73	c (2,0) x[23][0] = 1
34.26/12.73	c (2,0) x[23][1] = 0
34.26/12.73	c (2,0) x[23][2] = 0
34.26/12.73	c (2,0) x[23][3] = 0
34.26/12.73	c (2,0) x[23][4] = 0
34.26/12.73	c (2,0) x[23][5] = 1
34.26/12.73	c (2,0) x[23][6] = 0
34.26/12.73	c (2,0) x[23][7] = 0
34.26/12.73	c (2,0) x[23][8] = 0
34.26/12.73	c (2,0) x[23][9] = 0
34.26/12.73	c (2,0) x[23][10] = 0
34.26/12.73	c (2,0) x[23][11] = 1
34.26/12.73	c (2,0) x[23][12] = 0
34.26/12.73	c (2,0) x[23][13] = 0
34.26/12.73	c (2,0) x[23][14] = 1
34.26/12.73	c (2,0) x[23][15] = 0
34.26/12.73	c (2,0) x[23][16] = 0
34.26/12.73	c (2,0) x[23][17] = 0
34.26/12.73	c (2,0) x[23][18] = 0
34.26/12.73	c (2,0) x[23][19] = 0
34.26/12.73	c (2,0) x[23][20] = 0
34.26/12.73	c (2,0) x[23][21] = 0
34.26/12.73	c (2,0) x[23][22] = 1
34.26/12.73	c (2,0) x[23][23] = 0
34.26/12.73	c (2,0) x[23][24] = 0
34.26/12.73	c (2,0) x[23][25] = 0
34.26/12.73	c (2,0) x[23][26] = 0
34.26/12.73	c (2,0) x[23][27] = 0
34.26/12.73	c (2,0) x[23][28] = 1
34.26/12.73	c (2,0) x[23][29] = 0
34.26/12.73	c (2,0) x[24][0] = 1
34.26/12.73	c (2,0) x[24][1] = 0
34.26/12.73	c (2,0) x[24][2] = 0
34.26/12.73	c (2,0) x[24][3] = 0
34.26/12.73	c (2,0) x[24][4] = 1
34.26/12.73	c (2,0) x[24][5] = 0
34.26/12.73	c (2,0) x[24][6] = 0
34.26/12.73	c (2,0) x[24][7] = 0
34.26/12.73	c (2,0) x[24][8] = 0
34.26/12.73	c (2,0) x[24][9] = 0
34.26/12.73	c (2,0) x[24][10] = 0
34.26/12.73	c (2,0) x[24][11] = 0
34.26/12.73	c (2,0) x[24][12] = 0
34.26/12.73	c (2,0) x[24][13] = 1
34.26/12.73	c (2,0) x[24][14] = 0
34.26/12.73	c (2,0) x[24][15] = 0
34.26/12.73	c (2,0) x[24][16] = 0
34.26/12.73	c (2,0) x[24][17] = 1
34.26/12.73	c (2,0) x[24][18] = 0
34.26/12.73	c (2,0) x[24][19] = 0
34.26/12.73	c (2,0) x[24][20] = 0
34.26/12.73	c (2,0) x[24][21] = 1
34.26/12.73	c (2,0) x[24][22] = 0
34.26/12.73	c (2,0) x[24][23] = 0
34.26/12.73	c (2,0) x[24][24] = 0
34.26/12.73	c (2,0) x[24][25] = 1
34.26/12.73	c (2,0) x[24][26] = 0
34.26/12.73	c (2,0) x[24][27] = 0
34.26/12.73	c (2,0) x[24][28] = 0
34.26/12.73	c (2,0) x[24][29] = 0
34.26/12.73	s SATISFIABLE
34.26/12.73	v <instantiation>
34.26/12.73	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.26/12.73	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.26/12.73	v </instantiation>
34.26/12.73	c (2,0) Show results End
34.26/12.73	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
34.26/12.73	c (2,0) 2,2,STOP-AFTER(ALL)
34.26/12.73	c END-Prog: Mon Sep 23 13:18:22 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 (13566 MiB free)
  memory of node 1: 16384 MiB (12080 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405539-1569241190/watcher-4405539-1569241190 -o /var/tmp/evaluation-result-4405539-1569241190/solver-4405539-1569241190 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569234931-20359 --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-4405539-1569241190.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=21199, runsolver pid=21196
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 6.69 7.84 7.32 2/210 21221
/proc/meminfo: memFree=26166860/32770624 swapFree=66956612/67108860
[pid=21199] ppid=21196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21199/stat : 21199 (scop.sh) S 21196 21199 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500376807 115843072 349 33554432000 4194304 5098028 140725934743696 140725934740952 139981365564028 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140725934748412 140725934748760 140725934748760 140725934751689 0
/proc/21199/statm: 28282 349 296 221 0 87 0
[pid=21202] ppid=21199 vsize=27314120 memory=106352 CPUtime=0.11 cores=0-7
/proc/21202/stat : 21202 (java) S 21199 21199 20332 0 -1 1077944320 6155 0 0 0 8 3 0 0 20 0 20 0 500376808 27969658880 26588 33554432000 4194304 4196468 140726182460576 140726182443120 139769259765495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
/proc/21202/statm: 6828530 26588 2800 1 0 6790935 0
[pid=21202/tid=21203] ppid=21199 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/21202/task/21203/stat : 21203 (java) R 21199 21199 20332 0 -1 4202560 4272 0 0 0 6 2 0 0 20 0 20 0 500376808 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769231591824 139769243845982 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21204] ppid=21199 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21202/task/21204/stat : 21204 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769264008080 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21205] ppid=21199 vsize=27314120 memory=140203487118976 CPUtime=0 cores=0-7
/proc/21202/task/21205/stat : 21205 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769047403280 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21206] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21206/stat : 21206 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769046350992 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21207] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21207/stat : 21207 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769045298192 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21208] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21208/stat : 21208 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769044244880 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21209] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21209/stat : 21209 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769043192080 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21210] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21210/stat : 21210 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139769042139792 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21211] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21211/stat : 21211 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768675424784 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21212] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21212/stat : 21212 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376812 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768519170672 139769259776642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21213] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21213/stat : 21213 (java) S 21199 21199 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500376812 27969658880 27100 33554432000 4194304 4196468 140726182460576 139767027066144 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21214] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21214/stat : 21214 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376813 27969658880 27100 33554432000 4194304 4196468 140726182460576 139766758631024 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21215] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21215/stat : 21215 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 27100 33554432000 4194304 4196468 140726182460576 139766384122448 139769259784091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21216] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21216/stat : 21216 (java) S 21199 21199 20332 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768518117488 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21217] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21217/stat : 21217 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768517064688 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21218] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21218/stat : 21218 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768516012400 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21219] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21219/stat : 21219 (java) S 21199 21199 20332 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768514959600 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21220] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21220/stat : 21220 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 27100 33554432000 4194304 4196468 140726182460576 139765886217056 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21221] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21221/stat : 21221 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376816 27969658880 27100 33554432000 4194304 4196468 140726182460576 139768513907504 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107748 KiB

[startup+0.210434 s]*
/proc/loadavg: 6.69 7.84 7.32 2/210 21221
/proc/meminfo: memFree=26145424/32770624 swapFree=66956612/67108860
[pid=21199] ppid=21196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21199/stat : 21199 (scop.sh) S 21196 21199 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500376807 115843072 349 33554432000 4194304 5098028 140725934743696 140725934740952 139981365564028 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140725934748412 140725934748760 140725934748760 140725934751689 0
/proc/21199/statm: 28282 349 296 221 0 87 0
[pid=21202] ppid=21199 vsize=27314120 memory=125696 CPUtime=0.24 cores=0-7
/proc/21202/stat : 21202 (java) S 21199 21199 20332 0 -1 1077944320 11636 0 0 0 19 5 0 0 20 0 20 0 500376808 27969658880 31424 33554432000 4194304 4196468 140726182460576 140726182443120 139769259765495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
/proc/21202/statm: 6828530 31424 2963 1 0 6790935 0
[pid=21202/tid=21203] ppid=21199 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21202/task/21203/stat : 21203 (java) R 21199 21199 20332 0 -1 4202560 9373 0 0 0 16 4 0 0 20 0 20 0 500376808 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769231573056 139769240041202 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21204] ppid=21199 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/21202/task/21204/stat : 21204 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769264008080 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21205] ppid=21199 vsize=27314120 memory=288370579638830720 CPUtime=0 cores=0-7
/proc/21202/task/21205/stat : 21205 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769047403280 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21206] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21206/stat : 21206 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769046350992 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21207] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21207/stat : 21207 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769045298192 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21208] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21208/stat : 21208 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769044244880 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21209] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21209/stat : 21209 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769043192080 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21210] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21210/stat : 21210 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139769042139792 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21211] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21211/stat : 21211 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768675424784 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21212] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21212/stat : 21212 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376812 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768519170672 139769259776642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21213] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21213/stat : 21213 (java) S 21199 21199 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500376812 27969658880 31424 33554432000 4194304 4196468 140726182460576 139767027066144 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21214] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21214/stat : 21214 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376813 27969658880 31424 33554432000 4194304 4196468 140726182460576 139766758631024 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21215] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21215/stat : 21215 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 31424 33554432000 4194304 4196468 140726182460576 139766384122448 139769259784091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21216] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21216/stat : 21216 (java) S 21199 21199 20332 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768518117488 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21217] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21217/stat : 21217 (java) S 21199 21199 20332 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768517064688 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21218] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21218/stat : 21218 (java) S 21199 21199 20332 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768516012400 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21219] ppid=21199 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/21202/task/21219/stat : 21219 (java) S 21199 21199 20332 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 500376815 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768514959600 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21220] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21220/stat : 21220 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 31424 33554432000 4194304 4196468 140726182460576 139765886217056 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21221] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21221/stat : 21221 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376816 27969658880 31424 33554432000 4194304 4196468 140726182460576 139768513907504 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127092 KiB

[startup+0.31046 s]*
/proc/loadavg: 6.69 7.84 7.32 2/210 21221
/proc/meminfo: memFree=26142384/32770624 swapFree=66956612/67108860
[pid=21199] ppid=21196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21199/stat : 21199 (scop.sh) S 21196 21199 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500376807 115843072 349 33554432000 4194304 5098028 140725934743696 140725934740952 139981365564028 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140725934748412 140725934748760 140725934748760 140725934751689 0
/proc/21199/statm: 28282 349 296 221 0 87 0
[pid=21202] ppid=21199 vsize=27314120 memory=129672 CPUtime=0.42 cores=0-7
/proc/21202/stat : 21202 (java) S 21199 21199 20332 0 -1 1077944320 12773 0 0 0 36 6 0 0 20 0 20 0 500376808 27969658880 32418 33554432000 4194304 4196468 140726182460576 140726182443120 139769259765495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
/proc/21202/statm: 6828530 32418 3016 1 0 6790935 0
[pid=21202/tid=21203] ppid=21199 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21202/task/21203/stat : 21203 (java) R 21199 21199 20332 0 -1 4202560 10319 0 0 0 25 4 0 0 20 0 20 0 500376808 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769231556144 139769240042320 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21204] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21204/stat : 21204 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769264008080 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21205] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21205/stat : 21205 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769047403280 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21206] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21206/stat : 21206 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769046350992 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21207] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21207/stat : 21207 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769045298192 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21208] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21208/stat : 21208 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769044244880 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21209] ppid=21199 vsize=27314120 memory=140203368999599 CPUtime=0 cores=0-7
/proc/21202/task/21209/stat : 21209 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769043192080 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21210] ppid=21199 vsize=27314120 memory=140203369001904 CPUtime=0 cores=0-7
/proc/21202/task/21210/stat : 21210 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139769042139792 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21211] ppid=21199 vsize=27314120 memory=140203369004208 CPUtime=0 cores=0-7
/proc/21202/task/21211/stat : 21211 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768675424784 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21212] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21212/stat : 21212 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376812 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768519170672 139769259776642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21213] ppid=21199 vsize=27314120 memory=280406738022288 CPUtime=0 cores=0-7
/proc/21202/task/21213/stat : 21213 (java) S 21199 21199 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500376812 27969658880 32418 33554432000 4194304 4196468 140726182460576 139767027066144 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21214] ppid=21199 vsize=27314120 memory=280406738019984 CPUtime=0 cores=0-7
/proc/21202/task/21214/stat : 21214 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376813 27969658880 32418 33554432000 4194304 4196468 140726182460576 139766758631024 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21215] ppid=21199 vsize=27314120 memory=280406738026896 CPUtime=0 cores=0-7
/proc/21202/task/21215/stat : 21215 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 32418 33554432000 4194304 4196468 140726182460576 139766384122448 139769259784091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21216] ppid=21199 vsize=27314120 memory=280406737968176 CPUtime=0 cores=0-7
/proc/21202/task/21216/stat : 21216 (java) S 21199 21199 20332 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768518117488 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21217] ppid=21199 vsize=27314120 memory=280406738040720 CPUtime=0.01 cores=0-7
/proc/21202/task/21217/stat : 21217 (java) S 21199 21199 20332 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 500376815 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768517064688 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21218] ppid=21199 vsize=27314120 memory=280406738047632 CPUtime=0.01 cores=0-7
/proc/21202/task/21218/stat : 21218 (java) R 21199 21199 20332 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 20 0 500376815 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768516012400 139769243259965 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21219] ppid=21199 vsize=27314120 memory=280406738045328 CPUtime=0.06 cores=0-7
/proc/21202/task/21219/stat : 21219 (java) S 21199 21199 20332 0 -1 1077944384 477 0 0 0 6 0 0 0 20 0 20 0 500376815 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768514959600 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21220] ppid=21199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21220/stat : 21220 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376815 27969658880 32418 33554432000 4194304 4196468 140726182460576 139765886217056 139769259775701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21221] ppid=21199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21202/task/21221/stat : 21221 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376816 27969658880 32418 33554432000 4194304 4196468 140726182460576 139768513907504 139769259776642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131068 KiB

[startup+0.700975 s]
/proc/loadavg: 6.69 7.84 7.32 2/210 21221
/proc/meminfo: memFree=26121524/32770624 swapFree=66956612/67108860
[pid=21199] ppid=21196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21199/stat : 21199 (scop.sh) S 21196 21199 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500376807 115843072 349 33554432000 4194304 5098028 140725934743696 140725934740952 139981365564028 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140725934748412 140725934748760 140725934748760 140725934751689 0
/proc/21199/statm: 28282 349 296 221 0 87 0
[pid=21202] ppid=21199 vsize=27320392 memory=165140 CPUtime=0.98 cores=0-7
/proc/21202/stat : 21202 (java) S 21199 21199 20332 0 -1 1077944320 19890 0 0 0 89 9 0 0 20 0 20 0 500376808 27976081408 41285 33554432000 4194304 4196468 140726182460576 140726182443120 139769259765495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
/proc/21202/statm: 6830098 41285 3183 1 0 6791447 0
[pid=21202/tid=21203] ppid=21199 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/21202/task/21203/stat : 21203 (java) R 21199 21199 20332 0 -1 4202560 16935 0 0 0 61 6 0 0 20 0 20 0 500376808 27976081408 41285 33554432000 4194304 4196468 140726182460576 139769231601664 139769243845982 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21204] ppid=21199 vsize=27320392 memory=140203369210736 CPUtime=0 cores=0-7
/proc/21202/task/21204/stat : 21204 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27976081408 41285 33554432000 4194304 4196468 140726182460576 139769264008080 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21205] ppid=21199 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21205/stat : 21205 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27976081408 41285 33554432000 4194304 4196468 140726182460576 139769047403280 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21206] ppid=21199 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/21202/task/21206/stat : 21206 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27976081408 41285 33554432000 4194304 4196468 140726182460576 139769046350992 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0

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

[pid=21202/tid=21203] ppid=21199 vsize=27326612 memory=8546823402028195750 CPUtime=6.26 cores=0-7
/proc/21202/task/21203/stat : 21203 (java) R 21199 21199 20332 0 -1 4202560 19350 0 0 0 589 37 0 0 20 0 20 0 500376808 27982450688 593869 33554432000 4194304 4196468 140726182460576 139769231594544 139768729853162 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21204] ppid=21199 vsize=27326612 memory=-2461829820114675750 CPUtime=0 cores=0-7
/proc/21202/task/21204/stat : 21204 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 593869 33554432000 4194304 4196468 140726182460576 139769264008080 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21205] ppid=21199 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21202/task/21205/stat : 21205 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 593869 33554432000 4194304 4196468 140726182460576 139769047403280 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21206] ppid=21199 vsize=27326612 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/21202/task/21206/stat : 21206 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 594381 33554432000 4194304 4196468 140726182460576 139769046350992 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21207] ppid=21199 vsize=27326612 memory=-7028383565733675155 CPUtime=0 cores=0-7
/proc/21202/task/21207/stat : 21207 (java) S 21199 21199 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 594381 33554432000 4194304 4196468 140726182460576 139769045298192 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21208] ppid=21199 vsize=27326612 memory=-7028383565733675155 CPUtime=0 cores=0-7
/proc/21202/task/21208/stat : 21208 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 594381 33554432000 4194304 4196468 140726182460576 139769044244880 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21209] ppid=21199 vsize=27326612 memory=56 CPUtime=0 cores=0-7
/proc/21202/task/21209/stat : 21209 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 594381 33554432000 4194304 4196468 140726182460576 139769043192080 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21210] ppid=21199 vsize=27326612 memory=1899429 CPUtime=0 cores=0-7
/proc/21202/task/21210/stat : 21210 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 594381 33554432000 4194304 4196468 140726182460576 139769042139792 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21211] ppid=21199 vsize=27326612 memory=1900672 CPUtime=0 cores=0-7
/proc/21202/task/21211/stat : 21211 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376810 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768675424784 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21212] ppid=21199 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21212/stat : 21212 (java) S 21199 21199 20332 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 500376812 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768519170672 139769259776642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21213] ppid=21199 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21202/task/21213/stat : 21213 (java) S 21199 21199 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500376812 27982450688 594381 33554432000 4194304 4196468 140726182460576 139767027066144 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21214] ppid=21199 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21214/stat : 21214 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376813 27982450688 594381 33554432000 4194304 4196468 140726182460576 139766758631024 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21215] ppid=21199 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21215/stat : 21215 (java) S 21199 21199 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500376815 27982450688 594381 33554432000 4194304 4196468 140726182460576 139766384122448 139769259784091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21216] ppid=21199 vsize=27326612 memory=0 CPUtime=2.05 cores=0-7
/proc/21202/task/21216/stat : 21216 (java) S 21199 21199 20332 0 -1 1077944384 3920 0 0 0 204 1 0 0 20 0 20 0 500376815 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768518117488 139769259776642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21217] ppid=21199 vsize=27326612 memory=0 CPUtime=1.99 cores=0-7
/proc/21202/task/21217/stat : 21217 (java) S 21199 21199 20332 0 -1 1077944384 2514 0 0 0 198 1 0 0 20 0 20 0 500376815 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768517064688 139769259776642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21218] ppid=21199 vsize=27326612 memory=0 CPUtime=2.02 cores=0-7
/proc/21202/task/21218/stat : 21218 (java) S 21199 21199 20332 0 -1 1077944384 3323 0 0 0 200 2 0 0 20 0 20 0 500376815 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768516012400 139769259776642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21219] ppid=21199 vsize=27326612 memory=0 CPUtime=0.91 cores=0-7
/proc/21202/task/21219/stat : 21219 (java) S 21199 21199 20332 0 -1 1077944384 2291 0 0 0 89 2 0 0 20 0 20 0 500376815 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768514959600 139769259776642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21220] ppid=21199 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21220/stat : 21220 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376815 27982450688 594381 33554432000 4194304 4196468 140726182460576 139765886217056 139769259775701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
[pid=21202/tid=21221] ppid=21199 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/21202/task/21221/stat : 21221 (java) S 21199 21199 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500376816 27982450688 594381 33554432000 4194304 4196468 140726182460576 139768513907504 139769259776642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140726182462150 140726182462598 140726182462598 140726182465487 0
Current children cumulated CPU time: 13.29 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 2376872 KiB

[startup+12.7015 s]
/proc/loadavg: 5.90 7.63 7.25 9/223 21256
/proc/meminfo: memFree=25913564/32770624 swapFree=66956612/67108860
[pid=21199] ppid=21196 vsize=113128 memory=1476 CPUtime=21.63 cores=0-7
/proc/21199/stat : 21199 (scop.sh) S 21196 21199 20332 0 -1 4202496 582 38592 0 0 0 0 2091 72 20 0 1 0 500376807 115843072 369 33554432000 4194304 5098028 140725934743696 140725934740440 139981365564028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27009024 140725934748412 140725934748760 140725934748760 140725934751689 0
/proc/21199/statm: 28282 369 311 221 0 87 0
[pid=21222] ppid=21199 vsize=8283048 memory=148416 CPUtime=12.63 cores=0-7
/proc/21222/stat : 21222 (java) S 21199 21199 20332 0 -1 1077944320 22471 81027 0 0 201 13 1027 22 20 0 22 0 500377798 8481841152 37104 33554432000 4194304 4196468 140727391092256 140727391074800 140633225469687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
/proc/21222/statm: 2070762 37104 3234 1 0 2032106 0
[pid=21222/tid=21223] ppid=21199 vsize=8283048 memory=237252 CPUtime=11.48 cores=0-7
/proc/21222/task/21223/stat : 21223 (java) R 21199 21199 20332 0 -1 4202560 18103 81027 0 0 90 9 1027 22 20 0 22 0 500377799 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633197309048 140633203894432 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21224] ppid=21199 vsize=8283048 memory=0 CPUtime=10.49 cores=0-7
/proc/21222/task/21224/stat : 21224 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633229711760 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21225] ppid=21199 vsize=8283048 memory=280406738442832 CPUtime=10.49 cores=0-7
/proc/21222/task/21225/stat : 21225 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633029880080 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21226] ppid=21199 vsize=8283048 memory=93237901527786 CPUtime=10.49 cores=0-7
/proc/21222/task/21226/stat : 21226 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633028827792 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21227] ppid=21199 vsize=8283048 memory=3624 CPUtime=10.49 cores=0-7
/proc/21222/task/21227/stat : 21227 (java) S 21199 21199 20332 0 -1 1077944384 3 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633027774992 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21228] ppid=21199 vsize=8283048 memory=50500 CPUtime=10.49 cores=0-7
/proc/21222/task/21228/stat : 21228 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633026722704 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21229] ppid=21199 vsize=8283048 memory=984 CPUtime=10.49 cores=0-7
/proc/21222/task/21229/stat : 21229 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633025669904 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21230] ppid=21199 vsize=8283048 memory=126988 CPUtime=10.49 cores=0-7
/proc/21222/task/21230/stat : 21230 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633024617616 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21231] ppid=21199 vsize=8283048 memory=242548 CPUtime=10.49 cores=0-7
/proc/21222/task/21231/stat : 21231 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633023564816 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21232] ppid=21199 vsize=8283048 memory=-2461829820114675750 CPUtime=10.49 cores=0-7
/proc/21222/task/21232/stat : 21232 (java) S 21199 21199 20332 0 -1 1077944384 5 81027 0 0 0 0 1027 22 20 0 22 0 500377801 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632586668144 140633225480834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21233] ppid=21199 vsize=8283048 memory=6944652177228980320 CPUtime=10.49 cores=0-7
/proc/21222/task/21233/stat : 21233 (java) S 21199 21199 20332 0 -1 1077944384 13 81027 0 0 0 0 1027 22 20 0 22 0 500377802 8481841152 37104 33554432000 4194304 4196468 140727391092256 140631657669408 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21234] ppid=21199 vsize=8283048 memory=6944656592455097440 CPUtime=10.49 cores=0-7
/proc/21222/task/21234/stat : 21234 (java) S 21199 21199 20332 0 -1 1077944384 21 81027 0 0 0 0 1027 22 20 0 22 0 500377802 8481841152 37104 33554432000 4194304 4196468 140727391092256 140631523447920 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21235] ppid=21199 vsize=8283048 memory=6944656592455360604 CPUtime=10.49 cores=0-7
/proc/21222/task/21235/stat : 21235 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140631148943440 140633225488283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21236] ppid=21199 vsize=8283048 memory=1476 CPUtime=10.67 cores=0-7
/proc/21222/task/21236/stat : 21236 (java) S 21199 21199 20332 0 -1 1077944384 862 81027 0 0 18 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632585615984 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21237] ppid=21199 vsize=8283048 memory=126988 CPUtime=10.66 cores=0-7
/proc/21222/task/21237/stat : 21237 (java) R 21199 21199 20332 0 -1 4202560 561 81027 0 0 17 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632584550560 140633204644784 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21238] ppid=21199 vsize=8283048 memory=194432 CPUtime=10.77 cores=0-7
/proc/21222/task/21238/stat : 21238 (java) R 21199 21199 20332 0 -1 4202560 503 81027 0 0 28 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632583491376 140633203923745 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21239] ppid=21199 vsize=8283048 memory=6184 CPUtime=10.85 cores=0-7
/proc/21222/task/21239/stat : 21239 (java) R 21199 21199 20332 0 -1 4202560 968 81027 0 0 36 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632582458096 140633217706814 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21240] ppid=21199 vsize=8283048 memory=3224472 CPUtime=10.49 cores=0-7
/proc/21222/task/21240/stat : 21240 (java) S 21199 21199 20332 0 -1 1077944384 3 81027 0 0 0 0 1027 22 20 0 22 0 500377805 8481841152 37104 33554432000 4194304 4196468 140727391092256 140630651038048 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21241] ppid=21199 vsize=8283048 memory=1899429 CPUtime=10.49 cores=0-7
/proc/21222/task/21241/stat : 21241 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377805 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632581404976 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21243] ppid=21199 vsize=8283048 memory=1900672 CPUtime=10.49 cores=0-7
/proc/21222/task/21243/stat : 21243 (java) S 21199 21199 20332 0 -1 1077944384 24 81027 0 0 0 0 1027 22 20 0 22 0 500377881 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632573927952 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21247] ppid=21199 vsize=8283048 memory=0 CPUtime=10.49 cores=0-7
/proc/21222/task/21247/stat : 21247 (java) S 21199 21199 20332 0 -1 1077944384 11 81027 0 0 0 0 1027 22 20 0 22 0 500377884 8481841152 37104 33554432000 4194304 4196468 140727391092256 140629711513136 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
Current children cumulated CPU time: 34.26 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 149892 KiB

[startup+12.758 s]
# the end of solver process 21199 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=33.3591 s, system=1.11131 s

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

[startup+12.7015 s]
/proc/loadavg: 5.90 7.63 7.25 9/223 21256
/proc/meminfo: memFree=25913564/32770624 swapFree=66956612/67108860
[pid=21199] ppid=21196 vsize=113128 memory=1476 CPUtime=21.63 cores=0-7
/proc/21199/stat : 21199 (scop.sh) S 21196 21199 20332 0 -1 4202496 582 38592 0 0 0 0 2091 72 20 0 1 0 500376807 115843072 369 33554432000 4194304 5098028 140725934743696 140725934740440 139981365564028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27009024 140725934748412 140725934748760 140725934748760 140725934751689 0
/proc/21199/statm: 28282 369 311 221 0 87 0
[pid=21222] ppid=21199 vsize=8283048 memory=148416 CPUtime=12.63 cores=0-7
/proc/21222/stat : 21222 (java) S 21199 21199 20332 0 -1 1077944320 22471 81027 0 0 201 13 1027 22 20 0 22 0 500377798 8481841152 37104 33554432000 4194304 4196468 140727391092256 140727391074800 140633225469687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
/proc/21222/statm: 2070762 37104 3234 1 0 2032106 0
[pid=21222/tid=21223] ppid=21199 vsize=8283048 memory=237252 CPUtime=11.48 cores=0-7
/proc/21222/task/21223/stat : 21223 (java) R 21199 21199 20332 0 -1 4202560 18103 81027 0 0 90 9 1027 22 20 0 22 0 500377799 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633197309048 140633203894432 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21224] ppid=21199 vsize=8283048 memory=0 CPUtime=10.49 cores=0-7
/proc/21222/task/21224/stat : 21224 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633229711760 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21225] ppid=21199 vsize=8283048 memory=280406738442832 CPUtime=10.49 cores=0-7
/proc/21222/task/21225/stat : 21225 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633029880080 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21226] ppid=21199 vsize=8283048 memory=93237901527786 CPUtime=10.49 cores=0-7
/proc/21222/task/21226/stat : 21226 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633028827792 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21227] ppid=21199 vsize=8283048 memory=3624 CPUtime=10.49 cores=0-7
/proc/21222/task/21227/stat : 21227 (java) S 21199 21199 20332 0 -1 1077944384 3 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633027774992 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21228] ppid=21199 vsize=8283048 memory=50500 CPUtime=10.49 cores=0-7
/proc/21222/task/21228/stat : 21228 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633026722704 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21229] ppid=21199 vsize=8283048 memory=984 CPUtime=10.49 cores=0-7
/proc/21222/task/21229/stat : 21229 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633025669904 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21230] ppid=21199 vsize=8283048 memory=126988 CPUtime=10.49 cores=0-7
/proc/21222/task/21230/stat : 21230 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633024617616 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21231] ppid=21199 vsize=8283048 memory=242548 CPUtime=10.49 cores=0-7
/proc/21222/task/21231/stat : 21231 (java) S 21199 21199 20332 0 -1 1077944384 2 81027 0 0 0 0 1027 22 20 0 22 0 500377800 8481841152 37104 33554432000 4194304 4196468 140727391092256 140633023564816 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21232] ppid=21199 vsize=8283048 memory=-2461829820114675750 CPUtime=10.49 cores=0-7
/proc/21222/task/21232/stat : 21232 (java) S 21199 21199 20332 0 -1 1077944384 5 81027 0 0 0 0 1027 22 20 0 22 0 500377801 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632586668144 140633225480834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21233] ppid=21199 vsize=8283048 memory=6944652177228980320 CPUtime=10.49 cores=0-7
/proc/21222/task/21233/stat : 21233 (java) S 21199 21199 20332 0 -1 1077944384 13 81027 0 0 0 0 1027 22 20 0 22 0 500377802 8481841152 37104 33554432000 4194304 4196468 140727391092256 140631657669408 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21234] ppid=21199 vsize=8283048 memory=6944656592455097440 CPUtime=10.49 cores=0-7
/proc/21222/task/21234/stat : 21234 (java) S 21199 21199 20332 0 -1 1077944384 21 81027 0 0 0 0 1027 22 20 0 22 0 500377802 8481841152 37104 33554432000 4194304 4196468 140727391092256 140631523447920 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21235] ppid=21199 vsize=8283048 memory=6944656592455360604 CPUtime=10.49 cores=0-7
/proc/21222/task/21235/stat : 21235 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140631148943440 140633225488283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21236] ppid=21199 vsize=8283048 memory=1476 CPUtime=10.67 cores=0-7
/proc/21222/task/21236/stat : 21236 (java) S 21199 21199 20332 0 -1 1077944384 862 81027 0 0 18 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632585615984 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21237] ppid=21199 vsize=8283048 memory=126988 CPUtime=10.66 cores=0-7
/proc/21222/task/21237/stat : 21237 (java) R 21199 21199 20332 0 -1 4202560 561 81027 0 0 17 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632584550560 140633204644784 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21238] ppid=21199 vsize=8283048 memory=194432 CPUtime=10.77 cores=0-7
/proc/21222/task/21238/stat : 21238 (java) R 21199 21199 20332 0 -1 4202560 503 81027 0 0 28 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632583491376 140633203923745 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21239] ppid=21199 vsize=8283048 memory=6184 CPUtime=10.85 cores=0-7
/proc/21222/task/21239/stat : 21239 (java) R 21199 21199 20332 0 -1 4202560 968 81027 0 0 36 0 1027 22 20 0 22 0 500377804 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632582458096 140633217706814 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21240] ppid=21199 vsize=8283048 memory=3224472 CPUtime=10.49 cores=0-7
/proc/21222/task/21240/stat : 21240 (java) S 21199 21199 20332 0 -1 1077944384 3 81027 0 0 0 0 1027 22 20 0 22 0 500377805 8481841152 37104 33554432000 4194304 4196468 140727391092256 140630651038048 140633225479893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21241] ppid=21199 vsize=8283048 memory=1899429 CPUtime=10.49 cores=0-7
/proc/21222/task/21241/stat : 21241 (java) S 21199 21199 20332 0 -1 1077944384 1 81027 0 0 0 0 1027 22 20 0 22 0 500377805 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632581404976 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21243] ppid=21199 vsize=8283048 memory=1900672 CPUtime=10.49 cores=0-7
/proc/21222/task/21243/stat : 21243 (java) S 21199 21199 20332 0 -1 1077944384 24 81027 0 0 0 0 1027 22 20 0 22 0 500377881 8481841152 37104 33554432000 4194304 4196468 140727391092256 140632573927952 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
[pid=21222/tid=21247] ppid=21199 vsize=8283048 memory=0 CPUtime=10.49 cores=0-7
/proc/21222/task/21247/stat : 21247 (java) S 21199 21199 20332 0 -1 1077944384 11 81027 0 0 0 0 1027 22 20 0 22 0 500377884 8481841152 37104 33554432000 4194304 4196468 140727391092256 140629711513136 140633225480834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140727391093727 140727391093894 140727391093894 140727391096783 0
Current children cumulated CPU time: 34.26 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 149892 KiB

Child status: 0
Real time (s): 12.7581
CPU time (s): 34.4704
CPU user time (s): 33.3591
CPU system time (s): 1.11131
CPU usage (%): 270.185
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3701520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.3591
system time used= 1.11131
maximum resident set size= 3704740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12035
involuntary context switches= 137


# summary of solver processes directly reported to runsolver:
#   pid: 21199
#   total CPU time (s): 34.4704
#   total CPU user time (s): 33.3591
#   total CPU system time (s): 1.11131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.122857 second user time and 0.181265 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-23 13:18:09
IDJOB=4405539
IDBENCH=123874
IDSOLVER=2868
FILE ID=node105/4405539-1569241190
RUNJOBID= node105-1569234931-20359
PBS_JOBID= 21704915
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405539-1569241190/watcher-4405539-1569241190 -o /var/tmp/evaluation-result-4405539-1569241190/solver-4405539-1569241190 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569234931-20359 --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-4405539-1569241190.xml

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

MD5SUM BENCH= 8664f4f5c29eba7e0c756194721bfaf5
RANDOM SEED=2001988792

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26263516 kB
MemAvailable:   31799332 kB
Buffers:          100768 kB
Cached:          5567004 kB
SwapCached:        48500 kB
Active:          2825228 kB
Inactive:        2891956 kB
Active(anon):       4228 kB
Inactive(anon):    99488 kB
Active(file):    2821000 kB
Inactive(file):  2792468 kB
Unevictable:      110932 kB
Mlocked:          110932 kB
SwapTotal:      67108860 kB
SwapFree:       66956612 kB
Dirty:             20320 kB
Writeback:             0 kB
AnonPages:        134156 kB
Mapped:            52968 kB
Shmem:             45688 kB
Slab:             379228 kB
SReclaimable:     350808 kB
SUnreclaim:        28420 kB
KernelStack:        3696 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13160 MiB
End job on node105 at 2019-09-23 13:18:22