Trace number 4392282

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-06-15)SAT 131.276 111.289

General information on the benchmark

NameNonogram/Nonogram-table-s1/
Nonogram-020-table.xml
MD5SUM2abbea49d072b23f7e0e95d09a8d20ca
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 benchmark3.70108
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of constraints64
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1024}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1024}]
Minimum constraint arity32
Maximum constraint arity32
Distribution of constraint arities[{"arity":32,"count":64}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
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-15209-serial-file.bin HOME/instance-4392282-1568435572.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 06:32:16 CEST 2019
0.65/0.57	c PID: 15212
0.65/0.57	c IP: 172.20.3.148
0.65/0.57	c HOST: node148.alineos.net
0.65/0.58	c (0,0) Parsing Begin
7.09/5.13	c (4,4) Parsing End
7.09/5.14	c (4,4) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
7.09/5.14	c (4,4) Heap : 3446 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
7.09/5.14	c (4,4) Constraint Name Generate Begin
7.09/5.15	c (4,4) Ctr:HOME/instance-4392282-1568435572.xml,ExtensionSupport:Var
7.09/5.15	c (4,4) Constraint Name Generate End
7.09/5.15	c (4,4) Heap : 3446 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
7.09/5.15	c (4,4) CSP to CSPinCNF Begin
13.84/8.21	c (7,7) translated 7 (10%) constraints
25.30/18.12	c (17,17) translated 13 (20%) constraints
42.52/32.13	c (31,31) translated 20 (30%) constraints
45.93/35.53	c (34,34) translated 26 (40%) constraints
46.74/35.97	c (35,34) translated 32 (50%) constraints
46.74/36.00	c (35,34) translated 39 (60%) constraints
49.78/37.29	c (36,36) translated 45 (70%) constraints
66.04/51.99	c (51,50) translated 52 (80%) constraints
76.42/61.78	c (61,60) translated 58 (90%) constraints
122.08/107.20	c (106,105) translated 64 (100%) constraints
122.08/107.23	c (106,105) ===========================================
122.08/107.23	c (106,106) Order
122.08/107.23	c (106,106) ===========================================
122.37/107.39	c (106,106) translated 5613 (10%) constraints
122.98/107.51	c (106,106) translated 11226 (20%) constraints
123.08/107.62	c (107,106) translated 16839 (30%) constraints
123.18/107.72	c (107,106) translated 22452 (40%) constraints
123.28/107.83	c (107,106) translated 28065 (50%) constraints
123.38/107.94	c (107,106) translated 33678 (60%) constraints
123.50/108.05	c (107,106) translated 39291 (70%) constraints
123.68/108.16	c (107,106) translated 44904 (80%) constraints
123.78/108.26	c (107,107) translated 50517 (90%) constraints
123.88/108.37	c (107,107) translated 56130 (100%) constraints
123.88/108.37	c (107,107) CSP to CSPinCNF End
123.88/108.37	c (107,107) CSP: 0 int (0 aux), 13478 bool (12454 aux), 56130 ctr, max domain size 2
123.88/108.37	c (107,107) Heap : 4737 MiB used (max 22318 MiB), NonHeap : 28 MiB used (max 0 MiB)
123.88/108.37	c (107,107) CSPinCNF Propagation Begin
125.87/109.04	c (108,107) 2166 values, 9919 unsatisfiable literals, and 10121 valid clauses are removed
125.87/109.04	c (108,107) CSPinCNF Propagation End
125.87/109.05	c (108,107) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
125.87/109.05	c (108,107) Heap : 4879 MiB used (max 22318 MiB), NonHeap : 29 MiB used (max 0 MiB)
125.87/109.05	c (108,107) Simplify CSPinCNF Begin
126.16/109.16	c (108,107) Simplify CSPinCNF End
126.16/109.16	c (108,107) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
126.16/109.16	c (108,107) Heap : 5021 MiB used (max 22318 MiB), NonHeap : 29 MiB used (max 0 MiB)
126.16/109.16	c (108,107) Calculate Precise Domain Begin
126.16/109.17	c (108,107) 0 values are removed by re-calculation
126.16/109.17	c (108,107) Calculate Precise Domain End
126.16/109.17	c (108,107) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
126.16/109.17	c (108,107) Heap : 5021 MiB used (max 22318 MiB), NonHeap : 29 MiB used (max 0 MiB)
126.16/109.17	c (108,107) CSPinCNF to SatSolver Begin
127.13/109.43	c (108,108) 4601 (10 %) CSP clauses are encoded (0 SAT variables, 4600 SAT clauses)
127.53/109.51	c (108,108) 9202 (20 %) CSP clauses are encoded (0 SAT variables, 9201 SAT clauses)
127.53/109.57	c (109,108) 13803 (30 %) CSP clauses are encoded (0 SAT variables, 13802 SAT clauses)
127.93/109.62	c (109,108) 18404 (40 %) CSP clauses are encoded (0 SAT variables, 18403 SAT clauses)
127.93/109.66	c (109,108) 23005 (50 %) CSP clauses are encoded (0 SAT variables, 23004 SAT clauses)
127.93/109.70	c (109,108) 27606 (60 %) CSP clauses are encoded (0 SAT variables, 27605 SAT clauses)
128.09/109.73	c (109,108) 32207 (70 %) CSP clauses are encoded (0 SAT variables, 32206 SAT clauses)
128.09/109.77	c (109,108) 36808 (80 %) CSP clauses are encoded (0 SAT variables, 36807 SAT clauses)
128.20/109.81	c (109,108) 41409 (90 %) CSP clauses are encoded (0 SAT variables, 41408 SAT clauses)
128.20/109.84	c (109,108) 46009 (100 %) CSP clauses are encoded (0 SAT variables, 46008 SAT clauses)
128.20/109.84	c (109,108) CSPinCNF to SatSolver End
128.20/109.84	c (109,108) Heap : 5325 MiB used (max 22318 MiB), NonHeap : 31 MiB used (max 0 MiB)
128.20/109.85	c (109,108) 10983 bool, 46009 clause
128.20/109.85	c (109,108) Export Begin
128.33/110.00	c (109,108) Export to HOME/scop-15209-serial-file.bin
128.33/110.00	c (109,108) Export End
128.33/110.00	c (109,108) Export File Size: 0.21 MB
128.33/110.00	c (109,108) 4,4,107,108,108,108,109,STOP-AFTER(DIMACS)
128.33/110.00	c END-Prog: Sat Sep 14 06:34:06 CEST 2019
128.65/110.06	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15209-serial-file.bin
128.69/110.53	c (0,0) Read Serial File Begin
128.69/110.53	c (0,0) HOME/scop-15209-serial-file.bin
128.69/110.81	c (0,0) Read Serial File End
128.69/110.82	
128.69/110.82	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
128.69/110.82	(Solving Process)
128.69/110.82	
128.69/110.84	c BEGIN-Prog: Sat Sep 14 06:34:07 CEST 2019
128.69/110.84	c PID: 15238
128.69/110.84	c IP: 172.20.3.148
128.69/110.84	c HOST: node148.alineos.net
128.69/110.85	c (0,0) SatSolver.solve Begin
128.69/110.85	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392282-1568435572.xml-scop-15212.cnf
128.69/110.87	c (0,0) c
128.69/110.87	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)
128.69/110.87	c (0,0) c
128.69/110.87	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
128.69/110.87	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
128.69/110.87	c (0,0) c ========================================[ Problem Statistics ]===========================================
128.69/110.87	c (0,0) c |                                                                                                       |
128.69/110.89	c (0,0) c |  Number of variables:         10983                                                                   |
128.69/110.89	c (0,0) c |  Number of clauses:           46009                                                                   |
128.69/110.89	c (0,0) c |  Parse time:                   0.02 s                                                                 |
128.69/110.89	c (0,0) c |                                                                                                       |
128.69/110.94	c (0,0) c |  Simplification time:          0.05 s                                                                 |
128.69/110.94	c (0,0) c |                                                                                                       |
128.69/110.94	c (0,0) c |  Generating clones                                                                                    |
128.69/110.97	c (0,0) c |  all clones generated. Memory =    59.38Mb.                                                           |
128.69/110.97	c (0,0) c ========================================================================================================|
128.69/110.97	c (0,0) c
128.69/110.97	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
128.69/110.97	c (0,0) c
128.69/110.97	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/110.97	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
128.69/110.97	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/110.97	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
128.69/110.97	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
128.69/110.97	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
128.69/110.97	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
128.69/110.97	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
128.69/110.97	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
128.69/110.97	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
128.69/110.97	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
128.69/110.97	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
128.69/110.97	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
128.69/110.97	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
128.69/110.97	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
128.69/110.97	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
128.69/110.97	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
128.69/110.97	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
128.69/110.97	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c
128.69/111.00	c (0,0) c real time : 0.131708 s
128.69/111.00	c (0,0) c cpu time  : 0.18963 s
128.69/111.00	c (0,0) c
128.69/111.00	c (0,0) c
128.69/111.00	c (0,0) c
128.69/111.00	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
128.69/111.00	c (0,0) c
128.69/111.00	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
128.69/111.00	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c | Conflicts     |            2482 |        260 |        208 |        382 |        319 |        318 |        297 |        342 |        356 |
128.69/111.00	c (0,0) c | Decisions     |            6412 |        698 |        640 |        945 |        868 |        804 |        762 |        846 |        849 |
128.69/111.00	c (0,0) c | Propagations  |          420550 |      42151 |      34713 |      54229 |      57876 |      59612 |      43515 |      59375 |      69079 |
128.69/111.00	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
128.69/111.00	c (0,0) c | Restarts      |              12 |          2 |          1 |          1 |          2 |          2 |          2 |          1 |          1 |
128.69/111.00	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | PropBinClauses|          432870 |      43187 |      35673 |      58175 |      58977 |      60239 |      44636 |      61181 |      70802 |
128.69/111.00	c (0,0) c | PropPreBlocker|         1429200 |     140558 |     118192 |     189612 |     203785 |     201042 |     147800 |     195578 |     232633 |
128.69/111.00	c (0,0) c | PropNotBlocker|          642325 |      68056 |      56506 |      85926 |      88128 |      87726 |      70903 |      87087 |      97993 |
128.69/111.00	c (0,0) c | LitFullScans  |         3185446 |     317183 |     255992 |     426837 |     451533 |     433387 |     330764 |     434386 |     535364 |
128.69/111.00	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | DecisionLevel0|              88 |         19 |          5 |          7 |         24 |         21 |          5 |          4 |          3 |
128.69/111.00	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
128.69/111.00	c (0,0) c | Avg_Trail     |                 |       1686 |       1344 |       1633 |       2125 |       1596 |       1343 |       1734 |       1815 |
128.69/111.00	c (0,0) c | Avg_DL        |                 |         15 |         16 |         17 |         13 |         13 |         11 |         16 |         18 |
128.69/111.00	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c | Exported      |             593 |         70 |         59 |         62 |         84 |         83 |         94 |         60 |         81 |
128.69/111.00	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.69/111.00	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c | Unaries       |                 |         17 |          4 |          6 |         22 |         19 |          3 |          3 |          2 |
128.69/111.00	c (0,0) c | Binaries      |                 |         36 |         28 |         32 |         45 |         48 |         41 |         29 |         35 |
128.69/111.00	c (0,0) c | Glues         |                 |         70 |         59 |         62 |         84 |         83 |         94 |         60 |         81 |
128.69/111.00	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c | Orig_Seen     |            11 % |       2682 |       1961 |       2992 |       3031 |       2947 |       2869 |       3084 |       3578 |
128.69/111.00	c (0,0) c | Diff Orig seen|                 | -      310 | -     1031 |      X     |         39 | -       45 | -      123 |         92 |        586 |
128.69/111.00	c (0,0) c | Hamming       |             1 % |        389 |        574 |      X     |        110 |         57 |        338 |         25 |         16 |
128.69/111.00	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.00	c (0,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
128.69/111.00	c (0,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%|
128.69/111.00	c (0,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%|
128.69/111.01	c (0,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%|
128.69/111.01	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
128.69/111.01	c (0,0) c | PropagationTim|                 |    0.0  91%|    0.0  92%|    0.0  87%|    0.0  88%|    0.0  88%|    0.0  90%|    0.0  89%|    0.0  87%|
128.69/111.01	c (0,0) c | AnalysisTime  |                 |    0.0   5%|    0.0   4%|    0.0   6%|    0.0   6%|    0.0   5%|    0.0   5%|    0.0   6%|    0.0   7%|
128.69/111.01	c (0,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%|
128.69/111.01	c (0,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%|
128.69/111.01	c (0,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%|
128.69/111.01	c (0,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%|
128.69/111.01	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.69/111.01	c (0,0) c
128.69/111.01	c (0,0) c
128.69/111.01	c (0,0) c Threads : 8
128.69/111.01	c (0,0) c Winner : 2
128.69/111.01	c (0,0) c Conflicts_0 : 260
128.69/111.01	c (0,0) c Conflicts_1 : 208
128.69/111.01	c (0,0) c Conflicts_2 : 382
128.69/111.01	c (0,0) c Conflicts_3 : 319
128.69/111.01	c (0,0) c Conflicts_4 : 318
128.69/111.01	c (0,0) c Conflicts_5 : 297
128.69/111.01	c (0,0) c Conflicts_6 : 342
128.69/111.01	c (0,0) c Conflicts_7 : 356
128.69/111.01	c (0,0) c Conflicts_total : 2482
128.69/111.01	c (0,0) c Conflicts_winner : 382
128.69/111.01	c (0,0) c Decisions_0 : 698
128.69/111.01	c (0,0) c Decisions_1 : 640
128.69/111.01	c (0,0) c Decisions_2 : 945
128.69/111.01	c (0,0) c Decisions_3 : 868
128.69/111.01	c (0,0) c Decisions_4 : 804
128.69/111.01	c (0,0) c Decisions_5 : 762
128.69/111.01	c (0,0) c Decisions_6 : 846
128.69/111.01	c (0,0) c Decisions_7 : 849
128.69/111.01	c (0,0) c Decisions_total : 6412
128.69/111.01	c (0,0) c Decisions_winner : 945
128.69/111.01	c (0,0) c Propagations_0 : 42151
128.69/111.01	c (0,0) c Propagations_1 : 34713
128.69/111.01	c (0,0) c Propagations_2 : 54229
128.69/111.01	c (0,0) c Propagations_3 : 57876
128.69/111.01	c (0,0) c Propagations_4 : 59612
128.69/111.01	c (0,0) c Propagations_5 : 43515
128.69/111.01	c (0,0) c Propagations_6 : 59375
128.69/111.01	c (0,0) c Propagations_7 : 69079
128.69/111.01	c (0,0) c Propagations_total : 420550
128.69/111.01	c (0,0) c Propagations_winner : 54229
128.69/111.01	c (0,0) c ReduceDBs_0 : 0
128.69/111.01	c (0,0) c ReduceDBs_1 : 0
128.69/111.01	c (0,0) c ReduceDBs_2 : 0
128.69/111.01	c (0,0) c ReduceDBs_3 : 0
130.48/111.01	c (0,0) c ReduceDBs_4 : 0
130.48/111.01	c (0,0) c ReduceDBs_5 : 0
130.48/111.01	c (0,0) c ReduceDBs_6 : 0
130.48/111.01	c (0,0) c ReduceDBs_7 : 0
130.48/111.01	c (0,0) c ReduceDBs_total : 0
130.48/111.01	c (0,0) c ReduceDBs_winner : 0
130.48/111.01	c (0,0) c SimpDBs_0 : 1
130.48/111.01	c (0,0) c SimpDBs_1 : 1
130.48/111.01	c (0,0) c SimpDBs_2 : 1
130.48/111.01	c (0,0) c SimpDBs_3 : 1
130.48/111.01	c (0,0) c SimpDBs_4 : 1
130.48/111.01	c (0,0) c SimpDBs_5 : 1
130.48/111.01	c (0,0) c SimpDBs_6 : 1
130.48/111.01	c (0,0) c SimpDBs_7 : 1
130.48/111.01	c (0,0) c SimpDBs_total : 8
130.48/111.01	c (0,0) c SimpDBs_winner : 1
130.48/111.01	c (0,0) c Restarts_0 : 2
130.48/111.01	c (0,0) c Restarts_1 : 1
130.48/111.01	c (0,0) c Restarts_2 : 1
130.48/111.01	c (0,0) c Restarts_3 : 2
130.48/111.01	c (0,0) c Restarts_4 : 2
130.48/111.01	c (0,0) c Restarts_5 : 2
130.48/111.01	c (0,0) c Restarts_6 : 1
130.48/111.01	c (0,0) c Restarts_7 : 1
130.48/111.01	c (0,0) c Restarts_total : 12
130.48/111.01	c (0,0) c Restarts_winner : 1
130.48/111.01	c (0,0) c ForcedImports_0 : 0
130.48/111.01	c (0,0) c ForcedImports_1 : 0
130.48/111.01	c (0,0) c ForcedImports_2 : 0
130.48/111.01	c (0,0) c ForcedImports_3 : 0
130.48/111.01	c (0,0) c ForcedImports_4 : 0
130.48/111.01	c (0,0) c ForcedImports_5 : 0
130.48/111.01	c (0,0) c ForcedImports_6 : 0
130.48/111.01	c (0,0) c ForcedImports_7 : 0
130.48/111.01	c (0,0) c ForcedImports_total : 0
130.48/111.01	c (0,0) c ForcedImports_winner : 0
130.48/111.01	c (0,0) c PropsBinClauses_0 : 43187
130.48/111.01	c (0,0) c PropsBinClauses_1 : 35673
130.48/111.01	c (0,0) c PropsBinClauses_2 : 58175
130.48/111.01	c (0,0) c PropsBinClauses_3 : 58977
130.48/111.01	c (0,0) c PropsBinClauses_4 : 60239
130.48/111.01	c (0,0) c PropsBinClauses_5 : 44636
130.48/111.01	c (0,0) c PropsBinClauses_6 : 61181
130.48/111.01	c (0,0) c PropsBinClauses_7 : 70802
130.48/111.01	c (0,0) c PropsBinClauses_total : 432870
130.48/111.01	c (0,0) c PropsBinClauses_winner : 58175
130.48/111.01	c (0,0) c PropsPreBlocker_0 : 140558
130.48/111.01	c (0,0) c PropsPreBlocker_1 : 118192
130.48/111.01	c (0,0) c PropsPreBlocker_2 : 189612
130.48/111.01	c (0,0) c PropsPreBlocker_3 : 203785
130.48/111.01	c (0,0) c PropsPreBlocker_4 : 201042
130.48/111.01	c (0,0) c PropsPreBlocker_5 : 147800
130.48/111.01	c (0,0) c PropsPreBlocker_6 : 195578
130.48/111.01	c (0,0) c PropsPreBlocker_7 : 232633
130.48/111.01	c (0,0) c PropsPreBlocker_total : 1429200
130.48/111.01	c (0,0) c PropsPreBlocker_winner : 189612
130.48/111.01	c (0,0) c PropsNotBlocker_0 : 68056
130.48/111.01	c (0,0) c PropsNotBlocker_1 : 56506
130.48/111.01	c (0,0) c PropsNotBlocker_2 : 85926
130.48/111.01	c (0,0) c PropsNotBlocker_3 : 88128
130.48/111.01	c (0,0) c PropsNotBlocker_4 : 87726
130.48/111.01	c (0,0) c PropsNotBlocker_5 : 70903
130.48/111.01	c (0,0) c PropsNotBlocker_6 : 87087
130.48/111.01	c (0,0) c PropsNotBlocker_7 : 97993
130.48/111.01	c (0,0) c PropsNotBlocker_total : 642325
130.48/111.01	c (0,0) c PropsNotBlocker_winner : 85926
130.48/111.01	c (0,0) c PropsLitFullScans_0 : 317183
130.48/111.01	c (0,0) c PropsLitFullScans_1 : 255992
130.48/111.01	c (0,0) c PropsLitFullScans_2 : 426837
130.48/111.01	c (0,0) c PropsLitFullScans_3 : 451533
130.48/111.01	c (0,0) c PropsLitFullScans_4 : 433387
130.48/111.01	c (0,0) c PropsLitFullScans_5 : 330764
130.48/111.01	c (0,0) c PropsLitFullScans_6 : 434386
130.48/111.01	c (0,0) c PropsLitFullScans_7 : 535364
130.48/111.01	c (0,0) c PropsLitFullScans_total : 3185446
130.48/111.01	c (0,0) c PropsLitFullScans_winner : 426837
130.48/111.01	c (0,0) c LitScanFractions_0 : 0
130.48/111.01	c (0,0) c LitScanFractions_1 : 0
130.48/111.01	c (0,0) c LitScanFractions_2 : 0
130.48/111.01	c (0,0) c LitScanFractions_3 : 0
130.48/111.01	c (0,0) c LitScanFractions_4 : 0
130.48/111.01	c (0,0) c LitScanFractions_5 : 0
130.48/111.01	c (0,0) c LitScanFractions_6 : 0
130.48/111.01	c (0,0) c LitScanFractions_7 : 0
130.48/111.01	c (0,0) c LitScanFractions_total : 0
130.48/111.01	c (0,0) c LitScanFractions_winner : 0
130.48/111.01	c (0,0) c DecisionLevel0_0 : 19
130.48/111.01	c (0,0) c DecisionLevel0_1 : 5
130.48/111.01	c (0,0) c DecisionLevel0_2 : 7
130.48/111.01	c (0,0) c DecisionLevel0_3 : 24
130.48/111.01	c (0,0) c DecisionLevel0_4 : 21
130.48/111.01	c (0,0) c DecisionLevel0_5 : 5
130.48/111.01	c (0,0) c DecisionLevel0_6 : 4
130.48/111.01	c (0,0) c DecisionLevel0_7 : 3
130.48/111.01	c (0,0) c DecisionLevel0_total : 88
130.48/111.01	c (0,0) c DecisionLevel0_winner : 7
130.48/111.01	c (0,0) c Periods_0 : 0
130.48/111.01	c (0,0) c Periods_1 : 0
130.48/111.01	c (0,0) c Periods_2 : 0
130.48/111.01	c (0,0) c Periods_3 : 0
130.48/111.01	c (0,0) c Periods_4 : 0
130.48/111.01	c (0,0) c Periods_5 : 0
130.48/111.01	c (0,0) c Periods_6 : 0
130.48/111.01	c (0,0) c Periods_7 : 0
130.48/111.01	c (0,0) c Periods_total : 0
130.48/111.01	c (0,0) c Periods_winner : 0
130.48/111.01	c (0,0) c Margin_0 : 20
130.48/111.01	c (0,0) c Margin_1 : 20
130.48/111.01	c (0,0) c Margin_2 : 20
130.48/111.01	c (0,0) c Margin_3 : 20
130.48/111.01	c (0,0) c Margin_4 : 20
130.48/111.01	c (0,0) c Margin_5 : 20
130.48/111.01	c (0,0) c Margin_6 : 20
130.48/111.01	c (0,0) c Margin_7 : 20
130.48/111.01	c (0,0) c Margin_total : 160
130.48/111.01	c (0,0) c Margin_winner : 20
130.48/111.01	c (0,0) c Exported_0 : 70
130.48/111.01	c (0,0) c Exported_1 : 59
130.48/111.01	c (0,0) c Exported_2 : 62
130.48/111.01	c (0,0) c Exported_3 : 84
130.48/111.01	c (0,0) c Exported_4 : 83
130.48/111.01	c (0,0) c Exported_5 : 94
130.48/111.01	c (0,0) c Exported_6 : 60
130.48/111.01	c (0,0) c Exported_7 : 81
130.48/111.01	c (0,0) c Exported_total : 593
130.48/111.01	c (0,0) c Exported_winner : 62
130.48/111.01	c (0,0) c Imported_0 : 0
130.48/111.01	c (0,0) c Imported_1 : 0
130.48/111.01	c (0,0) c Imported_2 : 0
130.48/111.01	c (0,0) c Imported_3 : 0
130.48/111.01	c (0,0) c Imported_4 : 0
130.48/111.01	c (0,0) c Imported_5 : 0
130.48/111.01	c (0,0) c Imported_6 : 0
130.48/111.01	c (0,0) c Imported_7 : 0
130.48/111.01	c (0,0) c Imported_total : 0
130.48/111.01	c (0,0) c Imported_winner : 0
130.48/111.01	c (0,0) c Good_0 : 0
130.48/111.01	c (0,0) c Good_1 : 0
130.48/111.01	c (0,0) c Good_2 : 0
130.48/111.01	c (0,0) c Good_3 : 0
130.48/111.01	c (0,0) c Good_4 : 0
130.48/111.01	c (0,0) c Good_5 : 0
130.48/111.01	c (0,0) c Good_6 : 0
130.48/111.01	c (0,0) c Good_7 : 0
130.48/111.01	c (0,0) c Good_total : 0
130.48/111.01	c (0,0) c Good_winner : 0
130.48/111.01	c (0,0) c Purge_0 : 0
130.48/111.01	c (0,0) c Purge_1 : 0
130.48/111.01	c (0,0) c Purge_2 : 0
130.48/111.01	c (0,0) c Purge_3 : 0
130.48/111.01	c (0,0) c Purge_4 : 0
130.48/111.01	c (0,0) c Purge_5 : 0
130.48/111.01	c (0,0) c Purge_6 : 0
130.48/111.01	c (0,0) c Purge_7 : 0
130.48/111.01	c (0,0) c Purge_total : 0
130.48/111.01	c (0,0) c Purge_winner : 0
130.48/111.01	c (0,0) c Promoted_0 : 0
130.48/111.01	c (0,0) c Promoted_1 : 0
130.48/111.01	c (0,0) c Promoted_2 : 0
130.48/111.01	c (0,0) c Promoted_3 : 0
130.48/111.01	c (0,0) c Promoted_4 : 0
130.48/111.01	c (0,0) c Promoted_5 : 0
130.48/111.01	c (0,0) c Promoted_6 : 0
130.48/111.01	c (0,0) c Promoted_7 : 0
130.48/111.01	c (0,0) c Promoted_total : 0
130.48/111.01	c (0,0) c Promoted_winner : 0
130.48/111.01	c (0,0) c Remove_Imp_0 : 0
130.48/111.01	c (0,0) c Remove_Imp_1 : 0
130.48/111.01	c (0,0) c Remove_Imp_2 : 0
130.48/111.01	c (0,0) c Remove_Imp_3 : 0
130.48/111.01	c (0,0) c Remove_Imp_4 : 0
130.48/111.01	c (0,0) c Remove_Imp_5 : 0
130.48/111.01	c (0,0) c Remove_Imp_6 : 0
130.48/111.01	c (0,0) c Remove_Imp_7 : 0
130.48/111.01	c (0,0) c Remove_Imp_total : 0
130.48/111.01	c (0,0) c Remove_Imp_winner : 0
130.48/111.01	c (0,0) c Blocked_Reuse_0 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_1 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_2 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_3 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_4 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_5 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_6 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_7 : 0
130.48/111.01	c (0,0) c Blocked_Reuse_total : 0
130.48/111.01	c (0,0) c Blocked_Reuse_winner : 0
130.48/111.01	c (0,0) c Unaries_0 : 17
130.48/111.01	c (0,0) c Unaries_1 : 4
130.48/111.01	c (0,0) c Unaries_2 : 6
130.48/111.01	c (0,0) c Unaries_3 : 22
130.48/111.01	c (0,0) c Unaries_4 : 19
130.48/111.01	c (0,0) c Unaries_5 : 3
130.48/111.01	c (0,0) c Unaries_6 : 3
130.48/111.01	c (0,0) c Unaries_7 : 2
130.48/111.01	c (0,0) c Unaries_total : 76
130.48/111.01	c (0,0) c Unaries_winner : 6
130.48/111.01	c (0,0) c Binaries_0 : 36
130.48/111.01	c (0,0) c Binaries_1 : 28
130.48/111.01	c (0,0) c Binaries_2 : 32
130.48/111.01	c (0,0) c Binaries_3 : 45
130.48/111.01	c (0,0) c Binaries_4 : 48
130.48/111.01	c (0,0) c Binaries_5 : 41
130.48/111.01	c (0,0) c Binaries_6 : 29
130.48/111.01	c (0,0) c Binaries_7 : 35
130.48/111.01	c (0,0) c Binaries_total : 294
130.48/111.01	c (0,0) c Binaries_winner : 32
130.48/111.01	c (0,0) c Glues_0 : 70
130.48/111.01	c (0,0) c Glues_1 : 59
130.48/111.01	c (0,0) c Glues_2 : 62
130.48/111.01	c (0,0) c Glues_3 : 84
130.48/111.02	c (0,0) c Glues_4 : 83
130.48/111.02	c (0,0) c Glues_5 : 94
130.48/111.02	c (0,0) c Glues_6 : 60
130.48/111.02	c (0,0) c Glues_7 : 81
130.48/111.02	c (0,0) c Glues_total : 593
130.48/111.02	c (0,0) c Glues_winner : 62
130.48/111.02	c (0,0) c RunningTime_0 : 0.029388
130.48/111.02	c (0,0) c RunningTime_1 : 0.025440
130.48/111.02	c (0,0) c RunningTime_2 : 0.025948
130.48/111.02	c (0,0) c RunningTime_3 : 0.031031
130.48/111.02	c (0,0) c RunningTime_4 : 0.025440
130.48/111.02	c (0,0) c RunningTime_5 : 0.025707
130.48/111.02	c (0,0) c RunningTime_6 : 0.025516
130.48/111.02	c (0,0) c RunningTime_7 : 0.031993
130.48/111.02	c (0,0) c RunningTime_total : 0.220462
130.48/111.02	c (0,0) c RunningTime_winner : 0.025948
130.48/111.02	c (0,0) c WaitingTime_0 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_1 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_2 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_3 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_4 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_5 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_6 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_7 : 0.000000
130.48/111.02	c (0,0) c WaitingTime_total : 0.000000
130.48/111.02	c (0,0) c WaitingTime_winner : 0.000000
130.48/111.02	c (0,0) c ExchangingTime_0 : 0.000039
130.48/111.02	c (0,0) c ExchangingTime_1 : 0.000035
130.48/111.02	c (0,0) c ExchangingTime_2 : 0.000063
130.48/111.02	c (0,0) c ExchangingTime_3 : 0.000049
130.48/111.02	c (0,0) c ExchangingTime_4 : 0.000048
130.48/111.02	c (0,0) c ExchangingTime_5 : 0.000057
130.48/111.02	c (0,0) c ExchangingTime_6 : 0.000045
130.48/111.02	c (0,0) c ExchangingTime_7 : 0.000055
130.48/111.02	c (0,0) c ExchangingTime_total : 0.000390
130.48/111.02	c (0,0) c ExchangingTime_winner : 0.000063
130.48/111.02	c (0,0) c PeriodProcTime_0 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_1 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_2 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_3 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_4 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_5 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_6 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_7 : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_total : 0.000000
130.48/111.02	c (0,0) c PeriodProcTime_winner : 0.000000
130.48/111.02	c (0,0) c SolvingTime_0 : 0.029427
130.48/111.02	c (0,0) c SolvingTime_1 : 0.025475
130.48/111.02	c (0,0) c SolvingTime_2 : 0.026011
130.48/111.02	c (0,0) c SolvingTime_3 : 0.031080
130.48/111.02	c (0,0) c SolvingTime_4 : 0.025487
130.48/111.02	c (0,0) c SolvingTime_5 : 0.025764
130.48/111.02	c (0,0) c SolvingTime_6 : 0.025560
130.48/111.02	c (0,0) c SolvingTime_7 : 0.032047
130.48/111.02	c (0,0) c SolvingTime_total : 0.220851
130.48/111.02	c (0,0) c SolvingTime_winner : 0.026011
130.48/111.02	c (0,0) c PropagationTime_0 : 0.026743
130.48/111.02	c (0,0) c PropagationTime_1 : 0.023477
130.48/111.02	c (0,0) c PropagationTime_2 : 0.022696
130.48/111.02	c (0,0) c PropagationTime_3 : 0.027450
130.48/111.02	c (0,0) c PropagationTime_4 : 0.022523
130.48/111.02	c (0,0) c PropagationTime_5 : 0.023247
130.48/111.02	c (0,0) c PropagationTime_6 : 0.022634
130.48/111.02	c (0,0) c PropagationTime_7 : 0.027868
130.48/111.02	c (0,0) c PropagationTime_total : 0.196639
130.48/111.02	c (0,0) c PropagationTime_winner : 0.022696
130.48/111.02	c (0,0) c AnalysisTime_0 : 0.001401
130.48/111.02	c (0,0) c AnalysisTime_1 : 0.000918
130.48/111.02	c (0,0) c AnalysisTime_2 : 0.001644
130.48/111.02	c (0,0) c AnalysisTime_3 : 0.001723
130.48/111.02	c (0,0) c AnalysisTime_4 : 0.001335
130.48/111.02	c (0,0) c AnalysisTime_5 : 0.001402
130.48/111.02	c (0,0) c AnalysisTime_6 : 0.001524
130.48/111.02	c (0,0) c AnalysisTime_7 : 0.002386
130.48/111.02	c (0,0) c AnalysisTime_total : 0.012333
130.48/111.02	c (0,0) c AnalysisTime_winner : 0.001644
130.48/111.02	c (0,0) c ReductionTime_0 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_1 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_2 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_3 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_4 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_5 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_6 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_7 : 0.000000
130.48/111.02	c (0,0) c ReductionTime_total : 0.000000
130.48/111.02	c (0,0) c ReductionTime_winner : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_0 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_1 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_2 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_3 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_4 : 0.000001
130.48/111.02	c (0,0) c SimplifyTime_5 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_6 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_7 : 0.000000
130.48/111.02	c (0,0) c SimplifyTime_total : 0.000001
130.48/111.02	c (0,0) c SimplifyTime_winner : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_0 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_1 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_2 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_3 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_4 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_5 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_6 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_7 : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_total : 0.000000
130.48/111.02	c (0,0) c UsedRateTime_winner : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_0 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_1 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_2 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_3 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_4 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_5 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_6 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_7 : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_total : 0.000000
130.48/111.02	c (0,0) c OverlapRateTime_winner : 0.000000
130.48/111.02	c (0,0) c
130.48/111.02	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
130.48/111.02	c (0,0) c
130.48/111.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.48/111.02	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
130.48/111.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.48/111.02	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
130.48/111.02	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
130.48/111.02	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
130.48/111.02	c (0,0) c | Initial random_seed   | 1247932080 | 1996776068 |  874872016 | 1561407307 | 1394313499 | 1755185414 |  901705271 | 1565919329 |
130.48/111.02	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
130.48/111.02	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
130.48/111.02	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
130.48/111.02	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
130.48/111.02	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
130.48/111.02	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
130.48/111.02	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
130.48/111.02	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
130.48/111.02	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
130.48/111.02	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
130.48/111.02	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
130.48/111.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
130.48/111.02	c (0,0) 
130.48/111.02	c (0,0) s SATISFIABLE
130.48/111.05	c (0,0) SatSolver.solve End
130.48/111.05	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
130.48/111.05	c (0,0) Show results Begin
130.91/111.24	c (0,0) x[0][0] = 0
130.91/111.24	c (0,0) x[0][1] = 0
130.91/111.24	c (0,0) x[0][2] = 0
130.91/111.24	c (0,0) x[0][3] = 0
130.91/111.24	c (0,0) x[0][4] = 0
130.91/111.24	c (0,0) x[0][5] = 0
130.91/111.24	c (0,0) x[0][6] = 0
130.91/111.24	c (0,0) x[0][7] = 0
130.91/111.24	c (0,0) x[0][8] = 0
130.91/111.24	c (0,0) x[0][9] = 0
130.91/111.24	c (0,0) x[0][10] = 0
130.91/111.24	c (0,0) x[0][11] = 0
130.91/111.24	c (0,0) x[0][12] = 0
130.91/111.24	c (0,0) x[0][13] = 0
130.91/111.24	c (0,0) x[0][14] = 0
130.91/111.24	c (0,0) x[0][15] = 0
130.91/111.24	c (0,0) x[0][16] = 0
130.91/111.24	c (0,0) x[0][17] = 0
130.91/111.24	c (0,0) x[0][18] = 0
130.91/111.24	c (0,0) x[0][19] = 0
130.91/111.24	c (0,0) x[0][20] = 0
130.91/111.24	c (0,0) x[0][21] = 1
130.91/111.24	c (0,0) x[0][22] = 1
130.91/111.24	c (0,0) x[0][23] = 1
130.91/111.24	c (0,0) x[0][24] = 1
130.91/111.24	c (0,0) x[0][25] = 1
130.91/111.24	c (0,0) x[0][26] = 0
130.91/111.24	c (0,0) x[0][27] = 0
130.91/111.24	c (0,0) x[0][28] = 0
130.91/111.24	c (0,0) x[0][29] = 0
130.91/111.24	c (0,0) x[0][30] = 0
130.91/111.24	c (0,0) x[0][31] = 0
130.91/111.24	c (0,0) x[1][0] = 0
130.91/111.24	c (0,0) x[1][1] = 0
130.91/111.24	c (0,0) x[1][2] = 0
130.91/111.24	c (0,0) x[1][3] = 0
130.91/111.24	c (0,0) x[1][4] = 0
130.91/111.24	c (0,0) x[1][5] = 0
130.91/111.24	c (0,0) x[1][6] = 0
130.91/111.24	c (0,0) x[1][7] = 0
130.91/111.24	c (0,0) x[1][8] = 0
130.91/111.24	c (0,0) x[1][9] = 0
130.91/111.24	c (0,0) x[1][10] = 0
130.91/111.24	c (0,0) x[1][11] = 0
130.91/111.24	c (0,0) x[1][12] = 0
130.91/111.24	c (0,0) x[1][13] = 0
130.91/111.24	c (0,0) x[1][14] = 0
130.91/111.24	c (0,0) x[1][15] = 0
130.91/111.24	c (0,0) x[1][16] = 0
130.91/111.24	c (0,0) x[1][17] = 0
130.91/111.24	c (0,0) x[1][18] = 0
130.91/111.24	c (0,0) x[1][19] = 1
130.91/111.24	c (0,0) x[1][20] = 1
130.91/111.24	c (0,0) x[1][21] = 1
130.91/111.24	c (0,0) x[1][22] = 0
130.91/111.24	c (0,0) x[1][23] = 0
130.91/111.24	c (0,0) x[1][24] = 0
130.91/111.24	c (0,0) x[1][25] = 1
130.91/111.24	c (0,0) x[1][26] = 0
130.91/111.24	c (0,0) x[1][27] = 0
130.91/111.24	c (0,0) x[1][28] = 0
130.91/111.24	c (0,0) x[1][29] = 0
130.91/111.24	c (0,0) x[1][30] = 0
130.91/111.24	c (0,0) x[1][31] = 0
130.91/111.24	c (0,0) x[2][0] = 0
130.91/111.24	c (0,0) x[2][1] = 0
130.91/111.24	c (0,0) x[2][2] = 0
130.91/111.24	c (0,0) x[2][3] = 0
130.91/111.24	c (0,0) x[2][4] = 0
130.91/111.24	c (0,0) x[2][5] = 0
130.91/111.24	c (0,0) x[2][6] = 0
130.91/111.24	c (0,0) x[2][7] = 0
130.91/111.24	c (0,0) x[2][8] = 0
130.91/111.24	c (0,0) x[2][9] = 0
130.91/111.24	c (0,0) x[2][10] = 0
130.91/111.24	c (0,0) x[2][11] = 0
130.91/111.24	c (0,0) x[2][12] = 0
130.91/111.24	c (0,0) x[2][13] = 0
130.91/111.24	c (0,0) x[2][14] = 0
130.91/111.24	c (0,0) x[2][15] = 1
130.91/111.24	c (0,0) x[2][16] = 1
130.91/111.24	c (0,0) x[2][17] = 1
130.91/111.24	c (0,0) x[2][18] = 1
130.91/111.24	c (0,0) x[2][19] = 1
130.91/111.24	c (0,0) x[2][20] = 0
130.91/111.24	c (0,0) x[2][21] = 0
130.91/111.25	c (0,0) x[2][22] = 0
130.91/111.25	c (0,0) x[2][23] = 1
130.91/111.25	c (0,0) x[2][24] = 0
130.91/111.25	c (0,0) x[2][25] = 1
130.91/111.25	c (0,0) x[2][26] = 0
130.91/111.25	c (0,0) x[2][27] = 0
130.91/111.25	c (0,0) x[2][28] = 0
130.91/111.25	c (0,0) x[2][29] = 0
130.91/111.25	c (0,0) x[2][30] = 0
130.91/111.25	c (0,0) x[2][31] = 0
130.91/111.25	c (0,0) x[3][0] = 0
130.91/111.25	c (0,0) x[3][1] = 0
130.91/111.25	c (0,0) x[3][2] = 0
130.91/111.25	c (0,0) x[3][3] = 0
130.91/111.25	c (0,0) x[3][4] = 0
130.91/111.25	c (0,0) x[3][5] = 0
130.91/111.25	c (0,0) x[3][6] = 0
130.91/111.25	c (0,0) x[3][7] = 0
130.91/111.25	c (0,0) x[3][8] = 0
130.91/111.25	c (0,0) x[3][9] = 0
130.91/111.25	c (0,0) x[3][10] = 0
130.91/111.25	c (0,0) x[3][11] = 1
130.91/111.25	c (0,0) x[3][12] = 1
130.91/111.25	c (0,0) x[3][13] = 1
130.91/111.25	c (0,0) x[3][14] = 1
130.91/111.25	c (0,0) x[3][15] = 1
130.91/111.25	c (0,0) x[3][16] = 0
130.91/111.25	c (0,0) x[3][17] = 0
130.91/111.25	c (0,0) x[3][18] = 0
130.91/111.25	c (0,0) x[3][19] = 0
130.91/111.25	c (0,0) x[3][20] = 0
130.91/111.25	c (0,0) x[3][21] = 0
130.91/111.25	c (0,0) x[3][22] = 0
130.91/111.25	c (0,0) x[3][23] = 0
130.91/111.25	c (0,0) x[3][24] = 1
130.91/111.25	c (0,0) x[3][25] = 1
130.91/111.25	c (0,0) x[3][26] = 0
130.91/111.25	c (0,0) x[3][27] = 0
130.91/111.25	c (0,0) x[3][28] = 0
130.91/111.25	c (0,0) x[3][29] = 0
130.91/111.25	c (0,0) x[3][30] = 0
130.91/111.25	c (0,0) x[3][31] = 0
130.91/111.25	c (0,0) x[4][0] = 0
130.91/111.25	c (0,0) x[4][1] = 0
130.91/111.25	c (0,0) x[4][2] = 0
130.91/111.25	c (0,0) x[4][3] = 0
130.91/111.25	c (0,0) x[4][4] = 0
130.91/111.25	c (0,0) x[4][5] = 0
130.91/111.25	c (0,0) x[4][6] = 0
130.91/111.25	c (0,0) x[4][7] = 0
130.91/111.25	c (0,0) x[4][8] = 1
130.91/111.25	c (0,0) x[4][9] = 1
130.91/111.25	c (0,0) x[4][10] = 1
130.91/111.25	c (0,0) x[4][11] = 1
130.91/111.25	c (0,0) x[4][12] = 0
130.91/111.25	c (0,0) x[4][13] = 0
130.91/111.25	c (0,0) x[4][14] = 0
130.91/111.25	c (0,0) x[4][15] = 0
130.91/111.25	c (0,0) x[4][16] = 0
130.91/111.25	c (0,0) x[4][17] = 1
130.91/111.25	c (0,0) x[4][18] = 1
130.91/111.25	c (0,0) x[4][19] = 1
130.91/111.25	c (0,0) x[4][20] = 1
130.91/111.25	c (0,0) x[4][21] = 0
130.91/111.25	c (0,0) x[4][22] = 0
130.91/111.25	c (0,0) x[4][23] = 1
130.91/111.25	c (0,0) x[4][24] = 1
130.91/111.25	c (0,0) x[4][25] = 0
130.91/111.25	c (0,0) x[4][26] = 0
130.91/111.25	c (0,0) x[4][27] = 0
130.91/111.25	c (0,0) x[4][28] = 0
130.91/111.25	c (0,0) x[4][29] = 0
130.91/111.25	c (0,0) x[4][30] = 0
130.91/111.25	c (0,0) x[4][31] = 0
130.91/111.25	c (0,0) x[5][0] = 0
130.91/111.25	c (0,0) x[5][1] = 0
130.91/111.25	c (0,0) x[5][2] = 0
130.91/111.25	c (0,0) x[5][3] = 0
130.91/111.25	c (0,0) x[5][4] = 0
130.91/111.25	c (0,0) x[5][5] = 1
130.91/111.25	c (0,0) x[5][6] = 1
130.91/111.25	c (0,0) x[5][7] = 1
130.91/111.25	c (0,0) x[5][8] = 1
130.91/111.25	c (0,0) x[5][9] = 0
130.91/111.25	c (0,0) x[5][10] = 0
130.91/111.25	c (0,0) x[5][11] = 0
130.91/111.25	c (0,0) x[5][12] = 0
130.91/111.25	c (0,0) x[5][13] = 0
130.91/111.25	c (0,0) x[5][14] = 0
130.91/111.25	c (0,0) x[5][15] = 0
130.91/111.25	c (0,0) x[5][16] = 1
130.91/111.25	c (0,0) x[5][17] = 1
130.91/111.25	c (0,0) x[5][18] = 1
130.91/111.25	c (0,0) x[5][19] = 1
130.91/111.25	c (0,0) x[5][20] = 0
130.91/111.25	c (0,0) x[5][21] = 0
130.91/111.25	c (0,0) x[5][22] = 0
130.91/111.25	c (0,0) x[5][23] = 1
130.91/111.25	c (0,0) x[5][24] = 0
130.91/111.25	c (0,0) x[5][25] = 0
130.91/111.25	c (0,0) x[5][26] = 0
130.91/111.25	c (0,0) x[5][27] = 0
130.91/111.25	c (0,0) x[5][28] = 0
130.91/111.26	c (0,0) x[5][29] = 0
130.91/111.26	c (0,0) x[5][30] = 0
130.91/111.26	c (0,0) x[5][31] = 0
130.91/111.26	c (0,0) x[6][0] = 0
130.91/111.26	c (0,0) x[6][1] = 0
130.91/111.26	c (0,0) x[6][2] = 0
130.91/111.26	c (0,0) x[6][3] = 0
130.91/111.26	c (0,0) x[6][4] = 1
130.91/111.26	c (0,0) x[6][5] = 0
130.91/111.26	c (0,0) x[6][6] = 1
130.91/111.26	c (0,0) x[6][7] = 0
130.91/111.26	c (0,0) x[6][8] = 0
130.91/111.26	c (0,0) x[6][9] = 0
130.91/111.26	c (0,0) x[6][10] = 0
130.91/111.26	c (0,0) x[6][11] = 0
130.91/111.26	c (0,0) x[6][12] = 0
130.91/111.26	c (0,0) x[6][13] = 0
130.91/111.26	c (0,0) x[6][14] = 0
130.91/111.26	c (0,0) x[6][15] = 1
130.91/111.26	c (0,0) x[6][16] = 1
130.91/111.26	c (0,0) x[6][17] = 1
130.91/111.26	c (0,0) x[6][18] = 1
130.91/111.26	c (0,0) x[6][19] = 0
130.91/111.26	c (0,0) x[6][20] = 0
130.91/111.26	c (0,0) x[6][21] = 0
130.91/111.26	c (0,0) x[6][22] = 0
130.91/111.26	c (0,0) x[6][23] = 1
130.91/111.26	c (0,0) x[6][24] = 1
130.91/111.26	c (0,0) x[6][25] = 0
130.91/111.26	c (0,0) x[6][26] = 0
130.91/111.26	c (0,0) x[6][27] = 0
130.91/111.26	c (0,0) x[6][28] = 0
130.91/111.26	c (0,0) x[6][29] = 0
130.91/111.26	c (0,0) x[6][30] = 0
130.91/111.26	c (0,0) x[6][31] = 0
130.91/111.26	c (0,0) x[7][0] = 0
130.91/111.26	c (0,0) x[7][1] = 0
130.91/111.26	c (0,0) x[7][2] = 0
130.91/111.26	c (0,0) x[7][3] = 0
130.91/111.26	c (0,0) x[7][4] = 1
130.91/111.26	c (0,0) x[7][5] = 0
130.91/111.26	c (0,0) x[7][6] = 1
130.91/111.26	c (0,0) x[7][7] = 1
130.91/111.26	c (0,0) x[7][8] = 0
130.91/111.26	c (0,0) x[7][9] = 0
130.91/111.26	c (0,0) x[7][10] = 0
130.91/111.26	c (0,0) x[7][11] = 0
130.91/111.26	c (0,0) x[7][12] = 0
130.91/111.26	c (0,0) x[7][13] = 0
130.91/111.26	c (0,0) x[7][14] = 0
130.91/111.26	c (0,0) x[7][15] = 1
130.91/111.26	c (0,0) x[7][16] = 0
130.91/111.26	c (0,0) x[7][17] = 0
130.91/111.26	c (0,0) x[7][18] = 0
130.91/111.26	c (0,0) x[7][19] = 0
130.91/111.26	c (0,0) x[7][20] = 0
130.91/111.26	c (0,0) x[7][21] = 0
130.91/111.26	c (0,0) x[7][22] = 0
130.91/111.26	c (0,0) x[7][23] = 0
130.91/111.26	c (0,0) x[7][24] = 1
130.91/111.26	c (0,0) x[7][25] = 1
130.91/111.26	c (0,0) x[7][26] = 0
130.91/111.26	c (0,0) x[7][27] = 0
130.91/111.26	c (0,0) x[7][28] = 0
130.91/111.26	c (0,0) x[7][29] = 0
130.91/111.26	c (0,0) x[7][30] = 0
130.91/111.26	c (0,0) x[7][31] = 0
130.91/111.26	c (0,0) x[8][0] = 0
130.91/111.26	c (0,0) x[8][1] = 0
130.91/111.26	c (0,0) x[8][2] = 0
130.91/111.26	c (0,0) x[8][3] = 0
130.91/111.26	c (0,0) x[8][4] = 1
130.91/111.26	c (0,0) x[8][5] = 1
130.91/111.26	c (0,0) x[8][6] = 1
130.91/111.26	c (0,0) x[8][7] = 1
130.91/111.26	c (0,0) x[8][8] = 1
130.91/111.26	c (0,0) x[8][9] = 0
130.91/111.26	c (0,0) x[8][10] = 1
130.91/111.26	c (0,0) x[8][11] = 0
130.91/111.26	c (0,0) x[8][12] = 0
130.91/111.26	c (0,0) x[8][13] = 0
130.91/111.26	c (0,0) x[8][14] = 0
130.91/111.26	c (0,0) x[8][15] = 0
130.91/111.26	c (0,0) x[8][16] = 0
130.91/111.26	c (0,0) x[8][17] = 0
130.91/111.26	c (0,0) x[8][18] = 0
130.91/111.26	c (0,0) x[8][19] = 0
130.91/111.26	c (0,0) x[8][20] = 0
130.91/111.26	c (0,0) x[8][21] = 0
130.91/111.26	c (0,0) x[8][22] = 1
130.91/111.26	c (0,0) x[8][23] = 0
130.91/111.26	c (0,0) x[8][24] = 0
130.91/111.26	c (0,0) x[8][25] = 1
130.91/111.26	c (0,0) x[8][26] = 0
130.91/111.26	c (0,0) x[8][27] = 0
130.91/111.26	c (0,0) x[8][28] = 0
130.91/111.26	c (0,0) x[8][29] = 0
130.91/111.26	c (0,0) x[8][30] = 0
130.91/111.26	c (0,0) x[8][31] = 0
130.91/111.26	c (0,0) x[9][0] = 0
130.91/111.26	c (0,0) x[9][1] = 0
130.91/111.26	c (0,0) x[9][2] = 0
130.91/111.26	c (0,0) x[9][3] = 0
130.91/111.26	c (0,0) x[9][4] = 0
130.91/111.26	c (0,0) x[9][5] = 1
130.91/111.26	c (0,0) x[9][6] = 1
130.91/111.26	c (0,0) x[9][7] = 1
130.91/111.26	c (0,0) x[9][8] = 1
130.91/111.26	c (0,0) x[9][9] = 1
130.91/111.26	c (0,0) x[9][10] = 1
130.91/111.26	c (0,0) x[9][11] = 1
130.91/111.26	c (0,0) x[9][12] = 1
130.91/111.26	c (0,0) x[9][13] = 1
130.91/111.26	c (0,0) x[9][14] = 1
130.91/111.26	c (0,0) x[9][15] = 0
130.91/111.26	c (0,0) x[9][16] = 0
130.91/111.26	c (0,0) x[9][17] = 0
130.91/111.26	c (0,0) x[9][18] = 0
130.91/111.26	c (0,0) x[9][19] = 0
130.91/111.26	c (0,0) x[9][20] = 1
130.91/111.26	c (0,0) x[9][21] = 1
130.91/111.26	c (0,0) x[9][22] = 0
130.91/111.26	c (0,0) x[9][23] = 0
130.91/111.26	c (0,0) x[9][24] = 0
130.91/111.26	c (0,0) x[9][25] = 1
130.91/111.26	c (0,0) x[9][26] = 0
130.91/111.26	c (0,0) x[9][27] = 0
130.91/111.26	c (0,0) x[9][28] = 0
130.91/111.26	c (0,0) x[9][29] = 0
130.91/111.26	c (0,0) x[9][30] = 0
130.91/111.26	c (0,0) x[9][31] = 0
130.91/111.26	c (0,0) x[10][0] = 0
130.91/111.26	c (0,0) x[10][1] = 0
130.91/111.26	c (0,0) x[10][2] = 0
130.91/111.26	c (0,0) x[10][3] = 0
130.91/111.26	c (0,0) x[10][4] = 0
130.91/111.26	c (0,0) x[10][5] = 0
130.91/111.26	c (0,0) x[10][6] = 0
130.91/111.26	c (0,0) x[10][7] = 0
130.91/111.26	c (0,0) x[10][8] = 0
130.91/111.26	c (0,0) x[10][9] = 0
130.91/111.26	c (0,0) x[10][10] = 0
130.91/111.26	c (0,0) x[10][11] = 1
130.91/111.26	c (0,0) x[10][12] = 1
130.91/111.26	c (0,0) x[10][13] = 1
130.91/111.26	c (0,0) x[10][14] = 1
130.91/111.26	c (0,0) x[10][15] = 1
130.91/111.26	c (0,0) x[10][16] = 0
130.91/111.26	c (0,0) x[10][17] = 0
130.91/111.26	c (0,0) x[10][18] = 0
130.91/111.26	c (0,0) x[10][19] = 1
130.91/111.26	c (0,0) x[10][20] = 1
130.91/111.26	c (0,0) x[10][21] = 1
130.91/111.26	c (0,0) x[10][22] = 1
130.91/111.26	c (0,0) x[10][23] = 0
130.91/111.26	c (0,0) x[10][24] = 0
130.91/111.26	c (0,0) x[10][25] = 1
130.91/111.26	c (0,0) x[10][26] = 0
130.91/111.26	c (0,0) x[10][27] = 0
130.91/111.26	c (0,0) x[10][28] = 0
130.91/111.26	c (0,0) x[10][29] = 0
130.91/111.26	c (0,0) x[10][30] = 0
130.91/111.26	c (0,0) x[10][31] = 0
130.91/111.26	c (0,0) x[11][0] = 0
130.91/111.26	c (0,0) x[11][1] = 0
130.91/111.26	c (0,0) x[11][2] = 0
130.91/111.26	c (0,0) x[11][3] = 0
130.91/111.26	c (0,0) x[11][4] = 0
130.91/111.26	c (0,0) x[11][5] = 0
130.91/111.26	c (0,0) x[11][6] = 0
130.91/111.26	c (0,0) x[11][7] = 0
130.91/111.26	c (0,0) x[11][8] = 0
130.91/111.26	c (0,0) x[11][9] = 0
130.91/111.26	c (0,0) x[11][10] = 0
130.91/111.26	c (0,0) x[11][11] = 1
130.91/111.26	c (0,0) x[11][12] = 1
130.91/111.26	c (0,0) x[11][13] = 1
130.91/111.26	c (0,0) x[11][14] = 1
130.91/111.26	c (0,0) x[11][15] = 1
130.91/111.26	c (0,0) x[11][16] = 1
130.91/111.26	c (0,0) x[11][17] = 1
130.91/111.26	c (0,0) x[11][18] = 1
130.91/111.26	c (0,0) x[11][19] = 1
130.91/111.26	c (0,0) x[11][20] = 1
130.91/111.26	c (0,0) x[11][21] = 0
130.91/111.26	c (0,0) x[11][22] = 0
130.91/111.26	c (0,0) x[11][23] = 0
130.91/111.26	c (0,0) x[11][24] = 0
130.91/111.26	c (0,0) x[11][25] = 1
130.91/111.26	c (0,0) x[11][26] = 0
130.91/111.26	c (0,0) x[11][27] = 0
130.91/111.26	c (0,0) x[11][28] = 0
130.91/111.26	c (0,0) x[11][29] = 0
130.91/111.26	c (0,0) x[11][30] = 0
130.91/111.26	c (0,0) x[11][31] = 0
130.91/111.26	c (0,0) x[12][0] = 0
130.91/111.26	c (0,0) x[12][1] = 0
130.91/111.26	c (0,0) x[12][2] = 0
130.91/111.26	c (0,0) x[12][3] = 0
130.91/111.26	c (0,0) x[12][4] = 0
130.91/111.26	c (0,0) x[12][5] = 0
130.91/111.26	c (0,0) x[12][6] = 0
130.91/111.26	c (0,0) x[12][7] = 0
130.91/111.26	c (0,0) x[12][8] = 0
130.91/111.26	c (0,0) x[12][9] = 0
130.91/111.26	c (0,0) x[12][10] = 0
130.91/111.26	c (0,0) x[12][11] = 1
130.91/111.26	c (0,0) x[12][12] = 1
130.91/111.26	c (0,0) x[12][13] = 1
130.91/111.26	c (0,0) x[12][14] = 1
130.91/111.26	c (0,0) x[12][15] = 1
130.91/111.26	c (0,0) x[12][16] = 1
130.91/111.26	c (0,0) x[12][17] = 1
130.91/111.26	c (0,0) x[12][18] = 1
130.91/111.26	c (0,0) x[12][19] = 1
130.91/111.26	c (0,0) x[12][20] = 0
130.91/111.26	c (0,0) x[12][21] = 0
130.91/111.26	c (0,0) x[12][22] = 0
130.91/111.26	c (0,0) x[12][23] = 0
130.91/111.26	c (0,0) x[12][24] = 0
130.91/111.26	c (0,0) x[12][25] = 1
130.91/111.26	c (0,0) x[12][26] = 0
130.91/111.26	c (0,0) x[12][27] = 0
130.91/111.26	c (0,0) x[12][28] = 0
130.91/111.26	c (0,0) x[12][29] = 0
130.91/111.26	c (0,0) x[12][30] = 0
130.91/111.26	c (0,0) x[12][31] = 0
130.91/111.26	c (0,0) x[13][0] = 0
130.91/111.26	c (0,0) x[13][1] = 0
130.91/111.26	c (0,0) x[13][2] = 0
130.91/111.26	c (0,0) x[13][3] = 0
130.91/111.26	c (0,0) x[13][4] = 0
130.91/111.26	c (0,0) x[13][5] = 0
130.91/111.26	c (0,0) x[13][6] = 0
130.91/111.26	c (0,0) x[13][7] = 0
130.91/111.26	c (0,0) x[13][8] = 0
130.91/111.26	c (0,0) x[13][9] = 0
130.91/111.26	c (0,0) x[13][10] = 0
130.91/111.26	c (0,0) x[13][11] = 1
130.91/111.26	c (0,0) x[13][12] = 1
130.91/111.26	c (0,0) x[13][13] = 0
130.91/111.26	c (0,0) x[13][14] = 0
130.91/111.26	c (0,0) x[13][15] = 0
130.91/111.26	c (0,0) x[13][16] = 1
130.91/111.26	c (0,0) x[13][17] = 0
130.91/111.26	c (0,0) x[13][18] = 0
130.91/111.26	c (0,0) x[13][19] = 1
130.91/111.26	c (0,0) x[13][20] = 0
130.91/111.26	c (0,0) x[13][21] = 0
130.91/111.26	c (0,0) x[13][22] = 0
130.91/111.26	c (0,0) x[13][23] = 1
130.91/111.26	c (0,0) x[13][24] = 1
130.91/111.26	c (0,0) x[13][25] = 1
130.91/111.26	c (0,0) x[13][26] = 0
130.91/111.26	c (0,0) x[13][27] = 0
130.91/111.26	c (0,0) x[13][28] = 0
130.91/111.26	c (0,0) x[13][29] = 0
130.91/111.26	c (0,0) x[13][30] = 0
130.91/111.26	c (0,0) x[13][31] = 0
130.91/111.26	c (0,0) x[14][0] = 0
130.91/111.26	c (0,0) x[14][1] = 0
130.91/111.26	c (0,0) x[14][2] = 0
130.91/111.26	c (0,0) x[14][3] = 0
130.91/111.26	c (0,0) x[14][4] = 0
130.91/111.26	c (0,0) x[14][5] = 0
130.91/111.26	c (0,0) x[14][6] = 0
130.91/111.26	c (0,0) x[14][7] = 0
130.91/111.26	c (0,0) x[14][8] = 0
130.91/111.26	c (0,0) x[14][9] = 0
130.91/111.26	c (0,0) x[14][10] = 1
130.91/111.26	c (0,0) x[14][11] = 0
130.91/111.26	c (0,0) x[14][12] = 1
130.91/111.26	c (0,0) x[14][13] = 0
130.91/111.26	c (0,0) x[14][14] = 0
130.91/111.26	c (0,0) x[14][15] = 0
130.91/111.26	c (0,0) x[14][16] = 0
130.91/111.26	c (0,0) x[14][17] = 0
130.91/111.26	c (0,0) x[14][18] = 0
130.91/111.26	c (0,0) x[14][19] = 0
130.91/111.26	c (0,0) x[14][20] = 0
130.91/111.26	c (0,0) x[14][21] = 0
130.91/111.26	c (0,0) x[14][22] = 1
130.91/111.26	c (0,0) x[14][23] = 1
130.91/111.26	c (0,0) x[14][24] = 0
130.91/111.26	c (0,0) x[14][25] = 1
130.91/111.26	c (0,0) x[14][26] = 0
130.91/111.26	c (0,0) x[14][27] = 0
130.91/111.26	c (0,0) x[14][28] = 0
130.91/111.26	c (0,0) x[14][29] = 0
130.91/111.26	c (0,0) x[14][30] = 0
130.91/111.26	c (0,0) x[14][31] = 0
130.91/111.26	c (0,0) x[15][0] = 0
130.91/111.26	c (0,0) x[15][1] = 0
130.91/111.26	c (0,0) x[15][2] = 0
130.91/111.26	c (0,0) x[15][3] = 0
130.91/111.26	c (0,0) x[15][4] = 0
130.91/111.26	c (0,0) x[15][5] = 0
130.91/111.26	c (0,0) x[15][6] = 0
130.91/111.26	c (0,0) x[15][7] = 0
130.91/111.26	c (0,0) x[15][8] = 0
130.91/111.26	c (0,0) x[15][9] = 1
130.91/111.26	c (0,0) x[15][10] = 0
130.91/111.26	c (0,0) x[15][11] = 1
130.91/111.26	c (0,0) x[15][12] = 0
130.91/111.26	c (0,0) x[15][13] = 0
130.91/111.26	c (0,0) x[15][14] = 0
130.91/111.26	c (0,0) x[15][15] = 0
130.91/111.26	c (0,0) x[15][16] = 0
130.91/111.26	c (0,0) x[15][17] = 0
130.91/111.26	c (0,0) x[15][18] = 0
130.91/111.26	c (0,0) x[15][19] = 0
130.91/111.26	c (0,0) x[15][20] = 0
130.91/111.26	c (0,0) x[15][21] = 1
130.91/111.26	c (0,0) x[15][22] = 1
130.91/111.26	c (0,0) x[15][23] = 0
130.91/111.26	c (0,0) x[15][24] = 1
130.91/111.26	c (0,0) x[15][25] = 1
130.91/111.26	c (0,0) x[15][26] = 0
130.91/111.26	c (0,0) x[15][27] = 0
130.91/111.26	c (0,0) x[15][28] = 0
130.91/111.26	c (0,0) x[15][29] = 0
130.91/111.26	c (0,0) x[15][30] = 0
130.91/111.26	c (0,0) x[15][31] = 0
130.91/111.26	c (0,0) x[16][0] = 0
130.91/111.26	c (0,0) x[16][1] = 0
130.91/111.26	c (0,0) x[16][2] = 0
130.91/111.26	c (0,0) x[16][3] = 0
130.91/111.26	c (0,0) x[16][4] = 0
130.91/111.26	c (0,0) x[16][5] = 0
130.91/111.26	c (0,0) x[16][6] = 0
130.91/111.26	c (0,0) x[16][7] = 0
130.91/111.26	c (0,0) x[16][8] = 0
130.91/111.26	c (0,0) x[16][9] = 1
130.91/111.26	c (0,0) x[16][10] = 0
130.91/111.26	c (0,0) x[16][11] = 0
130.91/111.26	c (0,0) x[16][12] = 0
130.91/111.26	c (0,0) x[16][13] = 0
130.91/111.26	c (0,0) x[16][14] = 0
130.91/111.26	c (0,0) x[16][15] = 0
130.91/111.26	c (0,0) x[16][16] = 0
130.91/111.26	c (0,0) x[16][17] = 0
130.91/111.26	c (0,0) x[16][18] = 0
130.91/111.26	c (0,0) x[16][19] = 0
130.91/111.26	c (0,0) x[16][20] = 1
130.91/111.26	c (0,0) x[16][21] = 1
130.91/111.26	c (0,0) x[16][22] = 0
130.91/111.26	c (0,0) x[16][23] = 0
130.91/111.26	c (0,0) x[16][24] = 0
130.91/111.26	c (0,0) x[16][25] = 1
130.91/111.26	c (0,0) x[16][26] = 0
130.91/111.26	c (0,0) x[16][27] = 0
130.91/111.26	c (0,0) x[16][28] = 0
130.91/111.26	c (0,0) x[16][29] = 0
130.91/111.26	c (0,0) x[16][30] = 0
130.91/111.26	c (0,0) x[16][31] = 0
130.91/111.26	c (0,0) x[17][0] = 0
130.91/111.26	c (0,0) x[17][1] = 0
130.91/111.26	c (0,0) x[17][2] = 0
130.91/111.26	c (0,0) x[17][3] = 0
130.91/111.26	c (0,0) x[17][4] = 0
130.91/111.26	c (0,0) x[17][5] = 0
130.91/111.26	c (0,0) x[17][6] = 0
130.91/111.26	c (0,0) x[17][7] = 0
130.91/111.26	c (0,0) x[17][8] = 0
130.91/111.26	c (0,0) x[17][9] = 1
130.91/111.26	c (0,0) x[17][10] = 1
130.91/111.26	c (0,0) x[17][11] = 0
130.91/111.26	c (0,0) x[17][12] = 0
130.91/111.26	c (0,0) x[17][13] = 0
130.91/111.26	c (0,0) x[17][14] = 0
130.91/111.26	c (0,0) x[17][15] = 0
130.91/111.26	c (0,0) x[17][16] = 0
130.91/111.26	c (0,0) x[17][17] = 0
130.91/111.26	c (0,0) x[17][18] = 0
130.91/111.26	c (0,0) x[17][19] = 1
130.91/111.26	c (0,0) x[17][20] = 1
130.91/111.26	c (0,0) x[17][21] = 0
130.91/111.26	c (0,0) x[17][22] = 0
130.91/111.26	c (0,0) x[17][23] = 1
130.91/111.26	c (0,0) x[17][24] = 1
130.91/111.26	c (0,0) x[17][25] = 1
130.91/111.26	c (0,0) x[17][26] = 0
130.91/111.26	c (0,0) x[17][27] = 0
130.91/111.26	c (0,0) x[17][28] = 0
130.91/111.26	c (0,0) x[17][29] = 0
130.91/111.26	c (0,0) x[17][30] = 0
130.91/111.26	c (0,0) x[17][31] = 0
130.91/111.26	c (0,0) x[18][0] = 0
130.91/111.26	c (0,0) x[18][1] = 0
130.91/111.26	c (0,0) x[18][2] = 0
130.91/111.26	c (0,0) x[18][3] = 0
130.91/111.26	c (0,0) x[18][4] = 0
130.91/111.26	c (0,0) x[18][5] = 0
130.91/111.26	c (0,0) x[18][6] = 0
130.91/111.26	c (0,0) x[18][7] = 0
130.91/111.26	c (0,0) x[18][8] = 0
130.91/111.26	c (0,0) x[18][9] = 1
130.91/111.26	c (0,0) x[18][10] = 0
130.91/111.26	c (0,0) x[18][11] = 0
130.91/111.26	c (0,0) x[18][12] = 0
130.91/111.26	c (0,0) x[18][13] = 0
130.91/111.26	c (0,0) x[18][14] = 0
130.91/111.26	c (0,0) x[18][15] = 0
130.91/111.26	c (0,0) x[18][16] = 0
130.91/111.26	c (0,0) x[18][17] = 0
130.91/111.26	c (0,0) x[18][18] = 1
130.91/111.26	c (0,0) x[18][19] = 1
130.91/111.26	c (0,0) x[18][20] = 0
130.91/111.26	c (0,0) x[18][21] = 0
130.91/111.26	c (0,0) x[18][22] = 1
130.91/111.26	c (0,0) x[18][23] = 1
130.91/111.26	c (0,0) x[18][24] = 1
130.91/111.26	c (0,0) x[18][25] = 1
130.91/111.26	c (0,0) x[18][26] = 0
130.91/111.26	c (0,0) x[18][27] = 0
130.91/111.26	c (0,0) x[18][28] = 0
130.91/111.26	c (0,0) x[18][29] = 0
130.91/111.26	c (0,0) x[18][30] = 0
130.91/111.26	c (0,0) x[18][31] = 0
130.91/111.26	c (0,0) x[19][0] = 0
130.91/111.26	c (0,0) x[19][1] = 0
130.91/111.26	c (0,0) x[19][2] = 0
130.91/111.26	c (0,0) x[19][3] = 0
130.91/111.26	c (0,0) x[19][4] = 0
130.91/111.26	c (0,0) x[19][5] = 0
130.91/111.26	c (0,0) x[19][6] = 0
130.91/111.26	c (0,0) x[19][7] = 0
130.91/111.26	c (0,0) x[19][8] = 0
130.91/111.26	c (0,0) x[19][9] = 1
130.91/111.26	c (0,0) x[19][10] = 0
130.91/111.26	c (0,0) x[19][11] = 0
130.91/111.26	c (0,0) x[19][12] = 0
130.91/111.26	c (0,0) x[19][13] = 0
130.91/111.26	c (0,0) x[19][14] = 0
130.91/111.26	c (0,0) x[19][15] = 0
130.91/111.26	c (0,0) x[19][16] = 0
130.91/111.26	c (0,0) x[19][17] = 0
130.91/111.26	c (0,0) x[19][18] = 0
130.91/111.26	c (0,0) x[19][19] = 0
130.91/111.26	c (0,0) x[19][20] = 0
130.91/111.26	c (0,0) x[19][21] = 1
130.91/111.26	c (0,0) x[19][22] = 1
130.91/111.26	c (0,0) x[19][23] = 1
130.91/111.26	c (0,0) x[19][24] = 1
130.91/111.26	c (0,0) x[19][25] = 1
130.91/111.26	c (0,0) x[19][26] = 0
130.91/111.26	c (0,0) x[19][27] = 0
130.91/111.26	c (0,0) x[19][28] = 0
130.91/111.26	c (0,0) x[19][29] = 0
130.91/111.26	c (0,0) x[19][30] = 0
130.91/111.26	c (0,0) x[19][31] = 0
130.91/111.26	c (0,0) x[20][0] = 0
130.91/111.26	c (0,0) x[20][1] = 0
130.91/111.26	c (0,0) x[20][2] = 0
130.91/111.26	c (0,0) x[20][3] = 0
130.91/111.26	c (0,0) x[20][4] = 0
130.91/111.26	c (0,0) x[20][5] = 0
130.91/111.26	c (0,0) x[20][6] = 0
130.91/111.26	c (0,0) x[20][7] = 0
130.91/111.26	c (0,0) x[20][8] = 0
130.91/111.26	c (0,0) x[20][9] = 1
130.91/111.26	c (0,0) x[20][10] = 0
130.91/111.26	c (0,0) x[20][11] = 0
130.91/111.26	c (0,0) x[20][12] = 0
130.91/111.26	c (0,0) x[20][13] = 0
130.91/111.26	c (0,0) x[20][14] = 0
130.91/111.26	c (0,0) x[20][15] = 0
130.91/111.26	c (0,0) x[20][16] = 0
130.91/111.26	c (0,0) x[20][17] = 0
130.91/111.26	c (0,0) x[20][18] = 0
130.91/111.26	c (0,0) x[20][19] = 0
130.91/111.26	c (0,0) x[20][20] = 1
130.91/111.26	c (0,0) x[20][21] = 1
130.91/111.26	c (0,0) x[20][22] = 0
130.91/111.26	c (0,0) x[20][23] = 0
130.91/111.26	c (0,0) x[20][24] = 1
130.91/111.26	c (0,0) x[20][25] = 1
130.91/111.26	c (0,0) x[20][26] = 0
130.91/111.26	c (0,0) x[20][27] = 0
130.91/111.26	c (0,0) x[20][28] = 0
130.91/111.26	c (0,0) x[20][29] = 0
130.91/111.26	c (0,0) x[20][30] = 0
130.91/111.26	c (0,0) x[20][31] = 0
130.91/111.26	c (0,0) x[21][0] = 0
130.91/111.26	c (0,0) x[21][1] = 0
130.91/111.26	c (0,0) x[21][2] = 0
130.91/111.26	c (0,0) x[21][3] = 0
130.91/111.26	c (0,0) x[21][4] = 0
130.91/111.26	c (0,0) x[21][5] = 0
130.91/111.26	c (0,0) x[21][6] = 0
130.91/111.26	c (0,0) x[21][7] = 0
130.91/111.26	c (0,0) x[21][8] = 0
130.91/111.26	c (0,0) x[21][9] = 1
130.91/111.26	c (0,0) x[21][10] = 1
130.91/111.26	c (0,0) x[21][11] = 0
130.91/111.26	c (0,0) x[21][12] = 0
130.91/111.26	c (0,0) x[21][13] = 0
130.91/111.26	c (0,0) x[21][14] = 0
130.91/111.26	c (0,0) x[21][15] = 0
130.91/111.26	c (0,0) x[21][16] = 0
130.91/111.26	c (0,0) x[21][17] = 0
130.91/111.26	c (0,0) x[21][18] = 0
130.91/111.26	c (0,0) x[21][19] = 1
130.91/111.26	c (0,0) x[21][20] = 1
130.91/111.26	c (0,0) x[21][21] = 1
130.91/111.26	c (0,0) x[21][22] = 0
130.91/111.26	c (0,0) x[21][23] = 1
130.91/111.26	c (0,0) x[21][24] = 1
130.91/111.26	c (0,0) x[21][25] = 0
130.91/111.26	c (0,0) x[21][26] = 0
130.91/111.26	c (0,0) x[21][27] = 0
130.91/111.26	c (0,0) x[21][28] = 0
130.91/111.26	c (0,0) x[21][29] = 0
130.91/111.26	c (0,0) x[21][30] = 0
130.91/111.26	c (0,0) x[21][31] = 0
130.91/111.26	c (0,0) x[22][0] = 0
130.91/111.26	c (0,0) x[22][1] = 0
130.91/111.26	c (0,0) x[22][2] = 0
130.91/111.26	c (0,0) x[22][3] = 0
130.91/111.26	c (0,0) x[22][4] = 0
130.91/111.26	c (0,0) x[22][5] = 0
130.91/111.26	c (0,0) x[22][6] = 0
130.91/111.26	c (0,0) x[22][7] = 0
130.91/111.26	c (0,0) x[22][8] = 0
130.91/111.26	c (0,0) x[22][9] = 0
130.91/111.26	c (0,0) x[22][10] = 1
130.91/111.26	c (0,0) x[22][11] = 1
130.91/111.26	c (0,0) x[22][12] = 0
130.91/111.26	c (0,0) x[22][13] = 0
130.91/111.26	c (0,0) x[22][14] = 0
130.91/111.26	c (0,0) x[22][15] = 0
130.91/111.26	c (0,0) x[22][16] = 0
130.91/111.26	c (0,0) x[22][17] = 0
130.91/111.26	c (0,0) x[22][18] = 1
130.91/111.26	c (0,0) x[22][19] = 1
130.91/111.26	c (0,0) x[22][20] = 0
130.91/111.26	c (0,0) x[22][21] = 0
130.91/111.26	c (0,0) x[22][22] = 1
130.91/111.26	c (0,0) x[22][23] = 1
130.91/111.26	c (0,0) x[22][24] = 0
130.91/111.26	c (0,0) x[22][25] = 0
130.91/111.26	c (0,0) x[22][26] = 0
130.91/111.26	c (0,0) x[22][27] = 0
130.91/111.26	c (0,0) x[22][28] = 0
130.91/111.26	c (0,0) x[22][29] = 0
130.91/111.26	c (0,0) x[22][30] = 0
130.91/111.26	c (0,0) x[22][31] = 0
130.91/111.26	c (0,0) x[23][0] = 0
130.91/111.26	c (0,0) x[23][1] = 0
130.91/111.26	c (0,0) x[23][2] = 0
130.91/111.26	c (0,0) x[23][3] = 0
130.91/111.26	c (0,0) x[23][4] = 0
130.91/111.26	c (0,0) x[23][5] = 0
130.91/111.26	c (0,0) x[23][6] = 0
130.91/111.26	c (0,0) x[23][7] = 0
130.91/111.26	c (0,0) x[23][8] = 0
130.91/111.26	c (0,0) x[23][9] = 0
130.91/111.26	c (0,0) x[23][10] = 1
130.91/111.26	c (0,0) x[23][11] = 1
130.91/111.26	c (0,0) x[23][12] = 1
130.91/111.26	c (0,0) x[23][13] = 0
130.91/111.26	c (0,0) x[23][14] = 0
130.91/111.26	c (0,0) x[23][15] = 0
130.91/111.26	c (0,0) x[23][16] = 0
130.91/111.26	c (0,0) x[23][17] = 0
130.91/111.26	c (0,0) x[23][18] = 0
130.91/111.26	c (0,0) x[23][19] = 1
130.91/111.26	c (0,0) x[23][20] = 0
130.91/111.26	c (0,0) x[23][21] = 1
130.91/111.26	c (0,0) x[23][22] = 1
130.91/111.26	c (0,0) x[23][23] = 0
130.91/111.26	c (0,0) x[23][24] = 0
130.91/111.26	c (0,0) x[23][25] = 0
130.91/111.26	c (0,0) x[23][26] = 0
130.91/111.26	c (0,0) x[23][27] = 0
130.91/111.26	c (0,0) x[23][28] = 0
130.91/111.26	c (0,0) x[23][29] = 0
130.91/111.26	c (0,0) x[23][30] = 0
130.91/111.26	c (0,0) x[23][31] = 0
130.91/111.26	c (0,0) x[24][0] = 0
130.91/111.26	c (0,0) x[24][1] = 0
130.91/111.26	c (0,0) x[24][2] = 0
130.91/111.26	c (0,0) x[24][3] = 0
130.91/111.26	c (0,0) x[24][4] = 0
130.91/111.26	c (0,0) x[24][5] = 0
130.91/111.26	c (0,0) x[24][6] = 0
130.91/111.26	c (0,0) x[24][7] = 0
130.91/111.26	c (0,0) x[24][8] = 0
130.91/111.26	c (0,0) x[24][9] = 0
130.91/111.26	c (0,0) x[24][10] = 0
130.91/111.26	c (0,0) x[24][11] = 1
130.91/111.26	c (0,0) x[24][12] = 1
130.91/111.26	c (0,0) x[24][13] = 1
130.91/111.26	c (0,0) x[24][14] = 0
130.91/111.26	c (0,0) x[24][15] = 0
130.91/111.26	c (0,0) x[24][16] = 0
130.91/111.26	c (0,0) x[24][17] = 1
130.91/111.26	c (0,0) x[24][18] = 1
130.91/111.26	c (0,0) x[24][19] = 1
130.91/111.26	c (0,0) x[24][20] = 1
130.91/111.26	c (0,0) x[24][21] = 1
130.91/111.26	c (0,0) x[24][22] = 0
130.91/111.26	c (0,0) x[24][23] = 0
130.91/111.26	c (0,0) x[24][24] = 0
130.91/111.26	c (0,0) x[24][25] = 0
130.91/111.26	c (0,0) x[24][26] = 0
130.91/111.26	c (0,0) x[24][27] = 0
130.91/111.26	c (0,0) x[24][28] = 0
130.91/111.26	c (0,0) x[24][29] = 0
130.91/111.26	c (0,0) x[24][30] = 0
130.91/111.26	c (0,0) x[24][31] = 0
130.91/111.26	c (0,0) x[25][0] = 0
130.91/111.26	c (0,0) x[25][1] = 0
130.91/111.26	c (0,0) x[25][2] = 0
130.91/111.26	c (0,0) x[25][3] = 0
130.91/111.26	c (0,0) x[25][4] = 0
130.91/111.26	c (0,0) x[25][5] = 0
130.91/111.26	c (0,0) x[25][6] = 0
130.91/111.26	c (0,0) x[25][7] = 0
130.91/111.26	c (0,0) x[25][8] = 0
130.91/111.26	c (0,0) x[25][9] = 0
130.91/111.26	c (0,0) x[25][10] = 0
130.91/111.26	c (0,0) x[25][11] = 1
130.91/111.26	c (0,0) x[25][12] = 1
130.91/111.26	c (0,0) x[25][13] = 1
130.91/111.26	c (0,0) x[25][14] = 1
130.91/111.26	c (0,0) x[25][15] = 1
130.91/111.26	c (0,0) x[25][16] = 1
130.91/111.26	c (0,0) x[25][17] = 1
130.91/111.26	c (0,0) x[25][18] = 1
130.91/111.26	c (0,0) x[25][19] = 1
130.91/111.26	c (0,0) x[25][20] = 1
130.91/111.26	c (0,0) x[25][21] = 0
130.91/111.26	c (0,0) x[25][22] = 0
130.91/111.26	c (0,0) x[25][23] = 0
130.91/111.26	c (0,0) x[25][24] = 0
130.91/111.26	c (0,0) x[25][25] = 0
130.91/111.26	c (0,0) x[25][26] = 0
130.91/111.26	c (0,0) x[25][27] = 0
130.91/111.26	c (0,0) x[25][28] = 0
130.91/111.26	c (0,0) x[25][29] = 0
130.91/111.26	c (0,0) x[25][30] = 0
130.91/111.26	c (0,0) x[25][31] = 0
130.91/111.26	c (0,0) x[26][0] = 0
130.91/111.26	c (0,0) x[26][1] = 0
130.91/111.26	c (0,0) x[26][2] = 0
130.91/111.26	c (0,0) x[26][3] = 0
130.91/111.26	c (0,0) x[26][4] = 0
130.91/111.26	c (0,0) x[26][5] = 0
130.91/111.26	c (0,0) x[26][6] = 0
130.91/111.26	c (0,0) x[26][7] = 0
130.91/111.26	c (0,0) x[26][8] = 0
130.91/111.26	c (0,0) x[26][9] = 0
130.91/111.26	c (0,0) x[26][10] = 0
130.91/111.26	c (0,0) x[26][11] = 1
130.91/111.26	c (0,0) x[26][12] = 1
130.91/111.26	c (0,0) x[26][13] = 1
130.91/111.26	c (0,0) x[26][14] = 1
130.91/111.26	c (0,0) x[26][15] = 1
130.91/111.26	c (0,0) x[26][16] = 1
130.91/111.26	c (0,0) x[26][17] = 1
130.91/111.26	c (0,0) x[26][18] = 1
130.91/111.26	c (0,0) x[26][19] = 1
130.91/111.26	c (0,0) x[26][20] = 1
130.91/111.26	c (0,0) x[26][21] = 0
130.91/111.26	c (0,0) x[26][22] = 0
130.91/111.26	c (0,0) x[26][23] = 0
130.91/111.26	c (0,0) x[26][24] = 0
130.91/111.26	c (0,0) x[26][25] = 0
130.91/111.26	c (0,0) x[26][26] = 0
130.91/111.26	c (0,0) x[26][27] = 0
130.91/111.26	c (0,0) x[26][28] = 0
130.91/111.26	c (0,0) x[26][29] = 0
130.91/111.26	c (0,0) x[26][30] = 0
130.91/111.26	c (0,0) x[26][31] = 0
130.91/111.26	c (0,0) x[27][0] = 0
130.91/111.26	c (0,0) x[27][1] = 0
130.91/111.26	c (0,0) x[27][2] = 0
130.91/111.26	c (0,0) x[27][3] = 0
130.91/111.26	c (0,0) x[27][4] = 0
130.91/111.26	c (0,0) x[27][5] = 0
130.91/111.26	c (0,0) x[27][6] = 0
130.91/111.26	c (0,0) x[27][7] = 0
130.91/111.26	c (0,0) x[27][8] = 0
130.91/111.26	c (0,0) x[27][9] = 0
130.91/111.26	c (0,0) x[27][10] = 1
130.91/111.26	c (0,0) x[27][11] = 1
130.91/111.26	c (0,0) x[27][12] = 1
130.91/111.26	c (0,0) x[27][13] = 1
130.91/111.26	c (0,0) x[27][14] = 1
130.91/111.26	c (0,0) x[27][15] = 1
130.91/111.26	c (0,0) x[27][16] = 1
130.91/111.26	c (0,0) x[27][17] = 1
130.91/111.26	c (0,0) x[27][18] = 1
130.91/111.26	c (0,0) x[27][19] = 1
130.91/111.26	c (0,0) x[27][20] = 1
130.91/111.26	c (0,0) x[27][21] = 1
130.91/111.26	c (0,0) x[27][22] = 0
130.91/111.26	c (0,0) x[27][23] = 0
130.91/111.26	c (0,0) x[27][24] = 0
130.91/111.26	c (0,0) x[27][25] = 0
130.91/111.26	c (0,0) x[27][26] = 0
130.91/111.26	c (0,0) x[27][27] = 0
130.91/111.26	c (0,0) x[27][28] = 0
130.91/111.26	c (0,0) x[27][29] = 0
130.91/111.26	c (0,0) x[27][30] = 0
130.91/111.26	c (0,0) x[27][31] = 0
130.91/111.26	c (0,0) x[28][0] = 0
130.91/111.26	c (0,0) x[28][1] = 0
130.91/111.26	c (0,0) x[28][2] = 0
130.91/111.26	c (0,0) x[28][3] = 0
130.91/111.26	c (0,0) x[28][4] = 0
130.91/111.26	c (0,0) x[28][5] = 0
130.91/111.26	c (0,0) x[28][6] = 0
130.91/111.26	c (0,0) x[28][7] = 0
130.91/111.26	c (0,0) x[28][8] = 1
130.91/111.26	c (0,0) x[28][9] = 1
130.91/111.26	c (0,0) x[28][10] = 1
130.91/111.26	c (0,0) x[28][11] = 0
130.91/111.26	c (0,0) x[28][12] = 0
130.91/111.26	c (0,0) x[28][13] = 0
130.91/111.26	c (0,0) x[28][14] = 0
130.91/111.26	c (0,0) x[28][15] = 0
130.91/111.26	c (0,0) x[28][16] = 0
130.91/111.26	c (0,0) x[28][17] = 0
130.91/111.26	c (0,0) x[28][18] = 0
130.91/111.26	c (0,0) x[28][19] = 0
130.91/111.26	c (0,0) x[28][20] = 0
130.91/111.26	c (0,0) x[28][21] = 1
130.91/111.26	c (0,0) x[28][22] = 1
130.91/111.26	c (0,0) x[28][23] = 1
130.91/111.26	c (0,0) x[28][24] = 0
130.91/111.26	c (0,0) x[28][25] = 0
130.91/111.26	c (0,0) x[28][26] = 0
130.91/111.26	c (0,0) x[28][27] = 0
130.91/111.26	c (0,0) x[28][28] = 0
130.91/111.26	c (0,0) x[28][29] = 0
130.91/111.26	c (0,0) x[28][30] = 0
130.91/111.26	c (0,0) x[28][31] = 0
130.91/111.26	c (0,0) x[29][0] = 0
130.91/111.26	c (0,0) x[29][1] = 0
130.91/111.26	c (0,0) x[29][2] = 0
130.91/111.26	c (0,0) x[29][3] = 0
130.91/111.26	c (0,0) x[29][4] = 0
130.91/111.26	c (0,0) x[29][5] = 0
130.91/111.26	c (0,0) x[29][6] = 1
130.91/111.26	c (0,0) x[29][7] = 1
130.91/111.26	c (0,0) x[29][8] = 1
130.91/111.26	c (0,0) x[29][9] = 0
130.91/111.26	c (0,0) x[29][10] = 0
130.91/111.26	c (0,0) x[29][11] = 0
130.91/111.26	c (0,0) x[29][12] = 0
130.91/111.26	c (0,0) x[29][13] = 0
130.91/111.26	c (0,0) x[29][14] = 0
130.91/111.26	c (0,0) x[29][15] = 0
130.91/111.26	c (0,0) x[29][16] = 0
130.91/111.26	c (0,0) x[29][17] = 0
130.91/111.26	c (0,0) x[29][18] = 0
130.91/111.26	c (0,0) x[29][19] = 0
130.91/111.26	c (0,0) x[29][20] = 0
130.91/111.26	c (0,0) x[29][21] = 0
130.91/111.26	c (0,0) x[29][22] = 0
130.91/111.26	c (0,0) x[29][23] = 1
130.91/111.26	c (0,0) x[29][24] = 1
130.91/111.26	c (0,0) x[29][25] = 1
130.91/111.26	c (0,0) x[29][26] = 0
130.91/111.26	c (0,0) x[29][27] = 0
130.91/111.26	c (0,0) x[29][28] = 0
130.91/111.26	c (0,0) x[29][29] = 0
130.91/111.26	c (0,0) x[29][30] = 0
130.91/111.26	c (0,0) x[29][31] = 0
130.91/111.26	c (0,0) x[30][0] = 0
130.91/111.26	c (0,0) x[30][1] = 0
130.91/111.26	c (0,0) x[30][2] = 0
130.91/111.26	c (0,0) x[30][3] = 0
130.91/111.26	c (0,0) x[30][4] = 0
130.91/111.26	c (0,0) x[30][5] = 1
130.91/111.26	c (0,0) x[30][6] = 1
130.91/111.26	c (0,0) x[30][7] = 1
130.91/111.26	c (0,0) x[30][8] = 1
130.91/111.26	c (0,0) x[30][9] = 1
130.91/111.26	c (0,0) x[30][10] = 1
130.91/111.26	c (0,0) x[30][11] = 1
130.91/111.26	c (0,0) x[30][12] = 1
130.91/111.26	c (0,0) x[30][13] = 1
130.91/111.26	c (0,0) x[30][14] = 1
130.91/111.26	c (0,0) x[30][15] = 1
130.91/111.26	c (0,0) x[30][16] = 1
130.91/111.26	c (0,0) x[30][17] = 1
130.91/111.26	c (0,0) x[30][18] = 1
130.91/111.26	c (0,0) x[30][19] = 1
130.91/111.26	c (0,0) x[30][20] = 1
130.91/111.26	c (0,0) x[30][21] = 1
130.91/111.26	c (0,0) x[30][22] = 1
130.91/111.26	c (0,0) x[30][23] = 1
130.91/111.26	c (0,0) x[30][24] = 1
130.91/111.26	c (0,0) x[30][25] = 1
130.91/111.26	c (0,0) x[30][26] = 1
130.91/111.26	c (0,0) x[30][27] = 0
130.91/111.26	c (0,0) x[30][28] = 0
130.91/111.26	c (0,0) x[30][29] = 0
130.91/111.26	c (0,0) x[30][30] = 0
130.91/111.26	c (0,0) x[30][31] = 0
130.91/111.26	c (0,0) x[31][0] = 0
130.91/111.26	c (0,0) x[31][1] = 0
130.91/111.26	c (0,0) x[31][2] = 0
130.91/111.26	c (0,0) x[31][3] = 0
130.91/111.26	c (0,0) x[31][4] = 0
130.91/111.26	c (0,0) x[31][5] = 1
130.91/111.26	c (0,0) x[31][6] = 1
130.91/111.26	c (0,0) x[31][7] = 1
130.91/111.26	c (0,0) x[31][8] = 1
130.91/111.26	c (0,0) x[31][9] = 1
130.91/111.26	c (0,0) x[31][10] = 1
130.91/111.26	c (0,0) x[31][11] = 1
130.91/111.26	c (0,0) x[31][12] = 1
130.91/111.26	c (0,0) x[31][13] = 1
130.91/111.26	c (0,0) x[31][14] = 1
130.91/111.26	c (0,0) x[31][15] = 1
130.91/111.26	c (0,0) x[31][16] = 1
130.91/111.26	c (0,0) x[31][17] = 1
130.91/111.26	c (0,0) x[31][18] = 1
130.91/111.26	c (0,0) x[31][19] = 1
130.91/111.26	c (0,0) x[31][20] = 1
130.91/111.26	c (0,0) x[31][21] = 1
130.91/111.26	c (0,0) x[31][22] = 1
130.91/111.26	c (0,0) x[31][23] = 1
130.91/111.26	c (0,0) x[31][24] = 1
130.91/111.26	c (0,0) x[31][25] = 1
130.91/111.26	c (0,0) x[31][26] = 1
130.91/111.26	c (0,0) x[31][27] = 0
130.91/111.26	c (0,0) x[31][28] = 0
130.91/111.26	c (0,0) x[31][29] = 0
130.91/111.26	c (0,0) x[31][30] = 0
130.91/111.26	c (0,0) x[31][31] = 0
130.91/111.26	s SATISFIABLE
130.91/111.27	v <instantiation>
130.91/111.27	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[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[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[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[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[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[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[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[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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31]</list>
130.91/111.27	v     <values>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 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 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 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 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 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 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 0 0 0 1 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 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 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 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 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 1 1 1 0 1 1 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 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 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 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 0 0 0 0 0</values>
130.91/111.27	v </instantiation>
130.91/111.27	c (0,0) Show results End
130.91/111.27	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
130.91/111.27	c (0,0) 0,0,STOP-AFTER(ALL)
130.91/111.27	c END-Prog: Sat Sep 14 06:34:07 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 (15100 MiB free)
  memory of node 1: 16384 MiB (15656 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392282-1568435572/watcher-4392282-1568435572 -o /tmp/evaluation-result-4392282-1568435572/solver-4392282-1568435572 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --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-4392282-1568435572.xml 

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

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


[startup+0.100159 s]*
/proc/loadavg: 7.65 7.62 7.58 2/212 15231
/proc/meminfo: memFree=31401084/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419718855 115843072 348 33554432000 4194304 5098028 140733701668480 140733701665736 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 348 296 221 0 87 0
[pid=15212] ppid=15209 vsize=27314120 memory=103828 CPUtime=0.1 cores=0-7
/proc/15212/stat : 15212 (java) S 15209 15209 11928 0 -1 1077944320 6571 0 0 0 8 2 0 0 20 0 20 0 419718856 27969658880 25957 33554432000 4194304 4196468 140733445236224 140733445218768 140171522129655 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
/proc/15212/statm: 6828530 25957 2795 1 0 6790935 0
[pid=15212/tid=15213] ppid=15209 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/15212/task/15213/stat : 15213 (java) R 15209 15209 11928 0 -1 4202560 4640 0 0 0 7 2 0 0 20 0 20 0 419718856 27969658880 26021 33554432000 4194304 4196468 140733445236224 140171493951936 140171506210142 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15214] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15214/stat : 15214 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140171526371984 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15215] ppid=15209 vsize=27314120 memory=140299111286174 CPUtime=0 cores=0-7
/proc/15212/task/15215/stat : 15215 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140171359750672 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15216] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15216/stat : 15216 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170943080848 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15217] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15217/stat : 15217 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170942028048 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15218] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15218/stat : 15218 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170940976272 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15219] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15219/stat : 15219 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170939923472 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15220] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15220/stat : 15220 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170938870672 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15221] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15221/stat : 15221 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170937817872 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15222] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15222/stat : 15222 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718860 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170580486512 140171522140802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15223] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15223/stat : 15223 (java) S 15209 15209 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419718860 27969658880 26021 33554432000 4194304 4196468 140733445236224 140169411814432 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15224] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15224/stat : 15224 (java) S 15209 15209 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419718861 27969658880 26021 33554432000 4194304 4196468 140733445236224 140169277592432 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15225] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15225/stat : 15225 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 26021 33554432000 4194304 4196468 140733445236224 140168903087952 140171522148251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15226] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15226/stat : 15226 (java) S 15209 15209 11928 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170579434352 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15227] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15227/stat : 15227 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170578381552 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15228] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15228/stat : 15228 (java) S 15209 15209 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170577328752 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15229] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15229/stat : 15229 (java) S 15209 15209 11928 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170576275952 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15230] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15230/stat : 15230 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 26021 33554432000 4194304 4196468 140733445236224 140168405183072 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15231] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15231/stat : 15231 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718864 27969658880 26021 33554432000 4194304 4196468 140733445236224 140170575223344 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105220 KiB

[startup+0.21032 s]*
/proc/loadavg: 7.65 7.62 7.58 3/212 15231
/proc/meminfo: memFree=31383132/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419718855 115843072 348 33554432000 4194304 5098028 140733701668480 140733701665736 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 348 296 221 0 87 0
[pid=15212] ppid=15209 vsize=27314120 memory=120652 CPUtime=0.24 cores=0-7
/proc/15212/stat : 15212 (java) S 15209 15209 11928 0 -1 1077944320 11620 0 0 0 20 4 0 0 20 0 20 0 419718856 27969658880 30163 33554432000 4194304 4196468 140733445236224 140733445218768 140171522129655 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
/proc/15212/statm: 6828530 30163 2949 1 0 6790935 0
[pid=15212/tid=15213] ppid=15209 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/15212/task/15213/stat : 15213 (java) R 15209 15209 11928 0 -1 4202560 9254 0 0 0 16 3 0 0 20 0 20 0 419718856 27969658880 30163 33554432000 4194304 4196468 140733445236224 140171493938128 140171502405536 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15214] ppid=15209 vsize=27314120 memory=14965 CPUtime=0 cores=0-7
/proc/15212/task/15214/stat : 15214 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140171526371984 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15215] ppid=15209 vsize=27314120 memory=288370675262985856 CPUtime=0 cores=0-7
/proc/15212/task/15215/stat : 15215 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140171359750672 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15216] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15216/stat : 15216 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170943080848 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15217] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15217/stat : 15217 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170942028048 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15218] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15218/stat : 15218 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170940976272 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15219] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15219/stat : 15219 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170939923472 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15220] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15220/stat : 15220 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170938870672 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15221] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15221/stat : 15221 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170937817872 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15222] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15222/stat : 15222 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718860 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170580486512 140171522140802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15223] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15223/stat : 15223 (java) S 15209 15209 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419718860 27969658880 30163 33554432000 4194304 4196468 140733445236224 140169411814432 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15224] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15224/stat : 15224 (java) S 15209 15209 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419718861 27969658880 30163 33554432000 4194304 4196468 140733445236224 140169277592432 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15225] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15225/stat : 15225 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 30163 33554432000 4194304 4196468 140733445236224 140168903087952 140171522148251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15226] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15226/stat : 15226 (java) S 15209 15209 11928 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170579434352 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15227] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15227/stat : 15227 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170578381552 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15228] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15228/stat : 15228 (java) S 15209 15209 11928 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170577328752 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15229] ppid=15209 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15212/task/15229/stat : 15229 (java) S 15209 15209 11928 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 20 0 419718863 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170576275952 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15230] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15230/stat : 15230 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 30163 33554432000 4194304 4196468 140733445236224 140168405183072 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15231] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15231/stat : 15231 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718864 27969658880 30163 33554432000 4194304 4196468 140733445236224 140170575223344 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122044 KiB

[startup+0.309765 s]*
/proc/loadavg: 7.65 7.62 7.58 2/212 15231
/proc/meminfo: memFree=31379596/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419718855 115843072 348 33554432000 4194304 5098028 140733701668480 140733701665736 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 348 296 221 0 87 0
[pid=15212] ppid=15209 vsize=27314120 memory=125160 CPUtime=0.42 cores=0-7
/proc/15212/stat : 15212 (java) S 15209 15209 11928 0 -1 1077944320 12655 0 0 0 37 5 0 0 20 0 20 0 419718856 27969658880 31290 33554432000 4194304 4196468 140733445236224 140733445218768 140171522129655 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
/proc/15212/statm: 6828530 31290 3066 1 0 6790935 0
[pid=15212/tid=15213] ppid=15209 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/15212/task/15213/stat : 15213 (java) R 15209 15209 11928 0 -1 4202560 10014 0 0 0 26 4 0 0 20 0 20 0 419718856 27969658880 31290 33554432000 4194304 4196468 140733445236224 140171493912672 140171507295248 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15214] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15214/stat : 15214 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140171526371984 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15215] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15215/stat : 15215 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140171359750672 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15216] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15216/stat : 15216 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170943080848 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15217] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15217/stat : 15217 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170942028048 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15218] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15218/stat : 15218 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170940976272 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15219] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15219/stat : 15219 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170939923472 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15220] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15220/stat : 15220 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170938870672 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15221] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15221/stat : 15221 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170937817872 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15222] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15222/stat : 15222 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718860 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170580486512 140171522140802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15223] ppid=15209 vsize=27314120 memory=280597998280064 CPUtime=0 cores=0-7
/proc/15212/task/15223/stat : 15223 (java) S 15209 15209 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419718860 27969658880 31290 33554432000 4194304 4196468 140733445236224 140169411814432 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15224] ppid=15209 vsize=27314120 memory=280597998284672 CPUtime=0 cores=0-7
/proc/15212/task/15224/stat : 15224 (java) S 15209 15209 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419718861 27969658880 31290 33554432000 4194304 4196468 140733445236224 140169277592432 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15225] ppid=15209 vsize=27314120 memory=280597998289280 CPUtime=0 cores=0-7
/proc/15212/task/15225/stat : 15225 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 31290 33554432000 4194304 4196468 140733445236224 140168903087952 140171522148251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15226] ppid=15209 vsize=27314120 memory=280597998293888 CPUtime=0.01 cores=0-7
/proc/15212/task/15226/stat : 15226 (java) S 15209 15209 11928 0 -1 1077944384 413 0 0 0 1 0 0 0 20 0 20 0 419718863 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170579434352 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15227] ppid=15209 vsize=27314120 memory=280597998298496 CPUtime=0.01 cores=0-7
/proc/15212/task/15227/stat : 15227 (java) S 15209 15209 11928 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 419718863 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170578381552 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15228] ppid=15209 vsize=27314120 memory=280597998303104 CPUtime=0.01 cores=0-7
/proc/15212/task/15228/stat : 15228 (java) S 15209 15209 11928 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 419718863 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170577328752 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15229] ppid=15209 vsize=27314120 memory=280597998307712 CPUtime=0.07 cores=0-7
/proc/15212/task/15229/stat : 15229 (java) S 15209 15209 11928 0 -1 1077944384 616 0 0 0 7 0 0 0 20 0 20 0 419718863 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170576275952 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15230] ppid=15209 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15230/stat : 15230 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27969658880 31290 33554432000 4194304 4196468 140733445236224 140168405183072 140171522139861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15231] ppid=15209 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15212/task/15231/stat : 15231 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718864 27969658880 31290 33554432000 4194304 4196468 140733445236224 140170575223344 140171522140802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126552 KiB

[startup+0.700908 s]
/proc/loadavg: 7.65 7.62 7.58 2/212 15231
/proc/meminfo: memFree=31356280/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419718855 115843072 348 33554432000 4194304 5098028 140733701668480 140733701665736 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 348 296 221 0 87 0
[pid=15212] ppid=15209 vsize=27320392 memory=162728 CPUtime=0.99 cores=0-7
/proc/15212/stat : 15212 (java) S 15209 15209 11928 0 -1 1077944320 20286 0 0 0 91 8 0 0 20 0 20 0 419718856 27976081408 40682 33554432000 4194304 4196468 140733445236224 140733445218768 140171522129655 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
/proc/15212/statm: 6830098 40682 3181 1 0 6791447 0
[pid=15212/tid=15213] ppid=15209 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/15212/task/15213/stat : 15213 (java) R 15209 15209 11928 0 -1 4202560 16968 0 0 0 61 6 0 0 20 0 20 0 419718856 27976081408 40682 33554432000 4194304 4196468 140733445236224 140171493957152 140171522151581 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15214] ppid=15209 vsize=27320392 memory=140298999341952 CPUtime=0 cores=0-7
/proc/15212/task/15214/stat : 15214 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27976081408 40682 33554432000 4194304 4196468 140733445236224 140171526371984 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15215] ppid=15209 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15212/task/15215/stat : 15215 (java) S 15209 15209 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419718858 27976081408 40682 33554432000 4194304 4196468 140733445236224 140171359750672 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15216] ppid=15209 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/15212/task/15216/stat : 15216 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718858 27976081408 40682 33554432000 4194304 4196468 140733445236224 140170943080848 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0

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

[pid=15212/tid=15217] ppid=15209 vsize=27326612 memory=57 CPUtime=0.57 cores=0-7
/proc/15212/task/15217/stat : 15217 (java) S 15209 15209 11928 0 -1 1077944384 736 0 0 0 31 26 0 0 20 0 20 0 419718858 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170942028048 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15218] ppid=15209 vsize=27326612 memory=57 CPUtime=0.54 cores=0-7
/proc/15212/task/15218/stat : 15218 (java) S 15209 15209 11928 0 -1 1077944384 1027 0 0 0 31 23 0 0 20 0 20 0 419718858 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170940976272 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15219] ppid=15209 vsize=27326612 memory=5787477641288517003 CPUtime=0.56 cores=0-7
/proc/15212/task/15219/stat : 15219 (java) S 15209 15209 11928 0 -1 1077944384 775 0 0 0 32 24 0 0 20 0 20 0 419718858 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170939923472 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15220] ppid=15209 vsize=27326612 memory=3 CPUtime=0.57 cores=0-7
/proc/15212/task/15220/stat : 15220 (java) S 15209 15209 11928 0 -1 1077944384 656 0 0 0 32 25 0 0 20 0 20 0 419718858 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170938870672 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15221] ppid=15209 vsize=27326612 memory=0 CPUtime=0.57 cores=0-7
/proc/15212/task/15221/stat : 15221 (java) S 15209 15209 11928 0 -1 1077944384 679 0 0 0 32 25 0 0 20 0 20 0 419718858 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170937817872 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15222] ppid=15209 vsize=27326612 memory=0 CPUtime=0.03 cores=0-7
/proc/15212/task/15222/stat : 15222 (java) S 15209 15209 11928 0 -1 1077944384 716 0 0 0 3 0 0 0 20 0 20 0 419718860 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170580486512 140171522140802 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15223] ppid=15209 vsize=27326612 memory=1392 CPUtime=0 cores=0-7
/proc/15212/task/15223/stat : 15223 (java) S 15209 15209 11928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419718860 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140169411814496 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15224] ppid=15209 vsize=27326612 memory=6285856 CPUtime=0 cores=0-7
/proc/15212/task/15224/stat : 15224 (java) S 15209 15209 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419718861 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140169277592432 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15225] ppid=15209 vsize=27326612 memory=5860979083288865637 CPUtime=0 cores=0-7
/proc/15212/task/15225/stat : 15225 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718863 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140168903087952 140171522148251 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15226] ppid=15209 vsize=27326612 memory=0 CPUtime=3.11 cores=0-7
/proc/15212/task/15226/stat : 15226 (java) S 15209 15209 11928 0 -1 1077944384 11128 0 0 0 308 3 0 0 20 0 20 0 419718863 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170579434352 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15227] ppid=15209 vsize=27326612 memory=5787221558340901220 CPUtime=2.16 cores=0-7
/proc/15212/task/15227/stat : 15227 (java) S 15209 15209 11928 0 -1 1077944384 7594 0 0 0 215 1 0 0 20 0 20 0 419718863 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170578381552 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15228] ppid=15209 vsize=27326612 memory=0 CPUtime=4.66 cores=0-7
/proc/15212/task/15228/stat : 15228 (java) S 15209 15209 11928 0 -1 1077944384 14089 0 0 0 464 2 0 0 20 0 20 0 419718863 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170577328752 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15229] ppid=15209 vsize=27326612 memory=1416 CPUtime=0.91 cores=0-7
/proc/15212/task/15229/stat : 15229 (java) S 15209 15209 11928 0 -1 1077944384 5171 0 0 0 89 2 0 0 20 0 20 0 419718863 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170576275952 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15230] ppid=15209 vsize=27326612 memory=1556 CPUtime=0 cores=0-7
/proc/15212/task/15230/stat : 15230 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140168405183072 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15231] ppid=15209 vsize=27326612 memory=740 CPUtime=0.03 cores=0-7
/proc/15212/task/15231/stat : 15231 (java) S 15209 15209 11928 0 -1 1077944384 113 0 0 0 1 2 0 0 20 0 20 0 419718864 27982450688 1998616 33554432000 4194304 4196468 140733445236224 140170575223344 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
Current children cumulated CPU time: 120.46 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 7995856 KiB

[startup+108.801 s]
/proc/loadavg: 2.12 5.64 6.87 2/212 15237
/proc/meminfo: memFree=23499128/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419718855 115843072 348 33554432000 4194304 5098028 140733701668480 140733701665736 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 348 296 221 0 87 0
[pid=15212] ppid=15209 vsize=27326612 memory=7994960 CPUtime=125.39 cores=0-7
/proc/15212/stat : 15212 (java) S 15209 15209 11928 0 -1 1077944320 97663 0 0 0 12196 343 0 0 20 0 20 0 419718856 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140733445218768 140171522129655 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
/proc/15212/statm: 6831653 1998740 3288 1 0 6792983 0
[pid=15212/tid=15213] ppid=15209 vsize=27326612 memory=6791534058613427641 CPUtime=108.09 cores=0-7
/proc/15212/task/15213/stat : 15213 (java) R 15209 15209 11928 0 -1 4202560 38964 0 0 0 10683 126 0 0 20 0 20 0 419718856 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140171493966944 140171027950407 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15214] ppid=15209 vsize=27326612 memory=7994464 CPUtime=0.57 cores=0-7
/proc/15212/task/15214/stat : 15214 (java) S 15209 15209 11928 0 -1 1077944384 1034 0 0 0 31 26 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140171526371984 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15215] ppid=15209 vsize=27326612 memory=4004 CPUtime=0.58 cores=0-7
/proc/15212/task/15215/stat : 15215 (java) S 15209 15209 11928 0 -1 1077944384 1111 0 0 0 31 27 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140171359750672 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15216] ppid=15209 vsize=27326612 memory=2832 CPUtime=0.56 cores=0-7
/proc/15212/task/15216/stat : 15216 (java) S 15209 15209 11928 0 -1 1077944384 2198 0 0 0 33 23 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170943080848 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15217] ppid=15209 vsize=27326612 memory=1940 CPUtime=0.57 cores=0-7
/proc/15212/task/15217/stat : 15217 (java) S 15209 15209 11928 0 -1 1077944384 736 0 0 0 31 26 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170942028048 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15218] ppid=15209 vsize=27326612 memory=1416 CPUtime=0.54 cores=0-7
/proc/15212/task/15218/stat : 15218 (java) S 15209 15209 11928 0 -1 1077944384 1027 0 0 0 31 23 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170940976272 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15219] ppid=15209 vsize=27326612 memory=1556 CPUtime=0.56 cores=0-7
/proc/15212/task/15219/stat : 15219 (java) S 15209 15209 11928 0 -1 1077944384 775 0 0 0 32 24 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170939923472 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15220] ppid=15209 vsize=27326612 memory=740 CPUtime=0.57 cores=0-7
/proc/15212/task/15220/stat : 15220 (java) S 15209 15209 11928 0 -1 1077944384 656 0 0 0 32 25 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170938870672 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15221] ppid=15209 vsize=27326612 memory=19732 CPUtime=0.57 cores=0-7
/proc/15212/task/15221/stat : 15221 (java) S 15209 15209 11928 0 -1 1077944384 679 0 0 0 32 25 0 0 20 0 20 0 419718858 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170937817872 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15222] ppid=15209 vsize=27326612 memory=14068 CPUtime=0.03 cores=0-7
/proc/15212/task/15222/stat : 15222 (java) S 15209 15209 11928 0 -1 1077944384 723 0 0 0 3 0 0 0 20 0 20 0 419718860 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170580486512 140171522140802 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15223] ppid=15209 vsize=27326612 memory=2120 CPUtime=0 cores=0-7
/proc/15212/task/15223/stat : 15223 (java) S 15209 15209 11928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419718860 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140169411814496 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15224] ppid=15209 vsize=27326612 memory=504 CPUtime=0 cores=0-7
/proc/15212/task/15224/stat : 15224 (java) S 15209 15209 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419718861 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140169277592432 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15225] ppid=15209 vsize=27326612 memory=1560 CPUtime=0 cores=0-7
/proc/15212/task/15225/stat : 15225 (java) S 15209 15209 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419718863 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140168903087952 140171522148251 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15226] ppid=15209 vsize=27326612 memory=1160 CPUtime=3.62 cores=0-7
/proc/15212/task/15226/stat : 15226 (java) S 15209 15209 11928 0 -1 1077944384 13387 0 0 0 359 3 0 0 20 0 20 0 419718863 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170579434352 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15227] ppid=15209 vsize=27326612 memory=1720 CPUtime=2.7 cores=0-7
/proc/15212/task/15227/stat : 15227 (java) S 15209 15209 11928 0 -1 1077944384 10924 0 0 0 268 2 0 0 20 0 20 0 419718863 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170578381552 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15228] ppid=15209 vsize=27326612 memory=1096 CPUtime=5.24 cores=0-7
/proc/15212/task/15228/stat : 15228 (java) S 15209 15209 11928 0 -1 1077944384 16485 0 0 0 522 2 0 0 20 0 20 0 419718863 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170577328752 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15229] ppid=15209 vsize=27326612 memory=5964 CPUtime=1.01 cores=0-7
/proc/15212/task/15229/stat : 15229 (java) S 15209 15209 11928 0 -1 1077944384 7504 0 0 0 98 3 0 0 20 0 20 0 419718863 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170576275952 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15230] ppid=15209 vsize=27326612 memory=14012 CPUtime=0 cores=0-7
/proc/15212/task/15230/stat : 15230 (java) S 15209 15209 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419718863 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140168405183072 140171522139861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
[pid=15212/tid=15231] ppid=15209 vsize=27326612 memory=1052 CPUtime=0.03 cores=0-7
/proc/15212/task/15231/stat : 15231 (java) S 15209 15209 11928 0 -1 1077944384 113 0 0 0 1 2 0 0 20 0 20 0 419718864 27982450688 1998740 33554432000 4194304 4196468 140733445236224 140170575223344 140171522140802 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 13295616 140733445239531 140733445239958 140733445239958 140733445242831 0
Current children cumulated CPU time: 125.39 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 7996352 KiB

[startup+110.4 s]
/proc/loadavg: 2.12 5.64 6.87 5/212 15237
/proc/meminfo: memFree=23498292/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1472 CPUtime=128.69 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 582 100491 0 0 0 0 12517 352 20 0 1 0 419718855 115843072 368 33554432000 4194304 5098028 140733701668480 140733701665224 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 128.69 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+110.8 s]
/proc/loadavg: 2.12 5.64 6.87 5/212 15237
/proc/meminfo: memFree=23498292/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1472 CPUtime=128.69 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 582 100491 0 0 0 0 12517 352 20 0 1 0 419718855 115843072 368 33554432000 4194304 5098028 140733701668480 140733701665224 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 128.69 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+111.201 s]
/proc/loadavg: 1.95 5.55 6.83 4/220 15271
/proc/meminfo: memFree=31336476/32770624 swapFree=67004232/67108860
[pid=15209] ppid=15206 vsize=113128 memory=1472 CPUtime=128.69 cores=0-7
/proc/15209/stat : 15209 (scop.sh) S 15206 15209 11928 0 -1 4202496 582 100491 0 0 0 0 12517 352 20 0 1 0 419718855 115843072 368 33554432000 4194304 5098028 140733701668480 140733701665224 140562957320828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28000256 140733701669669 140733701669996 140733701669996 140733701672909 0
/proc/15209/statm: 28282 368 311 221 0 87 0
[pid=15238] ppid=15209 vsize=8283048 memory=135836 CPUtime=2.22 cores=0-7
/proc/15238/stat : 15238 (java) S 15209 15209 11928 0 -1 1077944320 21387 7584 0 0 185 10 19 8 20 0 22 0 419729861 8481841152 33959 33554432000 4194304 4196468 140732132239072 140732132221616 140161299783415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
/proc/15238/statm: 2070762 33959 3215 1 0 2032106 0
[pid=15238/tid=15239] ppid=15209 vsize=8283048 memory=14012 CPUtime=1.25 cores=0-7
/proc/15238/task/15239/stat : 15239 (java) R 15209 15209 11928 0 -1 4202560 17243 7584 0 0 90 8 19 8 20 0 22 0 419729862 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161271617216 140160772586879 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15240] ppid=15209 vsize=8283048 memory=19732 CPUtime=0.27 cores=0-7
/proc/15238/task/15240/stat : 15240 (java) S 15209 15209 11928 0 -1 1077944384 1 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161304025488 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15241] ppid=15209 vsize=8283048 memory=14068 CPUtime=0.27 cores=0-7
/proc/15238/task/15241/stat : 15241 (java) S 15209 15209 11928 0 -1 1077944384 1 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161104193808 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15242] ppid=15209 vsize=8283048 memory=4104 CPUtime=0.27 cores=0-7
/proc/15238/task/15242/stat : 15242 (java) S 15209 15209 11928 0 -1 1077944384 3 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161103141520 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15243] ppid=15209 vsize=8283048 memory=1804 CPUtime=0.27 cores=0-7
/proc/15238/task/15243/stat : 15243 (java) S 15209 15209 11928 0 -1 1077944384 2 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161102088720 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15244] ppid=15209 vsize=8283048 memory=916 CPUtime=0.27 cores=0-7
/proc/15238/task/15244/stat : 15244 (java) S 15209 15209 11928 0 -1 1077944384 2 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161101036432 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15245] ppid=15209 vsize=8283048 memory=4472 CPUtime=0.27 cores=0-7
/proc/15238/task/15245/stat : 15245 (java) S 15209 15209 11928 0 -1 1077944384 2 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161099983632 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15246] ppid=15209 vsize=8283048 memory=1412 CPUtime=0.27 cores=0-7
/proc/15238/task/15246/stat : 15246 (java) S 15209 15209 11928 0 -1 1077944384 1 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161098931344 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15247] ppid=15209 vsize=8283048 memory=3188 CPUtime=0.27 cores=0-7
/proc/15238/task/15247/stat : 15247 (java) S 15209 15209 11928 0 -1 1077944384 2 7584 0 0 0 0 19 8 20 0 22 0 419729864 8481841152 33959 33554432000 4194304 4196468 140732132239072 140161097878544 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15248] ppid=15209 vsize=8283048 memory=1392 CPUtime=0.27 cores=0-7
/proc/15238/task/15248/stat : 15248 (java) S 15209 15209 11928 0 -1 1077944384 5 7584 0 0 0 0 19 8 20 0 22 0 419729865 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160393287792 140161299794562 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15249] ppid=15209 vsize=8283048 memory=7994908 CPUtime=0.27 cores=0-7
/proc/15238/task/15249/stat : 15249 (java) S 15209 15209 11928 0 -1 1077944384 13 7584 0 0 0 0 19 8 20 0 22 0 419729866 8481841152 33959 33554432000 4194304 4196468 140732132239072 140159882355488 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15250] ppid=15209 vsize=8283048 memory=1756 CPUtime=0.27 cores=0-7
/proc/15238/task/15250/stat : 15250 (java) S 15209 15209 11928 0 -1 1077944384 1 7584 0 0 0 0 19 8 20 0 22 0 419729866 8481841152 33959 33554432000 4194304 4196468 140732132239072 140159613920368 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15251] ppid=15209 vsize=8283048 memory=2120 CPUtime=0.27 cores=0-7
/proc/15238/task/15251/stat : 15251 (java) S 15209 15209 11928 0 -1 1077944384 1 7584 0 0 0 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140159239411792 140161299802011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15252] ppid=15209 vsize=8283048 memory=504 CPUtime=0.44 cores=0-7
/proc/15238/task/15252/stat : 15252 (java) R 15209 15209 11928 0 -1 4202560 751 7584 0 0 17 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160392223184 140161285499658 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15253] ppid=15209 vsize=8283048 memory=1560 CPUtime=0.45 cores=0-7
/proc/15238/task/15253/stat : 15253 (java) R 15209 15209 11928 0 -1 4202560 447 7584 0 0 18 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160391182832 140161292768457 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15254] ppid=15209 vsize=8283048 memory=924 CPUtime=0.45 cores=0-7
/proc/15238/task/15254/stat : 15254 (java) R 15209 15209 11928 0 -1 4202560 610 7584 0 0 18 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160390130544 140161279132974 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15255] ppid=15209 vsize=8283048 memory=1692 CPUtime=0.62 cores=0-7
/proc/15238/task/15255/stat : 15255 (java) S 15209 15209 11928 0 -1 1077944384 865 7584 0 0 35 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160389077744 140161299794562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15256] ppid=15209 vsize=8283048 memory=792 CPUtime=0.27 cores=0-7
/proc/15238/task/15256/stat : 15256 (java) S 15209 15209 11928 0 -1 1077944384 3 7584 0 0 0 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140158741506400 140161299793621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15257] ppid=15209 vsize=8283048 memory=1448 CPUtime=0.27 cores=0-7
/proc/15238/task/15257/stat : 15257 (java) S 15209 15209 11928 0 -1 1077944384 1 7584 0 0 0 0 19 8 20 0 22 0 419729869 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160388024624 140161299794562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15259] ppid=15209 vsize=8283048 memory=1964 CPUtime=0.27 cores=0-7
/proc/15238/task/15259/stat : 15259 (java) S 15209 15209 11928 0 -1 1077944384 39 7584 0 0 0 0 19 8 20 0 22 0 419729943 8481841152 33959 33554432000 4194304 4196468 140732132239072 140160379990544 140161299794562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
[pid=15238/tid=15263] ppid=15209 vsize=8283048 memory=2456 CPUtime=0.27 cores=0-7
/proc/15238/task/15263/stat : 15263 (java) S 15209 15209 11928 0 -1 1077944384 13 7584 0 0 0 0 19 8 20 0 22 0 419729945 8481841152 33959 33554432000 4194304 4196468 140732132239072 140157801981488 140161299794562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23244800 140732132246519 140732132246678 140732132246678 140732132249551 0
Current children cumulated CPU time: 130.91 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137308 KiB

Child status: 0
Real time (s): 111.289
CPU time (s): 131.276
CPU user time (s): 127.532
CPU system time (s): 3.74387
CPU usage (%): 117.959
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7998332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.532
system time used= 3.74387
maximum resident set size= 7997240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20908
involuntary context switches= 170


# summary of solver processes directly reported to runsolver:
#   pid: 15209
#   total CPU time (s): 131.276
#   total CPU user time (s): 127.532
#   total CPU system time (s): 3.74387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.675697 second user time and 1.17192 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 06:32:16
IDJOB=4392282
IDBENCH=134028
IDSOLVER=2838
FILE ID=node148/4392282-1568435572
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 61264 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-020-table.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 /tmp/evaluation-result-4392282-1568435572/watcher-4392282-1568435572 -o /tmp/evaluation-result-4392282-1568435572/solver-4392282-1568435572 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --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-4392282-1568435572.xml

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

MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=1055917536

node148.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.13
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.13
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.13
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.13
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:        31494376 kB
MemAvailable:   31909412 kB
Buffers:           96208 kB
Cached:           614548 kB
SwapCached:         3812 kB
Active:           456748 kB
Inactive:         261512 kB
Active(anon):       4552 kB
Inactive(anon):    43744 kB
Active(file):     452196 kB
Inactive(file):   217768 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             67408 kB
Writeback:             0 kB
AnonPages:        177020 kB
Mapped:            44892 kB
Shmem:             32352 kB
Slab:             150912 kB
SReclaimable:     121816 kB
SUnreclaim:        29096 kB
KernelStack:        3904 kB
PageTables:         5440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61244 MiB
End job on node148 at 2019-09-14 06:34:07