Trace number 4392686

Some explanations

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

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

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

Solver answer on this benchmark

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

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-13735-serial-file.bin HOME/instance-4392686-1568435866.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.57	c BEGIN-Prog: Sat Sep 14 06:37:05 CEST 2019
0.66/0.57	c PID: 13738
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
45.96/32.76	c (32,30) Parsing End
45.96/32.77	c (32,30) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
45.96/32.77	c (32,30) Heap : 7732 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
45.96/32.77	c (32,30) Constraint Name Generate Begin
45.96/32.78	c (32,30) Ctr:HOME/instance-4392686-1568435866.xml,ExtensionSupport:Var
45.96/32.78	c (32,30) Constraint Name Generate End
45.96/32.78	c (32,30) Heap : 7732 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
45.96/32.78	c (32,30) CSP to CSPinCNF Begin
187.25/161.08	c (160,157) translated 7 (10%) constraints
304.11/275.95	c (275,271) translated 13 (20%) constraints
334.01/304.17	c (303,300) translated 20 (30%) constraints
356.47/326.39	c (325,322) translated 26 (40%) constraints
446.46/414.81	c (414,410) translated 32 (50%) constraints
558.95/524.95	c (524,520) translated 39 (60%) constraints
602.23/567.56	c (567,563) translated 45 (70%) constraints
618.86/583.95	c (583,579) translated 52 (80%) constraints
624.44/589.48	c (588,585) translated 58 (90%) constraints
632.53/597.41	c (596,592) translated 64 (100%) constraints
632.53/597.43	c (596,592) ===========================================
632.53/597.46	c (596,593) Hybrid: #OE=15178, #LE=0
632.53/597.46	c (596,593) Hybrid
632.53/597.46	c (596,593) ===========================================
632.96/597.65	c (597,593) translated 6557 (10%) constraints
633.24/597.78	c (597,593) translated 13113 (20%) constraints
633.47/597.91	c (597,593) translated 19669 (30%) constraints
633.58/598.03	c (597,593) translated 26226 (40%) constraints
633.72/598.16	c (597,593) translated 32782 (50%) constraints
633.81/598.28	c (597,593) translated 39338 (60%) constraints
634.08/598.42	c (597,593) translated 45895 (70%) constraints
634.23/598.55	c (598,594) translated 52451 (80%) constraints
634.33/598.67	c (598,594) translated 59007 (90%) constraints
634.43/598.80	c (598,594) translated 65563 (100%) constraints
634.43/598.80	c (598,594) CSP to CSPinCNF End
634.53/598.80	c (598,594) CSP: 0 int (0 aux), 15178 bool (14154 aux), 65563 ctr, max domain size 2
634.53/598.80	c (598,594) Heap : 8018 MiB used (max 22518 MiB), NonHeap : 27 MiB used (max 0 MiB)
634.53/598.80	c (598,594) CSPinCNF Propagation Begin
636.70/599.85	c (599,595) 2193 values, 11645 unsatisfiable literals, and 10935 valid clauses are removed
636.70/599.85	c (599,595) CSPinCNF Propagation End
636.70/599.85	c (599,595) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
636.70/599.85	c (599,595) Heap : 8317 MiB used (max 22518 MiB), NonHeap : 28 MiB used (max 0 MiB)
636.70/599.88	c (599,595) Hybrid: #OE=15178, #LE=0
636.70/599.88	c (599,595) Simplify CSPinCNF Begin
637.20/600.01	c (599,595) Simplify CSPinCNF End
637.20/600.01	c (599,595) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
637.20/600.01	c (599,595) Heap : 8317 MiB used (max 22518 MiB), NonHeap : 28 MiB used (max 0 MiB)
637.20/600.01	c (599,595) Calculate Precise Domain Begin
637.20/600.01	c (599,595) 0 values are removed by re-calculation
637.20/600.01	c (599,595) Calculate Precise Domain End
637.20/600.01	c (599,595) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
637.20/600.01	c (599,595) Heap : 8317 MiB used (max 22518 MiB), NonHeap : 28 MiB used (max 0 MiB)
637.20/600.01	c (599,595) CSPinCNF to SatSolver Begin
637.91/600.27	c (599,595) 5463 (10 %) CSP clauses are encoded (0 SAT variables, 5462 SAT clauses)
638.30/600.37	c (599,595) 10926 (20 %) CSP clauses are encoded (0 SAT variables, 10925 SAT clauses)
638.68/600.44	c (599,595) 16389 (30 %) CSP clauses are encoded (0 SAT variables, 16388 SAT clauses)
638.68/600.49	c (599,596) 21852 (40 %) CSP clauses are encoded (0 SAT variables, 21851 SAT clauses)
638.99/600.54	c (599,596) 27314 (50 %) CSP clauses are encoded (0 SAT variables, 27313 SAT clauses)
638.99/600.58	c (600,596) 32777 (60 %) CSP clauses are encoded (0 SAT variables, 32776 SAT clauses)
639.11/600.63	c (600,596) 38240 (70 %) CSP clauses are encoded (0 SAT variables, 38239 SAT clauses)
639.11/600.68	c (600,596) 43703 (80 %) CSP clauses are encoded (0 SAT variables, 43702 SAT clauses)
639.20/600.72	c (600,596) 49166 (90 %) CSP clauses are encoded (0 SAT variables, 49165 SAT clauses)
639.20/600.77	c (600,596) 54628 (100 %) CSP clauses are encoded (0 SAT variables, 54627 SAT clauses)
639.20/600.77	c (600,596) CSPinCNF to SatSolver End
639.20/600.77	c (600,596) Heap : 8769 MiB used (max 22518 MiB), NonHeap : 30 MiB used (max 0 MiB)
639.20/600.77	c (600,596) 12808 bool, 54628 clause
639.20/600.77	c (600,596) Export Begin
639.55/600.92	c (600,596) Export to HOME/scop-13735-serial-file.bin
639.55/600.92	c (600,596) Export End
639.55/600.92	c (600,596) Export File Size: 0.21 MB
639.55/600.92	c (600,596) 32,32,598,599,599,599,600,STOP-AFTER(DIMACS)
639.55/600.92	c END-Prog: Sat Sep 14 06:47:05 CEST 2019
639.55/600.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13735-serial-file.bin
640.22/601.45	c (0,0) Read Serial File Begin
640.22/601.45	c (0,0) HOME/scop-13735-serial-file.bin
640.78/601.73	c (0,0) Read Serial File End
640.78/601.74	
640.78/601.74	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
640.78/601.74	(Solving Process)
640.78/601.74	
640.78/601.76	c BEGIN-Prog: Sat Sep 14 06:47:06 CEST 2019
640.78/601.76	c PID: 13804
640.78/601.76	c IP: 172.20.3.136
640.78/601.76	c HOST: node136.alineos.net
640.78/601.77	c (0,0) SatSolver.solve Begin
640.78/601.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392686-1568435866.xml-scop-13738.cnf
640.78/601.79	c (0,0) c
640.78/601.79	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)
640.78/601.79	c (0,0) c
640.78/601.79	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
640.78/601.79	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
640.78/601.79	c (0,0) c ========================================[ Problem Statistics ]===========================================
640.78/601.79	c (0,0) c |                                                                                                       |
641.12/601.82	c (0,0) c |  Number of variables:         12808                                                                   |
641.12/601.82	c (0,0) c |  Number of clauses:           54628                                                                   |
641.12/601.82	c (0,0) c |  Parse time:                   0.02 s                                                                 |
641.12/601.82	c (0,0) c |                                                                                                       |
641.12/601.87	c (0,0) c |  Simplification time:          0.05 s                                                                 |
641.12/601.87	c (0,0) c |                                                                                                       |
641.12/601.87	c (0,0) c |  Generating clones                                                                                    |
641.21/601.90	c (0,0) c |  all clones generated. Memory =    63.99Mb.                                                           |
641.21/601.90	c (0,0) c ========================================================================================================|
641.21/601.90	c (0,0) c
641.21/601.90	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
641.21/601.90	c (0,0) c
641.21/601.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.90	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
641.21/601.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.90	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
641.21/601.90	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
641.21/601.90	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
641.21/601.90	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
641.21/601.90	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
641.21/601.90	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
641.21/601.90	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
641.21/601.90	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
641.21/601.90	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
641.21/601.90	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
641.21/601.90	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
641.21/601.90	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
641.21/601.90	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
641.21/601.90	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
641.21/601.90	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
641.21/601.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c real time : 0.140659 s
641.21/601.93	c (0,0) c cpu time  : 0.167773 s
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c | Conflicts     |             865 |        212 |         86 |         87 |         86 |         86 |        109 |        122 |         77 |
641.21/601.93	c (0,0) c | Decisions     |            2861 |        597 |        358 |        301 |        274 |        340 |        395 |        334 |        262 |
641.21/601.93	c (0,0) c | Propagations  |          165416 |      34762 |      18441 |      18545 |      17507 |      18411 |      21436 |      21739 |      14575 |
641.21/601.93	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
641.21/601.93	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
641.21/601.93	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | PropBinClauses|          160579 |      34219 |      17288 |      17644 |      16293 |      17277 |      21494 |      22330 |      14034 |
641.21/601.93	c (0,0) c | PropPreBlocker|          629298 |     129221 |      67415 |      71233 |      68193 |      67375 |      78600 |      88400 |      58861 |
641.21/601.93	c (0,0) c | PropNotBlocker|          324461 |      61095 |      36217 |      38330 |      36922 |      36171 |      39680 |      43316 |      32730 |
641.21/601.93	c (0,0) c | LitFullScans  |         1309902 |     269002 |     139957 |     149694 |     141060 |     139862 |     164161 |     183940 |     122226 |
641.21/601.93	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | DecisionLevel0|              59 |         14 |          4 |          6 |         17 |          4 |          6 |          6 |          2 |
641.21/601.93	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
641.21/601.93	c (0,0) c | Avg_Trail     |                 |       1443 |       1426 |       1459 |       1117 |       1426 |       1174 |       1326 |       1484 |
641.21/601.93	c (0,0) c | Avg_DL        |                 |         15 |         18 |         13 |          8 |         18 |         19 |          9 |         18 |
641.21/601.93	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c | Exported      |             310 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
641.21/601.93	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c | Unaries       |                 |         13 |          3 |          5 |         16 |          3 |          5 |          5 |          1 |
641.21/601.93	c (0,0) c | Binaries      |                 |         35 |         22 |         11 |         15 |         22 |         19 |         18 |         17 |
641.21/601.93	c (0,0) c | Glues         |                 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c | Orig_Seen     |             4 % |       1912 |        939 |       1107 |       1085 |        939 |       1225 |       1433 |        817 |
641.21/601.93	c (0,0) c | Diff Orig seen|                 |      X     | -      973 | -      805 | -      827 | -      973 | -      687 | -      479 | -     1095 |
641.21/601.93	c (0,0) c | Hamming       |             1 % |      X     |        157 |        121 |        193 |        160 |        121 |        171 |        118 |
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	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%|
641.21/601.93	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%|
641.21/601.93	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%|
641.21/601.93	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%|
641.21/601.93	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
641.21/601.93	c (0,0) c | PropagationTim|                 |    0.0  91%|    0.0  94%|    0.0  93%|    0.0  94%|    0.0  95%|    0.0  91%|    0.0  94%|    0.0  95%|
641.21/601.93	c (0,0) c | AnalysisTime  |                 |    0.0   3%|    0.0   1%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   1%|
641.21/601.93	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%|
641.21/601.93	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%|
641.21/601.93	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%|
641.21/601.93	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%|
641.21/601.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c
641.21/601.93	c (0,0) c Threads : 8
641.21/601.93	c (0,0) c Winner : 0
641.21/601.93	c (0,0) c Conflicts_0 : 212
641.21/601.93	c (0,0) c Conflicts_1 : 86
641.21/601.93	c (0,0) c Conflicts_2 : 87
641.21/601.93	c (0,0) c Conflicts_3 : 86
641.21/601.93	c (0,0) c Conflicts_4 : 86
641.21/601.93	c (0,0) c Conflicts_5 : 109
641.21/601.93	c (0,0) c Conflicts_6 : 122
641.21/601.93	c (0,0) c Conflicts_7 : 77
641.21/601.93	c (0,0) c Conflicts_total : 865
641.21/601.93	c (0,0) c Conflicts_winner : 212
641.21/601.93	c (0,0) c Decisions_0 : 597
641.21/601.93	c (0,0) c Decisions_1 : 358
641.21/601.93	c (0,0) c Decisions_2 : 301
641.21/601.93	c (0,0) c Decisions_3 : 274
641.21/601.93	c (0,0) c Decisions_4 : 340
641.21/601.93	c (0,0) c Decisions_5 : 395
641.21/601.94	c (0,0) c Decisions_6 : 334
641.21/601.94	c (0,0) c Decisions_7 : 262
641.21/601.94	c (0,0) c Decisions_total : 2861
641.21/601.94	c (0,0) c Decisions_winner : 597
641.21/601.94	c (0,0) c Propagations_0 : 34762
641.21/601.94	c (0,0) c Propagations_1 : 18441
641.21/601.94	c (0,0) c Propagations_2 : 18545
641.21/601.94	c (0,0) c Propagations_3 : 17507
641.21/601.94	c (0,0) c Propagations_4 : 18411
641.21/601.94	c (0,0) c Propagations_5 : 21436
641.21/601.94	c (0,0) c Propagations_6 : 21739
641.21/601.94	c (0,0) c Propagations_7 : 14575
641.21/601.94	c (0,0) c Propagations_total : 165416
641.21/601.94	c (0,0) c Propagations_winner : 34762
641.21/601.94	c (0,0) c ReduceDBs_0 : 0
641.21/601.94	c (0,0) c ReduceDBs_1 : 0
641.21/601.94	c (0,0) c ReduceDBs_2 : 0
641.21/601.94	c (0,0) c ReduceDBs_3 : 0
641.21/601.94	c (0,0) c ReduceDBs_4 : 0
641.21/601.94	c (0,0) c ReduceDBs_5 : 0
641.21/601.94	c (0,0) c ReduceDBs_6 : 0
641.21/601.94	c (0,0) c ReduceDBs_7 : 0
641.21/601.94	c (0,0) c ReduceDBs_total : 0
641.21/601.94	c (0,0) c ReduceDBs_winner : 0
641.21/601.94	c (0,0) c SimpDBs_0 : 1
641.21/601.94	c (0,0) c SimpDBs_1 : 1
641.21/601.94	c (0,0) c SimpDBs_2 : 1
641.21/601.94	c (0,0) c SimpDBs_3 : 1
641.21/601.94	c (0,0) c SimpDBs_4 : 1
641.21/601.94	c (0,0) c SimpDBs_5 : 1
641.21/601.94	c (0,0) c SimpDBs_6 : 1
641.21/601.94	c (0,0) c SimpDBs_7 : 1
641.21/601.94	c (0,0) c SimpDBs_total : 8
641.21/601.94	c (0,0) c SimpDBs_winner : 1
641.21/601.94	c (0,0) c Restarts_0 : 1
641.21/601.94	c (0,0) c Restarts_1 : 1
641.21/601.94	c (0,0) c Restarts_2 : 1
641.21/601.94	c (0,0) c Restarts_3 : 1
641.21/601.94	c (0,0) c Restarts_4 : 1
641.21/601.94	c (0,0) c Restarts_5 : 1
641.21/601.94	c (0,0) c Restarts_6 : 1
641.21/601.94	c (0,0) c Restarts_7 : 1
641.21/601.94	c (0,0) c Restarts_total : 8
641.21/601.94	c (0,0) c Restarts_winner : 1
641.21/601.94	c (0,0) c ForcedImports_0 : 0
641.21/601.94	c (0,0) c ForcedImports_1 : 0
641.21/601.94	c (0,0) c ForcedImports_2 : 0
641.21/601.94	c (0,0) c ForcedImports_3 : 0
641.21/601.94	c (0,0) c ForcedImports_4 : 0
641.21/601.94	c (0,0) c ForcedImports_5 : 0
641.21/601.94	c (0,0) c ForcedImports_6 : 0
641.21/601.94	c (0,0) c ForcedImports_7 : 0
641.21/601.94	c (0,0) c ForcedImports_total : 0
641.21/601.94	c (0,0) c ForcedImports_winner : 0
641.21/601.94	c (0,0) c PropsBinClauses_0 : 34219
641.21/601.94	c (0,0) c PropsBinClauses_1 : 17288
641.21/601.94	c (0,0) c PropsBinClauses_2 : 17644
641.21/601.94	c (0,0) c PropsBinClauses_3 : 16293
641.21/601.94	c (0,0) c PropsBinClauses_4 : 17277
641.21/601.94	c (0,0) c PropsBinClauses_5 : 21494
641.21/601.94	c (0,0) c PropsBinClauses_6 : 22330
641.21/601.94	c (0,0) c PropsBinClauses_7 : 14034
641.21/601.94	c (0,0) c PropsBinClauses_total : 160579
641.21/601.94	c (0,0) c PropsBinClauses_winner : 34219
641.21/601.94	c (0,0) c PropsPreBlocker_0 : 129221
641.21/601.94	c (0,0) c PropsPreBlocker_1 : 67415
641.21/601.94	c (0,0) c PropsPreBlocker_2 : 71233
641.21/601.94	c (0,0) c PropsPreBlocker_3 : 68193
641.21/601.94	c (0,0) c PropsPreBlocker_4 : 67375
641.21/601.94	c (0,0) c PropsPreBlocker_5 : 78600
641.21/601.94	c (0,0) c PropsPreBlocker_6 : 88400
641.21/601.94	c (0,0) c PropsPreBlocker_7 : 58861
641.21/601.94	c (0,0) c PropsPreBlocker_total : 629298
641.21/601.94	c (0,0) c PropsPreBlocker_winner : 129221
641.21/601.94	c (0,0) c PropsNotBlocker_0 : 61095
641.21/601.94	c (0,0) c PropsNotBlocker_1 : 36217
641.21/601.94	c (0,0) c PropsNotBlocker_2 : 38330
641.21/601.94	c (0,0) c PropsNotBlocker_3 : 36922
641.21/601.94	c (0,0) c PropsNotBlocker_4 : 36171
641.21/601.94	c (0,0) c PropsNotBlocker_5 : 39680
641.21/601.94	c (0,0) c PropsNotBlocker_6 : 43316
641.21/601.94	c (0,0) c PropsNotBlocker_7 : 32730
641.21/601.94	c (0,0) c PropsNotBlocker_total : 324461
641.21/601.94	c (0,0) c PropsNotBlocker_winner : 61095
641.21/601.94	c (0,0) c PropsLitFullScans_0 : 269002
641.21/601.94	c (0,0) c PropsLitFullScans_1 : 139957
641.21/601.94	c (0,0) c PropsLitFullScans_2 : 149694
641.21/601.94	c (0,0) c PropsLitFullScans_3 : 141060
641.21/601.94	c (0,0) c PropsLitFullScans_4 : 139862
641.21/601.94	c (0,0) c PropsLitFullScans_5 : 164161
641.21/601.94	c (0,0) c PropsLitFullScans_6 : 183940
641.21/601.94	c (0,0) c PropsLitFullScans_7 : 122226
641.21/601.94	c (0,0) c PropsLitFullScans_total : 1309902
641.21/601.94	c (0,0) c PropsLitFullScans_winner : 269002
641.21/601.94	c (0,0) c LitScanFractions_0 : 0
641.21/601.94	c (0,0) c LitScanFractions_1 : 0
641.21/601.94	c (0,0) c LitScanFractions_2 : 0
641.21/601.94	c (0,0) c LitScanFractions_3 : 0
641.21/601.94	c (0,0) c LitScanFractions_4 : 0
641.21/601.94	c (0,0) c LitScanFractions_5 : 0
641.21/601.94	c (0,0) c LitScanFractions_6 : 0
641.21/601.94	c (0,0) c LitScanFractions_7 : 0
641.21/601.94	c (0,0) c LitScanFractions_total : 0
641.21/601.94	c (0,0) c LitScanFractions_winner : 0
641.21/601.94	c (0,0) c DecisionLevel0_0 : 14
641.21/601.94	c (0,0) c DecisionLevel0_1 : 4
641.21/601.94	c (0,0) c DecisionLevel0_2 : 6
641.21/601.94	c (0,0) c DecisionLevel0_3 : 17
641.21/601.94	c (0,0) c DecisionLevel0_4 : 4
641.21/601.94	c (0,0) c DecisionLevel0_5 : 6
641.21/601.94	c (0,0) c DecisionLevel0_6 : 6
641.21/601.94	c (0,0) c DecisionLevel0_7 : 2
641.21/601.94	c (0,0) c DecisionLevel0_total : 59
641.21/601.94	c (0,0) c DecisionLevel0_winner : 14
641.21/601.94	c (0,0) c Periods_0 : 0
641.21/601.94	c (0,0) c Periods_1 : 0
641.21/601.94	c (0,0) c Periods_2 : 0
641.21/601.94	c (0,0) c Periods_3 : 0
641.21/601.94	c (0,0) c Periods_4 : 0
641.21/601.94	c (0,0) c Periods_5 : 0
641.21/601.94	c (0,0) c Periods_6 : 0
641.21/601.94	c (0,0) c Periods_7 : 0
641.21/601.94	c (0,0) c Periods_total : 0
641.21/601.94	c (0,0) c Periods_winner : 0
641.21/601.94	c (0,0) c Margin_0 : 20
641.21/601.94	c (0,0) c Margin_1 : 20
641.21/601.94	c (0,0) c Margin_2 : 20
641.21/601.94	c (0,0) c Margin_3 : 20
641.21/601.94	c (0,0) c Margin_4 : 20
641.21/601.94	c (0,0) c Margin_5 : 20
641.21/601.94	c (0,0) c Margin_6 : 20
641.21/601.94	c (0,0) c Margin_7 : 20
641.21/601.94	c (0,0) c Margin_total : 160
641.21/601.94	c (0,0) c Margin_winner : 20
641.21/601.94	c (0,0) c Exported_0 : 80
641.21/601.94	c (0,0) c Exported_1 : 32
641.21/601.94	c (0,0) c Exported_2 : 26
641.21/601.94	c (0,0) c Exported_3 : 25
641.21/601.94	c (0,0) c Exported_4 : 32
641.21/601.94	c (0,0) c Exported_5 : 40
641.21/601.94	c (0,0) c Exported_6 : 39
641.21/601.94	c (0,0) c Exported_7 : 36
641.21/601.94	c (0,0) c Exported_total : 310
641.21/601.94	c (0,0) c Exported_winner : 80
641.21/601.94	c (0,0) c Imported_0 : 0
641.21/601.94	c (0,0) c Imported_1 : 0
641.21/601.94	c (0,0) c Imported_2 : 0
641.21/601.94	c (0,0) c Imported_3 : 0
641.21/601.94	c (0,0) c Imported_4 : 0
641.21/601.94	c (0,0) c Imported_5 : 0
641.21/601.94	c (0,0) c Imported_6 : 0
641.21/601.94	c (0,0) c Imported_7 : 0
641.21/601.94	c (0,0) c Imported_total : 0
641.21/601.94	c (0,0) c Imported_winner : 0
641.21/601.94	c (0,0) c Good_0 : 0
641.21/601.94	c (0,0) c Good_1 : 0
641.21/601.94	c (0,0) c Good_2 : 0
641.21/601.94	c (0,0) c Good_3 : 0
641.21/601.94	c (0,0) c Good_4 : 0
641.21/601.94	c (0,0) c Good_5 : 0
641.21/601.94	c (0,0) c Good_6 : 0
641.21/601.94	c (0,0) c Good_7 : 0
641.21/601.94	c (0,0) c Good_total : 0
641.21/601.94	c (0,0) c Good_winner : 0
641.21/601.94	c (0,0) c Purge_0 : 0
641.21/601.94	c (0,0) c Purge_1 : 0
641.21/601.94	c (0,0) c Purge_2 : 0
641.21/601.94	c (0,0) c Purge_3 : 0
641.21/601.94	c (0,0) c Purge_4 : 0
641.21/601.94	c (0,0) c Purge_5 : 0
641.21/601.94	c (0,0) c Purge_6 : 0
641.21/601.94	c (0,0) c Purge_7 : 0
641.21/601.94	c (0,0) c Purge_total : 0
641.21/601.94	c (0,0) c Purge_winner : 0
641.21/601.94	c (0,0) c Promoted_0 : 0
641.21/601.94	c (0,0) c Promoted_1 : 0
641.21/601.94	c (0,0) c Promoted_2 : 0
641.21/601.94	c (0,0) c Promoted_3 : 0
641.21/601.94	c (0,0) c Promoted_4 : 0
641.21/601.94	c (0,0) c Promoted_5 : 0
641.21/601.94	c (0,0) c Promoted_6 : 0
641.21/601.94	c (0,0) c Promoted_7 : 0
641.21/601.94	c (0,0) c Promoted_total : 0
641.21/601.94	c (0,0) c Promoted_winner : 0
641.21/601.94	c (0,0) c Remove_Imp_0 : 0
641.21/601.94	c (0,0) c Remove_Imp_1 : 0
641.21/601.94	c (0,0) c Remove_Imp_2 : 0
641.21/601.94	c (0,0) c Remove_Imp_3 : 0
641.21/601.94	c (0,0) c Remove_Imp_4 : 0
641.21/601.94	c (0,0) c Remove_Imp_5 : 0
641.21/601.94	c (0,0) c Remove_Imp_6 : 0
641.21/601.94	c (0,0) c Remove_Imp_7 : 0
641.21/601.94	c (0,0) c Remove_Imp_total : 0
641.21/601.94	c (0,0) c Remove_Imp_winner : 0
641.21/601.94	c (0,0) c Blocked_Reuse_0 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_1 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_2 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_3 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_4 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_5 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_6 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_7 : 0
641.21/601.94	c (0,0) c Blocked_Reuse_total : 0
641.21/601.94	c (0,0) c Blocked_Reuse_winner : 0
641.21/601.94	c (0,0) c Unaries_0 : 13
641.21/601.94	c (0,0) c Unaries_1 : 3
641.21/601.94	c (0,0) c Unaries_2 : 5
641.21/601.94	c (0,0) c Unaries_3 : 16
641.21/601.94	c (0,0) c Unaries_4 : 3
641.21/601.94	c (0,0) c Unaries_5 : 5
641.21/601.94	c (0,0) c Unaries_6 : 5
641.21/601.94	c (0,0) c Unaries_7 : 1
641.21/601.94	c (0,0) c Unaries_total : 51
641.21/601.94	c (0,0) c Unaries_winner : 13
641.21/601.94	c (0,0) c Binaries_0 : 35
641.21/601.94	c (0,0) c Binaries_1 : 22
641.21/601.94	c (0,0) c Binaries_2 : 11
641.21/601.94	c (0,0) c Binaries_3 : 15
641.21/601.94	c (0,0) c Binaries_4 : 22
641.21/601.94	c (0,0) c Binaries_5 : 19
641.21/601.94	c (0,0) c Binaries_6 : 18
641.21/601.94	c (0,0) c Binaries_7 : 17
641.21/601.94	c (0,0) c Binaries_total : 159
641.21/601.94	c (0,0) c Binaries_winner : 35
641.21/601.94	c (0,0) c Glues_0 : 80
641.21/601.94	c (0,0) c Glues_1 : 32
641.21/601.94	c (0,0) c Glues_2 : 26
641.21/601.94	c (0,0) c Glues_3 : 25
641.21/601.94	c (0,0) c Glues_4 : 32
641.21/601.94	c (0,0) c Glues_5 : 40
641.21/601.94	c (0,0) c Glues_6 : 39
641.21/601.94	c (0,0) c Glues_7 : 36
641.21/601.94	c (0,0) c Glues_total : 310
641.21/601.94	c (0,0) c Glues_winner : 80
641.21/601.94	c (0,0) c RunningTime_0 : 0.026481
641.21/601.94	c (0,0) c RunningTime_1 : 0.023381
641.21/601.94	c (0,0) c RunningTime_2 : 0.020339
641.21/601.94	c (0,0) c RunningTime_3 : 0.021784
641.21/601.94	c (0,0) c RunningTime_4 : 0.022185
641.21/601.94	c (0,0) c RunningTime_5 : 0.020221
641.21/601.94	c (0,0) c RunningTime_6 : 0.022610
641.21/601.94	c (0,0) c RunningTime_7 : 0.018415
641.21/601.94	c (0,0) c RunningTime_total : 0.175417
641.21/601.94	c (0,0) c RunningTime_winner : 0.026481
641.21/601.94	c (0,0) c WaitingTime_0 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_1 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_2 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_3 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_4 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_5 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_6 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_7 : 0.000000
641.21/601.94	c (0,0) c WaitingTime_total : 0.000000
641.21/601.94	c (0,0) c WaitingTime_winner : 0.000000
641.21/601.94	c (0,0) c ExchangingTime_0 : 0.000045
641.21/601.94	c (0,0) c ExchangingTime_1 : 0.000014
641.21/601.94	c (0,0) c ExchangingTime_2 : 0.000016
641.21/601.94	c (0,0) c ExchangingTime_3 : 0.000019
641.21/601.94	c (0,0) c ExchangingTime_4 : 0.000018
641.21/601.94	c (0,0) c ExchangingTime_5 : 0.000034
641.21/601.94	c (0,0) c ExchangingTime_6 : 0.000022
641.21/601.94	c (0,0) c ExchangingTime_7 : 0.000028
641.21/601.95	c (0,0) c ExchangingTime_total : 0.000196
641.21/601.95	c (0,0) c ExchangingTime_winner : 0.000045
641.21/601.95	c (0,0) c PeriodProcTime_0 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_1 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_2 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_3 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_4 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_5 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_6 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_7 : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_total : 0.000000
641.21/601.95	c (0,0) c PeriodProcTime_winner : 0.000000
641.21/601.95	c (0,0) c SolvingTime_0 : 0.026526
641.21/601.95	c (0,0) c SolvingTime_1 : 0.023395
641.21/601.95	c (0,0) c SolvingTime_2 : 0.020355
641.21/601.95	c (0,0) c SolvingTime_3 : 0.021803
641.21/601.95	c (0,0) c SolvingTime_4 : 0.022203
641.21/601.95	c (0,0) c SolvingTime_5 : 0.020255
641.21/601.95	c (0,0) c SolvingTime_6 : 0.022632
641.21/601.95	c (0,0) c SolvingTime_7 : 0.018443
641.21/601.95	c (0,0) c SolvingTime_total : 0.175613
641.21/601.95	c (0,0) c SolvingTime_winner : 0.026526
641.21/601.95	c (0,0) c PropagationTime_0 : 0.024106
641.21/601.95	c (0,0) c PropagationTime_1 : 0.022009
641.21/601.95	c (0,0) c PropagationTime_2 : 0.018935
641.21/601.95	c (0,0) c PropagationTime_3 : 0.020574
641.21/601.95	c (0,0) c PropagationTime_4 : 0.021033
641.21/601.95	c (0,0) c PropagationTime_5 : 0.018427
641.21/601.95	c (0,0) c PropagationTime_6 : 0.021201
641.21/601.95	c (0,0) c PropagationTime_7 : 0.017568
641.21/601.95	c (0,0) c PropagationTime_total : 0.163853
641.21/601.95	c (0,0) c PropagationTime_winner : 0.024106
641.21/601.95	c (0,0) c AnalysisTime_0 : 0.000909
641.21/601.95	c (0,0) c AnalysisTime_1 : 0.000348
641.21/601.95	c (0,0) c AnalysisTime_2 : 0.000379
641.21/601.95	c (0,0) c AnalysisTime_3 : 0.000377
641.21/601.95	c (0,0) c AnalysisTime_4 : 0.000347
641.21/601.95	c (0,0) c AnalysisTime_5 : 0.000423
641.21/601.95	c (0,0) c AnalysisTime_6 : 0.000629
641.21/601.95	c (0,0) c AnalysisTime_7 : 0.000263
641.21/601.95	c (0,0) c AnalysisTime_total : 0.003676
641.21/601.95	c (0,0) c AnalysisTime_winner : 0.000909
641.21/601.95	c (0,0) c ReductionTime_0 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_1 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_2 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_3 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_4 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_5 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_6 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_7 : 0.000000
641.21/601.95	c (0,0) c ReductionTime_total : 0.000000
641.21/601.95	c (0,0) c ReductionTime_winner : 0.000000
641.21/601.95	c (0,0) c SimplifyTime_0 : 0.000002
641.21/601.95	c (0,0) c SimplifyTime_1 : 0.000001
641.21/601.95	c (0,0) c SimplifyTime_2 : 0.000000
641.21/601.95	c (0,0) c SimplifyTime_3 : 0.000000
641.21/601.95	c (0,0) c SimplifyTime_4 : 0.000000
641.21/601.95	c (0,0) c SimplifyTime_5 : 0.000000
641.21/601.95	c (0,0) c SimplifyTime_6 : 0.000002
641.21/601.95	c (0,0) c SimplifyTime_7 : 0.000000
641.21/601.95	c (0,0) c SimplifyTime_total : 0.000005
641.21/601.95	c (0,0) c SimplifyTime_winner : 0.000002
641.21/601.95	c (0,0) c UsedRateTime_0 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_1 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_2 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_3 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_4 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_5 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_6 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_7 : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_total : 0.000000
641.21/601.95	c (0,0) c UsedRateTime_winner : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_0 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_1 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_2 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_3 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_4 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_5 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_6 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_7 : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_total : 0.000000
641.21/601.95	c (0,0) c OverlapRateTime_winner : 0.000000
641.21/601.95	c (0,0) c
641.21/601.95	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
641.21/601.95	c (0,0) c
641.21/601.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.95	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
641.21/601.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.95	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
641.21/601.95	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
641.21/601.95	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
641.21/601.95	c (0,0) c | Initial random_seed   | 1011920476 |  498693489 |  646637545 | 1804416624 |  571668708 | 1252004297 |  594016654 | 1561262086 |
641.21/601.95	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
641.21/601.95	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
641.21/601.95	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
641.21/601.95	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
641.21/601.95	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
641.21/601.95	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
641.21/601.95	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
641.21/601.95	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
641.21/601.95	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
641.21/601.95	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
641.21/601.95	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
641.21/601.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
641.21/601.95	c (0,0) 
641.21/601.95	c (0,0) s SATISFIABLE
641.21/601.98	c (0,0) SatSolver.solve End
641.21/601.98	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
641.21/601.98	c (0,0) Show results Begin
641.84/602.17	c (0,0) x[0][0] = 1
641.84/602.17	c (0,0) x[0][1] = 1
641.84/602.17	c (0,0) x[0][2] = 1
641.84/602.17	c (0,0) x[0][3] = 1
641.84/602.17	c (0,0) x[0][4] = 1
641.84/602.17	c (0,0) x[0][5] = 1
641.84/602.17	c (0,0) x[0][6] = 1
641.84/602.17	c (0,0) x[0][7] = 1
641.84/602.17	c (0,0) x[0][8] = 1
641.84/602.17	c (0,0) x[0][9] = 1
641.84/602.17	c (0,0) x[0][10] = 1
641.84/602.17	c (0,0) x[0][11] = 1
641.84/602.17	c (0,0) x[0][12] = 1
641.84/602.17	c (0,0) x[0][13] = 1
641.84/602.17	c (0,0) x[0][14] = 1
641.84/602.17	c (0,0) x[0][15] = 1
641.84/602.17	c (0,0) x[0][16] = 1
641.84/602.17	c (0,0) x[0][17] = 1
641.84/602.17	c (0,0) x[0][18] = 1
641.84/602.17	c (0,0) x[0][19] = 1
641.84/602.17	c (0,0) x[0][20] = 1
641.84/602.17	c (0,0) x[0][21] = 1
641.84/602.17	c (0,0) x[0][22] = 1
641.84/602.17	c (0,0) x[0][23] = 1
641.84/602.17	c (0,0) x[0][24] = 1
641.84/602.17	c (0,0) x[0][25] = 1
641.84/602.17	c (0,0) x[0][26] = 1
641.84/602.17	c (0,0) x[0][27] = 1
641.84/602.17	c (0,0) x[0][28] = 1
641.84/602.17	c (0,0) x[0][29] = 1
641.84/602.17	c (0,0) x[0][30] = 1
641.84/602.17	c (0,0) x[0][31] = 1
641.84/602.17	c (0,0) x[1][0] = 1
641.84/602.17	c (0,0) x[1][1] = 0
641.84/602.17	c (0,0) x[1][2] = 0
641.84/602.17	c (0,0) x[1][3] = 0
641.84/602.17	c (0,0) x[1][4] = 0
641.84/602.17	c (0,0) x[1][5] = 0
641.84/602.17	c (0,0) x[1][6] = 0
641.84/602.17	c (0,0) x[1][7] = 0
641.84/602.17	c (0,0) x[1][8] = 0
641.84/602.17	c (0,0) x[1][9] = 1
641.84/602.17	c (0,0) x[1][10] = 0
641.84/602.17	c (0,0) x[1][11] = 0
641.84/602.17	c (0,0) x[1][12] = 1
641.84/602.17	c (0,0) x[1][13] = 0
641.84/602.17	c (0,0) x[1][14] = 0
641.84/602.17	c (0,0) x[1][15] = 0
641.84/602.17	c (0,0) x[1][16] = 0
641.84/602.17	c (0,0) x[1][17] = 1
641.84/602.17	c (0,0) x[1][18] = 0
641.84/602.17	c (0,0) x[1][19] = 0
641.84/602.17	c (0,0) x[1][20] = 0
641.84/602.17	c (0,0) x[1][21] = 1
641.84/602.17	c (0,0) x[1][22] = 0
641.84/602.17	c (0,0) x[1][23] = 0
641.84/602.17	c (0,0) x[1][24] = 0
641.84/602.17	c (0,0) x[1][25] = 0
641.84/602.17	c (0,0) x[1][26] = 0
641.84/602.17	c (0,0) x[1][27] = 1
641.84/602.17	c (0,0) x[1][28] = 0
641.84/602.17	c (0,0) x[1][29] = 0
641.84/602.17	c (0,0) x[1][30] = 0
641.84/602.17	c (0,0) x[1][31] = 1
641.84/602.17	c (0,0) x[2][0] = 1
641.84/602.17	c (0,0) x[2][1] = 0
641.84/602.17	c (0,0) x[2][2] = 0
641.84/602.17	c (0,0) x[2][3] = 0
641.84/602.17	c (0,0) x[2][4] = 0
641.84/602.17	c (0,0) x[2][5] = 0
641.84/602.17	c (0,0) x[2][6] = 0
641.84/602.17	c (0,0) x[2][7] = 1
641.84/602.17	c (0,0) x[2][8] = 1
641.84/602.17	c (0,0) x[2][9] = 1
641.84/602.17	c (0,0) x[2][10] = 0
641.84/602.17	c (0,0) x[2][11] = 0
641.84/602.17	c (0,0) x[2][12] = 1
641.84/602.17	c (0,0) x[2][13] = 1
641.84/602.17	c (0,0) x[2][14] = 0
641.84/602.17	c (0,0) x[2][15] = 0
641.84/602.17	c (0,0) x[2][16] = 0
641.84/602.17	c (0,0) x[2][17] = 1
641.84/602.17	c (0,0) x[2][18] = 0
641.84/602.17	c (0,0) x[2][19] = 0
641.84/602.17	c (0,0) x[2][20] = 0
641.84/602.17	c (0,0) x[2][21] = 1
641.84/602.18	c (0,0) x[2][22] = 0
641.84/602.18	c (0,0) x[2][23] = 0
641.84/602.18	c (0,0) x[2][24] = 0
641.84/602.18	c (0,0) x[2][25] = 0
641.84/602.18	c (0,0) x[2][26] = 0
641.84/602.18	c (0,0) x[2][27] = 1
641.84/602.18	c (0,0) x[2][28] = 0
641.84/602.18	c (0,0) x[2][29] = 0
641.84/602.18	c (0,0) x[2][30] = 0
641.84/602.18	c (0,0) x[2][31] = 1
641.84/602.18	c (0,0) x[3][0] = 1
641.84/602.18	c (0,0) x[3][1] = 0
641.84/602.18	c (0,0) x[3][2] = 0
641.84/602.18	c (0,0) x[3][3] = 0
641.84/602.18	c (0,0) x[3][4] = 0
641.84/602.18	c (0,0) x[3][5] = 0
641.84/602.18	c (0,0) x[3][6] = 0
641.84/602.18	c (0,0) x[3][7] = 1
641.84/602.18	c (0,0) x[3][8] = 0
641.84/602.18	c (0,0) x[3][9] = 0
641.84/602.18	c (0,0) x[3][10] = 0
641.84/602.18	c (0,0) x[3][11] = 0
641.84/602.18	c (0,0) x[3][12] = 0
641.84/602.18	c (0,0) x[3][13] = 1
641.84/602.18	c (0,0) x[3][14] = 0
641.84/602.18	c (0,0) x[3][15] = 0
641.84/602.18	c (0,0) x[3][16] = 1
641.84/602.18	c (0,0) x[3][17] = 1
641.84/602.18	c (0,0) x[3][18] = 0
641.84/602.18	c (0,0) x[3][19] = 0
641.84/602.18	c (0,0) x[3][20] = 1
641.84/602.18	c (0,0) x[3][21] = 1
641.84/602.18	c (0,0) x[3][22] = 1
641.84/602.18	c (0,0) x[3][23] = 1
641.84/602.18	c (0,0) x[3][24] = 0
641.84/602.18	c (0,0) x[3][25] = 0
641.84/602.18	c (0,0) x[3][26] = 1
641.84/602.18	c (0,0) x[3][27] = 1
641.84/602.18	c (0,0) x[3][28] = 0
641.84/602.18	c (0,0) x[3][29] = 0
641.84/602.18	c (0,0) x[3][30] = 0
641.84/602.18	c (0,0) x[3][31] = 1
641.84/602.18	c (0,0) x[4][0] = 1
641.84/602.18	c (0,0) x[4][1] = 0
641.84/602.18	c (0,0) x[4][2] = 0
641.84/602.18	c (0,0) x[4][3] = 1
641.84/602.18	c (0,0) x[4][4] = 1
641.84/602.18	c (0,0) x[4][5] = 1
641.84/602.18	c (0,0) x[4][6] = 1
641.84/602.18	c (0,0) x[4][7] = 1
641.84/602.18	c (0,0) x[4][8] = 0
641.84/602.18	c (0,0) x[4][9] = 0
641.84/602.18	c (0,0) x[4][10] = 0
641.84/602.18	c (0,0) x[4][11] = 1
641.84/602.18	c (0,0) x[4][12] = 1
641.84/602.18	c (0,0) x[4][13] = 1
641.84/602.18	c (0,0) x[4][14] = 0
641.84/602.18	c (0,0) x[4][15] = 0
641.84/602.18	c (0,0) x[4][16] = 1
641.84/602.18	c (0,0) x[4][17] = 0
641.84/602.18	c (0,0) x[4][18] = 0
641.84/602.18	c (0,0) x[4][19] = 0
641.84/602.18	c (0,0) x[4][20] = 1
641.84/602.18	c (0,0) x[4][21] = 0
641.84/602.18	c (0,0) x[4][22] = 0
641.84/602.18	c (0,0) x[4][23] = 1
641.84/602.18	c (0,0) x[4][24] = 0
641.84/602.18	c (0,0) x[4][25] = 0
641.84/602.18	c (0,0) x[4][26] = 1
641.84/602.18	c (0,0) x[4][27] = 0
641.84/602.18	c (0,0) x[4][28] = 0
641.84/602.18	c (0,0) x[4][29] = 0
641.84/602.18	c (0,0) x[4][30] = 0
641.84/602.18	c (0,0) x[4][31] = 1
641.84/602.18	c (0,0) x[5][0] = 1
641.84/602.18	c (0,0) x[5][1] = 1
641.84/602.18	c (0,0) x[5][2] = 1
641.84/602.18	c (0,0) x[5][3] = 1
641.84/602.18	c (0,0) x[5][4] = 0
641.84/602.18	c (0,0) x[5][5] = 0
641.84/602.18	c (0,0) x[5][6] = 0
641.84/602.18	c (0,0) x[5][7] = 1
641.84/602.18	c (0,0) x[5][8] = 1
641.84/602.18	c (0,0) x[5][9] = 0
641.84/602.18	c (0,0) x[5][10] = 0
641.84/602.18	c (0,0) x[5][11] = 1
641.84/602.18	c (0,0) x[5][12] = 0
641.84/602.18	c (0,0) x[5][13] = 1
641.84/602.18	c (0,0) x[5][14] = 1
641.84/602.18	c (0,0) x[5][15] = 1
641.84/602.18	c (0,0) x[5][16] = 1
641.84/602.18	c (0,0) x[5][17] = 1
641.84/602.18	c (0,0) x[5][18] = 1
641.84/602.18	c (0,0) x[5][19] = 1
641.84/602.18	c (0,0) x[5][20] = 1
641.84/602.18	c (0,0) x[5][21] = 0
641.84/602.18	c (0,0) x[5][22] = 0
641.84/602.18	c (0,0) x[5][23] = 1
641.84/602.18	c (0,0) x[5][24] = 1
641.84/602.18	c (0,0) x[5][25] = 1
641.84/602.18	c (0,0) x[5][26] = 1
641.84/602.18	c (0,0) x[5][27] = 1
641.84/602.18	c (0,0) x[5][28] = 1
641.84/602.18	c (0,0) x[5][29] = 1
641.84/602.18	c (0,0) x[5][30] = 0
641.84/602.18	c (0,0) x[5][31] = 1
641.84/602.18	c (0,0) x[6][0] = 1
641.84/602.18	c (0,0) x[6][1] = 0
641.84/602.18	c (0,0) x[6][2] = 0
641.84/602.18	c (0,0) x[6][3] = 1
641.84/602.18	c (0,0) x[6][4] = 0
641.84/602.18	c (0,0) x[6][5] = 0
641.84/602.18	c (0,0) x[6][6] = 0
641.84/602.18	c (0,0) x[6][7] = 0
641.84/602.18	c (0,0) x[6][8] = 1
641.84/602.18	c (0,0) x[6][9] = 0
641.84/602.18	c (0,0) x[6][10] = 0
641.84/602.18	c (0,0) x[6][11] = 1
641.84/602.18	c (0,0) x[6][12] = 0
641.84/602.18	c (0,0) x[6][13] = 0
641.84/602.18	c (0,0) x[6][14] = 0
641.84/602.18	c (0,0) x[6][15] = 0
641.84/602.18	c (0,0) x[6][16] = 0
641.84/602.18	c (0,0) x[6][17] = 1
641.84/602.18	c (0,0) x[6][18] = 0
641.84/602.18	c (0,0) x[6][19] = 0
641.84/602.18	c (0,0) x[6][20] = 0
641.84/602.18	c (0,0) x[6][21] = 0
641.84/602.18	c (0,0) x[6][22] = 0
641.84/602.18	c (0,0) x[6][23] = 0
641.84/602.18	c (0,0) x[6][24] = 1
641.84/602.18	c (0,0) x[6][25] = 0
641.84/602.18	c (0,0) x[6][26] = 0
641.84/602.18	c (0,0) x[6][27] = 0
641.84/602.18	c (0,0) x[6][28] = 0
641.84/602.18	c (0,0) x[6][29] = 1
641.84/602.18	c (0,0) x[6][30] = 1
641.84/602.18	c (0,0) x[6][31] = 1
641.84/602.18	c (0,0) x[7][0] = 1
641.84/602.18	c (0,0) x[7][1] = 0
641.84/602.18	c (0,0) x[7][2] = 0
641.84/602.18	c (0,0) x[7][3] = 1
641.84/602.18	c (0,0) x[7][4] = 1
641.84/602.18	c (0,0) x[7][5] = 1
641.84/602.18	c (0,0) x[7][6] = 1
641.84/602.18	c (0,0) x[7][7] = 1
641.84/602.18	c (0,0) x[7][8] = 1
641.84/602.18	c (0,0) x[7][9] = 0
641.84/602.18	c (0,0) x[7][10] = 0
641.84/602.18	c (0,0) x[7][11] = 1
641.84/602.18	c (0,0) x[7][12] = 1
641.84/602.18	c (0,0) x[7][13] = 1
641.84/602.18	c (0,0) x[7][14] = 1
641.84/602.18	c (0,0) x[7][15] = 0
641.84/602.18	c (0,0) x[7][16] = 0
641.84/602.18	c (0,0) x[7][17] = 1
641.84/602.18	c (0,0) x[7][18] = 0
641.84/602.18	c (0,0) x[7][19] = 0
641.84/602.18	c (0,0) x[7][20] = 0
641.84/602.18	c (0,0) x[7][21] = 0
641.84/602.18	c (0,0) x[7][22] = 0
641.84/602.18	c (0,0) x[7][23] = 0
641.84/602.18	c (0,0) x[7][24] = 1
641.84/602.18	c (0,0) x[7][25] = 1
641.84/602.18	c (0,0) x[7][26] = 1
641.84/602.18	c (0,0) x[7][27] = 0
641.84/602.18	c (0,0) x[7][28] = 0
641.84/602.18	c (0,0) x[7][29] = 0
641.84/602.18	c (0,0) x[7][30] = 0
641.84/602.18	c (0,0) x[7][31] = 1
641.84/602.18	c (0,0) x[8][0] = 1
641.84/602.18	c (0,0) x[8][1] = 0
641.84/602.18	c (0,0) x[8][2] = 0
641.84/602.18	c (0,0) x[8][3] = 0
641.84/602.18	c (0,0) x[8][4] = 0
641.84/602.18	c (0,0) x[8][5] = 1
641.84/602.18	c (0,0) x[8][6] = 0
641.84/602.18	c (0,0) x[8][7] = 0
641.84/602.18	c (0,0) x[8][8] = 1
641.84/602.18	c (0,0) x[8][9] = 1
641.84/602.18	c (0,0) x[8][10] = 1
641.84/602.18	c (0,0) x[8][11] = 1
641.84/602.18	c (0,0) x[8][12] = 0
641.84/602.18	c (0,0) x[8][13] = 0
641.84/602.18	c (0,0) x[8][14] = 1
641.84/602.18	c (0,0) x[8][15] = 0
641.84/602.18	c (0,0) x[8][16] = 0
641.84/602.18	c (0,0) x[8][17] = 1
641.84/602.18	c (0,0) x[8][18] = 0
641.84/602.18	c (0,0) x[8][19] = 0
641.84/602.18	c (0,0) x[8][20] = 0
641.84/602.18	c (0,0) x[8][21] = 0
641.84/602.18	c (0,0) x[8][22] = 0
641.84/602.18	c (0,0) x[8][23] = 0
641.84/602.18	c (0,0) x[8][24] = 0
641.84/602.18	c (0,0) x[8][25] = 0
641.84/602.18	c (0,0) x[8][26] = 1
641.84/602.18	c (0,0) x[8][27] = 0
641.84/602.18	c (0,0) x[8][28] = 0
641.84/602.18	c (0,0) x[8][29] = 0
641.84/602.18	c (0,0) x[8][30] = 0
641.84/602.18	c (0,0) x[8][31] = 1
641.84/602.18	c (0,0) x[9][0] = 1
641.84/602.18	c (0,0) x[9][1] = 0
641.84/602.18	c (0,0) x[9][2] = 0
641.84/602.18	c (0,0) x[9][3] = 0
641.84/602.18	c (0,0) x[9][4] = 0
641.84/602.18	c (0,0) x[9][5] = 1
641.84/602.18	c (0,0) x[9][6] = 0
641.84/602.18	c (0,0) x[9][7] = 0
641.84/602.18	c (0,0) x[9][8] = 0
641.84/602.18	c (0,0) x[9][9] = 0
641.84/602.18	c (0,0) x[9][10] = 0
641.84/602.18	c (0,0) x[9][11] = 1
641.84/602.18	c (0,0) x[9][12] = 0
641.84/602.18	c (0,0) x[9][13] = 0
641.84/602.18	c (0,0) x[9][14] = 1
641.84/602.18	c (0,0) x[9][15] = 1
641.84/602.18	c (0,0) x[9][16] = 1
641.84/602.18	c (0,0) x[9][17] = 1
641.84/602.18	c (0,0) x[9][18] = 0
641.84/602.18	c (0,0) x[9][19] = 0
641.84/602.18	c (0,0) x[9][20] = 0
641.84/602.18	c (0,0) x[9][21] = 0
641.84/602.18	c (0,0) x[9][22] = 0
641.84/602.18	c (0,0) x[9][23] = 0
641.84/602.18	c (0,0) x[9][24] = 0
641.84/602.18	c (0,0) x[9][25] = 0
641.84/602.18	c (0,0) x[9][26] = 1
641.84/602.18	c (0,0) x[9][27] = 1
641.84/602.18	c (0,0) x[9][28] = 1
641.84/602.18	c (0,0) x[9][29] = 1
641.84/602.18	c (0,0) x[9][30] = 0
641.84/602.18	c (0,0) x[9][31] = 1
641.84/602.18	c (0,0) x[10][0] = 1
641.84/602.18	c (0,0) x[10][1] = 1
641.84/602.18	c (0,0) x[10][2] = 1
641.84/602.18	c (0,0) x[10][3] = 1
641.84/602.18	c (0,0) x[10][4] = 1
641.84/602.18	c (0,0) x[10][5] = 1
641.84/602.18	c (0,0) x[10][6] = 0
641.84/602.18	c (0,0) x[10][7] = 0
641.84/602.18	c (0,0) x[10][8] = 0
641.84/602.18	c (0,0) x[10][9] = 0
641.84/602.18	c (0,0) x[10][10] = 0
641.84/602.18	c (0,0) x[10][11] = 1
641.84/602.18	c (0,0) x[10][12] = 1
641.84/602.18	c (0,0) x[10][13] = 0
641.84/602.18	c (0,0) x[10][14] = 0
641.84/602.18	c (0,0) x[10][15] = 0
641.84/602.18	c (0,0) x[10][16] = 0
641.84/602.18	c (0,0) x[10][17] = 0
641.84/602.18	c (0,0) x[10][18] = 0
641.84/602.18	c (0,0) x[10][19] = 0
641.84/602.18	c (0,0) x[10][20] = 0
641.84/602.18	c (0,0) x[10][21] = 0
641.84/602.18	c (0,0) x[10][22] = 0
641.84/602.18	c (0,0) x[10][23] = 0
641.84/602.18	c (0,0) x[10][24] = 0
641.84/602.18	c (0,0) x[10][25] = 0
641.84/602.18	c (0,0) x[10][26] = 0
641.84/602.18	c (0,0) x[10][27] = 0
641.84/602.18	c (0,0) x[10][28] = 0
641.84/602.18	c (0,0) x[10][29] = 1
641.84/602.18	c (0,0) x[10][30] = 0
641.84/602.18	c (0,0) x[10][31] = 1
641.84/602.18	c (0,0) x[11][0] = 1
641.84/602.18	c (0,0) x[11][1] = 0
641.84/602.18	c (0,0) x[11][2] = 0
641.84/602.18	c (0,0) x[11][3] = 0
641.84/602.18	c (0,0) x[11][4] = 0
641.84/602.18	c (0,0) x[11][5] = 1
641.84/602.18	c (0,0) x[11][6] = 1
641.84/602.18	c (0,0) x[11][7] = 1
641.84/602.18	c (0,0) x[11][8] = 1
641.84/602.18	c (0,0) x[11][9] = 0
641.84/602.18	c (0,0) x[11][10] = 0
641.84/602.18	c (0,0) x[11][11] = 0
641.84/602.18	c (0,0) x[11][12] = 1
641.84/602.18	c (0,0) x[11][13] = 0
641.84/602.18	c (0,0) x[11][14] = 0
641.84/602.18	c (0,0) x[11][15] = 0
641.84/602.18	c (0,0) x[11][16] = 0
641.84/602.18	c (0,0) x[11][17] = 0
641.84/602.18	c (0,0) x[11][18] = 0
641.84/602.18	c (0,0) x[11][19] = 0
641.84/602.18	c (0,0) x[11][20] = 0
641.84/602.18	c (0,0) x[11][21] = 0
641.84/602.18	c (0,0) x[11][22] = 0
641.84/602.18	c (0,0) x[11][23] = 0
641.84/602.18	c (0,0) x[11][24] = 0
641.84/602.18	c (0,0) x[11][25] = 0
641.84/602.18	c (0,0) x[11][26] = 0
641.84/602.18	c (0,0) x[11][27] = 0
641.84/602.18	c (0,0) x[11][28] = 0
641.84/602.18	c (0,0) x[11][29] = 1
641.84/602.18	c (0,0) x[11][30] = 1
641.84/602.18	c (0,0) x[11][31] = 1
641.84/602.18	c (0,0) x[12][0] = 1
641.84/602.18	c (0,0) x[12][1] = 0
641.84/602.18	c (0,0) x[12][2] = 0
641.84/602.18	c (0,0) x[12][3] = 0
641.84/602.18	c (0,0) x[12][4] = 0
641.84/602.18	c (0,0) x[12][5] = 0
641.84/602.18	c (0,0) x[12][6] = 0
641.84/602.18	c (0,0) x[12][7] = 0
641.84/602.18	c (0,0) x[12][8] = 1
641.84/602.18	c (0,0) x[12][9] = 1
641.84/602.18	c (0,0) x[12][10] = 1
641.84/602.18	c (0,0) x[12][11] = 1
641.84/602.18	c (0,0) x[12][12] = 1
641.84/602.18	c (0,0) x[12][13] = 0
641.84/602.18	c (0,0) x[12][14] = 0
641.84/602.18	c (0,0) x[12][15] = 0
641.84/602.18	c (0,0) x[12][16] = 0
641.84/602.18	c (0,0) x[12][17] = 0
641.84/602.18	c (0,0) x[12][18] = 0
641.84/602.18	c (0,0) x[12][19] = 0
641.84/602.18	c (0,0) x[12][20] = 0
641.84/602.18	c (0,0) x[12][21] = 0
641.84/602.18	c (0,0) x[12][22] = 0
641.84/602.18	c (0,0) x[12][23] = 0
641.84/602.18	c (0,0) x[12][24] = 0
641.84/602.18	c (0,0) x[12][25] = 0
641.84/602.18	c (0,0) x[12][26] = 0
641.84/602.18	c (0,0) x[12][27] = 0
641.84/602.18	c (0,0) x[12][28] = 0
641.84/602.18	c (0,0) x[12][29] = 0
641.84/602.18	c (0,0) x[12][30] = 0
641.84/602.18	c (0,0) x[12][31] = 0
641.84/602.18	c (0,0) x[13][0] = 1
641.84/602.18	c (0,0) x[13][1] = 0
641.84/602.18	c (0,0) x[13][2] = 0
641.84/602.18	c (0,0) x[13][3] = 1
641.84/602.18	c (0,0) x[13][4] = 1
641.84/602.18	c (0,0) x[13][5] = 1
641.84/602.18	c (0,0) x[13][6] = 0
641.84/602.18	c (0,0) x[13][7] = 0
641.84/602.18	c (0,0) x[13][8] = 1
641.84/602.18	c (0,0) x[13][9] = 0
641.84/602.18	c (0,0) x[13][10] = 0
641.84/602.18	c (0,0) x[13][11] = 0
641.84/602.18	c (0,0) x[13][12] = 0
641.84/602.18	c (0,0) x[13][13] = 0
641.84/602.18	c (0,0) x[13][14] = 0
641.84/602.18	c (0,0) x[13][15] = 0
641.84/602.18	c (0,0) x[13][16] = 0
641.84/602.18	c (0,0) x[13][17] = 0
641.84/602.18	c (0,0) x[13][18] = 0
641.84/602.18	c (0,0) x[13][19] = 0
641.84/602.18	c (0,0) x[13][20] = 0
641.84/602.18	c (0,0) x[13][21] = 0
641.84/602.18	c (0,0) x[13][22] = 0
641.84/602.18	c (0,0) x[13][23] = 0
641.84/602.18	c (0,0) x[13][24] = 0
641.84/602.18	c (0,0) x[13][25] = 0
641.84/602.18	c (0,0) x[13][26] = 0
641.84/602.18	c (0,0) x[13][27] = 0
641.84/602.19	c (0,0) x[13][28] = 0
641.84/602.19	c (0,0) x[13][29] = 0
641.84/602.19	c (0,0) x[13][30] = 0
641.84/602.19	c (0,0) x[13][31] = 0
641.84/602.19	c (0,0) x[14][0] = 1
641.84/602.19	c (0,0) x[14][1] = 0
641.84/602.19	c (0,0) x[14][2] = 0
641.84/602.19	c (0,0) x[14][3] = 1
641.84/602.19	c (0,0) x[14][4] = 0
641.84/602.19	c (0,0) x[14][5] = 1
641.84/602.19	c (0,0) x[14][6] = 0
641.84/602.19	c (0,0) x[14][7] = 0
641.84/602.19	c (0,0) x[14][8] = 1
641.84/602.19	c (0,0) x[14][9] = 0
641.84/602.19	c (0,0) x[14][10] = 0
641.84/602.19	c (0,0) x[14][11] = 0
641.84/602.19	c (0,0) x[14][12] = 0
641.84/602.19	c (0,0) x[14][13] = 0
641.84/602.19	c (0,0) x[14][14] = 0
641.84/602.19	c (0,0) x[14][15] = 0
641.84/602.19	c (0,0) x[14][16] = 0
641.84/602.19	c (0,0) x[14][17] = 1
641.84/602.19	c (0,0) x[14][18] = 1
641.84/602.19	c (0,0) x[14][19] = 1
641.84/602.19	c (0,0) x[14][20] = 1
641.84/602.19	c (0,0) x[14][21] = 1
641.84/602.19	c (0,0) x[14][22] = 1
641.84/602.19	c (0,0) x[14][23] = 1
641.84/602.19	c (0,0) x[14][24] = 0
641.84/602.19	c (0,0) x[14][25] = 0
641.84/602.19	c (0,0) x[14][26] = 0
641.84/602.19	c (0,0) x[14][27] = 0
641.84/602.19	c (0,0) x[14][28] = 0
641.84/602.19	c (0,0) x[14][29] = 0
641.84/602.19	c (0,0) x[14][30] = 0
641.84/602.19	c (0,0) x[14][31] = 0
641.84/602.19	c (0,0) x[15][0] = 1
641.84/602.19	c (0,0) x[15][1] = 1
641.84/602.19	c (0,0) x[15][2] = 1
641.84/602.19	c (0,0) x[15][3] = 1
641.84/602.19	c (0,0) x[15][4] = 0
641.84/602.19	c (0,0) x[15][5] = 1
641.84/602.19	c (0,0) x[15][6] = 1
641.84/602.19	c (0,0) x[15][7] = 1
641.84/602.19	c (0,0) x[15][8] = 1
641.84/602.19	c (0,0) x[15][9] = 1
641.84/602.19	c (0,0) x[15][10] = 1
641.84/602.19	c (0,0) x[15][11] = 1
641.84/602.19	c (0,0) x[15][12] = 1
641.84/602.19	c (0,0) x[15][13] = 0
641.84/602.19	c (0,0) x[15][14] = 0
641.84/602.19	c (0,0) x[15][15] = 0
641.84/602.19	c (0,0) x[15][16] = 1
641.84/602.19	c (0,0) x[15][17] = 1
641.84/602.19	c (0,0) x[15][18] = 0
641.84/602.19	c (0,0) x[15][19] = 0
641.84/602.19	c (0,0) x[15][20] = 0
641.84/602.19	c (0,0) x[15][21] = 0
641.84/602.19	c (0,0) x[15][22] = 0
641.84/602.19	c (0,0) x[15][23] = 1
641.84/602.19	c (0,0) x[15][24] = 1
641.84/602.19	c (0,0) x[15][25] = 0
641.84/602.19	c (0,0) x[15][26] = 0
641.84/602.19	c (0,0) x[15][27] = 0
641.84/602.19	c (0,0) x[15][28] = 0
641.84/602.19	c (0,0) x[15][29] = 0
641.84/602.19	c (0,0) x[15][30] = 0
641.84/602.19	c (0,0) x[15][31] = 0
641.84/602.19	c (0,0) x[16][0] = 1
641.84/602.19	c (0,0) x[16][1] = 0
641.84/602.19	c (0,0) x[16][2] = 0
641.84/602.19	c (0,0) x[16][3] = 0
641.84/602.19	c (0,0) x[16][4] = 0
641.84/602.19	c (0,0) x[16][5] = 0
641.84/602.19	c (0,0) x[16][6] = 0
641.84/602.19	c (0,0) x[16][7] = 0
641.84/602.19	c (0,0) x[16][8] = 1
641.84/602.19	c (0,0) x[16][9] = 0
641.84/602.19	c (0,0) x[16][10] = 0
641.84/602.19	c (0,0) x[16][11] = 0
641.84/602.19	c (0,0) x[16][12] = 1
641.84/602.19	c (0,0) x[16][13] = 0
641.84/602.19	c (0,0) x[16][14] = 0
641.84/602.19	c (0,0) x[16][15] = 1
641.84/602.19	c (0,0) x[16][16] = 1
641.84/602.19	c (0,0) x[16][17] = 0
641.84/602.19	c (0,0) x[16][18] = 0
641.84/602.19	c (0,0) x[16][19] = 0
641.84/602.19	c (0,0) x[16][20] = 0
641.84/602.19	c (0,0) x[16][21] = 0
641.84/602.19	c (0,0) x[16][22] = 0
641.84/602.19	c (0,0) x[16][23] = 0
641.84/602.19	c (0,0) x[16][24] = 1
641.84/602.19	c (0,0) x[16][25] = 1
641.84/602.19	c (0,0) x[16][26] = 0
641.84/602.19	c (0,0) x[16][27] = 0
641.84/602.19	c (0,0) x[16][28] = 0
641.84/602.19	c (0,0) x[16][29] = 0
641.84/602.19	c (0,0) x[16][30] = 0
641.84/602.19	c (0,0) x[16][31] = 0
641.84/602.19	c (0,0) x[17][0] = 1
641.84/602.19	c (0,0) x[17][1] = 0
641.84/602.19	c (0,0) x[17][2] = 0
641.84/602.19	c (0,0) x[17][3] = 0
641.84/602.19	c (0,0) x[17][4] = 0
641.84/602.19	c (0,0) x[17][5] = 0
641.84/602.19	c (0,0) x[17][6] = 0
641.84/602.19	c (0,0) x[17][7] = 0
641.84/602.19	c (0,0) x[17][8] = 1
641.84/602.19	c (0,0) x[17][9] = 0
641.84/602.19	c (0,0) x[17][10] = 1
641.84/602.19	c (0,0) x[17][11] = 1
641.84/602.19	c (0,0) x[17][12] = 1
641.84/602.19	c (0,0) x[17][13] = 1
641.84/602.19	c (0,0) x[17][14] = 1
641.84/602.19	c (0,0) x[17][15] = 1
641.84/602.19	c (0,0) x[17][16] = 0
641.84/602.19	c (0,0) x[17][17] = 0
641.84/602.19	c (0,0) x[17][18] = 1
641.84/602.19	c (0,0) x[17][19] = 1
641.84/602.19	c (0,0) x[17][20] = 0
641.84/602.19	c (0,0) x[17][21] = 0
641.84/602.19	c (0,0) x[17][22] = 0
641.84/602.19	c (0,0) x[17][23] = 0
641.84/602.19	c (0,0) x[17][24] = 0
641.84/602.19	c (0,0) x[17][25] = 1
641.84/602.19	c (0,0) x[17][26] = 1
641.84/602.19	c (0,0) x[17][27] = 0
641.84/602.19	c (0,0) x[17][28] = 0
641.84/602.19	c (0,0) x[17][29] = 0
641.84/602.19	c (0,0) x[17][30] = 0
641.84/602.19	c (0,0) x[17][31] = 0
641.84/602.19	c (0,0) x[18][0] = 1
641.84/602.19	c (0,0) x[18][1] = 1
641.84/602.19	c (0,0) x[18][2] = 1
641.84/602.19	c (0,0) x[18][3] = 0
641.84/602.19	c (0,0) x[18][4] = 0
641.84/602.19	c (0,0) x[18][5] = 1
641.84/602.19	c (0,0) x[18][6] = 1
641.84/602.19	c (0,0) x[18][7] = 1
641.84/602.19	c (0,0) x[18][8] = 1
641.84/602.19	c (0,0) x[18][9] = 0
641.84/602.19	c (0,0) x[18][10] = 1
641.84/602.19	c (0,0) x[18][11] = 0
641.84/602.19	c (0,0) x[18][12] = 0
641.84/602.19	c (0,0) x[18][13] = 0
641.84/602.19	c (0,0) x[18][14] = 0
641.84/602.19	c (0,0) x[18][15] = 1
641.84/602.19	c (0,0) x[18][16] = 1
641.84/602.19	c (0,0) x[18][17] = 1
641.84/602.19	c (0,0) x[18][18] = 1
641.84/602.19	c (0,0) x[18][19] = 1
641.84/602.19	c (0,0) x[18][20] = 1
641.84/602.19	c (0,0) x[18][21] = 0
641.84/602.19	c (0,0) x[18][22] = 0
641.84/602.19	c (0,0) x[18][23] = 0
641.84/602.19	c (0,0) x[18][24] = 0
641.84/602.19	c (0,0) x[18][25] = 0
641.84/602.19	c (0,0) x[18][26] = 1
641.84/602.19	c (0,0) x[18][27] = 1
641.84/602.19	c (0,0) x[18][28] = 0
641.84/602.19	c (0,0) x[18][29] = 0
641.84/602.19	c (0,0) x[18][30] = 0
641.84/602.19	c (0,0) x[18][31] = 0
641.84/602.19	c (0,0) x[19][0] = 1
641.84/602.19	c (0,0) x[19][1] = 0
641.84/602.19	c (0,0) x[19][2] = 1
641.84/602.19	c (0,0) x[19][3] = 0
641.84/602.19	c (0,0) x[19][4] = 0
641.84/602.19	c (0,0) x[19][5] = 1
641.84/602.19	c (0,0) x[19][6] = 0
641.84/602.19	c (0,0) x[19][7] = 1
641.84/602.19	c (0,0) x[19][8] = 0
641.84/602.19	c (0,0) x[19][9] = 0
641.84/602.19	c (0,0) x[19][10] = 1
641.84/602.19	c (0,0) x[19][11] = 1
641.84/602.19	c (0,0) x[19][12] = 1
641.84/602.19	c (0,0) x[19][13] = 1
641.84/602.19	c (0,0) x[19][14] = 1
641.84/602.19	c (0,0) x[19][15] = 1
641.84/602.19	c (0,0) x[19][16] = 0
641.84/602.19	c (0,0) x[19][17] = 1
641.84/602.19	c (0,0) x[19][18] = 1
641.84/602.19	c (0,0) x[19][19] = 1
641.84/602.19	c (0,0) x[19][20] = 1
641.84/602.19	c (0,0) x[19][21] = 0
641.84/602.19	c (0,0) x[19][22] = 0
641.84/602.19	c (0,0) x[19][23] = 0
641.84/602.19	c (0,0) x[19][24] = 0
641.84/602.19	c (0,0) x[19][25] = 0
641.84/602.19	c (0,0) x[19][26] = 0
641.84/602.19	c (0,0) x[19][27] = 1
641.84/602.19	c (0,0) x[19][28] = 1
641.84/602.19	c (0,0) x[19][29] = 1
641.84/602.19	c (0,0) x[19][30] = 1
641.84/602.19	c (0,0) x[19][31] = 1
641.84/602.19	c (0,0) x[20][0] = 1
641.84/602.19	c (0,0) x[20][1] = 0
641.84/602.19	c (0,0) x[20][2] = 1
641.84/602.19	c (0,0) x[20][3] = 1
641.84/602.19	c (0,0) x[20][4] = 1
641.84/602.19	c (0,0) x[20][5] = 1
641.84/602.19	c (0,0) x[20][6] = 0
641.84/602.19	c (0,0) x[20][7] = 1
641.84/602.19	c (0,0) x[20][8] = 0
641.84/602.19	c (0,0) x[20][9] = 0
641.84/602.19	c (0,0) x[20][10] = 0
641.84/602.19	c (0,0) x[20][11] = 0
641.84/602.19	c (0,0) x[20][12] = 1
641.84/602.19	c (0,0) x[20][13] = 0
641.84/602.19	c (0,0) x[20][14] = 1
641.84/602.19	c (0,0) x[20][15] = 0
641.84/602.19	c (0,0) x[20][16] = 0
641.84/602.19	c (0,0) x[20][17] = 0
641.84/602.19	c (0,0) x[20][18] = 1
641.84/602.19	c (0,0) x[20][19] = 1
641.84/602.19	c (0,0) x[20][20] = 0
641.84/602.19	c (0,0) x[20][21] = 0
641.84/602.19	c (0,0) x[20][22] = 0
641.84/602.19	c (0,0) x[20][23] = 0
641.84/602.19	c (0,0) x[20][24] = 0
641.84/602.19	c (0,0) x[20][25] = 0
641.84/602.19	c (0,0) x[20][26] = 0
641.84/602.19	c (0,0) x[20][27] = 0
641.84/602.19	c (0,0) x[20][28] = 0
641.84/602.19	c (0,0) x[20][29] = 1
641.84/602.19	c (0,0) x[20][30] = 1
641.84/602.19	c (0,0) x[20][31] = 1
641.84/602.19	c (0,0) x[21][0] = 1
641.84/602.19	c (0,0) x[21][1] = 0
641.84/602.19	c (0,0) x[21][2] = 0
641.84/602.19	c (0,0) x[21][3] = 0
641.84/602.19	c (0,0) x[21][4] = 0
641.84/602.19	c (0,0) x[21][5] = 0
641.84/602.19	c (0,0) x[21][6] = 0
641.84/602.19	c (0,0) x[21][7] = 1
641.84/602.19	c (0,0) x[21][8] = 1
641.84/602.19	c (0,0) x[21][9] = 1
641.84/602.19	c (0,0) x[21][10] = 1
641.84/602.19	c (0,0) x[21][11] = 1
641.84/602.19	c (0,0) x[21][12] = 1
641.84/602.19	c (0,0) x[21][13] = 0
641.84/602.19	c (0,0) x[21][14] = 1
641.84/602.19	c (0,0) x[21][15] = 1
641.84/602.19	c (0,0) x[21][16] = 0
641.84/602.19	c (0,0) x[21][17] = 0
641.84/602.19	c (0,0) x[21][18] = 0
641.84/602.19	c (0,0) x[21][19] = 0
641.84/602.19	c (0,0) x[21][20] = 0
641.84/602.19	c (0,0) x[21][21] = 0
641.84/602.19	c (0,0) x[21][22] = 0
641.84/602.19	c (0,0) x[21][23] = 0
641.84/602.19	c (0,0) x[21][24] = 0
641.84/602.19	c (0,0) x[21][25] = 0
641.84/602.19	c (0,0) x[21][26] = 0
641.84/602.19	c (0,0) x[21][27] = 0
641.84/602.19	c (0,0) x[21][28] = 0
641.84/602.19	c (0,0) x[21][29] = 1
641.84/602.19	c (0,0) x[21][30] = 1
641.84/602.19	c (0,0) x[21][31] = 1
641.84/602.19	c (0,0) x[22][0] = 1
641.84/602.19	c (0,0) x[22][1] = 0
641.84/602.19	c (0,0) x[22][2] = 0
641.84/602.19	c (0,0) x[22][3] = 0
641.84/602.19	c (0,0) x[22][4] = 0
641.84/602.19	c (0,0) x[22][5] = 0
641.84/602.19	c (0,0) x[22][6] = 1
641.84/602.19	c (0,0) x[22][7] = 1
641.84/602.19	c (0,0) x[22][8] = 0
641.84/602.19	c (0,0) x[22][9] = 0
641.84/602.19	c (0,0) x[22][10] = 0
641.84/602.19	c (0,0) x[22][11] = 0
641.84/602.19	c (0,0) x[22][12] = 0
641.84/602.19	c (0,0) x[22][13] = 0
641.84/602.19	c (0,0) x[22][14] = 0
641.84/602.19	c (0,0) x[22][15] = 1
641.84/602.19	c (0,0) x[22][16] = 1
641.84/602.19	c (0,0) x[22][17] = 0
641.84/602.19	c (0,0) x[22][18] = 0
641.84/602.19	c (0,0) x[22][19] = 0
641.84/602.19	c (0,0) x[22][20] = 0
641.84/602.19	c (0,0) x[22][21] = 0
641.84/602.19	c (0,0) x[22][22] = 0
641.84/602.19	c (0,0) x[22][23] = 0
641.84/602.19	c (0,0) x[22][24] = 0
641.84/602.19	c (0,0) x[22][25] = 0
641.84/602.19	c (0,0) x[22][26] = 0
641.84/602.19	c (0,0) x[22][27] = 0
641.84/602.19	c (0,0) x[22][28] = 0
641.84/602.19	c (0,0) x[22][29] = 1
641.84/602.19	c (0,0) x[22][30] = 1
641.84/602.19	c (0,0) x[22][31] = 1
641.84/602.19	c (0,0) x[23][0] = 1
641.84/602.19	c (0,0) x[23][1] = 0
641.84/602.19	c (0,0) x[23][2] = 0
641.84/602.19	c (0,0) x[23][3] = 1
641.84/602.19	c (0,0) x[23][4] = 1
641.84/602.19	c (0,0) x[23][5] = 1
641.84/602.19	c (0,0) x[23][6] = 1
641.84/602.19	c (0,0) x[23][7] = 0
641.84/602.19	c (0,0) x[23][8] = 0
641.84/602.19	c (0,0) x[23][9] = 0
641.84/602.19	c (0,0) x[23][10] = 0
641.84/602.19	c (0,0) x[23][11] = 0
641.84/602.19	c (0,0) x[23][12] = 0
641.84/602.19	c (0,0) x[23][13] = 0
641.84/602.19	c (0,0) x[23][14] = 0
641.84/602.19	c (0,0) x[23][15] = 0
641.84/602.19	c (0,0) x[23][16] = 1
641.84/602.19	c (0,0) x[23][17] = 1
641.84/602.19	c (0,0) x[23][18] = 1
641.84/602.19	c (0,0) x[23][19] = 0
641.84/602.19	c (0,0) x[23][20] = 0
641.84/602.19	c (0,0) x[23][21] = 0
641.84/602.19	c (0,0) x[23][22] = 0
641.84/602.19	c (0,0) x[23][23] = 0
641.84/602.19	c (0,0) x[23][24] = 0
641.84/602.19	c (0,0) x[23][25] = 0
641.84/602.19	c (0,0) x[23][26] = 0
641.84/602.19	c (0,0) x[23][27] = 0
641.84/602.19	c (0,0) x[23][28] = 0
641.84/602.19	c (0,0) x[23][29] = 1
641.84/602.19	c (0,0) x[23][30] = 1
641.84/602.19	c (0,0) x[23][31] = 1
641.84/602.19	c (0,0) x[24][0] = 1
641.84/602.19	c (0,0) x[24][1] = 0
641.84/602.19	c (0,0) x[24][2] = 0
641.84/602.19	c (0,0) x[24][3] = 1
641.84/602.19	c (0,0) x[24][4] = 0
641.84/602.19	c (0,0) x[24][5] = 0
641.84/602.19	c (0,0) x[24][6] = 1
641.84/602.19	c (0,0) x[24][7] = 0
641.84/602.19	c (0,0) x[24][8] = 0
641.84/602.19	c (0,0) x[24][9] = 0
641.84/602.19	c (0,0) x[24][10] = 0
641.84/602.19	c (0,0) x[24][11] = 0
641.84/602.19	c (0,0) x[24][12] = 0
641.84/602.19	c (0,0) x[24][13] = 0
641.84/602.19	c (0,0) x[24][14] = 0
641.84/602.19	c (0,0) x[24][15] = 0
641.84/602.19	c (0,0) x[24][16] = 0
641.84/602.19	c (0,0) x[24][17] = 0
641.84/602.19	c (0,0) x[24][18] = 1
641.84/602.19	c (0,0) x[24][19] = 1
641.84/602.19	c (0,0) x[24][20] = 1
641.84/602.19	c (0,0) x[24][21] = 1
641.84/602.19	c (0,0) x[24][22] = 1
641.84/602.19	c (0,0) x[24][23] = 1
641.84/602.19	c (0,0) x[24][24] = 1
641.84/602.19	c (0,0) x[24][25] = 1
641.84/602.19	c (0,0) x[24][26] = 1
641.84/602.19	c (0,0) x[24][27] = 0
641.84/602.19	c (0,0) x[24][28] = 0
641.84/602.19	c (0,0) x[24][29] = 1
641.84/602.19	c (0,0) x[24][30] = 1
641.84/602.19	c (0,0) x[24][31] = 1
641.84/602.19	c (0,0) x[25][0] = 1
641.84/602.19	c (0,0) x[25][1] = 1
641.84/602.19	c (0,0) x[25][2] = 1
641.84/602.19	c (0,0) x[25][3] = 1
641.84/602.19	c (0,0) x[25][4] = 0
641.84/602.19	c (0,0) x[25][5] = 0
641.84/602.19	c (0,0) x[25][6] = 1
641.84/602.19	c (0,0) x[25][7] = 1
641.84/602.19	c (0,0) x[25][8] = 1
641.84/602.19	c (0,0) x[25][9] = 1
641.84/602.19	c (0,0) x[25][10] = 0
641.84/602.19	c (0,0) x[25][11] = 0
641.84/602.19	c (0,0) x[25][12] = 1
641.84/602.19	c (0,0) x[25][13] = 1
641.84/602.19	c (0,0) x[25][14] = 1
641.84/602.19	c (0,0) x[25][15] = 0
641.84/602.19	c (0,0) x[25][16] = 0
641.84/602.19	c (0,0) x[25][17] = 0
641.84/602.19	c (0,0) x[25][18] = 0
641.84/602.19	c (0,0) x[25][19] = 0
641.84/602.19	c (0,0) x[25][20] = 0
641.84/602.19	c (0,0) x[25][21] = 0
641.84/602.19	c (0,0) x[25][22] = 0
641.84/602.19	c (0,0) x[25][23] = 0
641.84/602.19	c (0,0) x[25][24] = 0
641.84/602.19	c (0,0) x[25][25] = 0
641.84/602.19	c (0,0) x[25][26] = 1
641.84/602.19	c (0,0) x[25][27] = 1
641.84/602.19	c (0,0) x[25][28] = 1
641.84/602.19	c (0,0) x[25][29] = 1
641.84/602.19	c (0,0) x[25][30] = 1
641.84/602.19	c (0,0) x[25][31] = 1
641.84/602.19	c (0,0) x[26][0] = 1
641.84/602.19	c (0,0) x[26][1] = 0
641.84/602.19	c (0,0) x[26][2] = 0
641.84/602.19	c (0,0) x[26][3] = 1
641.84/602.19	c (0,0) x[26][4] = 0
641.84/602.19	c (0,0) x[26][5] = 0
641.84/602.19	c (0,0) x[26][6] = 0
641.84/602.19	c (0,0) x[26][7] = 0
641.84/602.19	c (0,0) x[26][8] = 0
641.84/602.19	c (0,0) x[26][9] = 1
641.84/602.19	c (0,0) x[26][10] = 0
641.84/602.19	c (0,0) x[26][11] = 0
641.84/602.19	c (0,0) x[26][12] = 1
641.84/602.19	c (0,0) x[26][13] = 0
641.84/602.19	c (0,0) x[26][14] = 1
641.84/602.19	c (0,0) x[26][15] = 0
641.84/602.19	c (0,0) x[26][16] = 0
641.84/602.19	c (0,0) x[26][17] = 0
641.84/602.19	c (0,0) x[26][18] = 0
641.84/602.19	c (0,0) x[26][19] = 0
641.84/602.19	c (0,0) x[26][20] = 0
641.84/602.19	c (0,0) x[26][21] = 0
641.84/602.19	c (0,0) x[26][22] = 0
641.84/602.19	c (0,0) x[26][23] = 0
641.84/602.19	c (0,0) x[26][24] = 0
641.84/602.19	c (0,0) x[26][25] = 0
641.84/602.19	c (0,0) x[26][26] = 0
641.84/602.19	c (0,0) x[26][27] = 0
641.84/602.19	c (0,0) x[26][28] = 1
641.84/602.19	c (0,0) x[26][29] = 1
641.84/602.19	c (0,0) x[26][30] = 1
641.84/602.19	c (0,0) x[26][31] = 1
641.84/602.19	c (0,0) x[27][0] = 1
641.84/602.19	c (0,0) x[27][1] = 0
641.84/602.19	c (0,0) x[27][2] = 0
641.84/602.19	c (0,0) x[27][3] = 1
641.84/602.19	c (0,0) x[27][4] = 1
641.84/602.19	c (0,0) x[27][5] = 1
641.84/602.19	c (0,0) x[27][6] = 0
641.84/602.19	c (0,0) x[27][7] = 0
641.84/602.19	c (0,0) x[27][8] = 1
641.84/602.19	c (0,0) x[27][9] = 1
641.84/602.19	c (0,0) x[27][10] = 1
641.84/602.19	c (0,0) x[27][11] = 0
641.84/602.19	c (0,0) x[27][12] = 1
641.84/602.19	c (0,0) x[27][13] = 0
641.84/602.19	c (0,0) x[27][14] = 1
641.84/602.19	c (0,0) x[27][15] = 0
641.84/602.19	c (0,0) x[27][16] = 0
641.84/602.19	c (0,0) x[27][17] = 0
641.84/602.19	c (0,0) x[27][18] = 0
641.84/602.19	c (0,0) x[27][19] = 0
641.84/602.19	c (0,0) x[27][20] = 0
641.84/602.19	c (0,0) x[27][21] = 0
641.84/602.19	c (0,0) x[27][22] = 0
641.84/602.19	c (0,0) x[27][23] = 0
641.84/602.19	c (0,0) x[27][24] = 0
641.84/602.19	c (0,0) x[27][25] = 0
641.84/602.19	c (0,0) x[27][26] = 0
641.84/602.19	c (0,0) x[27][27] = 0
641.84/602.19	c (0,0) x[27][28] = 0
641.84/602.19	c (0,0) x[27][29] = 0
641.84/602.19	c (0,0) x[27][30] = 0
641.84/602.19	c (0,0) x[27][31] = 0
641.84/602.19	c (0,0) x[28][0] = 1
641.84/602.19	c (0,0) x[28][1] = 0
641.84/602.19	c (0,0) x[28][2] = 0
641.84/602.19	c (0,0) x[28][3] = 0
641.84/602.19	c (0,0) x[28][4] = 0
641.84/602.19	c (0,0) x[28][5] = 1
641.84/602.19	c (0,0) x[28][6] = 0
641.84/602.19	c (0,0) x[28][7] = 0
641.84/602.19	c (0,0) x[28][8] = 1
641.84/602.19	c (0,0) x[28][9] = 0
641.84/602.19	c (0,0) x[28][10] = 1
641.84/602.19	c (0,0) x[28][11] = 0
641.84/602.19	c (0,0) x[28][12] = 1
641.84/602.19	c (0,0) x[28][13] = 0
641.84/602.19	c (0,0) x[28][14] = 1
641.84/602.19	c (0,0) x[28][15] = 0
641.84/602.19	c (0,0) x[28][16] = 0
641.84/602.19	c (0,0) x[28][17] = 0
641.84/602.19	c (0,0) x[28][18] = 0
641.84/602.19	c (0,0) x[28][19] = 0
641.84/602.19	c (0,0) x[28][20] = 0
641.84/602.19	c (0,0) x[28][21] = 0
641.84/602.19	c (0,0) x[28][22] = 0
641.84/602.19	c (0,0) x[28][23] = 0
641.84/602.19	c (0,0) x[28][24] = 0
641.84/602.19	c (0,0) x[28][25] = 0
641.84/602.19	c (0,0) x[28][26] = 0
641.84/602.19	c (0,0) x[28][27] = 0
641.84/602.19	c (0,0) x[28][28] = 0
641.84/602.19	c (0,0) x[28][29] = 0
641.84/602.19	c (0,0) x[28][30] = 0
641.84/602.19	c (0,0) x[28][31] = 0
641.84/602.19	c (0,0) x[29][0] = 1
641.84/602.19	c (0,0) x[29][1] = 0
641.84/602.19	c (0,0) x[29][2] = 0
641.84/602.19	c (0,0) x[29][3] = 0
641.84/602.19	c (0,0) x[29][4] = 0
641.84/602.19	c (0,0) x[29][5] = 1
641.84/602.19	c (0,0) x[29][6] = 1
641.84/602.19	c (0,0) x[29][7] = 1
641.84/602.19	c (0,0) x[29][8] = 1
641.84/602.19	c (0,0) x[29][9] = 0
641.84/602.19	c (0,0) x[29][10] = 1
641.84/602.19	c (0,0) x[29][11] = 1
641.84/602.19	c (0,0) x[29][12] = 1
641.84/602.19	c (0,0) x[29][13] = 0
641.84/602.19	c (0,0) x[29][14] = 1
641.84/602.19	c (0,0) x[29][15] = 1
641.84/602.19	c (0,0) x[29][16] = 1
641.84/602.19	c (0,0) x[29][17] = 0
641.84/602.19	c (0,0) x[29][18] = 0
641.84/602.19	c (0,0) x[29][19] = 0
641.84/602.19	c (0,0) x[29][20] = 0
641.84/602.19	c (0,0) x[29][21] = 0
641.84/602.19	c (0,0) x[29][22] = 0
641.84/602.19	c (0,0) x[29][23] = 0
641.84/602.19	c (0,0) x[29][24] = 0
641.84/602.19	c (0,0) x[29][25] = 0
641.84/602.19	c (0,0) x[29][26] = 0
641.84/602.19	c (0,0) x[29][27] = 0
641.84/602.19	c (0,0) x[29][28] = 0
641.84/602.19	c (0,0) x[29][29] = 0
641.84/602.19	c (0,0) x[29][30] = 0
641.84/602.19	c (0,0) x[29][31] = 0
641.84/602.19	c (0,0) x[30][0] = 1
641.84/602.19	c (0,0) x[30][1] = 0
641.84/602.19	c (0,0) x[30][2] = 0
641.84/602.19	c (0,0) x[30][3] = 0
641.84/602.19	c (0,0) x[30][4] = 0
641.84/602.19	c (0,0) x[30][5] = 0
641.84/602.19	c (0,0) x[30][6] = 0
641.84/602.19	c (0,0) x[30][7] = 1
641.84/602.19	c (0,0) x[30][8] = 0
641.84/602.19	c (0,0) x[30][9] = 0
641.84/602.19	c (0,0) x[30][10] = 0
641.84/602.19	c (0,0) x[30][11] = 0
641.84/602.19	c (0,0) x[30][12] = 0
641.84/602.19	c (0,0) x[30][13] = 0
641.84/602.19	c (0,0) x[30][14] = 0
641.84/602.19	c (0,0) x[30][15] = 0
641.84/602.19	c (0,0) x[30][16] = 1
641.84/602.19	c (0,0) x[30][17] = 0
641.84/602.19	c (0,0) x[30][18] = 0
641.84/602.19	c (0,0) x[30][19] = 0
641.84/602.19	c (0,0) x[30][20] = 0
641.84/602.19	c (0,0) x[30][21] = 0
641.84/602.19	c (0,0) x[30][22] = 0
641.84/602.19	c (0,0) x[30][23] = 0
641.84/602.19	c (0,0) x[30][24] = 0
641.84/602.19	c (0,0) x[30][25] = 0
641.84/602.19	c (0,0) x[30][26] = 0
641.84/602.19	c (0,0) x[30][27] = 0
641.84/602.19	c (0,0) x[30][28] = 0
641.84/602.19	c (0,0) x[30][29] = 0
641.84/602.19	c (0,0) x[30][30] = 0
641.84/602.19	c (0,0) x[30][31] = 0
641.84/602.19	c (0,0) x[31][0] = 1
641.84/602.19	c (0,0) x[31][1] = 1
641.84/602.19	c (0,0) x[31][2] = 1
641.84/602.19	c (0,0) x[31][3] = 1
641.84/602.19	c (0,0) x[31][4] = 1
641.84/602.19	c (0,0) x[31][5] = 1
641.84/602.19	c (0,0) x[31][6] = 1
641.84/602.19	c (0,0) x[31][7] = 1
641.84/602.19	c (0,0) x[31][8] = 1
641.84/602.19	c (0,0) x[31][9] = 1
641.84/602.19	c (0,0) x[31][10] = 1
641.84/602.19	c (0,0) x[31][11] = 1
641.84/602.19	c (0,0) x[31][12] = 1
641.84/602.19	c (0,0) x[31][13] = 1
641.84/602.19	c (0,0) x[31][14] = 1
641.84/602.19	c (0,0) x[31][15] = 1
641.84/602.19	c (0,0) x[31][16] = 1
641.84/602.19	c (0,0) x[31][17] = 0
641.84/602.19	c (0,0) x[31][18] = 0
641.84/602.19	c (0,0) x[31][19] = 0
641.84/602.19	c (0,0) x[31][20] = 0
641.84/602.19	c (0,0) x[31][21] = 0
641.84/602.19	c (0,0) x[31][22] = 0
641.84/602.19	c (0,0) x[31][23] = 0
641.84/602.19	c (0,0) x[31][24] = 0
641.84/602.19	c (0,0) x[31][25] = 0
641.84/602.19	c (0,0) x[31][26] = 0
641.84/602.19	c (0,0) x[31][27] = 0
641.84/602.19	c (0,0) x[31][28] = 0
641.84/602.19	c (0,0) x[31][29] = 0
641.84/602.19	c (0,0) x[31][30] = 0
641.84/602.19	c (0,0) x[31][31] = 0
641.84/602.19	s SATISFIABLE
641.84/602.19	v <instantiation>
641.84/602.19	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>
641.84/602.19	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>
641.84/602.19	v </instantiation>
641.84/602.19	c (0,0) Show results End
641.84/602.19	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
641.84/602.19	c (0,0) 0,0,STOP-AFTER(ALL)
641.84/602.19	c END-Prog: Sat Sep 14 06:47:06 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 (9162 MiB free)
  memory of node 1: 16384 MiB (15619 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392686-1568435866/watcher-4392686-1568435866 -o /tmp/evaluation-result-4392686-1568435866/solver-4392686-1568435866 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --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-4392686-1568435866.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=13735, runsolver pid=13732
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 6.55 7.48 7.58 4/211 13757
/proc/meminfo: memFree=25276856/32770624 swapFree=67002160/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419835490 115843072 349 33554432000 4194304 5098028 140734511098256 140734511095512 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 349 296 221 0 87 0
[pid=13738] ppid=13735 vsize=27314120 memory=107696 CPUtime=0.1 cores=0-7
/proc/13738/stat : 13738 (java) S 13735 13735 11851 0 -1 1077944320 6469 0 0 0 8 2 0 0 20 0 20 0 419835490 27969658880 26924 33554432000 4194304 4196468 140737362488960 140737362471504 140122228633335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
/proc/13738/statm: 6828530 26924 2781 1 0 6790935 0
[pid=13738/tid=13739] ppid=13735 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13738/task/13739/stat : 13739 (java) R 13735 13735 11851 0 -1 4202560 4584 0 0 0 7 2 0 0 20 0 20 0 419835490 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122200447696 140122212713822 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13740] ppid=13735 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13738/task/13740/stat : 13740 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122232875920 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13741] ppid=13735 vsize=27314120 memory=140371955656320 CPUtime=0 cores=0-7
/proc/13738/task/13741/stat : 13741 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122047032080 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13742] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13742/stat : 13742 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122045979792 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13743] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13743/stat : 13743 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122044926992 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13744] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13744/stat : 13744 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122043873680 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13745] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13745/stat : 13745 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122042820880 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13746] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13746/stat : 13746 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122041768592 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13747] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13747/stat : 13747 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 26924 33554432000 4194304 4196468 140737362488960 140122040715792 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13748] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13748/stat : 13748 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419835494 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120279706224 140122228644482 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13749] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13749/stat : 13749 (java) S 13735 13735 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419835495 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120153908512 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13750] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13750/stat : 13750 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835495 27969658880 26924 33554432000 4194304 4196468 140737362488960 140119885473392 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13751] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13751/stat : 13751 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 26924 33554432000 4194304 4196468 140737362488960 140119510964816 140122228651931 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13752] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13752/stat : 13752 (java) S 13735 13735 11851 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120278653040 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13753] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13753/stat : 13753 (java) S 13735 13735 11851 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120277600240 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13754] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13754/stat : 13754 (java) S 13735 13735 11851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120276547952 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13755] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13755/stat : 13755 (java) S 13735 13735 11851 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120275495152 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13756] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13756/stat : 13756 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835498 27969658880 26924 33554432000 4194304 4196468 140737362488960 140119013059424 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13757] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13757/stat : 13757 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835498 27969658880 26924 33554432000 4194304 4196468 140737362488960 140120274443056 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109092 KiB

[startup+0.210477 s]*
/proc/loadavg: 6.55 7.48 7.58 2/211 13757
/proc/meminfo: memFree=25257016/32770624 swapFree=67002160/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419835490 115843072 349 33554432000 4194304 5098028 140734511098256 140734511095512 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 349 296 221 0 87 0
[pid=13738] ppid=13735 vsize=27314120 memory=126744 CPUtime=0.25 cores=0-7
/proc/13738/stat : 13738 (java) S 13735 13735 11851 0 -1 1077944320 12087 0 0 0 20 5 0 0 20 0 20 0 419835490 27969658880 31686 33554432000 4194304 4196468 140737362488960 140737362471504 140122228633335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
/proc/13738/statm: 6828530 31686 2925 1 0 6790935 0
[pid=13738/tid=13739] ppid=13735 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13738/task/13739/stat : 13739 (java) R 13735 13735 11851 0 -1 4202560 9807 0 0 0 16 4 0 0 20 0 20 0 419835490 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122200432720 140122210186640 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13740] ppid=13735 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/13738/task/13740/stat : 13740 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122232875920 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13741] ppid=13735 vsize=27314120 memory=140371955668454 CPUtime=0 cores=0-7
/proc/13738/task/13741/stat : 13741 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122047032080 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13742] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13742/stat : 13742 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122045979792 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13743] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13743/stat : 13743 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122044926992 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13744] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13744/stat : 13744 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122043873680 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13745] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13745/stat : 13745 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122042820880 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13746] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13746/stat : 13746 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122041768592 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13747] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13747/stat : 13747 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 31686 33554432000 4194304 4196468 140737362488960 140122040715792 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13748] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13748/stat : 13748 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419835494 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120279706224 140122228644482 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13749] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13749/stat : 13749 (java) S 13735 13735 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419835495 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120153908512 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13750] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13750/stat : 13750 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835495 27969658880 31686 33554432000 4194304 4196468 140737362488960 140119885473392 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13751] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13751/stat : 13751 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 31686 33554432000 4194304 4196468 140737362488960 140119510964816 140122228651931 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13752] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13752/stat : 13752 (java) S 13735 13735 11851 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120278653040 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13753] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13753/stat : 13753 (java) S 13735 13735 11851 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120277600240 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13754] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13754/stat : 13754 (java) S 13735 13735 11851 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120276547952 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13755] ppid=13735 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/13738/task/13755/stat : 13755 (java) S 13735 13735 11851 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 419835497 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120275495152 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13756] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13756/stat : 13756 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835498 27969658880 31686 33554432000 4194304 4196468 140737362488960 140119013059424 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13757] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13757/stat : 13757 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835498 27969658880 31686 33554432000 4194304 4196468 140737362488960 140120274443056 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128140 KiB

[startup+0.310179 s]*
/proc/loadavg: 6.55 7.48 7.58 2/211 13757
/proc/meminfo: memFree=25257556/32770624 swapFree=67002160/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419835490 115843072 349 33554432000 4194304 5098028 140734511098256 140734511095512 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 349 296 221 0 87 0
[pid=13738] ppid=13735 vsize=27314120 memory=130348 CPUtime=0.42 cores=0-7
/proc/13738/stat : 13738 (java) S 13735 13735 11851 0 -1 1077944320 12934 0 0 0 37 5 0 0 20 0 20 0 419835490 27969658880 32587 33554432000 4194304 4196468 140737362488960 140737362471504 140122228633335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
/proc/13738/statm: 6828530 32587 3036 1 0 6790935 0
[pid=13738/tid=13739] ppid=13735 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13738/task/13739/stat : 13739 (java) R 13735 13735 11851 0 -1 4202560 10487 0 0 0 25 4 0 0 20 0 20 0 419835490 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122200446976 140122205857488 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13740] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13740/stat : 13740 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122232875920 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13741] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13741/stat : 13741 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122047032080 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13742] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13742/stat : 13742 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122045979792 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13743] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13743/stat : 13743 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122044926992 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13744] ppid=13735 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/13738/task/13744/stat : 13744 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122043873680 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13745] ppid=13735 vsize=27314120 memory=140371812250543 CPUtime=0 cores=0-7
/proc/13738/task/13745/stat : 13745 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122042820880 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13746] ppid=13735 vsize=27314120 memory=140371812252848 CPUtime=0 cores=0-7
/proc/13738/task/13746/stat : 13746 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122041768592 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13747] ppid=13735 vsize=27314120 memory=140371812255152 CPUtime=0 cores=0-7
/proc/13738/task/13747/stat : 13747 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27969658880 32587 33554432000 4194304 4196468 140737362488960 140122040715792 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13748] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13748/stat : 13748 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419835494 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120279706224 140122228644482 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13749] ppid=13735 vsize=27314120 memory=280743624517264 CPUtime=0 cores=0-7
/proc/13738/task/13749/stat : 13749 (java) S 13735 13735 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419835495 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120153908512 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13750] ppid=13735 vsize=27314120 memory=280743624524176 CPUtime=0 cores=0-7
/proc/13738/task/13750/stat : 13750 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835495 27969658880 32587 33554432000 4194304 4196468 140737362488960 140119885473392 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13751] ppid=13735 vsize=27314120 memory=280743624465456 CPUtime=0 cores=0-7
/proc/13738/task/13751/stat : 13751 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835497 27969658880 32587 33554432000 4194304 4196468 140737362488960 140119510964816 140122228651931 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13752] ppid=13735 vsize=27314120 memory=280743624538000 CPUtime=0.01 cores=0-7
/proc/13738/task/13752/stat : 13752 (java) S 13735 13735 11851 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 419835497 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120278653040 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13753] ppid=13735 vsize=27314120 memory=280743624544912 CPUtime=0.01 cores=0-7
/proc/13738/task/13753/stat : 13753 (java) S 13735 13735 11851 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 20 0 419835497 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120277600240 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13754] ppid=13735 vsize=27314120 memory=280743624542608 CPUtime=0.01 cores=0-7
/proc/13738/task/13754/stat : 13754 (java) R 13735 13735 11851 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 20 0 419835497 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120276547952 140122213538832 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13755] ppid=13735 vsize=27314120 memory=280743624558768 CPUtime=0.07 cores=0-7
/proc/13738/task/13755/stat : 13755 (java) S 13735 13735 11851 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 419835497 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120275495152 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13756] ppid=13735 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13756/stat : 13756 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835498 27969658880 32587 33554432000 4194304 4196468 140737362488960 140119013059424 140122228643541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13757] ppid=13735 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13738/task/13757/stat : 13757 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835498 27969658880 32587 33554432000 4194304 4196468 140737362488960 140120274443056 140122228644482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131744 KiB

[startup+0.701369 s]
/proc/loadavg: 6.55 7.48 7.58 3/211 13757
/proc/meminfo: memFree=25233548/32770624 swapFree=67002160/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419835490 115843072 349 33554432000 4194304 5098028 140734511098256 140734511095512 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 349 296 221 0 87 0
[pid=13738] ppid=13735 vsize=27320392 memory=167820 CPUtime=0.99 cores=0-7
/proc/13738/stat : 13738 (java) S 13735 13735 11851 0 -1 1077944320 19964 0 0 0 91 8 0 0 20 0 20 0 419835490 27976081408 41955 33554432000 4194304 4196468 140737362488960 140737362471504 140122228633335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
/proc/13738/statm: 6830098 41955 3199 1 0 6791447 0
[pid=13738/tid=13739] ppid=13735 vsize=27320392 memory=280743624916656 CPUtime=0.67 cores=0-7
/proc/13738/task/13739/stat : 13739 (java) R 13735 13735 11851 0 -1 4202560 16902 0 0 0 61 6 0 0 20 0 20 0 419835490 27976081408 41955 33554432000 4194304 4196468 140737362488960 140122200463760 140121716510097 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13740] ppid=13735 vsize=27320392 memory=140371812459376 CPUtime=0 cores=0-7
/proc/13738/task/13740/stat : 13740 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27976081408 41955 33554432000 4194304 4196468 140737362488960 140122232875920 140122228643541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13741] ppid=13735 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13738/task/13741/stat : 13741 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27976081408 41955 33554432000 4194304 4196468 140737362488960 140122047032080 140122228643541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13742] ppid=13735 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/13738/task/13742/stat : 13742 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835493 27976081408 41955 33554432000 4194304 4196468 140737362488960 140122045979792 140122228643541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0

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

/proc/13738/task/13749/stat : 13749 (java) S 13735 13735 11851 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419835495 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140120153908576 140122228643541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13750] ppid=13735 vsize=27326612 memory=4008 CPUtime=0 cores=0-7
/proc/13738/task/13750/stat : 13750 (java) S 13735 13735 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419835495 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140119885473408 140122228643541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13751] ppid=13735 vsize=27326612 memory=1292 CPUtime=0 cores=0-7
/proc/13738/task/13751/stat : 13751 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419835497 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140119510964816 140122228651931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13752] ppid=13735 vsize=27326612 memory=10592 CPUtime=3.44 cores=0-7
/proc/13738/task/13752/stat : 13752 (java) S 13735 13735 11851 0 -1 1077944384 22727 0 0 0 340 4 0 0 20 0 20 0 419835497 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140120278653040 140122228644482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13753] ppid=13735 vsize=27326612 memory=1720 CPUtime=4.7 cores=0-7
/proc/13738/task/13753/stat : 13753 (java) S 13735 13735 11851 0 -1 1077944384 27918 0 0 0 465 5 0 0 20 0 20 0 419835497 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140120277600240 140122228644482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13754] ppid=13735 vsize=27326612 memory=5948 CPUtime=3.79 cores=0-7
/proc/13738/task/13754/stat : 13754 (java) S 13735 13735 11851 0 -1 1077944384 24942 0 0 0 375 4 0 0 20 0 20 0 419835497 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140120276547952 140122228644482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13755] ppid=13735 vsize=27326612 memory=636 CPUtime=1.12 cores=0-7
/proc/13738/task/13755/stat : 13755 (java) S 13735 13735 11851 0 -1 1077944384 17395 0 0 0 107 5 0 0 20 0 20 0 419835497 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140120275495152 140122228644482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13756] ppid=13735 vsize=27326612 memory=2832 CPUtime=0 cores=0-7
/proc/13738/task/13756/stat : 13756 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419835498 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140119013059424 140122228643541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
[pid=13738/tid=13757] ppid=13735 vsize=27326612 memory=1056 CPUtime=0.26 cores=0-7
/proc/13738/task/13757/stat : 13757 (java) S 13735 13735 11851 0 -1 1077944384 1135 0 0 0 11 15 0 0 20 0 20 0 419835498 27982450688 2798768 33554432000 4194304 4196468 140737362488960 140120274443056 140122228644482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 24891392 140737362494186 140737362494614 140737362494614 140737362497487 0
Current children cumulated CPU time: 637.2 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 11196468 KiB

[startup+601.601 s]
/proc/loadavg: 1.02 1.96 4.52 2/193 13805
/proc/meminfo: memFree=25409040/32770624 swapFree=67002164/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1476 CPUtime=639.69 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 582 247546 0 0 0 0 62649 1320 20 0 1 0 419835490 115843072 369 33554432000 4194304 5098028 140734511098256 140734511095000 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 369 311 221 0 87 0
[pid=13804] ppid=13735 vsize=7752288 memory=97232 CPUtime=0.82 cores=0-7
/proc/13804/stat : 13804 (java) S 13735 13735 11851 0 -1 1077944320 19143 0 0 0 76 6 0 0 20 0 20 0 419895588 7938342912 24308 33554432000 4194304 4196468 140735975969616 140735975952160 139812780732151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
/proc/13804/statm: 1938072 24308 3064 1 0 1899951 0
[pid=13804/tid=13805] ppid=13735 vsize=7752288 memory=1396 CPUtime=0.59 cores=0-7
/proc/13804/task/13805/stat : 13805 (java) R 13735 13735 11851 0 -1 4202560 16717 0 0 0 54 5 0 0 20 0 20 0 419895589 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812752553496 139812762295707 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13806] ppid=13735 vsize=7752288 memory=11194768 CPUtime=0 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812784974480 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13807] ppid=13735 vsize=7752288 memory=21684 CPUtime=0 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812599130640 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13808] ppid=13735 vsize=7752288 memory=776 CPUtime=0 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812598077840 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13809] ppid=13735 vsize=7752288 memory=4008 CPUtime=0 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812597025040 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13810] ppid=13735 vsize=7752288 memory=1292 CPUtime=0 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812595973264 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13811] ppid=13735 vsize=7752288 memory=10592 CPUtime=0 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13735 13735 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812261231632 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13812] ppid=13735 vsize=7752288 memory=1720 CPUtime=0 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13735 13735 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812260178832 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13813] ppid=13735 vsize=7752288 memory=5948 CPUtime=0 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13735 13735 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419895590 7938342912 24308 33554432000 4194304 4196468 140735975969616 139812259126032 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
Current children cumulated CPU time: 640.51 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 98708 KiB

[startup+602.001 s]*
/proc/loadavg: 1.02 1.96 4.52 2/213 13837
/proc/meminfo: memFree=25297528/32770624 swapFree=67002164/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1476 CPUtime=639.69 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 582 247546 0 0 0 0 62649 1320 20 0 1 0 419835490 115843072 369 33554432000 4194304 5098028 140734511098256 140734511095000 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 369 311 221 0 87 0
[pid=13804] ppid=13735 vsize=8283048 memory=130360 CPUtime=1.96 cores=0-7
/proc/13804/stat : 13804 (java) S 13735 13735 11851 0 -1 1077944320 22045 9327 0 0 162 10 17 7 20 0 22 0 419895588 8481841152 32590 33554432000 4194304 4196468 140735975969616 140735975952160 139812780732151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
/proc/13804/statm: 2070762 32590 3226 1 0 2032106 0
[pid=13804/tid=13805] ppid=13735 vsize=8283048 memory=1292 CPUtime=1.08 cores=0-7
/proc/13804/task/13805/stat : 13805 (java) R 13735 13735 11851 0 -1 4202560 18050 9327 0 0 76 8 17 7 20 0 22 0 419895589 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812752571088 139812764812638 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13806] ppid=13735 vsize=8283048 memory=4126316290023845779 CPUtime=0.24 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812784974480 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13807] ppid=13735 vsize=8283048 memory=1720 CPUtime=0.24 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812599130640 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13808] ppid=13735 vsize=8283048 memory=1396 CPUtime=0.24 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812598077840 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13809] ppid=13735 vsize=8283048 memory=11193700 CPUtime=0.24 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812597025040 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13810] ppid=13735 vsize=8283048 memory=2832 CPUtime=0.24 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812595973264 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13811] ppid=13735 vsize=8283048 memory=4428 CPUtime=0.24 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812261231632 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13812] ppid=13735 vsize=8283048 memory=4108 CPUtime=0.24 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812260178832 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13813] ppid=13735 vsize=8283048 memory=1412 CPUtime=0.24 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13735 13735 11851 0 -1 1077944384 3 9327 0 0 0 0 17 7 20 0 22 0 419895590 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812259126032 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13814] ppid=13735 vsize=8283048 memory=3320 CPUtime=0.24 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13735 13735 11851 0 -1 1077944384 5 9327 0 0 0 0 17 7 20 0 22 0 419895592 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812075501936 139812780743298 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13815] ppid=13735 vsize=8283048 memory=1396 CPUtime=0.24 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13735 13735 11851 0 -1 1077944384 13 9327 0 0 0 0 17 7 20 0 22 0 419895592 8481841152 32590 33554432000 4194304 4196468 140735975969616 139811453133856 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13816] ppid=13735 vsize=8283048 memory=11194920 CPUtime=0.24 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 22 0 419895592 8481841152 32590 33554432000 4194304 4196468 140735975969616 139811184698224 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13817] ppid=13735 vsize=8283048 memory=6791534058613427641 CPUtime=0.24 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 22 0 419895595 8481841152 32590 33554432000 4194304 4196468 140735975969616 139810810189648 139812780750747 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13818] ppid=13735 vsize=8283048 memory=1804 CPUtime=0.47 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13735 13735 11851 0 -1 1077944384 1031 9327 0 0 23 0 17 7 20 0 22 0 419895595 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812074449776 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13819] ppid=13735 vsize=8283048 memory=916 CPUtime=0.39 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13735 13735 11851 0 -1 1077944384 385 9327 0 0 15 0 17 7 20 0 22 0 419895595 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812073396976 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13820] ppid=13735 vsize=8283048 memory=4428 CPUtime=0.37 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) S 13735 13735 11851 0 -1 1077944384 393 9327 0 0 13 0 17 7 20 0 22 0 419895595 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812072344176 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13821] ppid=13735 vsize=8283048 memory=4108 CPUtime=0.52 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) R 13735 13735 11851 0 -1 1077944384 731 9327 0 0 28 0 17 7 20 0 22 0 419895595 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812071291376 139812780743298 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13822] ppid=13735 vsize=8283048 memory=1412 CPUtime=0.24 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) S 13735 13735 11851 0 -1 1077944384 3 9327 0 0 0 0 17 7 20 0 22 0 419895596 8481841152 32590 33554432000 4194304 4196468 140735975969616 139810312284768 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13823] ppid=13735 vsize=8283048 memory=3316 CPUtime=0.24 cores=0-7
/proc/13804/task/13823/stat : 13823 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 22 0 419895596 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812070238768 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13825] ppid=13735 vsize=8283048 memory=1396 CPUtime=0.24 cores=0-7
/proc/13804/task/13825/stat : 13825 (java) S 13735 13735 11851 0 -1 1077944384 23 9327 0 0 0 0 17 7 20 0 22 0 419895669 8481841152 32590 33554432000 4194304 4196468 140735975969616 139812062204176 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13829] ppid=13735 vsize=8283048 memory=11189596 CPUtime=0.24 cores=0-7
/proc/13804/task/13829/stat : 13829 (java) S 13735 13735 11851 0 -1 1077944384 14 9327 0 0 0 0 17 7 20 0 22 0 419895671 8481841152 32590 33554432000 4194304 4196468 140735975969616 139809372759344 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
Current children cumulated CPU time: 641.65 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131836 KiB

[startup+602.201 s]
/proc/loadavg: 1.02 1.96 4.52 2/213 13837
/proc/meminfo: memFree=25297528/32770624 swapFree=67002164/67108860
[pid=13735] ppid=13732 vsize=113128 memory=1476 CPUtime=639.69 cores=0-7
/proc/13735/stat : 13735 (scop.sh) S 13732 13735 11851 0 -1 4202496 582 247546 0 0 0 0 62649 1320 20 0 1 0 419835490 115843072 369 33554432000 4194304 5098028 140734511098256 140734511095000 140571173204604 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8663040 140734511100708 140734511101036 140734511101036 140734511103949 0
/proc/13735/statm: 28282 369 311 221 0 87 0
[pid=13804] ppid=13735 vsize=8151972 memory=146208 CPUtime=2.51 cores=0-7
/proc/13804/stat : 13804 (java) S 13735 13735 11851 0 -1 1077944320 24533 9327 0 0 215 12 17 7 20 0 21 0 419895588 8347619328 36552 33554432000 4194304 4196468 140735975969616 140735975952160 139812780732151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
/proc/13804/statm: 2037993 36552 3234 1 0 1999337 0
[pid=13804/tid=13805] ppid=13735 vsize=8151972 memory=39728 CPUtime=1.28 cores=0-7
/proc/13804/task/13805/stat : 13805 (java) S 13735 13735 11851 0 -1 1077944384 19961 9327 0 0 94 10 17 7 20 0 21 0 419895589 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812752575632 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13806] ppid=13735 vsize=8151972 memory=988 CPUtime=0.24 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812784974480 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13807] ppid=13735 vsize=8151972 memory=2024 CPUtime=0.24 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812599130640 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13808] ppid=13735 vsize=8151972 memory=1428 CPUtime=0.24 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812598077840 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13809] ppid=13735 vsize=8151972 memory=776 CPUtime=0.24 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812597025040 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13810] ppid=13735 vsize=8151972 memory=4008 CPUtime=0.24 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812595973264 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13811] ppid=13735 vsize=8151972 memory=448 CPUtime=0.24 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812261231632 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13812] ppid=13735 vsize=8151972 memory=356 CPUtime=0.24 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812260178832 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13813] ppid=13735 vsize=8151972 memory=110 CPUtime=0.24 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13735 13735 11851 0 -1 1077944384 3 9327 0 0 0 0 17 7 20 0 21 0 419895590 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812259126032 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13814] ppid=13735 vsize=8151972 memory=0 CPUtime=0.24 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13735 13735 11851 0 -1 1077944384 5 9327 0 0 0 0 17 7 20 0 21 0 419895592 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812075502144 139812780743298 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13815] ppid=13735 vsize=8151972 memory=26 CPUtime=0.24 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13735 13735 11851 0 -1 1077944384 13 9327 0 0 0 0 17 7 20 0 21 0 419895592 8347619328 36552 33554432000 4194304 4196468 140735975969616 139811453133856 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13816] ppid=13735 vsize=8151972 memory=0 CPUtime=0.24 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13735 13735 11851 0 -1 1077944384 1 9327 0 0 0 0 17 7 20 0 21 0 419895592 8347619328 36552 33554432000 4194304 4196468 140735975969616 139811184698224 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13817] ppid=13735 vsize=8151972 memory=5023 CPUtime=0.24 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13735 13735 11851 0 -1 1077944384 2 9327 0 0 0 0 17 7 20 0 21 0 419895595 8347619328 36552 33554432000 4194304 4196468 140735975969616 139810810189296 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13818] ppid=13735 vsize=8151972 memory=988 CPUtime=0.55 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13735 13735 11851 0 -1 1077944384 1047 9327 0 0 31 0 17 7 20 0 21 0 419895595 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812074429712 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13819] ppid=13735 vsize=8151972 memory=2024 CPUtime=0.47 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13735 13735 11851 0 -1 1077944384 435 9327 0 0 23 0 17 7 20 0 21 0 419895595 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812073381568 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13820] ppid=13735 vsize=8151972 memory=1428 CPUtime=0.45 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) R 13735 13735 11851 0 -1 4202560 638 9327 0 0 21 0 17 7 20 0 21 0 419895595 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812072325192 139812764143042 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13821] ppid=13735 vsize=8151972 memory=500 CPUtime=0.63 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) R 13735 13735 11851 0 -1 4202560 996 9327 0 0 39 0 17 7 20 0 21 0 419895595 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812071291376 139812759698268 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13822] ppid=13735 vsize=8151972 memory=932 CPUtime=0.24 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) S 13735 13735 11851 0 -1 1077944384 3 9327 0 0 0 0 17 7 20 0 21 0 419895596 8347619328 36552 33554432000 4194304 4196468 140735975969616 139810312284768 139812780742357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13825] ppid=13735 vsize=8151972 memory=1656 CPUtime=0.24 cores=0-7
/proc/13804/task/13825/stat : 13825 (java) S 13735 13735 11851 0 -1 1077944384 23 9327 0 0 0 0 17 7 20 0 21 0 419895669 8347619328 36552 33554432000 4194304 4196468 140735975969616 139812062204176 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
[pid=13804/tid=13829] ppid=13735 vsize=8151972 memory=804 CPUtime=0.24 cores=0-7
/proc/13804/task/13829/stat : 13829 (java) S 13735 13735 11851 0 -1 1077944384 14 9327 0 0 0 0 17 7 20 0 21 0 419895671 8347619328 36552 33554432000 4194304 4196468 140735975969616 139809372759344 139812780743298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140735975977975 140735975978134 140735975978134 140735975981007 0
Current children cumulated CPU time: 642.2 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 147684 KiB

Child status: 0
Real time (s): 602.22
CPU time (s): 642.244
CPU user time (s): 628.827
CPU system time (s): 13.4177
CPU usage (%): 106.646
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 11199312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 628.827
system time used= 13.4177
maximum resident set size= 11198584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39923
involuntary context switches= 1123


# summary of solver processes directly reported to runsolver:
#   pid: 13735
#   total CPU time (s): 642.244
#   total CPU user time (s): 628.827
#   total CPU system time (s): 13.4177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79865 second user time and 6.93069 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 06:37:04
IDJOB=4392686
IDBENCH=134105
IDSOLVER=2839
FILE ID=node136/4392686-1568435866
RUNJOBID= node136-1568427975-11878
PBS_JOBID= 21702302
Free space on /tmp= 60764 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392686-1568435866/watcher-4392686-1568435866 -o /tmp/evaluation-result-4392686-1568435866/solver-4392686-1568435866 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --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-4392686-1568435866.xml

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

MD5SUM BENCH= 1ecda127feec841a205962b399f2051f
RANDOM SEED=1284439161

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25375732 kB
MemAvailable:   31846024 kB
Buffers:           83436 kB
Cached:          6660032 kB
SwapCached:         3108 kB
Active:          2445992 kB
Inactive:        4303632 kB
Active(anon):       4612 kB
Inactive(anon):    42124 kB
Active(file):    2441380 kB
Inactive(file):  4261508 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002160 kB
Dirty:            352640 kB
Writeback:         73140 kB
AnonPages:        112648 kB
Mapped:            43844 kB
Shmem:             31936 kB
Slab:             237164 kB
SReclaimable:     166480 kB
SUnreclaim:        70684 kB
KernelStack:        3344 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498220 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 /tmp at the end= 60740 MiB
End job on node136 at 2019-09-14 06:47:07