Trace number 4405239

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21076-serial-file.bin HOME/instance-4405239-1569241176.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 13:17:57 CEST 2019
0.65/0.57	c PID: 21079
0.65/0.57	c IP: 172.20.3.105
0.65/0.57	c HOST: node105.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.36/1.20	c (0,0) Parsing End
2.36/1.21	c (0,0) CSP: 0 int (0 aux), 750 bool (0 aux), 356 ctr, max domain size 2
2.36/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.36/1.21	c (0,0) Constraint Name Generate Begin
2.36/1.23	c (0,0) Ctr:HOME/instance-4405239-1569241176.xml,LexMatrix:Num:Var:WeightedSum
2.36/1.23	c (0,0) Constraint Name Generate End
2.36/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.36/1.23	c (0,0) CSP to CSPinCNF Begin
2.94/1.45	c (0,0) translated 36 (10%) constraints
4.24/1.83	c (1,1) translated 72 (20%) constraints
5.51/2.20	c (1,1) translated 107 (30%) constraints
6.25/2.50	c (1,1) translated 143 (40%) constraints
6.68/2.77	c (2,2) translated 178 (50%) constraints
7.23/3.03	c (2,2) translated 214 (60%) constraints
7.53/3.28	c (2,2) translated 250 (70%) constraints
7.90/3.53	c (2,2) translated 285 (80%) constraints
8.10/3.78	c (3,3) translated 321 (90%) constraints
8.42/4.02	c (3,3) translated 356 (100%) constraints
10.95/5.57	c (5,5) ===========================================
10.95/5.58	c (5,5) Order
10.95/5.58	c (5,5) ===========================================
12.01/5.89	c (5,5) translated 3914 (10%) constraints
12.80/6.09	c (5,5) translated 7828 (20%) constraints
13.20/6.26	c (5,5) translated 11742 (30%) constraints
13.45/6.44	c (5,5) translated 15656 (40%) constraints
13.71/6.64	c (6,6) translated 19570 (50%) constraints
13.91/6.81	c (6,6) translated 23484 (60%) constraints
14.01/6.98	c (6,6) translated 27398 (70%) constraints
14.23/7.16	c (6,6) translated 31312 (80%) constraints
14.47/7.33	c (6,6) translated 35226 (90%) constraints
14.57/7.50	c (6,6) translated 39139 (100%) constraints
14.78/7.50	c (6,6) CSP to CSPinCNF End
14.78/7.51	c (6,6) CSP: 165 int (165 aux), 29989 bool (29239 aux), 59624 ctr, max domain size 7
14.78/7.51	c (6,6) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.78/7.51	c (6,6) CSPinCNF Propagation Begin
15.55/7.89	c (7,7) 0 values, 9000 unsatisfiable literals, and 9000 valid clauses are removed
15.55/7.89	c (7,7) CSPinCNF Propagation End
15.55/7.90	c (7,7) CSP: 165 int (165 aux), 29989 bool (29239 aux), 50624 ctr, max domain size 7
15.55/7.90	c (7,7) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.74/7.90	c (7,7) Simplify CSPinCNF Begin
16.00/8.11	c (7,7) Simplify CSPinCNF End
16.19/8.11	c (7,7) CSP: 165 int (165 aux), 32826 bool (32076 aux), 53461 ctr, max domain size 7
16.19/8.11	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.19/8.11	c (7,7) Calculate Precise Domain Begin
16.46/8.20	c (7,7) 0 values are removed by re-calculation
16.46/8.20	c (7,7) Calculate Precise Domain End
16.46/8.20	c (7,7) CSP: 165 int (165 aux), 32826 bool (32076 aux), 53461 ctr, max domain size 7
16.46/8.20	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.46/8.20	c (7,7) CSPinCNF to SatSolver Begin
19.71/9.03	c (8,8) 5347 (10 %) CSP clauses are encoded (0 SAT variables, 179984 SAT clauses)
20.11/9.12	c (8,8) 10693 (20 %) CSP clauses are encoded (0 SAT variables, 190742 SAT clauses)
20.11/9.19	c (8,8) 16039 (30 %) CSP clauses are encoded (0 SAT variables, 201664 SAT clauses)
20.37/9.25	c (8,8) 21385 (40 %) CSP clauses are encoded (0 SAT variables, 212586 SAT clauses)
20.48/9.32	c (8,8) 26731 (50 %) CSP clauses are encoded (0 SAT variables, 223508 SAT clauses)
20.48/9.38	c (8,8) 32077 (60 %) CSP clauses are encoded (0 SAT variables, 234430 SAT clauses)
20.60/9.45	c (8,8) 37423 (70 %) CSP clauses are encoded (0 SAT variables, 245352 SAT clauses)
20.70/9.51	c (8,8) 42769 (80 %) CSP clauses are encoded (0 SAT variables, 256110 SAT clauses)
20.70/9.58	c (9,9) 48115 (90 %) CSP clauses are encoded (0 SAT variables, 266840 SAT clauses)
21.00/9.70	c (9,9) 53461 (100 %) CSP clauses are encoded (0 SAT variables, 274834 SAT clauses)
21.00/9.70	c (9,9) CSPinCNF to SatSolver End
21.00/9.70	c (9,9) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
21.00/9.71	c (9,9) 33726 bool, 274835 clause
21.00/9.71	c (9,9) Export Begin
21.28/9.85	c (9,9) Export to HOME/scop-21076-serial-file.bin
21.28/9.85	c (9,9) Export End
21.28/9.85	c (9,9) Export File Size: 0.13 MB
21.28/9.85	c (9,9) 0,0,6,7,7,7,9,STOP-AFTER(DIMACS)
21.28/9.85	c END-Prog: Mon Sep 23 13:18:06 CEST 2019
21.28/9.89	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21076-serial-file.bin
22.00/10.35	c (0,0) Read Serial File Begin
22.00/10.35	c (0,0) HOME/scop-21076-serial-file.bin
22.57/10.60	c (0,0) Read Serial File End
22.57/10.61	
22.57/10.61	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
22.57/10.61	(Solving Process)
22.57/10.61	
22.57/10.64	c BEGIN-Prog: Mon Sep 23 13:18:07 CEST 2019
22.57/10.64	c PID: 21101
22.57/10.64	c IP: 172.20.3.105
22.57/10.64	c HOST: node105.alineos.net
22.57/10.64	c (0,0) SatSolver.solve Begin
22.57/10.64	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405239-1569241176.xml-scop-21079.cnf
22.57/10.67	c (0,0) c
22.57/10.67	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.57/10.67	c (0,0) c
22.57/10.67	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.57/10.67	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.57/10.67	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.57/10.67	c (0,0) c |                                                                                                       |
22.80/10.77	c (0,0) c |  Number of variables:         33726                                                                   |
22.80/10.77	c (0,0) c |  Number of clauses:          274835                                                                   |
22.80/10.77	c (0,0) c |  Parse time:                   0.10 s                                                                 |
22.80/10.77	c (0,0) c |                                                                                                       |
23.75/11.69	c (1,0) c |  Simplification time:          0.91 s                                                                 |
23.75/11.69	c (1,0) c |                                                                                                       |
23.75/11.69	c (1,0) c |  Generating clones                                                                                    |
23.84/11.79	c (1,0) c |  all clones generated. Memory =   223.34Mb.                                                           |
23.84/11.79	c (1,0) c ========================================================================================================|
23.84/11.79	c (1,0) c
23.84/11.79	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.84/11.79	c (1,0) c
23.84/11.79	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.84/11.79	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.84/11.79	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.84/11.79	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.84/11.79	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.84/11.79	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.84/11.79	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.84/11.79	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.84/11.79	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.84/11.79	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.84/11.79	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.84/11.79	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.84/11.79	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.84/11.79	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.84/11.79	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.84/11.79	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.84/11.79	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.84/11.79	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.84/11.79	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c real time : 1.56372 s
26.90/12.23	c (1,0) c cpu time  : 3.98913 s
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c | Conflicts     |           22005 |       2682 |       3146 |       2913 |       2837 |       3340 |       2280 |       2572 |       2235 |
26.90/12.23	c (1,0) c | Decisions     |          114615 |      15525 |      12548 |      12533 |      14746 |      16008 |      16443 |      11898 |      14914 |
26.90/12.23	c (1,0) c | Propagations  |         7355713 |     894631 |     994122 |     992122 |     889988 |    1042231 |     883293 |     831843 |     827483 |
26.90/12.23	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
26.90/12.23	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
26.90/12.23	c (1,0) c | Restarts      |             183 |         29 |         37 |         28 |         11 |         19 |         17 |         23 |         19 |
26.90/12.23	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | PropBinClauses|        16543111 |    1860971 |    2155521 |    2327997 |    2168620 |    2372576 |    2058706 |    1808970 |    1789750 |
26.90/12.23	c (1,0) c | PropPreBlocker|        81795864 |    9329242 |   11338572 |   11472611 |   10558058 |   12148984 |    8768236 |    9138944 |    9041217 |
26.90/12.23	c (1,0) c | PropNotBlocker|        21656351 |    2420981 |    3138000 |    2986942 |    2692703 |    3094490 |    2232832 |    2528804 |    2561599 |
26.90/12.23	c (1,0) c | LitFullScans  |       165163547 |   18001501 |   22530187 |   22603152 |   24007313 |   24005928 |   18010354 |   18003249 |   18001863 |
26.90/12.23	c (1,0) c | LitScanFracts |            7993 |       1215 |        962 |        827 |       1202 |       1778 |        362 |        906 |        741 |
26.90/12.23	c (1,0) c | DecisionLevel0|             379 |         58 |         67 |         63 |         23 |         35 |         22 |         60 |         51 |
26.90/12.23	c (1,0) c | Periods       |              26 |          3 |          3 |          3 |          4 |          4 |          3 |          3 |          3 |
26.90/12.23	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
26.90/12.23	c (1,0) c | Avg_Trail     |                 |       5817 |       6274 |       6682 |       7097 |       6350 |       6941 |       6200 |       6348 |
26.90/12.23	c (1,0) c | Avg_DL        |                 |         48 |         45 |         49 |         83 |         52 |         73 |         63 |         54 |
26.90/12.23	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c | Exported      |             857 |        116 |        129 |        125 |         58 |        121 |         90 |        119 |         99 |
26.90/12.23	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c | Unaries       |                 |         29 |         30 |         35 |         12 |         16 |          5 |         37 |         32 |
26.90/12.23	c (1,0) c | Binaries      |                 |         63 |         53 |         77 |         25 |         69 |         40 |         70 |         49 |
26.90/12.23	c (1,0) c | Glues         |                 |        116 |        129 |        125 |         58 |        121 |         90 |        119 |         99 |
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c | Orig_Seen     |             4 % |       9603 |      11785 |      13093 |      10786 |      12014 |      11504 |      10684 |      11156 |
26.90/12.23	c (1,0) c | Diff Orig seen|                 | -     2182 |      X     |       1308 | -      999 |        229 | -      281 | -     1101 | -      629 |
26.90/12.23	c (1,0) c | Hamming       |             3 % |       1093 |      X     |       1173 |       1105 |       1083 |       1115 |       1082 |       1117 |
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c | RunningTime   |                 |    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|
26.90/12.23	c (1,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%|
26.90/12.23	c (1,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%|
26.90/12.23	c (1,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%|
26.90/12.23	c (1,0) c | SolvingTime   |                 |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |
26.90/12.23	c (1,0) c | PropagationTim|                 |    0.3  84%|    0.3  82%|    0.3  82%|    0.3  73%|    0.3  81%|    0.3  82%|    0.3  84%|    0.3  84%|
26.90/12.23	c (1,0) c | AnalysisTime  |                 |    0.0   9%|    0.0  11%|    0.0  12%|    0.1  22%|    0.0  12%|    0.0  11%|    0.0   9%|    0.0   9%|
26.90/12.23	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
26.90/12.23	c (1,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
26.90/12.23	c (1,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%|
26.90/12.23	c (1,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%|
26.90/12.23	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c
26.90/12.23	c (1,0) c Threads : 8
26.90/12.23	c (1,0) c Winner : 1
26.90/12.23	c (1,0) c Conflicts_0 : 2682
26.90/12.23	c (1,0) c Conflicts_1 : 3146
26.90/12.23	c (1,0) c Conflicts_2 : 2913
26.90/12.23	c (1,0) c Conflicts_3 : 2837
26.90/12.23	c (1,0) c Conflicts_4 : 3340
26.90/12.23	c (1,0) c Conflicts_5 : 2280
26.90/12.23	c (1,0) c Conflicts_6 : 2572
26.90/12.23	c (1,0) c Conflicts_7 : 2235
26.90/12.23	c (1,0) c Conflicts_total : 22005
26.90/12.23	c (1,0) c Conflicts_winner : 3146
26.90/12.23	c (1,0) c Decisions_0 : 15525
26.90/12.23	c (1,0) c Decisions_1 : 12548
26.90/12.23	c (1,0) c Decisions_2 : 12533
26.90/12.23	c (1,0) c Decisions_3 : 14746
26.90/12.23	c (1,0) c Decisions_4 : 16008
26.90/12.23	c (1,0) c Decisions_5 : 16443
26.90/12.23	c (1,0) c Decisions_6 : 11898
26.90/12.23	c (1,0) c Decisions_7 : 14914
26.90/12.23	c (1,0) c Decisions_total : 114615
26.90/12.23	c (1,0) c Decisions_winner : 12548
26.90/12.23	c (1,0) c Propagations_0 : 894631
26.90/12.23	c (1,0) c Propagations_1 : 994122
26.90/12.23	c (1,0) c Propagations_2 : 992122
26.90/12.23	c (1,0) c Propagations_3 : 889988
26.90/12.23	c (1,0) c Propagations_4 : 1042231
26.90/12.23	c (1,0) c Propagations_5 : 883293
26.90/12.23	c (1,0) c Propagations_6 : 831843
26.90/12.23	c (1,0) c Propagations_7 : 827483
26.90/12.23	c (1,0) c Propagations_total : 7355713
26.90/12.23	c (1,0) c Propagations_winner : 994122
26.90/12.23	c (1,0) c ReduceDBs_0 : 1
26.90/12.23	c (1,0) c ReduceDBs_1 : 1
26.90/12.23	c (1,0) c ReduceDBs_2 : 1
26.90/12.23	c (1,0) c ReduceDBs_3 : 1
26.90/12.23	c (1,0) c ReduceDBs_4 : 1
26.90/12.23	c (1,0) c ReduceDBs_5 : 1
26.90/12.23	c (1,0) c ReduceDBs_6 : 1
26.90/12.23	c (1,0) c ReduceDBs_7 : 1
26.90/12.23	c (1,0) c ReduceDBs_total : 8
26.90/12.23	c (1,0) c ReduceDBs_winner : 1
26.90/12.23	c (1,0) c SimpDBs_0 : 1
26.90/12.23	c (1,0) c SimpDBs_1 : 1
26.90/12.23	c (1,0) c SimpDBs_2 : 1
26.90/12.23	c (1,0) c SimpDBs_3 : 1
26.90/12.23	c (1,0) c SimpDBs_4 : 1
26.90/12.23	c (1,0) c SimpDBs_5 : 1
26.90/12.23	c (1,0) c SimpDBs_6 : 1
26.90/12.23	c (1,0) c SimpDBs_7 : 1
26.90/12.23	c (1,0) c SimpDBs_total : 8
26.90/12.23	c (1,0) c SimpDBs_winner : 1
26.90/12.23	c (1,0) c Restarts_0 : 29
26.90/12.23	c (1,0) c Restarts_1 : 37
26.90/12.23	c (1,0) c Restarts_2 : 28
26.90/12.23	c (1,0) c Restarts_3 : 11
26.90/12.23	c (1,0) c Restarts_4 : 19
26.90/12.23	c (1,0) c Restarts_5 : 17
26.90/12.23	c (1,0) c Restarts_6 : 23
26.90/12.23	c (1,0) c Restarts_7 : 19
26.90/12.23	c (1,0) c Restarts_total : 183
26.90/12.23	c (1,0) c Restarts_winner : 37
26.90/12.23	c (1,0) c ForcedImports_0 : 0
26.90/12.23	c (1,0) c ForcedImports_1 : 0
26.90/12.23	c (1,0) c ForcedImports_2 : 0
26.90/12.23	c (1,0) c ForcedImports_3 : 0
26.90/12.23	c (1,0) c ForcedImports_4 : 0
26.90/12.23	c (1,0) c ForcedImports_5 : 0
26.90/12.23	c (1,0) c ForcedImports_6 : 0
26.90/12.23	c (1,0) c ForcedImports_7 : 0
26.90/12.23	c (1,0) c ForcedImports_total : 0
26.90/12.23	c (1,0) c ForcedImports_winner : 0
26.90/12.23	c (1,0) c PropsBinClauses_0 : 1860971
26.90/12.23	c (1,0) c PropsBinClauses_1 : 2155521
26.90/12.23	c (1,0) c PropsBinClauses_2 : 2327997
26.90/12.23	c (1,0) c PropsBinClauses_3 : 2168620
26.90/12.23	c (1,0) c PropsBinClauses_4 : 2372576
26.90/12.23	c (1,0) c PropsBinClauses_5 : 2058706
26.90/12.23	c (1,0) c PropsBinClauses_6 : 1808970
26.90/12.23	c (1,0) c PropsBinClauses_7 : 1789750
26.90/12.23	c (1,0) c PropsBinClauses_total : 16543111
26.90/12.23	c (1,0) c PropsBinClauses_winner : 2155521
26.90/12.23	c (1,0) c PropsPreBlocker_0 : 9329242
26.90/12.23	c (1,0) c PropsPreBlocker_1 : 11338572
26.90/12.23	c (1,0) c PropsPreBlocker_2 : 11472611
26.90/12.23	c (1,0) c PropsPreBlocker_3 : 10558058
26.90/12.23	c (1,0) c PropsPreBlocker_4 : 12148984
26.90/12.23	c (1,0) c PropsPreBlocker_5 : 8768236
26.90/12.23	c (1,0) c PropsPreBlocker_6 : 9138944
26.90/12.23	c (1,0) c PropsPreBlocker_7 : 9041217
26.90/12.23	c (1,0) c PropsPreBlocker_total : 81795864
26.90/12.23	c (1,0) c PropsPreBlocker_winner : 11338572
26.90/12.23	c (1,0) c PropsNotBlocker_0 : 2420981
26.90/12.23	c (1,0) c PropsNotBlocker_1 : 3138000
26.90/12.23	c (1,0) c PropsNotBlocker_2 : 2986942
26.90/12.23	c (1,0) c PropsNotBlocker_3 : 2692703
26.90/12.23	c (1,0) c PropsNotBlocker_4 : 3094490
26.90/12.23	c (1,0) c PropsNotBlocker_5 : 2232832
26.90/12.23	c (1,0) c PropsNotBlocker_6 : 2528804
26.90/12.23	c (1,0) c PropsNotBlocker_7 : 2561599
26.90/12.23	c (1,0) c PropsNotBlocker_total : 21656351
26.90/12.23	c (1,0) c PropsNotBlocker_winner : 3138000
26.90/12.23	c (1,0) c PropsLitFullScans_0 : 18001501
26.90/12.23	c (1,0) c PropsLitFullScans_1 : 22530187
26.90/12.23	c (1,0) c PropsLitFullScans_2 : 22603152
26.90/12.23	c (1,0) c PropsLitFullScans_3 : 24007313
26.90/12.23	c (1,0) c PropsLitFullScans_4 : 24005928
26.90/12.23	c (1,0) c PropsLitFullScans_5 : 18010354
26.90/12.23	c (1,0) c PropsLitFullScans_6 : 18003249
26.90/12.23	c (1,0) c PropsLitFullScans_7 : 18001863
26.90/12.23	c (1,0) c PropsLitFullScans_total : 165163547
26.90/12.23	c (1,0) c PropsLitFullScans_winner : 22530187
26.90/12.23	c (1,0) c LitScanFractions_0 : 1215
26.90/12.23	c (1,0) c LitScanFractions_1 : 962
26.90/12.23	c (1,0) c LitScanFractions_2 : 827
26.90/12.23	c (1,0) c LitScanFractions_3 : 1202
26.90/12.23	c (1,0) c LitScanFractions_4 : 1778
26.90/12.23	c (1,0) c LitScanFractions_5 : 362
26.90/12.23	c (1,0) c LitScanFractions_6 : 906
26.90/12.23	c (1,0) c LitScanFractions_7 : 741
26.90/12.23	c (1,0) c LitScanFractions_total : 7993
26.90/12.23	c (1,0) c LitScanFractions_winner : 962
26.90/12.23	c (1,0) c DecisionLevel0_0 : 58
26.90/12.23	c (1,0) c DecisionLevel0_1 : 67
26.90/12.23	c (1,0) c DecisionLevel0_2 : 63
26.90/12.23	c (1,0) c DecisionLevel0_3 : 23
26.90/12.23	c (1,0) c DecisionLevel0_4 : 35
26.90/12.23	c (1,0) c DecisionLevel0_5 : 22
26.90/12.23	c (1,0) c DecisionLevel0_6 : 60
26.90/12.23	c (1,0) c DecisionLevel0_7 : 51
26.90/12.23	c (1,0) c DecisionLevel0_total : 379
26.90/12.23	c (1,0) c DecisionLevel0_winner : 67
26.90/12.23	c (1,0) c Periods_0 : 3
26.90/12.23	c (1,0) c Periods_1 : 3
26.90/12.23	c (1,0) c Periods_2 : 3
26.90/12.23	c (1,0) c Periods_3 : 4
26.90/12.23	c (1,0) c Periods_4 : 4
26.90/12.23	c (1,0) c Periods_5 : 3
26.90/12.23	c (1,0) c Periods_6 : 3
26.90/12.23	c (1,0) c Periods_7 : 3
26.90/12.23	c (1,0) c Periods_total : 26
26.90/12.23	c (1,0) c Periods_winner : 3
26.90/12.23	c (1,0) c Margin_0 : 20
26.90/12.23	c (1,0) c Margin_1 : 20
26.90/12.23	c (1,0) c Margin_2 : 20
26.90/12.23	c (1,0) c Margin_3 : 20
26.90/12.23	c (1,0) c Margin_4 : 20
26.90/12.24	c (1,0) c Margin_5 : 20
26.90/12.24	c (1,0) c Margin_6 : 20
26.90/12.24	c (1,0) c Margin_7 : 20
26.90/12.24	c (1,0) c Margin_total : 160
26.90/12.24	c (1,0) c Margin_winner : 20
26.90/12.24	c (1,0) c Exported_0 : 116
26.90/12.24	c (1,0) c Exported_1 : 129
26.90/12.24	c (1,0) c Exported_2 : 125
26.90/12.24	c (1,0) c Exported_3 : 58
26.90/12.24	c (1,0) c Exported_4 : 121
26.90/12.24	c (1,0) c Exported_5 : 90
26.90/12.24	c (1,0) c Exported_6 : 119
26.90/12.24	c (1,0) c Exported_7 : 99
26.90/12.24	c (1,0) c Exported_total : 857
26.90/12.24	c (1,0) c Exported_winner : 129
26.90/12.24	c (1,0) c Imported_0 : 0
26.90/12.24	c (1,0) c Imported_1 : 0
26.90/12.24	c (1,0) c Imported_2 : 0
26.90/12.24	c (1,0) c Imported_3 : 0
26.90/12.24	c (1,0) c Imported_4 : 0
26.90/12.24	c (1,0) c Imported_5 : 0
26.90/12.24	c (1,0) c Imported_6 : 0
26.90/12.24	c (1,0) c Imported_7 : 0
26.90/12.24	c (1,0) c Imported_total : 0
26.90/12.24	c (1,0) c Imported_winner : 0
26.90/12.24	c (1,0) c Good_0 : 0
26.90/12.24	c (1,0) c Good_1 : 0
26.90/12.24	c (1,0) c Good_2 : 0
26.90/12.24	c (1,0) c Good_3 : 0
26.90/12.24	c (1,0) c Good_4 : 0
26.90/12.24	c (1,0) c Good_5 : 0
26.90/12.24	c (1,0) c Good_6 : 0
26.90/12.24	c (1,0) c Good_7 : 0
26.90/12.24	c (1,0) c Good_total : 0
26.90/12.24	c (1,0) c Good_winner : 0
26.90/12.24	c (1,0) c Purge_0 : 0
26.90/12.24	c (1,0) c Purge_1 : 0
26.90/12.24	c (1,0) c Purge_2 : 0
26.90/12.24	c (1,0) c Purge_3 : 0
26.90/12.24	c (1,0) c Purge_4 : 0
26.90/12.24	c (1,0) c Purge_5 : 0
26.90/12.24	c (1,0) c Purge_6 : 0
26.90/12.24	c (1,0) c Purge_7 : 0
26.90/12.24	c (1,0) c Purge_total : 0
26.90/12.24	c (1,0) c Purge_winner : 0
26.90/12.24	c (1,0) c Promoted_0 : 0
26.90/12.24	c (1,0) c Promoted_1 : 0
26.90/12.24	c (1,0) c Promoted_2 : 0
26.90/12.24	c (1,0) c Promoted_3 : 0
26.90/12.24	c (1,0) c Promoted_4 : 0
26.90/12.24	c (1,0) c Promoted_5 : 0
26.90/12.24	c (1,0) c Promoted_6 : 0
26.90/12.24	c (1,0) c Promoted_7 : 0
26.90/12.24	c (1,0) c Promoted_total : 0
26.90/12.24	c (1,0) c Promoted_winner : 0
26.90/12.24	c (1,0) c Remove_Imp_0 : 0
26.90/12.24	c (1,0) c Remove_Imp_1 : 0
26.90/12.24	c (1,0) c Remove_Imp_2 : 0
26.90/12.24	c (1,0) c Remove_Imp_3 : 0
26.90/12.24	c (1,0) c Remove_Imp_4 : 0
26.90/12.24	c (1,0) c Remove_Imp_5 : 0
26.90/12.24	c (1,0) c Remove_Imp_6 : 0
26.90/12.24	c (1,0) c Remove_Imp_7 : 0
26.90/12.24	c (1,0) c Remove_Imp_total : 0
26.90/12.24	c (1,0) c Remove_Imp_winner : 0
26.90/12.24	c (1,0) c Blocked_Reuse_0 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_1 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_2 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_3 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_4 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_5 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_6 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_7 : 0
26.90/12.24	c (1,0) c Blocked_Reuse_total : 0
26.90/12.24	c (1,0) c Blocked_Reuse_winner : 0
26.90/12.24	c (1,0) c Unaries_0 : 29
26.90/12.24	c (1,0) c Unaries_1 : 30
26.90/12.24	c (1,0) c Unaries_2 : 35
26.90/12.24	c (1,0) c Unaries_3 : 12
26.90/12.24	c (1,0) c Unaries_4 : 16
26.90/12.24	c (1,0) c Unaries_5 : 5
26.90/12.24	c (1,0) c Unaries_6 : 37
26.90/12.24	c (1,0) c Unaries_7 : 32
26.90/12.24	c (1,0) c Unaries_total : 196
26.90/12.24	c (1,0) c Unaries_winner : 30
26.90/12.24	c (1,0) c Binaries_0 : 63
26.90/12.24	c (1,0) c Binaries_1 : 53
26.90/12.24	c (1,0) c Binaries_2 : 77
26.90/12.24	c (1,0) c Binaries_3 : 25
26.90/12.24	c (1,0) c Binaries_4 : 69
26.90/12.24	c (1,0) c Binaries_5 : 40
26.90/12.24	c (1,0) c Binaries_6 : 70
26.90/12.24	c (1,0) c Binaries_7 : 49
26.90/12.24	c (1,0) c Binaries_total : 446
26.90/12.24	c (1,0) c Binaries_winner : 53
26.90/12.24	c (1,0) c Glues_0 : 116
26.90/12.24	c (1,0) c Glues_1 : 129
26.90/12.24	c (1,0) c Glues_2 : 125
26.90/12.24	c (1,0) c Glues_3 : 58
26.90/12.24	c (1,0) c Glues_4 : 121
26.90/12.24	c (1,0) c Glues_5 : 90
26.90/12.24	c (1,0) c Glues_6 : 119
26.90/12.24	c (1,0) c Glues_7 : 99
26.90/12.24	c (1,0) c Glues_total : 857
26.90/12.24	c (1,0) c Glues_winner : 129
26.90/12.24	c (1,0) c RunningTime_0 : 0.401080
26.90/12.24	c (1,0) c RunningTime_1 : 0.380492
26.90/12.24	c (1,0) c RunningTime_2 : 0.386825
26.90/12.24	c (1,0) c RunningTime_3 : 0.433701
26.90/12.24	c (1,0) c RunningTime_4 : 0.390341
26.90/12.24	c (1,0) c RunningTime_5 : 0.401835
26.90/12.24	c (1,0) c RunningTime_6 : 0.387834
26.90/12.24	c (1,0) c RunningTime_7 : 0.395514
26.90/12.24	c (1,0) c RunningTime_total : 3.177622
26.90/12.24	c (1,0) c RunningTime_winner : 0.380492
26.90/12.24	c (1,0) c WaitingTime_0 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_1 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_2 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_3 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_4 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_5 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_6 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_7 : 0.000000
26.90/12.24	c (1,0) c WaitingTime_total : 0.000000
26.90/12.24	c (1,0) c WaitingTime_winner : 0.000000
26.90/12.24	c (1,0) c ExchangingTime_0 : 0.000262
26.90/12.24	c (1,0) c ExchangingTime_1 : 0.000270
26.90/12.24	c (1,0) c ExchangingTime_2 : 0.000278
26.90/12.24	c (1,0) c ExchangingTime_3 : 0.000217
26.90/12.24	c (1,0) c ExchangingTime_4 : 0.000279
26.90/12.24	c (1,0) c ExchangingTime_5 : 0.000210
26.90/12.24	c (1,0) c ExchangingTime_6 : 0.000279
26.90/12.24	c (1,0) c ExchangingTime_7 : 0.000233
26.90/12.24	c (1,0) c ExchangingTime_total : 0.002029
26.90/12.24	c (1,0) c ExchangingTime_winner : 0.000270
26.90/12.24	c (1,0) c PeriodProcTime_0 : 0.000022
26.90/12.24	c (1,0) c PeriodProcTime_1 : 0.000028
26.90/12.24	c (1,0) c PeriodProcTime_2 : 0.000045
26.90/12.24	c (1,0) c PeriodProcTime_3 : 0.000034
26.90/12.24	c (1,0) c PeriodProcTime_4 : 0.000059
26.90/12.24	c (1,0) c PeriodProcTime_5 : 0.000020
26.90/12.24	c (1,0) c PeriodProcTime_6 : 0.000024
26.90/12.24	c (1,0) c PeriodProcTime_7 : 0.000017
26.90/12.24	c (1,0) c PeriodProcTime_total : 0.000250
26.90/12.24	c (1,0) c PeriodProcTime_winner : 0.000028
26.90/12.24	c (1,0) c SolvingTime_0 : 0.401363
26.90/12.24	c (1,0) c SolvingTime_1 : 0.380790
26.90/12.24	c (1,0) c SolvingTime_2 : 0.387148
26.90/12.24	c (1,0) c SolvingTime_3 : 0.433953
26.90/12.24	c (1,0) c SolvingTime_4 : 0.390679
26.90/12.24	c (1,0) c SolvingTime_5 : 0.402066
26.90/12.24	c (1,0) c SolvingTime_6 : 0.388138
26.90/12.24	c (1,0) c SolvingTime_7 : 0.395764
26.90/12.24	c (1,0) c SolvingTime_total : 3.179901
26.90/12.24	c (1,0) c SolvingTime_winner : 0.380790
26.90/12.24	c (1,0) c PropagationTime_0 : 0.338745
26.90/12.24	c (1,0) c PropagationTime_1 : 0.313885
26.90/12.24	c (1,0) c PropagationTime_2 : 0.318130
26.90/12.24	c (1,0) c PropagationTime_3 : 0.315110
26.90/12.24	c (1,0) c PropagationTime_4 : 0.317618
26.90/12.24	c (1,0) c PropagationTime_5 : 0.330729
26.90/12.24	c (1,0) c PropagationTime_6 : 0.325604
26.90/12.24	c (1,0) c PropagationTime_7 : 0.333357
26.90/12.24	c (1,0) c PropagationTime_total : 2.593179
26.90/12.24	c (1,0) c PropagationTime_winner : 0.313885
26.90/12.24	c (1,0) c AnalysisTime_0 : 0.035100
26.90/12.24	c (1,0) c AnalysisTime_1 : 0.041013
26.90/12.24	c (1,0) c AnalysisTime_2 : 0.044761
26.90/12.24	c (1,0) c AnalysisTime_3 : 0.094238
26.90/12.24	c (1,0) c AnalysisTime_4 : 0.048213
26.90/12.24	c (1,0) c AnalysisTime_5 : 0.044026
26.90/12.24	c (1,0) c AnalysisTime_6 : 0.035559
26.90/12.24	c (1,0) c AnalysisTime_7 : 0.036944
26.90/12.24	c (1,0) c AnalysisTime_total : 0.379855
26.90/12.24	c (1,0) c AnalysisTime_winner : 0.041013
26.90/12.24	c (1,0) c ReductionTime_0 : 0.000352
26.90/12.24	c (1,0) c ReductionTime_1 : 0.000372
26.90/12.24	c (1,0) c ReductionTime_2 : 0.000347
26.90/12.24	c (1,0) c ReductionTime_3 : 0.000376
26.90/12.24	c (1,0) c ReductionTime_4 : 0.000368
26.90/12.24	c (1,0) c ReductionTime_5 : 0.000415
26.90/12.24	c (1,0) c ReductionTime_6 : 0.000360
26.90/12.24	c (1,0) c ReductionTime_7 : 0.000400
26.90/12.24	c (1,0) c ReductionTime_total : 0.002990
26.90/12.24	c (1,0) c ReductionTime_winner : 0.000372
26.90/12.24	c (1,0) c SimplifyTime_0 : 0.000006
26.90/12.24	c (1,0) c SimplifyTime_1 : 0.000007
26.90/12.24	c (1,0) c SimplifyTime_2 : 0.000004
26.90/12.24	c (1,0) c SimplifyTime_3 : 0.000003
26.90/12.24	c (1,0) c SimplifyTime_4 : 0.000002
26.90/12.24	c (1,0) c SimplifyTime_5 : 0.000000
26.90/12.24	c (1,0) c SimplifyTime_6 : 0.000002
26.90/12.24	c (1,0) c SimplifyTime_7 : 0.000005
26.90/12.24	c (1,0) c SimplifyTime_total : 0.000029
26.90/12.24	c (1,0) c SimplifyTime_winner : 0.000007
26.90/12.24	c (1,0) c UsedRateTime_0 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_1 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_2 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_3 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_4 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_5 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_6 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_7 : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_total : 0.000000
26.90/12.24	c (1,0) c UsedRateTime_winner : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_0 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_1 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_2 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_3 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_4 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_5 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_6 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_7 : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_total : 0.000000
26.90/12.24	c (1,0) c OverlapRateTime_winner : 0.000000
26.90/12.24	c (1,0) c
26.90/12.24	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
26.90/12.24	c (1,0) c
26.90/12.24	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.24	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
26.90/12.24	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.24	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
26.90/12.24	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
26.90/12.24	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
26.90/12.24	c (1,0) c | Initial random_seed   | 1801603092 |  953135671 | 1498483413 | 1001028559 | 1229458558 | 1001985816 |  584847220 | 1426900729 |
26.90/12.24	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
26.90/12.24	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
26.90/12.24	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
26.90/12.24	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
26.90/12.24	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
26.90/12.24	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
26.90/12.24	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
26.90/12.24	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
26.90/12.24	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
26.90/12.24	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
26.90/12.24	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
26.90/12.24	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.90/12.24	c (1,0) 
26.90/12.24	c (1,0) s SATISFIABLE
27.17/12.30	c (2,0) SatSolver.solve End
27.17/12.30	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.17/12.30	c (2,0) Show results Begin
27.35/12.48	c (2,0) x[0][0] = 0
27.35/12.48	c (2,0) x[0][1] = 0
27.35/12.48	c (2,0) x[0][2] = 0
27.35/12.48	c (2,0) x[0][3] = 0
27.35/12.48	c (2,0) x[0][4] = 0
27.35/12.48	c (2,0) x[0][5] = 0
27.35/12.48	c (2,0) x[0][6] = 0
27.35/12.48	c (2,0) x[0][7] = 0
27.35/12.48	c (2,0) x[0][8] = 0
27.35/12.48	c (2,0) x[0][9] = 0
27.35/12.48	c (2,0) x[0][10] = 0
27.35/12.48	c (2,0) x[0][11] = 0
27.35/12.48	c (2,0) x[0][12] = 0
27.35/12.48	c (2,0) x[0][13] = 0
27.35/12.48	c (2,0) x[0][14] = 0
27.35/12.48	c (2,0) x[0][15] = 0
27.35/12.48	c (2,0) x[0][16] = 0
27.35/12.48	c (2,0) x[0][17] = 0
27.35/12.48	c (2,0) x[0][18] = 0
27.35/12.48	c (2,0) x[0][19] = 0
27.35/12.48	c (2,0) x[0][20] = 0
27.35/12.48	c (2,0) x[0][21] = 0
27.35/12.48	c (2,0) x[0][22] = 0
27.35/12.48	c (2,0) x[0][23] = 0
27.35/12.48	c (2,0) x[0][24] = 1
27.35/12.48	c (2,0) x[0][25] = 1
27.35/12.48	c (2,0) x[0][26] = 1
27.35/12.48	c (2,0) x[0][27] = 1
27.35/12.48	c (2,0) x[0][28] = 1
27.35/12.48	c (2,0) x[0][29] = 1
27.35/12.48	c (2,0) x[1][0] = 0
27.35/12.48	c (2,0) x[1][1] = 0
27.35/12.48	c (2,0) x[1][2] = 0
27.35/12.48	c (2,0) x[1][3] = 0
27.35/12.48	c (2,0) x[1][4] = 0
27.35/12.48	c (2,0) x[1][5] = 0
27.35/12.48	c (2,0) x[1][6] = 0
27.35/12.48	c (2,0) x[1][7] = 0
27.35/12.48	c (2,0) x[1][8] = 0
27.35/12.48	c (2,0) x[1][9] = 0
27.35/12.48	c (2,0) x[1][10] = 0
27.35/12.48	c (2,0) x[1][11] = 0
27.35/12.48	c (2,0) x[1][12] = 0
27.35/12.48	c (2,0) x[1][13] = 0
27.35/12.48	c (2,0) x[1][14] = 0
27.35/12.48	c (2,0) x[1][15] = 0
27.35/12.48	c (2,0) x[1][16] = 0
27.35/12.48	c (2,0) x[1][17] = 0
27.35/12.48	c (2,0) x[1][18] = 0
27.35/12.48	c (2,0) x[1][19] = 1
27.35/12.48	c (2,0) x[1][20] = 1
27.35/12.48	c (2,0) x[1][21] = 1
27.35/12.48	c (2,0) x[1][22] = 1
27.35/12.48	c (2,0) x[1][23] = 1
27.35/12.48	c (2,0) x[1][24] = 0
27.35/12.48	c (2,0) x[1][25] = 0
27.35/12.48	c (2,0) x[1][26] = 0
27.35/12.48	c (2,0) x[1][27] = 0
27.35/12.48	c (2,0) x[1][28] = 0
27.35/12.48	c (2,0) x[1][29] = 1
27.35/12.48	c (2,0) x[2][0] = 0
27.35/12.48	c (2,0) x[2][1] = 0
27.35/12.48	c (2,0) x[2][2] = 0
27.35/12.48	c (2,0) x[2][3] = 0
27.35/12.48	c (2,0) x[2][4] = 0
27.35/12.48	c (2,0) x[2][5] = 0
27.35/12.48	c (2,0) x[2][6] = 0
27.35/12.48	c (2,0) x[2][7] = 0
27.35/12.48	c (2,0) x[2][8] = 0
27.35/12.48	c (2,0) x[2][9] = 0
27.35/12.48	c (2,0) x[2][10] = 0
27.35/12.48	c (2,0) x[2][11] = 0
27.35/12.48	c (2,0) x[2][12] = 0
27.35/12.48	c (2,0) x[2][13] = 0
27.35/12.48	c (2,0) x[2][14] = 1
27.35/12.48	c (2,0) x[2][15] = 1
27.35/12.48	c (2,0) x[2][16] = 1
27.35/12.48	c (2,0) x[2][17] = 1
27.35/12.48	c (2,0) x[2][18] = 1
27.35/12.48	c (2,0) x[2][19] = 0
27.35/12.48	c (2,0) x[2][20] = 0
27.35/12.48	c (2,0) x[2][21] = 0
27.35/12.48	c (2,0) x[2][22] = 0
27.35/12.48	c (2,0) x[2][23] = 0
27.35/12.48	c (2,0) x[2][24] = 0
27.35/12.48	c (2,0) x[2][25] = 0
27.35/12.49	c (2,0) x[2][26] = 0
27.35/12.49	c (2,0) x[2][27] = 0
27.35/12.49	c (2,0) x[2][28] = 0
27.35/12.49	c (2,0) x[2][29] = 1
27.35/12.49	c (2,0) x[3][0] = 0
27.35/12.49	c (2,0) x[3][1] = 0
27.35/12.49	c (2,0) x[3][2] = 0
27.35/12.49	c (2,0) x[3][3] = 0
27.35/12.49	c (2,0) x[3][4] = 0
27.35/12.49	c (2,0) x[3][5] = 0
27.35/12.49	c (2,0) x[3][6] = 0
27.35/12.49	c (2,0) x[3][7] = 0
27.35/12.49	c (2,0) x[3][8] = 0
27.35/12.49	c (2,0) x[3][9] = 1
27.35/12.49	c (2,0) x[3][10] = 1
27.35/12.49	c (2,0) x[3][11] = 1
27.35/12.49	c (2,0) x[3][12] = 1
27.35/12.49	c (2,0) x[3][13] = 1
27.35/12.49	c (2,0) x[3][14] = 0
27.35/12.49	c (2,0) x[3][15] = 0
27.35/12.49	c (2,0) x[3][16] = 0
27.35/12.49	c (2,0) x[3][17] = 0
27.35/12.49	c (2,0) x[3][18] = 0
27.35/12.49	c (2,0) x[3][19] = 0
27.35/12.49	c (2,0) x[3][20] = 0
27.35/12.49	c (2,0) x[3][21] = 0
27.35/12.49	c (2,0) x[3][22] = 0
27.35/12.49	c (2,0) x[3][23] = 0
27.35/12.49	c (2,0) x[3][24] = 0
27.35/12.49	c (2,0) x[3][25] = 0
27.35/12.49	c (2,0) x[3][26] = 0
27.35/12.49	c (2,0) x[3][27] = 0
27.35/12.49	c (2,0) x[3][28] = 0
27.35/12.49	c (2,0) x[3][29] = 1
27.35/12.49	c (2,0) x[4][0] = 0
27.35/12.49	c (2,0) x[4][1] = 0
27.35/12.49	c (2,0) x[4][2] = 0
27.35/12.49	c (2,0) x[4][3] = 0
27.35/12.49	c (2,0) x[4][4] = 1
27.35/12.49	c (2,0) x[4][5] = 1
27.35/12.49	c (2,0) x[4][6] = 1
27.35/12.49	c (2,0) x[4][7] = 1
27.35/12.49	c (2,0) x[4][8] = 1
27.35/12.49	c (2,0) x[4][9] = 0
27.35/12.49	c (2,0) x[4][10] = 0
27.35/12.49	c (2,0) x[4][11] = 0
27.35/12.49	c (2,0) x[4][12] = 0
27.35/12.49	c (2,0) x[4][13] = 0
27.35/12.49	c (2,0) x[4][14] = 0
27.35/12.49	c (2,0) x[4][15] = 0
27.35/12.49	c (2,0) x[4][16] = 0
27.35/12.49	c (2,0) x[4][17] = 0
27.35/12.49	c (2,0) x[4][18] = 0
27.35/12.49	c (2,0) x[4][19] = 0
27.35/12.49	c (2,0) x[4][20] = 0
27.35/12.49	c (2,0) x[4][21] = 0
27.35/12.49	c (2,0) x[4][22] = 0
27.35/12.49	c (2,0) x[4][23] = 0
27.35/12.49	c (2,0) x[4][24] = 0
27.35/12.49	c (2,0) x[4][25] = 0
27.35/12.49	c (2,0) x[4][26] = 0
27.35/12.49	c (2,0) x[4][27] = 0
27.35/12.49	c (2,0) x[4][28] = 0
27.35/12.49	c (2,0) x[4][29] = 1
27.35/12.49	c (2,0) x[5][0] = 0
27.35/12.49	c (2,0) x[5][1] = 0
27.35/12.49	c (2,0) x[5][2] = 0
27.35/12.49	c (2,0) x[5][3] = 1
27.35/12.49	c (2,0) x[5][4] = 0
27.35/12.49	c (2,0) x[5][5] = 0
27.35/12.49	c (2,0) x[5][6] = 0
27.35/12.49	c (2,0) x[5][7] = 0
27.35/12.49	c (2,0) x[5][8] = 1
27.35/12.49	c (2,0) x[5][9] = 0
27.35/12.49	c (2,0) x[5][10] = 0
27.35/12.49	c (2,0) x[5][11] = 0
27.35/12.49	c (2,0) x[5][12] = 0
27.35/12.49	c (2,0) x[5][13] = 1
27.35/12.49	c (2,0) x[5][14] = 0
27.35/12.49	c (2,0) x[5][15] = 0
27.35/12.49	c (2,0) x[5][16] = 0
27.35/12.49	c (2,0) x[5][17] = 0
27.35/12.49	c (2,0) x[5][18] = 1
27.35/12.49	c (2,0) x[5][19] = 0
27.35/12.49	c (2,0) x[5][20] = 0
27.35/12.49	c (2,0) x[5][21] = 0
27.35/12.49	c (2,0) x[5][22] = 0
27.35/12.49	c (2,0) x[5][23] = 1
27.35/12.49	c (2,0) x[5][24] = 0
27.35/12.49	c (2,0) x[5][25] = 0
27.35/12.49	c (2,0) x[5][26] = 0
27.35/12.49	c (2,0) x[5][27] = 0
27.35/12.49	c (2,0) x[5][28] = 1
27.35/12.49	c (2,0) x[5][29] = 0
27.35/12.49	c (2,0) x[6][0] = 0
27.35/12.49	c (2,0) x[6][1] = 0
27.35/12.49	c (2,0) x[6][2] = 0
27.35/12.49	c (2,0) x[6][3] = 1
27.35/12.49	c (2,0) x[6][4] = 0
27.35/12.49	c (2,0) x[6][5] = 0
27.35/12.49	c (2,0) x[6][6] = 0
27.35/12.49	c (2,0) x[6][7] = 1
27.35/12.49	c (2,0) x[6][8] = 0
27.35/12.49	c (2,0) x[6][9] = 0
27.35/12.49	c (2,0) x[6][10] = 0
27.35/12.49	c (2,0) x[6][11] = 0
27.35/12.49	c (2,0) x[6][12] = 1
27.35/12.49	c (2,0) x[6][13] = 0
27.35/12.49	c (2,0) x[6][14] = 0
27.35/12.49	c (2,0) x[6][15] = 0
27.35/12.49	c (2,0) x[6][16] = 0
27.35/12.49	c (2,0) x[6][17] = 1
27.35/12.49	c (2,0) x[6][18] = 0
27.35/12.49	c (2,0) x[6][19] = 0
27.35/12.49	c (2,0) x[6][20] = 0
27.35/12.49	c (2,0) x[6][21] = 0
27.35/12.49	c (2,0) x[6][22] = 1
27.35/12.49	c (2,0) x[6][23] = 0
27.35/12.49	c (2,0) x[6][24] = 0
27.35/12.49	c (2,0) x[6][25] = 0
27.35/12.49	c (2,0) x[6][26] = 0
27.35/12.49	c (2,0) x[6][27] = 1
27.35/12.49	c (2,0) x[6][28] = 0
27.35/12.49	c (2,0) x[6][29] = 0
27.35/12.49	c (2,0) x[7][0] = 0
27.35/12.49	c (2,0) x[7][1] = 0
27.35/12.49	c (2,0) x[7][2] = 0
27.35/12.49	c (2,0) x[7][3] = 1
27.35/12.49	c (2,0) x[7][4] = 0
27.35/12.49	c (2,0) x[7][5] = 0
27.35/12.49	c (2,0) x[7][6] = 1
27.35/12.49	c (2,0) x[7][7] = 0
27.35/12.49	c (2,0) x[7][8] = 0
27.35/12.49	c (2,0) x[7][9] = 0
27.35/12.49	c (2,0) x[7][10] = 0
27.35/12.49	c (2,0) x[7][11] = 1
27.35/12.49	c (2,0) x[7][12] = 0
27.35/12.49	c (2,0) x[7][13] = 0
27.35/12.49	c (2,0) x[7][14] = 0
27.35/12.49	c (2,0) x[7][15] = 0
27.35/12.49	c (2,0) x[7][16] = 1
27.35/12.49	c (2,0) x[7][17] = 0
27.35/12.49	c (2,0) x[7][18] = 0
27.35/12.49	c (2,0) x[7][19] = 0
27.35/12.49	c (2,0) x[7][20] = 0
27.35/12.49	c (2,0) x[7][21] = 1
27.35/12.49	c (2,0) x[7][22] = 0
27.35/12.49	c (2,0) x[7][23] = 0
27.35/12.49	c (2,0) x[7][24] = 0
27.35/12.49	c (2,0) x[7][25] = 0
27.35/12.49	c (2,0) x[7][26] = 1
27.35/12.49	c (2,0) x[7][27] = 0
27.35/12.49	c (2,0) x[7][28] = 0
27.35/12.49	c (2,0) x[7][29] = 0
27.35/12.49	c (2,0) x[8][0] = 0
27.35/12.49	c (2,0) x[8][1] = 0
27.35/12.49	c (2,0) x[8][2] = 0
27.35/12.49	c (2,0) x[8][3] = 1
27.35/12.49	c (2,0) x[8][4] = 0
27.35/12.49	c (2,0) x[8][5] = 1
27.35/12.49	c (2,0) x[8][6] = 0
27.35/12.49	c (2,0) x[8][7] = 0
27.35/12.49	c (2,0) x[8][8] = 0
27.35/12.49	c (2,0) x[8][9] = 0
27.35/12.49	c (2,0) x[8][10] = 1
27.35/12.49	c (2,0) x[8][11] = 0
27.35/12.49	c (2,0) x[8][12] = 0
27.35/12.49	c (2,0) x[8][13] = 0
27.35/12.49	c (2,0) x[8][14] = 0
27.35/12.49	c (2,0) x[8][15] = 1
27.35/12.49	c (2,0) x[8][16] = 0
27.35/12.49	c (2,0) x[8][17] = 0
27.35/12.49	c (2,0) x[8][18] = 0
27.35/12.49	c (2,0) x[8][19] = 0
27.35/12.49	c (2,0) x[8][20] = 1
27.35/12.49	c (2,0) x[8][21] = 0
27.35/12.49	c (2,0) x[8][22] = 0
27.35/12.49	c (2,0) x[8][23] = 0
27.35/12.49	c (2,0) x[8][24] = 0
27.35/12.49	c (2,0) x[8][25] = 1
27.35/12.49	c (2,0) x[8][26] = 0
27.35/12.49	c (2,0) x[8][27] = 0
27.35/12.49	c (2,0) x[8][28] = 0
27.35/12.49	c (2,0) x[8][29] = 0
27.35/12.49	c (2,0) x[9][0] = 0
27.35/12.49	c (2,0) x[9][1] = 0
27.35/12.49	c (2,0) x[9][2] = 0
27.35/12.49	c (2,0) x[9][3] = 1
27.35/12.49	c (2,0) x[9][4] = 1
27.35/12.49	c (2,0) x[9][5] = 0
27.35/12.49	c (2,0) x[9][6] = 0
27.35/12.49	c (2,0) x[9][7] = 0
27.35/12.49	c (2,0) x[9][8] = 0
27.35/12.49	c (2,0) x[9][9] = 1
27.35/12.49	c (2,0) x[9][10] = 0
27.35/12.49	c (2,0) x[9][11] = 0
27.35/12.49	c (2,0) x[9][12] = 0
27.35/12.49	c (2,0) x[9][13] = 0
27.35/12.49	c (2,0) x[9][14] = 1
27.35/12.49	c (2,0) x[9][15] = 0
27.35/12.49	c (2,0) x[9][16] = 0
27.35/12.49	c (2,0) x[9][17] = 0
27.35/12.49	c (2,0) x[9][18] = 0
27.35/12.49	c (2,0) x[9][19] = 1
27.35/12.49	c (2,0) x[9][20] = 0
27.35/12.49	c (2,0) x[9][21] = 0
27.35/12.49	c (2,0) x[9][22] = 0
27.35/12.49	c (2,0) x[9][23] = 0
27.35/12.49	c (2,0) x[9][24] = 1
27.35/12.49	c (2,0) x[9][25] = 0
27.35/12.49	c (2,0) x[9][26] = 0
27.35/12.49	c (2,0) x[9][27] = 0
27.35/12.49	c (2,0) x[9][28] = 0
27.35/12.49	c (2,0) x[9][29] = 0
27.35/12.49	c (2,0) x[10][0] = 0
27.35/12.49	c (2,0) x[10][1] = 0
27.35/12.49	c (2,0) x[10][2] = 1
27.35/12.49	c (2,0) x[10][3] = 0
27.35/12.49	c (2,0) x[10][4] = 0
27.35/12.49	c (2,0) x[10][5] = 0
27.35/12.49	c (2,0) x[10][6] = 0
27.35/12.49	c (2,0) x[10][7] = 0
27.35/12.49	c (2,0) x[10][8] = 1
27.35/12.49	c (2,0) x[10][9] = 0
27.35/12.49	c (2,0) x[10][10] = 1
27.35/12.49	c (2,0) x[10][11] = 0
27.35/12.49	c (2,0) x[10][12] = 0
27.35/12.49	c (2,0) x[10][13] = 0
27.35/12.49	c (2,0) x[10][14] = 0
27.35/12.49	c (2,0) x[10][15] = 0
27.35/12.49	c (2,0) x[10][16] = 1
27.35/12.49	c (2,0) x[10][17] = 0
27.35/12.49	c (2,0) x[10][18] = 0
27.35/12.49	c (2,0) x[10][19] = 1
27.35/12.49	c (2,0) x[10][20] = 0
27.35/12.49	c (2,0) x[10][21] = 0
27.35/12.49	c (2,0) x[10][22] = 0
27.35/12.49	c (2,0) x[10][23] = 0
27.35/12.49	c (2,0) x[10][24] = 0
27.35/12.49	c (2,0) x[10][25] = 0
27.35/12.49	c (2,0) x[10][26] = 0
27.35/12.49	c (2,0) x[10][27] = 1
27.35/12.49	c (2,0) x[10][28] = 0
27.35/12.49	c (2,0) x[10][29] = 0
27.35/12.49	c (2,0) x[11][0] = 0
27.35/12.49	c (2,0) x[11][1] = 0
27.35/12.49	c (2,0) x[11][2] = 1
27.35/12.49	c (2,0) x[11][3] = 0
27.35/12.49	c (2,0) x[11][4] = 0
27.35/12.49	c (2,0) x[11][5] = 0
27.35/12.49	c (2,0) x[11][6] = 0
27.35/12.49	c (2,0) x[11][7] = 1
27.35/12.49	c (2,0) x[11][8] = 0
27.35/12.49	c (2,0) x[11][9] = 1
27.35/12.49	c (2,0) x[11][10] = 0
27.35/12.49	c (2,0) x[11][11] = 0
27.35/12.49	c (2,0) x[11][12] = 0
27.35/12.49	c (2,0) x[11][13] = 0
27.35/12.49	c (2,0) x[11][14] = 0
27.35/12.49	c (2,0) x[11][15] = 1
27.35/12.49	c (2,0) x[11][16] = 0
27.35/12.49	c (2,0) x[11][17] = 0
27.35/12.49	c (2,0) x[11][18] = 0
27.35/12.49	c (2,0) x[11][19] = 0
27.35/12.49	c (2,0) x[11][20] = 0
27.35/12.49	c (2,0) x[11][21] = 0
27.35/12.49	c (2,0) x[11][22] = 0
27.35/12.49	c (2,0) x[11][23] = 1
27.35/12.49	c (2,0) x[11][24] = 0
27.35/12.49	c (2,0) x[11][25] = 0
27.35/12.49	c (2,0) x[11][26] = 1
27.35/12.49	c (2,0) x[11][27] = 0
27.35/12.49	c (2,0) x[11][28] = 0
27.35/12.49	c (2,0) x[11][29] = 0
27.35/12.49	c (2,0) x[12][0] = 0
27.35/12.49	c (2,0) x[12][1] = 0
27.35/12.49	c (2,0) x[12][2] = 1
27.35/12.49	c (2,0) x[12][3] = 0
27.35/12.49	c (2,0) x[12][4] = 0
27.35/12.49	c (2,0) x[12][5] = 0
27.35/12.49	c (2,0) x[12][6] = 1
27.35/12.49	c (2,0) x[12][7] = 0
27.35/12.49	c (2,0) x[12][8] = 0
27.35/12.49	c (2,0) x[12][9] = 0
27.35/12.49	c (2,0) x[12][10] = 0
27.35/12.49	c (2,0) x[12][11] = 0
27.35/12.49	c (2,0) x[12][12] = 0
27.35/12.49	c (2,0) x[12][13] = 1
27.35/12.49	c (2,0) x[12][14] = 1
27.35/12.49	c (2,0) x[12][15] = 0
27.35/12.49	c (2,0) x[12][16] = 0
27.35/12.49	c (2,0) x[12][17] = 0
27.35/12.49	c (2,0) x[12][18] = 0
27.35/12.49	c (2,0) x[12][19] = 0
27.35/12.49	c (2,0) x[12][20] = 0
27.35/12.49	c (2,0) x[12][21] = 0
27.35/12.49	c (2,0) x[12][22] = 1
27.35/12.49	c (2,0) x[12][23] = 0
27.35/12.49	c (2,0) x[12][24] = 0
27.35/12.49	c (2,0) x[12][25] = 1
27.35/12.49	c (2,0) x[12][26] = 0
27.35/12.49	c (2,0) x[12][27] = 0
27.35/12.49	c (2,0) x[12][28] = 0
27.35/12.49	c (2,0) x[12][29] = 0
27.35/12.49	c (2,0) x[13][0] = 0
27.35/12.49	c (2,0) x[13][1] = 0
27.35/12.49	c (2,0) x[13][2] = 1
27.35/12.49	c (2,0) x[13][3] = 0
27.35/12.49	c (2,0) x[13][4] = 0
27.35/12.49	c (2,0) x[13][5] = 1
27.35/12.49	c (2,0) x[13][6] = 0
27.35/12.49	c (2,0) x[13][7] = 0
27.35/12.49	c (2,0) x[13][8] = 0
27.35/12.49	c (2,0) x[13][9] = 0
27.35/12.49	c (2,0) x[13][10] = 0
27.35/12.49	c (2,0) x[13][11] = 0
27.35/12.49	c (2,0) x[13][12] = 1
27.35/12.49	c (2,0) x[13][13] = 0
27.35/12.50	c (2,0) x[13][14] = 0
27.35/12.50	c (2,0) x[13][15] = 0
27.35/12.50	c (2,0) x[13][16] = 0
27.35/12.50	c (2,0) x[13][17] = 0
27.35/12.50	c (2,0) x[13][18] = 1
27.35/12.50	c (2,0) x[13][19] = 0
27.35/12.50	c (2,0) x[13][20] = 0
27.35/12.50	c (2,0) x[13][21] = 1
27.35/12.50	c (2,0) x[13][22] = 0
27.35/12.50	c (2,0) x[13][23] = 0
27.35/12.50	c (2,0) x[13][24] = 1
27.35/12.50	c (2,0) x[13][25] = 0
27.35/12.50	c (2,0) x[13][26] = 0
27.35/12.50	c (2,0) x[13][27] = 0
27.35/12.50	c (2,0) x[13][28] = 0
27.35/12.50	c (2,0) x[13][29] = 0
27.35/12.50	c (2,0) x[14][0] = 0
27.35/12.50	c (2,0) x[14][1] = 0
27.35/12.50	c (2,0) x[14][2] = 1
27.35/12.50	c (2,0) x[14][3] = 0
27.35/12.50	c (2,0) x[14][4] = 1
27.35/12.50	c (2,0) x[14][5] = 0
27.35/12.50	c (2,0) x[14][6] = 0
27.35/12.50	c (2,0) x[14][7] = 0
27.35/12.50	c (2,0) x[14][8] = 0
27.35/12.50	c (2,0) x[14][9] = 0
27.35/12.50	c (2,0) x[14][10] = 0
27.35/12.50	c (2,0) x[14][11] = 1
27.35/12.50	c (2,0) x[14][12] = 0
27.35/12.50	c (2,0) x[14][13] = 0
27.35/12.50	c (2,0) x[14][14] = 0
27.35/12.50	c (2,0) x[14][15] = 0
27.35/12.50	c (2,0) x[14][16] = 0
27.35/12.50	c (2,0) x[14][17] = 1
27.35/12.50	c (2,0) x[14][18] = 0
27.35/12.50	c (2,0) x[14][19] = 0
27.35/12.50	c (2,0) x[14][20] = 1
27.35/12.50	c (2,0) x[14][21] = 0
27.35/12.50	c (2,0) x[14][22] = 0
27.35/12.50	c (2,0) x[14][23] = 0
27.35/12.50	c (2,0) x[14][24] = 0
27.35/12.50	c (2,0) x[14][25] = 0
27.35/12.50	c (2,0) x[14][26] = 0
27.35/12.50	c (2,0) x[14][27] = 0
27.35/12.50	c (2,0) x[14][28] = 1
27.35/12.50	c (2,0) x[14][29] = 0
27.35/12.50	c (2,0) x[15][0] = 0
27.35/12.50	c (2,0) x[15][1] = 1
27.35/12.50	c (2,0) x[15][2] = 0
27.35/12.50	c (2,0) x[15][3] = 0
27.35/12.50	c (2,0) x[15][4] = 0
27.35/12.50	c (2,0) x[15][5] = 0
27.35/12.50	c (2,0) x[15][6] = 0
27.35/12.50	c (2,0) x[15][7] = 0
27.35/12.50	c (2,0) x[15][8] = 1
27.35/12.50	c (2,0) x[15][9] = 0
27.35/12.50	c (2,0) x[15][10] = 0
27.35/12.50	c (2,0) x[15][11] = 0
27.35/12.50	c (2,0) x[15][12] = 1
27.35/12.50	c (2,0) x[15][13] = 0
27.35/12.50	c (2,0) x[15][14] = 1
27.35/12.50	c (2,0) x[15][15] = 0
27.35/12.50	c (2,0) x[15][16] = 0
27.35/12.50	c (2,0) x[15][17] = 0
27.35/12.50	c (2,0) x[15][18] = 0
27.35/12.50	c (2,0) x[15][19] = 0
27.35/12.50	c (2,0) x[15][20] = 1
27.35/12.50	c (2,0) x[15][21] = 0
27.35/12.50	c (2,0) x[15][22] = 0
27.35/12.50	c (2,0) x[15][23] = 0
27.35/12.50	c (2,0) x[15][24] = 0
27.35/12.50	c (2,0) x[15][25] = 0
27.35/12.50	c (2,0) x[15][26] = 1
27.35/12.50	c (2,0) x[15][27] = 0
27.35/12.50	c (2,0) x[15][28] = 0
27.35/12.50	c (2,0) x[15][29] = 0
27.35/12.50	c (2,0) x[16][0] = 0
27.35/12.50	c (2,0) x[16][1] = 1
27.35/12.50	c (2,0) x[16][2] = 0
27.35/12.50	c (2,0) x[16][3] = 0
27.35/12.50	c (2,0) x[16][4] = 0
27.35/12.50	c (2,0) x[16][5] = 0
27.35/12.50	c (2,0) x[16][6] = 0
27.35/12.50	c (2,0) x[16][7] = 1
27.35/12.50	c (2,0) x[16][8] = 0
27.35/12.50	c (2,0) x[16][9] = 0
27.35/12.50	c (2,0) x[16][10] = 0
27.35/12.50	c (2,0) x[16][11] = 1
27.35/12.50	c (2,0) x[16][12] = 0
27.35/12.50	c (2,0) x[16][13] = 0
27.35/12.50	c (2,0) x[16][14] = 0
27.35/12.50	c (2,0) x[16][15] = 0
27.35/12.50	c (2,0) x[16][16] = 0
27.35/12.50	c (2,0) x[16][17] = 0
27.35/12.50	c (2,0) x[16][18] = 1
27.35/12.50	c (2,0) x[16][19] = 1
27.35/12.50	c (2,0) x[16][20] = 0
27.35/12.50	c (2,0) x[16][21] = 0
27.35/12.50	c (2,0) x[16][22] = 0
27.35/12.50	c (2,0) x[16][23] = 0
27.35/12.50	c (2,0) x[16][24] = 0
27.35/12.50	c (2,0) x[16][25] = 1
27.35/12.50	c (2,0) x[16][26] = 0
27.35/12.50	c (2,0) x[16][27] = 0
27.35/12.50	c (2,0) x[16][28] = 0
27.35/12.50	c (2,0) x[16][29] = 0
27.35/12.50	c (2,0) x[17][0] = 0
27.35/12.50	c (2,0) x[17][1] = 1
27.35/12.50	c (2,0) x[17][2] = 0
27.35/12.50	c (2,0) x[17][3] = 0
27.35/12.50	c (2,0) x[17][4] = 0
27.35/12.50	c (2,0) x[17][5] = 0
27.35/12.50	c (2,0) x[17][6] = 1
27.35/12.50	c (2,0) x[17][7] = 0
27.35/12.50	c (2,0) x[17][8] = 0
27.35/12.50	c (2,0) x[17][9] = 0
27.35/12.50	c (2,0) x[17][10] = 1
27.35/12.50	c (2,0) x[17][11] = 0
27.35/12.50	c (2,0) x[17][12] = 0
27.35/12.50	c (2,0) x[17][13] = 0
27.35/12.50	c (2,0) x[17][14] = 0
27.35/12.50	c (2,0) x[17][15] = 0
27.35/12.50	c (2,0) x[17][16] = 0
27.35/12.50	c (2,0) x[17][17] = 1
27.35/12.50	c (2,0) x[17][18] = 0
27.35/12.50	c (2,0) x[17][19] = 0
27.35/12.50	c (2,0) x[17][20] = 0
27.35/12.50	c (2,0) x[17][21] = 0
27.35/12.50	c (2,0) x[17][22] = 0
27.35/12.50	c (2,0) x[17][23] = 1
27.35/12.50	c (2,0) x[17][24] = 1
27.35/12.50	c (2,0) x[17][25] = 0
27.35/12.50	c (2,0) x[17][26] = 0
27.35/12.50	c (2,0) x[17][27] = 0
27.35/12.50	c (2,0) x[17][28] = 0
27.35/12.50	c (2,0) x[17][29] = 0
27.35/12.50	c (2,0) x[18][0] = 0
27.35/12.50	c (2,0) x[18][1] = 1
27.35/12.50	c (2,0) x[18][2] = 0
27.35/12.50	c (2,0) x[18][3] = 0
27.35/12.50	c (2,0) x[18][4] = 0
27.35/12.50	c (2,0) x[18][5] = 1
27.35/12.50	c (2,0) x[18][6] = 0
27.35/12.50	c (2,0) x[18][7] = 0
27.35/12.50	c (2,0) x[18][8] = 0
27.35/12.50	c (2,0) x[18][9] = 1
27.35/12.50	c (2,0) x[18][10] = 0
27.35/12.50	c (2,0) x[18][11] = 0
27.35/12.50	c (2,0) x[18][12] = 0
27.35/12.50	c (2,0) x[18][13] = 0
27.35/12.50	c (2,0) x[18][14] = 0
27.35/12.50	c (2,0) x[18][15] = 0
27.35/12.50	c (2,0) x[18][16] = 1
27.35/12.50	c (2,0) x[18][17] = 0
27.35/12.50	c (2,0) x[18][18] = 0
27.35/12.50	c (2,0) x[18][19] = 0
27.35/12.50	c (2,0) x[18][20] = 0
27.35/12.50	c (2,0) x[18][21] = 0
27.35/12.50	c (2,0) x[18][22] = 1
27.35/12.50	c (2,0) x[18][23] = 0
27.35/12.50	c (2,0) x[18][24] = 0
27.35/12.50	c (2,0) x[18][25] = 0
27.35/12.50	c (2,0) x[18][26] = 0
27.35/12.50	c (2,0) x[18][27] = 0
27.35/12.50	c (2,0) x[18][28] = 1
27.35/12.50	c (2,0) x[18][29] = 0
27.35/12.50	c (2,0) x[19][0] = 0
27.35/12.50	c (2,0) x[19][1] = 1
27.35/12.50	c (2,0) x[19][2] = 0
27.35/12.50	c (2,0) x[19][3] = 0
27.35/12.50	c (2,0) x[19][4] = 1
27.35/12.50	c (2,0) x[19][5] = 0
27.35/12.50	c (2,0) x[19][6] = 0
27.35/12.50	c (2,0) x[19][7] = 0
27.35/12.50	c (2,0) x[19][8] = 0
27.35/12.50	c (2,0) x[19][9] = 0
27.35/12.50	c (2,0) x[19][10] = 0
27.35/12.50	c (2,0) x[19][11] = 0
27.35/12.50	c (2,0) x[19][12] = 0
27.35/12.50	c (2,0) x[19][13] = 1
27.35/12.50	c (2,0) x[19][14] = 0
27.35/12.50	c (2,0) x[19][15] = 1
27.35/12.50	c (2,0) x[19][16] = 0
27.35/12.50	c (2,0) x[19][17] = 0
27.35/12.50	c (2,0) x[19][18] = 0
27.35/12.50	c (2,0) x[19][19] = 0
27.35/12.50	c (2,0) x[19][20] = 0
27.35/12.50	c (2,0) x[19][21] = 1
27.35/12.50	c (2,0) x[19][22] = 0
27.35/12.50	c (2,0) x[19][23] = 0
27.35/12.50	c (2,0) x[19][24] = 0
27.35/12.50	c (2,0) x[19][25] = 0
27.35/12.50	c (2,0) x[19][26] = 0
27.35/12.50	c (2,0) x[19][27] = 1
27.35/12.50	c (2,0) x[19][28] = 0
27.35/12.50	c (2,0) x[19][29] = 0
27.35/12.50	c (2,0) x[20][0] = 1
27.35/12.50	c (2,0) x[20][1] = 0
27.35/12.50	c (2,0) x[20][2] = 0
27.35/12.50	c (2,0) x[20][3] = 0
27.35/12.50	c (2,0) x[20][4] = 0
27.35/12.50	c (2,0) x[20][5] = 0
27.35/12.50	c (2,0) x[20][6] = 0
27.35/12.50	c (2,0) x[20][7] = 0
27.35/12.50	c (2,0) x[20][8] = 1
27.35/12.50	c (2,0) x[20][9] = 0
27.35/12.50	c (2,0) x[20][10] = 0
27.35/12.50	c (2,0) x[20][11] = 1
27.35/12.50	c (2,0) x[20][12] = 0
27.35/12.50	c (2,0) x[20][13] = 0
27.35/12.50	c (2,0) x[20][14] = 0
27.35/12.50	c (2,0) x[20][15] = 1
27.35/12.50	c (2,0) x[20][16] = 0
27.35/12.50	c (2,0) x[20][17] = 0
27.35/12.50	c (2,0) x[20][18] = 0
27.35/12.50	c (2,0) x[20][19] = 0
27.35/12.50	c (2,0) x[20][20] = 0
27.35/12.50	c (2,0) x[20][21] = 0
27.35/12.50	c (2,0) x[20][22] = 1
27.35/12.50	c (2,0) x[20][23] = 0
27.35/12.50	c (2,0) x[20][24] = 1
27.35/12.50	c (2,0) x[20][25] = 0
27.35/12.50	c (2,0) x[20][26] = 0
27.35/12.50	c (2,0) x[20][27] = 0
27.35/12.50	c (2,0) x[20][28] = 0
27.35/12.50	c (2,0) x[20][29] = 0
27.35/12.50	c (2,0) x[21][0] = 1
27.35/12.50	c (2,0) x[21][1] = 0
27.35/12.50	c (2,0) x[21][2] = 0
27.35/12.50	c (2,0) x[21][3] = 0
27.35/12.50	c (2,0) x[21][4] = 0
27.35/12.50	c (2,0) x[21][5] = 0
27.35/12.50	c (2,0) x[21][6] = 0
27.35/12.50	c (2,0) x[21][7] = 1
27.35/12.50	c (2,0) x[21][8] = 0
27.35/12.50	c (2,0) x[21][9] = 0
27.35/12.50	c (2,0) x[21][10] = 1
27.35/12.50	c (2,0) x[21][11] = 0
27.35/12.50	c (2,0) x[21][12] = 0
27.35/12.50	c (2,0) x[21][13] = 0
27.35/12.50	c (2,0) x[21][14] = 1
27.35/12.50	c (2,0) x[21][15] = 0
27.35/12.50	c (2,0) x[21][16] = 0
27.35/12.50	c (2,0) x[21][17] = 0
27.35/12.50	c (2,0) x[21][18] = 0
27.35/12.50	c (2,0) x[21][19] = 0
27.35/12.50	c (2,0) x[21][20] = 0
27.35/12.50	c (2,0) x[21][21] = 1
27.35/12.50	c (2,0) x[21][22] = 0
27.35/12.50	c (2,0) x[21][23] = 0
27.35/12.50	c (2,0) x[21][24] = 0
27.35/12.50	c (2,0) x[21][25] = 0
27.35/12.50	c (2,0) x[21][26] = 0
27.35/12.50	c (2,0) x[21][27] = 0
27.35/12.50	c (2,0) x[21][28] = 1
27.35/12.50	c (2,0) x[21][29] = 0
27.35/12.50	c (2,0) x[22][0] = 1
27.35/12.50	c (2,0) x[22][1] = 0
27.35/12.50	c (2,0) x[22][2] = 0
27.35/12.50	c (2,0) x[22][3] = 0
27.35/12.50	c (2,0) x[22][4] = 0
27.35/12.50	c (2,0) x[22][5] = 0
27.35/12.50	c (2,0) x[22][6] = 1
27.35/12.50	c (2,0) x[22][7] = 0
27.35/12.50	c (2,0) x[22][8] = 0
27.35/12.50	c (2,0) x[22][9] = 1
27.35/12.50	c (2,0) x[22][10] = 0
27.35/12.50	c (2,0) x[22][11] = 0
27.35/12.50	c (2,0) x[22][12] = 0
27.35/12.50	c (2,0) x[22][13] = 0
27.35/12.50	c (2,0) x[22][14] = 0
27.35/12.50	c (2,0) x[22][15] = 0
27.64/12.50	c (2,0) x[22][16] = 0
27.64/12.50	c (2,0) x[22][17] = 0
27.64/12.50	c (2,0) x[22][18] = 1
27.64/12.50	c (2,0) x[22][19] = 0
27.64/12.50	c (2,0) x[22][20] = 1
27.64/12.50	c (2,0) x[22][21] = 0
27.64/12.50	c (2,0) x[22][22] = 0
27.64/12.50	c (2,0) x[22][23] = 0
27.64/12.50	c (2,0) x[22][24] = 0
27.64/12.50	c (2,0) x[22][25] = 0
27.64/12.50	c (2,0) x[22][26] = 0
27.64/12.50	c (2,0) x[22][27] = 1
27.64/12.50	c (2,0) x[22][28] = 0
27.64/12.50	c (2,0) x[22][29] = 0
27.64/12.50	c (2,0) x[23][0] = 1
27.64/12.50	c (2,0) x[23][1] = 0
27.64/12.50	c (2,0) x[23][2] = 0
27.64/12.50	c (2,0) x[23][3] = 0
27.64/12.50	c (2,0) x[23][4] = 0
27.64/12.50	c (2,0) x[23][5] = 1
27.64/12.50	c (2,0) x[23][6] = 0
27.64/12.50	c (2,0) x[23][7] = 0
27.64/12.50	c (2,0) x[23][8] = 0
27.64/12.50	c (2,0) x[23][9] = 0
27.64/12.50	c (2,0) x[23][10] = 0
27.64/12.50	c (2,0) x[23][11] = 0
27.64/12.50	c (2,0) x[23][12] = 0
27.64/12.50	c (2,0) x[23][13] = 1
27.64/12.50	c (2,0) x[23][14] = 0
27.64/12.50	c (2,0) x[23][15] = 0
27.64/12.50	c (2,0) x[23][16] = 0
27.64/12.50	c (2,0) x[23][17] = 1
27.64/12.50	c (2,0) x[23][18] = 0
27.64/12.50	c (2,0) x[23][19] = 1
27.64/12.50	c (2,0) x[23][20] = 0
27.64/12.50	c (2,0) x[23][21] = 0
27.64/12.50	c (2,0) x[23][22] = 0
27.64/12.50	c (2,0) x[23][23] = 0
27.64/12.50	c (2,0) x[23][24] = 0
27.64/12.50	c (2,0) x[23][25] = 0
27.64/12.50	c (2,0) x[23][26] = 1
27.64/12.50	c (2,0) x[23][27] = 0
27.64/12.50	c (2,0) x[23][28] = 0
27.64/12.50	c (2,0) x[23][29] = 0
27.64/12.50	c (2,0) x[24][0] = 1
27.64/12.50	c (2,0) x[24][1] = 0
27.64/12.50	c (2,0) x[24][2] = 0
27.64/12.50	c (2,0) x[24][3] = 0
27.64/12.50	c (2,0) x[24][4] = 1
27.64/12.50	c (2,0) x[24][5] = 0
27.64/12.50	c (2,0) x[24][6] = 0
27.64/12.50	c (2,0) x[24][7] = 0
27.64/12.50	c (2,0) x[24][8] = 0
27.64/12.50	c (2,0) x[24][9] = 0
27.64/12.50	c (2,0) x[24][10] = 0
27.64/12.50	c (2,0) x[24][11] = 0
27.64/12.50	c (2,0) x[24][12] = 1
27.64/12.50	c (2,0) x[24][13] = 0
27.64/12.50	c (2,0) x[24][14] = 0
27.64/12.50	c (2,0) x[24][15] = 0
27.64/12.50	c (2,0) x[24][16] = 1
27.64/12.50	c (2,0) x[24][17] = 0
27.64/12.50	c (2,0) x[24][18] = 0
27.64/12.50	c (2,0) x[24][19] = 0
27.64/12.50	c (2,0) x[24][20] = 0
27.64/12.50	c (2,0) x[24][21] = 0
27.64/12.50	c (2,0) x[24][22] = 0
27.64/12.50	c (2,0) x[24][23] = 1
27.64/12.50	c (2,0) x[24][24] = 0
27.64/12.50	c (2,0) x[24][25] = 1
27.64/12.50	c (2,0) x[24][26] = 0
27.64/12.50	c (2,0) x[24][27] = 0
27.64/12.50	c (2,0) x[24][28] = 0
27.64/12.50	c (2,0) x[24][29] = 0
27.64/12.50	s SATISFIABLE
27.64/12.51	v <instantiation>
27.64/12.51	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>
27.64/12.51	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 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 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 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 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 0 1 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 0 0 1 0 0 0 1 0 1 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 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0</values>
27.64/12.51	v </instantiation>
27.64/12.51	c (2,0) Show results End
27.64/12.51	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
27.64/12.51	c (2,0) 2,2,STOP-AFTER(ALL)
27.64/12.51	c END-Prog: Mon Sep 23 13:18:09 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 (13568 MiB free)
  memory of node 1: 16384 MiB (12079 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100133 s]*
/proc/loadavg: 8.13 8.15 7.41 2/210 21098
/proc/meminfo: memFree=26170528/32770624 swapFree=66956612/67108860
[pid=21076] ppid=21073 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21076/stat : 21076 (scop.sh) S 21073 21076 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500375467 115843072 349 33554432000 4194304 5098028 140726188478528 140726188475784 139769233592956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14241792 140726188483325 140726188483672 140726188483672 140726188486601 0
/proc/21076/statm: 28282 349 296 221 0 87 0
[pid=21079] ppid=21076 vsize=27314120 memory=106140 CPUtime=0.1 cores=0-7
/proc/21079/stat : 21079 (java) S 21076 21076 20332 0 -1 1077944320 6600 0 0 0 8 2 0 0 20 0 20 0 500375467 27969658880 26535 33554432000 4194304 4196468 140731910437008 140731910419552 140441384673015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
/proc/21079/statm: 6828530 26535 2797 1 0 6790935 0
[pid=21079/tid=21080] ppid=21076 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/21079/task/21080/stat : 21080 (java) R 21076 21076 20332 0 -1 4202560 4708 0 0 0 7 2 0 0 20 0 20 0 500375467 27969658880 26600 33554432000 4194304 4196468 140731910437008 140441356471168 140441384684950 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21081] ppid=21076 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21079/task/21081/stat : 21081 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140441388914960 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21082] ppid=21076 vsize=27314120 memory=139738227721856 CPUtime=0 cores=0-7
/proc/21079/task/21082/stat : 21082 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440807045520 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21083] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21083/stat : 21083 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440805992976 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21084] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21084/stat : 21084 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440804940432 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21085] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21085/stat : 21085 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440803887888 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21086] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21086/stat : 21086 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440802835344 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21087] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21087/stat : 21087 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440801782800 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21088] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21088/stat : 21088 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 26600 33554432000 4194304 4196468 140731910437008 140440800730256 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21089] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21089/stat : 21089 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375471 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439436425200 140441384684162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21090] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21090/stat : 21090 (java) S 21076 21076 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500375472 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439323665312 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21091] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21091/stat : 21091 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375472 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439055229936 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21092] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21092/stat : 21092 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 26600 33554432000 4194304 4196468 140731910437008 140438680721616 140441384691611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21093] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21093/stat : 21093 (java) S 21076 21076 20332 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439435373040 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21094] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21094/stat : 21094 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439434320496 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21095] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21095/stat : 21095 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439433267952 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21096] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21096/stat : 21096 (java) S 21076 21076 20332 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439432215408 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21097] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21097/stat : 21097 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375475 27969658880 26600 33554432000 4194304 4196468 140731910437008 140438182815968 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21098] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21098/stat : 21098 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375475 27969658880 26600 33554432000 4194304 4196468 140731910437008 140439431162288 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107536 KiB

[startup+0.210434 s]*
/proc/loadavg: 8.13 8.15 7.41 2/210 21098
/proc/meminfo: memFree=26149092/32770624 swapFree=66956612/67108860
[pid=21076] ppid=21073 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21076/stat : 21076 (scop.sh) S 21073 21076 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500375467 115843072 349 33554432000 4194304 5098028 140726188478528 140726188475784 139769233592956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14241792 140726188483325 140726188483672 140726188483672 140726188486601 0
/proc/21076/statm: 28282 349 296 221 0 87 0
[pid=21079] ppid=21076 vsize=27314120 memory=125420 CPUtime=0.24 cores=0-7
/proc/21079/stat : 21079 (java) S 21076 21076 20332 0 -1 1077944320 12103 0 0 0 20 4 0 0 20 0 20 0 500375467 27969658880 31355 33554432000 4194304 4196468 140731910437008 140731910419552 140441384673015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
/proc/21079/statm: 6828530 31355 2922 1 0 6790935 0
[pid=21079/tid=21080] ppid=21076 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21079/task/21080/stat : 21080 (java) R 21076 21076 20332 0 -1 4202560 9813 0 0 0 16 3 0 0 20 0 20 0 500375467 27969658880 31355 33554432000 4194304 4196468 140731910437008 140441356481408 140441366236590 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21081] ppid=21076 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/21079/task/21081/stat : 21081 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140441388914960 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21082] ppid=21076 vsize=27314120 memory=288370114379433600 CPUtime=0 cores=0-7
/proc/21079/task/21082/stat : 21082 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440807045520 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21083] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21083/stat : 21083 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440805992976 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21084] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21084/stat : 21084 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440804940432 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21085] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21085/stat : 21085 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440803887888 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21086] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21086/stat : 21086 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440802835344 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21087] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21087/stat : 21087 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440801782800 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21088] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21088/stat : 21088 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 31355 33554432000 4194304 4196468 140731910437008 140440800730256 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21089] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21089/stat : 21089 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375471 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439436425200 140441384684162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21090] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21090/stat : 21090 (java) S 21076 21076 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500375472 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439323665312 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21091] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21091/stat : 21091 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375472 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439055229936 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21092] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21092/stat : 21092 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 31355 33554432000 4194304 4196468 140731910437008 140438680721616 140441384691611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21093] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21093/stat : 21093 (java) S 21076 21076 20332 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439435373040 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21094] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21094/stat : 21094 (java) S 21076 21076 20332 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439434320496 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21095] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21095/stat : 21095 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439433267952 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21096] ppid=21076 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/21079/task/21096/stat : 21096 (java) S 21076 21076 20332 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 500375474 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439432215408 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21097] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21097/stat : 21097 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375475 27969658880 31355 33554432000 4194304 4196468 140731910437008 140438182815968 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21098] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21098/stat : 21098 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375475 27969658880 31355 33554432000 4194304 4196468 140731910437008 140439431162288 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126816 KiB

[startup+0.310211 s]*
/proc/loadavg: 8.13 8.15 7.41 3/210 21098
/proc/meminfo: memFree=26145680/32770624 swapFree=66956612/67108860
[pid=21076] ppid=21073 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21076/stat : 21076 (scop.sh) S 21073 21076 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500375467 115843072 349 33554432000 4194304 5098028 140726188478528 140726188475784 139769233592956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14241792 140726188483325 140726188483672 140726188483672 140726188486601 0
/proc/21076/statm: 28282 349 296 221 0 87 0
[pid=21079] ppid=21076 vsize=27314120 memory=129508 CPUtime=0.42 cores=0-7
/proc/21079/stat : 21079 (java) S 21076 21076 20332 0 -1 1077944320 13267 0 0 0 37 5 0 0 20 0 20 0 500375467 27969658880 32377 33554432000 4194304 4196468 140731910437008 140731910419552 140441384673015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
/proc/21079/statm: 6828530 32377 3034 1 0 6790935 0
[pid=21079/tid=21080] ppid=21076 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21079/task/21080/stat : 21080 (java) R 21076 21076 20332 0 -1 4202560 10781 0 0 0 25 4 0 0 20 0 20 0 500375467 27969658880 32377 33554432000 4194304 4196468 140731910437008 140441356456032 140441364948337 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21081] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21081/stat : 21081 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140441388914960 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21082] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21082/stat : 21082 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440807045520 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21083] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21083/stat : 21083 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440805992976 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21084] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21084/stat : 21084 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440804940432 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21085] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21085/stat : 21085 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440803887888 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21086] ppid=21076 vsize=27314120 memory=139738103245487 CPUtime=0 cores=0-7
/proc/21079/task/21086/stat : 21086 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440802835344 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21087] ppid=21076 vsize=27314120 memory=139738103247792 CPUtime=0 cores=0-7
/proc/21079/task/21087/stat : 21087 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440801782800 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21088] ppid=21076 vsize=27314120 memory=139738103250096 CPUtime=0 cores=0-7
/proc/21079/task/21088/stat : 21088 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27969658880 32377 33554432000 4194304 4196468 140731910437008 140440800730256 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21089] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21089/stat : 21089 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500375471 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439436425200 140441384684162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21090] ppid=21076 vsize=27314120 memory=279476206514064 CPUtime=0 cores=0-7
/proc/21079/task/21090/stat : 21090 (java) S 21076 21076 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500375472 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439323665312 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21091] ppid=21076 vsize=27314120 memory=279476206511760 CPUtime=0 cores=0-7
/proc/21079/task/21091/stat : 21091 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375472 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439055229936 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21092] ppid=21076 vsize=27314120 memory=279476206518672 CPUtime=0 cores=0-7
/proc/21079/task/21092/stat : 21092 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 32377 33554432000 4194304 4196468 140731910437008 140438680721616 140441384691611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21093] ppid=21076 vsize=27314120 memory=279476206459952 CPUtime=0.01 cores=0-7
/proc/21079/task/21093/stat : 21093 (java) S 21076 21076 20332 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 500375474 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439435373040 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21094] ppid=21076 vsize=27314120 memory=279476206532496 CPUtime=0.02 cores=0-7
/proc/21079/task/21094/stat : 21094 (java) S 21076 21076 20332 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 20 0 500375474 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439434320496 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21095] ppid=21076 vsize=27314120 memory=279476206539408 CPUtime=0 cores=0-7
/proc/21079/task/21095/stat : 21095 (java) S 21076 21076 20332 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 500375474 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439433267952 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21096] ppid=21076 vsize=27314120 memory=279476206537104 CPUtime=0.07 cores=0-7
/proc/21079/task/21096/stat : 21096 (java) S 21076 21076 20332 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 20 0 500375474 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439432215408 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21097] ppid=21076 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21097/stat : 21097 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375475 27969658880 32377 33554432000 4194304 4196468 140731910437008 140438182815968 140441384683221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21098] ppid=21076 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21079/task/21098/stat : 21098 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375475 27969658880 32377 33554432000 4194304 4196468 140731910437008 140439431162288 140441384684162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130904 KiB

[startup+0.702841 s]
/proc/loadavg: 8.13 8.15 7.41 2/210 21098
/proc/meminfo: memFree=26125204/32770624 swapFree=66956612/67108860
[pid=21076] ppid=21073 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21076/stat : 21076 (scop.sh) S 21073 21076 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500375467 115843072 349 33554432000 4194304 5098028 140726188478528 140726188475784 139769233592956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14241792 140726188483325 140726188483672 140726188483672 140726188486601 0
/proc/21076/statm: 28282 349 296 221 0 87 0
[pid=21079] ppid=21076 vsize=27320392 memory=165244 CPUtime=0.99 cores=0-7
/proc/21079/stat : 21079 (java) S 21076 21076 20332 0 -1 1077944320 20463 0 0 0 92 7 0 0 20 0 20 0 500375467 27976081408 41311 33554432000 4194304 4196468 140731910437008 140731910419552 140441384673015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
/proc/21079/statm: 6830098 41311 3185 1 0 6791447 0
[pid=21079/tid=21080] ppid=21076 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/21079/task/21080/stat : 21080 (java) R 21076 21076 20332 0 -1 4202560 17388 0 0 0 62 6 0 0 20 0 20 0 500375467 27976081408 41311 33554432000 4194304 4196468 140731910437008 140441356495184 140441384694941 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21081] ppid=21076 vsize=27320392 memory=139738103456624 CPUtime=0 cores=0-7
/proc/21079/task/21081/stat : 21081 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27976081408 41311 33554432000 4194304 4196468 140731910437008 140441388914960 140441384683221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21082] ppid=21076 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21079/task/21082/stat : 21082 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500375470 27976081408 41311 33554432000 4194304 4196468 140731910437008 140440807045520 140441384683221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0
[pid=21079/tid=21083] ppid=21076 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/21079/task/21083/stat : 21083 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500375470 27976081408 41311 33554432000 4194304 4196468 140731910437008 140440805992976 140441384683221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20684800 140731910439623 140731910440070 140731910440070 140731910442959 0

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

[pid=21101/tid=21102] ppid=21076 vsize=8414124 memory=8317482817917895235 CPUtime=0.79 cores=0-7
/proc/21101/task/21102/stat : 21102 (java) S 21076 21076 20332 0 -1 1077944384 16357 0 0 0 74 5 0 0 20 0 24 0 500376457 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936530259872 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21103] ppid=21076 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21101/task/21103/stat : 21103 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936562661904 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21104] ppid=21076 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/21101/task/21104/stat : 21104 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936362830480 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21105] ppid=21076 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/21101/task/21105/stat : 21105 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936361777424 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21106] ppid=21076 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21101/task/21106/stat : 21106 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936360724880 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21107] ppid=21076 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/21101/task/21107/stat : 21107 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936359672848 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21108] ppid=21076 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21101/task/21108/stat : 21108 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936358620304 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21109] ppid=21076 vsize=8414124 memory=7649399388509385010 CPUtime=0 cores=0-7
/proc/21101/task/21109/stat : 21109 (java) S 21076 21076 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936357567248 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21110] ppid=21076 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21101/task/21110/stat : 21110 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500376458 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936356514704 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21111] ppid=21076 vsize=8414124 memory=7378428296346227308 CPUtime=0 cores=0-7
/proc/21101/task/21111/stat : 21111 (java) S 21076 21076 20332 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500376459 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935383206128 139936558430850 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21112] ppid=21076 vsize=8414124 memory=6154820245483181413 CPUtime=0 cores=0-7
/proc/21101/task/21112/stat : 21112 (java) S 21076 21076 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500376460 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935201879200 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21113] ppid=21076 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21101/task/21113/stat : 21113 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376460 8616062976 30838 33554432000 4194304 4196468 140727827188224 139934933443312 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21114] ppid=21076 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21101/task/21114/stat : 21114 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376462 8616062976 30838 33554432000 4194304 4196468 140727827188224 139934558934992 139936558438299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21115] ppid=21076 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/21101/task/21115/stat : 21115 (java) S 21076 21076 20332 0 -1 1077944384 576 0 0 0 9 0 0 0 20 0 24 0 500376462 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935382153968 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21116] ppid=21076 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/21101/task/21116/stat : 21116 (java) S 21076 21076 20332 0 -1 1077944384 329 0 0 0 9 0 0 0 20 0 24 0 500376462 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935381101424 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21117] ppid=21076 vsize=8414124 memory=0 CPUtime=0.12 cores=0-7
/proc/21101/task/21117/stat : 21117 (java) S 21076 21076 20332 0 -1 1077944384 587 0 0 0 12 0 0 0 20 0 24 0 500376463 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935380048368 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21118] ppid=21076 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/21101/task/21118/stat : 21118 (java) S 21076 21076 20332 0 -1 1077944384 587 0 0 0 21 0 0 0 20 0 24 0 500376463 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935378995824 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21119] ppid=21076 vsize=8414124 memory=4176 CPUtime=0 cores=0-7
/proc/21101/task/21119/stat : 21119 (java) S 21076 21076 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500376463 8616062976 30838 33554432000 4194304 4196468 140727827188224 139934061029856 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21120] ppid=21076 vsize=8414124 memory=11201814933560 CPUtime=0 cores=0-7
/proc/21101/task/21120/stat : 21120 (java) S 21076 21076 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500376463 8616062976 30838 33554432000 4194304 4196468 140727827188224 139935377943216 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21122] ppid=21076 vsize=8414124 memory=7100839878609826928 CPUtime=0 cores=0-7
/proc/21101/task/21122/stat : 21122 (java) S 21076 21076 20332 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500376533 8616062976 30838 33554432000 4194304 4196468 140727827188224 139936007529408 139936558444313 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21124] ppid=21076 vsize=8414124 memory=6944613755328037012 CPUtime=0 cores=0-7
/proc/21101/task/21124/stat : 21124 (java) S 21076 21076 20332 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500376534 8616062976 30838 33554432000 4194304 4196468 140727827188224 139933389930512 139936558441629 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21125] ppid=21076 vsize=8414124 memory=7897290085065913154 CPUtime=0 cores=0-7
/proc/21101/task/21125/stat : 21125 (java) S 21076 21076 20332 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 500376534 8616062976 30838 33554432000 4194304 4196468 140727827188224 139933658366096 139936558441629 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21126] ppid=21076 vsize=8414124 memory=1414351094373861289 CPUtime=0 cores=0-7
/proc/21101/task/21126/stat : 21126 (java) S 21076 21076 20332 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500376536 8616062976 30838 33554432000 4194304 4196468 140727827188224 139933121502640 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 9361708 KiB
Current children cumulated memory: 355076 KiB

[startup+12.401 s]
/proc/loadavg: 6.69 7.84 7.32 9/224 21134
/proc/meminfo: memFree=25918940/32770624 swapFree=66956612/67108860
[pid=21076] ppid=21073 vsize=113128 memory=1476 CPUtime=21.47 cores=0-7
/proc/21076/stat : 21076 (scop.sh) S 21073 21076 20332 0 -1 4202496 582 37863 0 0 0 0 2069 78 20 0 1 0 500375467 115843072 369 33554432000 4194304 5098028 140726188478528 140726188475272 139769233592956 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14241792 140726188483325 140726188483672 140726188483672 140726188486601 0
/proc/21076/statm: 28282 369 311 221 0 87 0
[pid=21101] ppid=21076 vsize=8283048 memory=138896 CPUtime=5.88 cores=0-7
/proc/21101/stat : 21101 (java) S 21076 21076 20332 0 -1 1077944320 21066 39768 0 0 168 8 399 13 20 0 22 0 500376456 8481841152 34724 33554432000 4194304 4196468 140727827188224 140727827170768 139936558419703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
/proc/21101/statm: 2070762 34724 3230 1 0 2032106 0
[pid=21101/tid=21102] ppid=21076 vsize=8283048 memory=90520730772667 CPUtime=5.01 cores=0-7
/proc/21101/task/21102/stat : 21102 (java) R 21076 21076 20332 0 -1 4202560 16662 39768 0 0 84 5 399 13 20 0 22 0 500376457 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936530258624 139936542500190 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21103] ppid=21076 vsize=8283048 memory=90520730772668 CPUtime=4.12 cores=0-7
/proc/21101/task/21103/stat : 21103 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936562661904 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21104] ppid=21076 vsize=8283048 memory=90520730772669 CPUtime=4.12 cores=0-7
/proc/21101/task/21104/stat : 21104 (java) S 21076 21076 20332 0 -1 1077944384 2 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936362830480 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21105] ppid=21076 vsize=8283048 memory=279476206305520 CPUtime=4.12 cores=0-7
/proc/21101/task/21105/stat : 21105 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936361777424 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21106] ppid=21076 vsize=8283048 memory=279476207735520 CPUtime=4.12 cores=0-7
/proc/21101/task/21106/stat : 21106 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936360724880 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21107] ppid=21076 vsize=8283048 memory=1476 CPUtime=4.12 cores=0-7
/proc/21101/task/21107/stat : 21107 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936359672848 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21108] ppid=21076 vsize=8283048 memory=123352 CPUtime=4.12 cores=0-7
/proc/21101/task/21108/stat : 21108 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936358620304 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21109] ppid=21076 vsize=8283048 memory=208672 CPUtime=4.12 cores=0-7
/proc/21101/task/21109/stat : 21109 (java) S 21076 21076 20332 0 -1 1077944384 2 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936357567248 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21110] ppid=21076 vsize=8283048 memory=900 CPUtime=4.12 cores=0-7
/proc/21101/task/21110/stat : 21110 (java) S 21076 21076 20332 0 -1 1077944384 3 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936356514704 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21111] ppid=21076 vsize=8283048 memory=1444 CPUtime=4.12 cores=0-7
/proc/21101/task/21111/stat : 21111 (java) S 21076 21076 20332 0 -1 1077944384 5 39768 0 0 0 0 399 13 20 0 22 0 500376459 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935383206128 139936558430850 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21112] ppid=21076 vsize=8283048 memory=1976 CPUtime=4.12 cores=0-7
/proc/21101/task/21112/stat : 21112 (java) S 21076 21076 20332 0 -1 1077944384 13 39768 0 0 0 0 399 13 20 0 22 0 500376460 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935201879200 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21113] ppid=21076 vsize=8283048 memory=2580 CPUtime=4.12 cores=0-7
/proc/21101/task/21113/stat : 21113 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376460 8481841152 34724 33554432000 4194304 4196468 140727827188224 139934933443312 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21114] ppid=21076 vsize=8283048 memory=1760 CPUtime=4.12 cores=0-7
/proc/21101/task/21114/stat : 21114 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376462 8481841152 34724 33554432000 4194304 4196468 140727827188224 139934558934992 139936558438299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21115] ppid=21076 vsize=8283048 memory=288230574492221466 CPUtime=4.25 cores=0-7
/proc/21101/task/21115/stat : 21115 (java) S 21076 21076 20332 0 -1 1077944384 599 39768 0 0 13 0 399 13 20 0 22 0 500376462 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935382153968 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21116] ppid=21076 vsize=8283048 memory=288230621803970871 CPUtime=4.26 cores=0-7
/proc/21101/task/21116/stat : 21116 (java) S 21076 21076 20332 0 -1 1077944384 427 39768 0 0 14 0 399 13 20 0 22 0 500376462 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935381101424 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21117] ppid=21076 vsize=8283048 memory=6791534058613427641 CPUtime=4.28 cores=0-7
/proc/21101/task/21117/stat : 21117 (java) R 21076 21076 20332 0 -1 4202560 607 39768 0 0 16 0 399 13 20 0 22 0 500376463 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935380030960 139936536867003 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21118] ppid=21076 vsize=8283048 memory=0 CPUtime=4.43 cores=0-7
/proc/21101/task/21118/stat : 21118 (java) S 21076 21076 20332 0 -1 1077944384 821 39768 0 0 31 0 399 13 20 0 22 0 500376463 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935378995824 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21119] ppid=21076 vsize=8283048 memory=0 CPUtime=4.12 cores=0-7
/proc/21101/task/21119/stat : 21119 (java) S 21076 21076 20332 0 -1 1077944384 3 39768 0 0 0 0 399 13 20 0 22 0 500376463 8481841152 34724 33554432000 4194304 4196468 140727827188224 139934061029856 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21120] ppid=21076 vsize=8283048 memory=0 CPUtime=4.12 cores=0-7
/proc/21101/task/21120/stat : 21120 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376463 8481841152 34724 33554432000 4194304 4196468 140727827188224 139935377943216 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21122] ppid=21076 vsize=8283048 memory=0 CPUtime=4.12 cores=0-7
/proc/21101/task/21122/stat : 21122 (java) S 21076 21076 20332 0 -1 1077944384 23 39768 0 0 0 0 399 13 20 0 22 0 500376533 8481841152 34724 33554432000 4194304 4196468 140727827188224 139936007528592 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21126] ppid=21076 vsize=8283048 memory=0 CPUtime=4.12 cores=0-7
/proc/21101/task/21126/stat : 21126 (java) S 21076 21076 20332 0 -1 1077944384 16 39768 0 0 0 0 399 13 20 0 22 0 500376536 8481841152 34724 33554432000 4194304 4196468 140727827188224 139933121504432 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
Current children cumulated CPU time: 27.35 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 140372 KiB

[startup+12.5009 s]
/proc/loadavg: 6.69 7.84 7.32 9/224 21134
/proc/meminfo: memFree=25918940/32770624 swapFree=66956612/67108860
[pid=21076] ppid=21073 vsize=113128 memory=1476 CPUtime=21.47 cores=0-7
/proc/21076/stat : 21076 (scop.sh) S 21073 21076 20332 0 -1 4202496 582 37863 0 0 0 0 2069 78 20 0 1 0 500375467 115843072 369 33554432000 4194304 5098028 140726188478528 140726188475272 139769233592956 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14241792 140726188483325 140726188483672 140726188483672 140726188486601 0
/proc/21076/statm: 28282 369 311 221 0 87 0
[pid=21101] ppid=21076 vsize=8283048 memory=144456 CPUtime=6.17 cores=0-7
/proc/21101/stat : 21101 (java) S 21076 21076 20332 0 -1 1077944320 23031 39768 0 0 195 10 399 13 20 0 22 0 500376456 8481841152 36114 33554432000 4194304 4196468 140727827188224 140727827170768 139936558419703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
/proc/21101/statm: 2070762 36114 3234 1 0 2032106 0
[pid=21101/tid=21102] ppid=21076 vsize=8283048 memory=130572 CPUtime=5.11 cores=0-7
/proc/21101/task/21102/stat : 21102 (java) R 21076 21076 20332 0 -1 4202560 18432 39768 0 0 93 6 399 13 20 0 22 0 500376457 8481841152 36114 33554432000 4194304 4196468 140727827188224 139936530258624 139936024307250 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21103] ppid=21076 vsize=8283048 memory=1476 CPUtime=4.12 cores=0-7
/proc/21101/task/21103/stat : 21103 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936562661904 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21104] ppid=21076 vsize=8283048 memory=3348792 CPUtime=4.12 cores=0-7
/proc/21101/task/21104/stat : 21104 (java) S 21076 21076 20332 0 -1 1077944384 2 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936362830480 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21105] ppid=21076 vsize=8283048 memory=1899429 CPUtime=4.12 cores=0-7
/proc/21101/task/21105/stat : 21105 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936361777424 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21106] ppid=21076 vsize=8283048 memory=123352 CPUtime=4.12 cores=0-7
/proc/21101/task/21106/stat : 21106 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936360724880 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21107] ppid=21076 vsize=8283048 memory=233616 CPUtime=4.12 cores=0-7
/proc/21101/task/21107/stat : 21107 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936359672848 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21108] ppid=21076 vsize=8283048 memory=0 CPUtime=4.12 cores=0-7
/proc/21101/task/21108/stat : 21108 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936358620304 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21109] ppid=21076 vsize=8283048 memory=14012 CPUtime=4.12 cores=0-7
/proc/21101/task/21109/stat : 21109 (java) S 21076 21076 20332 0 -1 1077944384 2 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936357567248 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21110] ppid=21076 vsize=8283048 memory=23492 CPUtime=4.12 cores=0-7
/proc/21101/task/21110/stat : 21110 (java) S 21076 21076 20332 0 -1 1077944384 3 39768 0 0 0 0 399 13 20 0 22 0 500376458 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936356514704 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21111] ppid=21076 vsize=8283048 memory=14056 CPUtime=4.12 cores=0-7
/proc/21101/task/21111/stat : 21111 (java) S 21076 21076 20332 0 -1 1077944384 5 39768 0 0 0 0 399 13 20 0 22 0 500376459 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935383206128 139936558430850 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21112] ppid=21076 vsize=8283048 memory=1396 CPUtime=4.12 cores=0-7
/proc/21101/task/21112/stat : 21112 (java) S 21076 21076 20332 0 -1 1077944384 13 39768 0 0 0 0 399 13 20 0 22 0 500376460 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935201879200 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21113] ppid=21076 vsize=8283048 memory=3831968 CPUtime=4.12 cores=0-7
/proc/21101/task/21113/stat : 21113 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376460 8481841152 36626 33554432000 4194304 4196468 140727827188224 139934933443312 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21114] ppid=21076 vsize=8283048 memory=0 CPUtime=4.12 cores=0-7
/proc/21101/task/21114/stat : 21114 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376462 8481841152 36626 33554432000 4194304 4196468 140727827188224 139934558934992 139936558438299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21115] ppid=21076 vsize=8283048 memory=0 CPUtime=4.3 cores=0-7
/proc/21101/task/21115/stat : 21115 (java) S 21076 21076 20332 0 -1 1077944384 636 39768 0 0 18 0 399 13 20 0 22 0 500376462 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935382153968 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21116] ppid=21076 vsize=8283048 memory=1476 CPUtime=4.29 cores=0-7
/proc/21101/task/21116/stat : 21116 (java) S 21076 21076 20332 0 -1 1077944384 441 39768 0 0 17 0 399 13 20 0 22 0 500376462 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935381101424 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21117] ppid=21076 vsize=8283048 memory=123352 CPUtime=4.34 cores=0-7
/proc/21101/task/21117/stat : 21117 (java) S 21076 21076 20332 0 -1 1077944384 634 39768 0 0 22 0 399 13 20 0 22 0 500376463 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935380048368 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21118] ppid=21076 vsize=8283048 memory=37252 CPUtime=4.48 cores=0-7
/proc/21101/task/21118/stat : 21118 (java) R 21076 21076 20332 0 -1 4202560 941 39768 0 0 36 0 399 13 20 0 22 0 500376463 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935378995952 139936551516404 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21119] ppid=21076 vsize=8283048 memory=6184 CPUtime=4.12 cores=0-7
/proc/21101/task/21119/stat : 21119 (java) S 21076 21076 20332 0 -1 1077944384 3 39768 0 0 0 0 399 13 20 0 22 0 500376463 8481841152 36626 33554432000 4194304 4196468 140727827188224 139934061029856 139936558429909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21120] ppid=21076 vsize=8283048 memory=56 CPUtime=4.12 cores=0-7
/proc/21101/task/21120/stat : 21120 (java) S 21076 21076 20332 0 -1 1077944384 1 39768 0 0 0 0 399 13 20 0 22 0 500376463 8481841152 36626 33554432000 4194304 4196468 140727827188224 139935377943216 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21122] ppid=21076 vsize=8283048 memory=6944652177228980320 CPUtime=4.12 cores=0-7
/proc/21101/task/21122/stat : 21122 (java) S 21076 21076 20332 0 -1 1077944384 23 39768 0 0 0 0 399 13 20 0 22 0 500376533 8481841152 36626 33554432000 4194304 4196468 140727827188224 139936007528592 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
[pid=21101/tid=21126] ppid=21076 vsize=8283048 memory=6944656592455097440 CPUtime=4.12 cores=0-7
/proc/21101/task/21126/stat : 21126 (java) S 21076 21076 20332 0 -1 1077944384 16 39768 0 0 0 0 399 13 20 0 22 0 500376536 8481841152 36626 33554432000 4194304 4196468 140727827188224 139933121504432 139936558430850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140727827194847 140727827195014 140727827195014 140727827197903 0
Current children cumulated CPU time: 27.64 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 145932 KiB

Child status: 0
Real time (s): 12.5197
CPU time (s): 27.7166
CPU user time (s): 26.6753
CPU system time (s): 1.04122
CPU usage (%): 221.383
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3833364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.6753
system time used= 1.04122
maximum resident set size= 3833540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25274
involuntary context switches= 70


# summary of solver processes directly reported to runsolver:
#   pid: 21076
#   total CPU time (s): 27.7166
#   total CPU user time (s): 26.6753
#   total CPU system time (s): 1.04122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116581 second user time and 0.188703 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-23 13:17:56
IDJOB=4405239
IDBENCH=123874
IDSOLVER=2867
FILE ID=node105/4405239-1569241176
RUNJOBID= node105-1569234931-20359
PBS_JOBID= 21704915
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405239-1569241176/watcher-4405239-1569241176 -o /var/tmp/evaluation-result-4405239-1569241176/solver-4405239-1569241176 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569234931-20359 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405239-1569241176.xml

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

MD5SUM BENCH= 8664f4f5c29eba7e0c756194721bfaf5
RANDOM SEED=713764571

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:        26264644 kB
MemAvailable:   31801216 kB
Buffers:          100732 kB
Cached:          5567408 kB
SwapCached:        48500 kB
Active:          2826588 kB
Inactive:        2892180 kB
Active(anon):       5068 kB
Inactive(anon):    99488 kB
Active(file):    2821520 kB
Inactive(file):  2792692 kB
Unevictable:      110932 kB
Mlocked:          110932 kB
SwapTotal:      67108860 kB
SwapFree:       66956612 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:        177488 kB
Mapped:            52484 kB
Shmem:             45688 kB
Slab:             379144 kB
SReclaimable:     350820 kB
SUnreclaim:        28324 kB
KernelStack:        3952 kB
PageTables:         5108 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:    131072 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:09