Trace number 4392386

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 653.44 612.051

General information on the benchmark

NameNonogram/Nonogram-table-s1/
Nonogram-122-table.xml
MD5SUM1ecda127feec841a205962b399f2051f
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 benchmark32.3263
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of constraints64
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1024}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1024}]
Minimum constraint arity32
Maximum constraint arity32
Distribution of constraint arities[{"arity":32,"count":64}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15582-serial-file.bin HOME/instance-4392386-1568435843.xml
0.58/0.99	
0.58/0.99	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.58/0.99	
0.72/1.01	c BEGIN-Prog: Sat Sep 14 06:36:50 CEST 2019
0.72/1.01	c PID: 15585
0.72/1.01	c IP: 172.20.3.148
0.72/1.01	c HOST: node148.alineos.net
0.72/1.02	c (0,0) Parsing Begin
48.64/35.69	c (34,33) Parsing End
48.75/35.70	c (34,33) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
48.75/35.70	c (34,33) Heap : 7620 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
48.75/35.70	c (34,33) Constraint Name Generate Begin
48.75/35.71	c (34,33) Ctr:HOME/instance-4392386-1568435843.xml,ExtensionSupport:Var
48.75/35.71	c (34,33) Constraint Name Generate End
48.75/35.71	c (34,33) Heap : 7620 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
48.75/35.71	c (34,33) CSP to CSPinCNF Begin
205.84/178.68	c (177,174) translated 7 (10%) constraints
320.89/291.60	c (290,287) translated 13 (20%) constraints
350.20/319.43	c (318,314) translated 20 (30%) constraints
372.42/341.38	c (340,336) translated 26 (40%) constraints
461.23/428.68	c (427,424) translated 32 (50%) constraints
571.76/536.72	c (535,531) translated 39 (60%) constraints
613.85/578.18	c (577,573) translated 45 (70%) constraints
630.09/594.19	c (593,589) translated 52 (80%) constraints
635.65/599.62	c (598,594) translated 58 (90%) constraints
643.57/607.44	c (606,602) translated 64 (100%) constraints
643.57/607.46	c (606,602) ===========================================
643.57/607.46	c (606,602) Order
643.57/607.46	c (606,602) ===========================================
643.99/607.63	c (606,602) translated 6557 (10%) constraints
644.32/607.76	c (606,602) translated 13113 (20%) constraints
644.45/607.87	c (606,602) translated 19669 (30%) constraints
644.55/607.99	c (606,603) translated 26226 (40%) constraints
644.69/608.10	c (607,603) translated 32782 (50%) constraints
644.95/608.23	c (607,603) translated 39338 (60%) constraints
645.06/608.35	c (607,603) translated 45895 (70%) constraints
645.27/608.47	c (607,603) translated 52451 (80%) constraints
645.39/608.59	c (607,603) translated 59007 (90%) constraints
645.59/608.70	c (607,603) translated 65563 (100%) constraints
645.59/608.70	c (607,603) CSP to CSPinCNF End
645.59/608.71	c (607,603) CSP: 0 int (0 aux), 15178 bool (14154 aux), 65563 ctr, max domain size 2
645.59/608.71	c (607,603) Heap : 9249 MiB used (max 22519 MiB), NonHeap : 28 MiB used (max 0 MiB)
645.59/608.71	c (607,603) CSPinCNF Propagation Begin
647.96/609.73	c (608,604) 2193 values, 11645 unsatisfiable literals, and 10935 valid clauses are removed
647.96/609.73	c (608,604) CSPinCNF Propagation End
647.96/609.73	c (608,604) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
647.96/609.73	c (608,604) Heap : 9549 MiB used (max 22519 MiB), NonHeap : 28 MiB used (max 0 MiB)
647.96/609.73	c (608,604) Simplify CSPinCNF Begin
648.24/609.86	c (608,604) Simplify CSPinCNF End
648.24/609.86	c (608,604) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
648.24/609.86	c (608,604) Heap : 9549 MiB used (max 22519 MiB), NonHeap : 28 MiB used (max 0 MiB)
648.24/609.86	c (608,604) Calculate Precise Domain Begin
648.24/609.86	c (608,604) 0 values are removed by re-calculation
648.24/609.86	c (608,604) Calculate Precise Domain End
648.24/609.86	c (608,604) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
648.24/609.86	c (608,604) Heap : 9549 MiB used (max 22519 MiB), NonHeap : 28 MiB used (max 0 MiB)
648.24/609.86	c (608,604) CSPinCNF to SatSolver Begin
649.25/610.14	c (609,605) 5463 (10 %) CSP clauses are encoded (0 SAT variables, 5462 SAT clauses)
649.62/610.22	c (609,605) 10926 (20 %) CSP clauses are encoded (0 SAT variables, 10925 SAT clauses)
649.62/610.29	c (609,605) 16389 (30 %) CSP clauses are encoded (0 SAT variables, 16388 SAT clauses)
650.02/610.34	c (609,605) 21852 (40 %) CSP clauses are encoded (0 SAT variables, 21851 SAT clauses)
650.02/610.38	c (609,605) 27314 (50 %) CSP clauses are encoded (0 SAT variables, 27313 SAT clauses)
650.23/610.42	c (609,605) 32777 (60 %) CSP clauses are encoded (0 SAT variables, 32776 SAT clauses)
650.23/610.46	c (609,605) 38240 (70 %) CSP clauses are encoded (0 SAT variables, 38239 SAT clauses)
650.32/610.51	c (609,605) 43703 (80 %) CSP clauses are encoded (0 SAT variables, 43702 SAT clauses)
650.32/610.55	c (609,605) 49166 (90 %) CSP clauses are encoded (0 SAT variables, 49165 SAT clauses)
650.32/610.59	c (609,605) 54628 (100 %) CSP clauses are encoded (0 SAT variables, 54627 SAT clauses)
650.32/610.59	c (609,605) CSPinCNF to SatSolver End
650.32/610.59	c (609,605) Heap : 10001 MiB used (max 22519 MiB), NonHeap : 30 MiB used (max 0 MiB)
650.32/610.59	c (609,605) 12808 bool, 54628 clause
650.32/610.59	c (609,605) Export Begin
650.63/610.74	c (609,605) Export to HOME/scop-15582-serial-file.bin
650.63/610.74	c (609,605) Export End
650.63/610.74	c (609,605) Export File Size: 0.21 MB
650.63/610.74	c (609,605) 34,34,607,608,608,608,609,STOP-AFTER(DIMACS)
650.63/610.75	c END-Prog: Sat Sep 14 06:46:59 CEST 2019
0.00/610.81	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15582-serial-file.bin
651.35/611.28	c (0,0) Read Serial File Begin
651.35/611.28	c (0,0) HOME/scop-15582-serial-file.bin
651.83/611.56	c (0,0) Read Serial File End
651.83/611.57	
651.83/611.57	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
651.83/611.57	(Solving Process)
651.83/611.57	
651.83/611.59	c BEGIN-Prog: Sat Sep 14 06:47:00 CEST 2019
651.83/611.59	c PID: 15652
651.83/611.59	c IP: 172.20.3.148
651.83/611.59	c HOST: node148.alineos.net
651.83/611.60	c (0,0) SatSolver.solve Begin
651.83/611.60	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392386-1568435843.xml-scop-15585.cnf
652.16/611.62	c (0,0) c
652.16/611.62	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)
652.16/611.62	c (0,0) c
652.16/611.62	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
652.16/611.62	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
652.16/611.62	c (0,0) c ========================================[ Problem Statistics ]===========================================
652.16/611.62	c (0,0) c |                                                                                                       |
652.16/611.64	c (0,0) c |  Number of variables:         12808                                                                   |
652.16/611.64	c (0,0) c |  Number of clauses:           54628                                                                   |
652.16/611.64	c (0,0) c |  Parse time:                   0.02 s                                                                 |
652.16/611.64	c (0,0) c |                                                                                                       |
652.37/611.70	c (0,0) c |  Simplification time:          0.06 s                                                                 |
652.37/611.70	c (0,0) c |                                                                                                       |
652.37/611.70	c (0,0) c |  Generating clones                                                                                    |
652.37/611.73	c (0,0) c |  all clones generated. Memory =    63.99Mb.                                                           |
652.37/611.73	c (0,0) c ========================================================================================================|
652.37/611.73	c (0,0) c
652.37/611.73	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
652.37/611.73	c (0,0) c
652.37/611.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.73	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
652.37/611.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.73	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
652.37/611.73	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
652.37/611.73	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
652.37/611.73	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
652.37/611.73	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
652.37/611.74	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
652.37/611.74	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
652.37/611.74	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
652.37/611.74	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
652.37/611.74	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
652.37/611.74	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
652.37/611.74	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
652.37/611.74	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
652.37/611.74	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
652.37/611.74	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
652.37/611.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.76	c (0,0) c
652.37/611.76	c (0,0) c real time : 0.144985 s
652.37/611.76	c (0,0) c cpu time  : 0.174762 s
652.37/611.76	c (0,0) c
652.37/611.76	c (0,0) c
652.37/611.76	c (0,0) c
652.37/611.76	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
652.37/611.76	c (0,0) c
652.37/611.76	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.76	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
652.37/611.76	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.76	c (0,0) c | Conflicts     |             865 |        212 |         86 |         87 |         86 |         86 |        109 |        122 |         77 |
652.37/611.76	c (0,0) c | Decisions     |            2861 |        597 |        358 |        301 |        274 |        340 |        395 |        334 |        262 |
652.37/611.76	c (0,0) c | Propagations  |          165416 |      34762 |      18441 |      18545 |      17507 |      18411 |      21436 |      21739 |      14575 |
652.37/611.76	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
652.37/611.77	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
652.37/611.77	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | PropBinClauses|          160579 |      34219 |      17288 |      17644 |      16293 |      17277 |      21494 |      22330 |      14034 |
652.37/611.77	c (0,0) c | PropPreBlocker|          629298 |     129221 |      67415 |      71233 |      68193 |      67375 |      78600 |      88400 |      58861 |
652.37/611.77	c (0,0) c | PropNotBlocker|          324461 |      61095 |      36217 |      38330 |      36922 |      36171 |      39680 |      43316 |      32730 |
652.37/611.77	c (0,0) c | LitFullScans  |         1309902 |     269002 |     139957 |     149694 |     141060 |     139862 |     164161 |     183940 |     122226 |
652.37/611.77	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | DecisionLevel0|              59 |         14 |          4 |          6 |         17 |          4 |          6 |          6 |          2 |
652.37/611.77	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
652.37/611.77	c (0,0) c | Avg_Trail     |                 |       1443 |       1426 |       1459 |       1117 |       1426 |       1174 |       1326 |       1484 |
652.37/611.77	c (0,0) c | Avg_DL        |                 |         15 |         18 |         13 |          8 |         18 |         19 |          9 |         18 |
652.37/611.77	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.77	c (0,0) c | Exported      |             310 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
652.37/611.77	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
652.37/611.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.77	c (0,0) c | Unaries       |                 |         13 |          3 |          5 |         16 |          3 |          5 |          5 |          1 |
652.37/611.77	c (0,0) c | Binaries      |                 |         35 |         22 |         11 |         15 |         22 |         19 |         18 |         17 |
652.37/611.77	c (0,0) c | Glues         |                 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
652.37/611.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.77	c (0,0) c | Orig_Seen     |             4 % |       1912 |        939 |       1107 |       1085 |        939 |       1225 |       1433 |        817 |
652.37/611.77	c (0,0) c | Diff Orig seen|                 |      X     | -      973 | -      805 | -      827 | -      973 | -      687 | -      479 | -     1095 |
652.37/611.77	c (0,0) c | Hamming       |             1 % |      X     |        157 |        121 |        193 |        160 |        121 |        171 |        118 |
652.37/611.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.77	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%|
652.37/611.77	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%|
652.37/611.77	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%|
652.37/611.77	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%|
652.37/611.77	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
652.37/611.77	c (0,0) c | PropagationTim|                 |    0.0  92%|    0.0  95%|    0.0  94%|    0.0  96%|    0.0  94%|    0.0  95%|    0.0  94%|    0.0  96%|
652.37/611.77	c (0,0) c | AnalysisTime  |                 |    0.0   3%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   1%|
652.37/611.77	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%|
652.37/611.77	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%|
652.37/611.77	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%|
652.37/611.77	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%|
652.37/611.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.77	c (0,0) c
652.37/611.77	c (0,0) c
652.37/611.77	c (0,0) c Threads : 8
652.37/611.77	c (0,0) c Winner : 0
652.37/611.77	c (0,0) c Conflicts_0 : 212
652.37/611.77	c (0,0) c Conflicts_1 : 86
652.37/611.77	c (0,0) c Conflicts_2 : 87
652.37/611.77	c (0,0) c Conflicts_3 : 86
652.37/611.77	c (0,0) c Conflicts_4 : 86
652.37/611.77	c (0,0) c Conflicts_5 : 109
652.37/611.77	c (0,0) c Conflicts_6 : 122
652.37/611.77	c (0,0) c Conflicts_7 : 77
652.37/611.77	c (0,0) c Conflicts_total : 865
652.37/611.77	c (0,0) c Conflicts_winner : 212
652.37/611.77	c (0,0) c Decisions_0 : 597
652.37/611.77	c (0,0) c Decisions_1 : 358
652.37/611.77	c (0,0) c Decisions_2 : 301
652.37/611.77	c (0,0) c Decisions_3 : 274
652.37/611.77	c (0,0) c Decisions_4 : 340
652.37/611.77	c (0,0) c Decisions_5 : 395
652.37/611.77	c (0,0) c Decisions_6 : 334
652.37/611.77	c (0,0) c Decisions_7 : 262
652.37/611.77	c (0,0) c Decisions_total : 2861
652.37/611.77	c (0,0) c Decisions_winner : 597
652.37/611.77	c (0,0) c Propagations_0 : 34762
652.37/611.77	c (0,0) c Propagations_1 : 18441
652.37/611.77	c (0,0) c Propagations_2 : 18545
652.37/611.77	c (0,0) c Propagations_3 : 17507
652.37/611.77	c (0,0) c Propagations_4 : 18411
652.37/611.77	c (0,0) c Propagations_5 : 21436
652.37/611.77	c (0,0) c Propagations_6 : 21739
652.37/611.77	c (0,0) c Propagations_7 : 14575
652.37/611.77	c (0,0) c Propagations_total : 165416
652.37/611.77	c (0,0) c Propagations_winner : 34762
652.37/611.77	c (0,0) c ReduceDBs_0 : 0
652.37/611.77	c (0,0) c ReduceDBs_1 : 0
652.37/611.77	c (0,0) c ReduceDBs_2 : 0
652.37/611.77	c (0,0) c ReduceDBs_3 : 0
652.37/611.77	c (0,0) c ReduceDBs_4 : 0
652.37/611.77	c (0,0) c ReduceDBs_5 : 0
652.37/611.77	c (0,0) c ReduceDBs_6 : 0
652.37/611.77	c (0,0) c ReduceDBs_7 : 0
652.37/611.77	c (0,0) c ReduceDBs_total : 0
652.37/611.77	c (0,0) c ReduceDBs_winner : 0
652.37/611.77	c (0,0) c SimpDBs_0 : 1
652.37/611.77	c (0,0) c SimpDBs_1 : 1
652.37/611.77	c (0,0) c SimpDBs_2 : 1
652.37/611.77	c (0,0) c SimpDBs_3 : 1
652.37/611.77	c (0,0) c SimpDBs_4 : 1
652.37/611.77	c (0,0) c SimpDBs_5 : 1
652.37/611.77	c (0,0) c SimpDBs_6 : 1
652.37/611.77	c (0,0) c SimpDBs_7 : 1
652.37/611.77	c (0,0) c SimpDBs_total : 8
652.37/611.77	c (0,0) c SimpDBs_winner : 1
652.37/611.77	c (0,0) c Restarts_0 : 1
652.37/611.77	c (0,0) c Restarts_1 : 1
652.37/611.77	c (0,0) c Restarts_2 : 1
652.37/611.77	c (0,0) c Restarts_3 : 1
652.37/611.77	c (0,0) c Restarts_4 : 1
652.37/611.77	c (0,0) c Restarts_5 : 1
652.37/611.77	c (0,0) c Restarts_6 : 1
652.37/611.77	c (0,0) c Restarts_7 : 1
652.37/611.77	c (0,0) c Restarts_total : 8
652.37/611.77	c (0,0) c Restarts_winner : 1
652.37/611.77	c (0,0) c ForcedImports_0 : 0
652.37/611.77	c (0,0) c ForcedImports_1 : 0
652.37/611.77	c (0,0) c ForcedImports_2 : 0
652.37/611.77	c (0,0) c ForcedImports_3 : 0
652.37/611.77	c (0,0) c ForcedImports_4 : 0
652.37/611.77	c (0,0) c ForcedImports_5 : 0
652.37/611.77	c (0,0) c ForcedImports_6 : 0
652.37/611.77	c (0,0) c ForcedImports_7 : 0
652.37/611.77	c (0,0) c ForcedImports_total : 0
652.37/611.77	c (0,0) c ForcedImports_winner : 0
652.37/611.77	c (0,0) c PropsBinClauses_0 : 34219
652.37/611.77	c (0,0) c PropsBinClauses_1 : 17288
652.37/611.77	c (0,0) c PropsBinClauses_2 : 17644
652.37/611.77	c (0,0) c PropsBinClauses_3 : 16293
652.37/611.77	c (0,0) c PropsBinClauses_4 : 17277
652.37/611.77	c (0,0) c PropsBinClauses_5 : 21494
652.37/611.77	c (0,0) c PropsBinClauses_6 : 22330
652.37/611.77	c (0,0) c PropsBinClauses_7 : 14034
652.37/611.77	c (0,0) c PropsBinClauses_total : 160579
652.37/611.77	c (0,0) c PropsBinClauses_winner : 34219
652.37/611.77	c (0,0) c PropsPreBlocker_0 : 129221
652.37/611.77	c (0,0) c PropsPreBlocker_1 : 67415
652.37/611.77	c (0,0) c PropsPreBlocker_2 : 71233
652.37/611.77	c (0,0) c PropsPreBlocker_3 : 68193
652.37/611.77	c (0,0) c PropsPreBlocker_4 : 67375
652.37/611.77	c (0,0) c PropsPreBlocker_5 : 78600
652.37/611.77	c (0,0) c PropsPreBlocker_6 : 88400
652.37/611.77	c (0,0) c PropsPreBlocker_7 : 58861
652.37/611.77	c (0,0) c PropsPreBlocker_total : 629298
652.37/611.77	c (0,0) c PropsPreBlocker_winner : 129221
652.37/611.77	c (0,0) c PropsNotBlocker_0 : 61095
652.37/611.77	c (0,0) c PropsNotBlocker_1 : 36217
652.37/611.77	c (0,0) c PropsNotBlocker_2 : 38330
652.37/611.77	c (0,0) c PropsNotBlocker_3 : 36922
652.37/611.77	c (0,0) c PropsNotBlocker_4 : 36171
652.37/611.77	c (0,0) c PropsNotBlocker_5 : 39680
652.37/611.77	c (0,0) c PropsNotBlocker_6 : 43316
652.37/611.77	c (0,0) c PropsNotBlocker_7 : 32730
652.37/611.77	c (0,0) c PropsNotBlocker_total : 324461
652.37/611.77	c (0,0) c PropsNotBlocker_winner : 61095
652.37/611.77	c (0,0) c PropsLitFullScans_0 : 269002
652.37/611.77	c (0,0) c PropsLitFullScans_1 : 139957
652.37/611.77	c (0,0) c PropsLitFullScans_2 : 149694
652.37/611.77	c (0,0) c PropsLitFullScans_3 : 141060
652.37/611.77	c (0,0) c PropsLitFullScans_4 : 139862
652.37/611.77	c (0,0) c PropsLitFullScans_5 : 164161
652.37/611.77	c (0,0) c PropsLitFullScans_6 : 183940
652.37/611.77	c (0,0) c PropsLitFullScans_7 : 122226
652.37/611.77	c (0,0) c PropsLitFullScans_total : 1309902
652.37/611.77	c (0,0) c PropsLitFullScans_winner : 269002
652.37/611.77	c (0,0) c LitScanFractions_0 : 0
652.37/611.77	c (0,0) c LitScanFractions_1 : 0
652.37/611.77	c (0,0) c LitScanFractions_2 : 0
652.37/611.77	c (0,0) c LitScanFractions_3 : 0
652.37/611.77	c (0,0) c LitScanFractions_4 : 0
652.37/611.77	c (0,0) c LitScanFractions_5 : 0
652.37/611.77	c (0,0) c LitScanFractions_6 : 0
652.37/611.77	c (0,0) c LitScanFractions_7 : 0
652.37/611.77	c (0,0) c LitScanFractions_total : 0
652.37/611.77	c (0,0) c LitScanFractions_winner : 0
652.37/611.77	c (0,0) c DecisionLevel0_0 : 14
652.37/611.77	c (0,0) c DecisionLevel0_1 : 4
652.37/611.77	c (0,0) c DecisionLevel0_2 : 6
652.37/611.77	c (0,0) c DecisionLevel0_3 : 17
652.37/611.77	c (0,0) c DecisionLevel0_4 : 4
652.37/611.77	c (0,0) c DecisionLevel0_5 : 6
652.37/611.77	c (0,0) c DecisionLevel0_6 : 6
652.37/611.77	c (0,0) c DecisionLevel0_7 : 2
652.37/611.77	c (0,0) c DecisionLevel0_total : 59
652.37/611.77	c (0,0) c DecisionLevel0_winner : 14
652.37/611.77	c (0,0) c Periods_0 : 0
652.37/611.77	c (0,0) c Periods_1 : 0
652.37/611.77	c (0,0) c Periods_2 : 0
652.37/611.77	c (0,0) c Periods_3 : 0
652.37/611.77	c (0,0) c Periods_4 : 0
652.37/611.77	c (0,0) c Periods_5 : 0
652.37/611.77	c (0,0) c Periods_6 : 0
652.37/611.77	c (0,0) c Periods_7 : 0
652.37/611.77	c (0,0) c Periods_total : 0
652.37/611.77	c (0,0) c Periods_winner : 0
652.37/611.77	c (0,0) c Margin_0 : 20
652.37/611.77	c (0,0) c Margin_1 : 20
652.37/611.77	c (0,0) c Margin_2 : 20
652.37/611.77	c (0,0) c Margin_3 : 20
652.37/611.77	c (0,0) c Margin_4 : 20
652.37/611.77	c (0,0) c Margin_5 : 20
652.37/611.77	c (0,0) c Margin_6 : 20
652.37/611.77	c (0,0) c Margin_7 : 20
652.37/611.77	c (0,0) c Margin_total : 160
652.37/611.77	c (0,0) c Margin_winner : 20
652.37/611.77	c (0,0) c Exported_0 : 80
652.37/611.77	c (0,0) c Exported_1 : 32
652.37/611.77	c (0,0) c Exported_2 : 26
652.37/611.77	c (0,0) c Exported_3 : 25
652.37/611.77	c (0,0) c Exported_4 : 32
652.37/611.77	c (0,0) c Exported_5 : 40
652.37/611.77	c (0,0) c Exported_6 : 39
652.37/611.77	c (0,0) c Exported_7 : 36
652.37/611.77	c (0,0) c Exported_total : 310
652.37/611.77	c (0,0) c Exported_winner : 80
652.37/611.77	c (0,0) c Imported_0 : 0
652.37/611.77	c (0,0) c Imported_1 : 0
652.37/611.77	c (0,0) c Imported_2 : 0
652.37/611.77	c (0,0) c Imported_3 : 0
652.37/611.77	c (0,0) c Imported_4 : 0
652.37/611.77	c (0,0) c Imported_5 : 0
652.37/611.77	c (0,0) c Imported_6 : 0
652.37/611.77	c (0,0) c Imported_7 : 0
652.37/611.77	c (0,0) c Imported_total : 0
652.37/611.77	c (0,0) c Imported_winner : 0
652.37/611.77	c (0,0) c Good_0 : 0
652.37/611.77	c (0,0) c Good_1 : 0
652.37/611.77	c (0,0) c Good_2 : 0
652.37/611.77	c (0,0) c Good_3 : 0
652.37/611.77	c (0,0) c Good_4 : 0
652.37/611.77	c (0,0) c Good_5 : 0
652.37/611.77	c (0,0) c Good_6 : 0
652.37/611.77	c (0,0) c Good_7 : 0
652.37/611.77	c (0,0) c Good_total : 0
652.37/611.77	c (0,0) c Good_winner : 0
652.37/611.77	c (0,0) c Purge_0 : 0
652.37/611.77	c (0,0) c Purge_1 : 0
652.37/611.77	c (0,0) c Purge_2 : 0
652.37/611.77	c (0,0) c Purge_3 : 0
652.37/611.77	c (0,0) c Purge_4 : 0
652.37/611.77	c (0,0) c Purge_5 : 0
652.37/611.77	c (0,0) c Purge_6 : 0
652.37/611.77	c (0,0) c Purge_7 : 0
652.37/611.77	c (0,0) c Purge_total : 0
652.37/611.77	c (0,0) c Purge_winner : 0
652.37/611.77	c (0,0) c Promoted_0 : 0
652.37/611.77	c (0,0) c Promoted_1 : 0
652.37/611.77	c (0,0) c Promoted_2 : 0
652.37/611.77	c (0,0) c Promoted_3 : 0
652.37/611.77	c (0,0) c Promoted_4 : 0
652.37/611.77	c (0,0) c Promoted_5 : 0
652.37/611.77	c (0,0) c Promoted_6 : 0
652.37/611.78	c (0,0) c Promoted_7 : 0
652.37/611.78	c (0,0) c Promoted_total : 0
652.37/611.78	c (0,0) c Promoted_winner : 0
652.37/611.78	c (0,0) c Remove_Imp_0 : 0
652.37/611.78	c (0,0) c Remove_Imp_1 : 0
652.37/611.78	c (0,0) c Remove_Imp_2 : 0
652.37/611.78	c (0,0) c Remove_Imp_3 : 0
652.37/611.78	c (0,0) c Remove_Imp_4 : 0
652.37/611.78	c (0,0) c Remove_Imp_5 : 0
652.37/611.78	c (0,0) c Remove_Imp_6 : 0
652.37/611.78	c (0,0) c Remove_Imp_7 : 0
652.37/611.78	c (0,0) c Remove_Imp_total : 0
652.37/611.78	c (0,0) c Remove_Imp_winner : 0
652.37/611.78	c (0,0) c Blocked_Reuse_0 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_1 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_2 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_3 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_4 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_5 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_6 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_7 : 0
652.37/611.78	c (0,0) c Blocked_Reuse_total : 0
652.37/611.78	c (0,0) c Blocked_Reuse_winner : 0
652.37/611.78	c (0,0) c Unaries_0 : 13
652.37/611.78	c (0,0) c Unaries_1 : 3
652.37/611.78	c (0,0) c Unaries_2 : 5
652.37/611.78	c (0,0) c Unaries_3 : 16
652.37/611.78	c (0,0) c Unaries_4 : 3
652.37/611.78	c (0,0) c Unaries_5 : 5
652.37/611.78	c (0,0) c Unaries_6 : 5
652.37/611.78	c (0,0) c Unaries_7 : 1
652.37/611.78	c (0,0) c Unaries_total : 51
652.37/611.78	c (0,0) c Unaries_winner : 13
652.37/611.78	c (0,0) c Binaries_0 : 35
652.37/611.78	c (0,0) c Binaries_1 : 22
652.37/611.78	c (0,0) c Binaries_2 : 11
652.37/611.78	c (0,0) c Binaries_3 : 15
652.37/611.78	c (0,0) c Binaries_4 : 22
652.37/611.78	c (0,0) c Binaries_5 : 19
652.37/611.78	c (0,0) c Binaries_6 : 18
652.37/611.78	c (0,0) c Binaries_7 : 17
652.37/611.78	c (0,0) c Binaries_total : 159
652.37/611.78	c (0,0) c Binaries_winner : 35
652.37/611.78	c (0,0) c Glues_0 : 80
652.37/611.78	c (0,0) c Glues_1 : 32
652.37/611.78	c (0,0) c Glues_2 : 26
652.37/611.78	c (0,0) c Glues_3 : 25
652.37/611.78	c (0,0) c Glues_4 : 32
652.37/611.78	c (0,0) c Glues_5 : 40
652.37/611.78	c (0,0) c Glues_6 : 39
652.37/611.78	c (0,0) c Glues_7 : 36
652.37/611.78	c (0,0) c Glues_total : 310
652.37/611.78	c (0,0) c Glues_winner : 80
652.37/611.78	c (0,0) c RunningTime_0 : 0.026796
652.37/611.78	c (0,0) c RunningTime_1 : 0.023065
652.37/611.78	c (0,0) c RunningTime_2 : 0.019963
652.37/611.78	c (0,0) c RunningTime_3 : 0.022078
652.37/611.78	c (0,0) c RunningTime_4 : 0.019131
652.37/611.78	c (0,0) c RunningTime_5 : 0.023117
652.37/611.78	c (0,0) c RunningTime_6 : 0.021063
652.37/611.78	c (0,0) c RunningTime_7 : 0.022016
652.37/611.78	c (0,0) c RunningTime_total : 0.177229
652.37/611.78	c (0,0) c RunningTime_winner : 0.026796
652.37/611.78	c (0,0) c WaitingTime_0 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_1 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_2 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_3 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_4 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_5 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_6 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_7 : 0.000000
652.37/611.78	c (0,0) c WaitingTime_total : 0.000000
652.37/611.78	c (0,0) c WaitingTime_winner : 0.000000
652.37/611.78	c (0,0) c ExchangingTime_0 : 0.000034
652.37/611.78	c (0,0) c ExchangingTime_1 : 0.000021
652.37/611.78	c (0,0) c ExchangingTime_2 : 0.000019
652.37/611.78	c (0,0) c ExchangingTime_3 : 0.000021
652.37/611.78	c (0,0) c ExchangingTime_4 : 0.000020
652.37/611.78	c (0,0) c ExchangingTime_5 : 0.000030
652.37/611.78	c (0,0) c ExchangingTime_6 : 0.000022
652.37/611.78	c (0,0) c ExchangingTime_7 : 0.000025
652.37/611.78	c (0,0) c ExchangingTime_total : 0.000194
652.37/611.78	c (0,0) c ExchangingTime_winner : 0.000034
652.37/611.78	c (0,0) c PeriodProcTime_0 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_1 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_2 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_3 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_4 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_5 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_6 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_7 : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_total : 0.000000
652.37/611.78	c (0,0) c PeriodProcTime_winner : 0.000000
652.37/611.78	c (0,0) c SolvingTime_0 : 0.026830
652.37/611.78	c (0,0) c SolvingTime_1 : 0.023087
652.37/611.78	c (0,0) c SolvingTime_2 : 0.019982
652.37/611.78	c (0,0) c SolvingTime_3 : 0.022099
652.37/611.78	c (0,0) c SolvingTime_4 : 0.019152
652.37/611.78	c (0,0) c SolvingTime_5 : 0.023147
652.37/611.78	c (0,0) c SolvingTime_6 : 0.021085
652.37/611.78	c (0,0) c SolvingTime_7 : 0.022041
652.37/611.78	c (0,0) c SolvingTime_total : 0.177423
652.37/611.78	c (0,0) c SolvingTime_winner : 0.026830
652.37/611.78	c (0,0) c PropagationTime_0 : 0.024657
652.37/611.78	c (0,0) c PropagationTime_1 : 0.021944
652.37/611.78	c (0,0) c PropagationTime_2 : 0.018844
652.37/611.78	c (0,0) c PropagationTime_3 : 0.021152
652.37/611.78	c (0,0) c PropagationTime_4 : 0.018080
652.37/611.78	c (0,0) c PropagationTime_5 : 0.021882
652.37/611.78	c (0,0) c PropagationTime_6 : 0.019888
652.37/611.78	c (0,0) c PropagationTime_7 : 0.021219
652.37/611.78	c (0,0) c PropagationTime_total : 0.167664
652.37/611.78	c (0,0) c PropagationTime_winner : 0.024657
652.37/611.78	c (0,0) c AnalysisTime_0 : 0.000866
652.37/611.78	c (0,0) c AnalysisTime_1 : 0.000372
652.37/611.78	c (0,0) c AnalysisTime_2 : 0.000367
652.37/611.78	c (0,0) c AnalysisTime_3 : 0.000379
652.37/611.78	c (0,0) c AnalysisTime_4 : 0.000289
652.37/611.78	c (0,0) c AnalysisTime_5 : 0.000489
652.37/611.78	c (0,0) c AnalysisTime_6 : 0.000549
652.37/611.78	c (0,0) c AnalysisTime_7 : 0.000324
652.37/611.78	c (0,0) c AnalysisTime_total : 0.003634
652.37/611.78	c (0,0) c AnalysisTime_winner : 0.000866
652.37/611.78	c (0,0) c ReductionTime_0 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_1 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_2 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_3 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_4 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_5 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_6 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_7 : 0.000000
652.37/611.78	c (0,0) c ReductionTime_total : 0.000000
652.37/611.78	c (0,0) c ReductionTime_winner : 0.000000
652.37/611.78	c (0,0) c SimplifyTime_0 : 0.000000
652.37/611.78	c (0,0) c SimplifyTime_1 : 0.000001
652.37/611.78	c (0,0) c SimplifyTime_2 : 0.000001
652.37/611.78	c (0,0) c SimplifyTime_3 : 0.000000
652.37/611.78	c (0,0) c SimplifyTime_4 : 0.000000
652.37/611.78	c (0,0) c SimplifyTime_5 : 0.000001
652.37/611.78	c (0,0) c SimplifyTime_6 : 0.000000
652.37/611.78	c (0,0) c SimplifyTime_7 : 0.000000
652.37/611.78	c (0,0) c SimplifyTime_total : 0.000003
652.37/611.78	c (0,0) c SimplifyTime_winner : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_0 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_1 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_2 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_3 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_4 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_5 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_6 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_7 : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_total : 0.000000
652.37/611.78	c (0,0) c UsedRateTime_winner : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_0 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_1 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_2 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_3 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_4 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_5 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_6 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_7 : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_total : 0.000000
652.37/611.78	c (0,0) c OverlapRateTime_winner : 0.000000
652.37/611.78	c (0,0) c
652.37/611.78	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
652.37/611.78	c (0,0) c
652.37/611.78	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.78	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
652.37/611.78	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.78	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
652.37/611.78	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
652.37/611.78	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
652.37/611.78	c (0,0) c | Initial random_seed   | 1011920476 |  498693489 |  646637545 | 1804416624 |  571668708 | 1252004297 |  594016654 | 1561262086 |
652.37/611.78	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
652.37/611.78	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
652.37/611.78	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
652.37/611.78	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
652.37/611.78	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
652.37/611.78	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
652.37/611.78	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
652.37/611.78	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
652.37/611.78	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
652.37/611.78	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
652.37/611.78	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
652.37/611.78	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
652.37/611.78	c (0,0) 
652.37/611.78	c (0,0) s SATISFIABLE
652.70/611.81	c (0,0) SatSolver.solve End
652.70/611.81	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
652.70/611.81	c (0,0) Show results Begin
652.93/612.00	c (0,0) x[0][0] = 1
652.93/612.00	c (0,0) x[0][1] = 1
652.93/612.00	c (0,0) x[0][2] = 1
652.93/612.00	c (0,0) x[0][3] = 1
652.93/612.00	c (0,0) x[0][4] = 1
652.93/612.00	c (0,0) x[0][5] = 1
652.93/612.00	c (0,0) x[0][6] = 1
652.93/612.00	c (0,0) x[0][7] = 1
652.93/612.00	c (0,0) x[0][8] = 1
652.93/612.00	c (0,0) x[0][9] = 1
652.93/612.00	c (0,0) x[0][10] = 1
652.93/612.00	c (0,0) x[0][11] = 1
652.93/612.00	c (0,0) x[0][12] = 1
652.93/612.00	c (0,0) x[0][13] = 1
652.93/612.00	c (0,0) x[0][14] = 1
652.93/612.00	c (0,0) x[0][15] = 1
652.93/612.00	c (0,0) x[0][16] = 1
652.93/612.00	c (0,0) x[0][17] = 1
652.93/612.00	c (0,0) x[0][18] = 1
652.93/612.00	c (0,0) x[0][19] = 1
652.93/612.00	c (0,0) x[0][20] = 1
652.93/612.00	c (0,0) x[0][21] = 1
652.93/612.00	c (0,0) x[0][22] = 1
652.93/612.00	c (0,0) x[0][23] = 1
652.93/612.00	c (0,0) x[0][24] = 1
652.93/612.00	c (0,0) x[0][25] = 1
652.93/612.00	c (0,0) x[0][26] = 1
652.93/612.00	c (0,0) x[0][27] = 1
652.93/612.00	c (0,0) x[0][28] = 1
652.93/612.00	c (0,0) x[0][29] = 1
652.93/612.00	c (0,0) x[0][30] = 1
652.93/612.00	c (0,0) x[0][31] = 1
652.93/612.00	c (0,0) x[1][0] = 1
652.93/612.00	c (0,0) x[1][1] = 0
652.93/612.00	c (0,0) x[1][2] = 0
652.93/612.00	c (0,0) x[1][3] = 0
652.93/612.00	c (0,0) x[1][4] = 0
652.93/612.00	c (0,0) x[1][5] = 0
652.93/612.00	c (0,0) x[1][6] = 0
652.93/612.00	c (0,0) x[1][7] = 0
652.93/612.00	c (0,0) x[1][8] = 0
652.93/612.00	c (0,0) x[1][9] = 1
652.93/612.00	c (0,0) x[1][10] = 0
652.93/612.00	c (0,0) x[1][11] = 0
652.93/612.00	c (0,0) x[1][12] = 1
652.93/612.00	c (0,0) x[1][13] = 0
652.93/612.00	c (0,0) x[1][14] = 0
652.93/612.00	c (0,0) x[1][15] = 0
652.93/612.00	c (0,0) x[1][16] = 0
652.93/612.00	c (0,0) x[1][17] = 1
652.93/612.00	c (0,0) x[1][18] = 0
652.93/612.00	c (0,0) x[1][19] = 0
652.93/612.00	c (0,0) x[1][20] = 0
652.93/612.00	c (0,0) x[1][21] = 1
652.93/612.00	c (0,0) x[1][22] = 0
652.93/612.00	c (0,0) x[1][23] = 0
652.93/612.00	c (0,0) x[1][24] = 0
652.93/612.00	c (0,0) x[1][25] = 0
652.93/612.00	c (0,0) x[1][26] = 0
652.93/612.00	c (0,0) x[1][27] = 1
652.93/612.00	c (0,0) x[1][28] = 0
652.93/612.00	c (0,0) x[1][29] = 0
652.93/612.00	c (0,0) x[1][30] = 0
652.93/612.00	c (0,0) x[1][31] = 1
652.93/612.00	c (0,0) x[2][0] = 1
652.93/612.00	c (0,0) x[2][1] = 0
652.93/612.00	c (0,0) x[2][2] = 0
652.93/612.00	c (0,0) x[2][3] = 0
652.93/612.00	c (0,0) x[2][4] = 0
652.93/612.00	c (0,0) x[2][5] = 0
652.93/612.00	c (0,0) x[2][6] = 0
652.93/612.00	c (0,0) x[2][7] = 1
652.93/612.00	c (0,0) x[2][8] = 1
652.93/612.00	c (0,0) x[2][9] = 1
652.93/612.00	c (0,0) x[2][10] = 0
652.93/612.00	c (0,0) x[2][11] = 0
652.93/612.00	c (0,0) x[2][12] = 1
652.93/612.00	c (0,0) x[2][13] = 1
652.93/612.00	c (0,0) x[2][14] = 0
652.93/612.00	c (0,0) x[2][15] = 0
652.93/612.00	c (0,0) x[2][16] = 0
652.93/612.00	c (0,0) x[2][17] = 1
652.93/612.00	c (0,0) x[2][18] = 0
652.93/612.00	c (0,0) x[2][19] = 0
652.93/612.00	c (0,0) x[2][20] = 0
652.93/612.00	c (0,0) x[2][21] = 1
653.29/612.01	c (0,0) x[2][22] = 0
653.29/612.01	c (0,0) x[2][23] = 0
653.29/612.01	c (0,0) x[2][24] = 0
653.29/612.01	c (0,0) x[2][25] = 0
653.29/612.01	c (0,0) x[2][26] = 0
653.29/612.01	c (0,0) x[2][27] = 1
653.29/612.01	c (0,0) x[2][28] = 0
653.29/612.01	c (0,0) x[2][29] = 0
653.29/612.01	c (0,0) x[2][30] = 0
653.29/612.01	c (0,0) x[2][31] = 1
653.29/612.01	c (0,0) x[3][0] = 1
653.29/612.01	c (0,0) x[3][1] = 0
653.29/612.01	c (0,0) x[3][2] = 0
653.29/612.01	c (0,0) x[3][3] = 0
653.29/612.01	c (0,0) x[3][4] = 0
653.29/612.01	c (0,0) x[3][5] = 0
653.29/612.01	c (0,0) x[3][6] = 0
653.29/612.01	c (0,0) x[3][7] = 1
653.29/612.01	c (0,0) x[3][8] = 0
653.29/612.01	c (0,0) x[3][9] = 0
653.29/612.01	c (0,0) x[3][10] = 0
653.29/612.01	c (0,0) x[3][11] = 0
653.29/612.01	c (0,0) x[3][12] = 0
653.29/612.01	c (0,0) x[3][13] = 1
653.29/612.01	c (0,0) x[3][14] = 0
653.29/612.01	c (0,0) x[3][15] = 0
653.29/612.01	c (0,0) x[3][16] = 1
653.29/612.01	c (0,0) x[3][17] = 1
653.29/612.01	c (0,0) x[3][18] = 0
653.29/612.01	c (0,0) x[3][19] = 0
653.29/612.01	c (0,0) x[3][20] = 1
653.29/612.01	c (0,0) x[3][21] = 1
653.29/612.01	c (0,0) x[3][22] = 1
653.29/612.01	c (0,0) x[3][23] = 1
653.29/612.01	c (0,0) x[3][24] = 0
653.29/612.01	c (0,0) x[3][25] = 0
653.29/612.01	c (0,0) x[3][26] = 1
653.29/612.01	c (0,0) x[3][27] = 1
653.29/612.01	c (0,0) x[3][28] = 0
653.29/612.01	c (0,0) x[3][29] = 0
653.29/612.01	c (0,0) x[3][30] = 0
653.29/612.01	c (0,0) x[3][31] = 1
653.29/612.01	c (0,0) x[4][0] = 1
653.29/612.01	c (0,0) x[4][1] = 0
653.29/612.01	c (0,0) x[4][2] = 0
653.29/612.01	c (0,0) x[4][3] = 1
653.29/612.01	c (0,0) x[4][4] = 1
653.29/612.01	c (0,0) x[4][5] = 1
653.29/612.01	c (0,0) x[4][6] = 1
653.29/612.01	c (0,0) x[4][7] = 1
653.29/612.01	c (0,0) x[4][8] = 0
653.29/612.01	c (0,0) x[4][9] = 0
653.29/612.01	c (0,0) x[4][10] = 0
653.29/612.01	c (0,0) x[4][11] = 1
653.29/612.01	c (0,0) x[4][12] = 1
653.29/612.01	c (0,0) x[4][13] = 1
653.29/612.01	c (0,0) x[4][14] = 0
653.29/612.01	c (0,0) x[4][15] = 0
653.29/612.01	c (0,0) x[4][16] = 1
653.29/612.01	c (0,0) x[4][17] = 0
653.29/612.01	c (0,0) x[4][18] = 0
653.29/612.01	c (0,0) x[4][19] = 0
653.29/612.01	c (0,0) x[4][20] = 1
653.29/612.01	c (0,0) x[4][21] = 0
653.29/612.01	c (0,0) x[4][22] = 0
653.29/612.01	c (0,0) x[4][23] = 1
653.29/612.01	c (0,0) x[4][24] = 0
653.29/612.01	c (0,0) x[4][25] = 0
653.29/612.01	c (0,0) x[4][26] = 1
653.29/612.01	c (0,0) x[4][27] = 0
653.29/612.01	c (0,0) x[4][28] = 0
653.29/612.01	c (0,0) x[4][29] = 0
653.29/612.01	c (0,0) x[4][30] = 0
653.29/612.01	c (0,0) x[4][31] = 1
653.29/612.01	c (0,0) x[5][0] = 1
653.29/612.01	c (0,0) x[5][1] = 1
653.29/612.01	c (0,0) x[5][2] = 1
653.29/612.01	c (0,0) x[5][3] = 1
653.29/612.01	c (0,0) x[5][4] = 0
653.29/612.01	c (0,0) x[5][5] = 0
653.29/612.01	c (0,0) x[5][6] = 0
653.29/612.01	c (0,0) x[5][7] = 1
653.29/612.01	c (0,0) x[5][8] = 1
653.29/612.01	c (0,0) x[5][9] = 0
653.29/612.01	c (0,0) x[5][10] = 0
653.29/612.01	c (0,0) x[5][11] = 1
653.29/612.01	c (0,0) x[5][12] = 0
653.29/612.01	c (0,0) x[5][13] = 1
653.29/612.01	c (0,0) x[5][14] = 1
653.29/612.01	c (0,0) x[5][15] = 1
653.29/612.01	c (0,0) x[5][16] = 1
653.29/612.01	c (0,0) x[5][17] = 1
653.29/612.01	c (0,0) x[5][18] = 1
653.29/612.01	c (0,0) x[5][19] = 1
653.29/612.01	c (0,0) x[5][20] = 1
653.29/612.01	c (0,0) x[5][21] = 0
653.29/612.01	c (0,0) x[5][22] = 0
653.29/612.01	c (0,0) x[5][23] = 1
653.29/612.01	c (0,0) x[5][24] = 1
653.29/612.01	c (0,0) x[5][25] = 1
653.29/612.01	c (0,0) x[5][26] = 1
653.29/612.01	c (0,0) x[5][27] = 1
653.29/612.01	c (0,0) x[5][28] = 1
653.29/612.01	c (0,0) x[5][29] = 1
653.29/612.01	c (0,0) x[5][30] = 0
653.29/612.01	c (0,0) x[5][31] = 1
653.29/612.01	c (0,0) x[6][0] = 1
653.29/612.01	c (0,0) x[6][1] = 0
653.29/612.01	c (0,0) x[6][2] = 0
653.29/612.01	c (0,0) x[6][3] = 1
653.29/612.01	c (0,0) x[6][4] = 0
653.29/612.01	c (0,0) x[6][5] = 0
653.29/612.01	c (0,0) x[6][6] = 0
653.29/612.01	c (0,0) x[6][7] = 0
653.29/612.01	c (0,0) x[6][8] = 1
653.29/612.01	c (0,0) x[6][9] = 0
653.29/612.01	c (0,0) x[6][10] = 0
653.29/612.01	c (0,0) x[6][11] = 1
653.29/612.01	c (0,0) x[6][12] = 0
653.29/612.01	c (0,0) x[6][13] = 0
653.29/612.01	c (0,0) x[6][14] = 0
653.29/612.01	c (0,0) x[6][15] = 0
653.29/612.01	c (0,0) x[6][16] = 0
653.29/612.01	c (0,0) x[6][17] = 1
653.29/612.01	c (0,0) x[6][18] = 0
653.29/612.01	c (0,0) x[6][19] = 0
653.29/612.01	c (0,0) x[6][20] = 0
653.29/612.01	c (0,0) x[6][21] = 0
653.29/612.01	c (0,0) x[6][22] = 0
653.29/612.02	c (0,0) x[6][23] = 0
653.29/612.02	c (0,0) x[6][24] = 1
653.29/612.02	c (0,0) x[6][25] = 0
653.29/612.02	c (0,0) x[6][26] = 0
653.29/612.02	c (0,0) x[6][27] = 0
653.29/612.02	c (0,0) x[6][28] = 0
653.29/612.02	c (0,0) x[6][29] = 1
653.29/612.02	c (0,0) x[6][30] = 1
653.29/612.02	c (0,0) x[6][31] = 1
653.29/612.02	c (0,0) x[7][0] = 1
653.29/612.02	c (0,0) x[7][1] = 0
653.29/612.02	c (0,0) x[7][2] = 0
653.29/612.02	c (0,0) x[7][3] = 1
653.29/612.02	c (0,0) x[7][4] = 1
653.29/612.02	c (0,0) x[7][5] = 1
653.29/612.02	c (0,0) x[7][6] = 1
653.29/612.02	c (0,0) x[7][7] = 1
653.29/612.02	c (0,0) x[7][8] = 1
653.29/612.02	c (0,0) x[7][9] = 0
653.29/612.02	c (0,0) x[7][10] = 0
653.29/612.02	c (0,0) x[7][11] = 1
653.29/612.02	c (0,0) x[7][12] = 1
653.29/612.02	c (0,0) x[7][13] = 1
653.29/612.02	c (0,0) x[7][14] = 1
653.29/612.02	c (0,0) x[7][15] = 0
653.29/612.02	c (0,0) x[7][16] = 0
653.29/612.02	c (0,0) x[7][17] = 1
653.29/612.02	c (0,0) x[7][18] = 0
653.29/612.02	c (0,0) x[7][19] = 0
653.29/612.02	c (0,0) x[7][20] = 0
653.29/612.02	c (0,0) x[7][21] = 0
653.29/612.02	c (0,0) x[7][22] = 0
653.29/612.02	c (0,0) x[7][23] = 0
653.29/612.02	c (0,0) x[7][24] = 1
653.29/612.02	c (0,0) x[7][25] = 1
653.29/612.02	c (0,0) x[7][26] = 1
653.29/612.02	c (0,0) x[7][27] = 0
653.29/612.02	c (0,0) x[7][28] = 0
653.29/612.02	c (0,0) x[7][29] = 0
653.29/612.02	c (0,0) x[7][30] = 0
653.29/612.02	c (0,0) x[7][31] = 1
653.29/612.02	c (0,0) x[8][0] = 1
653.29/612.02	c (0,0) x[8][1] = 0
653.29/612.02	c (0,0) x[8][2] = 0
653.29/612.02	c (0,0) x[8][3] = 0
653.29/612.02	c (0,0) x[8][4] = 0
653.29/612.02	c (0,0) x[8][5] = 1
653.29/612.02	c (0,0) x[8][6] = 0
653.29/612.02	c (0,0) x[8][7] = 0
653.29/612.02	c (0,0) x[8][8] = 1
653.29/612.02	c (0,0) x[8][9] = 1
653.29/612.02	c (0,0) x[8][10] = 1
653.29/612.02	c (0,0) x[8][11] = 1
653.29/612.02	c (0,0) x[8][12] = 0
653.29/612.02	c (0,0) x[8][13] = 0
653.29/612.02	c (0,0) x[8][14] = 1
653.29/612.02	c (0,0) x[8][15] = 0
653.29/612.02	c (0,0) x[8][16] = 0
653.29/612.02	c (0,0) x[8][17] = 1
653.29/612.02	c (0,0) x[8][18] = 0
653.29/612.02	c (0,0) x[8][19] = 0
653.29/612.02	c (0,0) x[8][20] = 0
653.29/612.02	c (0,0) x[8][21] = 0
653.29/612.02	c (0,0) x[8][22] = 0
653.29/612.02	c (0,0) x[8][23] = 0
653.29/612.02	c (0,0) x[8][24] = 0
653.29/612.02	c (0,0) x[8][25] = 0
653.29/612.02	c (0,0) x[8][26] = 1
653.29/612.02	c (0,0) x[8][27] = 0
653.29/612.02	c (0,0) x[8][28] = 0
653.29/612.02	c (0,0) x[8][29] = 0
653.29/612.02	c (0,0) x[8][30] = 0
653.29/612.02	c (0,0) x[8][31] = 1
653.29/612.02	c (0,0) x[9][0] = 1
653.29/612.02	c (0,0) x[9][1] = 0
653.29/612.02	c (0,0) x[9][2] = 0
653.29/612.02	c (0,0) x[9][3] = 0
653.29/612.02	c (0,0) x[9][4] = 0
653.29/612.02	c (0,0) x[9][5] = 1
653.29/612.02	c (0,0) x[9][6] = 0
653.29/612.02	c (0,0) x[9][7] = 0
653.29/612.02	c (0,0) x[9][8] = 0
653.29/612.02	c (0,0) x[9][9] = 0
653.29/612.02	c (0,0) x[9][10] = 0
653.29/612.02	c (0,0) x[9][11] = 1
653.29/612.02	c (0,0) x[9][12] = 0
653.29/612.02	c (0,0) x[9][13] = 0
653.29/612.02	c (0,0) x[9][14] = 1
653.29/612.02	c (0,0) x[9][15] = 1
653.29/612.02	c (0,0) x[9][16] = 1
653.29/612.02	c (0,0) x[9][17] = 1
653.29/612.02	c (0,0) x[9][18] = 0
653.29/612.02	c (0,0) x[9][19] = 0
653.29/612.02	c (0,0) x[9][20] = 0
653.29/612.02	c (0,0) x[9][21] = 0
653.29/612.02	c (0,0) x[9][22] = 0
653.29/612.02	c (0,0) x[9][23] = 0
653.29/612.02	c (0,0) x[9][24] = 0
653.29/612.02	c (0,0) x[9][25] = 0
653.29/612.02	c (0,0) x[9][26] = 1
653.29/612.02	c (0,0) x[9][27] = 1
653.29/612.02	c (0,0) x[9][28] = 1
653.29/612.02	c (0,0) x[9][29] = 1
653.29/612.02	c (0,0) x[9][30] = 0
653.29/612.02	c (0,0) x[9][31] = 1
653.29/612.02	c (0,0) x[10][0] = 1
653.29/612.02	c (0,0) x[10][1] = 1
653.29/612.02	c (0,0) x[10][2] = 1
653.29/612.02	c (0,0) x[10][3] = 1
653.29/612.02	c (0,0) x[10][4] = 1
653.29/612.02	c (0,0) x[10][5] = 1
653.29/612.02	c (0,0) x[10][6] = 0
653.29/612.02	c (0,0) x[10][7] = 0
653.29/612.02	c (0,0) x[10][8] = 0
653.29/612.02	c (0,0) x[10][9] = 0
653.29/612.02	c (0,0) x[10][10] = 0
653.29/612.02	c (0,0) x[10][11] = 1
653.29/612.02	c (0,0) x[10][12] = 1
653.29/612.02	c (0,0) x[10][13] = 0
653.29/612.02	c (0,0) x[10][14] = 0
653.29/612.02	c (0,0) x[10][15] = 0
653.29/612.02	c (0,0) x[10][16] = 0
653.29/612.02	c (0,0) x[10][17] = 0
653.29/612.02	c (0,0) x[10][18] = 0
653.29/612.02	c (0,0) x[10][19] = 0
653.29/612.02	c (0,0) x[10][20] = 0
653.29/612.02	c (0,0) x[10][21] = 0
653.29/612.02	c (0,0) x[10][22] = 0
653.29/612.02	c (0,0) x[10][23] = 0
653.29/612.02	c (0,0) x[10][24] = 0
653.29/612.02	c (0,0) x[10][25] = 0
653.29/612.02	c (0,0) x[10][26] = 0
653.29/612.02	c (0,0) x[10][27] = 0
653.29/612.02	c (0,0) x[10][28] = 0
653.29/612.02	c (0,0) x[10][29] = 1
653.29/612.02	c (0,0) x[10][30] = 0
653.29/612.02	c (0,0) x[10][31] = 1
653.29/612.02	c (0,0) x[11][0] = 1
653.29/612.02	c (0,0) x[11][1] = 0
653.29/612.02	c (0,0) x[11][2] = 0
653.29/612.02	c (0,0) x[11][3] = 0
653.29/612.02	c (0,0) x[11][4] = 0
653.29/612.02	c (0,0) x[11][5] = 1
653.29/612.02	c (0,0) x[11][6] = 1
653.29/612.02	c (0,0) x[11][7] = 1
653.29/612.02	c (0,0) x[11][8] = 1
653.29/612.02	c (0,0) x[11][9] = 0
653.29/612.02	c (0,0) x[11][10] = 0
653.29/612.02	c (0,0) x[11][11] = 0
653.29/612.02	c (0,0) x[11][12] = 1
653.29/612.02	c (0,0) x[11][13] = 0
653.29/612.02	c (0,0) x[11][14] = 0
653.29/612.02	c (0,0) x[11][15] = 0
653.29/612.02	c (0,0) x[11][16] = 0
653.29/612.02	c (0,0) x[11][17] = 0
653.29/612.02	c (0,0) x[11][18] = 0
653.29/612.02	c (0,0) x[11][19] = 0
653.29/612.02	c (0,0) x[11][20] = 0
653.29/612.02	c (0,0) x[11][21] = 0
653.29/612.02	c (0,0) x[11][22] = 0
653.29/612.02	c (0,0) x[11][23] = 0
653.29/612.02	c (0,0) x[11][24] = 0
653.29/612.02	c (0,0) x[11][25] = 0
653.29/612.02	c (0,0) x[11][26] = 0
653.29/612.02	c (0,0) x[11][27] = 0
653.29/612.02	c (0,0) x[11][28] = 0
653.29/612.02	c (0,0) x[11][29] = 1
653.29/612.02	c (0,0) x[11][30] = 1
653.29/612.02	c (0,0) x[11][31] = 1
653.29/612.02	c (0,0) x[12][0] = 1
653.29/612.02	c (0,0) x[12][1] = 0
653.29/612.02	c (0,0) x[12][2] = 0
653.29/612.02	c (0,0) x[12][3] = 0
653.29/612.02	c (0,0) x[12][4] = 0
653.29/612.02	c (0,0) x[12][5] = 0
653.29/612.02	c (0,0) x[12][6] = 0
653.29/612.02	c (0,0) x[12][7] = 0
653.29/612.02	c (0,0) x[12][8] = 1
653.29/612.02	c (0,0) x[12][9] = 1
653.29/612.02	c (0,0) x[12][10] = 1
653.29/612.02	c (0,0) x[12][11] = 1
653.29/612.02	c (0,0) x[12][12] = 1
653.29/612.02	c (0,0) x[12][13] = 0
653.29/612.02	c (0,0) x[12][14] = 0
653.29/612.02	c (0,0) x[12][15] = 0
653.29/612.02	c (0,0) x[12][16] = 0
653.29/612.02	c (0,0) x[12][17] = 0
653.29/612.02	c (0,0) x[12][18] = 0
653.29/612.02	c (0,0) x[12][19] = 0
653.29/612.02	c (0,0) x[12][20] = 0
653.29/612.02	c (0,0) x[12][21] = 0
653.29/612.02	c (0,0) x[12][22] = 0
653.29/612.02	c (0,0) x[12][23] = 0
653.29/612.02	c (0,0) x[12][24] = 0
653.29/612.02	c (0,0) x[12][25] = 0
653.29/612.02	c (0,0) x[12][26] = 0
653.29/612.02	c (0,0) x[12][27] = 0
653.29/612.02	c (0,0) x[12][28] = 0
653.29/612.02	c (0,0) x[12][29] = 0
653.29/612.02	c (0,0) x[12][30] = 0
653.29/612.02	c (0,0) x[12][31] = 0
653.29/612.02	c (0,0) x[13][0] = 1
653.29/612.02	c (0,0) x[13][1] = 0
653.29/612.02	c (0,0) x[13][2] = 0
653.29/612.02	c (0,0) x[13][3] = 1
653.29/612.02	c (0,0) x[13][4] = 1
653.29/612.02	c (0,0) x[13][5] = 1
653.29/612.02	c (0,0) x[13][6] = 0
653.29/612.02	c (0,0) x[13][7] = 0
653.29/612.02	c (0,0) x[13][8] = 1
653.29/612.02	c (0,0) x[13][9] = 0
653.29/612.02	c (0,0) x[13][10] = 0
653.29/612.02	c (0,0) x[13][11] = 0
653.29/612.02	c (0,0) x[13][12] = 0
653.29/612.02	c (0,0) x[13][13] = 0
653.29/612.02	c (0,0) x[13][14] = 0
653.29/612.02	c (0,0) x[13][15] = 0
653.29/612.02	c (0,0) x[13][16] = 0
653.29/612.02	c (0,0) x[13][17] = 0
653.29/612.02	c (0,0) x[13][18] = 0
653.29/612.02	c (0,0) x[13][19] = 0
653.29/612.02	c (0,0) x[13][20] = 0
653.29/612.02	c (0,0) x[13][21] = 0
653.29/612.02	c (0,0) x[13][22] = 0
653.29/612.02	c (0,0) x[13][23] = 0
653.29/612.02	c (0,0) x[13][24] = 0
653.29/612.02	c (0,0) x[13][25] = 0
653.29/612.02	c (0,0) x[13][26] = 0
653.29/612.02	c (0,0) x[13][27] = 0
653.29/612.02	c (0,0) x[13][28] = 0
653.29/612.02	c (0,0) x[13][29] = 0
653.29/612.02	c (0,0) x[13][30] = 0
653.29/612.02	c (0,0) x[13][31] = 0
653.29/612.02	c (0,0) x[14][0] = 1
653.29/612.02	c (0,0) x[14][1] = 0
653.29/612.02	c (0,0) x[14][2] = 0
653.29/612.02	c (0,0) x[14][3] = 1
653.29/612.02	c (0,0) x[14][4] = 0
653.29/612.02	c (0,0) x[14][5] = 1
653.29/612.02	c (0,0) x[14][6] = 0
653.29/612.02	c (0,0) x[14][7] = 0
653.29/612.02	c (0,0) x[14][8] = 1
653.29/612.02	c (0,0) x[14][9] = 0
653.29/612.02	c (0,0) x[14][10] = 0
653.29/612.02	c (0,0) x[14][11] = 0
653.29/612.02	c (0,0) x[14][12] = 0
653.29/612.02	c (0,0) x[14][13] = 0
653.29/612.02	c (0,0) x[14][14] = 0
653.29/612.02	c (0,0) x[14][15] = 0
653.29/612.02	c (0,0) x[14][16] = 0
653.29/612.02	c (0,0) x[14][17] = 1
653.29/612.02	c (0,0) x[14][18] = 1
653.29/612.02	c (0,0) x[14][19] = 1
653.29/612.02	c (0,0) x[14][20] = 1
653.29/612.02	c (0,0) x[14][21] = 1
653.29/612.02	c (0,0) x[14][22] = 1
653.29/612.02	c (0,0) x[14][23] = 1
653.29/612.02	c (0,0) x[14][24] = 0
653.29/612.02	c (0,0) x[14][25] = 0
653.29/612.02	c (0,0) x[14][26] = 0
653.29/612.02	c (0,0) x[14][27] = 0
653.29/612.02	c (0,0) x[14][28] = 0
653.29/612.02	c (0,0) x[14][29] = 0
653.29/612.02	c (0,0) x[14][30] = 0
653.29/612.02	c (0,0) x[14][31] = 0
653.29/612.02	c (0,0) x[15][0] = 1
653.29/612.02	c (0,0) x[15][1] = 1
653.29/612.02	c (0,0) x[15][2] = 1
653.29/612.02	c (0,0) x[15][3] = 1
653.29/612.02	c (0,0) x[15][4] = 0
653.29/612.02	c (0,0) x[15][5] = 1
653.29/612.02	c (0,0) x[15][6] = 1
653.29/612.02	c (0,0) x[15][7] = 1
653.29/612.02	c (0,0) x[15][8] = 1
653.29/612.02	c (0,0) x[15][9] = 1
653.29/612.02	c (0,0) x[15][10] = 1
653.29/612.02	c (0,0) x[15][11] = 1
653.29/612.02	c (0,0) x[15][12] = 1
653.29/612.02	c (0,0) x[15][13] = 0
653.29/612.02	c (0,0) x[15][14] = 0
653.29/612.02	c (0,0) x[15][15] = 0
653.29/612.02	c (0,0) x[15][16] = 1
653.29/612.02	c (0,0) x[15][17] = 1
653.29/612.02	c (0,0) x[15][18] = 0
653.29/612.02	c (0,0) x[15][19] = 0
653.29/612.02	c (0,0) x[15][20] = 0
653.29/612.02	c (0,0) x[15][21] = 0
653.29/612.02	c (0,0) x[15][22] = 0
653.29/612.02	c (0,0) x[15][23] = 1
653.29/612.02	c (0,0) x[15][24] = 1
653.29/612.02	c (0,0) x[15][25] = 0
653.29/612.02	c (0,0) x[15][26] = 0
653.29/612.02	c (0,0) x[15][27] = 0
653.29/612.02	c (0,0) x[15][28] = 0
653.29/612.02	c (0,0) x[15][29] = 0
653.29/612.02	c (0,0) x[15][30] = 0
653.29/612.02	c (0,0) x[15][31] = 0
653.29/612.02	c (0,0) x[16][0] = 1
653.29/612.02	c (0,0) x[16][1] = 0
653.29/612.02	c (0,0) x[16][2] = 0
653.29/612.02	c (0,0) x[16][3] = 0
653.29/612.02	c (0,0) x[16][4] = 0
653.29/612.02	c (0,0) x[16][5] = 0
653.29/612.02	c (0,0) x[16][6] = 0
653.29/612.02	c (0,0) x[16][7] = 0
653.29/612.02	c (0,0) x[16][8] = 1
653.29/612.02	c (0,0) x[16][9] = 0
653.29/612.02	c (0,0) x[16][10] = 0
653.29/612.02	c (0,0) x[16][11] = 0
653.29/612.02	c (0,0) x[16][12] = 1
653.29/612.02	c (0,0) x[16][13] = 0
653.29/612.02	c (0,0) x[16][14] = 0
653.29/612.02	c (0,0) x[16][15] = 1
653.29/612.02	c (0,0) x[16][16] = 1
653.29/612.02	c (0,0) x[16][17] = 0
653.29/612.02	c (0,0) x[16][18] = 0
653.29/612.02	c (0,0) x[16][19] = 0
653.29/612.02	c (0,0) x[16][20] = 0
653.29/612.02	c (0,0) x[16][21] = 0
653.29/612.02	c (0,0) x[16][22] = 0
653.29/612.02	c (0,0) x[16][23] = 0
653.29/612.02	c (0,0) x[16][24] = 1
653.29/612.02	c (0,0) x[16][25] = 1
653.29/612.02	c (0,0) x[16][26] = 0
653.29/612.02	c (0,0) x[16][27] = 0
653.29/612.02	c (0,0) x[16][28] = 0
653.29/612.02	c (0,0) x[16][29] = 0
653.29/612.02	c (0,0) x[16][30] = 0
653.29/612.02	c (0,0) x[16][31] = 0
653.29/612.02	c (0,0) x[17][0] = 1
653.29/612.02	c (0,0) x[17][1] = 0
653.29/612.02	c (0,0) x[17][2] = 0
653.29/612.02	c (0,0) x[17][3] = 0
653.29/612.02	c (0,0) x[17][4] = 0
653.29/612.02	c (0,0) x[17][5] = 0
653.29/612.02	c (0,0) x[17][6] = 0
653.29/612.02	c (0,0) x[17][7] = 0
653.29/612.02	c (0,0) x[17][8] = 1
653.29/612.02	c (0,0) x[17][9] = 0
653.29/612.02	c (0,0) x[17][10] = 1
653.29/612.02	c (0,0) x[17][11] = 1
653.29/612.02	c (0,0) x[17][12] = 1
653.29/612.02	c (0,0) x[17][13] = 1
653.29/612.02	c (0,0) x[17][14] = 1
653.29/612.02	c (0,0) x[17][15] = 1
653.29/612.02	c (0,0) x[17][16] = 0
653.29/612.02	c (0,0) x[17][17] = 0
653.29/612.02	c (0,0) x[17][18] = 1
653.29/612.02	c (0,0) x[17][19] = 1
653.29/612.02	c (0,0) x[17][20] = 0
653.29/612.02	c (0,0) x[17][21] = 0
653.29/612.02	c (0,0) x[17][22] = 0
653.29/612.02	c (0,0) x[17][23] = 0
653.29/612.02	c (0,0) x[17][24] = 0
653.29/612.02	c (0,0) x[17][25] = 1
653.29/612.02	c (0,0) x[17][26] = 1
653.29/612.02	c (0,0) x[17][27] = 0
653.29/612.02	c (0,0) x[17][28] = 0
653.29/612.02	c (0,0) x[17][29] = 0
653.29/612.02	c (0,0) x[17][30] = 0
653.29/612.02	c (0,0) x[17][31] = 0
653.29/612.02	c (0,0) x[18][0] = 1
653.29/612.02	c (0,0) x[18][1] = 1
653.29/612.02	c (0,0) x[18][2] = 1
653.29/612.02	c (0,0) x[18][3] = 0
653.29/612.02	c (0,0) x[18][4] = 0
653.29/612.02	c (0,0) x[18][5] = 1
653.29/612.02	c (0,0) x[18][6] = 1
653.29/612.02	c (0,0) x[18][7] = 1
653.29/612.02	c (0,0) x[18][8] = 1
653.29/612.02	c (0,0) x[18][9] = 0
653.29/612.02	c (0,0) x[18][10] = 1
653.29/612.02	c (0,0) x[18][11] = 0
653.29/612.02	c (0,0) x[18][12] = 0
653.29/612.02	c (0,0) x[18][13] = 0
653.29/612.02	c (0,0) x[18][14] = 0
653.29/612.02	c (0,0) x[18][15] = 1
653.29/612.02	c (0,0) x[18][16] = 1
653.29/612.02	c (0,0) x[18][17] = 1
653.29/612.02	c (0,0) x[18][18] = 1
653.29/612.02	c (0,0) x[18][19] = 1
653.29/612.02	c (0,0) x[18][20] = 1
653.29/612.02	c (0,0) x[18][21] = 0
653.29/612.02	c (0,0) x[18][22] = 0
653.29/612.02	c (0,0) x[18][23] = 0
653.29/612.02	c (0,0) x[18][24] = 0
653.29/612.02	c (0,0) x[18][25] = 0
653.29/612.02	c (0,0) x[18][26] = 1
653.29/612.02	c (0,0) x[18][27] = 1
653.29/612.02	c (0,0) x[18][28] = 0
653.29/612.02	c (0,0) x[18][29] = 0
653.29/612.02	c (0,0) x[18][30] = 0
653.29/612.02	c (0,0) x[18][31] = 0
653.29/612.02	c (0,0) x[19][0] = 1
653.29/612.02	c (0,0) x[19][1] = 0
653.29/612.02	c (0,0) x[19][2] = 1
653.29/612.02	c (0,0) x[19][3] = 0
653.29/612.02	c (0,0) x[19][4] = 0
653.29/612.02	c (0,0) x[19][5] = 1
653.29/612.02	c (0,0) x[19][6] = 0
653.29/612.02	c (0,0) x[19][7] = 1
653.29/612.02	c (0,0) x[19][8] = 0
653.29/612.02	c (0,0) x[19][9] = 0
653.29/612.02	c (0,0) x[19][10] = 1
653.29/612.02	c (0,0) x[19][11] = 1
653.29/612.02	c (0,0) x[19][12] = 1
653.29/612.02	c (0,0) x[19][13] = 1
653.29/612.02	c (0,0) x[19][14] = 1
653.29/612.02	c (0,0) x[19][15] = 1
653.29/612.02	c (0,0) x[19][16] = 0
653.29/612.02	c (0,0) x[19][17] = 1
653.29/612.02	c (0,0) x[19][18] = 1
653.29/612.02	c (0,0) x[19][19] = 1
653.29/612.02	c (0,0) x[19][20] = 1
653.29/612.02	c (0,0) x[19][21] = 0
653.29/612.02	c (0,0) x[19][22] = 0
653.29/612.02	c (0,0) x[19][23] = 0
653.29/612.02	c (0,0) x[19][24] = 0
653.29/612.02	c (0,0) x[19][25] = 0
653.29/612.02	c (0,0) x[19][26] = 0
653.29/612.02	c (0,0) x[19][27] = 1
653.29/612.02	c (0,0) x[19][28] = 1
653.29/612.02	c (0,0) x[19][29] = 1
653.29/612.02	c (0,0) x[19][30] = 1
653.29/612.02	c (0,0) x[19][31] = 1
653.29/612.02	c (0,0) x[20][0] = 1
653.29/612.02	c (0,0) x[20][1] = 0
653.29/612.02	c (0,0) x[20][2] = 1
653.29/612.02	c (0,0) x[20][3] = 1
653.29/612.02	c (0,0) x[20][4] = 1
653.29/612.02	c (0,0) x[20][5] = 1
653.29/612.02	c (0,0) x[20][6] = 0
653.29/612.02	c (0,0) x[20][7] = 1
653.29/612.02	c (0,0) x[20][8] = 0
653.29/612.02	c (0,0) x[20][9] = 0
653.29/612.02	c (0,0) x[20][10] = 0
653.29/612.02	c (0,0) x[20][11] = 0
653.29/612.02	c (0,0) x[20][12] = 1
653.29/612.02	c (0,0) x[20][13] = 0
653.29/612.02	c (0,0) x[20][14] = 1
653.29/612.02	c (0,0) x[20][15] = 0
653.29/612.02	c (0,0) x[20][16] = 0
653.29/612.02	c (0,0) x[20][17] = 0
653.29/612.02	c (0,0) x[20][18] = 1
653.29/612.02	c (0,0) x[20][19] = 1
653.29/612.02	c (0,0) x[20][20] = 0
653.29/612.02	c (0,0) x[20][21] = 0
653.29/612.02	c (0,0) x[20][22] = 0
653.29/612.02	c (0,0) x[20][23] = 0
653.29/612.02	c (0,0) x[20][24] = 0
653.29/612.02	c (0,0) x[20][25] = 0
653.29/612.02	c (0,0) x[20][26] = 0
653.29/612.02	c (0,0) x[20][27] = 0
653.29/612.02	c (0,0) x[20][28] = 0
653.29/612.02	c (0,0) x[20][29] = 1
653.29/612.02	c (0,0) x[20][30] = 1
653.29/612.02	c (0,0) x[20][31] = 1
653.29/612.02	c (0,0) x[21][0] = 1
653.29/612.02	c (0,0) x[21][1] = 0
653.29/612.02	c (0,0) x[21][2] = 0
653.29/612.02	c (0,0) x[21][3] = 0
653.29/612.02	c (0,0) x[21][4] = 0
653.29/612.02	c (0,0) x[21][5] = 0
653.29/612.02	c (0,0) x[21][6] = 0
653.29/612.02	c (0,0) x[21][7] = 1
653.29/612.02	c (0,0) x[21][8] = 1
653.29/612.02	c (0,0) x[21][9] = 1
653.29/612.02	c (0,0) x[21][10] = 1
653.29/612.02	c (0,0) x[21][11] = 1
653.29/612.02	c (0,0) x[21][12] = 1
653.29/612.02	c (0,0) x[21][13] = 0
653.29/612.02	c (0,0) x[21][14] = 1
653.29/612.02	c (0,0) x[21][15] = 1
653.29/612.02	c (0,0) x[21][16] = 0
653.29/612.02	c (0,0) x[21][17] = 0
653.29/612.02	c (0,0) x[21][18] = 0
653.29/612.02	c (0,0) x[21][19] = 0
653.29/612.02	c (0,0) x[21][20] = 0
653.29/612.02	c (0,0) x[21][21] = 0
653.29/612.02	c (0,0) x[21][22] = 0
653.29/612.02	c (0,0) x[21][23] = 0
653.29/612.02	c (0,0) x[21][24] = 0
653.29/612.02	c (0,0) x[21][25] = 0
653.29/612.02	c (0,0) x[21][26] = 0
653.29/612.02	c (0,0) x[21][27] = 0
653.29/612.02	c (0,0) x[21][28] = 0
653.29/612.02	c (0,0) x[21][29] = 1
653.29/612.02	c (0,0) x[21][30] = 1
653.29/612.02	c (0,0) x[21][31] = 1
653.29/612.02	c (0,0) x[22][0] = 1
653.29/612.02	c (0,0) x[22][1] = 0
653.29/612.02	c (0,0) x[22][2] = 0
653.29/612.02	c (0,0) x[22][3] = 0
653.29/612.02	c (0,0) x[22][4] = 0
653.29/612.02	c (0,0) x[22][5] = 0
653.29/612.02	c (0,0) x[22][6] = 1
653.29/612.02	c (0,0) x[22][7] = 1
653.29/612.02	c (0,0) x[22][8] = 0
653.29/612.02	c (0,0) x[22][9] = 0
653.29/612.02	c (0,0) x[22][10] = 0
653.29/612.02	c (0,0) x[22][11] = 0
653.29/612.02	c (0,0) x[22][12] = 0
653.29/612.02	c (0,0) x[22][13] = 0
653.29/612.02	c (0,0) x[22][14] = 0
653.29/612.02	c (0,0) x[22][15] = 1
653.29/612.02	c (0,0) x[22][16] = 1
653.29/612.02	c (0,0) x[22][17] = 0
653.29/612.02	c (0,0) x[22][18] = 0
653.29/612.02	c (0,0) x[22][19] = 0
653.29/612.02	c (0,0) x[22][20] = 0
653.29/612.02	c (0,0) x[22][21] = 0
653.29/612.02	c (0,0) x[22][22] = 0
653.29/612.02	c (0,0) x[22][23] = 0
653.29/612.02	c (0,0) x[22][24] = 0
653.29/612.02	c (0,0) x[22][25] = 0
653.29/612.02	c (0,0) x[22][26] = 0
653.29/612.02	c (0,0) x[22][27] = 0
653.29/612.02	c (0,0) x[22][28] = 0
653.29/612.02	c (0,0) x[22][29] = 1
653.29/612.02	c (0,0) x[22][30] = 1
653.29/612.02	c (0,0) x[22][31] = 1
653.29/612.02	c (0,0) x[23][0] = 1
653.29/612.02	c (0,0) x[23][1] = 0
653.29/612.02	c (0,0) x[23][2] = 0
653.29/612.02	c (0,0) x[23][3] = 1
653.29/612.02	c (0,0) x[23][4] = 1
653.29/612.02	c (0,0) x[23][5] = 1
653.29/612.02	c (0,0) x[23][6] = 1
653.29/612.02	c (0,0) x[23][7] = 0
653.29/612.02	c (0,0) x[23][8] = 0
653.29/612.02	c (0,0) x[23][9] = 0
653.29/612.02	c (0,0) x[23][10] = 0
653.29/612.02	c (0,0) x[23][11] = 0
653.29/612.02	c (0,0) x[23][12] = 0
653.29/612.02	c (0,0) x[23][13] = 0
653.29/612.02	c (0,0) x[23][14] = 0
653.29/612.02	c (0,0) x[23][15] = 0
653.29/612.02	c (0,0) x[23][16] = 1
653.29/612.02	c (0,0) x[23][17] = 1
653.29/612.02	c (0,0) x[23][18] = 1
653.29/612.02	c (0,0) x[23][19] = 0
653.29/612.02	c (0,0) x[23][20] = 0
653.29/612.02	c (0,0) x[23][21] = 0
653.29/612.02	c (0,0) x[23][22] = 0
653.29/612.02	c (0,0) x[23][23] = 0
653.29/612.02	c (0,0) x[23][24] = 0
653.29/612.02	c (0,0) x[23][25] = 0
653.29/612.02	c (0,0) x[23][26] = 0
653.29/612.02	c (0,0) x[23][27] = 0
653.29/612.02	c (0,0) x[23][28] = 0
653.29/612.02	c (0,0) x[23][29] = 1
653.29/612.02	c (0,0) x[23][30] = 1
653.29/612.02	c (0,0) x[23][31] = 1
653.29/612.02	c (0,0) x[24][0] = 1
653.29/612.02	c (0,0) x[24][1] = 0
653.29/612.02	c (0,0) x[24][2] = 0
653.29/612.02	c (0,0) x[24][3] = 1
653.29/612.02	c (0,0) x[24][4] = 0
653.29/612.02	c (0,0) x[24][5] = 0
653.29/612.02	c (0,0) x[24][6] = 1
653.29/612.02	c (0,0) x[24][7] = 0
653.29/612.02	c (0,0) x[24][8] = 0
653.29/612.02	c (0,0) x[24][9] = 0
653.29/612.02	c (0,0) x[24][10] = 0
653.29/612.02	c (0,0) x[24][11] = 0
653.29/612.02	c (0,0) x[24][12] = 0
653.29/612.02	c (0,0) x[24][13] = 0
653.29/612.02	c (0,0) x[24][14] = 0
653.29/612.02	c (0,0) x[24][15] = 0
653.29/612.02	c (0,0) x[24][16] = 0
653.29/612.02	c (0,0) x[24][17] = 0
653.29/612.02	c (0,0) x[24][18] = 1
653.29/612.02	c (0,0) x[24][19] = 1
653.29/612.02	c (0,0) x[24][20] = 1
653.29/612.02	c (0,0) x[24][21] = 1
653.29/612.02	c (0,0) x[24][22] = 1
653.29/612.02	c (0,0) x[24][23] = 1
653.29/612.02	c (0,0) x[24][24] = 1
653.29/612.02	c (0,0) x[24][25] = 1
653.29/612.02	c (0,0) x[24][26] = 1
653.29/612.02	c (0,0) x[24][27] = 0
653.29/612.02	c (0,0) x[24][28] = 0
653.29/612.02	c (0,0) x[24][29] = 1
653.29/612.02	c (0,0) x[24][30] = 1
653.29/612.02	c (0,0) x[24][31] = 1
653.29/612.02	c (0,0) x[25][0] = 1
653.29/612.02	c (0,0) x[25][1] = 1
653.29/612.02	c (0,0) x[25][2] = 1
653.29/612.02	c (0,0) x[25][3] = 1
653.29/612.02	c (0,0) x[25][4] = 0
653.29/612.02	c (0,0) x[25][5] = 0
653.29/612.02	c (0,0) x[25][6] = 1
653.29/612.02	c (0,0) x[25][7] = 1
653.29/612.02	c (0,0) x[25][8] = 1
653.29/612.02	c (0,0) x[25][9] = 1
653.29/612.02	c (0,0) x[25][10] = 0
653.29/612.02	c (0,0) x[25][11] = 0
653.29/612.02	c (0,0) x[25][12] = 1
653.29/612.02	c (0,0) x[25][13] = 1
653.29/612.02	c (0,0) x[25][14] = 1
653.29/612.02	c (0,0) x[25][15] = 0
653.29/612.02	c (0,0) x[25][16] = 0
653.29/612.02	c (0,0) x[25][17] = 0
653.29/612.02	c (0,0) x[25][18] = 0
653.29/612.02	c (0,0) x[25][19] = 0
653.29/612.02	c (0,0) x[25][20] = 0
653.29/612.02	c (0,0) x[25][21] = 0
653.29/612.02	c (0,0) x[25][22] = 0
653.29/612.02	c (0,0) x[25][23] = 0
653.29/612.02	c (0,0) x[25][24] = 0
653.29/612.02	c (0,0) x[25][25] = 0
653.29/612.02	c (0,0) x[25][26] = 1
653.29/612.02	c (0,0) x[25][27] = 1
653.29/612.02	c (0,0) x[25][28] = 1
653.29/612.02	c (0,0) x[25][29] = 1
653.29/612.02	c (0,0) x[25][30] = 1
653.29/612.02	c (0,0) x[25][31] = 1
653.29/612.02	c (0,0) x[26][0] = 1
653.29/612.02	c (0,0) x[26][1] = 0
653.29/612.02	c (0,0) x[26][2] = 0
653.29/612.02	c (0,0) x[26][3] = 1
653.29/612.02	c (0,0) x[26][4] = 0
653.29/612.02	c (0,0) x[26][5] = 0
653.29/612.02	c (0,0) x[26][6] = 0
653.29/612.02	c (0,0) x[26][7] = 0
653.29/612.02	c (0,0) x[26][8] = 0
653.29/612.02	c (0,0) x[26][9] = 1
653.29/612.02	c (0,0) x[26][10] = 0
653.29/612.02	c (0,0) x[26][11] = 0
653.29/612.02	c (0,0) x[26][12] = 1
653.29/612.02	c (0,0) x[26][13] = 0
653.29/612.02	c (0,0) x[26][14] = 1
653.29/612.02	c (0,0) x[26][15] = 0
653.29/612.02	c (0,0) x[26][16] = 0
653.29/612.02	c (0,0) x[26][17] = 0
653.29/612.02	c (0,0) x[26][18] = 0
653.29/612.02	c (0,0) x[26][19] = 0
653.29/612.02	c (0,0) x[26][20] = 0
653.29/612.02	c (0,0) x[26][21] = 0
653.29/612.02	c (0,0) x[26][22] = 0
653.29/612.02	c (0,0) x[26][23] = 0
653.29/612.02	c (0,0) x[26][24] = 0
653.29/612.02	c (0,0) x[26][25] = 0
653.29/612.02	c (0,0) x[26][26] = 0
653.29/612.02	c (0,0) x[26][27] = 0
653.29/612.02	c (0,0) x[26][28] = 1
653.29/612.02	c (0,0) x[26][29] = 1
653.29/612.02	c (0,0) x[26][30] = 1
653.29/612.02	c (0,0) x[26][31] = 1
653.29/612.02	c (0,0) x[27][0] = 1
653.29/612.02	c (0,0) x[27][1] = 0
653.29/612.02	c (0,0) x[27][2] = 0
653.29/612.02	c (0,0) x[27][3] = 1
653.29/612.02	c (0,0) x[27][4] = 1
653.29/612.02	c (0,0) x[27][5] = 1
653.29/612.02	c (0,0) x[27][6] = 0
653.29/612.02	c (0,0) x[27][7] = 0
653.29/612.02	c (0,0) x[27][8] = 1
653.29/612.02	c (0,0) x[27][9] = 1
653.29/612.02	c (0,0) x[27][10] = 1
653.29/612.02	c (0,0) x[27][11] = 0
653.29/612.02	c (0,0) x[27][12] = 1
653.29/612.02	c (0,0) x[27][13] = 0
653.29/612.02	c (0,0) x[27][14] = 1
653.29/612.02	c (0,0) x[27][15] = 0
653.29/612.02	c (0,0) x[27][16] = 0
653.29/612.02	c (0,0) x[27][17] = 0
653.29/612.02	c (0,0) x[27][18] = 0
653.29/612.02	c (0,0) x[27][19] = 0
653.29/612.02	c (0,0) x[27][20] = 0
653.29/612.02	c (0,0) x[27][21] = 0
653.29/612.02	c (0,0) x[27][22] = 0
653.29/612.02	c (0,0) x[27][23] = 0
653.29/612.02	c (0,0) x[27][24] = 0
653.29/612.02	c (0,0) x[27][25] = 0
653.29/612.02	c (0,0) x[27][26] = 0
653.29/612.02	c (0,0) x[27][27] = 0
653.29/612.02	c (0,0) x[27][28] = 0
653.29/612.02	c (0,0) x[27][29] = 0
653.29/612.02	c (0,0) x[27][30] = 0
653.29/612.02	c (0,0) x[27][31] = 0
653.29/612.02	c (0,0) x[28][0] = 1
653.29/612.02	c (0,0) x[28][1] = 0
653.29/612.02	c (0,0) x[28][2] = 0
653.29/612.02	c (0,0) x[28][3] = 0
653.29/612.02	c (0,0) x[28][4] = 0
653.29/612.02	c (0,0) x[28][5] = 1
653.29/612.02	c (0,0) x[28][6] = 0
653.29/612.02	c (0,0) x[28][7] = 0
653.29/612.02	c (0,0) x[28][8] = 1
653.29/612.02	c (0,0) x[28][9] = 0
653.29/612.02	c (0,0) x[28][10] = 1
653.29/612.02	c (0,0) x[28][11] = 0
653.29/612.02	c (0,0) x[28][12] = 1
653.29/612.02	c (0,0) x[28][13] = 0
653.29/612.02	c (0,0) x[28][14] = 1
653.29/612.02	c (0,0) x[28][15] = 0
653.29/612.02	c (0,0) x[28][16] = 0
653.29/612.02	c (0,0) x[28][17] = 0
653.29/612.02	c (0,0) x[28][18] = 0
653.29/612.02	c (0,0) x[28][19] = 0
653.29/612.02	c (0,0) x[28][20] = 0
653.29/612.02	c (0,0) x[28][21] = 0
653.29/612.02	c (0,0) x[28][22] = 0
653.29/612.02	c (0,0) x[28][23] = 0
653.29/612.02	c (0,0) x[28][24] = 0
653.29/612.02	c (0,0) x[28][25] = 0
653.29/612.02	c (0,0) x[28][26] = 0
653.29/612.02	c (0,0) x[28][27] = 0
653.29/612.02	c (0,0) x[28][28] = 0
653.29/612.02	c (0,0) x[28][29] = 0
653.29/612.02	c (0,0) x[28][30] = 0
653.29/612.02	c (0,0) x[28][31] = 0
653.29/612.02	c (0,0) x[29][0] = 1
653.29/612.02	c (0,0) x[29][1] = 0
653.29/612.02	c (0,0) x[29][2] = 0
653.29/612.02	c (0,0) x[29][3] = 0
653.29/612.02	c (0,0) x[29][4] = 0
653.29/612.02	c (0,0) x[29][5] = 1
653.29/612.02	c (0,0) x[29][6] = 1
653.29/612.02	c (0,0) x[29][7] = 1
653.29/612.02	c (0,0) x[29][8] = 1
653.29/612.02	c (0,0) x[29][9] = 0
653.29/612.02	c (0,0) x[29][10] = 1
653.29/612.02	c (0,0) x[29][11] = 1
653.29/612.02	c (0,0) x[29][12] = 1
653.29/612.02	c (0,0) x[29][13] = 0
653.29/612.02	c (0,0) x[29][14] = 1
653.29/612.02	c (0,0) x[29][15] = 1
653.29/612.02	c (0,0) x[29][16] = 1
653.29/612.02	c (0,0) x[29][17] = 0
653.29/612.02	c (0,0) x[29][18] = 0
653.29/612.02	c (0,0) x[29][19] = 0
653.29/612.02	c (0,0) x[29][20] = 0
653.29/612.02	c (0,0) x[29][21] = 0
653.29/612.02	c (0,0) x[29][22] = 0
653.29/612.02	c (0,0) x[29][23] = 0
653.29/612.02	c (0,0) x[29][24] = 0
653.29/612.02	c (0,0) x[29][25] = 0
653.29/612.02	c (0,0) x[29][26] = 0
653.29/612.02	c (0,0) x[29][27] = 0
653.29/612.02	c (0,0) x[29][28] = 0
653.29/612.02	c (0,0) x[29][29] = 0
653.29/612.02	c (0,0) x[29][30] = 0
653.29/612.02	c (0,0) x[29][31] = 0
653.29/612.02	c (0,0) x[30][0] = 1
653.29/612.02	c (0,0) x[30][1] = 0
653.29/612.02	c (0,0) x[30][2] = 0
653.29/612.02	c (0,0) x[30][3] = 0
653.29/612.02	c (0,0) x[30][4] = 0
653.29/612.02	c (0,0) x[30][5] = 0
653.29/612.02	c (0,0) x[30][6] = 0
653.29/612.02	c (0,0) x[30][7] = 1
653.29/612.02	c (0,0) x[30][8] = 0
653.29/612.02	c (0,0) x[30][9] = 0
653.29/612.02	c (0,0) x[30][10] = 0
653.29/612.02	c (0,0) x[30][11] = 0
653.29/612.02	c (0,0) x[30][12] = 0
653.29/612.02	c (0,0) x[30][13] = 0
653.29/612.02	c (0,0) x[30][14] = 0
653.29/612.02	c (0,0) x[30][15] = 0
653.29/612.02	c (0,0) x[30][16] = 1
653.29/612.02	c (0,0) x[30][17] = 0
653.29/612.02	c (0,0) x[30][18] = 0
653.29/612.02	c (0,0) x[30][19] = 0
653.29/612.02	c (0,0) x[30][20] = 0
653.29/612.02	c (0,0) x[30][21] = 0
653.29/612.02	c (0,0) x[30][22] = 0
653.29/612.02	c (0,0) x[30][23] = 0
653.29/612.02	c (0,0) x[30][24] = 0
653.29/612.02	c (0,0) x[30][25] = 0
653.29/612.02	c (0,0) x[30][26] = 0
653.29/612.02	c (0,0) x[30][27] = 0
653.29/612.02	c (0,0) x[30][28] = 0
653.29/612.02	c (0,0) x[30][29] = 0
653.29/612.02	c (0,0) x[30][30] = 0
653.29/612.02	c (0,0) x[30][31] = 0
653.29/612.02	c (0,0) x[31][0] = 1
653.29/612.02	c (0,0) x[31][1] = 1
653.29/612.02	c (0,0) x[31][2] = 1
653.29/612.02	c (0,0) x[31][3] = 1
653.29/612.02	c (0,0) x[31][4] = 1
653.29/612.02	c (0,0) x[31][5] = 1
653.29/612.02	c (0,0) x[31][6] = 1
653.29/612.02	c (0,0) x[31][7] = 1
653.29/612.02	c (0,0) x[31][8] = 1
653.29/612.02	c (0,0) x[31][9] = 1
653.29/612.02	c (0,0) x[31][10] = 1
653.29/612.02	c (0,0) x[31][11] = 1
653.29/612.02	c (0,0) x[31][12] = 1
653.29/612.02	c (0,0) x[31][13] = 1
653.29/612.02	c (0,0) x[31][14] = 1
653.29/612.02	c (0,0) x[31][15] = 1
653.29/612.02	c (0,0) x[31][16] = 1
653.29/612.02	c (0,0) x[31][17] = 0
653.29/612.02	c (0,0) x[31][18] = 0
653.29/612.02	c (0,0) x[31][19] = 0
653.29/612.02	c (0,0) x[31][20] = 0
653.29/612.02	c (0,0) x[31][21] = 0
653.29/612.02	c (0,0) x[31][22] = 0
653.29/612.02	c (0,0) x[31][23] = 0
653.29/612.02	c (0,0) x[31][24] = 0
653.29/612.02	c (0,0) x[31][25] = 0
653.29/612.02	c (0,0) x[31][26] = 0
653.29/612.02	c (0,0) x[31][27] = 0
653.29/612.02	c (0,0) x[31][28] = 0
653.29/612.02	c (0,0) x[31][29] = 0
653.29/612.02	c (0,0) x[31][30] = 0
653.29/612.02	c (0,0) x[31][31] = 0
653.29/612.02	s SATISFIABLE
653.29/612.03	v <instantiation>
653.29/612.03	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>
653.29/612.03	v     <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 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 1 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 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
653.29/612.03	v </instantiation>
653.29/612.03	c (0,0) Show results End
653.29/612.03	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
653.29/612.03	c (0,0) 0,0,STOP-AFTER(ALL)
653.29/612.03	c END-Prog: Sat Sep 14 06:47:01 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 (15076 MiB free)
  memory of node 1: 16384 MiB (15267 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100144 s]*
/proc/loadavg: 1.48 3.78 5.95 1/205 15598
/proc/meminfo: memFree=30988068/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419746132 115843072 349 33554432000 4194304 5098028 140729021327344 140729021324600 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 349 296 221 0 87 0
[pid=15585] ppid=15582 vsize=26784144 memory=95928 CPUtime=0.06 cores=0-7
/proc/15585/stat : 15585 (java) S 15582 15582 11928 0 -1 1077944320 5508 0 0 0 5 1 0 0 20 0 14 0 419746132 27426963456 23982 33554432000 4194304 4196468 140728193260496 140728193243040 140118367760119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
/proc/15585/statm: 6696036 23982 2178 1 0 6658577 0
[pid=15585/tid=15586] ppid=15582 vsize=26784144 memory=576460756329955445 CPUtime=0.05 cores=0-7
/proc/15585/task/15586/stat : 15586 (java) D 15582 15582 11928 0 -1 4202560 4155 0 0 0 4 1 0 0 20 0 14 0 419746132 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118339603160 140118360438133 0 4 2 16800973 18446744071581916792 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15587] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15587/stat : 15587 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118372002832 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15588] ppid=15582 vsize=26784144 memory=140139699950362 CPUtime=0 cores=0-7
/proc/15585/task/15588/stat : 15588 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118155398288 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15589] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15589/stat : 15589 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118154345232 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15590] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15590/stat : 15590 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118153292688 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15591] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15591/stat : 15591 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118152239632 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15592] ppid=15582 vsize=26784144 memory=-1 CPUtime=0 cores=0-7
/proc/15585/task/15592/stat : 15592 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118151187088 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15593] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15593/stat : 15593 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118150134032 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15594] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15594/stat : 15594 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118149081488 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15595] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15595/stat : 15595 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 419746136 27426963456 23982 33554432000 4194304 4196468 140728193260496 140117740866288 140118367771266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15596] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15596/stat : 15596 (java) S 15582 15582 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 14 0 419746137 27426963456 23982 33554432000 4194304 4196468 140728193260496 140116261594784 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15597] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15597/stat : 15597 (java) S 15582 15582 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 419746137 27426963456 23982 33554432000 4194304 4196468 140728193260496 140116127372528 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15598] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15598/stat : 15598 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746139 27426963456 23982 33554432000 4194304 4196468 140728193260496 140115752868304 140118367778715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26897272 KiB
Current children cumulated memory: 97324 KiB

[startup+0.209895 s]*
/proc/loadavg: 1.48 3.78 5.95 1/205 15598
/proc/meminfo: memFree=30991156/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419746132 115843072 349 33554432000 4194304 5098028 140729021327344 140729021324600 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 349 296 221 0 87 0
[pid=15585] ppid=15582 vsize=26784144 memory=95928 CPUtime=0.06 cores=0-7
/proc/15585/stat : 15585 (java) S 15582 15582 11928 0 -1 1077944320 5508 0 0 0 5 1 0 0 20 0 14 0 419746132 27426963456 23982 33554432000 4194304 4196468 140728193260496 140728193243040 140118367760119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
/proc/15585/statm: 6696036 23982 2178 1 0 6658577 0
[pid=15585/tid=15586] ppid=15582 vsize=26784144 memory=576460756329955445 CPUtime=0.05 cores=0-7
/proc/15585/task/15586/stat : 15586 (java) D 15582 15582 11928 0 -1 4202560 4155 0 0 0 4 1 0 0 20 0 14 0 419746132 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118339603160 140118360438133 0 4 2 16800973 18446744071581916792 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15587] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15587/stat : 15587 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118372002832 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15588] ppid=15582 vsize=26784144 memory=140139699950362 CPUtime=0 cores=0-7
/proc/15585/task/15588/stat : 15588 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118155398288 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15589] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15589/stat : 15589 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118154345232 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15590] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15590/stat : 15590 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118153292688 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15591] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15591/stat : 15591 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118152239632 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15592] ppid=15582 vsize=26784144 memory=-1 CPUtime=0 cores=0-7
/proc/15585/task/15592/stat : 15592 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118151187088 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15593] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15593/stat : 15593 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118150134032 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15594] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15594/stat : 15594 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118149081488 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15595] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15595/stat : 15595 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 419746136 27426963456 23982 33554432000 4194304 4196468 140728193260496 140117740866288 140118367771266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15596] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15596/stat : 15596 (java) S 15582 15582 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 14 0 419746137 27426963456 23982 33554432000 4194304 4196468 140728193260496 140116261594784 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15597] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15597/stat : 15597 (java) S 15582 15582 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 419746137 27426963456 23982 33554432000 4194304 4196468 140728193260496 140116127372528 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15598] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15598/stat : 15598 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746139 27426963456 23982 33554432000 4194304 4196468 140728193260496 140115752868304 140118367778715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26897272 KiB
Current children cumulated memory: 97324 KiB

[startup+0.309126 s]*
/proc/loadavg: 1.48 3.78 5.95 1/205 15598
/proc/meminfo: memFree=30986388/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419746132 115843072 349 33554432000 4194304 5098028 140729021327344 140729021324600 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 349 296 221 0 87 0
[pid=15585] ppid=15582 vsize=26784144 memory=95928 CPUtime=0.06 cores=0-7
/proc/15585/stat : 15585 (java) S 15582 15582 11928 0 -1 1077944320 5508 0 0 0 5 1 0 0 20 0 14 0 419746132 27426963456 23982 33554432000 4194304 4196468 140728193260496 140728193243040 140118367760119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
/proc/15585/statm: 6696036 23982 2178 1 0 6658577 0
[pid=15585/tid=15586] ppid=15582 vsize=26784144 memory=1398722017469774279 CPUtime=0.05 cores=0-7
/proc/15585/task/15586/stat : 15586 (java) D 15582 15582 11928 0 -1 4202560 4155 0 0 0 4 1 0 0 20 0 14 0 419746132 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118339603160 140118360438133 0 4 2 16800973 18446744071581916792 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15587] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15587/stat : 15587 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118372002832 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15588] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15588/stat : 15588 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118155398288 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15589] ppid=15582 vsize=26784144 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/15585/task/15589/stat : 15589 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118154345232 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15590] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15590/stat : 15590 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118153292688 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15591] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15591/stat : 15591 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118152239632 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15592] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15592/stat : 15592 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118151187088 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15593] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15593/stat : 15593 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118150134032 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15594] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15594/stat : 15594 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746135 27426963456 23982 33554432000 4194304 4196468 140728193260496 140118149081488 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15595] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15595/stat : 15595 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 419746136 27426963456 23982 33554432000 4194304 4196468 140728193260496 140117740866288 140118367771266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15596] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15596/stat : 15596 (java) S 15582 15582 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 14 0 419746137 27426963456 23982 33554432000 4194304 4196468 140728193260496 140116261594784 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15597] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15597/stat : 15597 (java) S 15582 15582 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 419746137 27426963456 23982 33554432000 4194304 4196468 140728193260496 140116127372528 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15598] ppid=15582 vsize=26784144 memory=0 CPUtime=0 cores=0-7
/proc/15585/task/15598/stat : 15598 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 419746139 27426963456 23982 33554432000 4194304 4196468 140728193260496 140115752868304 140118367778715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26897272 KiB
Current children cumulated memory: 97324 KiB

[startup+0.700773 s]
/proc/loadavg: 1.48 3.78 5.95 1/205 15599
/proc/meminfo: memFree=30983520/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419746132 115843072 349 33554432000 4194304 5098028 140729021327344 140729021324600 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 349 296 221 0 87 0
[pid=15585] ppid=15582 vsize=27314120 memory=124192 CPUtime=0.3 cores=0-7
/proc/15585/stat : 15585 (java) S 15582 15582 11928 0 -1 1077944320 12444 0 0 0 26 4 0 0 20 0 20 0 419746132 27969658880 31048 33554432000 4194304 4196468 140728193260496 140728193243040 140118367760119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
/proc/15585/statm: 6828530 31048 2928 1 0 6790935 0
[pid=15585/tid=15586] ppid=15582 vsize=27314120 memory=140139548584795 CPUtime=0.23 cores=0-7
/proc/15585/task/15586/stat : 15586 (java) R 15582 15582 11928 0 -1 4202560 10101 0 0 0 20 3 0 0 20 0 20 0 419746132 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118339584240 140117822017800 0 4 2 16800973 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15587] ppid=15582 vsize=27314120 memory=280279097386848 CPUtime=0 cores=0-7
/proc/15585/task/15587/stat : 15587 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118372002832 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15588] ppid=15582 vsize=27314120 memory=280279097008896 CPUtime=0 cores=0-7
/proc/15585/task/15588/stat : 15588 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118155398288 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15589] ppid=15582 vsize=27314120 memory=1160 CPUtime=0 cores=0-7
/proc/15585/task/15589/stat : 15589 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118154345232 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15590] ppid=15582 vsize=27314120 memory=1720 CPUtime=0 cores=0-7
/proc/15585/task/15590/stat : 15590 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118153292688 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15591] ppid=15582 vsize=27314120 memory=1096 CPUtime=0 cores=0-7
/proc/15585/task/15591/stat : 15591 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118152239632 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15592] ppid=15582 vsize=27314120 memory=5964 CPUtime=0 cores=0-7
/proc/15585/task/15592/stat : 15592 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118151187088 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15593] ppid=15582 vsize=27314120 memory=14012 CPUtime=0 cores=0-7
/proc/15585/task/15593/stat : 15593 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118150134032 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15594] ppid=15582 vsize=27314120 memory=140139696862848 CPUtime=0 cores=0-7
/proc/15585/task/15594/stat : 15594 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27969658880 31048 33554432000 4194304 4196468 140728193260496 140118149081488 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15595] ppid=15582 vsize=27314120 memory=5864320447300325987 CPUtime=0 cores=0-7
/proc/15585/task/15595/stat : 15595 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419746136 27969658880 31048 33554432000 4194304 4196468 140728193260496 140117740866288 140118367771266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15596] ppid=15582 vsize=27314120 memory=482714753 CPUtime=0 cores=0-7
/proc/15585/task/15596/stat : 15596 (java) S 15582 15582 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419746137 27969658880 31048 33554432000 4194304 4196468 140728193260496 140116261594784 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15597] ppid=15582 vsize=27314120 memory=140139548502723 CPUtime=0 cores=0-7
/proc/15585/task/15597/stat : 15597 (java) S 15582 15582 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419746137 27969658880 31048 33554432000 4194304 4196468 140728193260496 140116127372528 140118367770325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15598] ppid=15582 vsize=27314120 memory=280279096990592 CPUtime=0 cores=0-7
/proc/15585/task/15598/stat : 15598 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746139 27969658880 31048 33554432000 4194304 4196468 140728193260496 140115752868304 140118367778715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125588 KiB

[startup+1.50085 s]
/proc/loadavg: 1.48 3.78 5.95 4/211 15605
/proc/meminfo: memFree=30929912/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419746132 115843072 349 33554432000 4194304 5098028 140729021327344 140729021324600 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 349 296 221 0 87 0
[pid=15585] ppid=15582 vsize=27320392 memory=424012 CPUtime=1.55 cores=0-7
/proc/15585/stat : 15585 (java) S 15582 15582 11928 0 -1 1077944320 21173 0 0 0 138 17 0 0 20 0 20 0 419746132 27976081408 106003 33554432000 4194304 4196468 140728193260496 140728193243040 140118367760119 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
/proc/15585/statm: 6830098 106003 3192 1 0 6791447 0
[pid=15585/tid=15586] ppid=15582 vsize=27320392 memory=9126232286719478932 CPUtime=1.03 cores=0-7
/proc/15585/task/15586/stat : 15586 (java) R 15582 15582 11928 0 -1 4202560 17475 0 0 0 88 15 0 0 20 0 20 0 419746132 27976081408 106003 33554432000 4194304 4196468 140728193260496 140118339590928 140118367782045 0 4 2 25189581 0 0 0 -1 0 0 0 44 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15587] ppid=15582 vsize=27320392 memory=-7161732098442470212 CPUtime=0 cores=0-7
/proc/15585/task/15587/stat : 15587 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419746135 27976081408 106003 33554432000 4194304 4196468 140728193260496 140118372002832 140118367770325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728193266411 140728193266838 140728193266838 140728193269711 0
[pid=15585/tid=15588] ppid=15582 vsize=27320392 memory=6655300316396806240 CPUtime=0 cores=0-7

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

Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 11223744 KiB

[startup+611.201 s]
/proc/loadavg: 1.02 1.39 3.60 3/211 15671
/proc/meminfo: memFree=31069100/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1476 CPUtime=650.85 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 583 231468 0 0 0 0 63884 1201 20 0 1 0 419746132 115843072 369 33554432000 4194304 5098028 140729021327344 140729021324088 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 369 311 221 0 87 0
[pid=15652] ppid=15582 vsize=7750184 memory=69660 CPUtime=0.5 cores=0-7
/proc/15652/stat : 15652 (java) S 15582 15582 11928 0 -1 1077944320 11603 0 0 0 45 5 0 0 20 0 20 0 419807213 7936188416 17415 33554432000 4194304 4196468 140730049654448 140730049636992 140342703013623 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
/proc/15652/statm: 1937546 17415 3027 1 0 1899951 0
[pid=15652/tid=15653] ppid=15582 vsize=7750184 memory=1756 CPUtime=0.36 cores=0-7
/proc/15652/task/15653/stat : 15653 (java) R 15582 15582 11928 0 -1 4202560 9315 0 0 0 33 3 0 0 20 0 20 0 419807214 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342674842256 140342703035549 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15654] ppid=15582 vsize=7750184 memory=8514726395715349656 CPUtime=0 cores=0-7
/proc/15652/task/15654/stat : 15654 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342707255952 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15655] ppid=15582 vsize=7750184 memory=3047711553320166262 CPUtime=0 cores=0-7
/proc/15652/task/15655/stat : 15655 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342507424272 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15656] ppid=15582 vsize=7750184 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15652/task/15656/stat : 15656 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342506371472 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15657] ppid=15582 vsize=7750184 memory=1940 CPUtime=0 cores=0-7
/proc/15652/task/15657/stat : 15657 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342505318672 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15658] ppid=15582 vsize=7750184 memory=1416 CPUtime=0 cores=0-7
/proc/15652/task/15658/stat : 15658 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342504266896 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15659] ppid=15582 vsize=7750184 memory=1556 CPUtime=0 cores=0-7
/proc/15652/task/15659/stat : 15659 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342503214096 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15660] ppid=15582 vsize=7750184 memory=740 CPUtime=0 cores=0-7
/proc/15652/task/15660/stat : 15660 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342502161296 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15661] ppid=15582 vsize=7750184 memory=1052 CPUtime=0 cores=0-7
/proc/15652/task/15661/stat : 15661 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419807215 7936188416 17415 33554432000 4194304 4196468 140730049654448 140342501108496 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15662] ppid=15582 vsize=7750184 memory=1396 CPUtime=0 cores=0-7
/proc/15652/task/15662/stat : 15662 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807217 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341528021360 140342703024770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15663] ppid=15582 vsize=7750184 memory=11218600 CPUtime=0 cores=0-7
/proc/15652/task/15663/stat : 15663 (java) S 15582 15582 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419807217 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341344724000 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15664] ppid=15582 vsize=7750184 memory=1096 CPUtime=0 cores=0-7
/proc/15652/task/15664/stat : 15664 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807217 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341076288368 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15665] ppid=15582 vsize=7750184 memory=5964 CPUtime=0 cores=0-7
/proc/15652/task/15665/stat : 15665 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807220 7936188416 17415 33554432000 4194304 4196468 140730049654448 140340701779792 140342703032219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15666] ppid=15582 vsize=7750184 memory=14012 CPUtime=0 cores=0-7
/proc/15652/task/15666/stat : 15666 (java) S 15582 15582 11928 0 -1 1077944384 468 0 0 0 0 0 0 0 20 0 20 0 419807220 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341526969200 140342703024770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15667] ppid=15582 vsize=7750184 memory=19740 CPUtime=0.01 cores=0-7
/proc/15652/task/15667/stat : 15667 (java) S 15582 15582 11928 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 419807220 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341525916400 140342703024770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15668] ppid=15582 vsize=7750184 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/15652/task/15668/stat : 15668 (java) S 15582 15582 11928 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 419807220 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341524863600 140342703024770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15669] ppid=15582 vsize=7750184 memory=11219584 CPUtime=0.07 cores=0-7
/proc/15652/task/15669/stat : 15669 (java) R 15582 15582 11928 0 -1 4202560 301 0 0 0 7 0 0 0 20 0 20 0 419807220 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341523810800 140342703025558 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15670] ppid=15582 vsize=7750184 memory=14068 CPUtime=0 cores=0-7
/proc/15652/task/15670/stat : 15670 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419807221 7936188416 17415 33554432000 4194304 4196468 140730049654448 140340203874912 140342703023829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15671] ppid=15582 vsize=7750184 memory=1396 CPUtime=0 cores=0-7
/proc/15652/task/15671/stat : 15671 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807221 7936188416 17415 33554432000 4194304 4196468 140730049654448 140341522758192 140342703024770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
Current children cumulated CPU time: 651.35 s
Current children cumulated vsize: 7863312 KiB
Current children cumulated memory: 71136 KiB

[startup+611.601 s]
/proc/loadavg: 1.02 1.39 3.60 3/211 15671
/proc/meminfo: memFree=31069100/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1476 CPUtime=650.85 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 583 231468 0 0 0 0 63884 1201 20 0 1 0 419746132 115843072 369 33554432000 4194304 5098028 140729021327344 140729021324088 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 369 311 221 0 87 0
[pid=15652] ppid=15582 vsize=7756476 memory=108796 CPUtime=1.31 cores=0-7
/proc/15652/stat : 15652 (java) S 15582 15582 11928 0 -1 1077944320 20039 0 0 0 121 10 0 0 20 0 20 0 419807213 7942631424 27199 33554432000 4194304 4196468 140730049654448 140730049636992 140342703013623 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
/proc/15652/statm: 1939119 27199 3190 1 0 1900463 0
[pid=15652/tid=15653] ppid=15582 vsize=7756476 memory=11218600 CPUtime=0.75 cores=0-7
/proc/15652/task/15653/stat : 15653 (java) R 15582 15582 11928 0 -1 4202560 16429 0 0 0 67 8 0 0 20 0 20 0 419807214 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342674852096 140342703035549 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15654] ppid=15582 vsize=7756476 memory=1396 CPUtime=0 cores=0-7
/proc/15652/task/15654/stat : 15654 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342707255952 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15655] ppid=15582 vsize=7756476 memory=11219588 CPUtime=0 cores=0-7
/proc/15652/task/15655/stat : 15655 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342507424272 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15656] ppid=15582 vsize=7756476 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15652/task/15656/stat : 15656 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342506371472 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15657] ppid=15582 vsize=7756476 memory=1412 CPUtime=0 cores=0-7
/proc/15652/task/15657/stat : 15657 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342505318672 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15658] ppid=15582 vsize=7756476 memory=3372 CPUtime=0 cores=0-7
/proc/15652/task/15658/stat : 15658 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342504266896 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15659] ppid=15582 vsize=7756476 memory=1476 CPUtime=0 cores=0-7
/proc/15652/task/15659/stat : 15659 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342503214096 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15660] ppid=15582 vsize=7756476 memory=1692 CPUtime=0 cores=0-7
/proc/15652/task/15660/stat : 15660 (java) S 15582 15582 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342502161296 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15661] ppid=15582 vsize=7756476 memory=792 CPUtime=0 cores=0-7
/proc/15652/task/15661/stat : 15661 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419807215 7942631424 27199 33554432000 4194304 4196468 140730049654448 140342501108496 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15662] ppid=15582 vsize=7756476 memory=1448 CPUtime=0 cores=0-7
/proc/15652/task/15662/stat : 15662 (java) S 15582 15582 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419807217 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341528021360 140342703024770 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15663] ppid=15582 vsize=7756476 memory=1964 CPUtime=0 cores=0-7
/proc/15652/task/15663/stat : 15663 (java) S 15582 15582 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419807217 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341344724000 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15664] ppid=15582 vsize=7756476 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15652/task/15664/stat : 15664 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807217 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341076288368 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15665] ppid=15582 vsize=7756476 memory=4004 CPUtime=0 cores=0-7
/proc/15652/task/15665/stat : 15665 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807220 7942631424 27199 33554432000 4194304 4196468 140730049654448 140340701779792 140342703032219 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15666] ppid=15582 vsize=7756476 memory=2832 CPUtime=0.12 cores=0-7
/proc/15652/task/15666/stat : 15666 (java) S 15582 15582 11928 0 -1 1077944384 977 0 0 0 12 0 0 0 20 0 20 0 419807220 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341526969200 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15667] ppid=15582 vsize=7756476 memory=776 CPUtime=0.1 cores=0-7
/proc/15652/task/15667/stat : 15667 (java) S 15582 15582 11928 0 -1 1077944384 397 0 0 0 10 0 0 0 20 0 20 0 419807220 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341525916400 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15668] ppid=15582 vsize=7756476 memory=1160 CPUtime=0.1 cores=0-7
/proc/15652/task/15668/stat : 15668 (java) S 15582 15582 11928 0 -1 1077944384 369 0 0 0 10 0 0 0 20 0 20 0 419807220 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341524863600 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15669] ppid=15582 vsize=7756476 memory=1160 CPUtime=0.2 cores=0-7
/proc/15652/task/15669/stat : 15669 (java) R 15582 15582 11928 0 -1 4202560 525 0 0 0 20 0 0 0 20 0 20 0 419807220 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341523810800 140342703034970 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15670] ppid=15582 vsize=7756476 memory=1720 CPUtime=0 cores=0-7
/proc/15652/task/15670/stat : 15670 (java) S 15582 15582 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419807221 7942631424 27199 33554432000 4194304 4196468 140730049654448 140340203874912 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15671] ppid=15582 vsize=7756476 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15652/task/15671/stat : 15671 (java) S 15582 15582 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419807221 7942631424 27199 33554432000 4194304 4196468 140730049654448 140341522758192 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
Current children cumulated CPU time: 652.16 s
Current children cumulated vsize: 7869604 KiB
Current children cumulated memory: 110272 KiB

[startup+612.003 s]*
/proc/loadavg: 1.02 1.39 3.60 6/213 15685
/proc/meminfo: memFree=30990780/32770624 swapFree=67004232/67108860
[pid=15582] ppid=15579 vsize=113128 memory=1476 CPUtime=650.85 cores=0-7
/proc/15582/stat : 15582 (scop.sh) S 15579 15582 11928 0 -1 4202496 583 231468 0 0 0 0 63884 1201 20 0 1 0 419746132 115843072 369 33554432000 4194304 5098028 140729021327344 140729021324088 140258453230204 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9924608 140729021330213 140729021330540 140729021330540 140729021333453 0
/proc/15582/statm: 28282 369 311 221 0 87 0
[pid=15652] ppid=15582 vsize=8284072 memory=142892 CPUtime=2.44 cores=0-7
/proc/15652/stat : 15652 (java) S 15582 15582 11928 0 -1 1077944320 22887 9342 0 0 207 13 17 7 20 0 22 0 419807213 8482889728 35723 33554432000 4194304 4196468 140730049654448 140730049636992 140342703013623 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
/proc/15652/statm: 2071018 35723 3232 1 0 2032362 0
[pid=15652/tid=15653] ppid=15582 vsize=8284072 memory=1396 CPUtime=1.26 cores=0-7
/proc/15652/task/15653/stat : 15653 (java) R 15582 15582 11928 0 -1 4202560 18409 9342 0 0 93 9 17 7 20 0 22 0 419807214 8482889728 35723 33554432000 4194304 4196468 140730049654448 140342674840352 140342695693341 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15654] ppid=15582 vsize=8284072 memory=1398722017469774279 CPUtime=0.24 cores=0-7
/proc/15652/task/15654/stat : 15654 (java) S 15582 15582 11928 0 -1 1077944384 1 9342 0 0 0 0 17 7 20 0 22 0 419807215 8482889728 35723 33554432000 4194304 4196468 140730049654448 140342707255952 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15655] ppid=15582 vsize=8284072 memory=1160 CPUtime=0.24 cores=0-7
/proc/15652/task/15655/stat : 15655 (java) S 15582 15582 11928 0 -1 1077944384 2 9342 0 0 0 0 17 7 20 0 22 0 419807215 8482889728 35723 33554432000 4194304 4196468 140730049654448 140342507424272 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15656] ppid=15582 vsize=8284072 memory=1720 CPUtime=0.24 cores=0-7
/proc/15652/task/15656/stat : 15656 (java) S 15582 15582 11928 0 -1 1077944384 2 9342 0 0 0 0 17 7 20 0 22 0 419807215 8482889728 35723 33554432000 4194304 4196468 140730049654448 140342506371472 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15657] ppid=15582 vsize=8284072 memory=1096 CPUtime=0.24 cores=0-7
/proc/15652/task/15657/stat : 15657 (java) S 15582 15582 11928 0 -1 1077944384 2 9342 0 0 0 0 17 7 20 0 22 0 419807215 8482889728 35723 33554432000 4194304 4196468 140730049654448 140342505318672 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15658] ppid=15582 vsize=8284072 memory=5964 CPUtime=0.24 cores=0-7
/proc/15652/task/15658/stat : 15658 (java) S 15582 15582 11928 0 -1 1077944384 2 9342 0 0 0 0 17 7 20 0 22 0 419807215 8482889728 35529 33554432000 4194304 4196468 140730049654448 140342504266896 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15659] ppid=15582 vsize=8284072 memory=14012 CPUtime=0.24 cores=0-7
/proc/15652/task/15659/stat : 15659 (java) S 15582 15582 11928 0 -1 1077944384 2 9342 0 0 0 0 17 7 20 0 22 0 419807215 8482889728 35529 33554432000 4194304 4196468 140730049654448 140342503214096 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15660] ppid=15582 vsize=8283048 memory=19740 CPUtime=0.24 cores=0-7
/proc/15652/task/15660/stat : 15660 (java) S 15582 15582 11928 0 -1 1077944384 2 9342 0 0 0 0 17 7 20 0 22 0 419807215 8481841152 35529 33554432000 4194304 4196468 140730049654448 140342502161296 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15661] ppid=15582 vsize=8283048 memory=14068 CPUtime=0.24 cores=0-7
/proc/15652/task/15661/stat : 15661 (java) S 15582 15582 11928 0 -1 1077944384 3 9342 0 0 0 0 17 7 20 0 22 0 419807215 8481841152 35529 33554432000 4194304 4196468 140730049654448 140342501108496 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15662] ppid=15582 vsize=8283048 memory=2120 CPUtime=0.24 cores=0-7
/proc/15652/task/15662/stat : 15662 (java) S 15582 15582 11928 0 -1 1077944384 5 9342 0 0 0 0 17 7 20 0 22 0 419807217 8481841152 35529 33554432000 4194304 4196468 140730049654448 140341528021360 140342703024770 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15663] ppid=15582 vsize=8283048 memory=504 CPUtime=0.24 cores=0-7
/proc/15652/task/15663/stat : 15663 (java) S 15582 15582 11928 0 -1 1077944384 13 9342 0 0 0 0 17 7 20 0 22 0 419807217 8481841152 35529 33554432000 4194304 4196468 140730049654448 140341344724000 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15664] ppid=15582 vsize=8284072 memory=11223052 CPUtime=0.24 cores=0-7
/proc/15652/task/15664/stat : 15664 (java) S 15582 15582 11928 0 -1 1077944384 1 9342 0 0 0 0 17 7 20 0 22 0 419807217 8482889728 35529 33554432000 4194304 4196468 140730049654448 140341076288368 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15665] ppid=15582 vsize=8284072 memory=4100 CPUtime=0.24 cores=0-7
/proc/15652/task/15665/stat : 15665 (java) S 15582 15582 11928 0 -1 1077944384 1 9342 0 0 0 0 17 7 20 0 22 0 419807220 8482889728 35529 33554432000 4194304 4196468 140730049654448 140340701779792 140342703032219 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15666] ppid=15582 vsize=8284072 memory=1756 CPUtime=0.49 cores=0-7
/proc/15652/task/15666/stat : 15666 (java) R 15582 15582 11928 0 -1 4202560 1016 9342 0 0 25 0 17 7 20 0 22 0 419807220 8482889728 35529 33554432000 4194304 4196468 140730049654448 140341526947520 140342686510411 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15667] ppid=15582 vsize=8284072 memory=1398722017469774279 CPUtime=0.45 cores=0-7
/proc/15652/task/15667/stat : 15667 (java) R 15582 15582 11928 0 -1 4202560 458 9342 0 0 21 0 17 7 20 0 22 0 419807220 8482889728 35529 33554432000 4194304 4196468 140730049654448 140341525897632 140342688693789 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15668] ppid=15582 vsize=8284072 memory=1052 CPUtime=0.47 cores=0-7
/proc/15652/task/15668/stat : 15668 (java) R 15582 15582 11928 0 -1 4202560 618 9342 0 0 23 0 17 7 20 0 22 0 419807220 8482889728 35594 33554432000 4194304 4196468 140730049654448 140341524844008 140342686424416 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15669] ppid=15582 vsize=8284072 memory=7548 CPUtime=0.62 cores=0-7
/proc/15652/task/15669/stat : 15669 (java) S 15582 15582 11928 0 -1 1077944384 943 9342 0 0 38 0 17 7 20 0 22 0 419807220 8482889728 35594 33554432000 4194304 4196468 140730049654448 140341523810800 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15670] ppid=15582 vsize=8284072 memory=288230574492221466 CPUtime=0.24 cores=0-7
/proc/15652/task/15670/stat : 15670 (java) S 15582 15582 11928 0 -1 1077944384 3 9342 0 0 0 0 17 7 20 0 22 0 419807221 8482889728 35594 33554432000 4194304 4196468 140730049654448 140340203874912 140342703023829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15671] ppid=15582 vsize=8284072 memory=303430270546346295 CPUtime=0.24 cores=0-7
/proc/15652/task/15671/stat : 15671 (java) S 15582 15582 11928 0 -1 1077944384 1 9342 0 0 0 0 17 7 20 0 22 0 419807221 8482889728 35660 33554432000 4194304 4196468 140730049654448 140341522758192 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15673] ppid=15582 vsize=8284072 memory=15262527902714418 CPUtime=0.24 cores=0-7
/proc/15652/task/15673/stat : 15673 (java) S 15582 15582 11928 0 -1 1077944384 24 9342 0 0 0 0 17 7 20 0 22 0 419807294 8482889728 35660 33554432000 4194304 4196468 140730049654448 140341514723600 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
[pid=15652/tid=15677] ppid=15582 vsize=8284072 memory=15262527902714418 CPUtime=0.24 cores=0-7
/proc/15652/task/15677/stat : 15677 (java) S 15582 15582 11928 0 -1 1077944384 9 9342 0 0 0 0 17 7 20 0 22 0 419807296 8482889728 35660 33554432000 4194304 4196468 140730049654448 140339264349488 140342703024770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8970240 140730049659895 140730049660054 140730049660054 140730049662927 0
Current children cumulated CPU time: 653.29 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 144368 KiB

Child status: 0
Real time (s): 612.051
CPU time (s): 653.44
CPU user time (s): 641.188
CPU system time (s): 12.2516
CPU usage (%): 106.762
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 11226460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.188
system time used= 12.2516
maximum resident set size= 11225552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265049
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37386
involuntary context switches= 987


# summary of solver processes directly reported to runsolver:
#   pid: 15582
#   total CPU time (s): 653.44
#   total CPU user time (s): 641.188
#   total CPU system time (s): 12.2516

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82245 second user time and 5.91934 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 06:36:49
IDJOB=4392386
IDBENCH=134105
IDSOLVER=2838
FILE ID=node148/4392386-1568435843
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 60904 MiB

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

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

MD5SUM BENCH= 1ecda127feec841a205962b399f2051f
RANDOM SEED=2128091039

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:        31070596 kB
MemAvailable:   31861688 kB
Buffers:           96644 kB
Cached:           988556 kB
SwapCached:         3812 kB
Active:           825476 kB
Inactive:         266588 kB
Active(anon):       4216 kB
Inactive(anon):    43744 kB
Active(file):     821260 kB
Inactive(file):   222844 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:            351616 kB
Writeback:         78788 kB
AnonPages:        231396 kB
Mapped:            44652 kB
Shmem:             32352 kB
Slab:             198992 kB
SReclaimable:     125644 kB
SUnreclaim:        73348 kB
KernelStack:        3712 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 60884 MiB
End job on node148 at 2019-09-14 06:47:01