Trace number 4405546

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 656.967 615.728

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31864-serial-file.bin HOME/instance-4405546-1569342368.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:25:29 CEST 2019
0.66/0.56	c PID: 31867
0.66/0.56	c IP: 172.20.3.145
0.66/0.56	c HOST: node145.alineos.net
0.66/0.57	c (0,0) Parsing Begin
47.11/33.81	c (33,31) Parsing End
47.11/33.82	c (33,31) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
47.11/33.82	c (33,31) Heap : 7733 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
47.11/33.82	c (33,31) Constraint Name Generate Begin
47.11/33.83	c (33,31) Ctr:HOME/instance-4405546-1569342368.xml,ExtensionSupport:Var
47.11/33.83	c (33,31) Constraint Name Generate End
47.11/33.83	c (33,31) Heap : 7733 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
47.11/33.83	c (33,31) CSP to CSPinCNF Begin
206.07/178.66	c (178,174) translated 7 (10%) constraints
321.66/292.46	c (291,288) translated 13 (20%) constraints
351.52/320.50	c (319,316) translated 20 (30%) constraints
373.84/342.59	c (342,338) translated 26 (40%) constraints
463.22/430.34	c (429,425) translated 32 (50%) constraints
574.84/539.53	c (538,534) translated 39 (60%) constraints
617.42/581.55	c (581,576) translated 45 (70%) constraints
633.74/597.67	c (597,593) translated 52 (80%) constraints
639.32/603.14	c (602,598) translated 58 (90%) constraints
647.21/610.98	c (610,606) translated 64 (100%) constraints
647.21/611.01	c (610,606) ===========================================
647.32/611.03	c (610,606) Hybrid: #OE=15178, #LE=0
647.32/611.03	c (610,606) Hybrid
647.32/611.03	c (610,606) ===========================================
647.82/611.22	c (610,606) translated 6557 (10%) constraints
648.10/611.35	c (610,606) translated 13113 (20%) constraints
648.20/611.48	c (610,606) translated 19669 (30%) constraints
648.42/611.60	c (611,606) translated 26226 (40%) constraints
648.55/611.73	c (611,607) translated 32782 (50%) constraints
648.65/611.86	c (611,607) translated 39338 (60%) constraints
648.79/611.99	c (611,607) translated 45895 (70%) constraints
649.10/612.11	c (611,607) translated 52451 (80%) constraints
649.19/612.24	c (611,607) translated 59007 (90%) constraints
649.29/612.36	c (611,607) translated 65563 (100%) constraints
649.29/612.36	c (611,607) CSP to CSPinCNF End
649.29/612.37	c (611,607) CSP: 0 int (0 aux), 15178 bool (14154 aux), 65563 ctr, max domain size 2
649.29/612.37	c (611,607) Heap : 9219 MiB used (max 22522 MiB), NonHeap : 28 MiB used (max 0 MiB)
649.29/612.37	c (611,607) CSPinCNF Propagation Begin
651.38/613.37	c (612,608) 2193 values, 11645 unsatisfiable literals, and 10935 valid clauses are removed
651.38/613.37	c (612,608) CSPinCNF Propagation End
651.38/613.37	c (612,608) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
651.38/613.37	c (612,608) Heap : 9518 MiB used (max 22522 MiB), NonHeap : 29 MiB used (max 0 MiB)
651.66/613.40	c (612,608) Hybrid: #OE=15178, #LE=0
651.66/613.40	c (612,608) Simplify CSPinCNF Begin
651.90/613.52	c (612,608) Simplify CSPinCNF End
651.90/613.53	c (612,608) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
651.90/613.53	c (612,608) Heap : 9668 MiB used (max 22522 MiB), NonHeap : 29 MiB used (max 0 MiB)
651.90/613.53	c (612,608) Calculate Precise Domain Begin
651.90/613.53	c (612,608) 0 values are removed by re-calculation
651.90/613.53	c (612,608) Calculate Precise Domain End
651.90/613.53	c (612,608) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
651.90/613.53	c (612,608) Heap : 9668 MiB used (max 22522 MiB), NonHeap : 29 MiB used (max 0 MiB)
651.90/613.53	c (612,608) CSPinCNF to SatSolver Begin
652.58/613.80	c (613,609) 5463 (10 %) CSP clauses are encoded (0 SAT variables, 5462 SAT clauses)
652.98/613.88	c (613,609) 10926 (20 %) CSP clauses are encoded (0 SAT variables, 10925 SAT clauses)
653.37/613.94	c (613,609) 16389 (30 %) CSP clauses are encoded (0 SAT variables, 16388 SAT clauses)
653.37/613.99	c (613,609) 21852 (40 %) CSP clauses are encoded (0 SAT variables, 21851 SAT clauses)
653.67/614.04	c (613,609) 27314 (50 %) CSP clauses are encoded (0 SAT variables, 27313 SAT clauses)
653.67/614.09	c (613,609) 32777 (60 %) CSP clauses are encoded (0 SAT variables, 32776 SAT clauses)
653.79/614.14	c (613,609) 38240 (70 %) CSP clauses are encoded (0 SAT variables, 38239 SAT clauses)
653.79/614.18	c (613,609) 43703 (80 %) CSP clauses are encoded (0 SAT variables, 43702 SAT clauses)
653.88/614.23	c (613,609) 49166 (90 %) CSP clauses are encoded (0 SAT variables, 49165 SAT clauses)
653.88/614.28	c (613,609) 54628 (100 %) CSP clauses are encoded (0 SAT variables, 54627 SAT clauses)
653.88/614.28	c (613,609) CSPinCNF to SatSolver End
653.88/614.28	c (613,609) Heap : 9971 MiB used (max 22522 MiB), NonHeap : 30 MiB used (max 0 MiB)
653.88/614.28	c (613,609) 12808 bool, 54628 clause
653.88/614.28	c (613,609) Export Begin
654.21/614.43	c (613,609) Export to HOME/scop-31864-serial-file.bin
654.21/614.43	c (613,609) Export End
654.21/614.43	c (613,609) Export File Size: 0.21 MB
654.21/614.43	c (613,609) 33,33,611,612,612,612,613,STOP-AFTER(DIMACS)
654.21/614.43	c END-Prog: Tue Sep 24 18:35:43 CEST 2019
654.21/614.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31864-serial-file.bin
654.39/614.95	c (0,0) Read Serial File Begin
654.39/614.95	c (0,0) HOME/scop-31864-serial-file.bin
655.49/615.24	c (0,0) Read Serial File End
655.49/615.25	
655.49/615.25	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
655.49/615.25	(Solving Process)
655.49/615.25	
655.49/615.27	c BEGIN-Prog: Tue Sep 24 18:35:43 CEST 2019
655.49/615.27	c PID: 31932
655.49/615.27	c IP: 172.20.3.145
655.49/615.27	c HOST: node145.alineos.net
655.49/615.28	c (0,0) SatSolver.solve Begin
655.49/615.28	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405546-1569342368.xml-scop-31867.cnf
655.80/615.30	c (0,0) c
655.80/615.30	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)
655.80/615.30	c (0,0) c
655.80/615.30	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
655.80/615.30	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
655.80/615.30	c (0,0) c ========================================[ Problem Statistics ]===========================================
655.80/615.30	c (0,0) c |                                                                                                       |
655.80/615.32	c (0,0) c |  Number of variables:         12808                                                                   |
655.80/615.32	c (0,0) c |  Number of clauses:           54628                                                                   |
655.80/615.32	c (0,0) c |  Parse time:                   0.02 s                                                                 |
655.80/615.32	c (0,0) c |                                                                                                       |
655.80/615.37	c (0,0) c |  Simplification time:          0.05 s                                                                 |
655.80/615.37	c (0,0) c |                                                                                                       |
655.80/615.37	c (0,0) c |  Generating clones                                                                                    |
655.92/615.41	c (0,0) c |  all clones generated. Memory =    63.99Mb.                                                           |
655.92/615.41	c (0,0) c ========================================================================================================|
655.92/615.41	c (0,0) c
655.92/615.41	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
655.92/615.41	c (0,0) c
655.92/615.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.41	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
655.92/615.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.41	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
655.92/615.41	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
655.92/615.41	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
655.92/615.41	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
655.92/615.41	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
655.92/615.41	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
655.92/615.41	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
655.92/615.41	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
655.92/615.41	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
655.92/615.41	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
655.92/615.41	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
655.92/615.41	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
655.92/615.41	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
655.92/615.41	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
655.92/615.41	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
655.92/615.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c real time : 0.136771 s
655.92/615.44	c (0,0) c cpu time  : 0.15517 s
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c | Conflicts     |             865 |        212 |         86 |         87 |         86 |         86 |        109 |        122 |         77 |
655.92/615.44	c (0,0) c | Decisions     |            2861 |        597 |        358 |        301 |        274 |        340 |        395 |        334 |        262 |
655.92/615.44	c (0,0) c | Propagations  |          165416 |      34762 |      18441 |      18545 |      17507 |      18411 |      21436 |      21739 |      14575 |
655.92/615.44	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
655.92/615.44	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
655.92/615.44	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | PropBinClauses|          160579 |      34219 |      17288 |      17644 |      16293 |      17277 |      21494 |      22330 |      14034 |
655.92/615.44	c (0,0) c | PropPreBlocker|          629298 |     129221 |      67415 |      71233 |      68193 |      67375 |      78600 |      88400 |      58861 |
655.92/615.44	c (0,0) c | PropNotBlocker|          324461 |      61095 |      36217 |      38330 |      36922 |      36171 |      39680 |      43316 |      32730 |
655.92/615.44	c (0,0) c | LitFullScans  |         1309902 |     269002 |     139957 |     149694 |     141060 |     139862 |     164161 |     183940 |     122226 |
655.92/615.44	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | DecisionLevel0|              59 |         14 |          4 |          6 |         17 |          4 |          6 |          6 |          2 |
655.92/615.44	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
655.92/615.44	c (0,0) c | Avg_Trail     |                 |       1443 |       1426 |       1459 |       1117 |       1426 |       1174 |       1326 |       1484 |
655.92/615.44	c (0,0) c | Avg_DL        |                 |         15 |         18 |         13 |          8 |         18 |         19 |          9 |         18 |
655.92/615.44	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c | Exported      |             310 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
655.92/615.44	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c | Unaries       |                 |         13 |          3 |          5 |         16 |          3 |          5 |          5 |          1 |
655.92/615.44	c (0,0) c | Binaries      |                 |         35 |         22 |         11 |         15 |         22 |         19 |         18 |         17 |
655.92/615.44	c (0,0) c | Glues         |                 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c | Orig_Seen     |             4 % |       1912 |        939 |       1107 |       1085 |        939 |       1225 |       1433 |        817 |
655.92/615.44	c (0,0) c | Diff Orig seen|                 |      X     | -      973 | -      805 | -      827 | -      973 | -      687 | -      479 | -     1095 |
655.92/615.44	c (0,0) c | Hamming       |             1 % |      X     |        157 |        121 |        193 |        160 |        121 |        171 |        118 |
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	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%|
655.92/615.44	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%|
655.92/615.44	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%|
655.92/615.44	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%|
655.92/615.44	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
655.92/615.44	c (0,0) c | PropagationTim|                 |    0.0  91%|    0.0  95%|    0.0  95%|    0.0  95%|    0.0  96%|    0.0  95%|    0.0  94%|    0.0  95%|
655.92/615.44	c (0,0) c | AnalysisTime  |                 |    0.0   3%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   2%|    0.0   3%|    0.0   1%|
655.92/615.44	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%|
655.92/615.44	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%|
655.92/615.44	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%|
655.92/615.44	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%|
655.92/615.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c
655.92/615.44	c (0,0) c Threads : 8
655.92/615.44	c (0,0) c Winner : 0
655.92/615.44	c (0,0) c Conflicts_0 : 212
655.92/615.44	c (0,0) c Conflicts_1 : 86
655.92/615.44	c (0,0) c Conflicts_2 : 87
655.92/615.44	c (0,0) c Conflicts_3 : 86
655.92/615.44	c (0,0) c Conflicts_4 : 86
655.92/615.44	c (0,0) c Conflicts_5 : 109
655.92/615.44	c (0,0) c Conflicts_6 : 122
655.92/615.44	c (0,0) c Conflicts_7 : 77
655.92/615.44	c (0,0) c Conflicts_total : 865
655.92/615.44	c (0,0) c Conflicts_winner : 212
655.92/615.44	c (0,0) c Decisions_0 : 597
655.92/615.44	c (0,0) c Decisions_1 : 358
655.92/615.44	c (0,0) c Decisions_2 : 301
655.92/615.44	c (0,0) c Decisions_3 : 274
655.92/615.44	c (0,0) c Decisions_4 : 340
655.92/615.44	c (0,0) c Decisions_5 : 395
655.92/615.44	c (0,0) c Decisions_6 : 334
655.92/615.44	c (0,0) c Decisions_7 : 262
655.92/615.44	c (0,0) c Decisions_total : 2861
655.92/615.44	c (0,0) c Decisions_winner : 597
655.92/615.44	c (0,0) c Propagations_0 : 34762
655.92/615.44	c (0,0) c Propagations_1 : 18441
655.92/615.44	c (0,0) c Propagations_2 : 18545
655.92/615.44	c (0,0) c Propagations_3 : 17507
655.92/615.44	c (0,0) c Propagations_4 : 18411
655.92/615.44	c (0,0) c Propagations_5 : 21436
655.92/615.44	c (0,0) c Propagations_6 : 21739
655.92/615.44	c (0,0) c Propagations_7 : 14575
655.92/615.44	c (0,0) c Propagations_total : 165416
655.92/615.44	c (0,0) c Propagations_winner : 34762
655.92/615.44	c (0,0) c ReduceDBs_0 : 0
655.92/615.44	c (0,0) c ReduceDBs_1 : 0
655.92/615.44	c (0,0) c ReduceDBs_2 : 0
655.92/615.44	c (0,0) c ReduceDBs_3 : 0
655.92/615.44	c (0,0) c ReduceDBs_4 : 0
655.92/615.44	c (0,0) c ReduceDBs_5 : 0
655.92/615.44	c (0,0) c ReduceDBs_6 : 0
655.92/615.44	c (0,0) c ReduceDBs_7 : 0
655.92/615.44	c (0,0) c ReduceDBs_total : 0
655.92/615.44	c (0,0) c ReduceDBs_winner : 0
655.92/615.44	c (0,0) c SimpDBs_0 : 1
655.92/615.44	c (0,0) c SimpDBs_1 : 1
655.92/615.44	c (0,0) c SimpDBs_2 : 1
655.92/615.44	c (0,0) c SimpDBs_3 : 1
655.92/615.44	c (0,0) c SimpDBs_4 : 1
655.92/615.44	c (0,0) c SimpDBs_5 : 1
655.92/615.44	c (0,0) c SimpDBs_6 : 1
655.92/615.44	c (0,0) c SimpDBs_7 : 1
655.92/615.44	c (0,0) c SimpDBs_total : 8
655.92/615.44	c (0,0) c SimpDBs_winner : 1
655.92/615.44	c (0,0) c Restarts_0 : 1
655.92/615.44	c (0,0) c Restarts_1 : 1
655.92/615.44	c (0,0) c Restarts_2 : 1
655.92/615.44	c (0,0) c Restarts_3 : 1
655.92/615.44	c (0,0) c Restarts_4 : 1
655.92/615.44	c (0,0) c Restarts_5 : 1
655.92/615.44	c (0,0) c Restarts_6 : 1
655.92/615.44	c (0,0) c Restarts_7 : 1
655.92/615.44	c (0,0) c Restarts_total : 8
655.92/615.44	c (0,0) c Restarts_winner : 1
655.92/615.44	c (0,0) c ForcedImports_0 : 0
655.92/615.44	c (0,0) c ForcedImports_1 : 0
655.92/615.44	c (0,0) c ForcedImports_2 : 0
655.92/615.44	c (0,0) c ForcedImports_3 : 0
655.92/615.44	c (0,0) c ForcedImports_4 : 0
655.92/615.44	c (0,0) c ForcedImports_5 : 0
655.92/615.44	c (0,0) c ForcedImports_6 : 0
655.92/615.44	c (0,0) c ForcedImports_7 : 0
655.92/615.44	c (0,0) c ForcedImports_total : 0
655.92/615.44	c (0,0) c ForcedImports_winner : 0
655.92/615.44	c (0,0) c PropsBinClauses_0 : 34219
655.92/615.44	c (0,0) c PropsBinClauses_1 : 17288
655.92/615.44	c (0,0) c PropsBinClauses_2 : 17644
655.92/615.44	c (0,0) c PropsBinClauses_3 : 16293
655.92/615.44	c (0,0) c PropsBinClauses_4 : 17277
655.92/615.44	c (0,0) c PropsBinClauses_5 : 21494
655.92/615.44	c (0,0) c PropsBinClauses_6 : 22330
655.92/615.44	c (0,0) c PropsBinClauses_7 : 14034
655.92/615.44	c (0,0) c PropsBinClauses_total : 160579
655.92/615.44	c (0,0) c PropsBinClauses_winner : 34219
655.92/615.44	c (0,0) c PropsPreBlocker_0 : 129221
655.92/615.44	c (0,0) c PropsPreBlocker_1 : 67415
655.92/615.44	c (0,0) c PropsPreBlocker_2 : 71233
655.92/615.44	c (0,0) c PropsPreBlocker_3 : 68193
655.92/615.44	c (0,0) c PropsPreBlocker_4 : 67375
655.92/615.44	c (0,0) c PropsPreBlocker_5 : 78600
655.92/615.44	c (0,0) c PropsPreBlocker_6 : 88400
655.92/615.44	c (0,0) c PropsPreBlocker_7 : 58861
655.92/615.44	c (0,0) c PropsPreBlocker_total : 629298
655.92/615.44	c (0,0) c PropsPreBlocker_winner : 129221
655.92/615.44	c (0,0) c PropsNotBlocker_0 : 61095
655.92/615.44	c (0,0) c PropsNotBlocker_1 : 36217
655.92/615.44	c (0,0) c PropsNotBlocker_2 : 38330
655.92/615.44	c (0,0) c PropsNotBlocker_3 : 36922
655.92/615.44	c (0,0) c PropsNotBlocker_4 : 36171
655.92/615.44	c (0,0) c PropsNotBlocker_5 : 39680
655.92/615.44	c (0,0) c PropsNotBlocker_6 : 43316
655.92/615.44	c (0,0) c PropsNotBlocker_7 : 32730
655.92/615.44	c (0,0) c PropsNotBlocker_total : 324461
655.92/615.44	c (0,0) c PropsNotBlocker_winner : 61095
655.92/615.44	c (0,0) c PropsLitFullScans_0 : 269002
655.92/615.44	c (0,0) c PropsLitFullScans_1 : 139957
655.92/615.44	c (0,0) c PropsLitFullScans_2 : 149694
655.92/615.44	c (0,0) c PropsLitFullScans_3 : 141060
655.92/615.44	c (0,0) c PropsLitFullScans_4 : 139862
655.92/615.44	c (0,0) c PropsLitFullScans_5 : 164161
655.92/615.44	c (0,0) c PropsLitFullScans_6 : 183940
655.92/615.44	c (0,0) c PropsLitFullScans_7 : 122226
655.92/615.44	c (0,0) c PropsLitFullScans_total : 1309902
655.92/615.44	c (0,0) c PropsLitFullScans_winner : 269002
655.92/615.44	c (0,0) c LitScanFractions_0 : 0
655.92/615.44	c (0,0) c LitScanFractions_1 : 0
655.92/615.44	c (0,0) c LitScanFractions_2 : 0
655.92/615.44	c (0,0) c LitScanFractions_3 : 0
655.92/615.45	c (0,0) c LitScanFractions_4 : 0
655.92/615.45	c (0,0) c LitScanFractions_5 : 0
655.92/615.45	c (0,0) c LitScanFractions_6 : 0
655.92/615.45	c (0,0) c LitScanFractions_7 : 0
655.92/615.45	c (0,0) c LitScanFractions_total : 0
655.92/615.45	c (0,0) c LitScanFractions_winner : 0
655.92/615.45	c (0,0) c DecisionLevel0_0 : 14
655.92/615.45	c (0,0) c DecisionLevel0_1 : 4
655.92/615.45	c (0,0) c DecisionLevel0_2 : 6
655.92/615.45	c (0,0) c DecisionLevel0_3 : 17
655.92/615.45	c (0,0) c DecisionLevel0_4 : 4
655.92/615.45	c (0,0) c DecisionLevel0_5 : 6
655.92/615.45	c (0,0) c DecisionLevel0_6 : 6
655.92/615.45	c (0,0) c DecisionLevel0_7 : 2
655.92/615.45	c (0,0) c DecisionLevel0_total : 59
655.92/615.45	c (0,0) c DecisionLevel0_winner : 14
655.92/615.45	c (0,0) c Periods_0 : 0
655.92/615.45	c (0,0) c Periods_1 : 0
655.92/615.45	c (0,0) c Periods_2 : 0
655.92/615.45	c (0,0) c Periods_3 : 0
655.92/615.45	c (0,0) c Periods_4 : 0
655.92/615.45	c (0,0) c Periods_5 : 0
655.92/615.45	c (0,0) c Periods_6 : 0
655.92/615.45	c (0,0) c Periods_7 : 0
655.92/615.45	c (0,0) c Periods_total : 0
655.92/615.45	c (0,0) c Periods_winner : 0
655.92/615.45	c (0,0) c Margin_0 : 20
655.92/615.45	c (0,0) c Margin_1 : 20
655.92/615.45	c (0,0) c Margin_2 : 20
655.92/615.45	c (0,0) c Margin_3 : 20
655.92/615.45	c (0,0) c Margin_4 : 20
655.92/615.45	c (0,0) c Margin_5 : 20
655.92/615.45	c (0,0) c Margin_6 : 20
655.92/615.45	c (0,0) c Margin_7 : 20
655.92/615.45	c (0,0) c Margin_total : 160
655.92/615.45	c (0,0) c Margin_winner : 20
655.92/615.45	c (0,0) c Exported_0 : 80
655.92/615.45	c (0,0) c Exported_1 : 32
655.92/615.45	c (0,0) c Exported_2 : 26
655.92/615.45	c (0,0) c Exported_3 : 25
655.92/615.45	c (0,0) c Exported_4 : 32
655.92/615.45	c (0,0) c Exported_5 : 40
655.92/615.45	c (0,0) c Exported_6 : 39
655.92/615.45	c (0,0) c Exported_7 : 36
655.92/615.45	c (0,0) c Exported_total : 310
655.92/615.45	c (0,0) c Exported_winner : 80
655.92/615.45	c (0,0) c Imported_0 : 0
655.92/615.45	c (0,0) c Imported_1 : 0
655.92/615.45	c (0,0) c Imported_2 : 0
655.92/615.45	c (0,0) c Imported_3 : 0
655.92/615.45	c (0,0) c Imported_4 : 0
655.92/615.45	c (0,0) c Imported_5 : 0
655.92/615.45	c (0,0) c Imported_6 : 0
655.92/615.45	c (0,0) c Imported_7 : 0
655.92/615.45	c (0,0) c Imported_total : 0
655.92/615.45	c (0,0) c Imported_winner : 0
655.92/615.45	c (0,0) c Good_0 : 0
655.92/615.45	c (0,0) c Good_1 : 0
655.92/615.45	c (0,0) c Good_2 : 0
655.92/615.45	c (0,0) c Good_3 : 0
655.92/615.45	c (0,0) c Good_4 : 0
655.92/615.45	c (0,0) c Good_5 : 0
655.92/615.45	c (0,0) c Good_6 : 0
655.92/615.45	c (0,0) c Good_7 : 0
655.92/615.45	c (0,0) c Good_total : 0
655.92/615.45	c (0,0) c Good_winner : 0
655.92/615.45	c (0,0) c Purge_0 : 0
655.92/615.45	c (0,0) c Purge_1 : 0
655.92/615.45	c (0,0) c Purge_2 : 0
655.92/615.45	c (0,0) c Purge_3 : 0
655.92/615.45	c (0,0) c Purge_4 : 0
655.92/615.45	c (0,0) c Purge_5 : 0
655.92/615.45	c (0,0) c Purge_6 : 0
655.92/615.45	c (0,0) c Purge_7 : 0
655.92/615.45	c (0,0) c Purge_total : 0
655.92/615.45	c (0,0) c Purge_winner : 0
655.92/615.45	c (0,0) c Promoted_0 : 0
655.92/615.45	c (0,0) c Promoted_1 : 0
655.92/615.45	c (0,0) c Promoted_2 : 0
655.92/615.45	c (0,0) c Promoted_3 : 0
655.92/615.45	c (0,0) c Promoted_4 : 0
655.92/615.45	c (0,0) c Promoted_5 : 0
655.92/615.45	c (0,0) c Promoted_6 : 0
655.92/615.45	c (0,0) c Promoted_7 : 0
655.92/615.45	c (0,0) c Promoted_total : 0
655.92/615.45	c (0,0) c Promoted_winner : 0
655.92/615.45	c (0,0) c Remove_Imp_0 : 0
655.92/615.45	c (0,0) c Remove_Imp_1 : 0
655.92/615.45	c (0,0) c Remove_Imp_2 : 0
655.92/615.45	c (0,0) c Remove_Imp_3 : 0
655.92/615.45	c (0,0) c Remove_Imp_4 : 0
655.92/615.45	c (0,0) c Remove_Imp_5 : 0
655.92/615.45	c (0,0) c Remove_Imp_6 : 0
655.92/615.45	c (0,0) c Remove_Imp_7 : 0
655.92/615.45	c (0,0) c Remove_Imp_total : 0
655.92/615.45	c (0,0) c Remove_Imp_winner : 0
655.92/615.45	c (0,0) c Blocked_Reuse_0 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_1 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_2 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_3 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_4 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_5 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_6 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_7 : 0
655.92/615.45	c (0,0) c Blocked_Reuse_total : 0
655.92/615.45	c (0,0) c Blocked_Reuse_winner : 0
655.92/615.45	c (0,0) c Unaries_0 : 13
655.92/615.45	c (0,0) c Unaries_1 : 3
655.92/615.45	c (0,0) c Unaries_2 : 5
655.92/615.45	c (0,0) c Unaries_3 : 16
655.92/615.45	c (0,0) c Unaries_4 : 3
655.92/615.45	c (0,0) c Unaries_5 : 5
655.92/615.45	c (0,0) c Unaries_6 : 5
655.92/615.45	c (0,0) c Unaries_7 : 1
655.92/615.45	c (0,0) c Unaries_total : 51
655.92/615.45	c (0,0) c Unaries_winner : 13
655.92/615.45	c (0,0) c Binaries_0 : 35
655.92/615.45	c (0,0) c Binaries_1 : 22
655.92/615.45	c (0,0) c Binaries_2 : 11
655.92/615.45	c (0,0) c Binaries_3 : 15
655.92/615.45	c (0,0) c Binaries_4 : 22
655.92/615.45	c (0,0) c Binaries_5 : 19
655.92/615.45	c (0,0) c Binaries_6 : 18
655.92/615.45	c (0,0) c Binaries_7 : 17
655.92/615.45	c (0,0) c Binaries_total : 159
655.92/615.45	c (0,0) c Binaries_winner : 35
655.92/615.45	c (0,0) c Glues_0 : 80
655.92/615.45	c (0,0) c Glues_1 : 32
655.92/615.45	c (0,0) c Glues_2 : 26
655.92/615.45	c (0,0) c Glues_3 : 25
655.92/615.45	c (0,0) c Glues_4 : 32
655.92/615.45	c (0,0) c Glues_5 : 40
655.92/615.45	c (0,0) c Glues_6 : 39
655.92/615.45	c (0,0) c Glues_7 : 36
655.92/615.45	c (0,0) c Glues_total : 310
655.92/615.45	c (0,0) c Glues_winner : 80
655.92/615.45	c (0,0) c RunningTime_0 : 0.026547
655.92/615.45	c (0,0) c RunningTime_1 : 0.019464
655.92/615.45	c (0,0) c RunningTime_2 : 0.021714
655.92/615.45	c (0,0) c RunningTime_3 : 0.021463
655.92/615.45	c (0,0) c RunningTime_4 : 0.019501
655.92/615.45	c (0,0) c RunningTime_5 : 0.022716
655.92/615.45	c (0,0) c RunningTime_6 : 0.022368
655.92/615.45	c (0,0) c RunningTime_7 : 0.018193
655.92/615.45	c (0,0) c RunningTime_total : 0.171965
655.92/615.45	c (0,0) c RunningTime_winner : 0.026547
655.92/615.45	c (0,0) c WaitingTime_0 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_1 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_2 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_3 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_4 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_5 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_6 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_7 : 0.000000
655.92/615.45	c (0,0) c WaitingTime_total : 0.000000
655.92/615.45	c (0,0) c WaitingTime_winner : 0.000000
655.92/615.45	c (0,0) c ExchangingTime_0 : 0.000133
655.92/615.45	c (0,0) c ExchangingTime_1 : 0.000019
655.92/615.45	c (0,0) c ExchangingTime_2 : 0.000021
655.92/615.45	c (0,0) c ExchangingTime_3 : 0.000016
655.92/615.45	c (0,0) c ExchangingTime_4 : 0.000018
655.92/615.45	c (0,0) c ExchangingTime_5 : 0.000056
655.92/615.45	c (0,0) c ExchangingTime_6 : 0.000020
655.92/615.45	c (0,0) c ExchangingTime_7 : 0.000021
655.92/615.45	c (0,0) c ExchangingTime_total : 0.000305
655.92/615.45	c (0,0) c ExchangingTime_winner : 0.000133
655.92/615.45	c (0,0) c PeriodProcTime_0 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_1 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_2 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_3 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_4 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_5 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_6 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_7 : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_total : 0.000000
655.92/615.45	c (0,0) c PeriodProcTime_winner : 0.000000
655.92/615.45	c (0,0) c SolvingTime_0 : 0.026679
655.92/615.45	c (0,0) c SolvingTime_1 : 0.019483
655.92/615.45	c (0,0) c SolvingTime_2 : 0.021736
655.92/615.45	c (0,0) c SolvingTime_3 : 0.021478
655.92/615.45	c (0,0) c SolvingTime_4 : 0.019520
655.92/615.45	c (0,0) c SolvingTime_5 : 0.022772
655.92/615.45	c (0,0) c SolvingTime_6 : 0.022388
655.92/615.45	c (0,0) c SolvingTime_7 : 0.018214
655.92/615.45	c (0,0) c SolvingTime_total : 0.172270
655.92/615.45	c (0,0) c SolvingTime_winner : 0.026679
655.92/615.45	c (0,0) c PropagationTime_0 : 0.024370
655.92/615.45	c (0,0) c PropagationTime_1 : 0.018430
655.92/615.45	c (0,0) c PropagationTime_2 : 0.020655
655.92/615.45	c (0,0) c PropagationTime_3 : 0.020368
655.92/615.45	c (0,0) c PropagationTime_4 : 0.018711
655.92/615.45	c (0,0) c PropagationTime_5 : 0.021525
655.92/615.45	c (0,0) c PropagationTime_6 : 0.021034
655.92/615.45	c (0,0) c PropagationTime_7 : 0.017309
655.92/615.45	c (0,0) c PropagationTime_total : 0.162403
655.92/615.45	c (0,0) c PropagationTime_winner : 0.024370
655.92/615.45	c (0,0) c AnalysisTime_0 : 0.000895
655.92/615.45	c (0,0) c AnalysisTime_1 : 0.000297
655.92/615.45	c (0,0) c AnalysisTime_2 : 0.000424
655.92/615.45	c (0,0) c AnalysisTime_3 : 0.000383
655.92/615.45	c (0,0) c AnalysisTime_4 : 0.000290
655.92/615.45	c (0,0) c AnalysisTime_5 : 0.000479
655.92/615.45	c (0,0) c AnalysisTime_6 : 0.000613
655.92/615.45	c (0,0) c AnalysisTime_7 : 0.000254
655.92/615.45	c (0,0) c AnalysisTime_total : 0.003634
655.92/615.45	c (0,0) c AnalysisTime_winner : 0.000895
655.92/615.45	c (0,0) c ReductionTime_0 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_1 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_2 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_3 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_4 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_5 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_6 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_7 : 0.000000
655.92/615.45	c (0,0) c ReductionTime_total : 0.000000
655.92/615.45	c (0,0) c ReductionTime_winner : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_0 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_1 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_2 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_3 : 0.000001
655.92/615.45	c (0,0) c SimplifyTime_4 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_5 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_6 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_7 : 0.000000
655.92/615.45	c (0,0) c SimplifyTime_total : 0.000001
655.92/615.45	c (0,0) c SimplifyTime_winner : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_0 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_1 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_2 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_3 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_4 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_5 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_6 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_7 : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_total : 0.000000
655.92/615.45	c (0,0) c UsedRateTime_winner : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_0 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_1 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_2 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_3 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_4 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_5 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_6 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_7 : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_total : 0.000000
655.92/615.45	c (0,0) c OverlapRateTime_winner : 0.000000
655.92/615.45	c (0,0) c
655.92/615.45	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
655.92/615.45	c (0,0) c
655.92/615.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.45	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
655.92/615.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.45	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
655.92/615.45	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
655.92/615.45	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
655.92/615.45	c (0,0) c | Initial random_seed   | 1011920476 |  498693489 |  646637545 | 1804416624 |  571668708 | 1252004297 |  594016654 | 1561262086 |
655.92/615.45	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
655.92/615.45	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
655.92/615.45	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
655.92/615.45	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
655.92/615.45	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
655.92/615.45	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
655.92/615.45	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
655.92/615.45	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
655.92/615.45	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
655.92/615.45	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
655.92/615.45	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
655.92/615.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
655.92/615.45	c (0,0) 
655.92/615.45	c (0,0) s SATISFIABLE
655.92/615.49	c (0,0) SatSolver.solve End
655.92/615.49	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
655.92/615.49	c (0,0) Show results Begin
656.52/615.68	c (0,0) x[0][0] = 1
656.52/615.68	c (0,0) x[0][1] = 1
656.52/615.68	c (0,0) x[0][2] = 1
656.52/615.68	c (0,0) x[0][3] = 1
656.52/615.68	c (0,0) x[0][4] = 1
656.52/615.68	c (0,0) x[0][5] = 1
656.52/615.68	c (0,0) x[0][6] = 1
656.52/615.68	c (0,0) x[0][7] = 1
656.52/615.68	c (0,0) x[0][8] = 1
656.52/615.68	c (0,0) x[0][9] = 1
656.52/615.68	c (0,0) x[0][10] = 1
656.52/615.68	c (0,0) x[0][11] = 1
656.52/615.68	c (0,0) x[0][12] = 1
656.52/615.68	c (0,0) x[0][13] = 1
656.52/615.68	c (0,0) x[0][14] = 1
656.52/615.68	c (0,0) x[0][15] = 1
656.52/615.68	c (0,0) x[0][16] = 1
656.52/615.68	c (0,0) x[0][17] = 1
656.52/615.68	c (0,0) x[0][18] = 1
656.52/615.68	c (0,0) x[0][19] = 1
656.52/615.68	c (0,0) x[0][20] = 1
656.52/615.68	c (0,0) x[0][21] = 1
656.52/615.68	c (0,0) x[0][22] = 1
656.52/615.68	c (0,0) x[0][23] = 1
656.52/615.68	c (0,0) x[0][24] = 1
656.52/615.68	c (0,0) x[0][25] = 1
656.52/615.68	c (0,0) x[0][26] = 1
656.52/615.68	c (0,0) x[0][27] = 1
656.52/615.68	c (0,0) x[0][28] = 1
656.52/615.68	c (0,0) x[0][29] = 1
656.52/615.68	c (0,0) x[0][30] = 1
656.52/615.68	c (0,0) x[0][31] = 1
656.52/615.68	c (0,0) x[1][0] = 1
656.52/615.68	c (0,0) x[1][1] = 0
656.52/615.68	c (0,0) x[1][2] = 0
656.52/615.68	c (0,0) x[1][3] = 0
656.52/615.68	c (0,0) x[1][4] = 0
656.52/615.68	c (0,0) x[1][5] = 0
656.52/615.68	c (0,0) x[1][6] = 0
656.52/615.68	c (0,0) x[1][7] = 0
656.52/615.68	c (0,0) x[1][8] = 0
656.52/615.68	c (0,0) x[1][9] = 1
656.52/615.68	c (0,0) x[1][10] = 0
656.52/615.68	c (0,0) x[1][11] = 0
656.52/615.68	c (0,0) x[1][12] = 1
656.52/615.68	c (0,0) x[1][13] = 0
656.52/615.68	c (0,0) x[1][14] = 0
656.52/615.68	c (0,0) x[1][15] = 0
656.52/615.68	c (0,0) x[1][16] = 0
656.52/615.68	c (0,0) x[1][17] = 1
656.52/615.68	c (0,0) x[1][18] = 0
656.52/615.68	c (0,0) x[1][19] = 0
656.52/615.68	c (0,0) x[1][20] = 0
656.52/615.68	c (0,0) x[1][21] = 1
656.52/615.68	c (0,0) x[1][22] = 0
656.52/615.68	c (0,0) x[1][23] = 0
656.52/615.68	c (0,0) x[1][24] = 0
656.52/615.68	c (0,0) x[1][25] = 0
656.52/615.68	c (0,0) x[1][26] = 0
656.52/615.68	c (0,0) x[1][27] = 1
656.52/615.68	c (0,0) x[1][28] = 0
656.52/615.68	c (0,0) x[1][29] = 0
656.52/615.68	c (0,0) x[1][30] = 0
656.52/615.68	c (0,0) x[1][31] = 1
656.52/615.68	c (0,0) x[2][0] = 1
656.52/615.68	c (0,0) x[2][1] = 0
656.52/615.68	c (0,0) x[2][2] = 0
656.52/615.68	c (0,0) x[2][3] = 0
656.52/615.68	c (0,0) x[2][4] = 0
656.52/615.68	c (0,0) x[2][5] = 0
656.52/615.68	c (0,0) x[2][6] = 0
656.52/615.68	c (0,0) x[2][7] = 1
656.52/615.68	c (0,0) x[2][8] = 1
656.52/615.68	c (0,0) x[2][9] = 1
656.52/615.68	c (0,0) x[2][10] = 0
656.52/615.68	c (0,0) x[2][11] = 0
656.52/615.68	c (0,0) x[2][12] = 1
656.52/615.68	c (0,0) x[2][13] = 1
656.52/615.68	c (0,0) x[2][14] = 0
656.52/615.68	c (0,0) x[2][15] = 0
656.52/615.68	c (0,0) x[2][16] = 0
656.52/615.68	c (0,0) x[2][17] = 1
656.52/615.68	c (0,0) x[2][18] = 0
656.52/615.68	c (0,0) x[2][19] = 0
656.52/615.68	c (0,0) x[2][20] = 0
656.52/615.68	c (0,0) x[2][21] = 1
656.52/615.69	c (0,0) x[2][22] = 0
656.52/615.69	c (0,0) x[2][23] = 0
656.52/615.69	c (0,0) x[2][24] = 0
656.52/615.69	c (0,0) x[2][25] = 0
656.52/615.69	c (0,0) x[2][26] = 0
656.52/615.69	c (0,0) x[2][27] = 1
656.52/615.69	c (0,0) x[2][28] = 0
656.52/615.69	c (0,0) x[2][29] = 0
656.52/615.69	c (0,0) x[2][30] = 0
656.52/615.69	c (0,0) x[2][31] = 1
656.52/615.69	c (0,0) x[3][0] = 1
656.52/615.69	c (0,0) x[3][1] = 0
656.52/615.69	c (0,0) x[3][2] = 0
656.52/615.69	c (0,0) x[3][3] = 0
656.52/615.69	c (0,0) x[3][4] = 0
656.52/615.69	c (0,0) x[3][5] = 0
656.52/615.69	c (0,0) x[3][6] = 0
656.52/615.69	c (0,0) x[3][7] = 1
656.52/615.69	c (0,0) x[3][8] = 0
656.52/615.69	c (0,0) x[3][9] = 0
656.52/615.69	c (0,0) x[3][10] = 0
656.52/615.69	c (0,0) x[3][11] = 0
656.52/615.69	c (0,0) x[3][12] = 0
656.52/615.69	c (0,0) x[3][13] = 1
656.52/615.69	c (0,0) x[3][14] = 0
656.52/615.69	c (0,0) x[3][15] = 0
656.52/615.69	c (0,0) x[3][16] = 1
656.52/615.69	c (0,0) x[3][17] = 1
656.52/615.69	c (0,0) x[3][18] = 0
656.52/615.69	c (0,0) x[3][19] = 0
656.52/615.69	c (0,0) x[3][20] = 1
656.52/615.69	c (0,0) x[3][21] = 1
656.52/615.69	c (0,0) x[3][22] = 1
656.52/615.69	c (0,0) x[3][23] = 1
656.52/615.69	c (0,0) x[3][24] = 0
656.52/615.69	c (0,0) x[3][25] = 0
656.52/615.69	c (0,0) x[3][26] = 1
656.52/615.69	c (0,0) x[3][27] = 1
656.52/615.69	c (0,0) x[3][28] = 0
656.52/615.69	c (0,0) x[3][29] = 0
656.52/615.69	c (0,0) x[3][30] = 0
656.52/615.69	c (0,0) x[3][31] = 1
656.52/615.69	c (0,0) x[4][0] = 1
656.52/615.69	c (0,0) x[4][1] = 0
656.52/615.69	c (0,0) x[4][2] = 0
656.52/615.69	c (0,0) x[4][3] = 1
656.52/615.69	c (0,0) x[4][4] = 1
656.52/615.69	c (0,0) x[4][5] = 1
656.52/615.69	c (0,0) x[4][6] = 1
656.52/615.69	c (0,0) x[4][7] = 1
656.52/615.69	c (0,0) x[4][8] = 0
656.52/615.69	c (0,0) x[4][9] = 0
656.52/615.69	c (0,0) x[4][10] = 0
656.52/615.69	c (0,0) x[4][11] = 1
656.52/615.69	c (0,0) x[4][12] = 1
656.52/615.69	c (0,0) x[4][13] = 1
656.52/615.69	c (0,0) x[4][14] = 0
656.52/615.69	c (0,0) x[4][15] = 0
656.52/615.69	c (0,0) x[4][16] = 1
656.52/615.69	c (0,0) x[4][17] = 0
656.52/615.69	c (0,0) x[4][18] = 0
656.52/615.69	c (0,0) x[4][19] = 0
656.52/615.69	c (0,0) x[4][20] = 1
656.52/615.69	c (0,0) x[4][21] = 0
656.52/615.69	c (0,0) x[4][22] = 0
656.52/615.69	c (0,0) x[4][23] = 1
656.52/615.69	c (0,0) x[4][24] = 0
656.52/615.69	c (0,0) x[4][25] = 0
656.52/615.69	c (0,0) x[4][26] = 1
656.52/615.69	c (0,0) x[4][27] = 0
656.52/615.69	c (0,0) x[4][28] = 0
656.52/615.69	c (0,0) x[4][29] = 0
656.52/615.69	c (0,0) x[4][30] = 0
656.52/615.69	c (0,0) x[4][31] = 1
656.52/615.69	c (0,0) x[5][0] = 1
656.52/615.69	c (0,0) x[5][1] = 1
656.52/615.69	c (0,0) x[5][2] = 1
656.52/615.69	c (0,0) x[5][3] = 1
656.52/615.69	c (0,0) x[5][4] = 0
656.52/615.69	c (0,0) x[5][5] = 0
656.52/615.69	c (0,0) x[5][6] = 0
656.52/615.69	c (0,0) x[5][7] = 1
656.52/615.69	c (0,0) x[5][8] = 1
656.52/615.69	c (0,0) x[5][9] = 0
656.52/615.69	c (0,0) x[5][10] = 0
656.52/615.69	c (0,0) x[5][11] = 1
656.52/615.69	c (0,0) x[5][12] = 0
656.52/615.69	c (0,0) x[5][13] = 1
656.52/615.69	c (0,0) x[5][14] = 1
656.52/615.69	c (0,0) x[5][15] = 1
656.52/615.69	c (0,0) x[5][16] = 1
656.52/615.69	c (0,0) x[5][17] = 1
656.52/615.69	c (0,0) x[5][18] = 1
656.52/615.69	c (0,0) x[5][19] = 1
656.52/615.69	c (0,0) x[5][20] = 1
656.52/615.69	c (0,0) x[5][21] = 0
656.52/615.69	c (0,0) x[5][22] = 0
656.52/615.69	c (0,0) x[5][23] = 1
656.52/615.69	c (0,0) x[5][24] = 1
656.52/615.69	c (0,0) x[5][25] = 1
656.52/615.69	c (0,0) x[5][26] = 1
656.52/615.69	c (0,0) x[5][27] = 1
656.52/615.69	c (0,0) x[5][28] = 1
656.52/615.69	c (0,0) x[5][29] = 1
656.52/615.69	c (0,0) x[5][30] = 0
656.52/615.69	c (0,0) x[5][31] = 1
656.52/615.69	c (0,0) x[6][0] = 1
656.52/615.69	c (0,0) x[6][1] = 0
656.52/615.69	c (0,0) x[6][2] = 0
656.52/615.69	c (0,0) x[6][3] = 1
656.52/615.69	c (0,0) x[6][4] = 0
656.52/615.69	c (0,0) x[6][5] = 0
656.52/615.69	c (0,0) x[6][6] = 0
656.52/615.69	c (0,0) x[6][7] = 0
656.52/615.69	c (0,0) x[6][8] = 1
656.52/615.69	c (0,0) x[6][9] = 0
656.52/615.69	c (0,0) x[6][10] = 0
656.52/615.69	c (0,0) x[6][11] = 1
656.52/615.69	c (0,0) x[6][12] = 0
656.52/615.69	c (0,0) x[6][13] = 0
656.52/615.69	c (0,0) x[6][14] = 0
656.52/615.69	c (0,0) x[6][15] = 0
656.52/615.69	c (0,0) x[6][16] = 0
656.52/615.69	c (0,0) x[6][17] = 1
656.52/615.69	c (0,0) x[6][18] = 0
656.52/615.69	c (0,0) x[6][19] = 0
656.52/615.69	c (0,0) x[6][20] = 0
656.52/615.69	c (0,0) x[6][21] = 0
656.52/615.69	c (0,0) x[6][22] = 0
656.52/615.69	c (0,0) x[6][23] = 0
656.52/615.69	c (0,0) x[6][24] = 1
656.52/615.69	c (0,0) x[6][25] = 0
656.52/615.69	c (0,0) x[6][26] = 0
656.52/615.69	c (0,0) x[6][27] = 0
656.52/615.69	c (0,0) x[6][28] = 0
656.52/615.69	c (0,0) x[6][29] = 1
656.52/615.69	c (0,0) x[6][30] = 1
656.52/615.69	c (0,0) x[6][31] = 1
656.52/615.69	c (0,0) x[7][0] = 1
656.52/615.69	c (0,0) x[7][1] = 0
656.52/615.69	c (0,0) x[7][2] = 0
656.52/615.69	c (0,0) x[7][3] = 1
656.52/615.69	c (0,0) x[7][4] = 1
656.52/615.69	c (0,0) x[7][5] = 1
656.52/615.69	c (0,0) x[7][6] = 1
656.52/615.69	c (0,0) x[7][7] = 1
656.52/615.69	c (0,0) x[7][8] = 1
656.52/615.69	c (0,0) x[7][9] = 0
656.52/615.69	c (0,0) x[7][10] = 0
656.52/615.69	c (0,0) x[7][11] = 1
656.52/615.69	c (0,0) x[7][12] = 1
656.52/615.69	c (0,0) x[7][13] = 1
656.52/615.69	c (0,0) x[7][14] = 1
656.52/615.69	c (0,0) x[7][15] = 0
656.52/615.69	c (0,0) x[7][16] = 0
656.52/615.69	c (0,0) x[7][17] = 1
656.52/615.69	c (0,0) x[7][18] = 0
656.52/615.69	c (0,0) x[7][19] = 0
656.52/615.69	c (0,0) x[7][20] = 0
656.52/615.69	c (0,0) x[7][21] = 0
656.52/615.69	c (0,0) x[7][22] = 0
656.52/615.69	c (0,0) x[7][23] = 0
656.52/615.69	c (0,0) x[7][24] = 1
656.52/615.69	c (0,0) x[7][25] = 1
656.52/615.69	c (0,0) x[7][26] = 1
656.52/615.69	c (0,0) x[7][27] = 0
656.52/615.69	c (0,0) x[7][28] = 0
656.52/615.69	c (0,0) x[7][29] = 0
656.52/615.69	c (0,0) x[7][30] = 0
656.52/615.69	c (0,0) x[7][31] = 1
656.52/615.69	c (0,0) x[8][0] = 1
656.52/615.69	c (0,0) x[8][1] = 0
656.52/615.69	c (0,0) x[8][2] = 0
656.52/615.69	c (0,0) x[8][3] = 0
656.52/615.69	c (0,0) x[8][4] = 0
656.52/615.69	c (0,0) x[8][5] = 1
656.52/615.69	c (0,0) x[8][6] = 0
656.52/615.69	c (0,0) x[8][7] = 0
656.52/615.69	c (0,0) x[8][8] = 1
656.52/615.69	c (0,0) x[8][9] = 1
656.52/615.69	c (0,0) x[8][10] = 1
656.52/615.69	c (0,0) x[8][11] = 1
656.52/615.69	c (0,0) x[8][12] = 0
656.52/615.69	c (0,0) x[8][13] = 0
656.52/615.69	c (0,0) x[8][14] = 1
656.52/615.69	c (0,0) x[8][15] = 0
656.52/615.69	c (0,0) x[8][16] = 0
656.52/615.69	c (0,0) x[8][17] = 1
656.52/615.69	c (0,0) x[8][18] = 0
656.52/615.69	c (0,0) x[8][19] = 0
656.52/615.69	c (0,0) x[8][20] = 0
656.52/615.69	c (0,0) x[8][21] = 0
656.52/615.69	c (0,0) x[8][22] = 0
656.52/615.69	c (0,0) x[8][23] = 0
656.52/615.69	c (0,0) x[8][24] = 0
656.52/615.69	c (0,0) x[8][25] = 0
656.52/615.69	c (0,0) x[8][26] = 1
656.52/615.69	c (0,0) x[8][27] = 0
656.52/615.69	c (0,0) x[8][28] = 0
656.52/615.69	c (0,0) x[8][29] = 0
656.52/615.69	c (0,0) x[8][30] = 0
656.52/615.69	c (0,0) x[8][31] = 1
656.52/615.69	c (0,0) x[9][0] = 1
656.52/615.69	c (0,0) x[9][1] = 0
656.52/615.69	c (0,0) x[9][2] = 0
656.52/615.69	c (0,0) x[9][3] = 0
656.52/615.69	c (0,0) x[9][4] = 0
656.52/615.69	c (0,0) x[9][5] = 1
656.52/615.69	c (0,0) x[9][6] = 0
656.52/615.69	c (0,0) x[9][7] = 0
656.52/615.69	c (0,0) x[9][8] = 0
656.52/615.69	c (0,0) x[9][9] = 0
656.52/615.69	c (0,0) x[9][10] = 0
656.52/615.69	c (0,0) x[9][11] = 1
656.52/615.69	c (0,0) x[9][12] = 0
656.52/615.69	c (0,0) x[9][13] = 0
656.52/615.69	c (0,0) x[9][14] = 1
656.52/615.69	c (0,0) x[9][15] = 1
656.52/615.69	c (0,0) x[9][16] = 1
656.52/615.69	c (0,0) x[9][17] = 1
656.52/615.69	c (0,0) x[9][18] = 0
656.52/615.69	c (0,0) x[9][19] = 0
656.52/615.69	c (0,0) x[9][20] = 0
656.52/615.69	c (0,0) x[9][21] = 0
656.52/615.69	c (0,0) x[9][22] = 0
656.52/615.69	c (0,0) x[9][23] = 0
656.52/615.69	c (0,0) x[9][24] = 0
656.52/615.69	c (0,0) x[9][25] = 0
656.52/615.69	c (0,0) x[9][26] = 1
656.52/615.69	c (0,0) x[9][27] = 1
656.52/615.69	c (0,0) x[9][28] = 1
656.52/615.69	c (0,0) x[9][29] = 1
656.52/615.69	c (0,0) x[9][30] = 0
656.52/615.69	c (0,0) x[9][31] = 1
656.52/615.69	c (0,0) x[10][0] = 1
656.52/615.69	c (0,0) x[10][1] = 1
656.52/615.69	c (0,0) x[10][2] = 1
656.52/615.69	c (0,0) x[10][3] = 1
656.52/615.69	c (0,0) x[10][4] = 1
656.52/615.69	c (0,0) x[10][5] = 1
656.52/615.69	c (0,0) x[10][6] = 0
656.52/615.69	c (0,0) x[10][7] = 0
656.52/615.69	c (0,0) x[10][8] = 0
656.52/615.69	c (0,0) x[10][9] = 0
656.52/615.69	c (0,0) x[10][10] = 0
656.52/615.69	c (0,0) x[10][11] = 1
656.52/615.69	c (0,0) x[10][12] = 1
656.52/615.69	c (0,0) x[10][13] = 0
656.52/615.69	c (0,0) x[10][14] = 0
656.52/615.69	c (0,0) x[10][15] = 0
656.52/615.69	c (0,0) x[10][16] = 0
656.52/615.69	c (0,0) x[10][17] = 0
656.52/615.69	c (0,0) x[10][18] = 0
656.52/615.69	c (0,0) x[10][19] = 0
656.52/615.69	c (0,0) x[10][20] = 0
656.52/615.69	c (0,0) x[10][21] = 0
656.52/615.69	c (0,0) x[10][22] = 0
656.52/615.69	c (0,0) x[10][23] = 0
656.52/615.69	c (0,0) x[10][24] = 0
656.52/615.69	c (0,0) x[10][25] = 0
656.52/615.69	c (0,0) x[10][26] = 0
656.52/615.69	c (0,0) x[10][27] = 0
656.52/615.69	c (0,0) x[10][28] = 0
656.52/615.69	c (0,0) x[10][29] = 1
656.52/615.69	c (0,0) x[10][30] = 0
656.52/615.69	c (0,0) x[10][31] = 1
656.52/615.69	c (0,0) x[11][0] = 1
656.52/615.69	c (0,0) x[11][1] = 0
656.52/615.69	c (0,0) x[11][2] = 0
656.52/615.69	c (0,0) x[11][3] = 0
656.52/615.69	c (0,0) x[11][4] = 0
656.52/615.69	c (0,0) x[11][5] = 1
656.52/615.69	c (0,0) x[11][6] = 1
656.52/615.69	c (0,0) x[11][7] = 1
656.52/615.69	c (0,0) x[11][8] = 1
656.52/615.69	c (0,0) x[11][9] = 0
656.52/615.69	c (0,0) x[11][10] = 0
656.52/615.69	c (0,0) x[11][11] = 0
656.52/615.69	c (0,0) x[11][12] = 1
656.52/615.69	c (0,0) x[11][13] = 0
656.52/615.69	c (0,0) x[11][14] = 0
656.52/615.69	c (0,0) x[11][15] = 0
656.52/615.69	c (0,0) x[11][16] = 0
656.52/615.69	c (0,0) x[11][17] = 0
656.52/615.69	c (0,0) x[11][18] = 0
656.52/615.69	c (0,0) x[11][19] = 0
656.52/615.69	c (0,0) x[11][20] = 0
656.52/615.69	c (0,0) x[11][21] = 0
656.52/615.69	c (0,0) x[11][22] = 0
656.52/615.69	c (0,0) x[11][23] = 0
656.52/615.69	c (0,0) x[11][24] = 0
656.52/615.69	c (0,0) x[11][25] = 0
656.52/615.69	c (0,0) x[11][26] = 0
656.52/615.69	c (0,0) x[11][27] = 0
656.52/615.69	c (0,0) x[11][28] = 0
656.52/615.69	c (0,0) x[11][29] = 1
656.52/615.69	c (0,0) x[11][30] = 1
656.52/615.69	c (0,0) x[11][31] = 1
656.52/615.69	c (0,0) x[12][0] = 1
656.52/615.69	c (0,0) x[12][1] = 0
656.52/615.69	c (0,0) x[12][2] = 0
656.52/615.69	c (0,0) x[12][3] = 0
656.52/615.69	c (0,0) x[12][4] = 0
656.52/615.69	c (0,0) x[12][5] = 0
656.52/615.69	c (0,0) x[12][6] = 0
656.52/615.69	c (0,0) x[12][7] = 0
656.52/615.69	c (0,0) x[12][8] = 1
656.52/615.69	c (0,0) x[12][9] = 1
656.52/615.69	c (0,0) x[12][10] = 1
656.52/615.69	c (0,0) x[12][11] = 1
656.52/615.69	c (0,0) x[12][12] = 1
656.52/615.69	c (0,0) x[12][13] = 0
656.52/615.69	c (0,0) x[12][14] = 0
656.52/615.69	c (0,0) x[12][15] = 0
656.52/615.69	c (0,0) x[12][16] = 0
656.52/615.69	c (0,0) x[12][17] = 0
656.52/615.69	c (0,0) x[12][18] = 0
656.52/615.69	c (0,0) x[12][19] = 0
656.52/615.69	c (0,0) x[12][20] = 0
656.52/615.69	c (0,0) x[12][21] = 0
656.52/615.69	c (0,0) x[12][22] = 0
656.52/615.69	c (0,0) x[12][23] = 0
656.52/615.69	c (0,0) x[12][24] = 0
656.52/615.69	c (0,0) x[12][25] = 0
656.52/615.69	c (0,0) x[12][26] = 0
656.52/615.69	c (0,0) x[12][27] = 0
656.52/615.69	c (0,0) x[12][28] = 0
656.52/615.69	c (0,0) x[12][29] = 0
656.52/615.69	c (0,0) x[12][30] = 0
656.52/615.69	c (0,0) x[12][31] = 0
656.52/615.69	c (0,0) x[13][0] = 1
656.52/615.69	c (0,0) x[13][1] = 0
656.52/615.69	c (0,0) x[13][2] = 0
656.52/615.69	c (0,0) x[13][3] = 1
656.52/615.69	c (0,0) x[13][4] = 1
656.52/615.69	c (0,0) x[13][5] = 1
656.52/615.69	c (0,0) x[13][6] = 0
656.52/615.69	c (0,0) x[13][7] = 0
656.52/615.69	c (0,0) x[13][8] = 1
656.52/615.69	c (0,0) x[13][9] = 0
656.52/615.69	c (0,0) x[13][10] = 0
656.52/615.69	c (0,0) x[13][11] = 0
656.52/615.69	c (0,0) x[13][12] = 0
656.52/615.69	c (0,0) x[13][13] = 0
656.52/615.69	c (0,0) x[13][14] = 0
656.52/615.69	c (0,0) x[13][15] = 0
656.52/615.69	c (0,0) x[13][16] = 0
656.52/615.69	c (0,0) x[13][17] = 0
656.52/615.69	c (0,0) x[13][18] = 0
656.52/615.69	c (0,0) x[13][19] = 0
656.52/615.69	c (0,0) x[13][20] = 0
656.52/615.69	c (0,0) x[13][21] = 0
656.52/615.69	c (0,0) x[13][22] = 0
656.52/615.69	c (0,0) x[13][23] = 0
656.52/615.69	c (0,0) x[13][24] = 0
656.52/615.69	c (0,0) x[13][25] = 0
656.52/615.69	c (0,0) x[13][26] = 0
656.52/615.69	c (0,0) x[13][27] = 0
656.52/615.69	c (0,0) x[13][28] = 0
656.52/615.69	c (0,0) x[13][29] = 0
656.52/615.69	c (0,0) x[13][30] = 0
656.52/615.69	c (0,0) x[13][31] = 0
656.52/615.69	c (0,0) x[14][0] = 1
656.52/615.69	c (0,0) x[14][1] = 0
656.52/615.69	c (0,0) x[14][2] = 0
656.52/615.69	c (0,0) x[14][3] = 1
656.52/615.69	c (0,0) x[14][4] = 0
656.52/615.69	c (0,0) x[14][5] = 1
656.52/615.69	c (0,0) x[14][6] = 0
656.52/615.69	c (0,0) x[14][7] = 0
656.52/615.69	c (0,0) x[14][8] = 1
656.52/615.69	c (0,0) x[14][9] = 0
656.52/615.69	c (0,0) x[14][10] = 0
656.52/615.69	c (0,0) x[14][11] = 0
656.52/615.69	c (0,0) x[14][12] = 0
656.52/615.69	c (0,0) x[14][13] = 0
656.52/615.69	c (0,0) x[14][14] = 0
656.52/615.69	c (0,0) x[14][15] = 0
656.52/615.69	c (0,0) x[14][16] = 0
656.52/615.69	c (0,0) x[14][17] = 1
656.52/615.69	c (0,0) x[14][18] = 1
656.52/615.69	c (0,0) x[14][19] = 1
656.52/615.69	c (0,0) x[14][20] = 1
656.52/615.69	c (0,0) x[14][21] = 1
656.52/615.69	c (0,0) x[14][22] = 1
656.52/615.69	c (0,0) x[14][23] = 1
656.52/615.69	c (0,0) x[14][24] = 0
656.52/615.69	c (0,0) x[14][25] = 0
656.52/615.69	c (0,0) x[14][26] = 0
656.52/615.69	c (0,0) x[14][27] = 0
656.52/615.69	c (0,0) x[14][28] = 0
656.52/615.69	c (0,0) x[14][29] = 0
656.52/615.69	c (0,0) x[14][30] = 0
656.52/615.69	c (0,0) x[14][31] = 0
656.52/615.69	c (0,0) x[15][0] = 1
656.52/615.69	c (0,0) x[15][1] = 1
656.52/615.69	c (0,0) x[15][2] = 1
656.52/615.69	c (0,0) x[15][3] = 1
656.52/615.69	c (0,0) x[15][4] = 0
656.52/615.69	c (0,0) x[15][5] = 1
656.52/615.69	c (0,0) x[15][6] = 1
656.52/615.69	c (0,0) x[15][7] = 1
656.52/615.69	c (0,0) x[15][8] = 1
656.52/615.69	c (0,0) x[15][9] = 1
656.52/615.69	c (0,0) x[15][10] = 1
656.52/615.69	c (0,0) x[15][11] = 1
656.52/615.69	c (0,0) x[15][12] = 1
656.52/615.69	c (0,0) x[15][13] = 0
656.52/615.69	c (0,0) x[15][14] = 0
656.52/615.69	c (0,0) x[15][15] = 0
656.52/615.69	c (0,0) x[15][16] = 1
656.52/615.69	c (0,0) x[15][17] = 1
656.52/615.69	c (0,0) x[15][18] = 0
656.52/615.69	c (0,0) x[15][19] = 0
656.52/615.69	c (0,0) x[15][20] = 0
656.52/615.69	c (0,0) x[15][21] = 0
656.52/615.69	c (0,0) x[15][22] = 0
656.52/615.69	c (0,0) x[15][23] = 1
656.52/615.69	c (0,0) x[15][24] = 1
656.52/615.69	c (0,0) x[15][25] = 0
656.52/615.69	c (0,0) x[15][26] = 0
656.52/615.69	c (0,0) x[15][27] = 0
656.52/615.69	c (0,0) x[15][28] = 0
656.52/615.69	c (0,0) x[15][29] = 0
656.52/615.69	c (0,0) x[15][30] = 0
656.52/615.69	c (0,0) x[15][31] = 0
656.52/615.69	c (0,0) x[16][0] = 1
656.52/615.69	c (0,0) x[16][1] = 0
656.52/615.69	c (0,0) x[16][2] = 0
656.52/615.69	c (0,0) x[16][3] = 0
656.52/615.69	c (0,0) x[16][4] = 0
656.52/615.69	c (0,0) x[16][5] = 0
656.52/615.69	c (0,0) x[16][6] = 0
656.52/615.69	c (0,0) x[16][7] = 0
656.52/615.69	c (0,0) x[16][8] = 1
656.52/615.69	c (0,0) x[16][9] = 0
656.52/615.69	c (0,0) x[16][10] = 0
656.52/615.69	c (0,0) x[16][11] = 0
656.52/615.69	c (0,0) x[16][12] = 1
656.52/615.69	c (0,0) x[16][13] = 0
656.52/615.69	c (0,0) x[16][14] = 0
656.52/615.69	c (0,0) x[16][15] = 1
656.52/615.69	c (0,0) x[16][16] = 1
656.52/615.69	c (0,0) x[16][17] = 0
656.52/615.69	c (0,0) x[16][18] = 0
656.52/615.69	c (0,0) x[16][19] = 0
656.52/615.69	c (0,0) x[16][20] = 0
656.52/615.69	c (0,0) x[16][21] = 0
656.52/615.69	c (0,0) x[16][22] = 0
656.52/615.69	c (0,0) x[16][23] = 0
656.52/615.69	c (0,0) x[16][24] = 1
656.52/615.69	c (0,0) x[16][25] = 1
656.52/615.69	c (0,0) x[16][26] = 0
656.52/615.69	c (0,0) x[16][27] = 0
656.52/615.69	c (0,0) x[16][28] = 0
656.52/615.69	c (0,0) x[16][29] = 0
656.52/615.69	c (0,0) x[16][30] = 0
656.52/615.69	c (0,0) x[16][31] = 0
656.52/615.69	c (0,0) x[17][0] = 1
656.52/615.69	c (0,0) x[17][1] = 0
656.52/615.69	c (0,0) x[17][2] = 0
656.52/615.69	c (0,0) x[17][3] = 0
656.52/615.69	c (0,0) x[17][4] = 0
656.52/615.69	c (0,0) x[17][5] = 0
656.52/615.69	c (0,0) x[17][6] = 0
656.52/615.69	c (0,0) x[17][7] = 0
656.52/615.69	c (0,0) x[17][8] = 1
656.52/615.69	c (0,0) x[17][9] = 0
656.52/615.69	c (0,0) x[17][10] = 1
656.52/615.69	c (0,0) x[17][11] = 1
656.52/615.69	c (0,0) x[17][12] = 1
656.52/615.69	c (0,0) x[17][13] = 1
656.52/615.69	c (0,0) x[17][14] = 1
656.52/615.69	c (0,0) x[17][15] = 1
656.52/615.69	c (0,0) x[17][16] = 0
656.52/615.69	c (0,0) x[17][17] = 0
656.52/615.69	c (0,0) x[17][18] = 1
656.52/615.69	c (0,0) x[17][19] = 1
656.52/615.69	c (0,0) x[17][20] = 0
656.52/615.69	c (0,0) x[17][21] = 0
656.52/615.69	c (0,0) x[17][22] = 0
656.52/615.69	c (0,0) x[17][23] = 0
656.52/615.69	c (0,0) x[17][24] = 0
656.52/615.69	c (0,0) x[17][25] = 1
656.52/615.69	c (0,0) x[17][26] = 1
656.52/615.69	c (0,0) x[17][27] = 0
656.52/615.69	c (0,0) x[17][28] = 0
656.52/615.69	c (0,0) x[17][29] = 0
656.52/615.69	c (0,0) x[17][30] = 0
656.52/615.69	c (0,0) x[17][31] = 0
656.52/615.69	c (0,0) x[18][0] = 1
656.52/615.69	c (0,0) x[18][1] = 1
656.52/615.69	c (0,0) x[18][2] = 1
656.52/615.69	c (0,0) x[18][3] = 0
656.52/615.69	c (0,0) x[18][4] = 0
656.52/615.69	c (0,0) x[18][5] = 1
656.52/615.69	c (0,0) x[18][6] = 1
656.52/615.69	c (0,0) x[18][7] = 1
656.52/615.69	c (0,0) x[18][8] = 1
656.52/615.69	c (0,0) x[18][9] = 0
656.52/615.69	c (0,0) x[18][10] = 1
656.52/615.69	c (0,0) x[18][11] = 0
656.52/615.69	c (0,0) x[18][12] = 0
656.52/615.69	c (0,0) x[18][13] = 0
656.52/615.69	c (0,0) x[18][14] = 0
656.52/615.69	c (0,0) x[18][15] = 1
656.52/615.69	c (0,0) x[18][16] = 1
656.52/615.69	c (0,0) x[18][17] = 1
656.52/615.69	c (0,0) x[18][18] = 1
656.52/615.69	c (0,0) x[18][19] = 1
656.52/615.69	c (0,0) x[18][20] = 1
656.52/615.69	c (0,0) x[18][21] = 0
656.52/615.69	c (0,0) x[18][22] = 0
656.52/615.69	c (0,0) x[18][23] = 0
656.52/615.69	c (0,0) x[18][24] = 0
656.52/615.69	c (0,0) x[18][25] = 0
656.52/615.69	c (0,0) x[18][26] = 1
656.52/615.69	c (0,0) x[18][27] = 1
656.52/615.69	c (0,0) x[18][28] = 0
656.52/615.69	c (0,0) x[18][29] = 0
656.52/615.69	c (0,0) x[18][30] = 0
656.52/615.69	c (0,0) x[18][31] = 0
656.52/615.69	c (0,0) x[19][0] = 1
656.52/615.69	c (0,0) x[19][1] = 0
656.52/615.69	c (0,0) x[19][2] = 1
656.52/615.69	c (0,0) x[19][3] = 0
656.52/615.69	c (0,0) x[19][4] = 0
656.52/615.69	c (0,0) x[19][5] = 1
656.52/615.69	c (0,0) x[19][6] = 0
656.52/615.69	c (0,0) x[19][7] = 1
656.52/615.69	c (0,0) x[19][8] = 0
656.52/615.69	c (0,0) x[19][9] = 0
656.52/615.69	c (0,0) x[19][10] = 1
656.52/615.69	c (0,0) x[19][11] = 1
656.52/615.69	c (0,0) x[19][12] = 1
656.52/615.69	c (0,0) x[19][13] = 1
656.52/615.69	c (0,0) x[19][14] = 1
656.52/615.69	c (0,0) x[19][15] = 1
656.52/615.69	c (0,0) x[19][16] = 0
656.52/615.69	c (0,0) x[19][17] = 1
656.52/615.69	c (0,0) x[19][18] = 1
656.52/615.69	c (0,0) x[19][19] = 1
656.52/615.69	c (0,0) x[19][20] = 1
656.52/615.69	c (0,0) x[19][21] = 0
656.52/615.69	c (0,0) x[19][22] = 0
656.52/615.69	c (0,0) x[19][23] = 0
656.52/615.69	c (0,0) x[19][24] = 0
656.52/615.69	c (0,0) x[19][25] = 0
656.52/615.69	c (0,0) x[19][26] = 0
656.52/615.69	c (0,0) x[19][27] = 1
656.52/615.69	c (0,0) x[19][28] = 1
656.52/615.69	c (0,0) x[19][29] = 1
656.52/615.69	c (0,0) x[19][30] = 1
656.52/615.69	c (0,0) x[19][31] = 1
656.52/615.69	c (0,0) x[20][0] = 1
656.52/615.69	c (0,0) x[20][1] = 0
656.52/615.69	c (0,0) x[20][2] = 1
656.52/615.69	c (0,0) x[20][3] = 1
656.52/615.69	c (0,0) x[20][4] = 1
656.52/615.69	c (0,0) x[20][5] = 1
656.52/615.69	c (0,0) x[20][6] = 0
656.52/615.69	c (0,0) x[20][7] = 1
656.52/615.69	c (0,0) x[20][8] = 0
656.52/615.69	c (0,0) x[20][9] = 0
656.52/615.69	c (0,0) x[20][10] = 0
656.52/615.69	c (0,0) x[20][11] = 0
656.52/615.69	c (0,0) x[20][12] = 1
656.52/615.69	c (0,0) x[20][13] = 0
656.52/615.69	c (0,0) x[20][14] = 1
656.52/615.69	c (0,0) x[20][15] = 0
656.52/615.69	c (0,0) x[20][16] = 0
656.52/615.69	c (0,0) x[20][17] = 0
656.52/615.69	c (0,0) x[20][18] = 1
656.52/615.69	c (0,0) x[20][19] = 1
656.52/615.69	c (0,0) x[20][20] = 0
656.52/615.69	c (0,0) x[20][21] = 0
656.52/615.69	c (0,0) x[20][22] = 0
656.52/615.69	c (0,0) x[20][23] = 0
656.52/615.69	c (0,0) x[20][24] = 0
656.52/615.69	c (0,0) x[20][25] = 0
656.52/615.69	c (0,0) x[20][26] = 0
656.52/615.69	c (0,0) x[20][27] = 0
656.52/615.69	c (0,0) x[20][28] = 0
656.52/615.69	c (0,0) x[20][29] = 1
656.52/615.69	c (0,0) x[20][30] = 1
656.52/615.69	c (0,0) x[20][31] = 1
656.52/615.69	c (0,0) x[21][0] = 1
656.52/615.69	c (0,0) x[21][1] = 0
656.52/615.69	c (0,0) x[21][2] = 0
656.52/615.69	c (0,0) x[21][3] = 0
656.52/615.69	c (0,0) x[21][4] = 0
656.52/615.69	c (0,0) x[21][5] = 0
656.52/615.69	c (0,0) x[21][6] = 0
656.52/615.69	c (0,0) x[21][7] = 1
656.52/615.69	c (0,0) x[21][8] = 1
656.52/615.69	c (0,0) x[21][9] = 1
656.52/615.69	c (0,0) x[21][10] = 1
656.52/615.69	c (0,0) x[21][11] = 1
656.52/615.69	c (0,0) x[21][12] = 1
656.52/615.69	c (0,0) x[21][13] = 0
656.52/615.69	c (0,0) x[21][14] = 1
656.52/615.69	c (0,0) x[21][15] = 1
656.52/615.69	c (0,0) x[21][16] = 0
656.52/615.69	c (0,0) x[21][17] = 0
656.52/615.69	c (0,0) x[21][18] = 0
656.52/615.69	c (0,0) x[21][19] = 0
656.52/615.69	c (0,0) x[21][20] = 0
656.52/615.69	c (0,0) x[21][21] = 0
656.52/615.69	c (0,0) x[21][22] = 0
656.52/615.69	c (0,0) x[21][23] = 0
656.52/615.69	c (0,0) x[21][24] = 0
656.52/615.69	c (0,0) x[21][25] = 0
656.52/615.69	c (0,0) x[21][26] = 0
656.52/615.69	c (0,0) x[21][27] = 0
656.52/615.69	c (0,0) x[21][28] = 0
656.52/615.69	c (0,0) x[21][29] = 1
656.52/615.69	c (0,0) x[21][30] = 1
656.52/615.69	c (0,0) x[21][31] = 1
656.52/615.69	c (0,0) x[22][0] = 1
656.52/615.69	c (0,0) x[22][1] = 0
656.52/615.69	c (0,0) x[22][2] = 0
656.52/615.69	c (0,0) x[22][3] = 0
656.52/615.69	c (0,0) x[22][4] = 0
656.52/615.69	c (0,0) x[22][5] = 0
656.52/615.69	c (0,0) x[22][6] = 1
656.52/615.69	c (0,0) x[22][7] = 1
656.52/615.69	c (0,0) x[22][8] = 0
656.52/615.69	c (0,0) x[22][9] = 0
656.52/615.69	c (0,0) x[22][10] = 0
656.52/615.69	c (0,0) x[22][11] = 0
656.52/615.69	c (0,0) x[22][12] = 0
656.52/615.69	c (0,0) x[22][13] = 0
656.52/615.69	c (0,0) x[22][14] = 0
656.52/615.69	c (0,0) x[22][15] = 1
656.52/615.69	c (0,0) x[22][16] = 1
656.52/615.69	c (0,0) x[22][17] = 0
656.52/615.69	c (0,0) x[22][18] = 0
656.52/615.69	c (0,0) x[22][19] = 0
656.52/615.69	c (0,0) x[22][20] = 0
656.52/615.69	c (0,0) x[22][21] = 0
656.52/615.69	c (0,0) x[22][22] = 0
656.52/615.69	c (0,0) x[22][23] = 0
656.52/615.69	c (0,0) x[22][24] = 0
656.52/615.69	c (0,0) x[22][25] = 0
656.52/615.69	c (0,0) x[22][26] = 0
656.52/615.69	c (0,0) x[22][27] = 0
656.52/615.69	c (0,0) x[22][28] = 0
656.52/615.69	c (0,0) x[22][29] = 1
656.52/615.69	c (0,0) x[22][30] = 1
656.52/615.69	c (0,0) x[22][31] = 1
656.52/615.69	c (0,0) x[23][0] = 1
656.52/615.69	c (0,0) x[23][1] = 0
656.52/615.69	c (0,0) x[23][2] = 0
656.52/615.69	c (0,0) x[23][3] = 1
656.52/615.69	c (0,0) x[23][4] = 1
656.52/615.69	c (0,0) x[23][5] = 1
656.52/615.69	c (0,0) x[23][6] = 1
656.52/615.69	c (0,0) x[23][7] = 0
656.52/615.69	c (0,0) x[23][8] = 0
656.52/615.69	c (0,0) x[23][9] = 0
656.52/615.69	c (0,0) x[23][10] = 0
656.52/615.69	c (0,0) x[23][11] = 0
656.52/615.69	c (0,0) x[23][12] = 0
656.52/615.69	c (0,0) x[23][13] = 0
656.52/615.69	c (0,0) x[23][14] = 0
656.52/615.69	c (0,0) x[23][15] = 0
656.52/615.69	c (0,0) x[23][16] = 1
656.52/615.69	c (0,0) x[23][17] = 1
656.52/615.69	c (0,0) x[23][18] = 1
656.52/615.69	c (0,0) x[23][19] = 0
656.52/615.69	c (0,0) x[23][20] = 0
656.52/615.69	c (0,0) x[23][21] = 0
656.52/615.69	c (0,0) x[23][22] = 0
656.52/615.69	c (0,0) x[23][23] = 0
656.52/615.69	c (0,0) x[23][24] = 0
656.52/615.69	c (0,0) x[23][25] = 0
656.52/615.69	c (0,0) x[23][26] = 0
656.52/615.69	c (0,0) x[23][27] = 0
656.52/615.69	c (0,0) x[23][28] = 0
656.52/615.69	c (0,0) x[23][29] = 1
656.52/615.69	c (0,0) x[23][30] = 1
656.52/615.69	c (0,0) x[23][31] = 1
656.52/615.69	c (0,0) x[24][0] = 1
656.52/615.69	c (0,0) x[24][1] = 0
656.52/615.69	c (0,0) x[24][2] = 0
656.52/615.69	c (0,0) x[24][3] = 1
656.52/615.69	c (0,0) x[24][4] = 0
656.52/615.69	c (0,0) x[24][5] = 0
656.52/615.69	c (0,0) x[24][6] = 1
656.52/615.69	c (0,0) x[24][7] = 0
656.52/615.69	c (0,0) x[24][8] = 0
656.52/615.69	c (0,0) x[24][9] = 0
656.52/615.69	c (0,0) x[24][10] = 0
656.52/615.69	c (0,0) x[24][11] = 0
656.52/615.69	c (0,0) x[24][12] = 0
656.52/615.69	c (0,0) x[24][13] = 0
656.52/615.69	c (0,0) x[24][14] = 0
656.52/615.69	c (0,0) x[24][15] = 0
656.52/615.69	c (0,0) x[24][16] = 0
656.52/615.69	c (0,0) x[24][17] = 0
656.52/615.69	c (0,0) x[24][18] = 1
656.52/615.69	c (0,0) x[24][19] = 1
656.52/615.69	c (0,0) x[24][20] = 1
656.52/615.69	c (0,0) x[24][21] = 1
656.52/615.69	c (0,0) x[24][22] = 1
656.52/615.69	c (0,0) x[24][23] = 1
656.52/615.69	c (0,0) x[24][24] = 1
656.52/615.69	c (0,0) x[24][25] = 1
656.52/615.69	c (0,0) x[24][26] = 1
656.52/615.69	c (0,0) x[24][27] = 0
656.52/615.69	c (0,0) x[24][28] = 0
656.52/615.69	c (0,0) x[24][29] = 1
656.52/615.69	c (0,0) x[24][30] = 1
656.52/615.69	c (0,0) x[24][31] = 1
656.52/615.69	c (0,0) x[25][0] = 1
656.52/615.69	c (0,0) x[25][1] = 1
656.52/615.69	c (0,0) x[25][2] = 1
656.52/615.69	c (0,0) x[25][3] = 1
656.52/615.69	c (0,0) x[25][4] = 0
656.52/615.69	c (0,0) x[25][5] = 0
656.52/615.69	c (0,0) x[25][6] = 1
656.52/615.69	c (0,0) x[25][7] = 1
656.52/615.69	c (0,0) x[25][8] = 1
656.52/615.69	c (0,0) x[25][9] = 1
656.52/615.69	c (0,0) x[25][10] = 0
656.52/615.69	c (0,0) x[25][11] = 0
656.52/615.69	c (0,0) x[25][12] = 1
656.52/615.69	c (0,0) x[25][13] = 1
656.52/615.69	c (0,0) x[25][14] = 1
656.52/615.69	c (0,0) x[25][15] = 0
656.52/615.69	c (0,0) x[25][16] = 0
656.52/615.69	c (0,0) x[25][17] = 0
656.52/615.69	c (0,0) x[25][18] = 0
656.52/615.69	c (0,0) x[25][19] = 0
656.52/615.69	c (0,0) x[25][20] = 0
656.52/615.69	c (0,0) x[25][21] = 0
656.52/615.69	c (0,0) x[25][22] = 0
656.52/615.69	c (0,0) x[25][23] = 0
656.52/615.69	c (0,0) x[25][24] = 0
656.52/615.69	c (0,0) x[25][25] = 0
656.52/615.69	c (0,0) x[25][26] = 1
656.52/615.69	c (0,0) x[25][27] = 1
656.52/615.69	c (0,0) x[25][28] = 1
656.52/615.69	c (0,0) x[25][29] = 1
656.52/615.69	c (0,0) x[25][30] = 1
656.52/615.69	c (0,0) x[25][31] = 1
656.52/615.69	c (0,0) x[26][0] = 1
656.52/615.69	c (0,0) x[26][1] = 0
656.52/615.69	c (0,0) x[26][2] = 0
656.52/615.69	c (0,0) x[26][3] = 1
656.52/615.69	c (0,0) x[26][4] = 0
656.52/615.69	c (0,0) x[26][5] = 0
656.52/615.69	c (0,0) x[26][6] = 0
656.52/615.69	c (0,0) x[26][7] = 0
656.52/615.69	c (0,0) x[26][8] = 0
656.52/615.69	c (0,0) x[26][9] = 1
656.52/615.69	c (0,0) x[26][10] = 0
656.52/615.69	c (0,0) x[26][11] = 0
656.52/615.69	c (0,0) x[26][12] = 1
656.52/615.69	c (0,0) x[26][13] = 0
656.52/615.69	c (0,0) x[26][14] = 1
656.52/615.69	c (0,0) x[26][15] = 0
656.52/615.69	c (0,0) x[26][16] = 0
656.52/615.69	c (0,0) x[26][17] = 0
656.52/615.69	c (0,0) x[26][18] = 0
656.52/615.69	c (0,0) x[26][19] = 0
656.52/615.69	c (0,0) x[26][20] = 0
656.52/615.69	c (0,0) x[26][21] = 0
656.52/615.69	c (0,0) x[26][22] = 0
656.52/615.69	c (0,0) x[26][23] = 0
656.52/615.69	c (0,0) x[26][24] = 0
656.52/615.69	c (0,0) x[26][25] = 0
656.52/615.69	c (0,0) x[26][26] = 0
656.52/615.69	c (0,0) x[26][27] = 0
656.52/615.69	c (0,0) x[26][28] = 1
656.52/615.69	c (0,0) x[26][29] = 1
656.52/615.69	c (0,0) x[26][30] = 1
656.52/615.69	c (0,0) x[26][31] = 1
656.52/615.69	c (0,0) x[27][0] = 1
656.52/615.69	c (0,0) x[27][1] = 0
656.52/615.69	c (0,0) x[27][2] = 0
656.52/615.69	c (0,0) x[27][3] = 1
656.52/615.69	c (0,0) x[27][4] = 1
656.52/615.69	c (0,0) x[27][5] = 1
656.52/615.69	c (0,0) x[27][6] = 0
656.52/615.69	c (0,0) x[27][7] = 0
656.52/615.69	c (0,0) x[27][8] = 1
656.52/615.69	c (0,0) x[27][9] = 1
656.52/615.69	c (0,0) x[27][10] = 1
656.52/615.69	c (0,0) x[27][11] = 0
656.52/615.69	c (0,0) x[27][12] = 1
656.52/615.69	c (0,0) x[27][13] = 0
656.52/615.69	c (0,0) x[27][14] = 1
656.52/615.69	c (0,0) x[27][15] = 0
656.52/615.69	c (0,0) x[27][16] = 0
656.52/615.69	c (0,0) x[27][17] = 0
656.52/615.69	c (0,0) x[27][18] = 0
656.52/615.69	c (0,0) x[27][19] = 0
656.52/615.69	c (0,0) x[27][20] = 0
656.52/615.69	c (0,0) x[27][21] = 0
656.52/615.69	c (0,0) x[27][22] = 0
656.52/615.69	c (0,0) x[27][23] = 0
656.52/615.69	c (0,0) x[27][24] = 0
656.52/615.69	c (0,0) x[27][25] = 0
656.52/615.69	c (0,0) x[27][26] = 0
656.52/615.69	c (0,0) x[27][27] = 0
656.52/615.69	c (0,0) x[27][28] = 0
656.52/615.69	c (0,0) x[27][29] = 0
656.52/615.69	c (0,0) x[27][30] = 0
656.52/615.69	c (0,0) x[27][31] = 0
656.52/615.69	c (0,0) x[28][0] = 1
656.52/615.69	c (0,0) x[28][1] = 0
656.52/615.69	c (0,0) x[28][2] = 0
656.52/615.69	c (0,0) x[28][3] = 0
656.52/615.69	c (0,0) x[28][4] = 0
656.52/615.69	c (0,0) x[28][5] = 1
656.52/615.69	c (0,0) x[28][6] = 0
656.52/615.69	c (0,0) x[28][7] = 0
656.52/615.69	c (0,0) x[28][8] = 1
656.52/615.69	c (0,0) x[28][9] = 0
656.52/615.69	c (0,0) x[28][10] = 1
656.52/615.69	c (0,0) x[28][11] = 0
656.52/615.69	c (0,0) x[28][12] = 1
656.52/615.69	c (0,0) x[28][13] = 0
656.52/615.69	c (0,0) x[28][14] = 1
656.52/615.69	c (0,0) x[28][15] = 0
656.52/615.69	c (0,0) x[28][16] = 0
656.52/615.69	c (0,0) x[28][17] = 0
656.52/615.69	c (0,0) x[28][18] = 0
656.52/615.69	c (0,0) x[28][19] = 0
656.52/615.69	c (0,0) x[28][20] = 0
656.52/615.69	c (0,0) x[28][21] = 0
656.52/615.69	c (0,0) x[28][22] = 0
656.52/615.69	c (0,0) x[28][23] = 0
656.52/615.69	c (0,0) x[28][24] = 0
656.52/615.69	c (0,0) x[28][25] = 0
656.52/615.69	c (0,0) x[28][26] = 0
656.52/615.69	c (0,0) x[28][27] = 0
656.52/615.69	c (0,0) x[28][28] = 0
656.52/615.69	c (0,0) x[28][29] = 0
656.52/615.69	c (0,0) x[28][30] = 0
656.52/615.69	c (0,0) x[28][31] = 0
656.52/615.69	c (0,0) x[29][0] = 1
656.52/615.69	c (0,0) x[29][1] = 0
656.52/615.69	c (0,0) x[29][2] = 0
656.52/615.69	c (0,0) x[29][3] = 0
656.52/615.69	c (0,0) x[29][4] = 0
656.52/615.69	c (0,0) x[29][5] = 1
656.52/615.69	c (0,0) x[29][6] = 1
656.52/615.69	c (0,0) x[29][7] = 1
656.52/615.69	c (0,0) x[29][8] = 1
656.52/615.69	c (0,0) x[29][9] = 0
656.52/615.69	c (0,0) x[29][10] = 1
656.52/615.69	c (0,0) x[29][11] = 1
656.52/615.69	c (0,0) x[29][12] = 1
656.52/615.69	c (0,0) x[29][13] = 0
656.52/615.69	c (0,0) x[29][14] = 1
656.52/615.69	c (0,0) x[29][15] = 1
656.52/615.69	c (0,0) x[29][16] = 1
656.52/615.69	c (0,0) x[29][17] = 0
656.52/615.69	c (0,0) x[29][18] = 0
656.52/615.69	c (0,0) x[29][19] = 0
656.52/615.69	c (0,0) x[29][20] = 0
656.52/615.69	c (0,0) x[29][21] = 0
656.52/615.69	c (0,0) x[29][22] = 0
656.52/615.69	c (0,0) x[29][23] = 0
656.52/615.69	c (0,0) x[29][24] = 0
656.52/615.69	c (0,0) x[29][25] = 0
656.52/615.69	c (0,0) x[29][26] = 0
656.52/615.69	c (0,0) x[29][27] = 0
656.52/615.69	c (0,0) x[29][28] = 0
656.52/615.69	c (0,0) x[29][29] = 0
656.52/615.69	c (0,0) x[29][30] = 0
656.52/615.69	c (0,0) x[29][31] = 0
656.52/615.69	c (0,0) x[30][0] = 1
656.52/615.69	c (0,0) x[30][1] = 0
656.52/615.69	c (0,0) x[30][2] = 0
656.52/615.69	c (0,0) x[30][3] = 0
656.52/615.69	c (0,0) x[30][4] = 0
656.52/615.69	c (0,0) x[30][5] = 0
656.52/615.69	c (0,0) x[30][6] = 0
656.52/615.69	c (0,0) x[30][7] = 1
656.52/615.69	c (0,0) x[30][8] = 0
656.52/615.69	c (0,0) x[30][9] = 0
656.52/615.69	c (0,0) x[30][10] = 0
656.52/615.69	c (0,0) x[30][11] = 0
656.52/615.69	c (0,0) x[30][12] = 0
656.52/615.69	c (0,0) x[30][13] = 0
656.52/615.69	c (0,0) x[30][14] = 0
656.52/615.69	c (0,0) x[30][15] = 0
656.52/615.69	c (0,0) x[30][16] = 1
656.52/615.69	c (0,0) x[30][17] = 0
656.52/615.69	c (0,0) x[30][18] = 0
656.52/615.69	c (0,0) x[30][19] = 0
656.52/615.69	c (0,0) x[30][20] = 0
656.52/615.69	c (0,0) x[30][21] = 0
656.52/615.69	c (0,0) x[30][22] = 0
656.52/615.69	c (0,0) x[30][23] = 0
656.52/615.69	c (0,0) x[30][24] = 0
656.52/615.69	c (0,0) x[30][25] = 0
656.52/615.69	c (0,0) x[30][26] = 0
656.52/615.69	c (0,0) x[30][27] = 0
656.52/615.69	c (0,0) x[30][28] = 0
656.52/615.69	c (0,0) x[30][29] = 0
656.52/615.69	c (0,0) x[30][30] = 0
656.52/615.69	c (0,0) x[30][31] = 0
656.52/615.69	c (0,0) x[31][0] = 1
656.52/615.69	c (0,0) x[31][1] = 1
656.52/615.69	c (0,0) x[31][2] = 1
656.52/615.69	c (0,0) x[31][3] = 1
656.52/615.69	c (0,0) x[31][4] = 1
656.52/615.69	c (0,0) x[31][5] = 1
656.52/615.69	c (0,0) x[31][6] = 1
656.52/615.69	c (0,0) x[31][7] = 1
656.52/615.69	c (0,0) x[31][8] = 1
656.52/615.69	c (0,0) x[31][9] = 1
656.52/615.69	c (0,0) x[31][10] = 1
656.52/615.69	c (0,0) x[31][11] = 1
656.52/615.69	c (0,0) x[31][12] = 1
656.52/615.69	c (0,0) x[31][13] = 1
656.52/615.69	c (0,0) x[31][14] = 1
656.52/615.69	c (0,0) x[31][15] = 1
656.52/615.69	c (0,0) x[31][16] = 1
656.52/615.69	c (0,0) x[31][17] = 0
656.52/615.69	c (0,0) x[31][18] = 0
656.52/615.69	c (0,0) x[31][19] = 0
656.52/615.69	c (0,0) x[31][20] = 0
656.52/615.69	c (0,0) x[31][21] = 0
656.52/615.69	c (0,0) x[31][22] = 0
656.52/615.69	c (0,0) x[31][23] = 0
656.52/615.69	c (0,0) x[31][24] = 0
656.52/615.69	c (0,0) x[31][25] = 0
656.52/615.69	c (0,0) x[31][26] = 0
656.52/615.69	c (0,0) x[31][27] = 0
656.52/615.69	c (0,0) x[31][28] = 0
656.52/615.69	c (0,0) x[31][29] = 0
656.52/615.69	c (0,0) x[31][30] = 0
656.52/615.69	c (0,0) x[31][31] = 0
656.52/615.69	s SATISFIABLE
656.89/615.70	v <instantiation>
656.89/615.70	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>
656.89/615.70	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>
656.89/615.70	v </instantiation>
656.89/615.70	c (0,0) Show results End
656.89/615.70	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
656.89/615.70	c (0,0) 0,0,STOP-AFTER(ALL)
656.89/615.70	c END-Prog: Tue Sep 24 18:35:44 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 (11996 MiB free)
  memory of node 1: 16384 MiB (12778 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100137 s]*
/proc/loadavg: 7.21 7.50 7.41 3/211 31886
/proc/meminfo: memFree=25270516/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510173477 115843072 349 33554432000 4194304 5098028 140727757170752 140727757168008 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 349 296 221 0 87 0
[pid=31867] ppid=31864 vsize=27314120 memory=109660 CPUtime=0.11 cores=0-7
/proc/31867/stat : 31867 (java) S 31864 31864 30433 0 -1 1077944320 6472 0 0 0 8 3 0 0 20 0 20 0 510173477 27969658880 27415 33554432000 4194304 4196468 140730178651584 140730178634128 140095106510583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
/proc/31867/statm: 6828530 27415 2798 1 0 6790935 0
[pid=31867/tid=31868] ppid=31864 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31867/task/31868/stat : 31868 (java) R 31864 31864 30433 0 -1 4202560 4575 0 0 0 6 2 0 0 20 0 20 0 510173477 27969658880 27415 33554432000 4194304 4196468 140730178651584 140095078335344 140095090554213 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31869] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31869/stat : 31869 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140095110753040 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31870] ppid=31864 vsize=27314120 memory=139824084821632 CPUtime=0 cores=0-7
/proc/31867/task/31870/stat : 31870 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094924909456 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31871] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31871/stat : 31871 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094923856912 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31872] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31872/stat : 31872 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094922804368 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31873] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31873/stat : 31873 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094525307152 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31874] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31874/stat : 31874 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094524254608 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31875] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31875/stat : 31875 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094523202064 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31876] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31876/stat : 31876 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094522149520 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31877] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31877/stat : 31877 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173481 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094030666224 140095106521730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31878] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31878/stat : 31878 (java) S 31864 31864 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510173482 27969658880 27415 33554432000 4194304 4196468 140730178651584 140093041927584 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31879] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31879/stat : 31879 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173482 27969658880 27415 33554432000 4194304 4196468 140730178651584 140092773492208 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31880] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31880/stat : 31880 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 27415 33554432000 4194304 4196468 140730178651584 140092398983888 140095106529179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31881] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31881/stat : 31881 (java) S 31864 31864 30433 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094029613040 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31882] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31882/stat : 31882 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 27415 33554432000 4194304 4196468 140730178651584 140094028560496 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31883] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31883/stat : 31883 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 27927 33554432000 4194304 4196468 140730178651584 140094027507952 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31884] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31884/stat : 31884 (java) S 31864 31864 30433 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 27927 33554432000 4194304 4196468 140730178651584 140094026455408 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31885] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31885/stat : 31885 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173485 27969658880 27927 33554432000 4194304 4196468 140730178651584 140091901078240 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31886] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31886/stat : 31886 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173485 27969658880 27927 33554432000 4194304 4196468 140730178651584 140094025403312 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111056 KiB

[startup+0.210537 s]*
/proc/loadavg: 7.21 7.50 7.41 3/211 31886
/proc/meminfo: memFree=25252192/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510173477 115843072 349 33554432000 4194304 5098028 140727757170752 140727757168008 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 349 296 221 0 87 0
[pid=31867] ppid=31864 vsize=27314120 memory=126216 CPUtime=0.24 cores=0-7
/proc/31867/stat : 31867 (java) S 31864 31864 30433 0 -1 1077944320 11464 0 0 0 20 4 0 0 20 0 20 0 510173477 27969658880 31554 33554432000 4194304 4196468 140730178651584 140730178634128 140095106510583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
/proc/31867/statm: 6828530 31554 2892 1 0 6790935 0
[pid=31867/tid=31868] ppid=31864 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31867/task/31868/stat : 31868 (java) R 31864 31864 30433 0 -1 4202560 9175 0 0 0 16 3 0 0 20 0 20 0 510173477 27969658880 31554 33554432000 4194304 4196468 140730178651584 140095078309968 140095088074152 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31869] ppid=31864 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/31867/task/31869/stat : 31869 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140095110753040 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31870] ppid=31864 vsize=27314120 memory=139824087868014 CPUtime=0 cores=0-7
/proc/31867/task/31870/stat : 31870 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094924909456 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31871] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31871/stat : 31871 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094923856912 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31872] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31872/stat : 31872 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094922804368 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31873] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31873/stat : 31873 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094525307152 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31874] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31874/stat : 31874 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094524254608 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31875] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31875/stat : 31875 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094523202064 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31876] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31876/stat : 31876 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094522149520 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31877] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31877/stat : 31877 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173481 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094030666224 140095106521730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31878] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31878/stat : 31878 (java) S 31864 31864 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510173482 27969658880 31554 33554432000 4194304 4196468 140730178651584 140093041927584 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31879] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31879/stat : 31879 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173482 27969658880 31554 33554432000 4194304 4196468 140730178651584 140092773492208 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31880] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31880/stat : 31880 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 31554 33554432000 4194304 4196468 140730178651584 140092398983888 140095106529179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31881] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31881/stat : 31881 (java) S 31864 31864 30433 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094029613040 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31882] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31882/stat : 31882 (java) S 31864 31864 30433 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094028560496 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31883] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31883/stat : 31883 (java) S 31864 31864 30433 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094027507952 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31884] ppid=31864 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/31867/task/31884/stat : 31884 (java) S 31864 31864 30433 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 510173484 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094026455408 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31885] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31885/stat : 31885 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173485 27969658880 31554 33554432000 4194304 4196468 140730178651584 140091901078240 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31886] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31886/stat : 31886 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173485 27969658880 31554 33554432000 4194304 4196468 140730178651584 140094025403312 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127612 KiB

[startup+0.310275 s]*
/proc/loadavg: 7.21 7.50 7.41 2/211 31886
/proc/meminfo: memFree=25249152/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510173477 115843072 349 33554432000 4194304 5098028 140727757170752 140727757168008 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 349 296 221 0 87 0
[pid=31867] ppid=31864 vsize=27314120 memory=130160 CPUtime=0.43 cores=0-7
/proc/31867/stat : 31867 (java) S 31864 31864 30433 0 -1 1077944320 12409 0 0 0 38 5 0 0 20 0 20 0 510173477 27969658880 32540 33554432000 4194304 4196468 140730178651584 140730178634128 140095106510583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
/proc/31867/statm: 6828530 32540 3025 1 0 6790935 0
[pid=31867/tid=31868] ppid=31864 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/31867/task/31868/stat : 31868 (java) R 31864 31864 30433 0 -1 4202560 9943 0 0 0 26 4 0 0 20 0 20 0 510173477 27969658880 32540 33554432000 4194304 4196468 140730178651584 140095078340656 140095091676128 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31869] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31869/stat : 31869 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140095110753040 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31870] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31870/stat : 31870 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094924909456 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31871] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31871/stat : 31871 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094923856912 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31872] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31872/stat : 31872 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094922804368 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31873] ppid=31864 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/31867/task/31873/stat : 31873 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094525307152 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31874] ppid=31864 vsize=27314120 memory=139823935484847 CPUtime=0 cores=0-7
/proc/31867/task/31874/stat : 31874 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094524254608 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31875] ppid=31864 vsize=27314120 memory=139823935487152 CPUtime=0 cores=0-7
/proc/31867/task/31875/stat : 31875 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094523202064 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31876] ppid=31864 vsize=27314120 memory=3472463722116658656 CPUtime=0 cores=0-7
/proc/31867/task/31876/stat : 31876 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094522149520 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31877] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31877/stat : 31877 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173481 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094030666224 140095106521730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31878] ppid=31864 vsize=27314120 memory=279647870985872 CPUtime=0 cores=0-7
/proc/31867/task/31878/stat : 31878 (java) S 31864 31864 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510173482 27969658880 32540 33554432000 4194304 4196468 140730178651584 140093041927584 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31879] ppid=31864 vsize=27314120 memory=279647870992784 CPUtime=0 cores=0-7
/proc/31867/task/31879/stat : 31879 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173482 27969658880 32540 33554432000 4194304 4196468 140730178651584 140092773492208 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31880] ppid=31864 vsize=27314120 memory=279647870934032 CPUtime=0 cores=0-7
/proc/31867/task/31880/stat : 31880 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173484 27969658880 32540 33554432000 4194304 4196468 140730178651584 140092398983888 140095106529179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31881] ppid=31864 vsize=27314120 memory=279647871006608 CPUtime=0.01 cores=0-7
/proc/31867/task/31881/stat : 31881 (java) R 31864 31864 30433 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 510173484 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094029613040 140095088031779 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31882] ppid=31864 vsize=27314120 memory=279647871013520 CPUtime=0.01 cores=0-7
/proc/31867/task/31882/stat : 31882 (java) S 31864 31864 30433 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 510173484 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094028560496 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31883] ppid=31864 vsize=27314120 memory=279647871011216 CPUtime=0.02 cores=0-7
/proc/31867/task/31883/stat : 31883 (java) S 31864 31864 30433 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 510173484 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094027507952 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31884] ppid=31864 vsize=27314120 memory=279647871027376 CPUtime=0.07 cores=0-7
/proc/31867/task/31884/stat : 31884 (java) S 31864 31864 30433 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 510173484 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094026455408 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31885] ppid=31864 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31885/stat : 31885 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173485 27969658880 32540 33554432000 4194304 4196468 140730178651584 140091901078240 140095106520789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31886] ppid=31864 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31867/task/31886/stat : 31886 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173485 27969658880 32540 33554432000 4194304 4196468 140730178651584 140094025403312 140095106521730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131556 KiB

[startup+0.703644 s]
/proc/loadavg: 6.71 7.39 7.37 2/211 31886
/proc/meminfo: memFree=25225564/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510173477 115843072 349 33554432000 4194304 5098028 140727757170752 140727757168008 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 349 296 221 0 87 0
[pid=31867] ppid=31864 vsize=27320392 memory=169508 CPUtime=1.03 cores=0-7
/proc/31867/stat : 31867 (java) S 31864 31864 30433 0 -1 1077944320 19924 0 0 0 96 7 0 0 20 0 20 0 510173477 27976081408 42377 33554432000 4194304 4196468 140730178651584 140730178634128 140095106510583 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
/proc/31867/statm: 6830098 42377 3182 1 0 6791447 0
[pid=31867/tid=31868] ppid=31864 vsize=27320392 memory=279647871385264 CPUtime=0.67 cores=0-7
/proc/31867/task/31868/stat : 31868 (java) R 31864 31864 30433 0 -1 4202560 16881 0 0 0 61 6 0 0 20 0 20 0 510173477 27976081408 42377 33554432000 4194304 4196468 140730178651584 140095078345648 140095106522518 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31869] ppid=31864 vsize=27320392 memory=139823935693680 CPUtime=0 cores=0-7
/proc/31867/task/31869/stat : 31869 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27976081408 42377 33554432000 4194304 4196468 140730178651584 140095110753040 140095106520789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31870] ppid=31864 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/31867/task/31870/stat : 31870 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510173480 27976081408 42377 33554432000 4194304 4196468 140730178651584 140094924909456 140095106520789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31871] ppid=31864 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/31867/task/31871/stat : 31871 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510173480 27976081408 42377 33554432000 4194304 4196468 140730178651584 140094923856912 140095106520789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0

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

/proc/31867/task/31885/stat : 31885 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510173485 27986735104 2798266 33554432000 4194304 4196468 140730178651584 140091901078240 140095106520789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
[pid=31867/tid=31886] ppid=31864 vsize=27330796 memory=279647870863648 CPUtime=0.38 cores=0-7
/proc/31867/task/31886/stat : 31886 (java) S 31864 31864 30433 0 -1 1077944384 1329 0 0 0 18 20 0 0 20 0 20 0 510173485 27986735104 2798266 33554432000 4194304 4196468 140730178651584 140094025403312 140095106521730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140730178654918 140730178655366 140730178655366 140730178658255 0
Current children cumulated CPU time: 654.21 s
Current children cumulated vsize: 27443924 KiB
Current children cumulated memory: 11194460 KiB

[startup+615.21 s]
/proc/loadavg: 0.85 1.71 4.25 2/211 31951
/proc/meminfo: memFree=25307268/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1476 CPUtime=654.39 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 583 220580 0 0 0 0 64189 1250 20 0 1 0 510173477 115843072 369 33554432000 4194304 5098028 140727757170752 140727757167496 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 369 311 221 0 87 0
[pid=31932] ppid=31864 vsize=7754336 memory=100836 CPUtime=1.1 cores=0-7
/proc/31932/stat : 31932 (java) S 31864 31864 30433 0 -1 1077944320 19513 0 0 0 103 7 0 0 20 0 20 0 510234926 7940440064 25209 33554432000 4194304 4196468 140730711031312 140730711013856 140414722203383 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
/proc/31932/statm: 1938584 25209 3155 1 0 1900463 0
[pid=31932/tid=31933] ppid=31864 vsize=7754336 memory=6791534058613427641 CPUtime=0.69 cores=0-7
/proc/31932/task/31933/stat : 31933 (java) R 31864 31864 30433 0 -1 4202560 16348 0 0 0 63 6 0 0 20 0 20 0 510234926 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414694041984 140414706247013 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31934] ppid=31864 vsize=7754336 memory=63808 CPUtime=0 cores=0-7
/proc/31932/task/31934/stat : 31934 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414726445712 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31935] ppid=31864 vsize=7754336 memory=988 CPUtime=0 cores=0-7
/proc/31932/task/31935/stat : 31935 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414526614032 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31936] ppid=31864 vsize=7754336 memory=3612 CPUtime=0 cores=0-7
/proc/31932/task/31936/stat : 31936 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414525561232 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31937] ppid=31864 vsize=7754336 memory=63808 CPUtime=0 cores=0-7
/proc/31932/task/31937/stat : 31937 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414524508432 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31938] ppid=31864 vsize=7754336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/31932/task/31938/stat : 31938 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414523456656 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31939] ppid=31864 vsize=7754336 memory=11177860 CPUtime=0 cores=0-7
/proc/31932/task/31939/stat : 31939 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414522403856 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31940] ppid=31864 vsize=7754336 memory=1708 CPUtime=0 cores=0-7
/proc/31932/task/31940/stat : 31940 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414521351056 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31941] ppid=31864 vsize=7754336 memory=1196 CPUtime=0 cores=0-7
/proc/31932/task/31941/stat : 31941 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510234928 7940440064 25209 33554432000 4194304 4196468 140730711031312 140414520298256 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31942] ppid=31864 vsize=7754336 memory=1044 CPUtime=0 cores=0-7
/proc/31932/task/31942/stat : 31942 (java) S 31864 31864 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510234929 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413949147504 140414722214530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31943] ppid=31864 vsize=7754336 memory=11179908 CPUtime=0 cores=0-7
/proc/31932/task/31943/stat : 31943 (java) S 31864 31864 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510234930 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413285426208 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31944] ppid=31864 vsize=7754336 memory=11184004 CPUtime=0 cores=0-7
/proc/31932/task/31944/stat : 31944 (java) S 31864 31864 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510234930 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413151204208 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31945] ppid=31864 vsize=7754336 memory=11181956 CPUtime=0 cores=0-7
/proc/31932/task/31945/stat : 31945 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140412776699728 140414722221979 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31946] ppid=31864 vsize=7754336 memory=2020 CPUtime=0.08 cores=0-7
/proc/31932/task/31946/stat : 31946 (java) R 31864 31864 30433 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413948081424 140414701458359 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31947] ppid=31864 vsize=7754336 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/31932/task/31947/stat : 31947 (java) R 31864 31864 30433 0 -1 4202560 424 0 0 0 7 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413947023936 140414707130121 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31948] ppid=31864 vsize=7754336 memory=63808 CPUtime=0.05 cores=0-7
/proc/31932/task/31948/stat : 31948 (java) R 31864 31864 30433 0 -1 4202560 104 0 0 0 5 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413945977296 140414715299779 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31949] ppid=31864 vsize=7754336 memory=988 CPUtime=0.18 cores=0-7
/proc/31932/task/31949/stat : 31949 (java) S 31864 31864 30433 0 -1 1077944384 506 0 0 0 18 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413944936944 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31950] ppid=31864 vsize=7754336 memory=11189936 CPUtime=0 cores=0-7
/proc/31932/task/31950/stat : 31950 (java) S 31864 31864 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140412278794848 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31951] ppid=31864 vsize=7754336 memory=1396 CPUtime=0 cores=0-7
/proc/31932/task/31951/stat : 31951 (java) S 31864 31864 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510234933 7940440064 25209 33554432000 4194304 4196468 140730711031312 140413943884336 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
Current children cumulated CPU time: 655.49 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 102312 KiB

[startup+615.601 s]
/proc/loadavg: 0.85 1.71 4.25 2/211 31951
/proc/meminfo: memFree=25307268/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1476 CPUtime=654.39 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 583 220580 0 0 0 0 64189 1250 20 0 1 0 510173477 115843072 369 33554432000 4194304 5098028 140727757170752 140727757167496 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 369 311 221 0 87 0
[pid=31932] ppid=31864 vsize=8283048 memory=131736 CPUtime=2.13 cores=0-7
/proc/31932/stat : 31932 (java) S 31864 31864 30433 0 -1 1077944320 21862 9429 0 0 181 9 15 8 20 0 22 0 510234926 8481841152 32934 33554432000 4194304 4196468 140730711031312 140730711013856 140414722203383 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
/proc/31932/statm: 2070762 32934 3232 1 0 2032106 0
[pid=31932/tid=31933] ppid=31864 vsize=8283048 memory=1408 CPUtime=1.16 cores=0-7
/proc/31932/task/31933/stat : 31933 (java) R 31864 31864 30433 0 -1 4202560 17730 9429 0 0 87 6 15 8 20 0 22 0 510234926 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414694043136 140414722215318 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31934] ppid=31864 vsize=8283048 memory=3420 CPUtime=0.23 cores=0-7
/proc/31932/task/31934/stat : 31934 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414726445712 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31935] ppid=31864 vsize=8283048 memory=1476 CPUtime=0.23 cores=0-7
/proc/31932/task/31935/stat : 31935 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414526614032 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31936] ppid=31864 vsize=8283048 memory=1408 CPUtime=0.23 cores=0-7
/proc/31932/task/31936/stat : 31936 (java) S 31864 31864 30433 0 -1 1077944384 2 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414525561232 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31937] ppid=31864 vsize=8283048 memory=3412 CPUtime=0.23 cores=0-7
/proc/31932/task/31937/stat : 31937 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414524508432 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31938] ppid=31864 vsize=8283048 memory=1396 CPUtime=0.23 cores=0-7
/proc/31932/task/31938/stat : 31938 (java) S 31864 31864 30433 0 -1 1077944384 2 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414523456656 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31939] ppid=31864 vsize=8283048 memory=35656 CPUtime=0.23 cores=0-7
/proc/31932/task/31939/stat : 31939 (java) S 31864 31864 30433 0 -1 1077944384 2 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414522403856 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31940] ppid=31864 vsize=8283048 memory=2120 CPUtime=0.23 cores=0-7
/proc/31932/task/31940/stat : 31940 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414521351056 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31941] ppid=31864 vsize=8283048 memory=508 CPUtime=0.23 cores=0-7
/proc/31932/task/31941/stat : 31941 (java) S 31864 31864 30433 0 -1 1077944384 3 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 32934 33554432000 4194304 4196468 140730711031312 140414520298256 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31942] ppid=31864 vsize=8283048 memory=1560 CPUtime=0.23 cores=0-7
/proc/31932/task/31942/stat : 31942 (java) S 31864 31864 30433 0 -1 1077944384 5 9429 0 0 0 0 15 8 20 0 22 0 510234929 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413949147504 140414722214530 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31943] ppid=31864 vsize=8283048 memory=932 CPUtime=0.23 cores=0-7
/proc/31932/task/31943/stat : 31943 (java) S 31864 31864 30433 0 -1 1077944384 13 9429 0 0 0 0 15 8 20 0 22 0 510234930 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413285426208 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31944] ppid=31864 vsize=8283048 memory=1568 CPUtime=0.23 cores=0-7
/proc/31932/task/31944/stat : 31944 (java) S 31864 31864 30433 0 -1 1077944384 21 9429 0 0 0 0 15 8 20 0 22 0 510234930 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413151204208 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31945] ppid=31864 vsize=8283048 memory=1444 CPUtime=0.23 cores=0-7
/proc/31932/task/31945/stat : 31945 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140412776699728 140414722221979 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31946] ppid=31864 vsize=8283048 memory=864 CPUtime=0.44 cores=0-7
/proc/31932/task/31946/stat : 31946 (java) S 31864 31864 30433 0 -1 1077944384 881 9429 0 0 21 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413948095344 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31947] ppid=31864 vsize=8283048 memory=1976 CPUtime=0.42 cores=0-7
/proc/31932/task/31947/stat : 31947 (java) S 31864 31864 30433 0 -1 1077944384 585 9429 0 0 19 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413947042544 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31948] ppid=31864 vsize=8283048 memory=0 CPUtime=0.37 cores=0-7
/proc/31932/task/31948/stat : 31948 (java) S 31864 31864 30433 0 -1 1077944384 367 9429 0 0 14 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413945989744 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31949] ppid=31864 vsize=8283048 memory=0 CPUtime=0.56 cores=0-7
/proc/31932/task/31949/stat : 31949 (java) R 31864 31864 30433 0 -1 4202560 835 9429 0 0 33 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413944936944 140414722215318 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31950] ppid=31864 vsize=8283048 memory=6944656592387989600 CPUtime=0.23 cores=0-7
/proc/31932/task/31950/stat : 31950 (java) S 31864 31864 30433 0 -1 1077944384 3 9429 0 0 0 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140412278794848 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31951] ppid=31864 vsize=8283048 memory=2496 CPUtime=0.23 cores=0-7
/proc/31932/task/31951/stat : 31951 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234933 8481841152 32934 33554432000 4194304 4196468 140730711031312 140413943884336 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
Current children cumulated CPU time: 656.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 133212 KiB

[startup+615.703 s]
/proc/loadavg: 0.85 1.71 4.25 2/211 31951
/proc/meminfo: memFree=25307268/32770624 swapFree=66966880/67108860
[pid=31864] ppid=31861 vsize=113128 memory=1476 CPUtime=654.39 cores=0-7
/proc/31864/stat : 31864 (scop.sh) S 31861 31864 30433 0 -1 4202496 583 220580 0 0 0 0 64189 1250 20 0 1 0 510173477 115843072 369 33554432000 4194304 5098028 140727757170752 140727757167496 140704857367164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39579648 140727757177596 140727757177944 140727757177944 140727757180873 0
/proc/31864/statm: 28282 369 311 221 0 87 0
[pid=31932] ppid=31864 vsize=8283048 memory=141908 CPUtime=2.5 cores=0-7
/proc/31932/stat : 31932 (java) S 31864 31864 30433 0 -1 1077944320 23992 9429 0 0 217 10 15 8 20 0 22 0 510234926 8481841152 35477 33554432000 4194304 4196468 140730711031312 140730711013856 140414722203383 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
/proc/31932/statm: 2070762 35477 3234 1 0 2032106 0
[pid=31932/tid=31933] ppid=31864 vsize=8283048 memory=1432 CPUtime=1.26 cores=0-7
/proc/31932/task/31933/stat : 31933 (java) R 31864 31864 30433 0 -1 4202560 19488 9429 0 0 96 7 15 8 20 0 22 0 510234926 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414694030016 140414722215318 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31934] ppid=31864 vsize=8283048 memory=127736 CPUtime=0.23 cores=0-7
/proc/31932/task/31934/stat : 31934 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414726445712 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31935] ppid=31864 vsize=8283048 memory=1476 CPUtime=0.23 cores=0-7
/proc/31932/task/31935/stat : 31935 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414526614032 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31936] ppid=31864 vsize=8283048 memory=63808 CPUtime=0.23 cores=0-7
/proc/31932/task/31936/stat : 31936 (java) S 31864 31864 30433 0 -1 1077944384 2 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414525561232 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31937] ppid=31864 vsize=8283048 memory=988 CPUtime=0.23 cores=0-7
/proc/31932/task/31937/stat : 31937 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414524508432 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31938] ppid=31864 vsize=8283048 memory=1056 CPUtime=0.23 cores=0-7
/proc/31932/task/31938/stat : 31938 (java) S 31864 31864 30433 0 -1 1077944384 2 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414523456656 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31939] ppid=31864 vsize=8283048 memory=3616 CPUtime=0.23 cores=0-7
/proc/31932/task/31939/stat : 31939 (java) S 31864 31864 30433 0 -1 1077944384 2 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414522403856 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31940] ppid=31864 vsize=8283048 memory=712 CPUtime=0.23 cores=0-7
/proc/31932/task/31940/stat : 31940 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414521351056 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31941] ppid=31864 vsize=8283048 memory=2832 CPUtime=0.23 cores=0-7
/proc/31932/task/31941/stat : 31941 (java) S 31864 31864 30433 0 -1 1077944384 3 9429 0 0 0 0 15 8 20 0 22 0 510234928 8481841152 35477 33554432000 4194304 4196468 140730711031312 140414520298256 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31942] ppid=31864 vsize=8283048 memory=8136 CPUtime=0.23 cores=0-7
/proc/31932/task/31942/stat : 31942 (java) S 31864 31864 30433 0 -1 1077944384 5 9429 0 0 0 0 15 8 20 0 22 0 510234929 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413949147504 140414722214530 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31943] ppid=31864 vsize=8283048 memory=10492 CPUtime=0.23 cores=0-7
/proc/31932/task/31943/stat : 31943 (java) S 31864 31864 30433 0 -1 1077944384 13 9429 0 0 0 0 15 8 20 0 22 0 510234930 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413285426208 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31944] ppid=31864 vsize=8283048 memory=14012 CPUtime=0.23 cores=0-7
/proc/31932/task/31944/stat : 31944 (java) S 31864 31864 30433 0 -1 1077944384 21 9429 0 0 0 0 15 8 20 0 22 0 510234930 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413151204208 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31945] ppid=31864 vsize=8283048 memory=14080 CPUtime=0.23 cores=0-7
/proc/31932/task/31945/stat : 31945 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140412776699728 140414722221979 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31946] ppid=31864 vsize=8283048 memory=1552 CPUtime=0.51 cores=0-7
/proc/31932/task/31946/stat : 31946 (java) R 31864 31864 30433 0 -1 4202560 886 9429 0 0 28 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413948080336 140414705700153 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31947] ppid=31864 vsize=8283048 memory=1708 CPUtime=0.49 cores=0-7
/proc/31932/task/31947/stat : 31947 (java) R 31864 31864 30433 0 -1 4202560 775 9429 0 0 26 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413947023560 140414705614176 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31948] ppid=31864 vsize=8283048 memory=1196 CPUtime=0.45 cores=0-7
/proc/31932/task/31948/stat : 31948 (java) R 31864 31864 30433 0 -1 4202560 381 9429 0 0 22 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413945969856 140414705697619 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31949] ppid=31864 vsize=8283048 memory=1044 CPUtime=0.61 cores=0-7
/proc/31932/task/31949/stat : 31949 (java) S 31864 31864 30433 0 -1 1077944384 999 9429 0 0 38 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413944936944 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31950] ppid=31864 vsize=8283048 memory=1476 CPUtime=0.23 cores=0-7
/proc/31932/task/31950/stat : 31950 (java) S 31864 31864 30433 0 -1 1077944384 3 9429 0 0 0 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140412278794848 140414722213589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
[pid=31932/tid=31951] ppid=31864 vsize=8283048 memory=107388 CPUtime=0.23 cores=0-7
/proc/31932/task/31951/stat : 31951 (java) S 31864 31864 30433 0 -1 1077944384 1 9429 0 0 0 0 15 8 20 0 22 0 510234933 8481841152 35477 33554432000 4194304 4196468 140730711031312 140413943884336 140414722214530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140730711032799 140730711032966 140730711032966 140730711035855 0
Current children cumulated CPU time: 656.89 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 143384 KiB

Child status: 0
Real time (s): 615.728
CPU time (s): 656.967
CPU user time (s): 644.255
CPU system time (s): 12.7121
CPU usage (%): 106.698
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 11194460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 644.255
system time used= 12.7121
maximum resident set size= 11193388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39197
involuntary context switches= 1226


# summary of solver processes directly reported to runsolver:
#   pid: 31864
#   total CPU time (s): 656.967
#   total CPU user time (s): 644.255
#   total CPU system time (s): 12.7121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64379 second user time and 6.30556 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 18:25:28
IDJOB=4405546
IDBENCH=134105
IDSOLVER=2868
FILE ID=node145/4405546-1569342368
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13104 MiB

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

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

MD5SUM BENCH= 1ecda127feec841a205962b399f2051f
RANDOM SEED=1193125568

node145.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.59
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.59
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.59
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.59
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:        25368768 kB
MemAvailable:   31809732 kB
Buffers:          147320 kB
Cached:          6445964 kB
SwapCached:        32456 kB
Active:          3427424 kB
Inactive:        3201512 kB
Active(anon):       3312 kB
Inactive(anon):    89852 kB
Active(file):    3424112 kB
Inactive(file):  3111660 kB
Unevictable:      108772 kB
Mlocked:          108772 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:            435072 kB
Writeback:             0 kB
AnonPages:        112612 kB
Mapped:            57264 kB
Shmem:             48848 kB
Slab:             362336 kB
SReclaimable:     333652 kB
SUnreclaim:        28684 kB
KernelStack:        3344 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13084 MiB
End job on node145 at 2019-09-24 18:35:44