Trace number 4392582

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 126.395 106.927

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15343-serial-file.bin HOME/instance-4392582-1568435689.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 06:34:13 CEST 2019
0.66/0.56	c PID: 15346
0.66/0.56	c IP: 172.20.3.148
0.66/0.56	c HOST: node148.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.90/5.19	c (4,4) Parsing End
7.00/5.20	c (4,4) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
7.00/5.20	c (4,4) Heap : 3446 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
7.00/5.20	c (4,4) Constraint Name Generate Begin
7.00/5.21	c (4,4) Ctr:HOME/instance-4392582-1568435689.xml,ExtensionSupport:Var
7.00/5.21	c (4,4) Constraint Name Generate End
7.00/5.21	c (4,4) Heap : 3446 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
7.00/5.21	c (4,4) CSP to CSPinCNF Begin
13.05/8.07	c (7,7) translated 7 (10%) constraints
24.62/17.66	c (17,16) translated 13 (20%) constraints
40.86/31.10	c (30,30) translated 20 (30%) constraints
45.01/34.45	c (33,33) translated 26 (40%) constraints
45.73/34.84	c (34,33) translated 32 (50%) constraints
45.73/34.87	c (34,33) translated 39 (60%) constraints
47.35/35.88	c (35,34) translated 45 (70%) constraints
63.84/50.08	c (49,48) translated 52 (80%) constraints
73.38/59.38	c (58,58) translated 58 (90%) constraints
117.07/102.81	c (102,101) translated 64 (100%) constraints
117.07/102.84	c (102,101) ===========================================
117.07/102.87	c (102,101) Hybrid: #OE=13478, #LE=0
117.07/102.87	c (102,101) Hybrid
117.07/102.87	c (102,101) ===========================================
117.51/103.03	c (102,101) translated 5613 (10%) constraints
117.84/103.15	c (102,101) translated 11226 (20%) constraints
117.96/103.26	c (102,102) translated 16839 (30%) constraints
118.06/103.36	c (102,102) translated 22452 (40%) constraints
118.16/103.47	c (102,102) translated 28065 (50%) constraints
118.26/103.57	c (103,102) translated 33678 (60%) constraints
118.38/103.68	c (103,102) translated 39291 (70%) constraints
118.51/103.79	c (103,102) translated 44904 (80%) constraints
118.81/103.90	c (103,102) translated 50517 (90%) constraints
118.81/104.00	c (103,102) translated 56130 (100%) constraints
118.81/104.00	c (103,102) CSP to CSPinCNF End
118.92/104.01	c (103,102) CSP: 0 int (0 aux), 13478 bool (12454 aux), 56130 ctr, max domain size 2
118.92/104.01	c (103,102) Heap : 6127 MiB used (max 22307 MiB), NonHeap : 28 MiB used (max 0 MiB)
118.92/104.01	c (103,102) CSPinCNF Propagation Begin
120.57/104.65	c (104,103) 2166 values, 9919 unsatisfiable literals, and 10121 valid clauses are removed
120.57/104.65	c (104,103) CSPinCNF Propagation End
120.57/104.66	c (104,103) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
120.57/104.66	c (104,103) Heap : 6409 MiB used (max 22307 MiB), NonHeap : 29 MiB used (max 0 MiB)
120.57/104.68	c (104,103) Hybrid: #OE=13478, #LE=0
120.57/104.68	c (104,103) Simplify CSPinCNF Begin
120.97/104.80	c (104,103) Simplify CSPinCNF End
121.30/104.80	c (104,103) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
121.30/104.80	c (104,103) Heap : 6409 MiB used (max 22307 MiB), NonHeap : 29 MiB used (max 0 MiB)
121.30/104.80	c (104,103) Calculate Precise Domain Begin
121.30/104.80	c (104,103) 0 values are removed by re-calculation
121.30/104.80	c (104,103) Calculate Precise Domain End
121.30/104.80	c (104,103) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
121.30/104.80	c (104,103) Heap : 6409 MiB used (max 22307 MiB), NonHeap : 29 MiB used (max 0 MiB)
121.30/104.80	c (104,103) CSPinCNF to SatSolver Begin
122.08/105.06	c (104,103) 4601 (10 %) CSP clauses are encoded (0 SAT variables, 4600 SAT clauses)
122.49/105.15	c (104,103) 9202 (20 %) CSP clauses are encoded (0 SAT variables, 9201 SAT clauses)
122.85/105.22	c (104,103) 13803 (30 %) CSP clauses are encoded (0 SAT variables, 13802 SAT clauses)
122.85/105.27	c (104,104) 18404 (40 %) CSP clauses are encoded (0 SAT variables, 18403 SAT clauses)
123.20/105.30	c (104,104) 23005 (50 %) CSP clauses are encoded (0 SAT variables, 23004 SAT clauses)
123.20/105.34	c (104,104) 27606 (60 %) CSP clauses are encoded (0 SAT variables, 27605 SAT clauses)
123.20/105.37	c (104,104) 32207 (70 %) CSP clauses are encoded (0 SAT variables, 32206 SAT clauses)
123.31/105.41	c (104,104) 36808 (80 %) CSP clauses are encoded (0 SAT variables, 36807 SAT clauses)
123.31/105.45	c (104,104) 41409 (90 %) CSP clauses are encoded (0 SAT variables, 41408 SAT clauses)
123.31/105.48	c (104,104) 46009 (100 %) CSP clauses are encoded (0 SAT variables, 46008 SAT clauses)
123.31/105.48	c (104,104) CSPinCNF to SatSolver End
123.31/105.48	c (104,104) Heap : 6852 MiB used (max 22307 MiB), NonHeap : 31 MiB used (max 0 MiB)
123.31/105.48	c (104,104) 10983 bool, 46009 clause
123.31/105.48	c (104,104) Export Begin
123.63/105.63	c (105,104) Export to HOME/scop-15343-serial-file.bin
123.63/105.63	c (105,104) Export End
123.63/105.64	c (105,104) Export File Size: 0.21 MB
123.63/105.64	c (105,104) 4,4,103,104,104,104,104,STOP-AFTER(DIMACS)
123.63/105.64	c END-Prog: Sat Sep 14 06:35:58 CEST 2019
0.00/105.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15343-serial-file.bin
124.37/106.18	c (0,0) Read Serial File Begin
124.37/106.18	c (0,0) HOME/scop-15343-serial-file.bin
124.84/106.46	c (0,0) Read Serial File End
124.84/106.47	
124.84/106.47	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
124.84/106.47	(Solving Process)
124.84/106.47	
124.84/106.50	c BEGIN-Prog: Sat Sep 14 06:35:59 CEST 2019
124.84/106.50	c PID: 15374
124.84/106.50	c IP: 172.20.3.148
124.84/106.50	c HOST: node148.alineos.net
125.14/106.50	c (0,0) SatSolver.solve Begin
125.14/106.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392582-1568435689.xml-scop-15346.cnf
125.14/106.53	c (0,0) c
125.14/106.53	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)
125.14/106.53	c (0,0) c
125.14/106.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
125.14/106.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
125.14/106.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
125.14/106.53	c (0,0) c |                                                                                                       |
125.14/106.54	c (0,0) c |  Number of variables:         10983                                                                   |
125.14/106.54	c (0,0) c |  Number of clauses:           46009                                                                   |
125.14/106.54	c (0,0) c |  Parse time:                   0.02 s                                                                 |
125.14/106.54	c (0,0) c |                                                                                                       |
125.14/106.59	c (0,0) c |  Simplification time:          0.04 s                                                                 |
125.14/106.59	c (0,0) c |                                                                                                       |
125.14/106.59	c (0,0) c |  Generating clones                                                                                    |
125.35/106.62	c (0,0) c |  all clones generated. Memory =    59.38Mb.                                                           |
125.35/106.62	c (0,0) c ========================================================================================================|
125.35/106.62	c (0,0) c
125.35/106.62	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
125.35/106.62	c (0,0) c
125.35/106.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.62	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.35/106.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.62	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
125.35/106.62	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
125.35/106.62	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
125.35/106.62	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
125.35/106.62	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
125.35/106.62	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
125.35/106.62	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
125.35/106.62	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
125.35/106.62	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
125.35/106.62	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
125.35/106.62	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
125.35/106.62	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
125.35/106.62	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
125.35/106.62	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
125.35/106.62	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
125.35/106.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c real time : 0.125807 s
125.35/106.65	c (0,0) c cpu time  : 0.198943 s
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c | Conflicts     |            2482 |        260 |        208 |        382 |        319 |        318 |        297 |        342 |        356 |
125.35/106.65	c (0,0) c | Decisions     |            6412 |        698 |        640 |        945 |        868 |        804 |        762 |        846 |        849 |
125.35/106.65	c (0,0) c | Propagations  |          420550 |      42151 |      34713 |      54229 |      57876 |      59612 |      43515 |      59375 |      69079 |
125.35/106.65	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.35/106.65	c (0,0) c | Restarts      |              12 |          2 |          1 |          1 |          2 |          2 |          2 |          1 |          1 |
125.35/106.65	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | PropBinClauses|          432870 |      43187 |      35673 |      58175 |      58977 |      60239 |      44636 |      61181 |      70802 |
125.35/106.65	c (0,0) c | PropPreBlocker|         1429200 |     140558 |     118192 |     189612 |     203785 |     201042 |     147800 |     195578 |     232633 |
125.35/106.65	c (0,0) c | PropNotBlocker|          642325 |      68056 |      56506 |      85926 |      88128 |      87726 |      70903 |      87087 |      97993 |
125.35/106.65	c (0,0) c | LitFullScans  |         3185446 |     317183 |     255992 |     426837 |     451533 |     433387 |     330764 |     434386 |     535364 |
125.35/106.65	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | DecisionLevel0|              88 |         19 |          5 |          7 |         24 |         21 |          5 |          4 |          3 |
125.35/106.65	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
125.35/106.65	c (0,0) c | Avg_Trail     |                 |       1686 |       1344 |       1633 |       2125 |       1596 |       1343 |       1734 |       1815 |
125.35/106.65	c (0,0) c | Avg_DL        |                 |         15 |         16 |         17 |         13 |         13 |         11 |         16 |         18 |
125.35/106.65	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c | Exported      |             593 |         70 |         59 |         62 |         84 |         83 |         94 |         60 |         81 |
125.35/106.65	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c | Unaries       |                 |         17 |          4 |          6 |         22 |         19 |          3 |          3 |          2 |
125.35/106.65	c (0,0) c | Binaries      |                 |         36 |         28 |         32 |         45 |         48 |         41 |         29 |         35 |
125.35/106.65	c (0,0) c | Glues         |                 |         70 |         59 |         62 |         84 |         83 |         94 |         60 |         81 |
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c | Orig_Seen     |            11 % |       2682 |       1961 |       2992 |       3031 |       2947 |       2869 |       3084 |       3578 |
125.35/106.65	c (0,0) c | Diff Orig seen|                 | -      310 | -     1031 |      X     |         39 | -       45 | -      123 |         92 |        586 |
125.35/106.65	c (0,0) c | Hamming       |             1 % |        389 |        574 |      X     |        110 |         57 |        338 |         25 |         16 |
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	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%|
125.35/106.65	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%|
125.35/106.65	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%|
125.35/106.65	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%|
125.35/106.65	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
125.35/106.65	c (0,0) c | PropagationTim|                 |    0.0  89%|    0.0  92%|    0.0  86%|    0.0  89%|    0.0  88%|    0.0  90%|    0.0  89%|    0.0  86%|
125.35/106.65	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   5%|    0.0   8%|
125.35/106.65	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%|
125.35/106.65	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%|
125.35/106.65	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%|
125.35/106.65	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%|
125.35/106.65	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c
125.35/106.65	c (0,0) c Threads : 8
125.35/106.65	c (0,0) c Winner : 2
125.35/106.65	c (0,0) c Conflicts_0 : 260
125.35/106.65	c (0,0) c Conflicts_1 : 208
125.35/106.65	c (0,0) c Conflicts_2 : 382
125.35/106.65	c (0,0) c Conflicts_3 : 319
125.35/106.65	c (0,0) c Conflicts_4 : 318
125.35/106.65	c (0,0) c Conflicts_5 : 297
125.35/106.65	c (0,0) c Conflicts_6 : 342
125.35/106.65	c (0,0) c Conflicts_7 : 356
125.35/106.65	c (0,0) c Conflicts_total : 2482
125.35/106.65	c (0,0) c Conflicts_winner : 382
125.35/106.65	c (0,0) c Decisions_0 : 698
125.35/106.65	c (0,0) c Decisions_1 : 640
125.35/106.65	c (0,0) c Decisions_2 : 945
125.35/106.65	c (0,0) c Decisions_3 : 868
125.35/106.65	c (0,0) c Decisions_4 : 804
125.35/106.65	c (0,0) c Decisions_5 : 762
125.35/106.65	c (0,0) c Decisions_6 : 846
125.35/106.65	c (0,0) c Decisions_7 : 849
125.35/106.65	c (0,0) c Decisions_total : 6412
125.35/106.65	c (0,0) c Decisions_winner : 945
125.35/106.65	c (0,0) c Propagations_0 : 42151
125.35/106.65	c (0,0) c Propagations_1 : 34713
125.35/106.65	c (0,0) c Propagations_2 : 54229
125.35/106.65	c (0,0) c Propagations_3 : 57876
125.35/106.65	c (0,0) c Propagations_4 : 59612
125.35/106.65	c (0,0) c Propagations_5 : 43515
125.35/106.65	c (0,0) c Propagations_6 : 59375
125.35/106.65	c (0,0) c Propagations_7 : 69079
125.35/106.65	c (0,0) c Propagations_total : 420550
125.35/106.65	c (0,0) c Propagations_winner : 54229
125.35/106.65	c (0,0) c ReduceDBs_0 : 0
125.35/106.65	c (0,0) c ReduceDBs_1 : 0
125.35/106.65	c (0,0) c ReduceDBs_2 : 0
125.35/106.65	c (0,0) c ReduceDBs_3 : 0
125.35/106.65	c (0,0) c ReduceDBs_4 : 0
125.35/106.65	c (0,0) c ReduceDBs_5 : 0
125.35/106.65	c (0,0) c ReduceDBs_6 : 0
125.35/106.65	c (0,0) c ReduceDBs_7 : 0
125.35/106.65	c (0,0) c ReduceDBs_total : 0
125.35/106.65	c (0,0) c ReduceDBs_winner : 0
125.35/106.65	c (0,0) c SimpDBs_0 : 1
125.35/106.65	c (0,0) c SimpDBs_1 : 1
125.35/106.65	c (0,0) c SimpDBs_2 : 1
125.35/106.65	c (0,0) c SimpDBs_3 : 1
125.35/106.65	c (0,0) c SimpDBs_4 : 1
125.35/106.65	c (0,0) c SimpDBs_5 : 1
125.35/106.65	c (0,0) c SimpDBs_6 : 1
125.35/106.65	c (0,0) c SimpDBs_7 : 1
125.35/106.65	c (0,0) c SimpDBs_total : 8
125.35/106.65	c (0,0) c SimpDBs_winner : 1
125.35/106.65	c (0,0) c Restarts_0 : 2
125.35/106.65	c (0,0) c Restarts_1 : 1
125.35/106.65	c (0,0) c Restarts_2 : 1
125.35/106.65	c (0,0) c Restarts_3 : 2
125.35/106.65	c (0,0) c Restarts_4 : 2
125.35/106.66	c (0,0) c Restarts_5 : 2
125.35/106.66	c (0,0) c Restarts_6 : 1
125.35/106.66	c (0,0) c Restarts_7 : 1
125.35/106.66	c (0,0) c Restarts_total : 12
125.35/106.66	c (0,0) c Restarts_winner : 1
125.35/106.66	c (0,0) c ForcedImports_0 : 0
125.35/106.66	c (0,0) c ForcedImports_1 : 0
125.35/106.66	c (0,0) c ForcedImports_2 : 0
125.35/106.66	c (0,0) c ForcedImports_3 : 0
125.35/106.66	c (0,0) c ForcedImports_4 : 0
125.35/106.66	c (0,0) c ForcedImports_5 : 0
125.35/106.66	c (0,0) c ForcedImports_6 : 0
125.35/106.66	c (0,0) c ForcedImports_7 : 0
125.35/106.66	c (0,0) c ForcedImports_total : 0
125.35/106.66	c (0,0) c ForcedImports_winner : 0
125.35/106.66	c (0,0) c PropsBinClauses_0 : 43187
125.35/106.66	c (0,0) c PropsBinClauses_1 : 35673
125.35/106.66	c (0,0) c PropsBinClauses_2 : 58175
125.35/106.66	c (0,0) c PropsBinClauses_3 : 58977
125.35/106.66	c (0,0) c PropsBinClauses_4 : 60239
125.35/106.66	c (0,0) c PropsBinClauses_5 : 44636
125.35/106.66	c (0,0) c PropsBinClauses_6 : 61181
125.35/106.66	c (0,0) c PropsBinClauses_7 : 70802
125.35/106.66	c (0,0) c PropsBinClauses_total : 432870
125.35/106.66	c (0,0) c PropsBinClauses_winner : 58175
125.35/106.66	c (0,0) c PropsPreBlocker_0 : 140558
125.35/106.66	c (0,0) c PropsPreBlocker_1 : 118192
125.35/106.66	c (0,0) c PropsPreBlocker_2 : 189612
125.35/106.66	c (0,0) c PropsPreBlocker_3 : 203785
125.35/106.66	c (0,0) c PropsPreBlocker_4 : 201042
125.35/106.66	c (0,0) c PropsPreBlocker_5 : 147800
125.35/106.66	c (0,0) c PropsPreBlocker_6 : 195578
125.35/106.66	c (0,0) c PropsPreBlocker_7 : 232633
125.35/106.66	c (0,0) c PropsPreBlocker_total : 1429200
125.35/106.66	c (0,0) c PropsPreBlocker_winner : 189612
125.35/106.66	c (0,0) c PropsNotBlocker_0 : 68056
125.35/106.66	c (0,0) c PropsNotBlocker_1 : 56506
125.35/106.66	c (0,0) c PropsNotBlocker_2 : 85926
125.35/106.66	c (0,0) c PropsNotBlocker_3 : 88128
125.35/106.66	c (0,0) c PropsNotBlocker_4 : 87726
125.35/106.66	c (0,0) c PropsNotBlocker_5 : 70903
125.35/106.66	c (0,0) c PropsNotBlocker_6 : 87087
125.35/106.66	c (0,0) c PropsNotBlocker_7 : 97993
125.35/106.66	c (0,0) c PropsNotBlocker_total : 642325
125.35/106.66	c (0,0) c PropsNotBlocker_winner : 85926
125.35/106.66	c (0,0) c PropsLitFullScans_0 : 317183
125.35/106.66	c (0,0) c PropsLitFullScans_1 : 255992
125.35/106.66	c (0,0) c PropsLitFullScans_2 : 426837
125.35/106.66	c (0,0) c PropsLitFullScans_3 : 451533
125.35/106.66	c (0,0) c PropsLitFullScans_4 : 433387
125.35/106.66	c (0,0) c PropsLitFullScans_5 : 330764
125.35/106.66	c (0,0) c PropsLitFullScans_6 : 434386
125.35/106.66	c (0,0) c PropsLitFullScans_7 : 535364
125.35/106.66	c (0,0) c PropsLitFullScans_total : 3185446
125.35/106.66	c (0,0) c PropsLitFullScans_winner : 426837
125.35/106.66	c (0,0) c LitScanFractions_0 : 0
125.35/106.66	c (0,0) c LitScanFractions_1 : 0
125.35/106.66	c (0,0) c LitScanFractions_2 : 0
125.35/106.66	c (0,0) c LitScanFractions_3 : 0
125.35/106.66	c (0,0) c LitScanFractions_4 : 0
125.35/106.66	c (0,0) c LitScanFractions_5 : 0
125.35/106.66	c (0,0) c LitScanFractions_6 : 0
125.35/106.66	c (0,0) c LitScanFractions_7 : 0
125.35/106.66	c (0,0) c LitScanFractions_total : 0
125.35/106.66	c (0,0) c LitScanFractions_winner : 0
125.35/106.66	c (0,0) c DecisionLevel0_0 : 19
125.35/106.66	c (0,0) c DecisionLevel0_1 : 5
125.35/106.66	c (0,0) c DecisionLevel0_2 : 7
125.35/106.66	c (0,0) c DecisionLevel0_3 : 24
125.35/106.66	c (0,0) c DecisionLevel0_4 : 21
125.35/106.66	c (0,0) c DecisionLevel0_5 : 5
125.35/106.66	c (0,0) c DecisionLevel0_6 : 4
125.35/106.66	c (0,0) c DecisionLevel0_7 : 3
125.35/106.66	c (0,0) c DecisionLevel0_total : 88
125.35/106.66	c (0,0) c DecisionLevel0_winner : 7
125.35/106.66	c (0,0) c Periods_0 : 0
125.35/106.66	c (0,0) c Periods_1 : 0
125.35/106.66	c (0,0) c Periods_2 : 0
125.35/106.66	c (0,0) c Periods_3 : 0
125.35/106.66	c (0,0) c Periods_4 : 0
125.35/106.66	c (0,0) c Periods_5 : 0
125.35/106.66	c (0,0) c Periods_6 : 0
125.35/106.66	c (0,0) c Periods_7 : 0
125.35/106.66	c (0,0) c Periods_total : 0
125.35/106.66	c (0,0) c Periods_winner : 0
125.35/106.66	c (0,0) c Margin_0 : 20
125.35/106.66	c (0,0) c Margin_1 : 20
125.35/106.66	c (0,0) c Margin_2 : 20
125.35/106.66	c (0,0) c Margin_3 : 20
125.35/106.66	c (0,0) c Margin_4 : 20
125.35/106.66	c (0,0) c Margin_5 : 20
125.35/106.66	c (0,0) c Margin_6 : 20
125.35/106.66	c (0,0) c Margin_7 : 20
125.35/106.66	c (0,0) c Margin_total : 160
125.35/106.66	c (0,0) c Margin_winner : 20
125.35/106.66	c (0,0) c Exported_0 : 70
125.35/106.66	c (0,0) c Exported_1 : 59
125.35/106.66	c (0,0) c Exported_2 : 62
125.35/106.66	c (0,0) c Exported_3 : 84
125.35/106.66	c (0,0) c Exported_4 : 83
125.35/106.66	c (0,0) c Exported_5 : 94
125.35/106.66	c (0,0) c Exported_6 : 60
125.35/106.66	c (0,0) c Exported_7 : 81
125.35/106.66	c (0,0) c Exported_total : 593
125.35/106.66	c (0,0) c Exported_winner : 62
125.35/106.66	c (0,0) c Imported_0 : 0
125.35/106.66	c (0,0) c Imported_1 : 0
125.35/106.66	c (0,0) c Imported_2 : 0
125.35/106.66	c (0,0) c Imported_3 : 0
125.35/106.66	c (0,0) c Imported_4 : 0
125.35/106.66	c (0,0) c Imported_5 : 0
125.35/106.66	c (0,0) c Imported_6 : 0
125.35/106.66	c (0,0) c Imported_7 : 0
125.35/106.66	c (0,0) c Imported_total : 0
125.35/106.66	c (0,0) c Imported_winner : 0
125.35/106.66	c (0,0) c Good_0 : 0
125.35/106.66	c (0,0) c Good_1 : 0
125.35/106.66	c (0,0) c Good_2 : 0
125.35/106.66	c (0,0) c Good_3 : 0
125.35/106.66	c (0,0) c Good_4 : 0
125.35/106.66	c (0,0) c Good_5 : 0
125.35/106.66	c (0,0) c Good_6 : 0
125.35/106.66	c (0,0) c Good_7 : 0
125.35/106.66	c (0,0) c Good_total : 0
125.35/106.66	c (0,0) c Good_winner : 0
125.35/106.66	c (0,0) c Purge_0 : 0
125.35/106.66	c (0,0) c Purge_1 : 0
125.35/106.66	c (0,0) c Purge_2 : 0
125.35/106.66	c (0,0) c Purge_3 : 0
125.35/106.66	c (0,0) c Purge_4 : 0
125.35/106.66	c (0,0) c Purge_5 : 0
125.35/106.66	c (0,0) c Purge_6 : 0
125.35/106.66	c (0,0) c Purge_7 : 0
125.35/106.66	c (0,0) c Purge_total : 0
125.35/106.66	c (0,0) c Purge_winner : 0
125.35/106.66	c (0,0) c Promoted_0 : 0
125.35/106.66	c (0,0) c Promoted_1 : 0
125.35/106.66	c (0,0) c Promoted_2 : 0
125.35/106.66	c (0,0) c Promoted_3 : 0
125.35/106.66	c (0,0) c Promoted_4 : 0
125.35/106.66	c (0,0) c Promoted_5 : 0
125.35/106.66	c (0,0) c Promoted_6 : 0
125.35/106.66	c (0,0) c Promoted_7 : 0
125.35/106.66	c (0,0) c Promoted_total : 0
125.35/106.66	c (0,0) c Promoted_winner : 0
125.35/106.66	c (0,0) c Remove_Imp_0 : 0
125.35/106.66	c (0,0) c Remove_Imp_1 : 0
125.35/106.66	c (0,0) c Remove_Imp_2 : 0
125.35/106.66	c (0,0) c Remove_Imp_3 : 0
125.35/106.66	c (0,0) c Remove_Imp_4 : 0
125.35/106.66	c (0,0) c Remove_Imp_5 : 0
125.35/106.66	c (0,0) c Remove_Imp_6 : 0
125.35/106.66	c (0,0) c Remove_Imp_7 : 0
125.35/106.66	c (0,0) c Remove_Imp_total : 0
125.35/106.66	c (0,0) c Remove_Imp_winner : 0
125.35/106.66	c (0,0) c Blocked_Reuse_0 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_1 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_2 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_3 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_4 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_5 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_6 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_7 : 0
125.35/106.66	c (0,0) c Blocked_Reuse_total : 0
125.35/106.66	c (0,0) c Blocked_Reuse_winner : 0
125.35/106.66	c (0,0) c Unaries_0 : 17
125.35/106.66	c (0,0) c Unaries_1 : 4
125.35/106.66	c (0,0) c Unaries_2 : 6
125.35/106.66	c (0,0) c Unaries_3 : 22
125.35/106.66	c (0,0) c Unaries_4 : 19
125.35/106.66	c (0,0) c Unaries_5 : 3
125.35/106.66	c (0,0) c Unaries_6 : 3
125.35/106.66	c (0,0) c Unaries_7 : 2
125.35/106.66	c (0,0) c Unaries_total : 76
125.35/106.66	c (0,0) c Unaries_winner : 6
125.35/106.66	c (0,0) c Binaries_0 : 36
125.35/106.66	c (0,0) c Binaries_1 : 28
125.35/106.66	c (0,0) c Binaries_2 : 32
125.35/106.66	c (0,0) c Binaries_3 : 45
125.35/106.66	c (0,0) c Binaries_4 : 48
125.35/106.66	c (0,0) c Binaries_5 : 41
125.35/106.66	c (0,0) c Binaries_6 : 29
125.35/106.66	c (0,0) c Binaries_7 : 35
125.35/106.66	c (0,0) c Binaries_total : 294
125.35/106.66	c (0,0) c Binaries_winner : 32
125.35/106.66	c (0,0) c Glues_0 : 70
125.35/106.66	c (0,0) c Glues_1 : 59
125.35/106.66	c (0,0) c Glues_2 : 62
125.35/106.66	c (0,0) c Glues_3 : 84
125.35/106.66	c (0,0) c Glues_4 : 83
125.35/106.66	c (0,0) c Glues_5 : 94
125.35/106.66	c (0,0) c Glues_6 : 60
125.35/106.66	c (0,0) c Glues_7 : 81
125.35/106.66	c (0,0) c Glues_total : 593
125.35/106.66	c (0,0) c Glues_winner : 62
125.35/106.66	c (0,0) c RunningTime_0 : 0.027351
125.35/106.66	c (0,0) c RunningTime_1 : 0.025671
125.35/106.66	c (0,0) c RunningTime_2 : 0.025335
125.35/106.66	c (0,0) c RunningTime_3 : 0.031307
125.35/106.66	c (0,0) c RunningTime_4 : 0.026121
125.35/106.66	c (0,0) c RunningTime_5 : 0.026198
125.35/106.66	c (0,0) c RunningTime_6 : 0.030646
125.35/106.66	c (0,0) c RunningTime_7 : 0.028257
125.35/106.66	c (0,0) c RunningTime_total : 0.220886
125.35/106.66	c (0,0) c RunningTime_winner : 0.025335
125.35/106.66	c (0,0) c WaitingTime_0 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_1 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_2 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_3 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_4 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_5 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_6 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_7 : 0.000000
125.35/106.66	c (0,0) c WaitingTime_total : 0.000000
125.35/106.66	c (0,0) c WaitingTime_winner : 0.000000
125.35/106.66	c (0,0) c ExchangingTime_0 : 0.000038
125.35/106.66	c (0,0) c ExchangingTime_1 : 0.000035
125.35/106.66	c (0,0) c ExchangingTime_2 : 0.000057
125.35/106.66	c (0,0) c ExchangingTime_3 : 0.000045
125.35/106.66	c (0,0) c ExchangingTime_4 : 0.000052
125.35/106.66	c (0,0) c ExchangingTime_5 : 0.000043
125.35/106.66	c (0,0) c ExchangingTime_6 : 0.000053
125.35/106.66	c (0,0) c ExchangingTime_7 : 0.000050
125.35/106.66	c (0,0) c ExchangingTime_total : 0.000374
125.35/106.66	c (0,0) c ExchangingTime_winner : 0.000057
125.35/106.66	c (0,0) c PeriodProcTime_0 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_1 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_2 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_3 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_4 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_5 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_6 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_7 : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_total : 0.000000
125.35/106.66	c (0,0) c PeriodProcTime_winner : 0.000000
125.35/106.66	c (0,0) c SolvingTime_0 : 0.027389
125.35/106.66	c (0,0) c SolvingTime_1 : 0.025707
125.35/106.66	c (0,0) c SolvingTime_2 : 0.025392
125.35/106.66	c (0,0) c SolvingTime_3 : 0.031353
125.35/106.66	c (0,0) c SolvingTime_4 : 0.026173
125.35/106.66	c (0,0) c SolvingTime_5 : 0.026241
125.35/106.66	c (0,0) c SolvingTime_6 : 0.030699
125.35/106.66	c (0,0) c SolvingTime_7 : 0.028307
125.35/106.66	c (0,0) c SolvingTime_total : 0.221260
125.35/106.66	c (0,0) c SolvingTime_winner : 0.025392
125.35/106.66	c (0,0) c PropagationTime_0 : 0.024427
125.35/106.66	c (0,0) c PropagationTime_1 : 0.023595
125.35/106.66	c (0,0) c PropagationTime_2 : 0.021847
125.35/106.66	c (0,0) c PropagationTime_3 : 0.027853
125.35/106.66	c (0,0) c PropagationTime_4 : 0.022993
125.35/106.66	c (0,0) c PropagationTime_5 : 0.023517
125.35/106.66	c (0,0) c PropagationTime_6 : 0.027447
125.35/106.66	c (0,0) c PropagationTime_7 : 0.024405
125.35/106.66	c (0,0) c PropagationTime_total : 0.196085
125.35/106.66	c (0,0) c PropagationTime_winner : 0.021847
125.35/106.66	c (0,0) c AnalysisTime_0 : 0.001398
125.35/106.66	c (0,0) c AnalysisTime_1 : 0.000947
125.35/106.66	c (0,0) c AnalysisTime_2 : 0.001600
125.35/106.66	c (0,0) c AnalysisTime_3 : 0.001726
125.35/106.66	c (0,0) c AnalysisTime_4 : 0.001380
125.35/106.66	c (0,0) c AnalysisTime_5 : 0.001389
125.35/106.66	c (0,0) c AnalysisTime_6 : 0.001620
125.35/106.66	c (0,0) c AnalysisTime_7 : 0.002240
125.35/106.66	c (0,0) c AnalysisTime_total : 0.012300
125.35/106.66	c (0,0) c AnalysisTime_winner : 0.001600
125.35/106.66	c (0,0) c ReductionTime_0 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_1 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_2 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_3 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_4 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_5 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_6 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_7 : 0.000000
125.35/106.66	c (0,0) c ReductionTime_total : 0.000000
125.35/106.66	c (0,0) c ReductionTime_winner : 0.000000
125.35/106.66	c (0,0) c SimplifyTime_0 : 0.000000
125.35/106.66	c (0,0) c SimplifyTime_1 : 0.000000
125.35/106.66	c (0,0) c SimplifyTime_2 : 0.000000
125.35/106.66	c (0,0) c SimplifyTime_3 : 0.000001
125.35/106.66	c (0,0) c SimplifyTime_4 : 0.000001
125.35/106.66	c (0,0) c SimplifyTime_5 : 0.000000
125.35/106.66	c (0,0) c SimplifyTime_6 : 0.000001
125.35/106.66	c (0,0) c SimplifyTime_7 : 0.000000
125.35/106.66	c (0,0) c SimplifyTime_total : 0.000003
125.35/106.66	c (0,0) c SimplifyTime_winner : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_0 : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_1 : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_2 : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_3 : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_4 : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_5 : 0.000000
125.35/106.66	c (0,0) c UsedRateTime_6 : 0.000000
125.35/106.67	c (0,0) c UsedRateTime_7 : 0.000000
125.35/106.67	c (0,0) c UsedRateTime_total : 0.000000
125.35/106.67	c (0,0) c UsedRateTime_winner : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_0 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_1 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_2 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_3 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_4 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_5 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_6 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_7 : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_total : 0.000000
125.35/106.67	c (0,0) c OverlapRateTime_winner : 0.000000
125.35/106.67	c (0,0) c
125.35/106.67	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
125.35/106.67	c (0,0) c
125.35/106.67	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.67	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.35/106.67	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.67	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
125.35/106.67	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
125.35/106.67	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
125.35/106.67	c (0,0) c | Initial random_seed   | 1247932080 | 1996776068 |  874872016 | 1561407307 | 1394313499 | 1755185414 |  901705271 | 1565919329 |
125.35/106.67	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
125.35/106.67	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
125.35/106.67	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
125.35/106.67	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
125.35/106.67	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
125.35/106.67	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
125.35/106.67	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
125.35/106.67	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
125.35/106.67	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
125.35/106.67	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
125.35/106.67	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
125.35/106.67	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.35/106.67	c (0,0) 
125.35/106.67	c (0,0) s SATISFIABLE
125.35/106.70	c (0,0) SatSolver.solve End
125.35/106.70	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
125.35/106.70	c (0,0) Show results Begin
125.97/106.88	c (0,0) x[0][0] = 0
125.97/106.88	c (0,0) x[0][1] = 0
125.97/106.88	c (0,0) x[0][2] = 0
125.97/106.88	c (0,0) x[0][3] = 0
125.97/106.88	c (0,0) x[0][4] = 0
125.97/106.88	c (0,0) x[0][5] = 0
125.97/106.88	c (0,0) x[0][6] = 0
125.97/106.88	c (0,0) x[0][7] = 0
125.97/106.88	c (0,0) x[0][8] = 0
125.97/106.88	c (0,0) x[0][9] = 0
125.97/106.88	c (0,0) x[0][10] = 0
125.97/106.88	c (0,0) x[0][11] = 0
125.97/106.88	c (0,0) x[0][12] = 0
125.97/106.88	c (0,0) x[0][13] = 0
125.97/106.88	c (0,0) x[0][14] = 0
125.97/106.88	c (0,0) x[0][15] = 0
125.97/106.88	c (0,0) x[0][16] = 0
125.97/106.88	c (0,0) x[0][17] = 0
125.97/106.88	c (0,0) x[0][18] = 0
125.97/106.88	c (0,0) x[0][19] = 0
125.97/106.88	c (0,0) x[0][20] = 0
125.97/106.88	c (0,0) x[0][21] = 1
125.97/106.88	c (0,0) x[0][22] = 1
125.97/106.88	c (0,0) x[0][23] = 1
125.97/106.88	c (0,0) x[0][24] = 1
125.97/106.88	c (0,0) x[0][25] = 1
125.97/106.88	c (0,0) x[0][26] = 0
125.97/106.88	c (0,0) x[0][27] = 0
125.97/106.88	c (0,0) x[0][28] = 0
125.97/106.88	c (0,0) x[0][29] = 0
125.97/106.88	c (0,0) x[0][30] = 0
125.97/106.88	c (0,0) x[0][31] = 0
125.97/106.88	c (0,0) x[1][0] = 0
125.97/106.88	c (0,0) x[1][1] = 0
125.97/106.88	c (0,0) x[1][2] = 0
125.97/106.88	c (0,0) x[1][3] = 0
125.97/106.88	c (0,0) x[1][4] = 0
125.97/106.88	c (0,0) x[1][5] = 0
125.97/106.88	c (0,0) x[1][6] = 0
125.97/106.88	c (0,0) x[1][7] = 0
125.97/106.88	c (0,0) x[1][8] = 0
125.97/106.88	c (0,0) x[1][9] = 0
125.97/106.88	c (0,0) x[1][10] = 0
125.97/106.88	c (0,0) x[1][11] = 0
125.97/106.88	c (0,0) x[1][12] = 0
125.97/106.88	c (0,0) x[1][13] = 0
125.97/106.88	c (0,0) x[1][14] = 0
125.97/106.88	c (0,0) x[1][15] = 0
125.97/106.88	c (0,0) x[1][16] = 0
125.97/106.88	c (0,0) x[1][17] = 0
125.97/106.88	c (0,0) x[1][18] = 0
125.97/106.88	c (0,0) x[1][19] = 1
125.97/106.88	c (0,0) x[1][20] = 1
125.97/106.88	c (0,0) x[1][21] = 1
125.97/106.88	c (0,0) x[1][22] = 0
125.97/106.88	c (0,0) x[1][23] = 0
125.97/106.88	c (0,0) x[1][24] = 0
125.97/106.88	c (0,0) x[1][25] = 1
125.97/106.88	c (0,0) x[1][26] = 0
125.97/106.88	c (0,0) x[1][27] = 0
125.97/106.88	c (0,0) x[1][28] = 0
125.97/106.88	c (0,0) x[1][29] = 0
125.97/106.88	c (0,0) x[1][30] = 0
125.97/106.88	c (0,0) x[1][31] = 0
125.97/106.88	c (0,0) x[2][0] = 0
125.97/106.88	c (0,0) x[2][1] = 0
125.97/106.88	c (0,0) x[2][2] = 0
125.97/106.88	c (0,0) x[2][3] = 0
125.97/106.88	c (0,0) x[2][4] = 0
125.97/106.88	c (0,0) x[2][5] = 0
125.97/106.88	c (0,0) x[2][6] = 0
125.97/106.88	c (0,0) x[2][7] = 0
125.97/106.88	c (0,0) x[2][8] = 0
125.97/106.88	c (0,0) x[2][9] = 0
125.97/106.88	c (0,0) x[2][10] = 0
125.97/106.88	c (0,0) x[2][11] = 0
125.97/106.88	c (0,0) x[2][12] = 0
125.97/106.88	c (0,0) x[2][13] = 0
125.97/106.88	c (0,0) x[2][14] = 0
125.97/106.88	c (0,0) x[2][15] = 1
125.97/106.88	c (0,0) x[2][16] = 1
125.97/106.88	c (0,0) x[2][17] = 1
125.97/106.88	c (0,0) x[2][18] = 1
125.97/106.88	c (0,0) x[2][19] = 1
125.97/106.88	c (0,0) x[2][20] = 0
125.97/106.88	c (0,0) x[2][21] = 0
125.97/106.89	c (0,0) x[2][22] = 0
125.97/106.89	c (0,0) x[2][23] = 1
125.97/106.89	c (0,0) x[2][24] = 0
125.97/106.89	c (0,0) x[2][25] = 1
125.97/106.89	c (0,0) x[2][26] = 0
125.97/106.89	c (0,0) x[2][27] = 0
125.97/106.89	c (0,0) x[2][28] = 0
125.97/106.89	c (0,0) x[2][29] = 0
125.97/106.89	c (0,0) x[2][30] = 0
125.97/106.89	c (0,0) x[2][31] = 0
125.97/106.89	c (0,0) x[3][0] = 0
125.97/106.89	c (0,0) x[3][1] = 0
125.97/106.89	c (0,0) x[3][2] = 0
125.97/106.89	c (0,0) x[3][3] = 0
125.97/106.89	c (0,0) x[3][4] = 0
125.97/106.89	c (0,0) x[3][5] = 0
125.97/106.89	c (0,0) x[3][6] = 0
125.97/106.89	c (0,0) x[3][7] = 0
125.97/106.89	c (0,0) x[3][8] = 0
125.97/106.89	c (0,0) x[3][9] = 0
125.97/106.89	c (0,0) x[3][10] = 0
125.97/106.89	c (0,0) x[3][11] = 1
125.97/106.89	c (0,0) x[3][12] = 1
125.97/106.89	c (0,0) x[3][13] = 1
125.97/106.89	c (0,0) x[3][14] = 1
125.97/106.89	c (0,0) x[3][15] = 1
125.97/106.89	c (0,0) x[3][16] = 0
125.97/106.89	c (0,0) x[3][17] = 0
125.97/106.89	c (0,0) x[3][18] = 0
125.97/106.89	c (0,0) x[3][19] = 0
125.97/106.89	c (0,0) x[3][20] = 0
125.97/106.89	c (0,0) x[3][21] = 0
125.97/106.89	c (0,0) x[3][22] = 0
125.97/106.89	c (0,0) x[3][23] = 0
125.97/106.89	c (0,0) x[3][24] = 1
125.97/106.89	c (0,0) x[3][25] = 1
125.97/106.89	c (0,0) x[3][26] = 0
125.97/106.89	c (0,0) x[3][27] = 0
125.97/106.89	c (0,0) x[3][28] = 0
125.97/106.89	c (0,0) x[3][29] = 0
125.97/106.89	c (0,0) x[3][30] = 0
125.97/106.89	c (0,0) x[3][31] = 0
125.97/106.89	c (0,0) x[4][0] = 0
125.97/106.89	c (0,0) x[4][1] = 0
125.97/106.89	c (0,0) x[4][2] = 0
125.97/106.89	c (0,0) x[4][3] = 0
125.97/106.89	c (0,0) x[4][4] = 0
125.97/106.89	c (0,0) x[4][5] = 0
125.97/106.89	c (0,0) x[4][6] = 0
125.97/106.89	c (0,0) x[4][7] = 0
125.97/106.89	c (0,0) x[4][8] = 1
125.97/106.89	c (0,0) x[4][9] = 1
125.97/106.89	c (0,0) x[4][10] = 1
125.97/106.89	c (0,0) x[4][11] = 1
125.97/106.89	c (0,0) x[4][12] = 0
125.97/106.89	c (0,0) x[4][13] = 0
125.97/106.89	c (0,0) x[4][14] = 0
125.97/106.89	c (0,0) x[4][15] = 0
125.97/106.89	c (0,0) x[4][16] = 0
125.97/106.89	c (0,0) x[4][17] = 1
125.97/106.89	c (0,0) x[4][18] = 1
125.97/106.89	c (0,0) x[4][19] = 1
125.97/106.89	c (0,0) x[4][20] = 1
125.97/106.89	c (0,0) x[4][21] = 0
125.97/106.89	c (0,0) x[4][22] = 0
125.97/106.89	c (0,0) x[4][23] = 1
125.97/106.89	c (0,0) x[4][24] = 1
125.97/106.89	c (0,0) x[4][25] = 0
125.97/106.89	c (0,0) x[4][26] = 0
125.97/106.89	c (0,0) x[4][27] = 0
125.97/106.89	c (0,0) x[4][28] = 0
125.97/106.89	c (0,0) x[4][29] = 0
125.97/106.89	c (0,0) x[4][30] = 0
125.97/106.89	c (0,0) x[4][31] = 0
125.97/106.89	c (0,0) x[5][0] = 0
125.97/106.89	c (0,0) x[5][1] = 0
125.97/106.89	c (0,0) x[5][2] = 0
125.97/106.89	c (0,0) x[5][3] = 0
125.97/106.89	c (0,0) x[5][4] = 0
125.97/106.89	c (0,0) x[5][5] = 1
125.97/106.89	c (0,0) x[5][6] = 1
125.97/106.89	c (0,0) x[5][7] = 1
125.97/106.89	c (0,0) x[5][8] = 1
125.97/106.89	c (0,0) x[5][9] = 0
125.97/106.89	c (0,0) x[5][10] = 0
125.97/106.89	c (0,0) x[5][11] = 0
125.97/106.89	c (0,0) x[5][12] = 0
125.97/106.89	c (0,0) x[5][13] = 0
125.97/106.89	c (0,0) x[5][14] = 0
125.97/106.89	c (0,0) x[5][15] = 0
125.97/106.89	c (0,0) x[5][16] = 1
125.97/106.89	c (0,0) x[5][17] = 1
125.97/106.89	c (0,0) x[5][18] = 1
125.97/106.89	c (0,0) x[5][19] = 1
125.97/106.89	c (0,0) x[5][20] = 0
125.97/106.89	c (0,0) x[5][21] = 0
125.97/106.89	c (0,0) x[5][22] = 0
125.97/106.89	c (0,0) x[5][23] = 1
125.97/106.89	c (0,0) x[5][24] = 0
125.97/106.89	c (0,0) x[5][25] = 0
125.97/106.89	c (0,0) x[5][26] = 0
125.97/106.89	c (0,0) x[5][27] = 0
125.97/106.89	c (0,0) x[5][28] = 0
125.97/106.89	c (0,0) x[5][29] = 0
125.97/106.89	c (0,0) x[5][30] = 0
125.97/106.89	c (0,0) x[5][31] = 0
125.97/106.89	c (0,0) x[6][0] = 0
125.97/106.89	c (0,0) x[6][1] = 0
125.97/106.89	c (0,0) x[6][2] = 0
125.97/106.89	c (0,0) x[6][3] = 0
125.97/106.89	c (0,0) x[6][4] = 1
125.97/106.89	c (0,0) x[6][5] = 0
125.97/106.89	c (0,0) x[6][6] = 1
125.97/106.89	c (0,0) x[6][7] = 0
125.97/106.89	c (0,0) x[6][8] = 0
125.97/106.89	c (0,0) x[6][9] = 0
125.97/106.89	c (0,0) x[6][10] = 0
125.97/106.89	c (0,0) x[6][11] = 0
125.97/106.89	c (0,0) x[6][12] = 0
125.97/106.89	c (0,0) x[6][13] = 0
125.97/106.89	c (0,0) x[6][14] = 0
125.97/106.89	c (0,0) x[6][15] = 1
125.97/106.89	c (0,0) x[6][16] = 1
125.97/106.89	c (0,0) x[6][17] = 1
125.97/106.89	c (0,0) x[6][18] = 1
125.97/106.89	c (0,0) x[6][19] = 0
125.97/106.89	c (0,0) x[6][20] = 0
125.97/106.89	c (0,0) x[6][21] = 0
125.97/106.89	c (0,0) x[6][22] = 0
125.97/106.89	c (0,0) x[6][23] = 1
125.97/106.89	c (0,0) x[6][24] = 1
125.97/106.89	c (0,0) x[6][25] = 0
125.97/106.89	c (0,0) x[6][26] = 0
125.97/106.89	c (0,0) x[6][27] = 0
125.97/106.89	c (0,0) x[6][28] = 0
125.97/106.89	c (0,0) x[6][29] = 0
125.97/106.89	c (0,0) x[6][30] = 0
125.97/106.89	c (0,0) x[6][31] = 0
125.97/106.89	c (0,0) x[7][0] = 0
125.97/106.89	c (0,0) x[7][1] = 0
125.97/106.89	c (0,0) x[7][2] = 0
125.97/106.89	c (0,0) x[7][3] = 0
125.97/106.89	c (0,0) x[7][4] = 1
125.97/106.89	c (0,0) x[7][5] = 0
125.97/106.89	c (0,0) x[7][6] = 1
125.97/106.89	c (0,0) x[7][7] = 1
125.97/106.89	c (0,0) x[7][8] = 0
125.97/106.89	c (0,0) x[7][9] = 0
125.97/106.89	c (0,0) x[7][10] = 0
125.97/106.89	c (0,0) x[7][11] = 0
125.97/106.89	c (0,0) x[7][12] = 0
125.97/106.89	c (0,0) x[7][13] = 0
125.97/106.89	c (0,0) x[7][14] = 0
125.97/106.89	c (0,0) x[7][15] = 1
125.97/106.89	c (0,0) x[7][16] = 0
125.97/106.89	c (0,0) x[7][17] = 0
125.97/106.89	c (0,0) x[7][18] = 0
125.97/106.89	c (0,0) x[7][19] = 0
125.97/106.89	c (0,0) x[7][20] = 0
125.97/106.89	c (0,0) x[7][21] = 0
125.97/106.89	c (0,0) x[7][22] = 0
125.97/106.89	c (0,0) x[7][23] = 0
125.97/106.89	c (0,0) x[7][24] = 1
125.97/106.89	c (0,0) x[7][25] = 1
125.97/106.89	c (0,0) x[7][26] = 0
125.97/106.89	c (0,0) x[7][27] = 0
125.97/106.89	c (0,0) x[7][28] = 0
125.97/106.89	c (0,0) x[7][29] = 0
125.97/106.89	c (0,0) x[7][30] = 0
125.97/106.89	c (0,0) x[7][31] = 0
125.97/106.89	c (0,0) x[8][0] = 0
125.97/106.89	c (0,0) x[8][1] = 0
125.97/106.89	c (0,0) x[8][2] = 0
125.97/106.89	c (0,0) x[8][3] = 0
125.97/106.89	c (0,0) x[8][4] = 1
125.97/106.89	c (0,0) x[8][5] = 1
125.97/106.89	c (0,0) x[8][6] = 1
125.97/106.89	c (0,0) x[8][7] = 1
125.97/106.89	c (0,0) x[8][8] = 1
125.97/106.89	c (0,0) x[8][9] = 0
125.97/106.89	c (0,0) x[8][10] = 1
125.97/106.89	c (0,0) x[8][11] = 0
125.97/106.89	c (0,0) x[8][12] = 0
125.97/106.89	c (0,0) x[8][13] = 0
125.97/106.89	c (0,0) x[8][14] = 0
125.97/106.89	c (0,0) x[8][15] = 0
125.97/106.89	c (0,0) x[8][16] = 0
125.97/106.89	c (0,0) x[8][17] = 0
125.97/106.89	c (0,0) x[8][18] = 0
125.97/106.89	c (0,0) x[8][19] = 0
125.97/106.89	c (0,0) x[8][20] = 0
125.97/106.89	c (0,0) x[8][21] = 0
125.97/106.89	c (0,0) x[8][22] = 1
125.97/106.89	c (0,0) x[8][23] = 0
125.97/106.89	c (0,0) x[8][24] = 0
125.97/106.89	c (0,0) x[8][25] = 1
125.97/106.89	c (0,0) x[8][26] = 0
125.97/106.89	c (0,0) x[8][27] = 0
125.97/106.89	c (0,0) x[8][28] = 0
125.97/106.89	c (0,0) x[8][29] = 0
125.97/106.89	c (0,0) x[8][30] = 0
125.97/106.89	c (0,0) x[8][31] = 0
125.97/106.89	c (0,0) x[9][0] = 0
125.97/106.89	c (0,0) x[9][1] = 0
125.97/106.89	c (0,0) x[9][2] = 0
125.97/106.89	c (0,0) x[9][3] = 0
125.97/106.89	c (0,0) x[9][4] = 0
125.97/106.89	c (0,0) x[9][5] = 1
125.97/106.89	c (0,0) x[9][6] = 1
125.97/106.89	c (0,0) x[9][7] = 1
125.97/106.89	c (0,0) x[9][8] = 1
125.97/106.89	c (0,0) x[9][9] = 1
125.97/106.89	c (0,0) x[9][10] = 1
125.97/106.89	c (0,0) x[9][11] = 1
125.97/106.89	c (0,0) x[9][12] = 1
125.97/106.89	c (0,0) x[9][13] = 1
125.97/106.89	c (0,0) x[9][14] = 1
125.97/106.89	c (0,0) x[9][15] = 0
125.97/106.89	c (0,0) x[9][16] = 0
125.97/106.89	c (0,0) x[9][17] = 0
125.97/106.89	c (0,0) x[9][18] = 0
125.97/106.89	c (0,0) x[9][19] = 0
125.97/106.89	c (0,0) x[9][20] = 1
125.97/106.89	c (0,0) x[9][21] = 1
125.97/106.89	c (0,0) x[9][22] = 0
125.97/106.89	c (0,0) x[9][23] = 0
125.97/106.89	c (0,0) x[9][24] = 0
125.97/106.89	c (0,0) x[9][25] = 1
125.97/106.89	c (0,0) x[9][26] = 0
125.97/106.89	c (0,0) x[9][27] = 0
125.97/106.89	c (0,0) x[9][28] = 0
125.97/106.89	c (0,0) x[9][29] = 0
125.97/106.89	c (0,0) x[9][30] = 0
125.97/106.89	c (0,0) x[9][31] = 0
125.97/106.89	c (0,0) x[10][0] = 0
125.97/106.89	c (0,0) x[10][1] = 0
125.97/106.89	c (0,0) x[10][2] = 0
125.97/106.89	c (0,0) x[10][3] = 0
125.97/106.89	c (0,0) x[10][4] = 0
125.97/106.89	c (0,0) x[10][5] = 0
125.97/106.89	c (0,0) x[10][6] = 0
125.97/106.89	c (0,0) x[10][7] = 0
125.97/106.89	c (0,0) x[10][8] = 0
125.97/106.89	c (0,0) x[10][9] = 0
125.97/106.89	c (0,0) x[10][10] = 0
125.97/106.89	c (0,0) x[10][11] = 1
125.97/106.89	c (0,0) x[10][12] = 1
125.97/106.89	c (0,0) x[10][13] = 1
125.97/106.89	c (0,0) x[10][14] = 1
125.97/106.89	c (0,0) x[10][15] = 1
125.97/106.89	c (0,0) x[10][16] = 0
125.97/106.89	c (0,0) x[10][17] = 0
125.97/106.89	c (0,0) x[10][18] = 0
125.97/106.89	c (0,0) x[10][19] = 1
125.97/106.89	c (0,0) x[10][20] = 1
125.97/106.89	c (0,0) x[10][21] = 1
125.97/106.89	c (0,0) x[10][22] = 1
125.97/106.89	c (0,0) x[10][23] = 0
125.97/106.89	c (0,0) x[10][24] = 0
125.97/106.89	c (0,0) x[10][25] = 1
125.97/106.89	c (0,0) x[10][26] = 0
125.97/106.89	c (0,0) x[10][27] = 0
125.97/106.89	c (0,0) x[10][28] = 0
125.97/106.89	c (0,0) x[10][29] = 0
125.97/106.89	c (0,0) x[10][30] = 0
125.97/106.89	c (0,0) x[10][31] = 0
125.97/106.89	c (0,0) x[11][0] = 0
125.97/106.89	c (0,0) x[11][1] = 0
125.97/106.89	c (0,0) x[11][2] = 0
125.97/106.89	c (0,0) x[11][3] = 0
125.97/106.89	c (0,0) x[11][4] = 0
125.97/106.89	c (0,0) x[11][5] = 0
125.97/106.89	c (0,0) x[11][6] = 0
125.97/106.89	c (0,0) x[11][7] = 0
125.97/106.89	c (0,0) x[11][8] = 0
125.97/106.89	c (0,0) x[11][9] = 0
125.97/106.89	c (0,0) x[11][10] = 0
125.97/106.89	c (0,0) x[11][11] = 1
125.97/106.89	c (0,0) x[11][12] = 1
125.97/106.89	c (0,0) x[11][13] = 1
125.97/106.89	c (0,0) x[11][14] = 1
125.97/106.89	c (0,0) x[11][15] = 1
125.97/106.89	c (0,0) x[11][16] = 1
125.97/106.89	c (0,0) x[11][17] = 1
125.97/106.89	c (0,0) x[11][18] = 1
125.97/106.89	c (0,0) x[11][19] = 1
125.97/106.89	c (0,0) x[11][20] = 1
125.97/106.89	c (0,0) x[11][21] = 0
125.97/106.89	c (0,0) x[11][22] = 0
125.97/106.89	c (0,0) x[11][23] = 0
125.97/106.89	c (0,0) x[11][24] = 0
125.97/106.89	c (0,0) x[11][25] = 1
125.97/106.89	c (0,0) x[11][26] = 0
125.97/106.89	c (0,0) x[11][27] = 0
125.97/106.89	c (0,0) x[11][28] = 0
125.97/106.89	c (0,0) x[11][29] = 0
125.97/106.89	c (0,0) x[11][30] = 0
125.97/106.89	c (0,0) x[11][31] = 0
125.97/106.89	c (0,0) x[12][0] = 0
125.97/106.89	c (0,0) x[12][1] = 0
125.97/106.89	c (0,0) x[12][2] = 0
125.97/106.89	c (0,0) x[12][3] = 0
125.97/106.89	c (0,0) x[12][4] = 0
125.97/106.89	c (0,0) x[12][5] = 0
125.97/106.89	c (0,0) x[12][6] = 0
125.97/106.89	c (0,0) x[12][7] = 0
125.97/106.89	c (0,0) x[12][8] = 0
125.97/106.89	c (0,0) x[12][9] = 0
125.97/106.89	c (0,0) x[12][10] = 0
125.97/106.89	c (0,0) x[12][11] = 1
125.97/106.89	c (0,0) x[12][12] = 1
125.97/106.89	c (0,0) x[12][13] = 1
125.97/106.89	c (0,0) x[12][14] = 1
125.97/106.89	c (0,0) x[12][15] = 1
125.97/106.89	c (0,0) x[12][16] = 1
125.97/106.89	c (0,0) x[12][17] = 1
125.97/106.89	c (0,0) x[12][18] = 1
125.97/106.89	c (0,0) x[12][19] = 1
125.97/106.89	c (0,0) x[12][20] = 0
125.97/106.89	c (0,0) x[12][21] = 0
125.97/106.89	c (0,0) x[12][22] = 0
125.97/106.89	c (0,0) x[12][23] = 0
125.97/106.89	c (0,0) x[12][24] = 0
125.97/106.89	c (0,0) x[12][25] = 1
125.97/106.89	c (0,0) x[12][26] = 0
125.97/106.89	c (0,0) x[12][27] = 0
125.97/106.89	c (0,0) x[12][28] = 0
125.97/106.89	c (0,0) x[12][29] = 0
125.97/106.89	c (0,0) x[12][30] = 0
125.97/106.89	c (0,0) x[12][31] = 0
125.97/106.89	c (0,0) x[13][0] = 0
125.97/106.89	c (0,0) x[13][1] = 0
125.97/106.89	c (0,0) x[13][2] = 0
125.97/106.89	c (0,0) x[13][3] = 0
125.97/106.89	c (0,0) x[13][4] = 0
125.97/106.89	c (0,0) x[13][5] = 0
125.97/106.89	c (0,0) x[13][6] = 0
125.97/106.89	c (0,0) x[13][7] = 0
125.97/106.89	c (0,0) x[13][8] = 0
125.97/106.89	c (0,0) x[13][9] = 0
125.97/106.89	c (0,0) x[13][10] = 0
125.97/106.89	c (0,0) x[13][11] = 1
125.97/106.89	c (0,0) x[13][12] = 1
125.97/106.89	c (0,0) x[13][13] = 0
125.97/106.89	c (0,0) x[13][14] = 0
125.97/106.89	c (0,0) x[13][15] = 0
125.97/106.89	c (0,0) x[13][16] = 1
125.97/106.89	c (0,0) x[13][17] = 0
125.97/106.89	c (0,0) x[13][18] = 0
125.97/106.89	c (0,0) x[13][19] = 1
125.97/106.89	c (0,0) x[13][20] = 0
125.97/106.89	c (0,0) x[13][21] = 0
125.97/106.89	c (0,0) x[13][22] = 0
125.97/106.89	c (0,0) x[13][23] = 1
125.97/106.89	c (0,0) x[13][24] = 1
125.97/106.89	c (0,0) x[13][25] = 1
125.97/106.89	c (0,0) x[13][26] = 0
125.97/106.89	c (0,0) x[13][27] = 0
125.97/106.89	c (0,0) x[13][28] = 0
125.97/106.89	c (0,0) x[13][29] = 0
125.97/106.89	c (0,0) x[13][30] = 0
125.97/106.89	c (0,0) x[13][31] = 0
125.97/106.89	c (0,0) x[14][0] = 0
125.97/106.89	c (0,0) x[14][1] = 0
125.97/106.89	c (0,0) x[14][2] = 0
125.97/106.89	c (0,0) x[14][3] = 0
125.97/106.89	c (0,0) x[14][4] = 0
125.97/106.89	c (0,0) x[14][5] = 0
125.97/106.89	c (0,0) x[14][6] = 0
125.97/106.89	c (0,0) x[14][7] = 0
125.97/106.89	c (0,0) x[14][8] = 0
125.97/106.89	c (0,0) x[14][9] = 0
125.97/106.89	c (0,0) x[14][10] = 1
125.97/106.89	c (0,0) x[14][11] = 0
125.97/106.89	c (0,0) x[14][12] = 1
125.97/106.89	c (0,0) x[14][13] = 0
125.97/106.89	c (0,0) x[14][14] = 0
125.97/106.89	c (0,0) x[14][15] = 0
125.97/106.89	c (0,0) x[14][16] = 0
125.97/106.89	c (0,0) x[14][17] = 0
125.97/106.89	c (0,0) x[14][18] = 0
125.97/106.89	c (0,0) x[14][19] = 0
125.97/106.89	c (0,0) x[14][20] = 0
125.97/106.89	c (0,0) x[14][21] = 0
125.97/106.89	c (0,0) x[14][22] = 1
125.97/106.89	c (0,0) x[14][23] = 1
125.97/106.89	c (0,0) x[14][24] = 0
125.97/106.89	c (0,0) x[14][25] = 1
125.97/106.89	c (0,0) x[14][26] = 0
125.97/106.89	c (0,0) x[14][27] = 0
125.97/106.89	c (0,0) x[14][28] = 0
125.97/106.89	c (0,0) x[14][29] = 0
125.97/106.89	c (0,0) x[14][30] = 0
125.97/106.89	c (0,0) x[14][31] = 0
125.97/106.89	c (0,0) x[15][0] = 0
125.97/106.89	c (0,0) x[15][1] = 0
125.97/106.89	c (0,0) x[15][2] = 0
125.97/106.89	c (0,0) x[15][3] = 0
125.97/106.89	c (0,0) x[15][4] = 0
125.97/106.89	c (0,0) x[15][5] = 0
125.97/106.89	c (0,0) x[15][6] = 0
125.97/106.89	c (0,0) x[15][7] = 0
125.97/106.89	c (0,0) x[15][8] = 0
125.97/106.89	c (0,0) x[15][9] = 1
125.97/106.89	c (0,0) x[15][10] = 0
125.97/106.89	c (0,0) x[15][11] = 1
125.97/106.89	c (0,0) x[15][12] = 0
125.97/106.89	c (0,0) x[15][13] = 0
125.97/106.89	c (0,0) x[15][14] = 0
125.97/106.89	c (0,0) x[15][15] = 0
125.97/106.89	c (0,0) x[15][16] = 0
125.97/106.89	c (0,0) x[15][17] = 0
125.97/106.89	c (0,0) x[15][18] = 0
125.97/106.89	c (0,0) x[15][19] = 0
125.97/106.89	c (0,0) x[15][20] = 0
125.97/106.89	c (0,0) x[15][21] = 1
125.97/106.89	c (0,0) x[15][22] = 1
125.97/106.89	c (0,0) x[15][23] = 0
125.97/106.89	c (0,0) x[15][24] = 1
125.97/106.89	c (0,0) x[15][25] = 1
125.97/106.89	c (0,0) x[15][26] = 0
125.97/106.89	c (0,0) x[15][27] = 0
125.97/106.89	c (0,0) x[15][28] = 0
125.97/106.89	c (0,0) x[15][29] = 0
125.97/106.89	c (0,0) x[15][30] = 0
125.97/106.89	c (0,0) x[15][31] = 0
125.97/106.89	c (0,0) x[16][0] = 0
125.97/106.89	c (0,0) x[16][1] = 0
125.97/106.89	c (0,0) x[16][2] = 0
125.97/106.89	c (0,0) x[16][3] = 0
125.97/106.89	c (0,0) x[16][4] = 0
125.97/106.89	c (0,0) x[16][5] = 0
125.97/106.89	c (0,0) x[16][6] = 0
125.97/106.89	c (0,0) x[16][7] = 0
125.97/106.89	c (0,0) x[16][8] = 0
125.97/106.89	c (0,0) x[16][9] = 1
125.97/106.89	c (0,0) x[16][10] = 0
125.97/106.89	c (0,0) x[16][11] = 0
125.97/106.89	c (0,0) x[16][12] = 0
125.97/106.89	c (0,0) x[16][13] = 0
125.97/106.89	c (0,0) x[16][14] = 0
125.97/106.89	c (0,0) x[16][15] = 0
125.97/106.89	c (0,0) x[16][16] = 0
125.97/106.89	c (0,0) x[16][17] = 0
125.97/106.89	c (0,0) x[16][18] = 0
125.97/106.89	c (0,0) x[16][19] = 0
125.97/106.89	c (0,0) x[16][20] = 1
125.97/106.89	c (0,0) x[16][21] = 1
125.97/106.89	c (0,0) x[16][22] = 0
125.97/106.89	c (0,0) x[16][23] = 0
125.97/106.89	c (0,0) x[16][24] = 0
125.97/106.89	c (0,0) x[16][25] = 1
125.97/106.89	c (0,0) x[16][26] = 0
125.97/106.89	c (0,0) x[16][27] = 0
125.97/106.89	c (0,0) x[16][28] = 0
125.97/106.89	c (0,0) x[16][29] = 0
125.97/106.89	c (0,0) x[16][30] = 0
125.97/106.89	c (0,0) x[16][31] = 0
125.97/106.89	c (0,0) x[17][0] = 0
125.97/106.89	c (0,0) x[17][1] = 0
125.97/106.89	c (0,0) x[17][2] = 0
125.97/106.89	c (0,0) x[17][3] = 0
125.97/106.89	c (0,0) x[17][4] = 0
125.97/106.89	c (0,0) x[17][5] = 0
125.97/106.89	c (0,0) x[17][6] = 0
125.97/106.89	c (0,0) x[17][7] = 0
125.97/106.89	c (0,0) x[17][8] = 0
125.97/106.89	c (0,0) x[17][9] = 1
125.97/106.89	c (0,0) x[17][10] = 1
125.97/106.89	c (0,0) x[17][11] = 0
125.97/106.89	c (0,0) x[17][12] = 0
125.97/106.89	c (0,0) x[17][13] = 0
125.97/106.89	c (0,0) x[17][14] = 0
125.97/106.89	c (0,0) x[17][15] = 0
125.97/106.89	c (0,0) x[17][16] = 0
125.97/106.89	c (0,0) x[17][17] = 0
125.97/106.89	c (0,0) x[17][18] = 0
125.97/106.89	c (0,0) x[17][19] = 1
125.97/106.89	c (0,0) x[17][20] = 1
125.97/106.89	c (0,0) x[17][21] = 0
125.97/106.89	c (0,0) x[17][22] = 0
125.97/106.89	c (0,0) x[17][23] = 1
125.97/106.89	c (0,0) x[17][24] = 1
125.97/106.89	c (0,0) x[17][25] = 1
125.97/106.89	c (0,0) x[17][26] = 0
125.97/106.89	c (0,0) x[17][27] = 0
125.97/106.89	c (0,0) x[17][28] = 0
125.97/106.89	c (0,0) x[17][29] = 0
125.97/106.89	c (0,0) x[17][30] = 0
125.97/106.89	c (0,0) x[17][31] = 0
125.97/106.89	c (0,0) x[18][0] = 0
125.97/106.89	c (0,0) x[18][1] = 0
125.97/106.89	c (0,0) x[18][2] = 0
125.97/106.89	c (0,0) x[18][3] = 0
125.97/106.89	c (0,0) x[18][4] = 0
125.97/106.89	c (0,0) x[18][5] = 0
125.97/106.89	c (0,0) x[18][6] = 0
125.97/106.89	c (0,0) x[18][7] = 0
125.97/106.89	c (0,0) x[18][8] = 0
125.97/106.89	c (0,0) x[18][9] = 1
125.97/106.89	c (0,0) x[18][10] = 0
125.97/106.89	c (0,0) x[18][11] = 0
125.97/106.89	c (0,0) x[18][12] = 0
125.97/106.89	c (0,0) x[18][13] = 0
125.97/106.89	c (0,0) x[18][14] = 0
125.97/106.89	c (0,0) x[18][15] = 0
125.97/106.89	c (0,0) x[18][16] = 0
125.97/106.89	c (0,0) x[18][17] = 0
125.97/106.89	c (0,0) x[18][18] = 1
125.97/106.89	c (0,0) x[18][19] = 1
125.97/106.89	c (0,0) x[18][20] = 0
125.97/106.89	c (0,0) x[18][21] = 0
125.97/106.89	c (0,0) x[18][22] = 1
125.97/106.89	c (0,0) x[18][23] = 1
125.97/106.89	c (0,0) x[18][24] = 1
125.97/106.89	c (0,0) x[18][25] = 1
125.97/106.89	c (0,0) x[18][26] = 0
125.97/106.89	c (0,0) x[18][27] = 0
125.97/106.89	c (0,0) x[18][28] = 0
125.97/106.89	c (0,0) x[18][29] = 0
125.97/106.89	c (0,0) x[18][30] = 0
125.97/106.89	c (0,0) x[18][31] = 0
125.97/106.89	c (0,0) x[19][0] = 0
125.97/106.89	c (0,0) x[19][1] = 0
125.97/106.89	c (0,0) x[19][2] = 0
125.97/106.89	c (0,0) x[19][3] = 0
125.97/106.89	c (0,0) x[19][4] = 0
125.97/106.89	c (0,0) x[19][5] = 0
125.97/106.89	c (0,0) x[19][6] = 0
125.97/106.89	c (0,0) x[19][7] = 0
125.97/106.89	c (0,0) x[19][8] = 0
125.97/106.89	c (0,0) x[19][9] = 1
125.97/106.89	c (0,0) x[19][10] = 0
125.97/106.89	c (0,0) x[19][11] = 0
125.97/106.89	c (0,0) x[19][12] = 0
125.97/106.89	c (0,0) x[19][13] = 0
125.97/106.89	c (0,0) x[19][14] = 0
125.97/106.89	c (0,0) x[19][15] = 0
125.97/106.89	c (0,0) x[19][16] = 0
125.97/106.89	c (0,0) x[19][17] = 0
125.97/106.89	c (0,0) x[19][18] = 0
125.97/106.89	c (0,0) x[19][19] = 0
125.97/106.89	c (0,0) x[19][20] = 0
125.97/106.89	c (0,0) x[19][21] = 1
125.97/106.89	c (0,0) x[19][22] = 1
125.97/106.89	c (0,0) x[19][23] = 1
125.97/106.89	c (0,0) x[19][24] = 1
125.97/106.89	c (0,0) x[19][25] = 1
125.97/106.89	c (0,0) x[19][26] = 0
125.97/106.89	c (0,0) x[19][27] = 0
125.97/106.89	c (0,0) x[19][28] = 0
125.97/106.89	c (0,0) x[19][29] = 0
125.97/106.89	c (0,0) x[19][30] = 0
125.97/106.89	c (0,0) x[19][31] = 0
125.97/106.89	c (0,0) x[20][0] = 0
125.97/106.89	c (0,0) x[20][1] = 0
125.97/106.89	c (0,0) x[20][2] = 0
125.97/106.89	c (0,0) x[20][3] = 0
125.97/106.89	c (0,0) x[20][4] = 0
125.97/106.89	c (0,0) x[20][5] = 0
125.97/106.89	c (0,0) x[20][6] = 0
125.97/106.89	c (0,0) x[20][7] = 0
125.97/106.89	c (0,0) x[20][8] = 0
125.97/106.89	c (0,0) x[20][9] = 1
125.97/106.89	c (0,0) x[20][10] = 0
125.97/106.89	c (0,0) x[20][11] = 0
125.97/106.89	c (0,0) x[20][12] = 0
125.97/106.89	c (0,0) x[20][13] = 0
125.97/106.89	c (0,0) x[20][14] = 0
125.97/106.89	c (0,0) x[20][15] = 0
125.97/106.89	c (0,0) x[20][16] = 0
125.97/106.89	c (0,0) x[20][17] = 0
125.97/106.89	c (0,0) x[20][18] = 0
125.97/106.89	c (0,0) x[20][19] = 0
125.97/106.89	c (0,0) x[20][20] = 1
125.97/106.89	c (0,0) x[20][21] = 1
125.97/106.89	c (0,0) x[20][22] = 0
125.97/106.90	c (0,0) x[20][23] = 0
125.97/106.90	c (0,0) x[20][24] = 1
125.97/106.90	c (0,0) x[20][25] = 1
125.97/106.90	c (0,0) x[20][26] = 0
125.97/106.90	c (0,0) x[20][27] = 0
125.97/106.90	c (0,0) x[20][28] = 0
125.97/106.90	c (0,0) x[20][29] = 0
125.97/106.90	c (0,0) x[20][30] = 0
125.97/106.90	c (0,0) x[20][31] = 0
125.97/106.90	c (0,0) x[21][0] = 0
125.97/106.90	c (0,0) x[21][1] = 0
125.97/106.90	c (0,0) x[21][2] = 0
125.97/106.90	c (0,0) x[21][3] = 0
125.97/106.90	c (0,0) x[21][4] = 0
125.97/106.90	c (0,0) x[21][5] = 0
125.97/106.90	c (0,0) x[21][6] = 0
125.97/106.90	c (0,0) x[21][7] = 0
125.97/106.90	c (0,0) x[21][8] = 0
125.97/106.90	c (0,0) x[21][9] = 1
125.97/106.90	c (0,0) x[21][10] = 1
125.97/106.90	c (0,0) x[21][11] = 0
125.97/106.90	c (0,0) x[21][12] = 0
125.97/106.90	c (0,0) x[21][13] = 0
125.97/106.90	c (0,0) x[21][14] = 0
125.97/106.90	c (0,0) x[21][15] = 0
125.97/106.90	c (0,0) x[21][16] = 0
125.97/106.90	c (0,0) x[21][17] = 0
125.97/106.90	c (0,0) x[21][18] = 0
125.97/106.90	c (0,0) x[21][19] = 1
125.97/106.90	c (0,0) x[21][20] = 1
125.97/106.90	c (0,0) x[21][21] = 1
125.97/106.90	c (0,0) x[21][22] = 0
125.97/106.90	c (0,0) x[21][23] = 1
125.97/106.90	c (0,0) x[21][24] = 1
125.97/106.90	c (0,0) x[21][25] = 0
125.97/106.90	c (0,0) x[21][26] = 0
125.97/106.90	c (0,0) x[21][27] = 0
125.97/106.90	c (0,0) x[21][28] = 0
125.97/106.90	c (0,0) x[21][29] = 0
125.97/106.90	c (0,0) x[21][30] = 0
125.97/106.90	c (0,0) x[21][31] = 0
125.97/106.90	c (0,0) x[22][0] = 0
125.97/106.90	c (0,0) x[22][1] = 0
125.97/106.90	c (0,0) x[22][2] = 0
125.97/106.90	c (0,0) x[22][3] = 0
125.97/106.90	c (0,0) x[22][4] = 0
125.97/106.90	c (0,0) x[22][5] = 0
125.97/106.90	c (0,0) x[22][6] = 0
125.97/106.90	c (0,0) x[22][7] = 0
125.97/106.90	c (0,0) x[22][8] = 0
125.97/106.90	c (0,0) x[22][9] = 0
125.97/106.90	c (0,0) x[22][10] = 1
125.97/106.90	c (0,0) x[22][11] = 1
125.97/106.90	c (0,0) x[22][12] = 0
125.97/106.90	c (0,0) x[22][13] = 0
125.97/106.90	c (0,0) x[22][14] = 0
125.97/106.90	c (0,0) x[22][15] = 0
125.97/106.90	c (0,0) x[22][16] = 0
125.97/106.90	c (0,0) x[22][17] = 0
125.97/106.90	c (0,0) x[22][18] = 1
125.97/106.90	c (0,0) x[22][19] = 1
125.97/106.90	c (0,0) x[22][20] = 0
125.97/106.90	c (0,0) x[22][21] = 0
125.97/106.90	c (0,0) x[22][22] = 1
125.97/106.90	c (0,0) x[22][23] = 1
125.97/106.90	c (0,0) x[22][24] = 0
125.97/106.90	c (0,0) x[22][25] = 0
125.97/106.90	c (0,0) x[22][26] = 0
125.97/106.90	c (0,0) x[22][27] = 0
125.97/106.90	c (0,0) x[22][28] = 0
125.97/106.90	c (0,0) x[22][29] = 0
125.97/106.90	c (0,0) x[22][30] = 0
125.97/106.90	c (0,0) x[22][31] = 0
125.97/106.90	c (0,0) x[23][0] = 0
125.97/106.90	c (0,0) x[23][1] = 0
125.97/106.90	c (0,0) x[23][2] = 0
125.97/106.90	c (0,0) x[23][3] = 0
125.97/106.90	c (0,0) x[23][4] = 0
125.97/106.90	c (0,0) x[23][5] = 0
125.97/106.90	c (0,0) x[23][6] = 0
125.97/106.90	c (0,0) x[23][7] = 0
125.97/106.90	c (0,0) x[23][8] = 0
125.97/106.90	c (0,0) x[23][9] = 0
125.97/106.90	c (0,0) x[23][10] = 1
125.97/106.90	c (0,0) x[23][11] = 1
125.97/106.90	c (0,0) x[23][12] = 1
125.97/106.90	c (0,0) x[23][13] = 0
125.97/106.90	c (0,0) x[23][14] = 0
125.97/106.90	c (0,0) x[23][15] = 0
125.97/106.90	c (0,0) x[23][16] = 0
125.97/106.90	c (0,0) x[23][17] = 0
125.97/106.90	c (0,0) x[23][18] = 0
125.97/106.90	c (0,0) x[23][19] = 1
125.97/106.90	c (0,0) x[23][20] = 0
125.97/106.90	c (0,0) x[23][21] = 1
125.97/106.90	c (0,0) x[23][22] = 1
125.97/106.90	c (0,0) x[23][23] = 0
125.97/106.90	c (0,0) x[23][24] = 0
125.97/106.90	c (0,0) x[23][25] = 0
125.97/106.90	c (0,0) x[23][26] = 0
125.97/106.90	c (0,0) x[23][27] = 0
125.97/106.90	c (0,0) x[23][28] = 0
125.97/106.90	c (0,0) x[23][29] = 0
125.97/106.90	c (0,0) x[23][30] = 0
125.97/106.90	c (0,0) x[23][31] = 0
125.97/106.90	c (0,0) x[24][0] = 0
125.97/106.90	c (0,0) x[24][1] = 0
125.97/106.90	c (0,0) x[24][2] = 0
125.97/106.90	c (0,0) x[24][3] = 0
125.97/106.90	c (0,0) x[24][4] = 0
125.97/106.90	c (0,0) x[24][5] = 0
125.97/106.90	c (0,0) x[24][6] = 0
125.97/106.90	c (0,0) x[24][7] = 0
125.97/106.90	c (0,0) x[24][8] = 0
125.97/106.90	c (0,0) x[24][9] = 0
125.97/106.90	c (0,0) x[24][10] = 0
125.97/106.90	c (0,0) x[24][11] = 1
125.97/106.90	c (0,0) x[24][12] = 1
125.97/106.90	c (0,0) x[24][13] = 1
125.97/106.90	c (0,0) x[24][14] = 0
125.97/106.90	c (0,0) x[24][15] = 0
125.97/106.90	c (0,0) x[24][16] = 0
125.97/106.90	c (0,0) x[24][17] = 1
125.97/106.90	c (0,0) x[24][18] = 1
125.97/106.90	c (0,0) x[24][19] = 1
125.97/106.90	c (0,0) x[24][20] = 1
125.97/106.90	c (0,0) x[24][21] = 1
125.97/106.90	c (0,0) x[24][22] = 0
125.97/106.90	c (0,0) x[24][23] = 0
125.97/106.90	c (0,0) x[24][24] = 0
125.97/106.90	c (0,0) x[24][25] = 0
125.97/106.90	c (0,0) x[24][26] = 0
125.97/106.90	c (0,0) x[24][27] = 0
125.97/106.90	c (0,0) x[24][28] = 0
125.97/106.90	c (0,0) x[24][29] = 0
125.97/106.90	c (0,0) x[24][30] = 0
125.97/106.90	c (0,0) x[24][31] = 0
125.97/106.90	c (0,0) x[25][0] = 0
125.97/106.90	c (0,0) x[25][1] = 0
125.97/106.90	c (0,0) x[25][2] = 0
125.97/106.90	c (0,0) x[25][3] = 0
125.97/106.90	c (0,0) x[25][4] = 0
125.97/106.90	c (0,0) x[25][5] = 0
125.97/106.90	c (0,0) x[25][6] = 0
125.97/106.90	c (0,0) x[25][7] = 0
125.97/106.90	c (0,0) x[25][8] = 0
125.97/106.90	c (0,0) x[25][9] = 0
125.97/106.90	c (0,0) x[25][10] = 0
125.97/106.90	c (0,0) x[25][11] = 1
125.97/106.90	c (0,0) x[25][12] = 1
125.97/106.90	c (0,0) x[25][13] = 1
125.97/106.90	c (0,0) x[25][14] = 1
125.97/106.90	c (0,0) x[25][15] = 1
125.97/106.90	c (0,0) x[25][16] = 1
125.97/106.90	c (0,0) x[25][17] = 1
125.97/106.90	c (0,0) x[25][18] = 1
125.97/106.90	c (0,0) x[25][19] = 1
125.97/106.90	c (0,0) x[25][20] = 1
125.97/106.90	c (0,0) x[25][21] = 0
125.97/106.90	c (0,0) x[25][22] = 0
125.97/106.90	c (0,0) x[25][23] = 0
125.97/106.90	c (0,0) x[25][24] = 0
125.97/106.90	c (0,0) x[25][25] = 0
125.97/106.90	c (0,0) x[25][26] = 0
125.97/106.90	c (0,0) x[25][27] = 0
125.97/106.90	c (0,0) x[25][28] = 0
125.97/106.90	c (0,0) x[25][29] = 0
125.97/106.90	c (0,0) x[25][30] = 0
125.97/106.90	c (0,0) x[25][31] = 0
125.97/106.90	c (0,0) x[26][0] = 0
125.97/106.90	c (0,0) x[26][1] = 0
125.97/106.90	c (0,0) x[26][2] = 0
125.97/106.90	c (0,0) x[26][3] = 0
125.97/106.90	c (0,0) x[26][4] = 0
125.97/106.90	c (0,0) x[26][5] = 0
125.97/106.90	c (0,0) x[26][6] = 0
125.97/106.90	c (0,0) x[26][7] = 0
125.97/106.90	c (0,0) x[26][8] = 0
125.97/106.90	c (0,0) x[26][9] = 0
125.97/106.90	c (0,0) x[26][10] = 0
125.97/106.90	c (0,0) x[26][11] = 1
125.97/106.90	c (0,0) x[26][12] = 1
125.97/106.90	c (0,0) x[26][13] = 1
125.97/106.90	c (0,0) x[26][14] = 1
125.97/106.90	c (0,0) x[26][15] = 1
125.97/106.90	c (0,0) x[26][16] = 1
125.97/106.90	c (0,0) x[26][17] = 1
125.97/106.90	c (0,0) x[26][18] = 1
125.97/106.90	c (0,0) x[26][19] = 1
125.97/106.90	c (0,0) x[26][20] = 1
125.97/106.90	c (0,0) x[26][21] = 0
125.97/106.90	c (0,0) x[26][22] = 0
125.97/106.90	c (0,0) x[26][23] = 0
125.97/106.90	c (0,0) x[26][24] = 0
125.97/106.90	c (0,0) x[26][25] = 0
125.97/106.90	c (0,0) x[26][26] = 0
125.97/106.90	c (0,0) x[26][27] = 0
125.97/106.90	c (0,0) x[26][28] = 0
125.97/106.90	c (0,0) x[26][29] = 0
125.97/106.90	c (0,0) x[26][30] = 0
125.97/106.90	c (0,0) x[26][31] = 0
125.97/106.90	c (0,0) x[27][0] = 0
125.97/106.90	c (0,0) x[27][1] = 0
125.97/106.90	c (0,0) x[27][2] = 0
125.97/106.90	c (0,0) x[27][3] = 0
125.97/106.90	c (0,0) x[27][4] = 0
125.97/106.90	c (0,0) x[27][5] = 0
125.97/106.90	c (0,0) x[27][6] = 0
125.97/106.90	c (0,0) x[27][7] = 0
125.97/106.90	c (0,0) x[27][8] = 0
125.97/106.90	c (0,0) x[27][9] = 0
125.97/106.90	c (0,0) x[27][10] = 1
125.97/106.90	c (0,0) x[27][11] = 1
125.97/106.90	c (0,0) x[27][12] = 1
125.97/106.90	c (0,0) x[27][13] = 1
125.97/106.90	c (0,0) x[27][14] = 1
125.97/106.90	c (0,0) x[27][15] = 1
125.97/106.90	c (0,0) x[27][16] = 1
125.97/106.90	c (0,0) x[27][17] = 1
125.97/106.90	c (0,0) x[27][18] = 1
125.97/106.90	c (0,0) x[27][19] = 1
125.97/106.90	c (0,0) x[27][20] = 1
125.97/106.90	c (0,0) x[27][21] = 1
125.97/106.90	c (0,0) x[27][22] = 0
125.97/106.90	c (0,0) x[27][23] = 0
125.97/106.90	c (0,0) x[27][24] = 0
125.97/106.90	c (0,0) x[27][25] = 0
125.97/106.90	c (0,0) x[27][26] = 0
125.97/106.90	c (0,0) x[27][27] = 0
125.97/106.90	c (0,0) x[27][28] = 0
125.97/106.90	c (0,0) x[27][29] = 0
125.97/106.90	c (0,0) x[27][30] = 0
125.97/106.90	c (0,0) x[27][31] = 0
125.97/106.90	c (0,0) x[28][0] = 0
125.97/106.90	c (0,0) x[28][1] = 0
125.97/106.90	c (0,0) x[28][2] = 0
125.97/106.90	c (0,0) x[28][3] = 0
125.97/106.90	c (0,0) x[28][4] = 0
125.97/106.90	c (0,0) x[28][5] = 0
125.97/106.90	c (0,0) x[28][6] = 0
125.97/106.90	c (0,0) x[28][7] = 0
125.97/106.90	c (0,0) x[28][8] = 1
125.97/106.90	c (0,0) x[28][9] = 1
125.97/106.90	c (0,0) x[28][10] = 1
125.97/106.90	c (0,0) x[28][11] = 0
125.97/106.90	c (0,0) x[28][12] = 0
125.97/106.90	c (0,0) x[28][13] = 0
125.97/106.90	c (0,0) x[28][14] = 0
125.97/106.90	c (0,0) x[28][15] = 0
125.97/106.90	c (0,0) x[28][16] = 0
125.97/106.90	c (0,0) x[28][17] = 0
125.97/106.90	c (0,0) x[28][18] = 0
125.97/106.90	c (0,0) x[28][19] = 0
125.97/106.90	c (0,0) x[28][20] = 0
125.97/106.90	c (0,0) x[28][21] = 1
125.97/106.90	c (0,0) x[28][22] = 1
125.97/106.90	c (0,0) x[28][23] = 1
125.97/106.90	c (0,0) x[28][24] = 0
125.97/106.90	c (0,0) x[28][25] = 0
125.97/106.90	c (0,0) x[28][26] = 0
125.97/106.90	c (0,0) x[28][27] = 0
125.97/106.90	c (0,0) x[28][28] = 0
125.97/106.90	c (0,0) x[28][29] = 0
125.97/106.90	c (0,0) x[28][30] = 0
125.97/106.90	c (0,0) x[28][31] = 0
125.97/106.90	c (0,0) x[29][0] = 0
125.97/106.90	c (0,0) x[29][1] = 0
125.97/106.90	c (0,0) x[29][2] = 0
125.97/106.90	c (0,0) x[29][3] = 0
126.32/106.90	c (0,0) x[29][4] = 0
126.32/106.90	c (0,0) x[29][5] = 0
126.32/106.90	c (0,0) x[29][6] = 1
126.32/106.90	c (0,0) x[29][7] = 1
126.32/106.90	c (0,0) x[29][8] = 1
126.32/106.90	c (0,0) x[29][9] = 0
126.32/106.90	c (0,0) x[29][10] = 0
126.32/106.90	c (0,0) x[29][11] = 0
126.32/106.90	c (0,0) x[29][12] = 0
126.32/106.90	c (0,0) x[29][13] = 0
126.32/106.90	c (0,0) x[29][14] = 0
126.32/106.90	c (0,0) x[29][15] = 0
126.32/106.90	c (0,0) x[29][16] = 0
126.32/106.90	c (0,0) x[29][17] = 0
126.32/106.90	c (0,0) x[29][18] = 0
126.32/106.90	c (0,0) x[29][19] = 0
126.32/106.90	c (0,0) x[29][20] = 0
126.32/106.90	c (0,0) x[29][21] = 0
126.32/106.90	c (0,0) x[29][22] = 0
126.32/106.90	c (0,0) x[29][23] = 1
126.32/106.90	c (0,0) x[29][24] = 1
126.32/106.90	c (0,0) x[29][25] = 1
126.32/106.90	c (0,0) x[29][26] = 0
126.32/106.90	c (0,0) x[29][27] = 0
126.32/106.90	c (0,0) x[29][28] = 0
126.32/106.90	c (0,0) x[29][29] = 0
126.32/106.90	c (0,0) x[29][30] = 0
126.32/106.90	c (0,0) x[29][31] = 0
126.32/106.90	c (0,0) x[30][0] = 0
126.32/106.90	c (0,0) x[30][1] = 0
126.32/106.90	c (0,0) x[30][2] = 0
126.32/106.90	c (0,0) x[30][3] = 0
126.32/106.90	c (0,0) x[30][4] = 0
126.32/106.90	c (0,0) x[30][5] = 1
126.32/106.90	c (0,0) x[30][6] = 1
126.32/106.90	c (0,0) x[30][7] = 1
126.32/106.90	c (0,0) x[30][8] = 1
126.32/106.90	c (0,0) x[30][9] = 1
126.32/106.90	c (0,0) x[30][10] = 1
126.32/106.90	c (0,0) x[30][11] = 1
126.32/106.90	c (0,0) x[30][12] = 1
126.32/106.90	c (0,0) x[30][13] = 1
126.32/106.90	c (0,0) x[30][14] = 1
126.32/106.90	c (0,0) x[30][15] = 1
126.32/106.90	c (0,0) x[30][16] = 1
126.32/106.90	c (0,0) x[30][17] = 1
126.32/106.90	c (0,0) x[30][18] = 1
126.32/106.90	c (0,0) x[30][19] = 1
126.32/106.90	c (0,0) x[30][20] = 1
126.32/106.90	c (0,0) x[30][21] = 1
126.32/106.90	c (0,0) x[30][22] = 1
126.32/106.90	c (0,0) x[30][23] = 1
126.32/106.90	c (0,0) x[30][24] = 1
126.32/106.90	c (0,0) x[30][25] = 1
126.32/106.90	c (0,0) x[30][26] = 1
126.32/106.90	c (0,0) x[30][27] = 0
126.32/106.90	c (0,0) x[30][28] = 0
126.32/106.90	c (0,0) x[30][29] = 0
126.32/106.90	c (0,0) x[30][30] = 0
126.32/106.90	c (0,0) x[30][31] = 0
126.32/106.90	c (0,0) x[31][0] = 0
126.32/106.90	c (0,0) x[31][1] = 0
126.32/106.90	c (0,0) x[31][2] = 0
126.32/106.90	c (0,0) x[31][3] = 0
126.32/106.90	c (0,0) x[31][4] = 0
126.32/106.90	c (0,0) x[31][5] = 1
126.32/106.90	c (0,0) x[31][6] = 1
126.32/106.90	c (0,0) x[31][7] = 1
126.32/106.90	c (0,0) x[31][8] = 1
126.32/106.90	c (0,0) x[31][9] = 1
126.32/106.90	c (0,0) x[31][10] = 1
126.32/106.90	c (0,0) x[31][11] = 1
126.32/106.90	c (0,0) x[31][12] = 1
126.32/106.90	c (0,0) x[31][13] = 1
126.32/106.90	c (0,0) x[31][14] = 1
126.32/106.90	c (0,0) x[31][15] = 1
126.32/106.90	c (0,0) x[31][16] = 1
126.32/106.90	c (0,0) x[31][17] = 1
126.32/106.90	c (0,0) x[31][18] = 1
126.32/106.90	c (0,0) x[31][19] = 1
126.32/106.90	c (0,0) x[31][20] = 1
126.32/106.90	c (0,0) x[31][21] = 1
126.32/106.90	c (0,0) x[31][22] = 1
126.32/106.90	c (0,0) x[31][23] = 1
126.32/106.90	c (0,0) x[31][24] = 1
126.32/106.90	c (0,0) x[31][25] = 1
126.32/106.90	c (0,0) x[31][26] = 1
126.32/106.90	c (0,0) x[31][27] = 0
126.32/106.90	c (0,0) x[31][28] = 0
126.32/106.90	c (0,0) x[31][29] = 0
126.32/106.90	c (0,0) x[31][30] = 0
126.32/106.90	c (0,0) x[31][31] = 0
126.32/106.90	s SATISFIABLE
126.32/106.90	v <instantiation>
126.32/106.90	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>
126.32/106.90	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>
126.32/106.90	v </instantiation>
126.32/106.90	c (0,0) Show results End
126.32/106.90	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
126.32/106.90	c (0,0) 0,0,STOP-AFTER(ALL)
126.32/106.90	c END-Prog: Sat Sep 14 06:36:00 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 (15099 MiB free)
  memory of node 1: 16384 MiB (15655 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392582-1568435689/watcher-4392582-1568435689 -o /tmp/evaluation-result-4392582-1568435689/solver-4392582-1568435689 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392582-1568435689.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=15343, runsolver pid=15340
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 2.03 5.50 6.81 2/212 15365
/proc/meminfo: memFree=31399516/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419730545 115843072 348 33554432000 4194304 5098028 140728048529088 140728048526344 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 348 296 221 0 87 0
[pid=15346] ppid=15343 vsize=27314120 memory=104404 CPUtime=0.1 cores=0-7
/proc/15346/stat : 15346 (java) S 15343 15343 11928 0 -1 1077944320 6204 0 0 0 8 2 0 0 20 0 20 0 419730545 27969658880 26101 33554432000 4194304 4196468 140731468518128 140731468500672 140073692393207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
/proc/15346/statm: 6828530 26101 2796 1 0 6790935 0
[pid=15346/tid=15347] ppid=15343 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/15346/task/15347/stat : 15347 (java) R 15343 15343 11928 0 -1 4202560 4284 0 0 0 7 2 0 0 20 0 20 0 419730545 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073664211584 140073678461326 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15348] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15348/stat : 15348 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073696635792 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15349] ppid=15343 vsize=27314120 memory=140213950010782 CPUtime=0 cores=0-7
/proc/15346/task/15349/stat : 15349 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073514724112 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15350] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15350/stat : 15350 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073113648272 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15351] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15351/stat : 15351 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073112595472 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15352] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15352/stat : 15352 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073111542160 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15353] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15353/stat : 15353 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26101 33554432000 4194304 4196468 140731468518128 140073110489360 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15354] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15354/stat : 15354 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26613 33554432000 4194304 4196468 140731468518128 140073109437072 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15355] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15355/stat : 15355 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 26613 33554432000 4194304 4196468 140731468518128 140073108384272 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15356] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15356/stat : 15356 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730549 27969658880 26613 33554432000 4194304 4196468 140731468518128 140072213969520 140073692404354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15357] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15357/stat : 15357 (java) S 15343 15343 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419730550 27969658880 26613 33554432000 4194304 4196468 140731468518128 140071298655520 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15358] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15358/stat : 15358 (java) S 15343 15343 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419730550 27969658880 26613 33554432000 4194304 4196468 140731468518128 140071164434032 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15359] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15359/stat : 15359 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 26613 33554432000 4194304 4196468 140731468518128 140070789929552 140073692411803 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15360] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15360/stat : 15360 (java) S 15343 15343 11928 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 26613 33554432000 4194304 4196468 140731468518128 140072212916336 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15361] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15361/stat : 15361 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 26613 33554432000 4194304 4196468 140731468518128 140072211863536 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15362] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15362/stat : 15362 (java) S 15343 15343 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 26613 33554432000 4194304 4196468 140731468518128 140072210811248 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15363] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15363/stat : 15363 (java) S 15343 15343 11928 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 26613 33554432000 4194304 4196468 140731468518128 140072209758448 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15364] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15364/stat : 15364 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730553 27969658880 26613 33554432000 4194304 4196468 140731468518128 140070292024160 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15365] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15365/stat : 15365 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730553 27969658880 26613 33554432000 4194304 4196468 140731468518128 140072208706352 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105796 KiB

[startup+0.210298 s]*
/proc/loadavg: 2.03 5.50 6.81 3/212 15365
/proc/meminfo: memFree=31378808/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419730545 115843072 348 33554432000 4194304 5098028 140728048529088 140728048526344 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 348 296 221 0 87 0
[pid=15346] ppid=15343 vsize=27314120 memory=123488 CPUtime=0.24 cores=0-7
/proc/15346/stat : 15346 (java) S 15343 15343 11928 0 -1 1077944320 11805 0 0 0 20 4 0 0 20 0 20 0 419730545 27969658880 30872 33554432000 4194304 4196468 140731468518128 140731468500672 140073692393207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
/proc/15346/statm: 6828530 30872 2921 1 0 6790935 0
[pid=15346/tid=15347] ppid=15343 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/15346/task/15347/stat : 15347 (java) R 15343 15343 11928 0 -1 4202560 9503 0 0 0 16 3 0 0 20 0 20 0 419730545 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073664206640 140073673956782 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15348] ppid=15343 vsize=27314120 memory=14965 CPUtime=0 cores=0-7
/proc/15346/task/15348/stat : 15348 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073696635792 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15349] ppid=15343 vsize=27314120 memory=288370590101710464 CPUtime=0 cores=0-7
/proc/15346/task/15349/stat : 15349 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073514724112 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15350] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15350/stat : 15350 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073113648272 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15351] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15351/stat : 15351 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073112595472 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15352] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15352/stat : 15352 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073111542160 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15353] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15353/stat : 15353 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073110489360 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15354] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15354/stat : 15354 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073109437072 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15355] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15355/stat : 15355 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 30872 33554432000 4194304 4196468 140731468518128 140073108384272 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15356] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15356/stat : 15356 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730549 27969658880 30872 33554432000 4194304 4196468 140731468518128 140072213969520 140073692404354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15357] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15357/stat : 15357 (java) S 15343 15343 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419730550 27969658880 30872 33554432000 4194304 4196468 140731468518128 140071298655520 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15358] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15358/stat : 15358 (java) S 15343 15343 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419730550 27969658880 30872 33554432000 4194304 4196468 140731468518128 140071164434032 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15359] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15359/stat : 15359 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 30872 33554432000 4194304 4196468 140731468518128 140070789929552 140073692411803 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15360] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15360/stat : 15360 (java) S 15343 15343 11928 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 30872 33554432000 4194304 4196468 140731468518128 140072212916336 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15361] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15361/stat : 15361 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 30872 33554432000 4194304 4196468 140731468518128 140072211863536 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15362] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15362/stat : 15362 (java) S 15343 15343 11928 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 30872 33554432000 4194304 4196468 140731468518128 140072210811248 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15363] ppid=15343 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15346/task/15363/stat : 15363 (java) S 15343 15343 11928 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 419730552 27969658880 30872 33554432000 4194304 4196468 140731468518128 140072209758448 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15364] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15364/stat : 15364 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730553 27969658880 30872 33554432000 4194304 4196468 140731468518128 140070292024160 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15365] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15365/stat : 15365 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730553 27969658880 30872 33554432000 4194304 4196468 140731468518128 140072208706352 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124880 KiB

[startup+0.309693 s]*
/proc/loadavg: 2.03 5.50 6.81 2/212 15365
/proc/meminfo: memFree=31376212/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419730545 115843072 348 33554432000 4194304 5098028 140728048529088 140728048526344 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 348 296 221 0 87 0
[pid=15346] ppid=15343 vsize=27314120 memory=127800 CPUtime=0.42 cores=0-7
/proc/15346/stat : 15346 (java) S 15343 15343 11928 0 -1 1077944320 12321 0 0 0 38 4 0 0 20 0 20 0 419730545 27969658880 31950 33554432000 4194304 4196468 140731468518128 140731468500672 140073692393207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
/proc/15346/statm: 6828530 31950 3060 1 0 6790935 0
[pid=15346/tid=15347] ppid=15343 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/15346/task/15347/stat : 15347 (java) R 15343 15343 11928 0 -1 4202560 9802 0 0 0 26 4 0 0 20 0 20 0 419730545 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073664214208 140073675580033 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15348] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15348/stat : 15348 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073696635792 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15349] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15349/stat : 15349 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073514724112 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15350] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15350/stat : 15350 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073113648272 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15351] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15351/stat : 15351 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073112595472 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15352] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15352/stat : 15352 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073111542160 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15353] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15353/stat : 15353 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073110489360 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15354] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15354/stat : 15354 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073109437072 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15355] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15355/stat : 15355 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730548 27969658880 31950 33554432000 4194304 4196468 140731468518128 140073108384272 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15356] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15356/stat : 15356 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730549 27969658880 31950 33554432000 4194304 4196468 140731468518128 140072213969520 140073692404354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15357] ppid=15343 vsize=27314120 memory=280427675983232 CPUtime=0 cores=0-7
/proc/15346/task/15357/stat : 15357 (java) S 15343 15343 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419730550 27969658880 31950 33554432000 4194304 4196468 140731468518128 140071298655520 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15358] ppid=15343 vsize=27314120 memory=280427675987840 CPUtime=0 cores=0-7
/proc/15346/task/15358/stat : 15358 (java) S 15343 15343 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419730550 27969658880 31950 33554432000 4194304 4196468 140731468518128 140071164434032 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15359] ppid=15343 vsize=27314120 memory=280427675992448 CPUtime=0 cores=0-7
/proc/15346/task/15359/stat : 15359 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 31950 33554432000 4194304 4196468 140731468518128 140070789929552 140073692411803 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15360] ppid=15343 vsize=27314120 memory=280427675997056 CPUtime=0.01 cores=0-7
/proc/15346/task/15360/stat : 15360 (java) S 15343 15343 11928 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 20 0 419730552 27969658880 31950 33554432000 4194304 4196468 140731468518128 140072212916336 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15361] ppid=15343 vsize=27314120 memory=280427676001664 CPUtime=0 cores=0-7
/proc/15346/task/15361/stat : 15361 (java) S 15343 15343 11928 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 419730552 27969658880 31950 33554432000 4194304 4196468 140731468518128 140072211863536 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15362] ppid=15343 vsize=27314120 memory=280427676006272 CPUtime=0.01 cores=0-7
/proc/15346/task/15362/stat : 15362 (java) S 15343 15343 11928 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 419730552 27969658880 31950 33554432000 4194304 4196468 140731468518128 140072210811248 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15363] ppid=15343 vsize=27314120 memory=280427676010880 CPUtime=0.07 cores=0-7
/proc/15346/task/15363/stat : 15363 (java) S 15343 15343 11928 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 419730552 27969658880 31950 33554432000 4194304 4196468 140731468518128 140072209758448 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15364] ppid=15343 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15364/stat : 15364 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730553 27969658880 31950 33554432000 4194304 4196468 140731468518128 140070292024160 140073692403413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15365] ppid=15343 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15346/task/15365/stat : 15365 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730553 27969658880 31950 33554432000 4194304 4196468 140731468518128 140072208706352 140073692404354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129192 KiB

[startup+0.700895 s]
/proc/loadavg: 2.03 5.50 6.81 2/212 15365
/proc/meminfo: memFree=31354860/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419730545 115843072 348 33554432000 4194304 5098028 140728048529088 140728048526344 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 348 296 221 0 87 0
[pid=15346] ppid=15343 vsize=27320392 memory=165040 CPUtime=0.99 cores=0-7
/proc/15346/stat : 15346 (java) S 15343 15343 11928 0 -1 1077944320 19806 0 0 0 92 7 0 0 20 0 20 0 419730545 27976081408 41260 33554432000 4194304 4196468 140731468518128 140731468500672 140073692393207 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
/proc/15346/statm: 6830098 41260 3182 1 0 6791447 0
[pid=15346/tid=15347] ppid=15343 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/15346/task/15347/stat : 15347 (java) R 15343 15343 11928 0 -1 4202560 16851 0 0 0 62 6 0 0 20 0 20 0 419730545 27976081408 41260 33554432000 4194304 4196468 140731468518128 140073664227888 140073692415133 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15348] ppid=15343 vsize=27320392 memory=140213838193536 CPUtime=0 cores=0-7
/proc/15346/task/15348/stat : 15348 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27976081408 41260 33554432000 4194304 4196468 140731468518128 140073696635792 140073692403413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15349] ppid=15343 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15346/task/15349/stat : 15349 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419730548 27976081408 41260 33554432000 4194304 4196468 140731468518128 140073514724112 140073692403413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15350] ppid=15343 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/15346/task/15350/stat : 15350 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419730548 27976081408 41260 33554432000 4194304 4196468 140731468518128 140073113648272 140073692403413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0

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

/proc/15346/task/15364/stat : 15364 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419730553 27986735104 1997882 33554432000 4194304 4196468 140731468518128 140070292024160 140073692403413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
[pid=15346/tid=15365] ppid=15343 vsize=27330796 memory=792 CPUtime=0.02 cores=0-7
/proc/15346/task/15365/stat : 15365 (java) S 15343 15343 11928 0 -1 1077944384 93 0 0 0 0 2 0 0 20 0 20 0 419730553 27986735104 1997882 33554432000 4194304 4196468 140731468518128 140072208706352 140073692404354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140731468526314 140731468526742 140731468526742 140731468529615 0
Current children cumulated CPU time: 123.63 s
Current children cumulated vsize: 27443924 KiB
Current children cumulated memory: 7992920 KiB

[startup+106.401 s]
/proc/loadavg: 1.15 4.15 6.18 4/211 15393
/proc/meminfo: memFree=31439124/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1472 CPUtime=123.86 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 581 96611 0 0 0 0 12033 353 20 0 1 0 419730545 115843072 368 33554432000 4194304 5098028 140728048529088 140728048525832 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 368 311 221 0 87 0
[pid=15374] ppid=15343 vsize=7754336 memory=101084 CPUtime=0.98 cores=0-7
/proc/15374/stat : 15374 (java) S 15343 15343 11928 0 -1 1077944320 19016 0 0 0 92 6 0 0 20 0 20 0 419741116 7940440064 25271 33554432000 4194304 4196468 140721161310320 140721161292864 140035684867831 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
/proc/15374/statm: 1938584 25271 3147 1 0 1900463 0
[pid=15374/tid=15375] ppid=15343 vsize=7754336 memory=6791534058613427641 CPUtime=0.66 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15343 15343 11928 0 -1 4202560 16350 0 0 0 61 5 0 0 20 0 20 0 419741116 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035656700688 140035684889757 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15376] ppid=15343 vsize=7754336 memory=-9174445032661854264 CPUtime=0 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035689109904 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15377] ppid=15343 vsize=7754336 memory=21807 CPUtime=0 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035489278224 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15378] ppid=15343 vsize=7754336 memory=-2023959437020729679 CPUtime=0 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035488225936 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15379] ppid=15343 vsize=7754336 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035487173136 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15380] ppid=15343 vsize=7754336 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035486120848 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15381] ppid=15343 vsize=7754336 memory=-1891255765032775953 CPUtime=0 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035485068048 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15382] ppid=15343 vsize=7754336 memory=-6800859132029471843 CPUtime=0 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035484015760 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15383] ppid=15343 vsize=7754336 memory=-2893623298589923098 CPUtime=0 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741118 7940440064 25271 33554432000 4194304 4196468 140721161310320 140035482962960 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15384] ppid=15343 vsize=7754336 memory=-1624781813439352349 CPUtime=0 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15343 15343 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419741119 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034509826160 140035684878978 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15385] ppid=15343 vsize=7754336 memory=-9174445032661854264 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15343 15343 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419741120 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034321670944 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15386] ppid=15343 vsize=7754336 memory=-1891255765032775953 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741120 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034053235824 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15387] ppid=15343 vsize=7754336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140033678727248 140035684886427 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15388] ppid=15343 vsize=7754336 memory=14012 CPUtime=0.05 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) R 15343 15343 11928 0 -1 4202560 612 0 0 0 5 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034508764400 140035665568475 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15389] ppid=15343 vsize=7754336 memory=1392 CPUtime=0.03 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) S 15343 15343 11928 0 -1 1077944384 111 0 0 0 3 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034507721200 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15390] ppid=15343 vsize=7754336 memory=14012 CPUtime=0.03 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) S 15343 15343 11928 0 -1 1077944384 127 0 0 0 3 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034506668912 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15391] ppid=15343 vsize=7754336 memory=19732 CPUtime=0.17 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) S 15343 15343 11928 0 -1 1077944384 480 0 0 0 17 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034505616112 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15392] ppid=15343 vsize=7754336 memory=14068 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15343 15343 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140033180821856 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15393] ppid=15343 vsize=7754336 memory=2120 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15343 15343 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419741123 7940440064 25271 33554432000 4194304 4196468 140721161310320 140034504562992 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
Current children cumulated CPU time: 124.84 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 102556 KiB

[startup+106.801 s]
/proc/loadavg: 1.15 4.15 6.18 4/211 15393
/proc/meminfo: memFree=31439124/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1472 CPUtime=123.86 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 581 96611 0 0 0 0 12033 353 20 0 1 0 419730545 115843072 368 33554432000 4194304 5098028 140728048529088 140728048525832 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 368 311 221 0 87 0
[pid=15374] ppid=15343 vsize=8283048 memory=133428 CPUtime=2.11 cores=0-7
/proc/15374/stat : 15374 (java) S 15343 15343 11928 0 -1 1077944320 21806 8141 0 0 175 10 20 6 20 0 22 0 419741116 8481841152 33357 33554432000 4194304 4196468 140721161310320 140721161292864 140035684867831 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
/proc/15374/statm: 2070762 33357 3221 1 0 2032106 0
[pid=15374/tid=15375] ppid=15343 vsize=8283048 memory=75464 CPUtime=1.19 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15343 15343 11928 0 -1 4202560 17721 8141 0 0 86 7 20 6 20 0 22 0 419741116 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035656705584 140035143894036 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15376] ppid=15343 vsize=8283048 memory=1412 CPUtime=0.26 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035689109904 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15377] ppid=15343 vsize=8283048 memory=3164 CPUtime=0.26 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035489278224 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15378] ppid=15343 vsize=8283048 memory=1392 CPUtime=0.26 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15343 15343 11928 0 -1 1077944384 3 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035488225936 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15379] ppid=15343 vsize=8283048 memory=7987880 CPUtime=0.26 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035487173136 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15380] ppid=15343 vsize=8283048 memory=1756 CPUtime=0.26 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15343 15343 11928 0 -1 1077944384 2 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035486120848 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15381] ppid=15343 vsize=8283048 memory=1398722017469774279 CPUtime=0.26 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15343 15343 11928 0 -1 1077944384 2 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035485068048 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15382] ppid=15343 vsize=8283048 memory=6791534058613427641 CPUtime=0.26 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15343 15343 11928 0 -1 1077944384 2 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035484015760 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15383] ppid=15343 vsize=8283048 memory=1756 CPUtime=0.26 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 33357 33554432000 4194304 4196468 140721161310320 140035482962960 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15384] ppid=15343 vsize=8283048 memory=4004 CPUtime=0.26 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15343 15343 11928 0 -1 1077944384 5 8141 0 0 0 0 20 6 20 0 22 0 419741119 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034509826160 140035684878978 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15385] ppid=15343 vsize=8283048 memory=2832 CPUtime=0.26 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15343 15343 11928 0 -1 1077944384 13 8141 0 0 0 0 20 6 20 0 22 0 419741120 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034321670944 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15386] ppid=15343 vsize=8283048 memory=280427676893344 CPUtime=0.26 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741120 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034053235824 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15387] ppid=15343 vsize=8283048 memory=140213950045441 CPUtime=0.26 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140033678727248 140035684886427 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15388] ppid=15343 vsize=8283048 memory=8514701219880863137 CPUtime=0.43 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) S 15343 15343 11928 0 -1 1077944384 979 8141 0 0 17 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034508774000 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15389] ppid=15343 vsize=8283048 memory=5450916415356110656 CPUtime=0.43 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) S 15343 15343 11928 0 -1 1077944384 418 8141 0 0 17 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034507721200 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15390] ppid=15343 vsize=8283048 memory=606107180415020586 CPUtime=0.41 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) S 15343 15343 11928 0 -1 1077944384 397 8141 0 0 15 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034506668912 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15391] ppid=15343 vsize=8283048 memory=15340 CPUtime=0.58 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) R 15343 15343 11928 0 -1 4202560 826 8141 0 0 32 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034505611872 140035664582628 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15392] ppid=15343 vsize=8283048 memory=3689630298271923475 CPUtime=0.26 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15343 15343 11928 0 -1 1077944384 3 8141 0 0 0 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140033180821856 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15393] ppid=15343 vsize=8283048 memory=6655300316396806240 CPUtime=0.26 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741123 8481841152 33357 33554432000 4194304 4196468 140721161310320 140034504562992 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
Current children cumulated CPU time: 125.97 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134900 KiB

[startup+106.901 s]
/proc/loadavg: 1.15 4.15 6.18 4/211 15393
/proc/meminfo: memFree=31439124/32770624 swapFree=67004232/67108860
[pid=15343] ppid=15340 vsize=113128 memory=1472 CPUtime=123.86 cores=0-7
/proc/15343/stat : 15343 (scop.sh) S 15340 15343 11928 0 -1 4202496 581 96611 0 0 0 0 12033 353 20 0 1 0 419730545 115843072 368 33554432000 4194304 5098028 140728048529088 140728048525832 140405462811260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140728048530212 140728048530540 140728048530540 140728048533453 0
/proc/15343/statm: 28282 368 311 221 0 87 0
[pid=15374] ppid=15343 vsize=8283048 memory=144528 CPUtime=2.46 cores=0-7
/proc/15374/stat : 15374 (java) S 15343 15343 11928 0 -1 1077944320 24167 8141 0 0 208 12 20 6 20 0 22 0 419741116 8481841152 35620 33554432000 4194304 4196468 140721161310320 140721161292864 140035684867831 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
/proc/15374/statm: 2070762 35620 3233 1 0 2032106 0
[pid=15374/tid=15375] ppid=15343 vsize=8283048 memory=129588 CPUtime=1.29 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15343 15343 11928 0 -1 4202560 19476 8141 0 0 95 8 20 6 20 0 22 0 419741116 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035656694368 140035684889661 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15376] ppid=15343 vsize=8283048 memory=1392 CPUtime=0.26 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035689109904 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15377] ppid=15343 vsize=8283048 memory=7988428 CPUtime=0.26 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035489278224 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15378] ppid=15343 vsize=8283048 memory=916 CPUtime=0.26 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15343 15343 11928 0 -1 1077944384 3 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035488225936 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15379] ppid=15343 vsize=8283048 memory=6791534058613427641 CPUtime=0.26 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035487173136 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15380] ppid=15343 vsize=8283048 memory=288230621803970871 CPUtime=0.26 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15343 15343 11928 0 -1 1077944384 2 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035486120848 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15381] ppid=15343 vsize=8283048 memory=15262527902714418 CPUtime=0.26 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15343 15343 11928 0 -1 1077944384 2 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035485068048 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15382] ppid=15343 vsize=8283048 memory=1964 CPUtime=0.26 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15343 15343 11928 0 -1 1077944384 2 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035484015760 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15383] ppid=15343 vsize=8283048 memory=69344 CPUtime=0.26 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741118 8481841152 36132 33554432000 4194304 4196468 140721161310320 140035482962960 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15384] ppid=15343 vsize=8283048 memory=1720 CPUtime=0.26 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15343 15343 11928 0 -1 1077944384 5 8141 0 0 0 0 20 6 20 0 22 0 419741119 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034509826160 140035684878978 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15385] ppid=15343 vsize=8283048 memory=1096 CPUtime=0.26 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15343 15343 11928 0 -1 1077944384 13 8141 0 0 0 0 20 6 20 0 22 0 419741120 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034321670944 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15386] ppid=15343 vsize=8283048 memory=5964 CPUtime=0.26 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741120 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034053235824 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15387] ppid=15343 vsize=8283048 memory=6791534058613427641 CPUtime=0.26 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140033678727248 140035684886427 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15388] ppid=15343 vsize=8283048 memory=6791534058613427641 CPUtime=0.5 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) R 15343 15343 11928 0 -1 4202560 1002 8141 0 0 24 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034508754512 140035684879766 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15389] ppid=15343 vsize=8283048 memory=6944656592455359580 CPUtime=0.49 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) R 15343 15343 11928 0 -1 4202560 577 8141 0 0 23 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034507702736 140035668364619 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15390] ppid=15343 vsize=8283048 memory=6655300316396806240 CPUtime=0.48 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) R 15343 15343 11928 0 -1 4202560 693 8141 0 0 22 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034506654936 140035666387446 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15391] ppid=15343 vsize=8283048 memory=4137282578176515228 CPUtime=0.63 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) S 15343 15343 11928 0 -1 1077944384 955 8141 0 0 37 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034505616112 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15392] ppid=15343 vsize=8283048 memory=6944656592455097440 CPUtime=0.26 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15343 15343 11928 0 -1 1077944384 3 8141 0 0 0 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140033180821856 140035684878037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
[pid=15374/tid=15393] ppid=15343 vsize=8283048 memory=-2541025661996457098 CPUtime=0.26 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15343 15343 11928 0 -1 1077944384 1 8141 0 0 0 0 20 6 20 0 22 0 419741123 8481841152 36132 33554432000 4194304 4196468 140721161310320 140034504562992 140035684878978 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140721161319415 140721161319574 140721161319574 140721161322447 0
Current children cumulated CPU time: 126.32 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146000 KiB

Child status: 0
Real time (s): 106.927
CPU time (s): 126.395
CPU user time (s): 122.662
CPU system time (s): 3.73313
CPU usage (%): 118.207
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7992920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.662
system time used= 3.73313
maximum resident set size= 7992228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20172
involuntary context switches= 152


# summary of solver processes directly reported to runsolver:
#   pid: 15343
#   total CPU time (s): 126.395
#   total CPU user time (s): 122.662
#   total CPU system time (s): 3.73313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.731446 second user time and 1.04228 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 06:34:13
IDJOB=4392582
IDBENCH=134028
IDSOLVER=2839
FILE ID=node148/4392582-1568435689
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 61264 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-020-table.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392582-1568435689/watcher-4392582-1568435689 -o /tmp/evaluation-result-4392582-1568435689/solver-4392582-1568435689 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392582-1568435689.xml

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

MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=1091414932

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:        31492188 kB
MemAvailable:   31907548 kB
Buffers:           96348 kB
Cached:           615192 kB
SwapCached:         3812 kB
Active:           458556 kB
Inactive:         261024 kB
Active(anon):       5524 kB
Inactive(anon):    43744 kB
Active(file):     453032 kB
Inactive(file):   217280 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             67448 kB
Writeback:             0 kB
AnonPages:         45716 kB
Mapped:            44636 kB
Shmem:             32352 kB
Slab:             150640 kB
SReclaimable:     121768 kB
SUnreclaim:        28872 kB
KernelStack:        3728 kB
PageTables:         5020 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:         0 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:36:00