Trace number 4405149

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 55.2617 33.7808

General information on the benchmark

NameBibd/Bibd-sum-lex/
Bibd-sum-09-120-40-03-10.xml
MD5SUM516a10ad09fd7e852a109bf36c14a2d3
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 benchmark34.1236
Satisfiable
(Un)Satisfiability was proved
Number of variables1080
Number of constraints166
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1080}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":1080}]
Minimum constraint arity9
Maximum constraint arity1080
Distribution of constraint arities[{"arity":9,"count":120},{"arity":120,"count":9},{"arity":240,"count":36},{"arity":1080,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":165}]
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-1184-serial-file.bin HOME/instance-4405149-1569241159.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Mon Sep 23 14:18:39 CEST 2019
0.66/0.56	c PID: 1187
0.66/0.56	c IP: 172.20.3.140
0.66/0.56	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.43/1.20	c (0,0) Parsing End
2.43/1.21	c (0,0) CSP: 0 int (0 aux), 1080 bool (0 aux), 166 ctr, max domain size 2
2.43/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.43/1.21	c (0,0) Constraint Name Generate Begin
2.43/1.22	c (0,0) Ctr:HOME/instance-4405149-1569241159.xml,LexMatrix:Num:Var:WeightedSum
2.43/1.22	c (0,0) Constraint Name Generate End
2.43/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.43/1.22	c (0,0) CSP to CSPinCNF Begin
3.69/1.55	c (1,1) translated 17 (10%) constraints
3.69/1.56	c (1,1) translated 34 (20%) constraints
3.69/1.57	c (1,1) translated 50 (30%) constraints
3.69/1.58	c (1,1) translated 67 (40%) constraints
3.69/1.59	c (1,1) translated 83 (50%) constraints
3.93/1.60	c (1,1) translated 100 (60%) constraints
3.93/1.61	c (1,1) translated 117 (70%) constraints
4.88/1.93	c (1,1) translated 133 (80%) constraints
7.07/2.71	c (2,2) translated 150 (90%) constraints
8.01/3.29	c (2,2) translated 166 (100%) constraints
23.18/16.76	c (16,16) ===========================================
23.18/16.76	c (16,16) Order
23.18/16.76	c (16,16) ===========================================
24.43/17.03	c (16,16) translated 2126 (10%) constraints
24.80/17.15	c (16,16) translated 4251 (20%) constraints
25.53/17.31	c (16,16) translated 6376 (30%) constraints
25.84/17.42	c (16,16) translated 8502 (40%) constraints
25.98/17.52	c (16,16) translated 10627 (50%) constraints
26.09/17.62	c (17,16) translated 12752 (60%) constraints
26.22/17.71	c (17,17) translated 14878 (70%) constraints
26.37/17.81	c (17,17) translated 17003 (80%) constraints
26.37/17.90	c (17,17) translated 19128 (90%) constraints
26.51/17.98	c (17,17) translated 21253 (100%) constraints
26.51/17.98	c (17,17) CSP to CSPinCNF End
26.51/17.99	c (17,17) CSP: 945 int (945 aux), 15817 bool (14737 aux), 31948 ctr, max domain size 41
26.51/17.99	c (17,17) Heap : 3750 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
26.51/17.99	c (17,17) CSPinCNF Propagation Begin
27.31/18.23	c (17,17) 0 values, 4320 unsatisfiable literals, and 4320 valid clauses are removed
27.31/18.23	c (17,17) CSPinCNF Propagation End
27.31/18.23	c (17,17) CSP: 945 int (945 aux), 15817 bool (14737 aux), 27628 ctr, max domain size 41
27.31/18.23	c (17,17) Heap : 3861 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.31/18.23	c (17,17) Simplify CSPinCNF Begin
27.56/18.39	c (17,17) Simplify CSPinCNF End
27.56/18.39	c (17,17) CSP: 945 int (945 aux), 19752 bool (18672 aux), 31563 ctr, max domain size 41
27.56/18.39	c (17,17) Heap : 3972 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.56/18.39	c (17,17) Calculate Precise Domain Begin
27.82/18.47	c (17,17) 0 values are removed by re-calculation
27.82/18.47	c (17,17) Calculate Precise Domain End
27.82/18.47	c (17,17) CSP: 945 int (945 aux), 19752 bool (18672 aux), 31563 ctr, max domain size 41
27.82/18.47	c (17,17) Heap : 3972 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.82/18.47	c (17,17) CSPinCNF to SatSolver Begin
31.12/19.53	c (18,18) 3157 (10 %) CSP clauses are encoded (0 SAT variables, 408215 SAT clauses)
31.78/19.80	c (19,19) 6313 (20 %) CSP clauses are encoded (0 SAT variables, 540411 SAT clauses)
32.02/20.06	c (19,19) 9469 (30 %) CSP clauses are encoded (0 SAT variables, 672607 SAT clauses)
32.32/20.31	c (19,19) 12626 (40 %) CSP clauses are encoded (0 SAT variables, 804804 SAT clauses)
32.52/20.57	c (20,19) 15782 (50 %) CSP clauses are encoded (0 SAT variables, 937000 SAT clauses)
32.83/20.82	c (20,20) 18938 (60 %) CSP clauses are encoded (0 SAT variables, 1069196 SAT clauses)
33.53/21.14	c (20,20) 22095 (70 %) CSP clauses are encoded (0 SAT variables, 1201393 SAT clauses)
33.62/21.27	c (20,20) 25251 (80 %) CSP clauses are encoded (0 SAT variables, 1256879 SAT clauses)
33.76/21.33	c (20,20) 28407 (90 %) CSP clauses are encoded (0 SAT variables, 1261598 SAT clauses)
33.76/21.39	c (20,20) 31563 (100 %) CSP clauses are encoded (0 SAT variables, 1266285 SAT clauses)
33.76/21.39	c (20,20) CSPinCNF to SatSolver End
33.76/21.39	c (20,20) Heap : 416 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
33.76/21.39	c (20,20) 30552 bool, 1266286 clause
33.76/21.39	c (20,20) Export Begin
34.11/21.53	c (20,20) Export to HOME/scop-1184-serial-file.bin
34.11/21.53	c (20,20) Export End
34.11/21.53	c (20,20) Export File Size: 0.18 MB
34.11/21.53	c (20,20) 0,0,17,17,17,17,20,STOP-AFTER(DIMACS)
34.11/21.53	c END-Prog: Mon Sep 23 14:19:00 CEST 2019
34.11/21.58	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1184-serial-file.bin
34.85/22.04	c (0,0) Read Serial File Begin
34.85/22.04	c (0,0) HOME/scop-1184-serial-file.bin
35.43/22.30	c (0,0) Read Serial File End
35.43/22.31	
35.43/22.31	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
35.43/22.31	(Solving Process)
35.43/22.31	
35.43/22.34	c BEGIN-Prog: Mon Sep 23 14:19:00 CEST 2019
35.43/22.34	c PID: 1209
35.43/22.34	c IP: 172.20.3.140
35.43/22.34	c HOST: node140.alineos.net
35.43/22.34	c (0,0) SatSolver.solve Begin
35.43/22.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405149-1569241159.xml-scop-1187.cnf
35.43/22.37	c (0,0) c
35.43/22.37	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)
35.43/22.37	c (0,0) c
35.43/22.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.43/22.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.43/22.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.43/22.37	c (0,0) c |                                                                                                       |
35.72/22.86	c (0,0) c |  Number of variables:         30552                                                                   |
35.72/22.86	c (0,0) c |  Number of clauses:         1266286                                                                   |
35.72/22.86	c (0,0) c |  Parse time:                   0.45 s                                                                 |
35.72/22.86	c (0,0) c |                                                                                                       |
45.16/31.81	c (9,0) c |  Simplification time:          8.91 s                                                                 |
45.16/31.81	c (9,0) c |                                                                                                       |
45.16/31.81	c (9,0) c |  Generating clones                                                                                    |
45.36/32.08	c (10,0) c |  all clones generated. Memory =   688.07Mb.                                                           |
45.36/32.08	c (10,0) c ========================================================================================================|
45.36/32.08	c (10,0) c
45.36/32.08	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
45.36/32.08	c (10,0) c
45.36/32.08	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
45.36/32.08	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
45.36/32.08	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
45.36/32.08	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
45.36/32.08	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
45.36/32.08	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
45.36/32.08	c (10,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
45.36/32.08	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
45.36/32.08	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
45.36/32.08	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
45.36/32.08	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
45.36/32.08	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
45.36/32.08	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
45.36/32.08	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
45.36/32.08	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
45.36/32.08	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
45.36/32.08	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
45.36/32.08	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
45.36/32.08	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c real time : 11.0939 s
54.10/33.46	c (11,0) c cpu time  : 16.5536 s
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c | Conflicts     |           12305 |       1101 |       2745 |       1416 |       1253 |       1497 |       1575 |       1177 |       1541 |
54.10/33.46	c (11,0) c | Decisions     |           70234 |       7710 |      11091 |       8640 |       8330 |       8637 |       9026 |       7248 |       9552 |
54.10/33.46	c (11,0) c | Propagations  |         6287492 |     680570 |     869833 |     749223 |     721450 |     890197 |     810492 |     682314 |     883413 |
54.10/33.46	c (11,0) c | ReduceDBs     |               1 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.10/33.46	c (11,0) c | Restarts      |              69 |          6 |          5 |          7 |          8 |         11 |          9 |          7 |         16 |
54.10/33.46	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | PropBinClauses|        11664901 |    1247227 |    1730752 |    1384279 |    1317269 |    1622956 |    1462824 |    1243123 |    1656471 |
54.10/33.46	c (11,0) c | PropPreBlocker|       253458969 |   26614869 |   40178338 |   28660220 |   27112947 |   34158443 |   32941741 |   27757929 |   36034482 |
54.10/33.46	c (11,0) c | PropNotBlocker|        54974099 |    5713909 |    7173415 |    6521403 |    6705881 |    7400708 |    7368973 |    6278001 |    7811809 |
54.10/33.46	c (11,0) c | LitFullScans  |       385557363 |   42053339 |   60060445 |   43565807 |   42055410 |   51444869 |   49751031 |   42574680 |   54051782 |
54.10/33.46	c (11,0) c | LitScanFracts |           36892 |       3399 |       6565 |       6899 |       5415 |       3841 |       3976 |       3760 |       3037 |
54.10/33.46	c (11,0) c | DecisionLevel0|             206 |         13 |         21 |         24 |         23 |         36 |         24 |         29 |         36 |
54.10/33.46	c (11,0) c | Periods       |              63 |          7 |         10 |          7 |          7 |          8 |          8 |          7 |          9 |
54.10/33.46	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
54.10/33.46	c (11,0) c | Avg_Trail     |                 |      11482 |      11218 |      10201 |      10262 |       9981 |       9844 |      10279 |      10888 |
54.10/33.46	c (11,0) c | Avg_DL        |                 |         74 |        427 |         64 |         61 |         59 |         56 |         51 |         60 |
54.10/33.46	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c | Exported      |             500 |         40 |         38 |         69 |         84 |         79 |         63 |         46 |         81 |
54.10/33.46	c (11,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c | Unaries       |                 |          7 |         16 |         17 |         15 |         25 |         15 |         22 |         20 |
54.10/33.46	c (11,0) c | Binaries      |                 |         10 |         21 |         28 |         30 |         40 |         17 |         17 |         24 |
54.10/33.46	c (11,0) c | Glues         |                 |         40 |         38 |         69 |         84 |         79 |         63 |         46 |         81 |
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c | Orig_Seen     |             0 % |      10388 |      10814 |       9569 |       8959 |       9096 |      10102 |       7929 |      10603 |
54.10/33.46	c (11,0) c | Diff Orig seen|                 |       2459 |       2885 |       1640 |       1030 |       1167 |       2173 |      X     |       2674 |
54.10/33.46	c (11,0) c | Hamming       |             5 % |       1757 |       1590 |       1731 |       1746 |       1605 |       1805 |      X     |       1949 |
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c | RunningTime   |                 |    1.4 100%|    1.3 100%|    1.4 100%|    1.4 100%|    1.3 100%|    1.3 100%|    1.3 100%|    1.3 100%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,0) c | SolvingTime   |                 |    1.4     |    1.3     |    1.4     |    1.4     |    1.3     |    1.3     |    1.4     |    1.3     |
54.10/33.46	c (11,0) c | PropagationTim|                 |    1.3  93%|    1.2  94%|    1.3  96%|    1.3  96%|    1.2  96%|    1.2  95%|    1.3  96%|    1.3  96%|
54.10/33.46	c (11,0) c | AnalysisTime  |                 |    0.1   5%|    0.1   4%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,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%|
54.10/33.46	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c
54.10/33.46	c (11,0) c Threads : 8
54.10/33.46	c (11,0) c Winner : 6
54.10/33.46	c (11,0) c Conflicts_0 : 1101
54.10/33.46	c (11,0) c Conflicts_1 : 2745
54.10/33.46	c (11,0) c Conflicts_2 : 1416
54.10/33.46	c (11,0) c Conflicts_3 : 1253
54.10/33.46	c (11,0) c Conflicts_4 : 1497
54.10/33.46	c (11,0) c Conflicts_5 : 1575
54.10/33.46	c (11,0) c Conflicts_6 : 1177
54.10/33.46	c (11,0) c Conflicts_7 : 1541
54.10/33.46	c (11,0) c Conflicts_total : 12305
54.10/33.46	c (11,0) c Conflicts_winner : 1177
54.10/33.46	c (11,0) c Decisions_0 : 7710
54.10/33.46	c (11,0) c Decisions_1 : 11091
54.10/33.46	c (11,0) c Decisions_2 : 8640
54.10/33.46	c (11,0) c Decisions_3 : 8330
54.10/33.46	c (11,0) c Decisions_4 : 8637
54.10/33.46	c (11,0) c Decisions_5 : 9026
54.10/33.46	c (11,0) c Decisions_6 : 7248
54.10/33.46	c (11,0) c Decisions_7 : 9552
54.10/33.46	c (11,0) c Decisions_total : 70234
54.10/33.46	c (11,0) c Decisions_winner : 7248
54.10/33.46	c (11,0) c Propagations_0 : 680570
54.10/33.46	c (11,0) c Propagations_1 : 869833
54.10/33.46	c (11,0) c Propagations_2 : 749223
54.10/33.46	c (11,0) c Propagations_3 : 721450
54.10/33.46	c (11,0) c Propagations_4 : 890197
54.10/33.46	c (11,0) c Propagations_5 : 810492
54.10/33.46	c (11,0) c Propagations_6 : 682314
54.10/33.46	c (11,0) c Propagations_7 : 883413
54.10/33.46	c (11,0) c Propagations_total : 6287492
54.10/33.46	c (11,0) c Propagations_winner : 682314
54.10/33.46	c (11,0) c ReduceDBs_0 : 0
54.10/33.46	c (11,0) c ReduceDBs_1 : 1
54.10/33.46	c (11,0) c ReduceDBs_2 : 0
54.10/33.46	c (11,0) c ReduceDBs_3 : 0
54.10/33.46	c (11,0) c ReduceDBs_4 : 0
54.10/33.46	c (11,0) c ReduceDBs_5 : 0
54.10/33.46	c (11,0) c ReduceDBs_6 : 0
54.10/33.46	c (11,0) c ReduceDBs_7 : 0
54.10/33.46	c (11,0) c ReduceDBs_total : 1
54.10/33.46	c (11,0) c ReduceDBs_winner : 0
54.10/33.46	c (11,0) c SimpDBs_0 : 1
54.10/33.46	c (11,0) c SimpDBs_1 : 1
54.10/33.46	c (11,0) c SimpDBs_2 : 1
54.10/33.46	c (11,0) c SimpDBs_3 : 1
54.10/33.46	c (11,0) c SimpDBs_4 : 1
54.10/33.46	c (11,0) c SimpDBs_5 : 1
54.10/33.46	c (11,0) c SimpDBs_6 : 1
54.10/33.46	c (11,0) c SimpDBs_7 : 1
54.10/33.46	c (11,0) c SimpDBs_total : 8
54.10/33.46	c (11,0) c SimpDBs_winner : 1
54.10/33.46	c (11,0) c Restarts_0 : 6
54.10/33.46	c (11,0) c Restarts_1 : 5
54.10/33.46	c (11,0) c Restarts_2 : 7
54.10/33.46	c (11,0) c Restarts_3 : 8
54.10/33.46	c (11,0) c Restarts_4 : 11
54.10/33.46	c (11,0) c Restarts_5 : 9
54.10/33.46	c (11,0) c Restarts_6 : 7
54.10/33.46	c (11,0) c Restarts_7 : 16
54.10/33.46	c (11,0) c Restarts_total : 69
54.10/33.46	c (11,0) c Restarts_winner : 7
54.10/33.46	c (11,0) c ForcedImports_0 : 0
54.10/33.46	c (11,0) c ForcedImports_1 : 0
54.10/33.46	c (11,0) c ForcedImports_2 : 0
54.10/33.46	c (11,0) c ForcedImports_3 : 0
54.10/33.46	c (11,0) c ForcedImports_4 : 0
54.10/33.46	c (11,0) c ForcedImports_5 : 0
54.10/33.46	c (11,0) c ForcedImports_6 : 0
54.10/33.46	c (11,0) c ForcedImports_7 : 0
54.10/33.46	c (11,0) c ForcedImports_total : 0
54.10/33.46	c (11,0) c ForcedImports_winner : 0
54.10/33.46	c (11,0) c PropsBinClauses_0 : 1247227
54.10/33.46	c (11,0) c PropsBinClauses_1 : 1730752
54.10/33.46	c (11,0) c PropsBinClauses_2 : 1384279
54.10/33.46	c (11,0) c PropsBinClauses_3 : 1317269
54.10/33.46	c (11,0) c PropsBinClauses_4 : 1622956
54.10/33.46	c (11,0) c PropsBinClauses_5 : 1462824
54.10/33.46	c (11,0) c PropsBinClauses_6 : 1243123
54.10/33.46	c (11,0) c PropsBinClauses_7 : 1656471
54.10/33.46	c (11,0) c PropsBinClauses_total : 11664901
54.10/33.46	c (11,0) c PropsBinClauses_winner : 1243123
54.10/33.46	c (11,0) c PropsPreBlocker_0 : 26614869
54.10/33.46	c (11,0) c PropsPreBlocker_1 : 40178338
54.10/33.46	c (11,0) c PropsPreBlocker_2 : 28660220
54.10/33.46	c (11,0) c PropsPreBlocker_3 : 27112947
54.10/33.46	c (11,0) c PropsPreBlocker_4 : 34158443
54.10/33.46	c (11,0) c PropsPreBlocker_5 : 32941741
54.10/33.46	c (11,0) c PropsPreBlocker_6 : 27757929
54.10/33.46	c (11,0) c PropsPreBlocker_7 : 36034482
54.10/33.46	c (11,0) c PropsPreBlocker_total : 253458969
54.10/33.46	c (11,0) c PropsPreBlocker_winner : 27757929
54.10/33.46	c (11,0) c PropsNotBlocker_0 : 5713909
54.10/33.46	c (11,0) c PropsNotBlocker_1 : 7173415
54.10/33.46	c (11,0) c PropsNotBlocker_2 : 6521403
54.10/33.46	c (11,0) c PropsNotBlocker_3 : 6705881
54.10/33.46	c (11,0) c PropsNotBlocker_4 : 7400708
54.10/33.46	c (11,0) c PropsNotBlocker_5 : 7368973
54.10/33.46	c (11,0) c PropsNotBlocker_6 : 6278001
54.10/33.46	c (11,0) c PropsNotBlocker_7 : 7811809
54.10/33.46	c (11,0) c PropsNotBlocker_total : 54974099
54.10/33.46	c (11,0) c PropsNotBlocker_winner : 6278001
54.10/33.46	c (11,0) c PropsLitFullScans_0 : 42053339
54.10/33.46	c (11,0) c PropsLitFullScans_1 : 60060445
54.10/33.46	c (11,0) c PropsLitFullScans_2 : 43565807
54.10/33.46	c (11,0) c PropsLitFullScans_3 : 42055410
54.10/33.46	c (11,0) c PropsLitFullScans_4 : 51444869
54.10/33.46	c (11,0) c PropsLitFullScans_5 : 49751031
54.10/33.46	c (11,0) c PropsLitFullScans_6 : 42574680
54.10/33.46	c (11,0) c PropsLitFullScans_7 : 54051782
54.10/33.46	c (11,0) c PropsLitFullScans_total : 385557363
54.10/33.46	c (11,0) c PropsLitFullScans_winner : 42574680
54.10/33.46	c (11,0) c LitScanFractions_0 : 3399
54.10/33.46	c (11,0) c LitScanFractions_1 : 6565
54.10/33.46	c (11,0) c LitScanFractions_2 : 6899
54.10/33.46	c (11,0) c LitScanFractions_3 : 5415
54.10/33.46	c (11,0) c LitScanFractions_4 : 3841
54.10/33.46	c (11,0) c LitScanFractions_5 : 3976
54.10/33.46	c (11,0) c LitScanFractions_6 : 3760
54.10/33.46	c (11,0) c LitScanFractions_7 : 3037
54.10/33.46	c (11,0) c LitScanFractions_total : 36892
54.10/33.46	c (11,0) c LitScanFractions_winner : 3760
54.10/33.46	c (11,0) c DecisionLevel0_0 : 13
54.10/33.46	c (11,0) c DecisionLevel0_1 : 21
54.10/33.46	c (11,0) c DecisionLevel0_2 : 24
54.10/33.46	c (11,0) c DecisionLevel0_3 : 23
54.10/33.46	c (11,0) c DecisionLevel0_4 : 36
54.10/33.46	c (11,0) c DecisionLevel0_5 : 24
54.10/33.47	c (11,0) c DecisionLevel0_6 : 29
54.10/33.47	c (11,0) c DecisionLevel0_7 : 36
54.10/33.47	c (11,0) c DecisionLevel0_total : 206
54.10/33.47	c (11,0) c DecisionLevel0_winner : 29
54.10/33.47	c (11,0) c Periods_0 : 7
54.10/33.47	c (11,0) c Periods_1 : 10
54.10/33.47	c (11,0) c Periods_2 : 7
54.10/33.47	c (11,0) c Periods_3 : 7
54.10/33.47	c (11,0) c Periods_4 : 8
54.10/33.47	c (11,0) c Periods_5 : 8
54.10/33.47	c (11,0) c Periods_6 : 7
54.10/33.47	c (11,0) c Periods_7 : 9
54.10/33.47	c (11,0) c Periods_total : 63
54.10/33.47	c (11,0) c Periods_winner : 7
54.10/33.47	c (11,0) c Margin_0 : 20
54.10/33.47	c (11,0) c Margin_1 : 20
54.10/33.47	c (11,0) c Margin_2 : 20
54.10/33.47	c (11,0) c Margin_3 : 20
54.10/33.47	c (11,0) c Margin_4 : 20
54.10/33.47	c (11,0) c Margin_5 : 20
54.10/33.47	c (11,0) c Margin_6 : 20
54.10/33.47	c (11,0) c Margin_7 : 20
54.10/33.47	c (11,0) c Margin_total : 160
54.10/33.47	c (11,0) c Margin_winner : 20
54.10/33.47	c (11,0) c Exported_0 : 40
54.10/33.47	c (11,0) c Exported_1 : 38
54.10/33.47	c (11,0) c Exported_2 : 69
54.10/33.47	c (11,0) c Exported_3 : 84
54.10/33.47	c (11,0) c Exported_4 : 79
54.10/33.47	c (11,0) c Exported_5 : 63
54.10/33.47	c (11,0) c Exported_6 : 46
54.10/33.47	c (11,0) c Exported_7 : 81
54.10/33.47	c (11,0) c Exported_total : 500
54.10/33.47	c (11,0) c Exported_winner : 46
54.10/33.47	c (11,0) c Imported_0 : 0
54.10/33.47	c (11,0) c Imported_1 : 0
54.10/33.47	c (11,0) c Imported_2 : 0
54.10/33.47	c (11,0) c Imported_3 : 0
54.10/33.47	c (11,0) c Imported_4 : 0
54.10/33.47	c (11,0) c Imported_5 : 0
54.10/33.47	c (11,0) c Imported_6 : 0
54.10/33.47	c (11,0) c Imported_7 : 0
54.10/33.47	c (11,0) c Imported_total : 0
54.10/33.47	c (11,0) c Imported_winner : 0
54.10/33.47	c (11,0) c Good_0 : 0
54.10/33.47	c (11,0) c Good_1 : 0
54.10/33.47	c (11,0) c Good_2 : 0
54.10/33.47	c (11,0) c Good_3 : 0
54.10/33.47	c (11,0) c Good_4 : 0
54.10/33.47	c (11,0) c Good_5 : 0
54.10/33.47	c (11,0) c Good_6 : 0
54.10/33.47	c (11,0) c Good_7 : 0
54.10/33.47	c (11,0) c Good_total : 0
54.10/33.47	c (11,0) c Good_winner : 0
54.10/33.47	c (11,0) c Purge_0 : 0
54.10/33.47	c (11,0) c Purge_1 : 0
54.10/33.47	c (11,0) c Purge_2 : 0
54.10/33.47	c (11,0) c Purge_3 : 0
54.10/33.47	c (11,0) c Purge_4 : 0
54.10/33.47	c (11,0) c Purge_5 : 0
54.10/33.47	c (11,0) c Purge_6 : 0
54.10/33.47	c (11,0) c Purge_7 : 0
54.10/33.47	c (11,0) c Purge_total : 0
54.10/33.47	c (11,0) c Purge_winner : 0
54.10/33.47	c (11,0) c Promoted_0 : 0
54.10/33.47	c (11,0) c Promoted_1 : 0
54.10/33.47	c (11,0) c Promoted_2 : 0
54.10/33.47	c (11,0) c Promoted_3 : 0
54.10/33.47	c (11,0) c Promoted_4 : 0
54.10/33.47	c (11,0) c Promoted_5 : 0
54.10/33.47	c (11,0) c Promoted_6 : 0
54.10/33.47	c (11,0) c Promoted_7 : 0
54.10/33.47	c (11,0) c Promoted_total : 0
54.10/33.47	c (11,0) c Promoted_winner : 0
54.10/33.47	c (11,0) c Remove_Imp_0 : 0
54.10/33.47	c (11,0) c Remove_Imp_1 : 0
54.10/33.47	c (11,0) c Remove_Imp_2 : 0
54.10/33.47	c (11,0) c Remove_Imp_3 : 0
54.10/33.47	c (11,0) c Remove_Imp_4 : 0
54.10/33.47	c (11,0) c Remove_Imp_5 : 0
54.10/33.47	c (11,0) c Remove_Imp_6 : 0
54.10/33.47	c (11,0) c Remove_Imp_7 : 0
54.10/33.47	c (11,0) c Remove_Imp_total : 0
54.10/33.47	c (11,0) c Remove_Imp_winner : 0
54.10/33.47	c (11,0) c Blocked_Reuse_0 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_1 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_2 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_3 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_4 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_5 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_6 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_7 : 0
54.10/33.47	c (11,0) c Blocked_Reuse_total : 0
54.10/33.47	c (11,0) c Blocked_Reuse_winner : 0
54.10/33.47	c (11,0) c Unaries_0 : 7
54.10/33.47	c (11,0) c Unaries_1 : 16
54.10/33.47	c (11,0) c Unaries_2 : 17
54.10/33.47	c (11,0) c Unaries_3 : 15
54.10/33.47	c (11,0) c Unaries_4 : 25
54.10/33.47	c (11,0) c Unaries_5 : 15
54.10/33.47	c (11,0) c Unaries_6 : 22
54.10/33.47	c (11,0) c Unaries_7 : 20
54.10/33.47	c (11,0) c Unaries_total : 137
54.10/33.47	c (11,0) c Unaries_winner : 22
54.10/33.47	c (11,0) c Binaries_0 : 10
54.10/33.47	c (11,0) c Binaries_1 : 21
54.10/33.47	c (11,0) c Binaries_2 : 28
54.10/33.47	c (11,0) c Binaries_3 : 30
54.10/33.47	c (11,0) c Binaries_4 : 40
54.10/33.47	c (11,0) c Binaries_5 : 17
54.10/33.47	c (11,0) c Binaries_6 : 17
54.10/33.47	c (11,0) c Binaries_7 : 24
54.10/33.47	c (11,0) c Binaries_total : 187
54.10/33.47	c (11,0) c Binaries_winner : 17
54.10/33.47	c (11,0) c Glues_0 : 40
54.10/33.47	c (11,0) c Glues_1 : 38
54.10/33.47	c (11,0) c Glues_2 : 69
54.10/33.47	c (11,0) c Glues_3 : 84
54.10/33.47	c (11,0) c Glues_4 : 79
54.10/33.47	c (11,0) c Glues_5 : 63
54.10/33.47	c (11,0) c Glues_6 : 46
54.10/33.47	c (11,0) c Glues_7 : 81
54.10/33.47	c (11,0) c Glues_total : 500
54.10/33.47	c (11,0) c Glues_winner : 46
54.10/33.47	c (11,0) c RunningTime_0 : 1.365699
54.10/33.47	c (11,0) c RunningTime_1 : 1.304267
54.10/33.47	c (11,0) c RunningTime_2 : 1.358577
54.10/33.47	c (11,0) c RunningTime_3 : 1.375104
54.10/33.47	c (11,0) c RunningTime_4 : 1.298179
54.10/33.47	c (11,0) c RunningTime_5 : 1.292225
54.10/33.47	c (11,0) c RunningTime_6 : 1.349974
54.10/33.47	c (11,0) c RunningTime_7 : 1.339412
54.10/33.47	c (11,0) c RunningTime_total : 10.683436
54.10/33.47	c (11,0) c RunningTime_winner : 1.349974
54.10/33.47	c (11,0) c WaitingTime_0 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_1 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_2 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_3 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_4 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_5 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_6 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_7 : 0.000000
54.10/33.47	c (11,0) c WaitingTime_total : 0.000000
54.10/33.47	c (11,0) c WaitingTime_winner : 0.000000
54.10/33.47	c (11,0) c ExchangingTime_0 : 0.000245
54.10/33.47	c (11,0) c ExchangingTime_1 : 0.000259
54.10/33.47	c (11,0) c ExchangingTime_2 : 0.000281
54.10/33.47	c (11,0) c ExchangingTime_3 : 0.000287
54.10/33.47	c (11,0) c ExchangingTime_4 : 0.000288
54.10/33.47	c (11,0) c ExchangingTime_5 : 0.000242
54.10/33.47	c (11,0) c ExchangingTime_6 : 0.000241
54.10/33.47	c (11,0) c ExchangingTime_7 : 0.000254
54.10/33.47	c (11,0) c ExchangingTime_total : 0.002097
54.10/33.47	c (11,0) c ExchangingTime_winner : 0.000241
54.10/33.47	c (11,0) c PeriodProcTime_0 : 0.000095
54.10/33.47	c (11,0) c PeriodProcTime_1 : 0.000100
54.10/33.47	c (11,0) c PeriodProcTime_2 : 0.000136
54.10/33.47	c (11,0) c PeriodProcTime_3 : 0.000082
54.10/33.47	c (11,0) c PeriodProcTime_4 : 0.000111
54.10/33.47	c (11,0) c PeriodProcTime_5 : 0.000091
54.10/33.47	c (11,0) c PeriodProcTime_6 : 0.000103
54.10/33.47	c (11,0) c PeriodProcTime_7 : 0.000076
54.10/33.47	c (11,0) c PeriodProcTime_total : 0.000795
54.10/33.47	c (11,0) c PeriodProcTime_winner : 0.000103
54.10/33.47	c (11,0) c SolvingTime_0 : 1.366039
54.10/33.47	c (11,0) c SolvingTime_1 : 1.304626
54.10/33.47	c (11,0) c SolvingTime_2 : 1.358994
54.10/33.47	c (11,0) c SolvingTime_3 : 1.375473
54.10/33.47	c (11,0) c SolvingTime_4 : 1.298577
54.10/33.47	c (11,0) c SolvingTime_5 : 1.292559
54.10/33.47	c (11,0) c SolvingTime_6 : 1.350318
54.10/33.47	c (11,0) c SolvingTime_7 : 1.339742
54.10/33.47	c (11,0) c SolvingTime_total : 10.686329
54.10/33.47	c (11,0) c SolvingTime_winner : 1.350318
54.10/33.47	c (11,0) c PropagationTime_0 : 1.272712
54.10/33.47	c (11,0) c PropagationTime_1 : 1.224797
54.10/33.47	c (11,0) c PropagationTime_2 : 1.298987
54.10/33.47	c (11,0) c PropagationTime_3 : 1.319970
54.10/33.47	c (11,0) c PropagationTime_4 : 1.244101
54.10/33.47	c (11,0) c PropagationTime_5 : 1.233416
54.10/33.47	c (11,0) c PropagationTime_6 : 1.291065
54.10/33.47	c (11,0) c PropagationTime_7 : 1.281238
54.10/33.47	c (11,0) c PropagationTime_total : 10.166286
54.10/33.47	c (11,0) c PropagationTime_winner : 1.291065
54.10/33.47	c (11,0) c AnalysisTime_0 : 0.062508
54.10/33.47	c (11,0) c AnalysisTime_1 : 0.052755
54.10/33.47	c (11,0) c AnalysisTime_2 : 0.028196
54.10/33.47	c (11,0) c AnalysisTime_3 : 0.025268
54.10/33.47	c (11,0) c AnalysisTime_4 : 0.027011
54.10/33.47	c (11,0) c AnalysisTime_5 : 0.031058
54.10/33.47	c (11,0) c AnalysisTime_6 : 0.030505
54.10/33.47	c (11,0) c AnalysisTime_7 : 0.029471
54.10/33.47	c (11,0) c AnalysisTime_total : 0.286772
54.10/33.47	c (11,0) c AnalysisTime_winner : 0.030505
54.10/33.47	c (11,0) c ReductionTime_0 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_1 : 0.000418
54.10/33.47	c (11,0) c ReductionTime_2 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_3 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_4 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_5 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_6 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_7 : 0.000000
54.10/33.47	c (11,0) c ReductionTime_total : 0.000418
54.10/33.47	c (11,0) c ReductionTime_winner : 0.000000
54.10/33.47	c (11,0) c SimplifyTime_0 : 0.000001
54.10/33.47	c (11,0) c SimplifyTime_1 : 0.000002
54.10/33.47	c (11,0) c SimplifyTime_2 : 0.000002
54.10/33.47	c (11,0) c SimplifyTime_3 : 0.000004
54.10/33.47	c (11,0) c SimplifyTime_4 : 0.000002
54.10/33.47	c (11,0) c SimplifyTime_5 : 0.000000
54.10/33.47	c (11,0) c SimplifyTime_6 : 0.000002
54.10/33.47	c (11,0) c SimplifyTime_7 : 0.000002
54.10/33.47	c (11,0) c SimplifyTime_total : 0.000015
54.10/33.47	c (11,0) c SimplifyTime_winner : 0.000002
54.10/33.47	c (11,0) c UsedRateTime_0 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_1 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_2 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_3 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_4 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_5 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_6 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_7 : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_total : 0.000000
54.10/33.47	c (11,0) c UsedRateTime_winner : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_0 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_1 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_2 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_3 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_4 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_5 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_6 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_7 : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_total : 0.000000
54.10/33.47	c (11,0) c OverlapRateTime_winner : 0.000000
54.10/33.47	c (11,0) c
54.10/33.47	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.10/33.47	c (11,0) c
54.10/33.47	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.47	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.10/33.47	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.47	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
54.10/33.47	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
54.10/33.47	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
54.10/33.47	c (11,0) c | Initial random_seed   | 1245218262 |  445877782 |  825958203 |  332682202 |  896339545 |  877213587 |  257267674 | 1486840056 |
54.10/33.47	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
54.10/33.47	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
54.10/33.47	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
54.10/33.47	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.10/33.47	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
54.10/33.47	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
54.10/33.47	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.10/33.47	c (11,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
54.10/33.47	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.10/33.47	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
54.10/33.47	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
54.10/33.47	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.10/33.47	c (11,0) 
54.10/33.47	c (11,0) s SATISFIABLE
35.87/33.52	c (11,0) SatSolver.solve End
35.87/33.52	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
35.87/33.52	c (11,0) Show results Begin
54.96/33.72	c (11,0) x[0][0] = 0
54.96/33.72	c (11,0) x[0][1] = 0
54.96/33.72	c (11,0) x[0][2] = 0
54.96/33.72	c (11,0) x[0][3] = 0
54.96/33.72	c (11,0) x[0][4] = 0
54.96/33.72	c (11,0) x[0][5] = 0
54.96/33.72	c (11,0) x[0][6] = 0
54.96/33.72	c (11,0) x[0][7] = 0
54.96/33.72	c (11,0) x[0][8] = 0
54.96/33.72	c (11,0) x[0][9] = 0
54.96/33.72	c (11,0) x[0][10] = 0
54.96/33.72	c (11,0) x[0][11] = 0
54.96/33.72	c (11,0) x[0][12] = 0
54.96/33.72	c (11,0) x[0][13] = 0
54.96/33.72	c (11,0) x[0][14] = 0
54.96/33.72	c (11,0) x[0][15] = 0
54.96/33.72	c (11,0) x[0][16] = 0
54.96/33.72	c (11,0) x[0][17] = 0
54.96/33.72	c (11,0) x[0][18] = 0
54.96/33.72	c (11,0) x[0][19] = 0
54.96/33.72	c (11,0) x[0][20] = 0
54.96/33.72	c (11,0) x[0][21] = 0
54.96/33.72	c (11,0) x[0][22] = 0
54.96/33.72	c (11,0) x[0][23] = 0
54.96/33.72	c (11,0) x[0][24] = 0
54.96/33.72	c (11,0) x[0][25] = 0
54.96/33.72	c (11,0) x[0][26] = 0
54.96/33.72	c (11,0) x[0][27] = 0
54.96/33.72	c (11,0) x[0][28] = 0
54.96/33.72	c (11,0) x[0][29] = 0
54.96/33.72	c (11,0) x[0][30] = 0
54.96/33.72	c (11,0) x[0][31] = 0
54.96/33.72	c (11,0) x[0][32] = 0
54.96/33.72	c (11,0) x[0][33] = 0
54.96/33.72	c (11,0) x[0][34] = 0
54.96/33.72	c (11,0) x[0][35] = 0
54.96/33.72	c (11,0) x[0][36] = 0
54.96/33.72	c (11,0) x[0][37] = 0
54.96/33.72	c (11,0) x[0][38] = 0
54.96/33.72	c (11,0) x[0][39] = 0
54.96/33.72	c (11,0) x[0][40] = 0
54.96/33.72	c (11,0) x[0][41] = 0
54.96/33.72	c (11,0) x[0][42] = 0
54.96/33.72	c (11,0) x[0][43] = 0
54.96/33.72	c (11,0) x[0][44] = 0
54.96/33.72	c (11,0) x[0][45] = 0
54.96/33.72	c (11,0) x[0][46] = 0
54.96/33.72	c (11,0) x[0][47] = 0
54.96/33.72	c (11,0) x[0][48] = 0
54.96/33.72	c (11,0) x[0][49] = 0
54.96/33.72	c (11,0) x[0][50] = 0
54.96/33.72	c (11,0) x[0][51] = 0
54.96/33.72	c (11,0) x[0][52] = 0
54.96/33.72	c (11,0) x[0][53] = 0
54.96/33.72	c (11,0) x[0][54] = 0
54.96/33.72	c (11,0) x[0][55] = 0
54.96/33.72	c (11,0) x[0][56] = 0
54.96/33.72	c (11,0) x[0][57] = 0
54.96/33.72	c (11,0) x[0][58] = 0
54.96/33.72	c (11,0) x[0][59] = 0
54.96/33.72	c (11,0) x[0][60] = 0
54.96/33.72	c (11,0) x[0][61] = 0
54.96/33.72	c (11,0) x[0][62] = 0
54.96/33.72	c (11,0) x[0][63] = 0
54.96/33.72	c (11,0) x[0][64] = 0
54.96/33.72	c (11,0) x[0][65] = 0
54.96/33.72	c (11,0) x[0][66] = 0
54.96/33.72	c (11,0) x[0][67] = 0
54.96/33.72	c (11,0) x[0][68] = 0
54.96/33.72	c (11,0) x[0][69] = 0
54.96/33.72	c (11,0) x[0][70] = 0
54.96/33.72	c (11,0) x[0][71] = 0
54.96/33.72	c (11,0) x[0][72] = 0
54.96/33.72	c (11,0) x[0][73] = 0
54.96/33.72	c (11,0) x[0][74] = 0
54.96/33.72	c (11,0) x[0][75] = 0
54.96/33.72	c (11,0) x[0][76] = 0
54.96/33.72	c (11,0) x[0][77] = 0
54.96/33.72	c (11,0) x[0][78] = 0
54.96/33.72	c (11,0) x[0][79] = 0
54.96/33.72	c (11,0) x[0][80] = 1
54.96/33.72	c (11,0) x[0][81] = 1
54.96/33.72	c (11,0) x[0][82] = 1
54.96/33.72	c (11,0) x[0][83] = 1
54.96/33.72	c (11,0) x[0][84] = 1
54.96/33.72	c (11,0) x[0][85] = 1
54.96/33.73	c (11,0) x[0][86] = 1
54.96/33.73	c (11,0) x[0][87] = 1
54.96/33.73	c (11,0) x[0][88] = 1
54.96/33.73	c (11,0) x[0][89] = 1
54.96/33.73	c (11,0) x[0][90] = 1
54.96/33.73	c (11,0) x[0][91] = 1
54.96/33.73	c (11,0) x[0][92] = 1
54.96/33.73	c (11,0) x[0][93] = 1
54.96/33.73	c (11,0) x[0][94] = 1
54.96/33.73	c (11,0) x[0][95] = 1
54.96/33.73	c (11,0) x[0][96] = 1
54.96/33.73	c (11,0) x[0][97] = 1
54.96/33.73	c (11,0) x[0][98] = 1
54.96/33.73	c (11,0) x[0][99] = 1
54.96/33.73	c (11,0) x[0][100] = 1
54.96/33.73	c (11,0) x[0][101] = 1
54.96/33.73	c (11,0) x[0][102] = 1
54.96/33.73	c (11,0) x[0][103] = 1
54.96/33.73	c (11,0) x[0][104] = 1
54.96/33.73	c (11,0) x[0][105] = 1
54.96/33.73	c (11,0) x[0][106] = 1
54.96/33.73	c (11,0) x[0][107] = 1
54.96/33.73	c (11,0) x[0][108] = 1
54.96/33.73	c (11,0) x[0][109] = 1
54.96/33.73	c (11,0) x[0][110] = 1
54.96/33.73	c (11,0) x[0][111] = 1
54.96/33.73	c (11,0) x[0][112] = 1
54.96/33.73	c (11,0) x[0][113] = 1
54.96/33.73	c (11,0) x[0][114] = 1
54.96/33.73	c (11,0) x[0][115] = 1
54.96/33.73	c (11,0) x[0][116] = 1
54.96/33.73	c (11,0) x[0][117] = 1
54.96/33.73	c (11,0) x[0][118] = 1
54.96/33.73	c (11,0) x[0][119] = 1
54.96/33.73	c (11,0) x[1][0] = 0
54.96/33.73	c (11,0) x[1][1] = 0
54.96/33.73	c (11,0) x[1][2] = 0
54.96/33.73	c (11,0) x[1][3] = 0
54.96/33.73	c (11,0) x[1][4] = 0
54.96/33.73	c (11,0) x[1][5] = 0
54.96/33.73	c (11,0) x[1][6] = 0
54.96/33.73	c (11,0) x[1][7] = 0
54.96/33.73	c (11,0) x[1][8] = 0
54.96/33.73	c (11,0) x[1][9] = 0
54.96/33.73	c (11,0) x[1][10] = 0
54.96/33.73	c (11,0) x[1][11] = 0
54.96/33.73	c (11,0) x[1][12] = 0
54.96/33.73	c (11,0) x[1][13] = 0
54.96/33.73	c (11,0) x[1][14] = 0
54.96/33.73	c (11,0) x[1][15] = 0
54.96/33.73	c (11,0) x[1][16] = 0
54.96/33.73	c (11,0) x[1][17] = 0
54.96/33.73	c (11,0) x[1][18] = 0
54.96/33.73	c (11,0) x[1][19] = 0
54.96/33.73	c (11,0) x[1][20] = 0
54.96/33.73	c (11,0) x[1][21] = 0
54.96/33.73	c (11,0) x[1][22] = 0
54.96/33.73	c (11,0) x[1][23] = 0
54.96/33.73	c (11,0) x[1][24] = 0
54.96/33.73	c (11,0) x[1][25] = 0
54.96/33.73	c (11,0) x[1][26] = 0
54.96/33.73	c (11,0) x[1][27] = 0
54.96/33.73	c (11,0) x[1][28] = 0
54.96/33.73	c (11,0) x[1][29] = 0
54.96/33.73	c (11,0) x[1][30] = 0
54.96/33.73	c (11,0) x[1][31] = 0
54.96/33.73	c (11,0) x[1][32] = 0
54.96/33.73	c (11,0) x[1][33] = 0
54.96/33.73	c (11,0) x[1][34] = 0
54.96/33.73	c (11,0) x[1][35] = 0
54.96/33.73	c (11,0) x[1][36] = 0
54.96/33.73	c (11,0) x[1][37] = 0
54.96/33.73	c (11,0) x[1][38] = 0
54.96/33.73	c (11,0) x[1][39] = 0
54.96/33.73	c (11,0) x[1][40] = 0
54.96/33.73	c (11,0) x[1][41] = 0
54.96/33.73	c (11,0) x[1][42] = 0
54.96/33.73	c (11,0) x[1][43] = 0
54.96/33.73	c (11,0) x[1][44] = 0
54.96/33.73	c (11,0) x[1][45] = 0
54.96/33.73	c (11,0) x[1][46] = 0
54.96/33.73	c (11,0) x[1][47] = 0
54.96/33.73	c (11,0) x[1][48] = 0
54.96/33.73	c (11,0) x[1][49] = 0
54.96/33.73	c (11,0) x[1][50] = 1
54.96/33.73	c (11,0) x[1][51] = 1
54.96/33.73	c (11,0) x[1][52] = 1
54.96/33.73	c (11,0) x[1][53] = 1
54.96/33.73	c (11,0) x[1][54] = 1
54.96/33.73	c (11,0) x[1][55] = 1
54.96/33.73	c (11,0) x[1][56] = 1
54.96/33.73	c (11,0) x[1][57] = 1
54.96/33.73	c (11,0) x[1][58] = 1
54.96/33.73	c (11,0) x[1][59] = 1
54.96/33.73	c (11,0) x[1][60] = 1
54.96/33.73	c (11,0) x[1][61] = 1
54.96/33.73	c (11,0) x[1][62] = 1
54.96/33.73	c (11,0) x[1][63] = 1
54.96/33.73	c (11,0) x[1][64] = 1
54.96/33.73	c (11,0) x[1][65] = 1
54.96/33.73	c (11,0) x[1][66] = 1
54.96/33.73	c (11,0) x[1][67] = 1
54.96/33.73	c (11,0) x[1][68] = 1
54.96/33.73	c (11,0) x[1][69] = 1
54.96/33.73	c (11,0) x[1][70] = 1
54.96/33.73	c (11,0) x[1][71] = 1
54.96/33.73	c (11,0) x[1][72] = 1
54.96/33.73	c (11,0) x[1][73] = 1
54.96/33.73	c (11,0) x[1][74] = 1
54.96/33.73	c (11,0) x[1][75] = 1
54.96/33.73	c (11,0) x[1][76] = 1
54.96/33.73	c (11,0) x[1][77] = 1
54.96/33.73	c (11,0) x[1][78] = 1
54.96/33.73	c (11,0) x[1][79] = 1
54.96/33.73	c (11,0) x[1][80] = 0
54.96/33.73	c (11,0) x[1][81] = 0
54.96/33.73	c (11,0) x[1][82] = 0
54.96/33.73	c (11,0) x[1][83] = 0
54.96/33.73	c (11,0) x[1][84] = 0
54.96/33.73	c (11,0) x[1][85] = 0
54.96/33.73	c (11,0) x[1][86] = 0
54.96/33.73	c (11,0) x[1][87] = 0
54.96/33.73	c (11,0) x[1][88] = 0
54.96/33.73	c (11,0) x[1][89] = 0
54.96/33.73	c (11,0) x[1][90] = 0
54.96/33.73	c (11,0) x[1][91] = 0
54.96/33.73	c (11,0) x[1][92] = 0
54.96/33.73	c (11,0) x[1][93] = 0
54.96/33.73	c (11,0) x[1][94] = 0
54.96/33.73	c (11,0) x[1][95] = 0
54.96/33.73	c (11,0) x[1][96] = 0
54.96/33.73	c (11,0) x[1][97] = 0
54.96/33.73	c (11,0) x[1][98] = 0
54.96/33.73	c (11,0) x[1][99] = 0
54.96/33.73	c (11,0) x[1][100] = 0
54.96/33.73	c (11,0) x[1][101] = 0
54.96/33.73	c (11,0) x[1][102] = 0
54.96/33.73	c (11,0) x[1][103] = 0
54.96/33.73	c (11,0) x[1][104] = 0
54.96/33.73	c (11,0) x[1][105] = 0
54.96/33.73	c (11,0) x[1][106] = 0
54.96/33.73	c (11,0) x[1][107] = 0
54.96/33.73	c (11,0) x[1][108] = 0
54.96/33.73	c (11,0) x[1][109] = 0
54.96/33.73	c (11,0) x[1][110] = 1
54.96/33.73	c (11,0) x[1][111] = 1
54.96/33.73	c (11,0) x[1][112] = 1
54.96/33.73	c (11,0) x[1][113] = 1
54.96/33.73	c (11,0) x[1][114] = 1
54.96/33.73	c (11,0) x[1][115] = 1
54.96/33.73	c (11,0) x[1][116] = 1
54.96/33.73	c (11,0) x[1][117] = 1
54.96/33.73	c (11,0) x[1][118] = 1
54.96/33.73	c (11,0) x[1][119] = 1
54.96/33.73	c (11,0) x[2][0] = 0
54.96/33.73	c (11,0) x[2][1] = 0
54.96/33.73	c (11,0) x[2][2] = 0
54.96/33.73	c (11,0) x[2][3] = 0
54.96/33.73	c (11,0) x[2][4] = 0
54.96/33.73	c (11,0) x[2][5] = 0
54.96/33.73	c (11,0) x[2][6] = 0
54.96/33.73	c (11,0) x[2][7] = 0
54.96/33.73	c (11,0) x[2][8] = 0
54.96/33.73	c (11,0) x[2][9] = 0
54.96/33.73	c (11,0) x[2][10] = 0
54.96/33.73	c (11,0) x[2][11] = 0
54.96/33.73	c (11,0) x[2][12] = 0
54.96/33.73	c (11,0) x[2][13] = 0
54.96/33.73	c (11,0) x[2][14] = 0
54.96/33.73	c (11,0) x[2][15] = 0
54.96/33.73	c (11,0) x[2][16] = 0
54.96/33.73	c (11,0) x[2][17] = 0
54.96/33.73	c (11,0) x[2][18] = 0
54.96/33.73	c (11,0) x[2][19] = 0
54.96/33.73	c (11,0) x[2][20] = 0
54.96/33.73	c (11,0) x[2][21] = 0
54.96/33.73	c (11,0) x[2][22] = 0
54.96/33.73	c (11,0) x[2][23] = 0
54.96/33.73	c (11,0) x[2][24] = 0
54.96/33.73	c (11,0) x[2][25] = 0
54.96/33.73	c (11,0) x[2][26] = 0
54.96/33.73	c (11,0) x[2][27] = 0
54.96/33.73	c (11,0) x[2][28] = 0
54.96/33.73	c (11,0) x[2][29] = 0
54.96/33.73	c (11,0) x[2][30] = 1
54.96/33.73	c (11,0) x[2][31] = 1
54.96/33.73	c (11,0) x[2][32] = 1
54.96/33.73	c (11,0) x[2][33] = 1
54.96/33.73	c (11,0) x[2][34] = 1
54.96/33.73	c (11,0) x[2][35] = 1
54.96/33.73	c (11,0) x[2][36] = 1
54.96/33.73	c (11,0) x[2][37] = 1
54.96/33.73	c (11,0) x[2][38] = 1
54.96/33.73	c (11,0) x[2][39] = 1
54.96/33.73	c (11,0) x[2][40] = 1
54.96/33.73	c (11,0) x[2][41] = 1
54.96/33.73	c (11,0) x[2][42] = 1
54.96/33.74	c (11,0) x[2][43] = 1
54.96/33.74	c (11,0) x[2][44] = 1
54.96/33.74	c (11,0) x[2][45] = 1
54.96/33.74	c (11,0) x[2][46] = 1
54.96/33.74	c (11,0) x[2][47] = 1
54.96/33.74	c (11,0) x[2][48] = 1
54.96/33.74	c (11,0) x[2][49] = 1
54.96/33.74	c (11,0) x[2][50] = 0
54.96/33.74	c (11,0) x[2][51] = 0
54.96/33.74	c (11,0) x[2][52] = 0
54.96/33.74	c (11,0) x[2][53] = 0
54.96/33.74	c (11,0) x[2][54] = 0
54.96/33.74	c (11,0) x[2][55] = 0
54.96/33.74	c (11,0) x[2][56] = 0
54.96/33.74	c (11,0) x[2][57] = 0
54.96/33.74	c (11,0) x[2][58] = 0
54.96/33.74	c (11,0) x[2][59] = 0
54.96/33.74	c (11,0) x[2][60] = 0
54.96/33.74	c (11,0) x[2][61] = 0
54.96/33.74	c (11,0) x[2][62] = 0
54.96/33.74	c (11,0) x[2][63] = 0
54.96/33.74	c (11,0) x[2][64] = 0
54.96/33.74	c (11,0) x[2][65] = 0
54.96/33.74	c (11,0) x[2][66] = 0
54.96/33.74	c (11,0) x[2][67] = 0
54.96/33.74	c (11,0) x[2][68] = 0
54.96/33.74	c (11,0) x[2][69] = 0
54.96/33.74	c (11,0) x[2][70] = 1
54.96/33.74	c (11,0) x[2][71] = 1
54.96/33.74	c (11,0) x[2][72] = 1
54.96/33.74	c (11,0) x[2][73] = 1
54.96/33.74	c (11,0) x[2][74] = 1
54.96/33.74	c (11,0) x[2][75] = 1
54.96/33.74	c (11,0) x[2][76] = 1
54.96/33.74	c (11,0) x[2][77] = 1
54.96/33.74	c (11,0) x[2][78] = 1
54.96/33.74	c (11,0) x[2][79] = 1
54.96/33.74	c (11,0) x[2][80] = 0
54.96/33.74	c (11,0) x[2][81] = 0
54.96/33.74	c (11,0) x[2][82] = 0
54.96/33.74	c (11,0) x[2][83] = 0
54.96/33.74	c (11,0) x[2][84] = 0
54.96/33.74	c (11,0) x[2][85] = 0
54.96/33.74	c (11,0) x[2][86] = 0
54.96/33.74	c (11,0) x[2][87] = 0
54.96/33.74	c (11,0) x[2][88] = 0
54.96/33.74	c (11,0) x[2][89] = 0
54.96/33.74	c (11,0) x[2][90] = 0
54.96/33.74	c (11,0) x[2][91] = 0
54.96/33.74	c (11,0) x[2][92] = 0
54.96/33.74	c (11,0) x[2][93] = 0
54.96/33.74	c (11,0) x[2][94] = 0
54.96/33.74	c (11,0) x[2][95] = 0
54.96/33.74	c (11,0) x[2][96] = 0
54.96/33.74	c (11,0) x[2][97] = 0
54.96/33.74	c (11,0) x[2][98] = 0
54.96/33.74	c (11,0) x[2][99] = 0
54.96/33.74	c (11,0) x[2][100] = 1
54.96/33.74	c (11,0) x[2][101] = 1
54.96/33.74	c (11,0) x[2][102] = 1
54.96/33.74	c (11,0) x[2][103] = 1
54.96/33.74	c (11,0) x[2][104] = 1
54.96/33.74	c (11,0) x[2][105] = 1
54.96/33.74	c (11,0) x[2][106] = 1
54.96/33.74	c (11,0) x[2][107] = 1
54.96/33.74	c (11,0) x[2][108] = 1
54.96/33.74	c (11,0) x[2][109] = 1
54.96/33.74	c (11,0) x[2][110] = 0
54.96/33.74	c (11,0) x[2][111] = 0
54.96/33.74	c (11,0) x[2][112] = 0
54.96/33.74	c (11,0) x[2][113] = 0
54.96/33.74	c (11,0) x[2][114] = 0
54.96/33.74	c (11,0) x[2][115] = 0
54.96/33.74	c (11,0) x[2][116] = 0
54.96/33.74	c (11,0) x[2][117] = 0
54.96/33.74	c (11,0) x[2][118] = 0
54.96/33.74	c (11,0) x[2][119] = 0
54.96/33.74	c (11,0) x[3][0] = 0
54.96/33.74	c (11,0) x[3][1] = 0
54.96/33.74	c (11,0) x[3][2] = 0
54.96/33.74	c (11,0) x[3][3] = 0
54.96/33.74	c (11,0) x[3][4] = 0
54.96/33.74	c (11,0) x[3][5] = 0
54.96/33.74	c (11,0) x[3][6] = 0
54.96/33.74	c (11,0) x[3][7] = 0
54.96/33.74	c (11,0) x[3][8] = 0
54.96/33.74	c (11,0) x[3][9] = 0
54.96/33.74	c (11,0) x[3][10] = 0
54.96/33.74	c (11,0) x[3][11] = 1
54.96/33.74	c (11,0) x[3][12] = 1
54.96/33.74	c (11,0) x[3][13] = 1
54.96/33.74	c (11,0) x[3][14] = 1
54.96/33.74	c (11,0) x[3][15] = 1
54.96/33.74	c (11,0) x[3][16] = 1
54.96/33.74	c (11,0) x[3][17] = 1
54.96/33.74	c (11,0) x[3][18] = 1
54.96/33.74	c (11,0) x[3][19] = 1
54.96/33.74	c (11,0) x[3][20] = 1
54.96/33.74	c (11,0) x[3][21] = 1
54.96/33.74	c (11,0) x[3][22] = 1
54.96/33.74	c (11,0) x[3][23] = 1
54.96/33.74	c (11,0) x[3][24] = 1
54.96/33.74	c (11,0) x[3][25] = 1
54.96/33.74	c (11,0) x[3][26] = 1
54.96/33.74	c (11,0) x[3][27] = 1
54.96/33.74	c (11,0) x[3][28] = 1
54.96/33.74	c (11,0) x[3][29] = 1
54.96/33.74	c (11,0) x[3][30] = 0
54.96/33.74	c (11,0) x[3][31] = 0
54.96/33.74	c (11,0) x[3][32] = 0
54.96/33.74	c (11,0) x[3][33] = 0
54.96/33.74	c (11,0) x[3][34] = 0
54.96/33.74	c (11,0) x[3][35] = 0
54.96/33.74	c (11,0) x[3][36] = 0
54.96/33.74	c (11,0) x[3][37] = 0
54.96/33.74	c (11,0) x[3][38] = 0
54.96/33.74	c (11,0) x[3][39] = 0
54.96/33.74	c (11,0) x[3][40] = 0
54.96/33.74	c (11,0) x[3][41] = 0
54.96/33.74	c (11,0) x[3][42] = 0
54.96/33.74	c (11,0) x[3][43] = 0
54.96/33.74	c (11,0) x[3][44] = 0
54.96/33.74	c (11,0) x[3][45] = 0
54.96/33.74	c (11,0) x[3][46] = 0
54.96/33.74	c (11,0) x[3][47] = 0
54.96/33.74	c (11,0) x[3][48] = 0
54.96/33.74	c (11,0) x[3][49] = 1
54.96/33.74	c (11,0) x[3][50] = 0
54.96/33.74	c (11,0) x[3][51] = 0
54.96/33.74	c (11,0) x[3][52] = 0
54.96/33.74	c (11,0) x[3][53] = 0
54.96/33.74	c (11,0) x[3][54] = 0
54.96/33.74	c (11,0) x[3][55] = 0
54.96/33.74	c (11,0) x[3][56] = 0
54.96/33.74	c (11,0) x[3][57] = 0
54.96/33.74	c (11,0) x[3][58] = 0
54.96/33.74	c (11,0) x[3][59] = 0
54.96/33.74	c (11,0) x[3][60] = 1
54.96/33.74	c (11,0) x[3][61] = 1
54.96/33.74	c (11,0) x[3][62] = 1
54.96/33.74	c (11,0) x[3][63] = 1
54.96/33.74	c (11,0) x[3][64] = 1
54.96/33.74	c (11,0) x[3][65] = 1
54.96/33.74	c (11,0) x[3][66] = 1
54.96/33.74	c (11,0) x[3][67] = 1
54.96/33.74	c (11,0) x[3][68] = 1
54.96/33.74	c (11,0) x[3][69] = 1
54.96/33.74	c (11,0) x[3][70] = 0
54.96/33.74	c (11,0) x[3][71] = 0
54.96/33.74	c (11,0) x[3][72] = 0
54.96/33.74	c (11,0) x[3][73] = 0
54.96/33.74	c (11,0) x[3][74] = 0
54.96/33.74	c (11,0) x[3][75] = 0
54.96/33.74	c (11,0) x[3][76] = 0
54.96/33.74	c (11,0) x[3][77] = 0
54.96/33.74	c (11,0) x[3][78] = 0
54.96/33.74	c (11,0) x[3][79] = 0
54.96/33.74	c (11,0) x[3][80] = 0
54.96/33.74	c (11,0) x[3][81] = 0
54.96/33.74	c (11,0) x[3][82] = 0
54.96/33.74	c (11,0) x[3][83] = 0
54.96/33.74	c (11,0) x[3][84] = 0
54.96/33.74	c (11,0) x[3][85] = 0
54.96/33.74	c (11,0) x[3][86] = 0
54.96/33.74	c (11,0) x[3][87] = 0
54.96/33.74	c (11,0) x[3][88] = 0
54.96/33.74	c (11,0) x[3][89] = 0
54.96/33.74	c (11,0) x[3][90] = 0
54.96/33.74	c (11,0) x[3][91] = 0
54.96/33.74	c (11,0) x[3][92] = 0
54.96/33.74	c (11,0) x[3][93] = 0
54.96/33.74	c (11,0) x[3][94] = 0
54.96/33.74	c (11,0) x[3][95] = 0
54.96/33.74	c (11,0) x[3][96] = 0
54.96/33.74	c (11,0) x[3][97] = 0
54.96/33.74	c (11,0) x[3][98] = 0
54.96/33.74	c (11,0) x[3][99] = 1
54.96/33.74	c (11,0) x[3][100] = 0
54.96/33.74	c (11,0) x[3][101] = 1
54.96/33.74	c (11,0) x[3][102] = 1
54.96/33.74	c (11,0) x[3][103] = 1
54.96/33.74	c (11,0) x[3][104] = 1
54.96/33.74	c (11,0) x[3][105] = 1
54.96/33.74	c (11,0) x[3][106] = 1
54.96/33.74	c (11,0) x[3][107] = 1
54.96/33.74	c (11,0) x[3][108] = 1
54.96/33.74	c (11,0) x[3][109] = 1
54.96/33.74	c (11,0) x[3][110] = 0
54.96/33.74	c (11,0) x[3][111] = 0
54.96/33.74	c (11,0) x[3][112] = 0
54.96/33.74	c (11,0) x[3][113] = 0
54.96/33.74	c (11,0) x[3][114] = 0
54.96/33.74	c (11,0) x[3][115] = 0
54.96/33.74	c (11,0) x[3][116] = 0
54.96/33.74	c (11,0) x[3][117] = 0
54.96/33.74	c (11,0) x[3][118] = 0
54.96/33.74	c (11,0) x[3][119] = 0
54.96/33.74	c (11,0) x[4][0] = 0
54.96/33.74	c (11,0) x[4][1] = 0
54.96/33.74	c (11,0) x[4][2] = 0
54.96/33.74	c (11,0) x[4][3] = 1
54.96/33.74	c (11,0) x[4][4] = 1
54.96/33.74	c (11,0) x[4][5] = 1
54.96/33.74	c (11,0) x[4][6] = 1
54.96/33.74	c (11,0) x[4][7] = 1
54.96/33.74	c (11,0) x[4][8] = 1
54.96/33.74	c (11,0) x[4][9] = 1
54.96/33.74	c (11,0) x[4][10] = 1
54.96/33.74	c (11,0) x[4][11] = 0
54.96/33.74	c (11,0) x[4][12] = 0
54.96/33.74	c (11,0) x[4][13] = 0
54.96/33.74	c (11,0) x[4][14] = 0
54.96/33.74	c (11,0) x[4][15] = 0
54.96/33.74	c (11,0) x[4][16] = 0
54.96/33.74	c (11,0) x[4][17] = 0
54.96/33.74	c (11,0) x[4][18] = 0
54.96/33.74	c (11,0) x[4][19] = 0
54.96/33.74	c (11,0) x[4][20] = 1
54.96/33.74	c (11,0) x[4][21] = 1
54.96/33.74	c (11,0) x[4][22] = 1
54.96/33.74	c (11,0) x[4][23] = 1
54.96/33.74	c (11,0) x[4][24] = 1
54.96/33.74	c (11,0) x[4][25] = 1
54.96/33.74	c (11,0) x[4][26] = 1
54.96/33.74	c (11,0) x[4][27] = 1
54.96/33.74	c (11,0) x[4][28] = 1
54.96/33.74	c (11,0) x[4][29] = 1
54.96/33.74	c (11,0) x[4][30] = 0
54.96/33.74	c (11,0) x[4][31] = 0
54.96/33.74	c (11,0) x[4][32] = 0
54.96/33.74	c (11,0) x[4][33] = 0
54.96/33.74	c (11,0) x[4][34] = 0
54.96/33.74	c (11,0) x[4][35] = 0
54.96/33.74	c (11,0) x[4][36] = 0
54.96/33.74	c (11,0) x[4][37] = 0
54.96/33.74	c (11,0) x[4][38] = 0
54.96/33.74	c (11,0) x[4][39] = 1
54.96/33.74	c (11,0) x[4][40] = 1
54.96/33.74	c (11,0) x[4][41] = 1
54.96/33.74	c (11,0) x[4][42] = 1
54.96/33.74	c (11,0) x[4][43] = 1
54.96/33.74	c (11,0) x[4][44] = 1
54.96/33.74	c (11,0) x[4][45] = 1
54.96/33.74	c (11,0) x[4][46] = 1
54.96/33.74	c (11,0) x[4][47] = 1
54.96/33.74	c (11,0) x[4][48] = 1
54.96/33.74	c (11,0) x[4][49] = 0
54.96/33.74	c (11,0) x[4][50] = 0
54.96/33.74	c (11,0) x[4][51] = 0
54.96/33.74	c (11,0) x[4][52] = 0
54.96/33.74	c (11,0) x[4][53] = 0
54.96/33.74	c (11,0) x[4][54] = 0
54.96/33.74	c (11,0) x[4][55] = 0
54.96/33.74	c (11,0) x[4][56] = 0
54.96/33.74	c (11,0) x[4][57] = 0
54.96/33.74	c (11,0) x[4][58] = 1
54.96/33.74	c (11,0) x[4][59] = 1
54.96/33.74	c (11,0) x[4][60] = 0
54.96/33.74	c (11,0) x[4][61] = 0
54.96/33.74	c (11,0) x[4][62] = 0
54.96/33.74	c (11,0) x[4][63] = 0
54.96/33.74	c (11,0) x[4][64] = 0
54.96/33.74	c (11,0) x[4][65] = 0
54.96/33.74	c (11,0) x[4][66] = 0
54.96/33.74	c (11,0) x[4][67] = 0
54.96/33.74	c (11,0) x[4][68] = 0
54.96/33.74	c (11,0) x[4][69] = 0
54.96/33.74	c (11,0) x[4][70] = 0
54.96/33.74	c (11,0) x[4][71] = 0
54.96/33.74	c (11,0) x[4][72] = 0
54.96/33.74	c (11,0) x[4][73] = 0
54.96/33.74	c (11,0) x[4][74] = 0
54.96/33.74	c (11,0) x[4][75] = 0
54.96/33.74	c (11,0) x[4][76] = 0
54.96/33.74	c (11,0) x[4][77] = 0
54.96/33.74	c (11,0) x[4][78] = 0
54.96/33.74	c (11,0) x[4][79] = 0
54.96/33.74	c (11,0) x[4][80] = 0
54.96/33.74	c (11,0) x[4][81] = 0
54.96/33.74	c (11,0) x[4][82] = 0
54.96/33.74	c (11,0) x[4][83] = 0
54.96/33.74	c (11,0) x[4][84] = 0
54.96/33.74	c (11,0) x[4][85] = 0
54.96/33.74	c (11,0) x[4][86] = 0
54.96/33.74	c (11,0) x[4][87] = 0
54.96/33.74	c (11,0) x[4][88] = 0
54.96/33.74	c (11,0) x[4][89] = 0
54.96/33.74	c (11,0) x[4][90] = 0
54.96/33.74	c (11,0) x[4][91] = 0
54.96/33.74	c (11,0) x[4][92] = 0
54.96/33.74	c (11,0) x[4][93] = 0
54.96/33.74	c (11,0) x[4][94] = 0
54.96/33.74	c (11,0) x[4][95] = 0
54.96/33.74	c (11,0) x[4][96] = 0
54.96/33.74	c (11,0) x[4][97] = 1
54.96/33.74	c (11,0) x[4][98] = 1
54.96/33.74	c (11,0) x[4][99] = 0
54.96/33.74	c (11,0) x[4][100] = 0
54.96/33.74	c (11,0) x[4][101] = 0
54.96/33.74	c (11,0) x[4][102] = 0
54.96/33.74	c (11,0) x[4][103] = 0
54.96/33.74	c (11,0) x[4][104] = 0
54.96/33.74	c (11,0) x[4][105] = 0
54.96/33.74	c (11,0) x[4][106] = 0
54.96/33.74	c (11,0) x[4][107] = 0
54.96/33.74	c (11,0) x[4][108] = 0
54.96/33.74	c (11,0) x[4][109] = 0
54.96/33.74	c (11,0) x[4][110] = 0
54.96/33.74	c (11,0) x[4][111] = 0
54.96/33.74	c (11,0) x[4][112] = 1
54.96/33.74	c (11,0) x[4][113] = 1
54.96/33.74	c (11,0) x[4][114] = 1
54.96/33.74	c (11,0) x[4][115] = 1
54.96/33.74	c (11,0) x[4][116] = 1
54.96/33.74	c (11,0) x[4][117] = 1
54.96/33.74	c (11,0) x[4][118] = 1
54.96/33.74	c (11,0) x[4][119] = 1
54.96/33.74	c (11,0) x[5][0] = 0
54.96/33.74	c (11,0) x[5][1] = 1
54.96/33.74	c (11,0) x[5][2] = 1
54.96/33.74	c (11,0) x[5][3] = 1
54.96/33.74	c (11,0) x[5][4] = 1
54.96/33.74	c (11,0) x[5][5] = 1
54.96/33.74	c (11,0) x[5][6] = 1
54.96/33.74	c (11,0) x[5][7] = 1
54.96/33.74	c (11,0) x[5][8] = 1
54.96/33.74	c (11,0) x[5][9] = 1
54.96/33.74	c (11,0) x[5][10] = 1
54.96/33.74	c (11,0) x[5][11] = 0
54.96/33.74	c (11,0) x[5][12] = 0
54.96/33.74	c (11,0) x[5][13] = 0
54.96/33.74	c (11,0) x[5][14] = 1
54.96/33.74	c (11,0) x[5][15] = 1
54.96/33.74	c (11,0) x[5][16] = 1
54.96/33.74	c (11,0) x[5][17] = 1
54.96/33.74	c (11,0) x[5][18] = 1
54.96/33.74	c (11,0) x[5][19] = 1
54.96/33.74	c (11,0) x[5][20] = 0
54.96/33.74	c (11,0) x[5][21] = 0
54.96/33.74	c (11,0) x[5][22] = 0
54.96/33.74	c (11,0) x[5][23] = 0
54.96/33.74	c (11,0) x[5][24] = 0
54.96/33.74	c (11,0) x[5][25] = 0
54.96/33.74	c (11,0) x[5][26] = 0
54.96/33.74	c (11,0) x[5][27] = 0
54.96/33.74	c (11,0) x[5][28] = 1
54.96/33.74	c (11,0) x[5][29] = 1
54.96/33.74	c (11,0) x[5][30] = 0
54.96/33.74	c (11,0) x[5][31] = 0
54.96/33.74	c (11,0) x[5][32] = 0
54.96/33.74	c (11,0) x[5][33] = 0
54.96/33.74	c (11,0) x[5][34] = 0
54.96/33.74	c (11,0) x[5][35] = 0
54.96/33.74	c (11,0) x[5][36] = 0
54.96/33.74	c (11,0) x[5][37] = 1
54.96/33.74	c (11,0) x[5][38] = 1
54.96/33.74	c (11,0) x[5][39] = 0
54.96/33.74	c (11,0) x[5][40] = 0
54.96/33.74	c (11,0) x[5][41] = 0
54.96/33.74	c (11,0) x[5][42] = 0
54.96/33.74	c (11,0) x[5][43] = 0
54.96/33.74	c (11,0) x[5][44] = 0
54.96/33.74	c (11,0) x[5][45] = 0
54.96/33.74	c (11,0) x[5][46] = 0
54.96/33.74	c (11,0) x[5][47] = 0
54.96/33.74	c (11,0) x[5][48] = 0
54.96/33.74	c (11,0) x[5][49] = 0
54.96/33.74	c (11,0) x[5][50] = 0
54.96/33.74	c (11,0) x[5][51] = 0
54.96/33.74	c (11,0) x[5][52] = 0
54.96/33.74	c (11,0) x[5][53] = 0
54.96/33.74	c (11,0) x[5][54] = 0
54.96/33.74	c (11,0) x[5][55] = 0
54.96/33.74	c (11,0) x[5][56] = 0
54.96/33.74	c (11,0) x[5][57] = 0
54.96/33.74	c (11,0) x[5][58] = 0
54.96/33.74	c (11,0) x[5][59] = 0
54.96/33.74	c (11,0) x[5][60] = 0
54.96/33.74	c (11,0) x[5][61] = 0
54.96/33.74	c (11,0) x[5][62] = 0
54.96/33.74	c (11,0) x[5][63] = 0
54.96/33.74	c (11,0) x[5][64] = 0
54.96/33.74	c (11,0) x[5][65] = 0
54.96/33.74	c (11,0) x[5][66] = 0
54.96/33.74	c (11,0) x[5][67] = 0
54.96/33.74	c (11,0) x[5][68] = 1
54.96/33.74	c (11,0) x[5][69] = 1
54.96/33.74	c (11,0) x[5][70] = 0
54.96/33.74	c (11,0) x[5][71] = 0
54.96/33.74	c (11,0) x[5][72] = 1
54.96/33.74	c (11,0) x[5][73] = 1
54.96/33.74	c (11,0) x[5][74] = 1
54.96/33.74	c (11,0) x[5][75] = 1
54.96/33.74	c (11,0) x[5][76] = 1
54.96/33.74	c (11,0) x[5][77] = 1
54.96/33.74	c (11,0) x[5][78] = 1
54.96/33.74	c (11,0) x[5][79] = 1
54.96/33.74	c (11,0) x[5][80] = 0
54.96/33.74	c (11,0) x[5][81] = 0
54.96/33.74	c (11,0) x[5][82] = 0
54.96/33.74	c (11,0) x[5][83] = 0
54.96/33.74	c (11,0) x[5][84] = 0
54.96/33.74	c (11,0) x[5][85] = 0
54.96/33.74	c (11,0) x[5][86] = 0
54.96/33.74	c (11,0) x[5][87] = 1
54.96/33.74	c (11,0) x[5][88] = 1
54.96/33.74	c (11,0) x[5][89] = 1
54.96/33.74	c (11,0) x[5][90] = 1
54.96/33.74	c (11,0) x[5][91] = 1
54.96/33.74	c (11,0) x[5][92] = 1
54.96/33.74	c (11,0) x[5][93] = 1
54.96/33.74	c (11,0) x[5][94] = 1
54.96/33.74	c (11,0) x[5][95] = 1
54.96/33.74	c (11,0) x[5][96] = 1
54.96/33.74	c (11,0) x[5][97] = 0
54.96/33.74	c (11,0) x[5][98] = 0
54.96/33.74	c (11,0) x[5][99] = 0
54.96/33.74	c (11,0) x[5][100] = 0
54.96/33.74	c (11,0) x[5][101] = 0
54.96/33.74	c (11,0) x[5][102] = 0
54.96/33.74	c (11,0) x[5][103] = 0
54.96/33.74	c (11,0) x[5][104] = 0
54.96/33.74	c (11,0) x[5][105] = 0
54.96/33.74	c (11,0) x[5][106] = 0
54.96/33.74	c (11,0) x[5][107] = 0
54.96/33.74	c (11,0) x[5][108] = 0
54.96/33.74	c (11,0) x[5][109] = 0
54.96/33.74	c (11,0) x[5][110] = 0
54.96/33.74	c (11,0) x[5][111] = 0
54.96/33.74	c (11,0) x[5][112] = 0
54.96/33.74	c (11,0) x[5][113] = 0
54.96/33.74	c (11,0) x[5][114] = 0
54.96/33.74	c (11,0) x[5][115] = 0
54.96/33.74	c (11,0) x[5][116] = 0
54.96/33.74	c (11,0) x[5][117] = 0
54.96/33.74	c (11,0) x[5][118] = 0
54.96/33.74	c (11,0) x[5][119] = 0
54.96/33.74	c (11,0) x[6][0] = 1
54.96/33.74	c (11,0) x[6][1] = 0
54.96/33.74	c (11,0) x[6][2] = 0
54.96/33.74	c (11,0) x[6][3] = 0
54.96/33.74	c (11,0) x[6][4] = 1
54.96/33.74	c (11,0) x[6][5] = 1
54.96/33.74	c (11,0) x[6][6] = 1
54.96/33.74	c (11,0) x[6][7] = 1
54.96/33.74	c (11,0) x[6][8] = 1
54.96/33.74	c (11,0) x[6][9] = 1
54.96/33.74	c (11,0) x[6][10] = 1
54.96/33.74	c (11,0) x[6][11] = 0
54.96/33.74	c (11,0) x[6][12] = 1
54.96/33.74	c (11,0) x[6][13] = 1
54.96/33.74	c (11,0) x[6][14] = 0
54.96/33.74	c (11,0) x[6][15] = 0
54.96/33.74	c (11,0) x[6][16] = 0
54.96/33.74	c (11,0) x[6][17] = 0
54.96/33.74	c (11,0) x[6][18] = 0
54.96/33.74	c (11,0) x[6][19] = 1
54.96/33.74	c (11,0) x[6][20] = 0
54.96/33.74	c (11,0) x[6][21] = 0
54.96/33.74	c (11,0) x[6][22] = 0
54.96/33.74	c (11,0) x[6][23] = 0
54.96/33.74	c (11,0) x[6][24] = 0
54.96/33.74	c (11,0) x[6][25] = 1
54.96/33.74	c (11,0) x[6][26] = 1
54.96/33.74	c (11,0) x[6][27] = 1
54.96/33.74	c (11,0) x[6][28] = 0
54.96/33.74	c (11,0) x[6][29] = 0
54.96/33.74	c (11,0) x[6][30] = 1
54.96/33.74	c (11,0) x[6][31] = 1
54.96/33.74	c (11,0) x[6][32] = 1
54.96/33.74	c (11,0) x[6][33] = 1
54.96/33.74	c (11,0) x[6][34] = 1
54.96/33.74	c (11,0) x[6][35] = 1
54.96/33.74	c (11,0) x[6][36] = 1
54.96/33.74	c (11,0) x[6][37] = 0
54.96/33.74	c (11,0) x[6][38] = 0
54.96/33.74	c (11,0) x[6][39] = 0
54.96/33.74	c (11,0) x[6][40] = 0
54.96/33.74	c (11,0) x[6][41] = 0
54.96/33.74	c (11,0) x[6][42] = 0
54.96/33.74	c (11,0) x[6][43] = 0
54.96/33.74	c (11,0) x[6][44] = 0
54.96/33.74	c (11,0) x[6][45] = 0
54.96/33.74	c (11,0) x[6][46] = 0
54.96/33.74	c (11,0) x[6][47] = 0
54.96/33.74	c (11,0) x[6][48] = 0
54.96/33.74	c (11,0) x[6][49] = 1
54.96/33.74	c (11,0) x[6][50] = 0
54.96/33.74	c (11,0) x[6][51] = 0
54.96/33.74	c (11,0) x[6][52] = 0
54.96/33.74	c (11,0) x[6][53] = 0
54.96/33.74	c (11,0) x[6][54] = 1
54.96/33.74	c (11,0) x[6][55] = 1
54.96/33.74	c (11,0) x[6][56] = 1
54.96/33.74	c (11,0) x[6][57] = 1
54.96/33.74	c (11,0) x[6][58] = 0
54.96/33.74	c (11,0) x[6][59] = 0
54.96/33.74	c (11,0) x[6][60] = 0
54.96/33.74	c (11,0) x[6][61] = 0
54.96/33.74	c (11,0) x[6][62] = 0
54.96/33.74	c (11,0) x[6][63] = 0
54.96/33.74	c (11,0) x[6][64] = 0
54.96/33.74	c (11,0) x[6][65] = 1
54.96/33.74	c (11,0) x[6][66] = 1
54.96/33.74	c (11,0) x[6][67] = 1
54.96/33.74	c (11,0) x[6][68] = 0
54.96/33.74	c (11,0) x[6][69] = 0
54.96/33.74	c (11,0) x[6][70] = 0
54.96/33.74	c (11,0) x[6][71] = 1
54.96/33.74	c (11,0) x[6][72] = 0
54.96/33.74	c (11,0) x[6][73] = 0
54.96/33.74	c (11,0) x[6][74] = 0
54.96/33.74	c (11,0) x[6][75] = 0
54.96/33.74	c (11,0) x[6][76] = 0
54.96/33.74	c (11,0) x[6][77] = 0
54.96/33.74	c (11,0) x[6][78] = 0
54.96/33.74	c (11,0) x[6][79] = 0
54.96/33.74	c (11,0) x[6][80] = 0
54.96/33.74	c (11,0) x[6][81] = 0
54.96/33.74	c (11,0) x[6][82] = 1
54.96/33.74	c (11,0) x[6][83] = 1
54.96/33.74	c (11,0) x[6][84] = 1
54.96/33.74	c (11,0) x[6][85] = 1
54.96/33.74	c (11,0) x[6][86] = 1
54.96/33.74	c (11,0) x[6][87] = 0
54.96/33.74	c (11,0) x[6][88] = 0
54.96/33.74	c (11,0) x[6][89] = 0
54.96/33.74	c (11,0) x[6][90] = 0
54.96/33.74	c (11,0) x[6][91] = 0
54.96/33.74	c (11,0) x[6][92] = 0
54.96/33.74	c (11,0) x[6][93] = 0
54.96/33.74	c (11,0) x[6][94] = 0
54.96/33.74	c (11,0) x[6][95] = 1
54.96/33.74	c (11,0) x[6][96] = 1
54.96/33.74	c (11,0) x[6][97] = 0
54.96/33.74	c (11,0) x[6][98] = 0
54.96/33.74	c (11,0) x[6][99] = 0
54.96/33.74	c (11,0) x[6][100] = 1
54.96/33.74	c (11,0) x[6][101] = 0
54.96/33.74	c (11,0) x[6][102] = 0
54.96/33.74	c (11,0) x[6][103] = 0
54.96/33.74	c (11,0) x[6][104] = 0
54.96/33.74	c (11,0) x[6][105] = 0
54.96/33.74	c (11,0) x[6][106] = 0
54.96/33.74	c (11,0) x[6][107] = 0
54.96/33.74	c (11,0) x[6][108] = 0
54.96/33.74	c (11,0) x[6][109] = 0
54.96/33.74	c (11,0) x[6][110] = 1
54.96/33.74	c (11,0) x[6][111] = 1
54.96/33.74	c (11,0) x[6][112] = 0
54.96/33.74	c (11,0) x[6][113] = 0
54.96/33.74	c (11,0) x[6][114] = 0
54.96/33.74	c (11,0) x[6][115] = 0
54.96/33.74	c (11,0) x[6][116] = 0
54.96/33.74	c (11,0) x[6][117] = 0
54.96/33.74	c (11,0) x[6][118] = 0
54.96/33.74	c (11,0) x[6][119] = 0
54.96/33.74	c (11,0) x[7][0] = 1
54.96/33.74	c (11,0) x[7][1] = 1
54.96/33.74	c (11,0) x[7][2] = 1
54.96/33.74	c (11,0) x[7][3] = 0
54.96/33.74	c (11,0) x[7][4] = 0
54.96/33.74	c (11,0) x[7][5] = 0
54.96/33.74	c (11,0) x[7][6] = 0
54.96/33.74	c (11,0) x[7][7] = 0
54.96/33.74	c (11,0) x[7][8] = 0
54.96/33.74	c (11,0) x[7][9] = 0
54.96/33.74	c (11,0) x[7][10] = 0
54.96/33.74	c (11,0) x[7][11] = 1
54.96/33.74	c (11,0) x[7][12] = 1
54.96/33.74	c (11,0) x[7][13] = 1
54.96/33.74	c (11,0) x[7][14] = 0
54.96/33.74	c (11,0) x[7][15] = 0
54.96/33.74	c (11,0) x[7][16] = 0
54.96/33.74	c (11,0) x[7][17] = 1
54.96/33.74	c (11,0) x[7][18] = 1
54.96/33.74	c (11,0) x[7][19] = 0
54.96/33.74	c (11,0) x[7][20] = 0
54.96/33.74	c (11,0) x[7][21] = 0
54.96/33.74	c (11,0) x[7][22] = 0
54.96/33.74	c (11,0) x[7][23] = 1
54.96/33.74	c (11,0) x[7][24] = 1
54.96/33.74	c (11,0) x[7][25] = 0
54.96/33.74	c (11,0) x[7][26] = 0
54.96/33.74	c (11,0) x[7][27] = 0
54.96/33.74	c (11,0) x[7][28] = 0
54.96/33.74	c (11,0) x[7][29] = 0
54.96/33.74	c (11,0) x[7][30] = 0
54.96/33.74	c (11,0) x[7][31] = 0
54.96/33.74	c (11,0) x[7][32] = 0
54.96/33.74	c (11,0) x[7][33] = 0
54.96/33.74	c (11,0) x[7][34] = 0
54.96/33.74	c (11,0) x[7][35] = 0
54.96/33.74	c (11,0) x[7][36] = 1
54.96/33.74	c (11,0) x[7][37] = 1
54.96/33.74	c (11,0) x[7][38] = 1
54.96/33.74	c (11,0) x[7][39] = 0
54.96/33.74	c (11,0) x[7][40] = 0
54.96/33.74	c (11,0) x[7][41] = 0
54.96/33.74	c (11,0) x[7][42] = 1
54.96/33.74	c (11,0) x[7][43] = 1
54.96/33.74	c (11,0) x[7][44] = 1
54.96/33.74	c (11,0) x[7][45] = 1
54.96/33.74	c (11,0) x[7][46] = 1
54.96/33.74	c (11,0) x[7][47] = 1
54.96/33.74	c (11,0) x[7][48] = 1
54.96/33.74	c (11,0) x[7][49] = 0
54.96/33.74	c (11,0) x[7][50] = 1
54.96/33.74	c (11,0) x[7][51] = 1
54.96/33.74	c (11,0) x[7][52] = 1
54.96/33.74	c (11,0) x[7][53] = 1
54.96/33.74	c (11,0) x[7][54] = 1
54.96/33.74	c (11,0) x[7][55] = 1
54.96/33.74	c (11,0) x[7][56] = 1
54.96/33.74	c (11,0) x[7][57] = 1
54.96/33.74	c (11,0) x[7][58] = 0
54.96/33.74	c (11,0) x[7][59] = 0
54.96/33.74	c (11,0) x[7][60] = 0
54.96/33.74	c (11,0) x[7][61] = 0
54.96/33.74	c (11,0) x[7][62] = 0
54.96/33.74	c (11,0) x[7][63] = 1
54.96/33.74	c (11,0) x[7][64] = 1
54.96/33.74	c (11,0) x[7][65] = 0
54.96/33.74	c (11,0) x[7][66] = 0
54.96/33.74	c (11,0) x[7][67] = 0
54.96/33.74	c (11,0) x[7][68] = 0
54.96/33.74	c (11,0) x[7][69] = 0
54.96/33.74	c (11,0) x[7][70] = 0
54.96/33.74	c (11,0) x[7][71] = 0
54.96/33.74	c (11,0) x[7][72] = 0
54.96/33.74	c (11,0) x[7][73] = 0
54.96/33.74	c (11,0) x[7][74] = 0
54.96/33.74	c (11,0) x[7][75] = 0
54.96/33.74	c (11,0) x[7][76] = 0
54.96/33.74	c (11,0) x[7][77] = 0
54.96/33.74	c (11,0) x[7][78] = 0
54.96/33.74	c (11,0) x[7][79] = 0
54.96/33.74	c (11,0) x[7][80] = 1
54.96/33.74	c (11,0) x[7][81] = 1
54.96/33.74	c (11,0) x[7][82] = 0
54.96/33.74	c (11,0) x[7][83] = 0
54.96/33.74	c (11,0) x[7][84] = 0
54.96/33.74	c (11,0) x[7][85] = 1
54.96/33.74	c (11,0) x[7][86] = 1
54.96/33.74	c (11,0) x[7][87] = 0
54.96/33.74	c (11,0) x[7][88] = 0
54.96/33.74	c (11,0) x[7][89] = 0
54.96/33.74	c (11,0) x[7][90] = 0
54.96/33.74	c (11,0) x[7][91] = 1
54.96/33.74	c (11,0) x[7][92] = 1
54.96/33.74	c (11,0) x[7][93] = 1
54.96/33.74	c (11,0) x[7][94] = 1
54.96/33.74	c (11,0) x[7][95] = 0
54.96/33.74	c (11,0) x[7][96] = 0
54.96/33.74	c (11,0) x[7][97] = 0
54.96/33.74	c (11,0) x[7][98] = 1
54.96/33.74	c (11,0) x[7][99] = 1
54.96/33.74	c (11,0) x[7][100] = 0
54.96/33.74	c (11,0) x[7][101] = 0
54.96/33.74	c (11,0) x[7][102] = 0
54.96/33.74	c (11,0) x[7][103] = 0
54.96/33.74	c (11,0) x[7][104] = 0
54.96/33.74	c (11,0) x[7][105] = 0
54.96/33.74	c (11,0) x[7][106] = 0
54.96/33.74	c (11,0) x[7][107] = 0
54.96/33.74	c (11,0) x[7][108] = 0
54.96/33.74	c (11,0) x[7][109] = 0
54.96/33.74	c (11,0) x[7][110] = 0
54.96/33.74	c (11,0) x[7][111] = 0
54.96/33.74	c (11,0) x[7][112] = 0
54.96/33.74	c (11,0) x[7][113] = 0
54.96/33.74	c (11,0) x[7][114] = 0
54.96/33.74	c (11,0) x[7][115] = 0
54.96/33.74	c (11,0) x[7][116] = 0
54.96/33.74	c (11,0) x[7][117] = 0
54.96/33.74	c (11,0) x[7][118] = 0
54.96/33.74	c (11,0) x[7][119] = 0
54.96/33.74	c (11,0) x[8][0] = 1
54.96/33.74	c (11,0) x[8][1] = 1
54.96/33.74	c (11,0) x[8][2] = 1
54.96/33.74	c (11,0) x[8][3] = 1
54.96/33.74	c (11,0) x[8][4] = 0
54.96/33.74	c (11,0) x[8][5] = 0
54.96/33.74	c (11,0) x[8][6] = 0
54.96/33.74	c (11,0) x[8][7] = 0
54.96/33.74	c (11,0) x[8][8] = 0
54.96/33.74	c (11,0) x[8][9] = 0
54.96/33.74	c (11,0) x[8][10] = 0
54.96/33.74	c (11,0) x[8][11] = 1
54.96/33.74	c (11,0) x[8][12] = 0
54.96/33.74	c (11,0) x[8][13] = 0
54.96/33.74	c (11,0) x[8][14] = 1
54.96/33.74	c (11,0) x[8][15] = 1
54.96/33.74	c (11,0) x[8][16] = 1
54.96/33.74	c (11,0) x[8][17] = 0
54.96/33.74	c (11,0) x[8][18] = 0
54.96/33.74	c (11,0) x[8][19] = 0
54.96/33.74	c (11,0) x[8][20] = 1
54.96/33.74	c (11,0) x[8][21] = 1
54.96/33.74	c (11,0) x[8][22] = 1
54.96/33.74	c (11,0) x[8][23] = 0
54.96/33.74	c (11,0) x[8][24] = 0
54.96/33.74	c (11,0) x[8][25] = 0
54.96/33.74	c (11,0) x[8][26] = 0
54.96/33.74	c (11,0) x[8][27] = 0
54.96/33.74	c (11,0) x[8][28] = 0
54.96/33.74	c (11,0) x[8][29] = 0
54.96/33.74	c (11,0) x[8][30] = 1
54.96/33.74	c (11,0) x[8][31] = 1
54.96/33.74	c (11,0) x[8][32] = 1
54.96/33.74	c (11,0) x[8][33] = 1
54.96/33.74	c (11,0) x[8][34] = 1
54.96/33.74	c (11,0) x[8][35] = 1
54.96/33.74	c (11,0) x[8][36] = 0
54.96/33.74	c (11,0) x[8][37] = 0
54.96/33.74	c (11,0) x[8][38] = 0
54.96/33.74	c (11,0) x[8][39] = 1
54.96/33.74	c (11,0) x[8][40] = 1
54.96/33.74	c (11,0) x[8][41] = 1
54.96/33.74	c (11,0) x[8][42] = 0
54.96/33.74	c (11,0) x[8][43] = 0
54.96/33.74	c (11,0) x[8][44] = 0
54.96/33.74	c (11,0) x[8][45] = 0
54.96/33.74	c (11,0) x[8][46] = 0
54.96/33.74	c (11,0) x[8][47] = 0
54.96/33.74	c (11,0) x[8][48] = 0
54.96/33.74	c (11,0) x[8][49] = 0
54.96/33.74	c (11,0) x[8][50] = 1
54.96/33.74	c (11,0) x[8][51] = 1
54.96/33.74	c (11,0) x[8][52] = 1
54.96/33.74	c (11,0) x[8][53] = 1
54.96/33.74	c (11,0) x[8][54] = 0
54.96/33.74	c (11,0) x[8][55] = 0
54.96/33.74	c (11,0) x[8][56] = 0
54.96/33.74	c (11,0) x[8][57] = 0
54.96/33.74	c (11,0) x[8][58] = 1
54.96/33.74	c (11,0) x[8][59] = 1
54.96/33.74	c (11,0) x[8][60] = 1
54.96/33.74	c (11,0) x[8][61] = 1
54.96/33.74	c (11,0) x[8][62] = 1
54.96/33.74	c (11,0) x[8][63] = 0
54.96/33.74	c (11,0) x[8][64] = 0
54.96/33.74	c (11,0) x[8][65] = 0
54.96/33.74	c (11,0) x[8][66] = 0
54.96/33.74	c (11,0) x[8][67] = 0
54.96/33.74	c (11,0) x[8][68] = 0
54.96/33.74	c (11,0) x[8][69] = 0
54.96/33.74	c (11,0) x[8][70] = 1
54.96/33.74	c (11,0) x[8][71] = 0
54.96/33.74	c (11,0) x[8][72] = 0
54.96/33.74	c (11,0) x[8][73] = 0
54.96/33.74	c (11,0) x[8][74] = 0
54.96/33.74	c (11,0) x[8][75] = 0
54.96/33.74	c (11,0) x[8][76] = 0
54.96/33.74	c (11,0) x[8][77] = 0
54.96/33.74	c (11,0) x[8][78] = 0
54.96/33.74	c (11,0) x[8][79] = 0
54.96/33.74	c (11,0) x[8][80] = 1
54.96/33.74	c (11,0) x[8][81] = 1
54.96/33.74	c (11,0) x[8][82] = 1
54.96/33.74	c (11,0) x[8][83] = 1
54.96/33.74	c (11,0) x[8][84] = 1
54.96/33.74	c (11,0) x[8][85] = 0
54.96/33.74	c (11,0) x[8][86] = 0
54.96/33.74	c (11,0) x[8][87] = 1
54.96/33.74	c (11,0) x[8][88] = 1
54.96/33.74	c (11,0) x[8][89] = 1
54.96/33.74	c (11,0) x[8][90] = 1
54.96/33.74	c (11,0) x[8][91] = 0
54.96/33.74	c (11,0) x[8][92] = 0
54.96/33.74	c (11,0) x[8][93] = 0
54.96/33.74	c (11,0) x[8][94] = 0
54.96/33.74	c (11,0) x[8][95] = 0
54.96/33.74	c (11,0) x[8][96] = 0
54.96/33.74	c (11,0) x[8][97] = 1
54.96/33.74	c (11,0) x[8][98] = 0
54.96/33.74	c (11,0) x[8][99] = 0
54.96/33.74	c (11,0) x[8][100] = 0
54.96/33.74	c (11,0) x[8][101] = 0
54.96/33.74	c (11,0) x[8][102] = 0
54.96/33.74	c (11,0) x[8][103] = 0
54.96/33.74	c (11,0) x[8][104] = 0
54.96/33.74	c (11,0) x[8][105] = 0
54.96/33.74	c (11,0) x[8][106] = 0
54.96/33.74	c (11,0) x[8][107] = 0
54.96/33.74	c (11,0) x[8][108] = 0
54.96/33.74	c (11,0) x[8][109] = 0
54.96/33.74	c (11,0) x[8][110] = 0
54.96/33.74	c (11,0) x[8][111] = 0
54.96/33.74	c (11,0) x[8][112] = 0
54.96/33.74	c (11,0) x[8][113] = 0
54.96/33.74	c (11,0) x[8][114] = 0
54.96/33.74	c (11,0) x[8][115] = 0
54.96/33.74	c (11,0) x[8][116] = 0
54.96/33.74	c (11,0) x[8][117] = 0
54.96/33.74	c (11,0) x[8][118] = 0
54.96/33.74	c (11,0) x[8][119] = 0
54.96/33.74	s SATISFIABLE
54.96/33.75	v <instantiation>
54.96/33.75	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[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] 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[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] 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[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] 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[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] 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[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] 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[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] 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[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] 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[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] 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[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119]</list>
54.96/33.75	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 1 1 1 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 0 1 1 1 1 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 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 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 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
54.96/33.75	v </instantiation>
54.96/33.75	c (11,0) Show results End
54.96/33.75	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
54.96/33.75	c (11,0) 11,11,STOP-AFTER(ALL)
54.96/33.75	c END-Prog: Mon Sep 23 14:19:12 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 (14096 MiB free)
  memory of node 1: 16384 MiB (10970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405149-1569241159/watcher-4405149-1569241159 -o /var/tmp/evaluation-result-4405149-1569241159/solver-4405149-1569241159 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569238587-611 --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-4405149-1569241159.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
Current StackSize limit: 8192 KiB
solver pid=1184, runsolver pid=1181


[startup+0.100138 s]*
/proc/loadavg: 1.08 1.10 1.00 3/211 1206
/proc/meminfo: memFree=25575416/32770624 swapFree=66997372/67108860
[pid=1184] ppid=1181 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1184/stat : 1184 (scop.sh) S 1181 1184 564 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500054270 115843072 349 33554432000 4194304 5098028 140724121021648 140724121018904 140239605539452 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140724121023229 140724121023576 140724121023576 140724121026505 0
/proc/1184/statm: 28282 349 297 221 0 87 0
[pid=1187] ppid=1184 vsize=27314120 memory=103844 CPUtime=0.1 cores=0-7
/proc/1187/stat : 1187 (java) S 1184 1184 564 0 -1 1077944320 6567 0 0 0 8 2 0 0 20 0 20 0 500054270 27969658880 25961 33554432000 4194304 4196468 140735339877584 140735339860128 140576931258103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
/proc/1187/statm: 6828530 25961 2775 1 0 6790935 0
[pid=1187/tid=1188] ppid=1184 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1187/task/1188/stat : 1188 (java) R 1184 1184 564 0 -1 4202560 4647 0 0 0 6 2 0 0 20 0 20 0 500054270 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576903082048 140576931280029 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1189] ppid=1184 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/1187/task/1189/stat : 1189 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576935500560 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1190] ppid=1184 vsize=27314120 memory=288371070858630784 CPUtime=0 cores=0-7
/proc/1187/task/1190/stat : 1190 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576764595088 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1191] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1191/stat : 1191 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576352013328 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1192] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1192/stat : 1192 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576350960784 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1193] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1193/stat : 1193 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576349907216 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1194] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1194/stat : 1194 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576348854672 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1195] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1195/stat : 1195 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576347802128 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1196] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1196/stat : 1196 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 26026 33554432000 4194304 4196468 140735339877584 140576346749584 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1197] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1197/stat : 1197 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054274 27969658880 26026 33554432000 4194304 4196468 140735339877584 140575922608624 140576931269250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1198] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1198/stat : 1198 (java) S 1184 1184 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500054275 27969658880 26026 33554432000 4194304 4196468 140735339877584 140574816462240 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1199] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1199/stat : 1199 (java) S 1184 1184 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500054275 27969658880 26026 33554432000 4194304 4196468 140735339877584 140574682240496 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1200] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1200/stat : 1200 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 26026 33554432000 4194304 4196468 140735339877584 140574307736272 140576931276699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1201] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1201/stat : 1201 (java) S 1184 1184 564 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 26026 33554432000 4194304 4196468 140735339877584 140575921555440 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1202] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1202/stat : 1202 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 26026 33554432000 4194304 4196468 140735339877584 140575920502896 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1203] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1203/stat : 1203 (java) S 1184 1184 564 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 26026 33554432000 4194304 4196468 140735339877584 140575919450352 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1204] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1204/stat : 1204 (java) S 1184 1184 564 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 26026 33554432000 4194304 4196468 140735339877584 140575918397808 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1205] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1205/stat : 1205 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054278 27969658880 26026 33554432000 4194304 4196468 140735339877584 140573809830624 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1206] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1206/stat : 1206 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054278 27969658880 26026 33554432000 4194304 4196468 140735339877584 140575917345712 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105240 KiB

[startup+0.210358 s]*
/proc/loadavg: 1.08 1.10 1.00 2/211 1206
/proc/meminfo: memFree=25553848/32770624 swapFree=66997372/67108860
[pid=1184] ppid=1181 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1184/stat : 1184 (scop.sh) S 1181 1184 564 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500054270 115843072 349 33554432000 4194304 5098028 140724121021648 140724121018904 140239605539452 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140724121023229 140724121023576 140724121023576 140724121026505 0
/proc/1184/statm: 28282 349 297 221 0 87 0
[pid=1187] ppid=1184 vsize=27314120 memory=123188 CPUtime=0.24 cores=0-7
/proc/1187/stat : 1187 (java) S 1184 1184 564 0 -1 1077944320 12237 0 0 0 20 4 0 0 20 0 20 0 500054270 27969658880 30797 33554432000 4194304 4196468 140735339877584 140735339860128 140576931258103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
/proc/1187/statm: 6828530 30797 2919 1 0 6790935 0
[pid=1187/tid=1188] ppid=1184 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/1187/task/1188/stat : 1188 (java) R 1184 1184 564 0 -1 4202560 9877 0 0 0 16 4 0 0 20 0 20 0 500054270 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576903057488 140576912823056 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1189] ppid=1184 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/1187/task/1189/stat : 1189 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576935500560 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1190] ppid=1184 vsize=27314120 memory=288371070858630784 CPUtime=0 cores=0-7
/proc/1187/task/1190/stat : 1190 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576764595088 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1191] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1191/stat : 1191 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576352013328 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1192] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1192/stat : 1192 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576350960784 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1193] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1193/stat : 1193 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576349907216 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1194] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1194/stat : 1194 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576348854672 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1195] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1195/stat : 1195 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576347802128 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1196] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1196/stat : 1196 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 30797 33554432000 4194304 4196468 140735339877584 140576346749584 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1197] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1197/stat : 1197 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054274 27969658880 30797 33554432000 4194304 4196468 140735339877584 140575922608624 140576931269250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1198] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1198/stat : 1198 (java) S 1184 1184 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500054275 27969658880 30797 33554432000 4194304 4196468 140735339877584 140574816462240 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1199] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1199/stat : 1199 (java) S 1184 1184 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500054275 27969658880 30797 33554432000 4194304 4196468 140735339877584 140574682240496 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1200] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1200/stat : 1200 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 30797 33554432000 4194304 4196468 140735339877584 140574307736272 140576931276699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1201] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1201/stat : 1201 (java) S 1184 1184 564 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 30797 33554432000 4194304 4196468 140735339877584 140575921555440 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1202] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1202/stat : 1202 (java) S 1184 1184 564 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 30797 33554432000 4194304 4196468 140735339877584 140575920502896 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1203] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1203/stat : 1203 (java) S 1184 1184 564 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 30797 33554432000 4194304 4196468 140735339877584 140575919450352 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1204] ppid=1184 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1187/task/1204/stat : 1204 (java) S 1184 1184 564 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 500054277 27969658880 30797 33554432000 4194304 4196468 140735339877584 140575918397808 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1205] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1205/stat : 1205 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054278 27969658880 30797 33554432000 4194304 4196468 140735339877584 140573809830624 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1206] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1206/stat : 1206 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054278 27969658880 30797 33554432000 4194304 4196468 140735339877584 140575917345712 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124584 KiB

[startup+0.310627 s]*
/proc/loadavg: 1.08 1.10 1.00 2/211 1206
/proc/meminfo: memFree=25542020/32770624 swapFree=66997372/67108860
[pid=1184] ppid=1181 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1184/stat : 1184 (scop.sh) S 1181 1184 564 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500054270 115843072 349 33554432000 4194304 5098028 140724121021648 140724121018904 140239605539452 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140724121023229 140724121023576 140724121023576 140724121026505 0
/proc/1184/statm: 28282 349 297 221 0 87 0
[pid=1187] ppid=1184 vsize=27314120 memory=127348 CPUtime=0.42 cores=0-7
/proc/1187/stat : 1187 (java) S 1184 1184 564 0 -1 1077944320 12700 0 0 0 37 5 0 0 20 0 20 0 500054270 27969658880 31837 33554432000 4194304 4196468 140735339877584 140735339860128 140576931258103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
/proc/1187/statm: 6828530 31837 3051 1 0 6790935 0
[pid=1187/tid=1188] ppid=1184 vsize=27314120 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1187/task/1188/stat : 1188 (java) R 1184 1184 564 0 -1 4202560 10070 0 0 0 25 4 0 0 20 0 20 0 500054270 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576903079104 140576912821678 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1189] ppid=1184 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1187/task/1189/stat : 1189 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576935500560 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1190] ppid=1184 vsize=27314120 memory=2828 CPUtime=0 cores=0-7
/proc/1187/task/1190/stat : 1190 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576764595088 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1191] ppid=1184 vsize=27314120 memory=1048 CPUtime=0 cores=0-7
/proc/1187/task/1191/stat : 1191 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576352013328 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1192] ppid=1184 vsize=27314120 memory=6124 CPUtime=0 cores=0-7
/proc/1187/task/1192/stat : 1192 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576350960784 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1193] ppid=1184 vsize=27314120 memory=916 CPUtime=0 cores=0-7
/proc/1187/task/1193/stat : 1193 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576349907216 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1194] ppid=1184 vsize=27314120 memory=612 CPUtime=0 cores=0-7
/proc/1187/task/1194/stat : 1194 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576348854672 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1195] ppid=1184 vsize=27314120 memory=4204 CPUtime=0 cores=0-7
/proc/1187/task/1195/stat : 1195 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576347802128 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1196] ppid=1184 vsize=27314120 memory=1220 CPUtime=0 cores=0-7
/proc/1187/task/1196/stat : 1196 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054273 27969658880 31837 33554432000 4194304 4196468 140735339877584 140576346749584 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1197] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1197/stat : 1197 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500054274 27969658880 31837 33554432000 4194304 4196468 140735339877584 140575922608624 140576931269250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1198] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1198/stat : 1198 (java) S 1184 1184 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500054275 27969658880 31837 33554432000 4194304 4196468 140735339877584 140574816462240 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1199] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1199/stat : 1199 (java) S 1184 1184 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500054275 27969658880 31837 33554432000 4194304 4196468 140735339877584 140574682240496 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1200] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1200/stat : 1200 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054277 27969658880 31837 33554432000 4194304 4196468 140735339877584 140574307736272 140576931276699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1201] ppid=1184 vsize=27314120 memory=67 CPUtime=0.01 cores=0-7
/proc/1187/task/1201/stat : 1201 (java) S 1184 1184 564 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 500054277 27969658880 31837 33554432000 4194304 4196468 140735339877584 140575921555440 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1202] ppid=1184 vsize=27314120 memory=35 CPUtime=0.01 cores=0-7
/proc/1187/task/1202/stat : 1202 (java) R 1184 1184 564 0 -1 4202560 181 0 0 0 1 0 0 0 20 0 20 0 500054277 27969658880 31837 33554432000 4194304 4196468 140735339877584 140575920502896 140576916365120 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1203] ppid=1184 vsize=27314120 memory=2244 CPUtime=0.01 cores=0-7
/proc/1187/task/1203/stat : 1203 (java) S 1184 1184 564 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 500054277 27969658880 31837 33554432000 4194304 4196468 140735339877584 140575919450352 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1204] ppid=1184 vsize=27314120 memory=2244 CPUtime=0.07 cores=0-7
/proc/1187/task/1204/stat : 1204 (java) S 1184 1184 564 0 -1 1077944384 594 0 0 0 7 0 0 0 20 0 20 0 500054277 27969658880 31837 33554432000 4194304 4196468 140735339877584 140575918397808 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1205] ppid=1184 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1205/stat : 1205 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500054278 27969658880 31837 33554432000 4194304 4196468 140735339877584 140573809830624 140576931268309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1206] ppid=1184 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1187/task/1206/stat : 1206 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054278 27969658880 31837 33554432000 4194304 4196468 140735339877584 140575917345712 140576931269250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128744 KiB

[startup+0.707297 s]
/proc/loadavg: 1.08 1.10 1.00 2/211 1206
/proc/meminfo: memFree=25527232/32770624 swapFree=66997372/67108860
[pid=1184] ppid=1181 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1184/stat : 1184 (scop.sh) S 1181 1184 564 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500054270 115843072 349 33554432000 4194304 5098028 140724121021648 140724121018904 140239605539452 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140724121023229 140724121023576 140724121023576 140724121026505 0
/proc/1184/statm: 28282 349 297 221 0 87 0
[pid=1187] ppid=1184 vsize=27322516 memory=163388 CPUtime=1.01 cores=0-7
/proc/1187/stat : 1187 (java) S 1184 1184 564 0 -1 1077944320 20510 0 0 0 94 7 0 0 20 0 20 0 500054270 27978256384 40847 33554432000 4194304 4196468 140735339877584 140735339860128 140576931258103 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
/proc/1187/statm: 6830629 40847 3202 1 0 6791959 0
[pid=1187/tid=1188] ppid=1184 vsize=27322516 memory=2244 CPUtime=0.68 cores=0-7
/proc/1187/task/1188/stat : 1188 (java) R 1184 1184 564 0 -1 4202560 17143 0 0 0 62 6 0 0 20 0 20 0 500054270 27978256384 40847 33554432000 4194304 4196468 140735339877584 140576903089840 140576915338590 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1189] ppid=1184 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/1187/task/1189/stat : 1189 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27978256384 40847 33554432000 4194304 4196468 140735339877584 140576935500560 140576931268309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1190] ppid=1184 vsize=27322516 memory=148 CPUtime=0 cores=0-7
/proc/1187/task/1190/stat : 1190 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27978256384 40847 33554432000 4194304 4196468 140735339877584 140576764595088 140576931268309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0
[pid=1187/tid=1191] ppid=1184 vsize=27322516 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/1187/task/1191/stat : 1191 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500054273 27978256384 40847 33554432000 4194304 4196468 140735339877584 140576352013328 140576931268309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13045760 140735339885256 140735339885702 140735339885702 140735339888591 0

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

[pid=1209/tid=1210] ppid=1184 vsize=8414124 memory=7378136810002474343 CPUtime=0.8 cores=0-7
/proc/1209/task/1210/stat : 1210 (java) S 1184 1184 564 0 -1 1077944384 16916 0 0 0 75 5 0 0 20 0 24 0 500056429 8616062976 31020 33554432000 4194304 4196468 140729867053376 139771081174944 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1212] ppid=1184 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/1209/task/1212/stat : 1212 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139771113577488 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1213] ppid=1184 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/1209/task/1213/stat : 1213 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770922138768 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1214] ppid=1184 vsize=8414124 memory=14972261111170422 CPUtime=0 cores=0-7
/proc/1209/task/1214/stat : 1214 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770921085712 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1215] ppid=1184 vsize=8414124 memory=6224326942143889505 CPUtime=0 cores=0-7
/proc/1209/task/1215/stat : 1215 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770592222096 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1216] ppid=1184 vsize=8414124 memory=7738965842889565526 CPUtime=0 cores=0-7
/proc/1209/task/1216/stat : 1216 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770591169040 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1217] ppid=1184 vsize=8414124 memory=6011581402601046114 CPUtime=0 cores=0-7
/proc/1209/task/1217/stat : 1217 (java) S 1184 1184 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770590116496 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1218] ppid=1184 vsize=8414124 memory=291045324259328026 CPUtime=0 cores=0-7
/proc/1209/task/1218/stat : 1218 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770589063440 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1219] ppid=1184 vsize=8414124 memory=301741382048153914 CPUtime=0 cores=0-7
/proc/1209/task/1219/stat : 1219 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056430 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770588010896 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1220] ppid=1184 vsize=8414124 memory=14972261111170422 CPUtime=0 cores=0-7
/proc/1209/task/1220/stat : 1220 (java) S 1184 1184 564 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500056431 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770135714544 139771109345922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1221] ppid=1184 vsize=8414124 memory=7306916055891837008 CPUtime=0 cores=0-7
/proc/1209/task/1221/stat : 1221 (java) S 1184 1184 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500056432 8616062976 31020 33554432000 4194304 4196468 140729867053376 139769778529952 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1222] ppid=1184 vsize=8414124 memory=288286671177515824 CPUtime=0 cores=0-7
/proc/1209/task/1222/stat : 1222 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056432 8616062976 31020 33554432000 4194304 4196468 140729867053376 139769510094064 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1223] ppid=1184 vsize=8414124 memory=288286671177515824 CPUtime=0 cores=0-7
/proc/1209/task/1223/stat : 1223 (java) S 1184 1184 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500056434 8616062976 31020 33554432000 4194304 4196468 140729867053376 139769135585744 139771109353371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1224] ppid=1184 vsize=8414124 memory=6944652177228980320 CPUtime=0.12 cores=0-7
/proc/1209/task/1224/stat : 1224 (java) S 1184 1184 564 0 -1 1077944384 755 0 0 0 12 0 0 0 20 0 24 0 500056435 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770134661360 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1225] ppid=1184 vsize=8414124 memory=6943526294502006880 CPUtime=0.16 cores=0-7
/proc/1209/task/1225/stat : 1225 (java) S 1184 1184 564 0 -1 1077944384 601 0 0 0 16 0 0 0 20 0 24 0 500056435 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770133608816 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1226] ppid=1184 vsize=8414124 memory=6944656592455097440 CPUtime=0.09 cores=0-7
/proc/1209/task/1226/stat : 1226 (java) S 1184 1184 564 0 -1 1077944384 330 0 0 0 9 0 0 0 20 0 24 0 500056435 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770132555760 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1227] ppid=1184 vsize=8414124 memory=6944656592387989600 CPUtime=0.22 cores=0-7
/proc/1209/task/1227/stat : 1227 (java) S 1184 1184 564 0 -1 1077944384 583 0 0 0 22 0 0 0 20 0 24 0 500056435 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770131503216 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1228] ppid=1184 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/1209/task/1228/stat : 1228 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500056435 8616062976 31020 33554432000 4194304 4196468 140729867053376 139768637680608 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1229] ppid=1184 vsize=8414124 memory=-6948614817169703622 CPUtime=0 cores=0-7
/proc/1209/task/1229/stat : 1229 (java) S 1184 1184 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500056435 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770130451632 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1231] ppid=1184 vsize=8414124 memory=8174723239089013032 CPUtime=0 cores=0-7
/proc/1209/task/1231/stat : 1231 (java) S 1184 1184 564 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500056506 8616062976 31020 33554432000 4194304 4196468 140729867053376 139770122417600 139771109359385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1233] ppid=1184 vsize=8414124 memory=288288861627614118 CPUtime=0 cores=0-7
/proc/1209/task/1233/stat : 1233 (java) S 1184 1184 564 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500056507 8616062976 31020 33554432000 4194304 4196468 140729867053376 139767966580240 139771109356701 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1234] ppid=1184 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1209/task/1234/stat : 1234 (java) S 1184 1184 564 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500056507 8616062976 31020 33554432000 4194304 4196468 140729867053376 139768235015824 139771109356701 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1235] ppid=1184 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1209/task/1235/stat : 1235 (java) S 1184 1184 564 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500056509 8616062976 31020 33554432000 4194304 4196468 140729867053376 139767698152368 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
Current children cumulated CPU time: 52.59 s
Current children cumulated vsize: 9954204 KiB
Current children cumulated memory: 938984 KiB

[startup+33.6011 s]
/proc/loadavg: 1.43 1.19 1.03 10/224 1243
/proc/meminfo: memFree=24708716/32770624 swapFree=66997372/67108860
[pid=1184] ppid=1181 vsize=113128 memory=1472 CPUtime=34.29 cores=0-7
/proc/1184/stat : 1184 (scop.sh) S 1181 1184 564 0 -1 4202496 582 42060 0 0 0 0 3270 159 20 0 1 0 500054270 115843072 368 33554432000 4194304 5098028 140724121021648 140724121018392 140239605539452 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140724121023229 140724121023576 140724121023576 140724121026505 0
/proc/1184/statm: 28282 368 311 221 0 87 0
[pid=1209] ppid=1184 vsize=8283048 memory=136248 CPUtime=20.42 cores=0-7
/proc/1209/stat : 1209 (java) S 1184 1184 564 0 -1 1077944320 21981 219302 0 0 171 8 1656 207 20 0 22 0 500056428 8481841152 34062 33554432000 4194304 4196468 140729867053376 140729867035920 139771109334775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
/proc/1209/statm: 2070762 34062 3227 1 0 2032106 0
[pid=1209/tid=1210] ppid=1184 vsize=8283048 memory=1472 CPUtime=19.5 cores=0-7
/proc/1209/task/1210/stat : 1210 (java) R 1184 1184 564 0 -1 4202560 17084 219302 0 0 82 5 1656 207 20 0 22 0 500056429 8481841152 34062 33554432000 4194304 4196468 140729867053376 139771081172976 139771109346710 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1212] ppid=1184 vsize=8283048 memory=124080 CPUtime=18.63 cores=0-7
/proc/1209/task/1212/stat : 1212 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139771113577488 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1213] ppid=1184 vsize=8283048 memory=131712 CPUtime=18.63 cores=0-7
/proc/1209/task/1213/stat : 1213 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770922138768 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1214] ppid=1184 vsize=8283048 memory=124080 CPUtime=18.63 cores=0-7
/proc/1209/task/1214/stat : 1214 (java) S 1184 1184 564 0 -1 1077944384 2 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770921085712 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1215] ppid=1184 vsize=8283048 memory=3680 CPUtime=18.63 cores=0-7
/proc/1209/task/1215/stat : 1215 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770592222096 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1216] ppid=1184 vsize=8283048 memory=766444 CPUtime=18.63 cores=0-7
/proc/1209/task/1216/stat : 1216 (java) S 1184 1184 564 0 -1 1077944384 2 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770591169040 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1217] ppid=1184 vsize=8283048 memory=0 CPUtime=18.63 cores=0-7
/proc/1209/task/1217/stat : 1217 (java) S 1184 1184 564 0 -1 1077944384 2 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770590116496 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1218] ppid=1184 vsize=8283048 memory=7518026621751089000 CPUtime=18.63 cores=0-7
/proc/1209/task/1218/stat : 1218 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770589063440 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1219] ppid=1184 vsize=8283048 memory=6296683612671922525 CPUtime=18.63 cores=0-7
/proc/1209/task/1219/stat : 1219 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770588010896 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1220] ppid=1184 vsize=8283048 memory=33 CPUtime=18.63 cores=0-7
/proc/1209/task/1220/stat : 1220 (java) S 1184 1184 564 0 -1 1077944384 7 219302 0 0 0 0 1656 207 20 0 22 0 500056431 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770135714544 139771109345922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1221] ppid=1184 vsize=8283048 memory=6441370576508249454 CPUtime=18.63 cores=0-7
/proc/1209/task/1221/stat : 1221 (java) S 1184 1184 564 0 -1 1077944384 13 219302 0 0 0 0 1656 207 20 0 22 0 500056432 8481841152 34062 33554432000 4194304 4196468 140729867053376 139769778529952 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1222] ppid=1184 vsize=8283048 memory=7882828121784479853 CPUtime=18.63 cores=0-7
/proc/1209/task/1222/stat : 1222 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056432 8481841152 34062 33554432000 4194304 4196468 140729867053376 139769510094064 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1223] ppid=1184 vsize=8283048 memory=7882828121784479853 CPUtime=18.63 cores=0-7
/proc/1209/task/1223/stat : 1223 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056434 8481841152 34062 33554432000 4194304 4196468 140729867053376 139769135585744 139771109353371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1224] ppid=1184 vsize=8283048 memory=55 CPUtime=18.79 cores=0-7
/proc/1209/task/1224/stat : 1224 (java) S 1184 1184 564 0 -1 1077944384 919 219302 0 0 16 0 1656 207 20 0 22 0 500056435 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770134661360 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1225] ppid=1184 vsize=8283048 memory=4208161098935657592 CPUtime=18.83 cores=0-7
/proc/1209/task/1225/stat : 1225 (java) S 1184 1184 564 0 -1 1077944384 623 219302 0 0 20 0 1656 207 20 0 22 0 500056435 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770133608816 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1226] ppid=1184 vsize=8283048 memory=4217229202352125498 CPUtime=18.76 cores=0-7
/proc/1209/task/1226/stat : 1226 (java) S 1184 1184 564 0 -1 1077944384 358 219302 0 0 13 0 1656 207 20 0 22 0 500056435 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770132555760 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1227] ppid=1184 vsize=8283048 memory=-7595771088658733212 CPUtime=18.93 cores=0-7
/proc/1209/task/1227/stat : 1227 (java) R 1184 1184 564 0 -1 4202560 1041 219302 0 0 30 0 1656 207 20 0 22 0 500056435 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770131503216 139771109356122 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1228] ppid=1184 vsize=8283048 memory=-7595718316223352774 CPUtime=18.63 cores=0-7
/proc/1209/task/1228/stat : 1228 (java) S 1184 1184 564 0 -1 1077944384 3 219302 0 0 0 0 1656 207 20 0 22 0 500056435 8481841152 34062 33554432000 4194304 4196468 140729867053376 139768637680608 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1229] ppid=1184 vsize=8283048 memory=8259761640030508194 CPUtime=18.63 cores=0-7
/proc/1209/task/1229/stat : 1229 (java) S 1184 1184 564 0 -1 1077944384 3 219302 0 0 0 0 1656 207 20 0 22 0 500056435 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770130451632 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1231] ppid=1184 vsize=8283048 memory=-7595718316223352774 CPUtime=18.63 cores=0-7
/proc/1209/task/1231/stat : 1231 (java) S 1184 1184 564 0 -1 1077944384 24 219302 0 0 0 0 1656 207 20 0 22 0 500056506 8481841152 34062 33554432000 4194304 4196468 140729867053376 139770122416784 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1235] ppid=1184 vsize=8283048 memory=1472 CPUtime=18.63 cores=0-7
/proc/1209/task/1235/stat : 1235 (java) S 1184 1184 564 0 -1 1077944384 14 219302 0 0 0 0 1656 207 20 0 22 0 500056509 8481841152 34062 33554432000 4194304 4196468 140729867053376 139767698154160 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
Current children cumulated CPU time: 54.71 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137720 KiB

[startup+33.701 s]
/proc/loadavg: 1.43 1.19 1.03 10/224 1243
/proc/meminfo: memFree=24708716/32770624 swapFree=66997372/67108860
[pid=1184] ppid=1181 vsize=113128 memory=1472 CPUtime=34.29 cores=0-7
/proc/1184/stat : 1184 (scop.sh) S 1181 1184 564 0 -1 4202496 582 42060 0 0 0 0 3270 159 20 0 1 0 500054270 115843072 368 33554432000 4194304 5098028 140724121021648 140724121018392 140239605539452 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140724121023229 140724121023576 140724121023576 140724121026505 0
/proc/1184/statm: 28282 368 311 221 0 87 0
[pid=1209] ppid=1184 vsize=8283048 memory=145684 CPUtime=20.67 cores=0-7
/proc/1209/stat : 1209 (java) S 1184 1184 564 0 -1 1077944320 22825 219302 0 0 195 9 1656 207 20 0 22 0 500056428 8481841152 36421 33554432000 4194304 4196468 140729867053376 140729867035920 139771109334775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
/proc/1209/statm: 2070762 36421 3236 1 0 2032106 0
[pid=1209/tid=1210] ppid=1184 vsize=8283048 memory=781752 CPUtime=19.6 cores=0-7
/proc/1209/task/1210/stat : 1210 (java) R 1184 1184 564 0 -1 4202560 17214 219302 0 0 92 5 1656 207 20 0 22 0 500056429 8481841152 36421 33554432000 4194304 4196468 140729867053376 139771081171728 139770600909408 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1212] ppid=1184 vsize=8283048 memory=1428 CPUtime=18.63 cores=0-7
/proc/1209/task/1212/stat : 1212 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139771113577488 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1213] ppid=1184 vsize=8283048 memory=131712 CPUtime=18.63 cores=0-7
/proc/1209/task/1213/stat : 1213 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770922138768 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1214] ppid=1184 vsize=8283048 memory=6152269361377407283 CPUtime=18.63 cores=0-7
/proc/1209/task/1214/stat : 1214 (java) S 1184 1184 564 0 -1 1077944384 2 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770921085712 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1215] ppid=1184 vsize=8283048 memory=131712 CPUtime=18.63 cores=0-7
/proc/1209/task/1215/stat : 1215 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770592222096 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1216] ppid=1184 vsize=8283048 memory=576587670020715552 CPUtime=18.63 cores=0-7
/proc/1209/task/1216/stat : 1216 (java) S 1184 1184 564 0 -1 1077944384 2 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770591169040 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1217] ppid=1184 vsize=8283048 memory=281389211802224 CPUtime=18.63 cores=0-7
/proc/1209/task/1217/stat : 1217 (java) S 1184 1184 564 0 -1 1077944384 2 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770590116496 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1218] ppid=1184 vsize=8283048 memory=281389212242136 CPUtime=18.63 cores=0-7
/proc/1209/task/1218/stat : 1218 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770589063440 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1219] ppid=1184 vsize=8283048 memory=713644 CPUtime=18.63 cores=0-7
/proc/1209/task/1219/stat : 1219 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056430 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770588010896 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1220] ppid=1184 vsize=8283048 memory=6656426216303648864 CPUtime=18.63 cores=0-7
/proc/1209/task/1220/stat : 1220 (java) S 1184 1184 564 0 -1 1077944384 7 219302 0 0 0 0 1656 207 20 0 22 0 500056431 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770135714544 139771109345922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1221] ppid=1184 vsize=8283048 memory=2016 CPUtime=18.63 cores=0-7
/proc/1209/task/1221/stat : 1221 (java) S 1184 1184 564 0 -1 1077944384 13 219302 0 0 0 0 1656 207 20 0 22 0 500056432 8481841152 36421 33554432000 4194304 4196468 140729867053376 139769778529952 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1222] ppid=1184 vsize=8283048 memory=1428 CPUtime=18.63 cores=0-7
/proc/1209/task/1222/stat : 1222 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056432 8481841152 36421 33554432000 4194304 4196468 140729867053376 139769510094064 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1223] ppid=1184 vsize=8283048 memory=1396 CPUtime=18.63 cores=0-7
/proc/1209/task/1223/stat : 1223 (java) S 1184 1184 564 0 -1 1077944384 1 219302 0 0 0 0 1656 207 20 0 22 0 500056434 8481841152 36421 33554432000 4194304 4196468 140729867053376 139769135585744 139771109353371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1224] ppid=1184 vsize=8283048 memory=2050440 CPUtime=18.81 cores=0-7
/proc/1209/task/1224/stat : 1224 (java) R 1184 1184 564 0 -1 4202560 1052 219302 0 0 18 0 1656 207 20 0 22 0 500056435 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770134642376 139771090862904 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1225] ppid=1184 vsize=8283048 memory=0 CPUtime=18.86 cores=0-7
/proc/1209/task/1225/stat : 1225 (java) R 1184 1184 564 0 -1 4202560 722 219302 0 0 23 0 1656 207 20 0 22 0 500056435 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770133587344 139771094246360 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1226] ppid=1184 vsize=8283048 memory=61068 CPUtime=18.8 cores=0-7
/proc/1209/task/1226/stat : 1226 (java) R 1184 1184 564 0 -1 4202560 519 219302 0 0 17 0 1656 207 20 0 22 0 500056435 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770132536032 139771088555704 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1227] ppid=1184 vsize=8283048 memory=988 CPUtime=18.98 cores=0-7
/proc/1209/task/1227/stat : 1227 (java) S 1184 1184 564 0 -1 1077944384 1362 219302 0 0 35 0 1656 207 20 0 22 0 500056435 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770131503216 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1228] ppid=1184 vsize=8283048 memory=1472 CPUtime=18.63 cores=0-7
/proc/1209/task/1228/stat : 1228 (java) S 1184 1184 564 0 -1 1077944384 3 219302 0 0 0 0 1656 207 20 0 22 0 500056435 8481841152 36421 33554432000 4194304 4196468 140729867053376 139768637680608 139771109344981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1229] ppid=1184 vsize=8283048 memory=124080 CPUtime=18.63 cores=0-7
/proc/1209/task/1229/stat : 1229 (java) S 1184 1184 564 0 -1 1077944384 3 219302 0 0 0 0 1656 207 20 0 22 0 500056435 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770130451632 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1231] ppid=1184 vsize=8283048 memory=124080 CPUtime=18.63 cores=0-7
/proc/1209/task/1231/stat : 1231 (java) S 1184 1184 564 0 -1 1077944384 24 219302 0 0 0 0 1656 207 20 0 22 0 500056506 8481841152 36421 33554432000 4194304 4196468 140729867053376 139770122416784 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
[pid=1209/tid=1235] ppid=1184 vsize=8283048 memory=131712 CPUtime=18.63 cores=0-7
/proc/1209/task/1235/stat : 1235 (java) S 1184 1184 564 0 -1 1077944384 14 219302 0 0 0 0 1656 207 20 0 22 0 500056509 8481841152 36421 33554432000 4194304 4196468 140729867053376 139767698154160 139771109345922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140729867060192 140729867060358 140729867060358 140729867063247 0
Current children cumulated CPU time: 54.96 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 147156 KiB

Child status: 0
Real time (s): 33.7808
CPU time (s): 55.2617
CPU user time (s): 51.4727
CPU system time (s): 3.78907
CPU usage (%): 163.589
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6119560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.4727
system time used= 3.78907
maximum resident set size= 6118404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275137
involuntary context switches= 164


# summary of solver processes directly reported to runsolver:
#   pid: 1184
#   total CPU time (s): 55.2617
#   total CPU user time (s): 51.4727
#   total CPU system time (s): 3.78907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.219227 second user time and 0.461735 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-23 14:18:38
IDJOB=4405149
IDBENCH=123858
IDSOLVER=2867
FILE ID=node140/4405149-1569241159
RUNJOBID= node140-1569238587-611
PBS_JOBID= 21704899
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Bibd/Bibd-sum-lex/Bibd-sum-09-120-40-03-10.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-4405149-1569241159/watcher-4405149-1569241159 -o /var/tmp/evaluation-result-4405149-1569241159/solver-4405149-1569241159 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569238587-611 --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-4405149-1569241159.xml

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

MD5SUM BENCH= 516a10ad09fd7e852a109bf36c14a2d3
RANDOM SEED=2091438772

node140.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.43
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.43
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.43
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.43
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:        25668400 kB
MemAvailable:   31844344 kB
Buffers:          110156 kB
Cached:          6164572 kB
SwapCached:         2884 kB
Active:          3120460 kB
Inactive:        3163240 kB
Active(anon):       5500 kB
Inactive(anon):    59016 kB
Active(file):    3114960 kB
Inactive(file):  3104224 kB
Unevictable:      107032 kB
Mlocked:          107032 kB
SwapTotal:      67108860 kB
SwapFree:       66997372 kB
Dirty:             20444 kB
Writeback:             0 kB
AnonPages:        156524 kB
Mapped:            55232 kB
Shmem:             46668 kB
Slab:             413648 kB
SReclaimable:     385220 kB
SUnreclaim:        28428 kB
KernelStack:        3776 kB
PageTables:         5824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-23 14:19:12