Trace number 4405246

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 641.77 601.023

General information on the benchmark

NameNonogram/Nonogram-table-s1/
Nonogram-122-table.xml
MD5SUM1ecda127feec841a205962b399f2051f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark32.3263
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of constraints64
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1024}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1024}]
Minimum constraint arity32
Maximum constraint arity32
Distribution of constraint arities[{"arity":32,"count":64}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11257-serial-file.bin HOME/instance-4405246-1569342332.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:24:55 CEST 2019
0.65/0.57	c PID: 11260
0.65/0.57	c IP: 172.20.3.151
0.65/0.57	c HOST: node151.alineos.net
0.65/0.58	c (0,0) Parsing Begin
46.57/33.31	c (32,31) Parsing End
46.57/33.32	c (32,31) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
46.57/33.32	c (32,31) Heap : 7660 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
46.57/33.32	c (32,31) Constraint Name Generate Begin
46.57/33.33	c (32,31) Ctr:HOME/instance-4405246-1569342332.xml,ExtensionSupport:Var
46.57/33.33	c (32,31) Constraint Name Generate End
46.57/33.33	c (32,31) Heap : 7660 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
46.57/33.33	c (32,31) CSP to CSPinCNF Begin
185.98/160.00	c (159,156) translated 7 (10%) constraints
302.86/274.88	c (274,271) translated 13 (20%) constraints
332.87/303.16	c (302,299) translated 20 (30%) constraints
355.41/325.33	c (324,321) translated 26 (40%) constraints
447.17/415.51	c (414,411) translated 32 (50%) constraints
558.67/524.65	c (524,520) translated 39 (60%) constraints
601.36/566.76	c (566,562) translated 45 (70%) constraints
617.78/582.92	c (582,578) translated 52 (80%) constraints
623.25/588.37	c (587,583) translated 58 (90%) constraints
631.15/596.19	c (595,591) translated 64 (100%) constraints
631.24/596.22	c (595,591) ===========================================
631.24/596.22	c (595,591) Order
631.24/596.22	c (595,591) ===========================================
631.47/596.40	c (595,591) translated 6557 (10%) constraints
632.11/596.53	c (595,592) translated 13113 (20%) constraints
632.22/596.65	c (596,592) translated 19669 (30%) constraints
632.33/596.78	c (596,592) translated 26226 (40%) constraints
632.57/596.90	c (596,592) translated 32782 (50%) constraints
632.69/597.02	c (596,592) translated 39338 (60%) constraints
632.82/597.15	c (596,592) translated 45895 (70%) constraints
633.00/597.28	c (596,592) translated 52451 (80%) constraints
633.21/597.40	c (596,592) translated 59007 (90%) constraints
633.31/597.52	c (596,593) translated 65563 (100%) constraints
633.31/597.52	c (596,593) CSP to CSPinCNF End
633.31/597.52	c (596,593) CSP: 0 int (0 aux), 15178 bool (14154 aux), 65563 ctr, max domain size 2
633.31/597.52	c (596,593) Heap : 10562 MiB used (max 22515 MiB), NonHeap : 28 MiB used (max 0 MiB)
633.31/597.53	c (596,593) CSPinCNF Propagation Begin
636.18/598.69	c (598,594) 2193 values, 11645 unsatisfiable literals, and 10935 valid clauses are removed
636.18/598.69	c (598,594) CSPinCNF Propagation End
636.18/598.70	c (598,594) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
636.18/598.70	c (598,594) Heap : 3416 MiB used (max 22518 MiB), NonHeap : 29 MiB used (max 0 MiB)
636.40/598.70	c (598,594) Simplify CSPinCNF Begin
636.63/598.81	c (598,594) Simplify CSPinCNF End
636.63/598.81	c (598,594) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
636.63/598.81	c (598,594) Heap : 3565 MiB used (max 22518 MiB), NonHeap : 29 MiB used (max 0 MiB)
636.63/598.81	c (598,594) Calculate Precise Domain Begin
636.63/598.81	c (598,594) 0 values are removed by re-calculation
636.63/598.81	c (598,594) Calculate Precise Domain End
636.63/598.82	c (598,594) CSP: 0 int (0 aux), 15178 bool (14154 aux), 54628 ctr, max domain size 2
636.63/598.82	c (598,594) Heap : 3565 MiB used (max 22518 MiB), NonHeap : 29 MiB used (max 0 MiB)
636.63/598.82	c (598,594) CSPinCNF to SatSolver Begin
637.38/599.08	c (598,594) 5463 (10 %) CSP clauses are encoded (0 SAT variables, 5462 SAT clauses)
637.79/599.17	c (598,594) 10926 (20 %) CSP clauses are encoded (0 SAT variables, 10925 SAT clauses)
638.15/599.23	c (598,594) 16389 (30 %) CSP clauses are encoded (0 SAT variables, 16388 SAT clauses)
638.15/599.28	c (598,594) 21852 (40 %) CSP clauses are encoded (0 SAT variables, 21851 SAT clauses)
638.48/599.32	c (598,594) 27314 (50 %) CSP clauses are encoded (0 SAT variables, 27313 SAT clauses)
638.48/599.37	c (598,594) 32777 (60 %) CSP clauses are encoded (0 SAT variables, 32776 SAT clauses)
638.58/599.41	c (598,594) 38240 (70 %) CSP clauses are encoded (0 SAT variables, 38239 SAT clauses)
638.58/599.46	c (598,594) 43703 (80 %) CSP clauses are encoded (0 SAT variables, 43702 SAT clauses)
638.68/599.51	c (598,594) 49166 (90 %) CSP clauses are encoded (0 SAT variables, 49165 SAT clauses)
638.68/599.55	c (599,594) 54628 (100 %) CSP clauses are encoded (0 SAT variables, 54627 SAT clauses)
638.68/599.55	c (599,594) CSPinCNF to SatSolver End
638.68/599.55	c (599,594) Heap : 3867 MiB used (max 22518 MiB), NonHeap : 31 MiB used (max 0 MiB)
638.68/599.55	c (599,594) 12808 bool, 54628 clause
638.68/599.55	c (599,594) Export Begin
639.09/599.70	c (599,595) Export to HOME/scop-11257-serial-file.bin
639.09/599.70	c (599,595) Export End
639.09/599.71	c (599,595) Export File Size: 0.21 MB
639.09/599.71	c (599,595) 32,32,596,598,598,598,599,STOP-AFTER(DIMACS)
639.09/599.71	c END-Prog: Tue Sep 24 18:34:54 CEST 2019
639.09/599.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11257-serial-file.bin
639.73/600.25	c (0,0) Read Serial File Begin
639.73/600.25	c (0,0) HOME/scop-11257-serial-file.bin
640.29/600.53	c (0,0) Read Serial File End
640.29/600.54	
640.29/600.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
640.29/600.54	(Solving Process)
640.29/600.54	
640.29/600.57	c BEGIN-Prog: Tue Sep 24 18:34:55 CEST 2019
640.29/600.57	c PID: 11325
640.29/600.57	c IP: 172.20.3.151
640.29/600.57	c HOST: node151.alineos.net
640.29/600.57	c (0,0) SatSolver.solve Begin
640.29/600.57	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405246-1569342332.xml-scop-11260.cnf
640.61/600.60	c (0,0) c
640.61/600.60	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.61/600.60	c (0,0) c
640.61/600.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
640.61/600.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
640.61/600.60	c (0,0) c ========================================[ Problem Statistics ]===========================================
640.61/600.60	c (0,0) c |                                                                                                       |
640.61/600.62	c (0,0) c |  Number of variables:         12808                                                                   |
640.61/600.62	c (0,0) c |  Number of clauses:           54628                                                                   |
640.61/600.62	c (0,0) c |  Parse time:                   0.02 s                                                                 |
640.61/600.62	c (0,0) c |                                                                                                       |
640.61/600.68	c (0,0) c |  Simplification time:          0.06 s                                                                 |
640.61/600.68	c (0,0) c |                                                                                                       |
640.61/600.68	c (0,0) c |  Generating clones                                                                                    |
640.72/600.71	c (0,0) c |  all clones generated. Memory =    63.99Mb.                                                           |
640.72/600.71	c (0,0) c ========================================================================================================|
640.72/600.71	c (0,0) c
640.72/600.71	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
640.72/600.71	c (0,0) c
640.72/600.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.71	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
640.72/600.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.71	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
640.72/600.71	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
640.72/600.71	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
640.72/600.71	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
640.72/600.71	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
640.72/600.71	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
640.72/600.71	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
640.72/600.71	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
640.72/600.71	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
640.72/600.71	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
640.72/600.71	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
640.72/600.71	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
640.72/600.71	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
640.72/600.71	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
640.72/600.71	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
640.72/600.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c real time : 0.142317 s
640.72/600.74	c (0,0) c cpu time  : 0.176136 s
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c | Conflicts     |             865 |        212 |         86 |         87 |         86 |         86 |        109 |        122 |         77 |
640.72/600.74	c (0,0) c | Decisions     |            2861 |        597 |        358 |        301 |        274 |        340 |        395 |        334 |        262 |
640.72/600.74	c (0,0) c | Propagations  |          165416 |      34762 |      18441 |      18545 |      17507 |      18411 |      21436 |      21739 |      14575 |
640.72/600.74	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
640.72/600.74	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
640.72/600.74	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | PropBinClauses|          160579 |      34219 |      17288 |      17644 |      16293 |      17277 |      21494 |      22330 |      14034 |
640.72/600.74	c (0,0) c | PropPreBlocker|          629298 |     129221 |      67415 |      71233 |      68193 |      67375 |      78600 |      88400 |      58861 |
640.72/600.74	c (0,0) c | PropNotBlocker|          324461 |      61095 |      36217 |      38330 |      36922 |      36171 |      39680 |      43316 |      32730 |
640.72/600.74	c (0,0) c | LitFullScans  |         1309902 |     269002 |     139957 |     149694 |     141060 |     139862 |     164161 |     183940 |     122226 |
640.72/600.74	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | DecisionLevel0|              59 |         14 |          4 |          6 |         17 |          4 |          6 |          6 |          2 |
640.72/600.74	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
640.72/600.74	c (0,0) c | Avg_Trail     |                 |       1443 |       1426 |       1459 |       1117 |       1426 |       1174 |       1326 |       1484 |
640.72/600.74	c (0,0) c | Avg_DL        |                 |         15 |         18 |         13 |          8 |         18 |         19 |          9 |         18 |
640.72/600.74	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c | Exported      |             310 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
640.72/600.74	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c | Unaries       |                 |         13 |          3 |          5 |         16 |          3 |          5 |          5 |          1 |
640.72/600.74	c (0,0) c | Binaries      |                 |         35 |         22 |         11 |         15 |         22 |         19 |         18 |         17 |
640.72/600.74	c (0,0) c | Glues         |                 |         80 |         32 |         26 |         25 |         32 |         40 |         39 |         36 |
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c | Orig_Seen     |             4 % |       1912 |        939 |       1107 |       1085 |        939 |       1225 |       1433 |        817 |
640.72/600.74	c (0,0) c | Diff Orig seen|                 |      X     | -      973 | -      805 | -      827 | -      973 | -      687 | -      479 | -     1095 |
640.72/600.74	c (0,0) c | Hamming       |             1 % |      X     |        157 |        121 |        193 |        160 |        121 |        171 |        118 |
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	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%|
640.72/600.74	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%|
640.72/600.74	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%|
640.72/600.74	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%|
640.72/600.74	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
640.72/600.74	c (0,0) c | PropagationTim|                 |    0.0  91%|    0.0  95%|    0.0  94%|    0.0  96%|    0.0  94%|    0.0  94%|    0.0  94%|    0.0  96%|
640.72/600.74	c (0,0) c | AnalysisTime  |                 |    0.0   3%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   2%|    0.0   3%|    0.0   2%|
640.72/600.74	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%|
640.72/600.74	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%|
640.72/600.74	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%|
640.72/600.74	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%|
640.72/600.74	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c
640.72/600.74	c (0,0) c Threads : 8
640.72/600.74	c (0,0) c Winner : 0
640.72/600.74	c (0,0) c Conflicts_0 : 212
640.72/600.74	c (0,0) c Conflicts_1 : 86
640.72/600.74	c (0,0) c Conflicts_2 : 87
640.72/600.74	c (0,0) c Conflicts_3 : 86
640.72/600.74	c (0,0) c Conflicts_4 : 86
640.72/600.74	c (0,0) c Conflicts_5 : 109
640.72/600.74	c (0,0) c Conflicts_6 : 122
640.72/600.74	c (0,0) c Conflicts_7 : 77
640.72/600.74	c (0,0) c Conflicts_total : 865
640.72/600.74	c (0,0) c Conflicts_winner : 212
640.72/600.74	c (0,0) c Decisions_0 : 597
640.72/600.74	c (0,0) c Decisions_1 : 358
640.72/600.74	c (0,0) c Decisions_2 : 301
640.72/600.74	c (0,0) c Decisions_3 : 274
640.72/600.74	c (0,0) c Decisions_4 : 340
640.72/600.74	c (0,0) c Decisions_5 : 395
640.72/600.74	c (0,0) c Decisions_6 : 334
640.72/600.74	c (0,0) c Decisions_7 : 262
640.72/600.74	c (0,0) c Decisions_total : 2861
640.72/600.74	c (0,0) c Decisions_winner : 597
640.72/600.74	c (0,0) c Propagations_0 : 34762
640.72/600.74	c (0,0) c Propagations_1 : 18441
640.72/600.74	c (0,0) c Propagations_2 : 18545
640.72/600.74	c (0,0) c Propagations_3 : 17507
640.72/600.74	c (0,0) c Propagations_4 : 18411
640.72/600.74	c (0,0) c Propagations_5 : 21436
640.72/600.74	c (0,0) c Propagations_6 : 21739
640.72/600.74	c (0,0) c Propagations_7 : 14575
640.72/600.74	c (0,0) c Propagations_total : 165416
640.72/600.74	c (0,0) c Propagations_winner : 34762
640.72/600.74	c (0,0) c ReduceDBs_0 : 0
640.72/600.74	c (0,0) c ReduceDBs_1 : 0
640.72/600.74	c (0,0) c ReduceDBs_2 : 0
640.72/600.74	c (0,0) c ReduceDBs_3 : 0
640.72/600.74	c (0,0) c ReduceDBs_4 : 0
640.72/600.74	c (0,0) c ReduceDBs_5 : 0
640.72/600.74	c (0,0) c ReduceDBs_6 : 0
640.72/600.74	c (0,0) c ReduceDBs_7 : 0
640.72/600.74	c (0,0) c ReduceDBs_total : 0
640.72/600.74	c (0,0) c ReduceDBs_winner : 0
640.72/600.74	c (0,0) c SimpDBs_0 : 1
640.72/600.74	c (0,0) c SimpDBs_1 : 1
640.72/600.74	c (0,0) c SimpDBs_2 : 1
640.72/600.74	c (0,0) c SimpDBs_3 : 1
640.72/600.74	c (0,0) c SimpDBs_4 : 1
640.72/600.74	c (0,0) c SimpDBs_5 : 1
640.72/600.74	c (0,0) c SimpDBs_6 : 1
640.72/600.74	c (0,0) c SimpDBs_7 : 1
640.72/600.74	c (0,0) c SimpDBs_total : 8
640.72/600.74	c (0,0) c SimpDBs_winner : 1
640.72/600.74	c (0,0) c Restarts_0 : 1
640.72/600.74	c (0,0) c Restarts_1 : 1
640.72/600.74	c (0,0) c Restarts_2 : 1
640.72/600.74	c (0,0) c Restarts_3 : 1
640.72/600.74	c (0,0) c Restarts_4 : 1
640.72/600.74	c (0,0) c Restarts_5 : 1
640.72/600.74	c (0,0) c Restarts_6 : 1
640.72/600.74	c (0,0) c Restarts_7 : 1
640.72/600.74	c (0,0) c Restarts_total : 8
640.72/600.74	c (0,0) c Restarts_winner : 1
640.72/600.74	c (0,0) c ForcedImports_0 : 0
640.72/600.74	c (0,0) c ForcedImports_1 : 0
640.72/600.74	c (0,0) c ForcedImports_2 : 0
640.72/600.74	c (0,0) c ForcedImports_3 : 0
640.72/600.74	c (0,0) c ForcedImports_4 : 0
640.72/600.74	c (0,0) c ForcedImports_5 : 0
640.72/600.74	c (0,0) c ForcedImports_6 : 0
640.72/600.74	c (0,0) c ForcedImports_7 : 0
640.72/600.74	c (0,0) c ForcedImports_total : 0
640.72/600.74	c (0,0) c ForcedImports_winner : 0
640.72/600.74	c (0,0) c PropsBinClauses_0 : 34219
640.72/600.74	c (0,0) c PropsBinClauses_1 : 17288
640.72/600.74	c (0,0) c PropsBinClauses_2 : 17644
640.72/600.74	c (0,0) c PropsBinClauses_3 : 16293
640.72/600.74	c (0,0) c PropsBinClauses_4 : 17277
640.72/600.74	c (0,0) c PropsBinClauses_5 : 21494
640.72/600.74	c (0,0) c PropsBinClauses_6 : 22330
640.72/600.74	c (0,0) c PropsBinClauses_7 : 14034
640.72/600.74	c (0,0) c PropsBinClauses_total : 160579
640.72/600.74	c (0,0) c PropsBinClauses_winner : 34219
640.72/600.74	c (0,0) c PropsPreBlocker_0 : 129221
640.72/600.74	c (0,0) c PropsPreBlocker_1 : 67415
640.72/600.74	c (0,0) c PropsPreBlocker_2 : 71233
640.72/600.74	c (0,0) c PropsPreBlocker_3 : 68193
640.72/600.74	c (0,0) c PropsPreBlocker_4 : 67375
640.72/600.74	c (0,0) c PropsPreBlocker_5 : 78600
640.72/600.74	c (0,0) c PropsPreBlocker_6 : 88400
640.72/600.74	c (0,0) c PropsPreBlocker_7 : 58861
640.72/600.74	c (0,0) c PropsPreBlocker_total : 629298
640.72/600.74	c (0,0) c PropsPreBlocker_winner : 129221
640.72/600.74	c (0,0) c PropsNotBlocker_0 : 61095
640.72/600.74	c (0,0) c PropsNotBlocker_1 : 36217
640.72/600.74	c (0,0) c PropsNotBlocker_2 : 38330
640.72/600.74	c (0,0) c PropsNotBlocker_3 : 36922
640.72/600.74	c (0,0) c PropsNotBlocker_4 : 36171
640.72/600.74	c (0,0) c PropsNotBlocker_5 : 39680
640.72/600.74	c (0,0) c PropsNotBlocker_6 : 43316
640.72/600.74	c (0,0) c PropsNotBlocker_7 : 32730
640.72/600.74	c (0,0) c PropsNotBlocker_total : 324461
640.72/600.74	c (0,0) c PropsNotBlocker_winner : 61095
640.72/600.74	c (0,0) c PropsLitFullScans_0 : 269002
640.72/600.74	c (0,0) c PropsLitFullScans_1 : 139957
640.72/600.74	c (0,0) c PropsLitFullScans_2 : 149694
640.72/600.74	c (0,0) c PropsLitFullScans_3 : 141060
640.72/600.74	c (0,0) c PropsLitFullScans_4 : 139862
640.72/600.74	c (0,0) c PropsLitFullScans_5 : 164161
640.72/600.74	c (0,0) c PropsLitFullScans_6 : 183940
640.72/600.74	c (0,0) c PropsLitFullScans_7 : 122226
640.72/600.74	c (0,0) c PropsLitFullScans_total : 1309902
640.72/600.74	c (0,0) c PropsLitFullScans_winner : 269002
640.72/600.74	c (0,0) c LitScanFractions_0 : 0
640.72/600.74	c (0,0) c LitScanFractions_1 : 0
640.72/600.74	c (0,0) c LitScanFractions_2 : 0
640.72/600.75	c (0,0) c LitScanFractions_3 : 0
640.72/600.75	c (0,0) c LitScanFractions_4 : 0
640.72/600.75	c (0,0) c LitScanFractions_5 : 0
640.72/600.75	c (0,0) c LitScanFractions_6 : 0
640.72/600.75	c (0,0) c LitScanFractions_7 : 0
640.72/600.75	c (0,0) c LitScanFractions_total : 0
640.72/600.75	c (0,0) c LitScanFractions_winner : 0
640.72/600.75	c (0,0) c DecisionLevel0_0 : 14
640.72/600.75	c (0,0) c DecisionLevel0_1 : 4
640.72/600.75	c (0,0) c DecisionLevel0_2 : 6
640.72/600.75	c (0,0) c DecisionLevel0_3 : 17
640.72/600.75	c (0,0) c DecisionLevel0_4 : 4
640.72/600.75	c (0,0) c DecisionLevel0_5 : 6
640.72/600.75	c (0,0) c DecisionLevel0_6 : 6
640.72/600.75	c (0,0) c DecisionLevel0_7 : 2
640.72/600.75	c (0,0) c DecisionLevel0_total : 59
640.72/600.75	c (0,0) c DecisionLevel0_winner : 14
640.72/600.75	c (0,0) c Periods_0 : 0
640.72/600.75	c (0,0) c Periods_1 : 0
640.72/600.75	c (0,0) c Periods_2 : 0
640.72/600.75	c (0,0) c Periods_3 : 0
640.72/600.75	c (0,0) c Periods_4 : 0
640.72/600.75	c (0,0) c Periods_5 : 0
640.72/600.75	c (0,0) c Periods_6 : 0
640.72/600.75	c (0,0) c Periods_7 : 0
640.72/600.75	c (0,0) c Periods_total : 0
640.72/600.75	c (0,0) c Periods_winner : 0
640.72/600.75	c (0,0) c Margin_0 : 20
640.72/600.75	c (0,0) c Margin_1 : 20
640.72/600.75	c (0,0) c Margin_2 : 20
640.72/600.75	c (0,0) c Margin_3 : 20
640.72/600.75	c (0,0) c Margin_4 : 20
640.72/600.75	c (0,0) c Margin_5 : 20
640.72/600.75	c (0,0) c Margin_6 : 20
640.72/600.75	c (0,0) c Margin_7 : 20
640.72/600.75	c (0,0) c Margin_total : 160
640.72/600.75	c (0,0) c Margin_winner : 20
640.72/600.75	c (0,0) c Exported_0 : 80
640.72/600.75	c (0,0) c Exported_1 : 32
640.72/600.75	c (0,0) c Exported_2 : 26
640.72/600.75	c (0,0) c Exported_3 : 25
640.72/600.75	c (0,0) c Exported_4 : 32
640.72/600.75	c (0,0) c Exported_5 : 40
640.72/600.75	c (0,0) c Exported_6 : 39
640.72/600.75	c (0,0) c Exported_7 : 36
640.72/600.75	c (0,0) c Exported_total : 310
640.72/600.75	c (0,0) c Exported_winner : 80
640.72/600.75	c (0,0) c Imported_0 : 0
640.72/600.75	c (0,0) c Imported_1 : 0
640.72/600.75	c (0,0) c Imported_2 : 0
640.72/600.75	c (0,0) c Imported_3 : 0
640.72/600.75	c (0,0) c Imported_4 : 0
640.72/600.75	c (0,0) c Imported_5 : 0
640.72/600.75	c (0,0) c Imported_6 : 0
640.72/600.75	c (0,0) c Imported_7 : 0
640.72/600.75	c (0,0) c Imported_total : 0
640.72/600.75	c (0,0) c Imported_winner : 0
640.72/600.75	c (0,0) c Good_0 : 0
640.72/600.75	c (0,0) c Good_1 : 0
640.72/600.75	c (0,0) c Good_2 : 0
640.72/600.75	c (0,0) c Good_3 : 0
640.72/600.75	c (0,0) c Good_4 : 0
640.72/600.75	c (0,0) c Good_5 : 0
640.72/600.75	c (0,0) c Good_6 : 0
640.72/600.75	c (0,0) c Good_7 : 0
640.72/600.75	c (0,0) c Good_total : 0
640.72/600.75	c (0,0) c Good_winner : 0
640.72/600.75	c (0,0) c Purge_0 : 0
640.72/600.75	c (0,0) c Purge_1 : 0
640.72/600.75	c (0,0) c Purge_2 : 0
640.72/600.75	c (0,0) c Purge_3 : 0
640.72/600.75	c (0,0) c Purge_4 : 0
640.72/600.75	c (0,0) c Purge_5 : 0
640.72/600.75	c (0,0) c Purge_6 : 0
640.72/600.75	c (0,0) c Purge_7 : 0
640.72/600.75	c (0,0) c Purge_total : 0
640.72/600.75	c (0,0) c Purge_winner : 0
640.72/600.75	c (0,0) c Promoted_0 : 0
640.72/600.75	c (0,0) c Promoted_1 : 0
640.72/600.75	c (0,0) c Promoted_2 : 0
640.72/600.75	c (0,0) c Promoted_3 : 0
640.72/600.75	c (0,0) c Promoted_4 : 0
640.72/600.75	c (0,0) c Promoted_5 : 0
640.72/600.75	c (0,0) c Promoted_6 : 0
640.72/600.75	c (0,0) c Promoted_7 : 0
640.72/600.75	c (0,0) c Promoted_total : 0
640.72/600.75	c (0,0) c Promoted_winner : 0
640.72/600.75	c (0,0) c Remove_Imp_0 : 0
640.72/600.75	c (0,0) c Remove_Imp_1 : 0
640.72/600.75	c (0,0) c Remove_Imp_2 : 0
640.72/600.75	c (0,0) c Remove_Imp_3 : 0
640.72/600.75	c (0,0) c Remove_Imp_4 : 0
640.72/600.75	c (0,0) c Remove_Imp_5 : 0
640.72/600.75	c (0,0) c Remove_Imp_6 : 0
640.72/600.75	c (0,0) c Remove_Imp_7 : 0
640.72/600.75	c (0,0) c Remove_Imp_total : 0
640.72/600.75	c (0,0) c Remove_Imp_winner : 0
640.72/600.75	c (0,0) c Blocked_Reuse_0 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_1 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_2 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_3 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_4 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_5 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_6 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_7 : 0
640.72/600.75	c (0,0) c Blocked_Reuse_total : 0
640.72/600.75	c (0,0) c Blocked_Reuse_winner : 0
640.72/600.75	c (0,0) c Unaries_0 : 13
640.72/600.75	c (0,0) c Unaries_1 : 3
640.72/600.75	c (0,0) c Unaries_2 : 5
640.72/600.75	c (0,0) c Unaries_3 : 16
640.72/600.75	c (0,0) c Unaries_4 : 3
640.72/600.75	c (0,0) c Unaries_5 : 5
640.72/600.75	c (0,0) c Unaries_6 : 5
640.72/600.75	c (0,0) c Unaries_7 : 1
640.72/600.75	c (0,0) c Unaries_total : 51
640.72/600.75	c (0,0) c Unaries_winner : 13
640.72/600.75	c (0,0) c Binaries_0 : 35
640.72/600.75	c (0,0) c Binaries_1 : 22
640.72/600.75	c (0,0) c Binaries_2 : 11
640.72/600.75	c (0,0) c Binaries_3 : 15
640.72/600.75	c (0,0) c Binaries_4 : 22
640.72/600.75	c (0,0) c Binaries_5 : 19
640.72/600.75	c (0,0) c Binaries_6 : 18
640.72/600.75	c (0,0) c Binaries_7 : 17
640.72/600.75	c (0,0) c Binaries_total : 159
640.72/600.75	c (0,0) c Binaries_winner : 35
640.72/600.75	c (0,0) c Glues_0 : 80
640.72/600.75	c (0,0) c Glues_1 : 32
640.72/600.75	c (0,0) c Glues_2 : 26
640.72/600.75	c (0,0) c Glues_3 : 25
640.72/600.75	c (0,0) c Glues_4 : 32
640.72/600.75	c (0,0) c Glues_5 : 40
640.72/600.75	c (0,0) c Glues_6 : 39
640.72/600.75	c (0,0) c Glues_7 : 36
640.72/600.75	c (0,0) c Glues_total : 310
640.72/600.75	c (0,0) c Glues_winner : 80
640.72/600.75	c (0,0) c RunningTime_0 : 0.024040
640.72/600.75	c (0,0) c RunningTime_1 : 0.023081
640.72/600.75	c (0,0) c RunningTime_2 : 0.019171
640.72/600.75	c (0,0) c RunningTime_3 : 0.021375
640.72/600.75	c (0,0) c RunningTime_4 : 0.019164
640.72/600.75	c (0,0) c RunningTime_5 : 0.021775
640.72/600.75	c (0,0) c RunningTime_6 : 0.023365
640.72/600.75	c (0,0) c RunningTime_7 : 0.021333
640.72/600.75	c (0,0) c RunningTime_total : 0.173304
640.72/600.75	c (0,0) c RunningTime_winner : 0.024040
640.72/600.75	c (0,0) c WaitingTime_0 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_1 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_2 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_3 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_4 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_5 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_6 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_7 : 0.000000
640.72/600.75	c (0,0) c WaitingTime_total : 0.000000
640.72/600.75	c (0,0) c WaitingTime_winner : 0.000000
640.72/600.75	c (0,0) c ExchangingTime_0 : 0.000054
640.72/600.75	c (0,0) c ExchangingTime_1 : 0.000017
640.72/600.75	c (0,0) c ExchangingTime_2 : 0.000022
640.72/600.75	c (0,0) c ExchangingTime_3 : 0.000014
640.72/600.75	c (0,0) c ExchangingTime_4 : 0.000021
640.72/600.75	c (0,0) c ExchangingTime_5 : 0.000034
640.72/600.75	c (0,0) c ExchangingTime_6 : 0.000026
640.72/600.75	c (0,0) c ExchangingTime_7 : 0.000024
640.72/600.75	c (0,0) c ExchangingTime_total : 0.000211
640.72/600.75	c (0,0) c ExchangingTime_winner : 0.000054
640.72/600.75	c (0,0) c PeriodProcTime_0 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_1 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_2 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_3 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_4 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_5 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_6 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_7 : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_total : 0.000000
640.72/600.75	c (0,0) c PeriodProcTime_winner : 0.000000
640.72/600.75	c (0,0) c SolvingTime_0 : 0.024093
640.72/600.75	c (0,0) c SolvingTime_1 : 0.023098
640.72/600.75	c (0,0) c SolvingTime_2 : 0.019193
640.72/600.75	c (0,0) c SolvingTime_3 : 0.021389
640.72/600.75	c (0,0) c SolvingTime_4 : 0.019185
640.72/600.75	c (0,0) c SolvingTime_5 : 0.021809
640.72/600.75	c (0,0) c SolvingTime_6 : 0.023391
640.72/600.75	c (0,0) c SolvingTime_7 : 0.021357
640.72/600.75	c (0,0) c SolvingTime_total : 0.173515
640.72/600.75	c (0,0) c SolvingTime_winner : 0.024093
640.72/600.75	c (0,0) c PropagationTime_0 : 0.022040
640.72/600.75	c (0,0) c PropagationTime_1 : 0.021930
640.72/600.75	c (0,0) c PropagationTime_2 : 0.018007
640.72/600.75	c (0,0) c PropagationTime_3 : 0.020468
640.72/600.75	c (0,0) c PropagationTime_4 : 0.018109
640.72/600.75	c (0,0) c PropagationTime_5 : 0.020597
640.72/600.75	c (0,0) c PropagationTime_6 : 0.022047
640.72/600.75	c (0,0) c PropagationTime_7 : 0.020540
640.72/600.75	c (0,0) c PropagationTime_total : 0.163738
640.72/600.75	c (0,0) c PropagationTime_winner : 0.022040
640.72/600.75	c (0,0) c AnalysisTime_0 : 0.000813
640.72/600.75	c (0,0) c AnalysisTime_1 : 0.000348
640.72/600.75	c (0,0) c AnalysisTime_2 : 0.000358
640.72/600.75	c (0,0) c AnalysisTime_3 : 0.000372
640.72/600.75	c (0,0) c AnalysisTime_4 : 0.000286
640.72/600.75	c (0,0) c AnalysisTime_5 : 0.000502
640.72/600.75	c (0,0) c AnalysisTime_6 : 0.000618
640.72/600.75	c (0,0) c AnalysisTime_7 : 0.000331
640.72/600.75	c (0,0) c AnalysisTime_total : 0.003628
640.72/600.75	c (0,0) c AnalysisTime_winner : 0.000813
640.72/600.75	c (0,0) c ReductionTime_0 : 0.000000
640.72/600.75	c (0,0) c ReductionTime_1 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_2 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_3 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_4 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_5 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_6 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_7 : 0.000000
640.72/600.76	c (0,0) c ReductionTime_total : 0.000000
640.72/600.76	c (0,0) c ReductionTime_winner : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_0 : 0.000003
640.72/600.76	c (0,0) c SimplifyTime_1 : 0.000001
640.72/600.76	c (0,0) c SimplifyTime_2 : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_3 : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_4 : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_5 : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_6 : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_7 : 0.000000
640.72/600.76	c (0,0) c SimplifyTime_total : 0.000004
640.72/600.76	c (0,0) c SimplifyTime_winner : 0.000003
640.72/600.76	c (0,0) c UsedRateTime_0 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_1 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_2 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_3 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_4 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_5 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_6 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_7 : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_total : 0.000000
640.72/600.76	c (0,0) c UsedRateTime_winner : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_0 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_1 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_2 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_3 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_4 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_5 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_6 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_7 : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_total : 0.000000
640.72/600.76	c (0,0) c OverlapRateTime_winner : 0.000000
640.72/600.76	c (0,0) c
640.72/600.76	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
640.72/600.76	c (0,0) c
640.72/600.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.76	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
640.72/600.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.76	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
640.72/600.76	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
640.72/600.76	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
640.72/600.76	c (0,0) c | Initial random_seed   | 1011920476 |  498693489 |  646637545 | 1804416624 |  571668708 | 1252004297 |  594016654 | 1561262086 |
640.72/600.76	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
640.72/600.76	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
640.72/600.76	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
640.72/600.76	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
640.72/600.76	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
640.72/600.76	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
640.72/600.76	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
640.72/600.76	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
640.72/600.76	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
640.72/600.76	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
640.72/600.76	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
640.72/600.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
640.72/600.76	c (0,0) 
640.72/600.76	c (0,0) s SATISFIABLE
640.72/600.79	c (0,0) SatSolver.solve End
640.72/600.79	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
640.72/600.79	c (0,0) Show results Begin
641.33/600.97	c (0,0) x[0][0] = 1
641.33/600.97	c (0,0) x[0][1] = 1
641.33/600.97	c (0,0) x[0][2] = 1
641.33/600.97	c (0,0) x[0][3] = 1
641.33/600.97	c (0,0) x[0][4] = 1
641.33/600.97	c (0,0) x[0][5] = 1
641.33/600.97	c (0,0) x[0][6] = 1
641.33/600.97	c (0,0) x[0][7] = 1
641.33/600.97	c (0,0) x[0][8] = 1
641.33/600.97	c (0,0) x[0][9] = 1
641.33/600.97	c (0,0) x[0][10] = 1
641.33/600.97	c (0,0) x[0][11] = 1
641.33/600.97	c (0,0) x[0][12] = 1
641.33/600.97	c (0,0) x[0][13] = 1
641.33/600.97	c (0,0) x[0][14] = 1
641.33/600.97	c (0,0) x[0][15] = 1
641.33/600.97	c (0,0) x[0][16] = 1
641.33/600.97	c (0,0) x[0][17] = 1
641.33/600.97	c (0,0) x[0][18] = 1
641.33/600.97	c (0,0) x[0][19] = 1
641.33/600.97	c (0,0) x[0][20] = 1
641.33/600.97	c (0,0) x[0][21] = 1
641.33/600.97	c (0,0) x[0][22] = 1
641.33/600.97	c (0,0) x[0][23] = 1
641.33/600.97	c (0,0) x[0][24] = 1
641.33/600.97	c (0,0) x[0][25] = 1
641.33/600.97	c (0,0) x[0][26] = 1
641.33/600.97	c (0,0) x[0][27] = 1
641.33/600.97	c (0,0) x[0][28] = 1
641.33/600.97	c (0,0) x[0][29] = 1
641.33/600.97	c (0,0) x[0][30] = 1
641.33/600.97	c (0,0) x[0][31] = 1
641.33/600.97	c (0,0) x[1][0] = 1
641.33/600.97	c (0,0) x[1][1] = 0
641.33/600.97	c (0,0) x[1][2] = 0
641.33/600.97	c (0,0) x[1][3] = 0
641.33/600.97	c (0,0) x[1][4] = 0
641.33/600.97	c (0,0) x[1][5] = 0
641.33/600.97	c (0,0) x[1][6] = 0
641.33/600.97	c (0,0) x[1][7] = 0
641.33/600.97	c (0,0) x[1][8] = 0
641.33/600.98	c (0,0) x[1][9] = 1
641.33/600.98	c (0,0) x[1][10] = 0
641.33/600.98	c (0,0) x[1][11] = 0
641.33/600.98	c (0,0) x[1][12] = 1
641.33/600.98	c (0,0) x[1][13] = 0
641.33/600.98	c (0,0) x[1][14] = 0
641.33/600.98	c (0,0) x[1][15] = 0
641.33/600.98	c (0,0) x[1][16] = 0
641.33/600.98	c (0,0) x[1][17] = 1
641.33/600.98	c (0,0) x[1][18] = 0
641.33/600.98	c (0,0) x[1][19] = 0
641.33/600.98	c (0,0) x[1][20] = 0
641.33/600.98	c (0,0) x[1][21] = 1
641.33/600.98	c (0,0) x[1][22] = 0
641.33/600.98	c (0,0) x[1][23] = 0
641.33/600.98	c (0,0) x[1][24] = 0
641.33/600.98	c (0,0) x[1][25] = 0
641.33/600.98	c (0,0) x[1][26] = 0
641.33/600.98	c (0,0) x[1][27] = 1
641.33/600.98	c (0,0) x[1][28] = 0
641.33/600.98	c (0,0) x[1][29] = 0
641.33/600.98	c (0,0) x[1][30] = 0
641.33/600.98	c (0,0) x[1][31] = 1
641.33/600.98	c (0,0) x[2][0] = 1
641.33/600.98	c (0,0) x[2][1] = 0
641.33/600.98	c (0,0) x[2][2] = 0
641.33/600.98	c (0,0) x[2][3] = 0
641.33/600.98	c (0,0) x[2][4] = 0
641.33/600.98	c (0,0) x[2][5] = 0
641.33/600.98	c (0,0) x[2][6] = 0
641.33/600.98	c (0,0) x[2][7] = 1
641.33/600.98	c (0,0) x[2][8] = 1
641.33/600.98	c (0,0) x[2][9] = 1
641.33/600.98	c (0,0) x[2][10] = 0
641.33/600.98	c (0,0) x[2][11] = 0
641.33/600.98	c (0,0) x[2][12] = 1
641.33/600.98	c (0,0) x[2][13] = 1
641.33/600.98	c (0,0) x[2][14] = 0
641.33/600.98	c (0,0) x[2][15] = 0
641.33/600.98	c (0,0) x[2][16] = 0
641.33/600.98	c (0,0) x[2][17] = 1
641.33/600.98	c (0,0) x[2][18] = 0
641.33/600.98	c (0,0) x[2][19] = 0
641.33/600.98	c (0,0) x[2][20] = 0
641.33/600.98	c (0,0) x[2][21] = 1
641.33/600.99	c (0,0) x[2][22] = 0
641.33/600.99	c (0,0) x[2][23] = 0
641.33/600.99	c (0,0) x[2][24] = 0
641.33/600.99	c (0,0) x[2][25] = 0
641.33/600.99	c (0,0) x[2][26] = 0
641.33/600.99	c (0,0) x[2][27] = 1
641.33/600.99	c (0,0) x[2][28] = 0
641.33/600.99	c (0,0) x[2][29] = 0
641.33/600.99	c (0,0) x[2][30] = 0
641.33/600.99	c (0,0) x[2][31] = 1
641.33/600.99	c (0,0) x[3][0] = 1
641.33/600.99	c (0,0) x[3][1] = 0
641.33/600.99	c (0,0) x[3][2] = 0
641.33/600.99	c (0,0) x[3][3] = 0
641.33/600.99	c (0,0) x[3][4] = 0
641.33/600.99	c (0,0) x[3][5] = 0
641.33/600.99	c (0,0) x[3][6] = 0
641.33/600.99	c (0,0) x[3][7] = 1
641.33/600.99	c (0,0) x[3][8] = 0
641.33/600.99	c (0,0) x[3][9] = 0
641.33/600.99	c (0,0) x[3][10] = 0
641.33/600.99	c (0,0) x[3][11] = 0
641.33/600.99	c (0,0) x[3][12] = 0
641.33/600.99	c (0,0) x[3][13] = 1
641.33/600.99	c (0,0) x[3][14] = 0
641.33/600.99	c (0,0) x[3][15] = 0
641.33/600.99	c (0,0) x[3][16] = 1
641.33/600.99	c (0,0) x[3][17] = 1
641.33/600.99	c (0,0) x[3][18] = 0
641.33/600.99	c (0,0) x[3][19] = 0
641.33/600.99	c (0,0) x[3][20] = 1
641.33/600.99	c (0,0) x[3][21] = 1
641.33/600.99	c (0,0) x[3][22] = 1
641.33/600.99	c (0,0) x[3][23] = 1
641.33/600.99	c (0,0) x[3][24] = 0
641.33/600.99	c (0,0) x[3][25] = 0
641.33/600.99	c (0,0) x[3][26] = 1
641.33/600.99	c (0,0) x[3][27] = 1
641.33/600.99	c (0,0) x[3][28] = 0
641.33/600.99	c (0,0) x[3][29] = 0
641.33/600.99	c (0,0) x[3][30] = 0
641.33/600.99	c (0,0) x[3][31] = 1
641.33/600.99	c (0,0) x[4][0] = 1
641.33/600.99	c (0,0) x[4][1] = 0
641.33/600.99	c (0,0) x[4][2] = 0
641.33/600.99	c (0,0) x[4][3] = 1
641.33/600.99	c (0,0) x[4][4] = 1
641.33/600.99	c (0,0) x[4][5] = 1
641.33/600.99	c (0,0) x[4][6] = 1
641.33/600.99	c (0,0) x[4][7] = 1
641.33/600.99	c (0,0) x[4][8] = 0
641.33/600.99	c (0,0) x[4][9] = 0
641.33/600.99	c (0,0) x[4][10] = 0
641.33/600.99	c (0,0) x[4][11] = 1
641.33/600.99	c (0,0) x[4][12] = 1
641.33/600.99	c (0,0) x[4][13] = 1
641.33/600.99	c (0,0) x[4][14] = 0
641.33/600.99	c (0,0) x[4][15] = 0
641.33/600.99	c (0,0) x[4][16] = 1
641.33/600.99	c (0,0) x[4][17] = 0
641.33/600.99	c (0,0) x[4][18] = 0
641.33/600.99	c (0,0) x[4][19] = 0
641.33/600.99	c (0,0) x[4][20] = 1
641.33/600.99	c (0,0) x[4][21] = 0
641.33/600.99	c (0,0) x[4][22] = 0
641.33/600.99	c (0,0) x[4][23] = 1
641.33/600.99	c (0,0) x[4][24] = 0
641.33/600.99	c (0,0) x[4][25] = 0
641.33/600.99	c (0,0) x[4][26] = 1
641.33/600.99	c (0,0) x[4][27] = 0
641.33/600.99	c (0,0) x[4][28] = 0
641.33/600.99	c (0,0) x[4][29] = 0
641.33/600.99	c (0,0) x[4][30] = 0
641.33/600.99	c (0,0) x[4][31] = 1
641.33/600.99	c (0,0) x[5][0] = 1
641.33/600.99	c (0,0) x[5][1] = 1
641.33/600.99	c (0,0) x[5][2] = 1
641.33/600.99	c (0,0) x[5][3] = 1
641.33/600.99	c (0,0) x[5][4] = 0
641.33/600.99	c (0,0) x[5][5] = 0
641.33/600.99	c (0,0) x[5][6] = 0
641.33/600.99	c (0,0) x[5][7] = 1
641.33/600.99	c (0,0) x[5][8] = 1
641.33/600.99	c (0,0) x[5][9] = 0
641.33/600.99	c (0,0) x[5][10] = 0
641.33/600.99	c (0,0) x[5][11] = 1
641.33/600.99	c (0,0) x[5][12] = 0
641.33/600.99	c (0,0) x[5][13] = 1
641.33/600.99	c (0,0) x[5][14] = 1
641.33/600.99	c (0,0) x[5][15] = 1
641.33/600.99	c (0,0) x[5][16] = 1
641.33/600.99	c (0,0) x[5][17] = 1
641.33/600.99	c (0,0) x[5][18] = 1
641.33/600.99	c (0,0) x[5][19] = 1
641.33/600.99	c (0,0) x[5][20] = 1
641.33/600.99	c (0,0) x[5][21] = 0
641.33/600.99	c (0,0) x[5][22] = 0
641.33/600.99	c (0,0) x[5][23] = 1
641.33/600.99	c (0,0) x[5][24] = 1
641.33/600.99	c (0,0) x[5][25] = 1
641.33/600.99	c (0,0) x[5][26] = 1
641.33/600.99	c (0,0) x[5][27] = 1
641.33/600.99	c (0,0) x[5][28] = 1
641.33/600.99	c (0,0) x[5][29] = 1
641.33/600.99	c (0,0) x[5][30] = 0
641.33/600.99	c (0,0) x[5][31] = 1
641.33/600.99	c (0,0) x[6][0] = 1
641.33/600.99	c (0,0) x[6][1] = 0
641.33/600.99	c (0,0) x[6][2] = 0
641.33/600.99	c (0,0) x[6][3] = 1
641.33/600.99	c (0,0) x[6][4] = 0
641.33/600.99	c (0,0) x[6][5] = 0
641.33/600.99	c (0,0) x[6][6] = 0
641.33/600.99	c (0,0) x[6][7] = 0
641.33/600.99	c (0,0) x[6][8] = 1
641.33/600.99	c (0,0) x[6][9] = 0
641.33/600.99	c (0,0) x[6][10] = 0
641.33/600.99	c (0,0) x[6][11] = 1
641.33/600.99	c (0,0) x[6][12] = 0
641.33/600.99	c (0,0) x[6][13] = 0
641.33/600.99	c (0,0) x[6][14] = 0
641.33/600.99	c (0,0) x[6][15] = 0
641.33/600.99	c (0,0) x[6][16] = 0
641.33/600.99	c (0,0) x[6][17] = 1
641.33/600.99	c (0,0) x[6][18] = 0
641.33/600.99	c (0,0) x[6][19] = 0
641.33/600.99	c (0,0) x[6][20] = 0
641.33/600.99	c (0,0) x[6][21] = 0
641.33/600.99	c (0,0) x[6][22] = 0
641.33/600.99	c (0,0) x[6][23] = 0
641.33/600.99	c (0,0) x[6][24] = 1
641.33/600.99	c (0,0) x[6][25] = 0
641.33/600.99	c (0,0) x[6][26] = 0
641.33/600.99	c (0,0) x[6][27] = 0
641.33/600.99	c (0,0) x[6][28] = 0
641.33/600.99	c (0,0) x[6][29] = 1
641.33/600.99	c (0,0) x[6][30] = 1
641.33/600.99	c (0,0) x[6][31] = 1
641.33/600.99	c (0,0) x[7][0] = 1
641.33/600.99	c (0,0) x[7][1] = 0
641.33/600.99	c (0,0) x[7][2] = 0
641.33/600.99	c (0,0) x[7][3] = 1
641.33/600.99	c (0,0) x[7][4] = 1
641.33/600.99	c (0,0) x[7][5] = 1
641.33/600.99	c (0,0) x[7][6] = 1
641.33/600.99	c (0,0) x[7][7] = 1
641.33/600.99	c (0,0) x[7][8] = 1
641.33/600.99	c (0,0) x[7][9] = 0
641.33/600.99	c (0,0) x[7][10] = 0
641.33/600.99	c (0,0) x[7][11] = 1
641.33/600.99	c (0,0) x[7][12] = 1
641.33/600.99	c (0,0) x[7][13] = 1
641.33/600.99	c (0,0) x[7][14] = 1
641.33/600.99	c (0,0) x[7][15] = 0
641.33/600.99	c (0,0) x[7][16] = 0
641.33/600.99	c (0,0) x[7][17] = 1
641.33/600.99	c (0,0) x[7][18] = 0
641.33/600.99	c (0,0) x[7][19] = 0
641.33/600.99	c (0,0) x[7][20] = 0
641.33/600.99	c (0,0) x[7][21] = 0
641.33/600.99	c (0,0) x[7][22] = 0
641.33/600.99	c (0,0) x[7][23] = 0
641.33/600.99	c (0,0) x[7][24] = 1
641.33/600.99	c (0,0) x[7][25] = 1
641.33/600.99	c (0,0) x[7][26] = 1
641.33/600.99	c (0,0) x[7][27] = 0
641.33/600.99	c (0,0) x[7][28] = 0
641.33/600.99	c (0,0) x[7][29] = 0
641.33/600.99	c (0,0) x[7][30] = 0
641.33/600.99	c (0,0) x[7][31] = 1
641.33/600.99	c (0,0) x[8][0] = 1
641.33/600.99	c (0,0) x[8][1] = 0
641.33/600.99	c (0,0) x[8][2] = 0
641.33/600.99	c (0,0) x[8][3] = 0
641.33/600.99	c (0,0) x[8][4] = 0
641.33/600.99	c (0,0) x[8][5] = 1
641.33/600.99	c (0,0) x[8][6] = 0
641.33/600.99	c (0,0) x[8][7] = 0
641.33/600.99	c (0,0) x[8][8] = 1
641.33/600.99	c (0,0) x[8][9] = 1
641.33/600.99	c (0,0) x[8][10] = 1
641.33/600.99	c (0,0) x[8][11] = 1
641.33/600.99	c (0,0) x[8][12] = 0
641.33/600.99	c (0,0) x[8][13] = 0
641.33/600.99	c (0,0) x[8][14] = 1
641.33/600.99	c (0,0) x[8][15] = 0
641.33/600.99	c (0,0) x[8][16] = 0
641.33/600.99	c (0,0) x[8][17] = 1
641.33/600.99	c (0,0) x[8][18] = 0
641.33/600.99	c (0,0) x[8][19] = 0
641.33/600.99	c (0,0) x[8][20] = 0
641.33/600.99	c (0,0) x[8][21] = 0
641.33/600.99	c (0,0) x[8][22] = 0
641.33/600.99	c (0,0) x[8][23] = 0
641.33/600.99	c (0,0) x[8][24] = 0
641.33/600.99	c (0,0) x[8][25] = 0
641.33/600.99	c (0,0) x[8][26] = 1
641.33/600.99	c (0,0) x[8][27] = 0
641.33/600.99	c (0,0) x[8][28] = 0
641.33/600.99	c (0,0) x[8][29] = 0
641.33/600.99	c (0,0) x[8][30] = 0
641.33/600.99	c (0,0) x[8][31] = 1
641.33/600.99	c (0,0) x[9][0] = 1
641.33/600.99	c (0,0) x[9][1] = 0
641.33/600.99	c (0,0) x[9][2] = 0
641.33/600.99	c (0,0) x[9][3] = 0
641.33/600.99	c (0,0) x[9][4] = 0
641.33/600.99	c (0,0) x[9][5] = 1
641.33/600.99	c (0,0) x[9][6] = 0
641.33/600.99	c (0,0) x[9][7] = 0
641.33/600.99	c (0,0) x[9][8] = 0
641.33/600.99	c (0,0) x[9][9] = 0
641.33/600.99	c (0,0) x[9][10] = 0
641.33/600.99	c (0,0) x[9][11] = 1
641.33/600.99	c (0,0) x[9][12] = 0
641.33/600.99	c (0,0) x[9][13] = 0
641.33/600.99	c (0,0) x[9][14] = 1
641.33/600.99	c (0,0) x[9][15] = 1
641.33/600.99	c (0,0) x[9][16] = 1
641.33/600.99	c (0,0) x[9][17] = 1
641.33/600.99	c (0,0) x[9][18] = 0
641.33/600.99	c (0,0) x[9][19] = 0
641.33/600.99	c (0,0) x[9][20] = 0
641.33/600.99	c (0,0) x[9][21] = 0
641.33/600.99	c (0,0) x[9][22] = 0
641.33/600.99	c (0,0) x[9][23] = 0
641.33/600.99	c (0,0) x[9][24] = 0
641.33/600.99	c (0,0) x[9][25] = 0
641.33/600.99	c (0,0) x[9][26] = 1
641.33/600.99	c (0,0) x[9][27] = 1
641.33/600.99	c (0,0) x[9][28] = 1
641.33/600.99	c (0,0) x[9][29] = 1
641.33/600.99	c (0,0) x[9][30] = 0
641.33/600.99	c (0,0) x[9][31] = 1
641.33/600.99	c (0,0) x[10][0] = 1
641.33/600.99	c (0,0) x[10][1] = 1
641.33/600.99	c (0,0) x[10][2] = 1
641.33/600.99	c (0,0) x[10][3] = 1
641.33/600.99	c (0,0) x[10][4] = 1
641.33/600.99	c (0,0) x[10][5] = 1
641.33/600.99	c (0,0) x[10][6] = 0
641.33/600.99	c (0,0) x[10][7] = 0
641.33/600.99	c (0,0) x[10][8] = 0
641.33/600.99	c (0,0) x[10][9] = 0
641.33/600.99	c (0,0) x[10][10] = 0
641.33/600.99	c (0,0) x[10][11] = 1
641.33/600.99	c (0,0) x[10][12] = 1
641.33/600.99	c (0,0) x[10][13] = 0
641.33/600.99	c (0,0) x[10][14] = 0
641.33/600.99	c (0,0) x[10][15] = 0
641.33/600.99	c (0,0) x[10][16] = 0
641.33/600.99	c (0,0) x[10][17] = 0
641.33/600.99	c (0,0) x[10][18] = 0
641.33/600.99	c (0,0) x[10][19] = 0
641.33/600.99	c (0,0) x[10][20] = 0
641.33/600.99	c (0,0) x[10][21] = 0
641.33/600.99	c (0,0) x[10][22] = 0
641.33/600.99	c (0,0) x[10][23] = 0
641.33/600.99	c (0,0) x[10][24] = 0
641.33/600.99	c (0,0) x[10][25] = 0
641.33/600.99	c (0,0) x[10][26] = 0
641.33/600.99	c (0,0) x[10][27] = 0
641.33/600.99	c (0,0) x[10][28] = 0
641.33/600.99	c (0,0) x[10][29] = 1
641.33/600.99	c (0,0) x[10][30] = 0
641.33/600.99	c (0,0) x[10][31] = 1
641.33/600.99	c (0,0) x[11][0] = 1
641.33/600.99	c (0,0) x[11][1] = 0
641.33/600.99	c (0,0) x[11][2] = 0
641.33/600.99	c (0,0) x[11][3] = 0
641.33/600.99	c (0,0) x[11][4] = 0
641.33/600.99	c (0,0) x[11][5] = 1
641.33/600.99	c (0,0) x[11][6] = 1
641.33/600.99	c (0,0) x[11][7] = 1
641.33/600.99	c (0,0) x[11][8] = 1
641.33/600.99	c (0,0) x[11][9] = 0
641.33/600.99	c (0,0) x[11][10] = 0
641.33/600.99	c (0,0) x[11][11] = 0
641.33/600.99	c (0,0) x[11][12] = 1
641.33/600.99	c (0,0) x[11][13] = 0
641.33/600.99	c (0,0) x[11][14] = 0
641.33/600.99	c (0,0) x[11][15] = 0
641.33/600.99	c (0,0) x[11][16] = 0
641.33/600.99	c (0,0) x[11][17] = 0
641.33/600.99	c (0,0) x[11][18] = 0
641.33/600.99	c (0,0) x[11][19] = 0
641.33/600.99	c (0,0) x[11][20] = 0
641.33/600.99	c (0,0) x[11][21] = 0
641.33/600.99	c (0,0) x[11][22] = 0
641.33/600.99	c (0,0) x[11][23] = 0
641.33/600.99	c (0,0) x[11][24] = 0
641.33/600.99	c (0,0) x[11][25] = 0
641.33/600.99	c (0,0) x[11][26] = 0
641.33/600.99	c (0,0) x[11][27] = 0
641.33/600.99	c (0,0) x[11][28] = 0
641.33/600.99	c (0,0) x[11][29] = 1
641.33/600.99	c (0,0) x[11][30] = 1
641.33/600.99	c (0,0) x[11][31] = 1
641.33/600.99	c (0,0) x[12][0] = 1
641.33/600.99	c (0,0) x[12][1] = 0
641.33/600.99	c (0,0) x[12][2] = 0
641.33/600.99	c (0,0) x[12][3] = 0
641.33/600.99	c (0,0) x[12][4] = 0
641.33/600.99	c (0,0) x[12][5] = 0
641.33/600.99	c (0,0) x[12][6] = 0
641.33/600.99	c (0,0) x[12][7] = 0
641.33/600.99	c (0,0) x[12][8] = 1
641.33/600.99	c (0,0) x[12][9] = 1
641.33/600.99	c (0,0) x[12][10] = 1
641.33/600.99	c (0,0) x[12][11] = 1
641.33/600.99	c (0,0) x[12][12] = 1
641.33/600.99	c (0,0) x[12][13] = 0
641.33/600.99	c (0,0) x[12][14] = 0
641.33/600.99	c (0,0) x[12][15] = 0
641.33/600.99	c (0,0) x[12][16] = 0
641.33/600.99	c (0,0) x[12][17] = 0
641.33/600.99	c (0,0) x[12][18] = 0
641.33/600.99	c (0,0) x[12][19] = 0
641.33/600.99	c (0,0) x[12][20] = 0
641.33/600.99	c (0,0) x[12][21] = 0
641.33/600.99	c (0,0) x[12][22] = 0
641.33/600.99	c (0,0) x[12][23] = 0
641.33/600.99	c (0,0) x[12][24] = 0
641.33/600.99	c (0,0) x[12][25] = 0
641.33/600.99	c (0,0) x[12][26] = 0
641.33/600.99	c (0,0) x[12][27] = 0
641.33/600.99	c (0,0) x[12][28] = 0
641.33/600.99	c (0,0) x[12][29] = 0
641.33/600.99	c (0,0) x[12][30] = 0
641.33/600.99	c (0,0) x[12][31] = 0
641.33/600.99	c (0,0) x[13][0] = 1
641.33/600.99	c (0,0) x[13][1] = 0
641.33/600.99	c (0,0) x[13][2] = 0
641.33/600.99	c (0,0) x[13][3] = 1
641.33/600.99	c (0,0) x[13][4] = 1
641.33/600.99	c (0,0) x[13][5] = 1
641.33/600.99	c (0,0) x[13][6] = 0
641.33/600.99	c (0,0) x[13][7] = 0
641.33/600.99	c (0,0) x[13][8] = 1
641.33/600.99	c (0,0) x[13][9] = 0
641.33/600.99	c (0,0) x[13][10] = 0
641.33/600.99	c (0,0) x[13][11] = 0
641.33/600.99	c (0,0) x[13][12] = 0
641.33/600.99	c (0,0) x[13][13] = 0
641.33/600.99	c (0,0) x[13][14] = 0
641.33/600.99	c (0,0) x[13][15] = 0
641.33/600.99	c (0,0) x[13][16] = 0
641.33/600.99	c (0,0) x[13][17] = 0
641.33/600.99	c (0,0) x[13][18] = 0
641.33/600.99	c (0,0) x[13][19] = 0
641.33/600.99	c (0,0) x[13][20] = 0
641.33/600.99	c (0,0) x[13][21] = 0
641.33/600.99	c (0,0) x[13][22] = 0
641.33/600.99	c (0,0) x[13][23] = 0
641.33/600.99	c (0,0) x[13][24] = 0
641.33/600.99	c (0,0) x[13][25] = 0
641.33/600.99	c (0,0) x[13][26] = 0
641.33/600.99	c (0,0) x[13][27] = 0
641.33/600.99	c (0,0) x[13][28] = 0
641.33/600.99	c (0,0) x[13][29] = 0
641.33/600.99	c (0,0) x[13][30] = 0
641.33/600.99	c (0,0) x[13][31] = 0
641.33/600.99	c (0,0) x[14][0] = 1
641.33/600.99	c (0,0) x[14][1] = 0
641.33/600.99	c (0,0) x[14][2] = 0
641.33/600.99	c (0,0) x[14][3] = 1
641.33/600.99	c (0,0) x[14][4] = 0
641.33/600.99	c (0,0) x[14][5] = 1
641.33/600.99	c (0,0) x[14][6] = 0
641.33/600.99	c (0,0) x[14][7] = 0
641.33/600.99	c (0,0) x[14][8] = 1
641.33/600.99	c (0,0) x[14][9] = 0
641.33/600.99	c (0,0) x[14][10] = 0
641.33/600.99	c (0,0) x[14][11] = 0
641.33/600.99	c (0,0) x[14][12] = 0
641.33/600.99	c (0,0) x[14][13] = 0
641.33/600.99	c (0,0) x[14][14] = 0
641.33/600.99	c (0,0) x[14][15] = 0
641.33/600.99	c (0,0) x[14][16] = 0
641.33/600.99	c (0,0) x[14][17] = 1
641.33/600.99	c (0,0) x[14][18] = 1
641.33/600.99	c (0,0) x[14][19] = 1
641.33/600.99	c (0,0) x[14][20] = 1
641.33/600.99	c (0,0) x[14][21] = 1
641.33/600.99	c (0,0) x[14][22] = 1
641.33/600.99	c (0,0) x[14][23] = 1
641.33/600.99	c (0,0) x[14][24] = 0
641.33/600.99	c (0,0) x[14][25] = 0
641.33/600.99	c (0,0) x[14][26] = 0
641.33/600.99	c (0,0) x[14][27] = 0
641.33/600.99	c (0,0) x[14][28] = 0
641.33/600.99	c (0,0) x[14][29] = 0
641.33/600.99	c (0,0) x[14][30] = 0
641.33/600.99	c (0,0) x[14][31] = 0
641.33/600.99	c (0,0) x[15][0] = 1
641.33/600.99	c (0,0) x[15][1] = 1
641.33/600.99	c (0,0) x[15][2] = 1
641.33/600.99	c (0,0) x[15][3] = 1
641.33/600.99	c (0,0) x[15][4] = 0
641.33/600.99	c (0,0) x[15][5] = 1
641.33/600.99	c (0,0) x[15][6] = 1
641.33/600.99	c (0,0) x[15][7] = 1
641.33/600.99	c (0,0) x[15][8] = 1
641.33/600.99	c (0,0) x[15][9] = 1
641.33/600.99	c (0,0) x[15][10] = 1
641.33/600.99	c (0,0) x[15][11] = 1
641.33/600.99	c (0,0) x[15][12] = 1
641.33/600.99	c (0,0) x[15][13] = 0
641.33/600.99	c (0,0) x[15][14] = 0
641.33/600.99	c (0,0) x[15][15] = 0
641.33/600.99	c (0,0) x[15][16] = 1
641.33/600.99	c (0,0) x[15][17] = 1
641.33/600.99	c (0,0) x[15][18] = 0
641.33/600.99	c (0,0) x[15][19] = 0
641.33/600.99	c (0,0) x[15][20] = 0
641.33/600.99	c (0,0) x[15][21] = 0
641.33/600.99	c (0,0) x[15][22] = 0
641.33/600.99	c (0,0) x[15][23] = 1
641.33/600.99	c (0,0) x[15][24] = 1
641.33/600.99	c (0,0) x[15][25] = 0
641.33/600.99	c (0,0) x[15][26] = 0
641.33/600.99	c (0,0) x[15][27] = 0
641.33/600.99	c (0,0) x[15][28] = 0
641.33/600.99	c (0,0) x[15][29] = 0
641.33/600.99	c (0,0) x[15][30] = 0
641.33/600.99	c (0,0) x[15][31] = 0
641.33/600.99	c (0,0) x[16][0] = 1
641.33/600.99	c (0,0) x[16][1] = 0
641.33/600.99	c (0,0) x[16][2] = 0
641.33/600.99	c (0,0) x[16][3] = 0
641.33/600.99	c (0,0) x[16][4] = 0
641.33/600.99	c (0,0) x[16][5] = 0
641.33/600.99	c (0,0) x[16][6] = 0
641.33/600.99	c (0,0) x[16][7] = 0
641.33/600.99	c (0,0) x[16][8] = 1
641.33/600.99	c (0,0) x[16][9] = 0
641.33/600.99	c (0,0) x[16][10] = 0
641.33/600.99	c (0,0) x[16][11] = 0
641.33/600.99	c (0,0) x[16][12] = 1
641.33/600.99	c (0,0) x[16][13] = 0
641.33/600.99	c (0,0) x[16][14] = 0
641.33/600.99	c (0,0) x[16][15] = 1
641.33/600.99	c (0,0) x[16][16] = 1
641.33/600.99	c (0,0) x[16][17] = 0
641.33/600.99	c (0,0) x[16][18] = 0
641.33/600.99	c (0,0) x[16][19] = 0
641.33/600.99	c (0,0) x[16][20] = 0
641.33/600.99	c (0,0) x[16][21] = 0
641.33/600.99	c (0,0) x[16][22] = 0
641.33/600.99	c (0,0) x[16][23] = 0
641.33/600.99	c (0,0) x[16][24] = 1
641.33/600.99	c (0,0) x[16][25] = 1
641.33/600.99	c (0,0) x[16][26] = 0
641.33/600.99	c (0,0) x[16][27] = 0
641.33/600.99	c (0,0) x[16][28] = 0
641.33/600.99	c (0,0) x[16][29] = 0
641.33/600.99	c (0,0) x[16][30] = 0
641.33/600.99	c (0,0) x[16][31] = 0
641.33/600.99	c (0,0) x[17][0] = 1
641.33/600.99	c (0,0) x[17][1] = 0
641.33/600.99	c (0,0) x[17][2] = 0
641.33/600.99	c (0,0) x[17][3] = 0
641.33/600.99	c (0,0) x[17][4] = 0
641.33/600.99	c (0,0) x[17][5] = 0
641.33/600.99	c (0,0) x[17][6] = 0
641.33/600.99	c (0,0) x[17][7] = 0
641.33/600.99	c (0,0) x[17][8] = 1
641.33/600.99	c (0,0) x[17][9] = 0
641.33/600.99	c (0,0) x[17][10] = 1
641.33/600.99	c (0,0) x[17][11] = 1
641.33/600.99	c (0,0) x[17][12] = 1
641.33/600.99	c (0,0) x[17][13] = 1
641.33/600.99	c (0,0) x[17][14] = 1
641.33/600.99	c (0,0) x[17][15] = 1
641.33/600.99	c (0,0) x[17][16] = 0
641.33/600.99	c (0,0) x[17][17] = 0
641.33/600.99	c (0,0) x[17][18] = 1
641.33/600.99	c (0,0) x[17][19] = 1
641.33/600.99	c (0,0) x[17][20] = 0
641.33/600.99	c (0,0) x[17][21] = 0
641.33/600.99	c (0,0) x[17][22] = 0
641.33/600.99	c (0,0) x[17][23] = 0
641.33/600.99	c (0,0) x[17][24] = 0
641.33/600.99	c (0,0) x[17][25] = 1
641.33/600.99	c (0,0) x[17][26] = 1
641.33/600.99	c (0,0) x[17][27] = 0
641.33/600.99	c (0,0) x[17][28] = 0
641.33/600.99	c (0,0) x[17][29] = 0
641.33/600.99	c (0,0) x[17][30] = 0
641.33/600.99	c (0,0) x[17][31] = 0
641.33/600.99	c (0,0) x[18][0] = 1
641.33/600.99	c (0,0) x[18][1] = 1
641.33/600.99	c (0,0) x[18][2] = 1
641.33/600.99	c (0,0) x[18][3] = 0
641.33/600.99	c (0,0) x[18][4] = 0
641.33/600.99	c (0,0) x[18][5] = 1
641.33/600.99	c (0,0) x[18][6] = 1
641.33/600.99	c (0,0) x[18][7] = 1
641.33/600.99	c (0,0) x[18][8] = 1
641.33/600.99	c (0,0) x[18][9] = 0
641.33/600.99	c (0,0) x[18][10] = 1
641.33/600.99	c (0,0) x[18][11] = 0
641.33/600.99	c (0,0) x[18][12] = 0
641.33/600.99	c (0,0) x[18][13] = 0
641.33/600.99	c (0,0) x[18][14] = 0
641.33/600.99	c (0,0) x[18][15] = 1
641.33/600.99	c (0,0) x[18][16] = 1
641.33/600.99	c (0,0) x[18][17] = 1
641.33/600.99	c (0,0) x[18][18] = 1
641.33/600.99	c (0,0) x[18][19] = 1
641.33/600.99	c (0,0) x[18][20] = 1
641.33/600.99	c (0,0) x[18][21] = 0
641.33/600.99	c (0,0) x[18][22] = 0
641.33/600.99	c (0,0) x[18][23] = 0
641.33/600.99	c (0,0) x[18][24] = 0
641.33/600.99	c (0,0) x[18][25] = 0
641.33/600.99	c (0,0) x[18][26] = 1
641.33/600.99	c (0,0) x[18][27] = 1
641.33/600.99	c (0,0) x[18][28] = 0
641.33/600.99	c (0,0) x[18][29] = 0
641.33/600.99	c (0,0) x[18][30] = 0
641.33/600.99	c (0,0) x[18][31] = 0
641.33/600.99	c (0,0) x[19][0] = 1
641.33/600.99	c (0,0) x[19][1] = 0
641.33/600.99	c (0,0) x[19][2] = 1
641.33/600.99	c (0,0) x[19][3] = 0
641.33/600.99	c (0,0) x[19][4] = 0
641.33/600.99	c (0,0) x[19][5] = 1
641.33/600.99	c (0,0) x[19][6] = 0
641.33/600.99	c (0,0) x[19][7] = 1
641.33/600.99	c (0,0) x[19][8] = 0
641.33/600.99	c (0,0) x[19][9] = 0
641.33/600.99	c (0,0) x[19][10] = 1
641.33/600.99	c (0,0) x[19][11] = 1
641.33/600.99	c (0,0) x[19][12] = 1
641.33/600.99	c (0,0) x[19][13] = 1
641.33/600.99	c (0,0) x[19][14] = 1
641.33/600.99	c (0,0) x[19][15] = 1
641.33/600.99	c (0,0) x[19][16] = 0
641.33/600.99	c (0,0) x[19][17] = 1
641.33/600.99	c (0,0) x[19][18] = 1
641.33/600.99	c (0,0) x[19][19] = 1
641.33/600.99	c (0,0) x[19][20] = 1
641.33/600.99	c (0,0) x[19][21] = 0
641.33/600.99	c (0,0) x[19][22] = 0
641.33/600.99	c (0,0) x[19][23] = 0
641.33/600.99	c (0,0) x[19][24] = 0
641.33/600.99	c (0,0) x[19][25] = 0
641.33/600.99	c (0,0) x[19][26] = 0
641.33/600.99	c (0,0) x[19][27] = 1
641.33/600.99	c (0,0) x[19][28] = 1
641.33/600.99	c (0,0) x[19][29] = 1
641.33/600.99	c (0,0) x[19][30] = 1
641.33/600.99	c (0,0) x[19][31] = 1
641.33/600.99	c (0,0) x[20][0] = 1
641.33/600.99	c (0,0) x[20][1] = 0
641.33/600.99	c (0,0) x[20][2] = 1
641.33/600.99	c (0,0) x[20][3] = 1
641.33/600.99	c (0,0) x[20][4] = 1
641.33/600.99	c (0,0) x[20][5] = 1
641.33/600.99	c (0,0) x[20][6] = 0
641.33/600.99	c (0,0) x[20][7] = 1
641.33/600.99	c (0,0) x[20][8] = 0
641.33/600.99	c (0,0) x[20][9] = 0
641.33/600.99	c (0,0) x[20][10] = 0
641.33/600.99	c (0,0) x[20][11] = 0
641.33/600.99	c (0,0) x[20][12] = 1
641.33/600.99	c (0,0) x[20][13] = 0
641.33/600.99	c (0,0) x[20][14] = 1
641.33/600.99	c (0,0) x[20][15] = 0
641.33/600.99	c (0,0) x[20][16] = 0
641.33/600.99	c (0,0) x[20][17] = 0
641.33/600.99	c (0,0) x[20][18] = 1
641.33/600.99	c (0,0) x[20][19] = 1
641.33/600.99	c (0,0) x[20][20] = 0
641.33/600.99	c (0,0) x[20][21] = 0
641.33/600.99	c (0,0) x[20][22] = 0
641.33/600.99	c (0,0) x[20][23] = 0
641.33/600.99	c (0,0) x[20][24] = 0
641.33/600.99	c (0,0) x[20][25] = 0
641.33/600.99	c (0,0) x[20][26] = 0
641.33/600.99	c (0,0) x[20][27] = 0
641.33/600.99	c (0,0) x[20][28] = 0
641.33/600.99	c (0,0) x[20][29] = 1
641.33/600.99	c (0,0) x[20][30] = 1
641.33/600.99	c (0,0) x[20][31] = 1
641.33/600.99	c (0,0) x[21][0] = 1
641.33/600.99	c (0,0) x[21][1] = 0
641.33/600.99	c (0,0) x[21][2] = 0
641.33/600.99	c (0,0) x[21][3] = 0
641.33/600.99	c (0,0) x[21][4] = 0
641.33/600.99	c (0,0) x[21][5] = 0
641.33/600.99	c (0,0) x[21][6] = 0
641.33/600.99	c (0,0) x[21][7] = 1
641.33/600.99	c (0,0) x[21][8] = 1
641.33/600.99	c (0,0) x[21][9] = 1
641.33/600.99	c (0,0) x[21][10] = 1
641.33/600.99	c (0,0) x[21][11] = 1
641.33/600.99	c (0,0) x[21][12] = 1
641.33/600.99	c (0,0) x[21][13] = 0
641.33/600.99	c (0,0) x[21][14] = 1
641.33/600.99	c (0,0) x[21][15] = 1
641.33/600.99	c (0,0) x[21][16] = 0
641.33/600.99	c (0,0) x[21][17] = 0
641.33/600.99	c (0,0) x[21][18] = 0
641.33/600.99	c (0,0) x[21][19] = 0
641.33/600.99	c (0,0) x[21][20] = 0
641.33/600.99	c (0,0) x[21][21] = 0
641.33/600.99	c (0,0) x[21][22] = 0
641.33/600.99	c (0,0) x[21][23] = 0
641.33/600.99	c (0,0) x[21][24] = 0
641.33/600.99	c (0,0) x[21][25] = 0
641.33/600.99	c (0,0) x[21][26] = 0
641.33/600.99	c (0,0) x[21][27] = 0
641.33/600.99	c (0,0) x[21][28] = 0
641.33/600.99	c (0,0) x[21][29] = 1
641.33/600.99	c (0,0) x[21][30] = 1
641.33/600.99	c (0,0) x[21][31] = 1
641.33/600.99	c (0,0) x[22][0] = 1
641.33/600.99	c (0,0) x[22][1] = 0
641.33/600.99	c (0,0) x[22][2] = 0
641.33/600.99	c (0,0) x[22][3] = 0
641.33/600.99	c (0,0) x[22][4] = 0
641.33/600.99	c (0,0) x[22][5] = 0
641.33/600.99	c (0,0) x[22][6] = 1
641.33/600.99	c (0,0) x[22][7] = 1
641.33/600.99	c (0,0) x[22][8] = 0
641.33/600.99	c (0,0) x[22][9] = 0
641.33/600.99	c (0,0) x[22][10] = 0
641.33/600.99	c (0,0) x[22][11] = 0
641.33/600.99	c (0,0) x[22][12] = 0
641.33/600.99	c (0,0) x[22][13] = 0
641.33/600.99	c (0,0) x[22][14] = 0
641.33/600.99	c (0,0) x[22][15] = 1
641.33/600.99	c (0,0) x[22][16] = 1
641.33/600.99	c (0,0) x[22][17] = 0
641.33/600.99	c (0,0) x[22][18] = 0
641.33/600.99	c (0,0) x[22][19] = 0
641.33/600.99	c (0,0) x[22][20] = 0
641.33/600.99	c (0,0) x[22][21] = 0
641.33/600.99	c (0,0) x[22][22] = 0
641.33/600.99	c (0,0) x[22][23] = 0
641.33/600.99	c (0,0) x[22][24] = 0
641.33/600.99	c (0,0) x[22][25] = 0
641.33/600.99	c (0,0) x[22][26] = 0
641.33/600.99	c (0,0) x[22][27] = 0
641.33/600.99	c (0,0) x[22][28] = 0
641.33/600.99	c (0,0) x[22][29] = 1
641.33/600.99	c (0,0) x[22][30] = 1
641.33/600.99	c (0,0) x[22][31] = 1
641.33/600.99	c (0,0) x[23][0] = 1
641.33/600.99	c (0,0) x[23][1] = 0
641.33/600.99	c (0,0) x[23][2] = 0
641.33/600.99	c (0,0) x[23][3] = 1
641.33/600.99	c (0,0) x[23][4] = 1
641.33/600.99	c (0,0) x[23][5] = 1
641.33/600.99	c (0,0) x[23][6] = 1
641.33/600.99	c (0,0) x[23][7] = 0
641.33/600.99	c (0,0) x[23][8] = 0
641.33/600.99	c (0,0) x[23][9] = 0
641.33/600.99	c (0,0) x[23][10] = 0
641.33/600.99	c (0,0) x[23][11] = 0
641.33/600.99	c (0,0) x[23][12] = 0
641.33/600.99	c (0,0) x[23][13] = 0
641.33/600.99	c (0,0) x[23][14] = 0
641.33/600.99	c (0,0) x[23][15] = 0
641.33/600.99	c (0,0) x[23][16] = 1
641.33/600.99	c (0,0) x[23][17] = 1
641.33/600.99	c (0,0) x[23][18] = 1
641.33/600.99	c (0,0) x[23][19] = 0
641.33/600.99	c (0,0) x[23][20] = 0
641.33/600.99	c (0,0) x[23][21] = 0
641.33/600.99	c (0,0) x[23][22] = 0
641.33/600.99	c (0,0) x[23][23] = 0
641.33/600.99	c (0,0) x[23][24] = 0
641.33/600.99	c (0,0) x[23][25] = 0
641.33/600.99	c (0,0) x[23][26] = 0
641.33/600.99	c (0,0) x[23][27] = 0
641.33/600.99	c (0,0) x[23][28] = 0
641.33/600.99	c (0,0) x[23][29] = 1
641.33/600.99	c (0,0) x[23][30] = 1
641.33/600.99	c (0,0) x[23][31] = 1
641.33/600.99	c (0,0) x[24][0] = 1
641.33/600.99	c (0,0) x[24][1] = 0
641.33/600.99	c (0,0) x[24][2] = 0
641.33/600.99	c (0,0) x[24][3] = 1
641.33/600.99	c (0,0) x[24][4] = 0
641.33/600.99	c (0,0) x[24][5] = 0
641.33/600.99	c (0,0) x[24][6] = 1
641.33/600.99	c (0,0) x[24][7] = 0
641.33/600.99	c (0,0) x[24][8] = 0
641.33/600.99	c (0,0) x[24][9] = 0
641.33/600.99	c (0,0) x[24][10] = 0
641.33/600.99	c (0,0) x[24][11] = 0
641.33/600.99	c (0,0) x[24][12] = 0
641.33/600.99	c (0,0) x[24][13] = 0
641.33/600.99	c (0,0) x[24][14] = 0
641.33/600.99	c (0,0) x[24][15] = 0
641.33/600.99	c (0,0) x[24][16] = 0
641.33/600.99	c (0,0) x[24][17] = 0
641.33/600.99	c (0,0) x[24][18] = 1
641.33/600.99	c (0,0) x[24][19] = 1
641.33/600.99	c (0,0) x[24][20] = 1
641.33/600.99	c (0,0) x[24][21] = 1
641.33/600.99	c (0,0) x[24][22] = 1
641.33/600.99	c (0,0) x[24][23] = 1
641.33/600.99	c (0,0) x[24][24] = 1
641.33/600.99	c (0,0) x[24][25] = 1
641.33/600.99	c (0,0) x[24][26] = 1
641.33/600.99	c (0,0) x[24][27] = 0
641.33/600.99	c (0,0) x[24][28] = 0
641.33/600.99	c (0,0) x[24][29] = 1
641.33/600.99	c (0,0) x[24][30] = 1
641.33/600.99	c (0,0) x[24][31] = 1
641.33/600.99	c (0,0) x[25][0] = 1
641.33/600.99	c (0,0) x[25][1] = 1
641.33/600.99	c (0,0) x[25][2] = 1
641.33/600.99	c (0,0) x[25][3] = 1
641.33/600.99	c (0,0) x[25][4] = 0
641.33/600.99	c (0,0) x[25][5] = 0
641.33/600.99	c (0,0) x[25][6] = 1
641.33/600.99	c (0,0) x[25][7] = 1
641.33/600.99	c (0,0) x[25][8] = 1
641.33/600.99	c (0,0) x[25][9] = 1
641.33/600.99	c (0,0) x[25][10] = 0
641.33/600.99	c (0,0) x[25][11] = 0
641.33/600.99	c (0,0) x[25][12] = 1
641.33/600.99	c (0,0) x[25][13] = 1
641.33/600.99	c (0,0) x[25][14] = 1
641.33/600.99	c (0,0) x[25][15] = 0
641.33/600.99	c (0,0) x[25][16] = 0
641.33/600.99	c (0,0) x[25][17] = 0
641.33/600.99	c (0,0) x[25][18] = 0
641.33/600.99	c (0,0) x[25][19] = 0
641.33/600.99	c (0,0) x[25][20] = 0
641.33/600.99	c (0,0) x[25][21] = 0
641.33/600.99	c (0,0) x[25][22] = 0
641.33/600.99	c (0,0) x[25][23] = 0
641.33/600.99	c (0,0) x[25][24] = 0
641.33/600.99	c (0,0) x[25][25] = 0
641.33/600.99	c (0,0) x[25][26] = 1
641.33/600.99	c (0,0) x[25][27] = 1
641.33/600.99	c (0,0) x[25][28] = 1
641.33/600.99	c (0,0) x[25][29] = 1
641.33/600.99	c (0,0) x[25][30] = 1
641.33/600.99	c (0,0) x[25][31] = 1
641.33/600.99	c (0,0) x[26][0] = 1
641.33/600.99	c (0,0) x[26][1] = 0
641.33/600.99	c (0,0) x[26][2] = 0
641.33/600.99	c (0,0) x[26][3] = 1
641.33/600.99	c (0,0) x[26][4] = 0
641.33/600.99	c (0,0) x[26][5] = 0
641.33/600.99	c (0,0) x[26][6] = 0
641.33/600.99	c (0,0) x[26][7] = 0
641.33/600.99	c (0,0) x[26][8] = 0
641.33/600.99	c (0,0) x[26][9] = 1
641.33/600.99	c (0,0) x[26][10] = 0
641.33/600.99	c (0,0) x[26][11] = 0
641.33/600.99	c (0,0) x[26][12] = 1
641.33/600.99	c (0,0) x[26][13] = 0
641.33/600.99	c (0,0) x[26][14] = 1
641.33/600.99	c (0,0) x[26][15] = 0
641.33/600.99	c (0,0) x[26][16] = 0
641.33/600.99	c (0,0) x[26][17] = 0
641.33/600.99	c (0,0) x[26][18] = 0
641.33/600.99	c (0,0) x[26][19] = 0
641.33/600.99	c (0,0) x[26][20] = 0
641.33/600.99	c (0,0) x[26][21] = 0
641.33/600.99	c (0,0) x[26][22] = 0
641.33/600.99	c (0,0) x[26][23] = 0
641.33/600.99	c (0,0) x[26][24] = 0
641.33/600.99	c (0,0) x[26][25] = 0
641.33/600.99	c (0,0) x[26][26] = 0
641.33/600.99	c (0,0) x[26][27] = 0
641.33/600.99	c (0,0) x[26][28] = 1
641.33/600.99	c (0,0) x[26][29] = 1
641.33/600.99	c (0,0) x[26][30] = 1
641.33/600.99	c (0,0) x[26][31] = 1
641.33/600.99	c (0,0) x[27][0] = 1
641.33/600.99	c (0,0) x[27][1] = 0
641.33/600.99	c (0,0) x[27][2] = 0
641.33/600.99	c (0,0) x[27][3] = 1
641.33/600.99	c (0,0) x[27][4] = 1
641.33/600.99	c (0,0) x[27][5] = 1
641.33/600.99	c (0,0) x[27][6] = 0
641.33/600.99	c (0,0) x[27][7] = 0
641.33/600.99	c (0,0) x[27][8] = 1
641.33/600.99	c (0,0) x[27][9] = 1
641.33/600.99	c (0,0) x[27][10] = 1
641.33/600.99	c (0,0) x[27][11] = 0
641.33/600.99	c (0,0) x[27][12] = 1
641.33/600.99	c (0,0) x[27][13] = 0
641.33/600.99	c (0,0) x[27][14] = 1
641.33/600.99	c (0,0) x[27][15] = 0
641.33/600.99	c (0,0) x[27][16] = 0
641.33/600.99	c (0,0) x[27][17] = 0
641.33/600.99	c (0,0) x[27][18] = 0
641.33/600.99	c (0,0) x[27][19] = 0
641.33/600.99	c (0,0) x[27][20] = 0
641.33/600.99	c (0,0) x[27][21] = 0
641.33/600.99	c (0,0) x[27][22] = 0
641.33/600.99	c (0,0) x[27][23] = 0
641.33/600.99	c (0,0) x[27][24] = 0
641.33/600.99	c (0,0) x[27][25] = 0
641.33/600.99	c (0,0) x[27][26] = 0
641.33/600.99	c (0,0) x[27][27] = 0
641.33/600.99	c (0,0) x[27][28] = 0
641.33/600.99	c (0,0) x[27][29] = 0
641.33/600.99	c (0,0) x[27][30] = 0
641.33/600.99	c (0,0) x[27][31] = 0
641.33/600.99	c (0,0) x[28][0] = 1
641.33/600.99	c (0,0) x[28][1] = 0
641.33/600.99	c (0,0) x[28][2] = 0
641.33/600.99	c (0,0) x[28][3] = 0
641.33/600.99	c (0,0) x[28][4] = 0
641.33/600.99	c (0,0) x[28][5] = 1
641.33/600.99	c (0,0) x[28][6] = 0
641.33/600.99	c (0,0) x[28][7] = 0
641.33/600.99	c (0,0) x[28][8] = 1
641.33/600.99	c (0,0) x[28][9] = 0
641.33/600.99	c (0,0) x[28][10] = 1
641.33/600.99	c (0,0) x[28][11] = 0
641.33/600.99	c (0,0) x[28][12] = 1
641.33/600.99	c (0,0) x[28][13] = 0
641.33/600.99	c (0,0) x[28][14] = 1
641.33/600.99	c (0,0) x[28][15] = 0
641.33/600.99	c (0,0) x[28][16] = 0
641.33/600.99	c (0,0) x[28][17] = 0
641.33/600.99	c (0,0) x[28][18] = 0
641.33/600.99	c (0,0) x[28][19] = 0
641.33/600.99	c (0,0) x[28][20] = 0
641.33/600.99	c (0,0) x[28][21] = 0
641.33/600.99	c (0,0) x[28][22] = 0
641.33/600.99	c (0,0) x[28][23] = 0
641.33/600.99	c (0,0) x[28][24] = 0
641.33/600.99	c (0,0) x[28][25] = 0
641.33/600.99	c (0,0) x[28][26] = 0
641.33/600.99	c (0,0) x[28][27] = 0
641.33/600.99	c (0,0) x[28][28] = 0
641.33/600.99	c (0,0) x[28][29] = 0
641.33/600.99	c (0,0) x[28][30] = 0
641.33/600.99	c (0,0) x[28][31] = 0
641.33/600.99	c (0,0) x[29][0] = 1
641.33/600.99	c (0,0) x[29][1] = 0
641.33/600.99	c (0,0) x[29][2] = 0
641.33/600.99	c (0,0) x[29][3] = 0
641.33/600.99	c (0,0) x[29][4] = 0
641.33/600.99	c (0,0) x[29][5] = 1
641.33/600.99	c (0,0) x[29][6] = 1
641.33/600.99	c (0,0) x[29][7] = 1
641.33/600.99	c (0,0) x[29][8] = 1
641.33/600.99	c (0,0) x[29][9] = 0
641.33/600.99	c (0,0) x[29][10] = 1
641.33/600.99	c (0,0) x[29][11] = 1
641.33/600.99	c (0,0) x[29][12] = 1
641.33/600.99	c (0,0) x[29][13] = 0
641.33/600.99	c (0,0) x[29][14] = 1
641.33/600.99	c (0,0) x[29][15] = 1
641.33/600.99	c (0,0) x[29][16] = 1
641.33/600.99	c (0,0) x[29][17] = 0
641.33/600.99	c (0,0) x[29][18] = 0
641.33/600.99	c (0,0) x[29][19] = 0
641.33/600.99	c (0,0) x[29][20] = 0
641.33/600.99	c (0,0) x[29][21] = 0
641.33/600.99	c (0,0) x[29][22] = 0
641.33/600.99	c (0,0) x[29][23] = 0
641.33/600.99	c (0,0) x[29][24] = 0
641.33/600.99	c (0,0) x[29][25] = 0
641.33/600.99	c (0,0) x[29][26] = 0
641.33/600.99	c (0,0) x[29][27] = 0
641.33/600.99	c (0,0) x[29][28] = 0
641.33/600.99	c (0,0) x[29][29] = 0
641.33/600.99	c (0,0) x[29][30] = 0
641.33/600.99	c (0,0) x[29][31] = 0
641.33/600.99	c (0,0) x[30][0] = 1
641.33/600.99	c (0,0) x[30][1] = 0
641.33/600.99	c (0,0) x[30][2] = 0
641.33/600.99	c (0,0) x[30][3] = 0
641.33/600.99	c (0,0) x[30][4] = 0
641.33/600.99	c (0,0) x[30][5] = 0
641.33/600.99	c (0,0) x[30][6] = 0
641.33/600.99	c (0,0) x[30][7] = 1
641.33/600.99	c (0,0) x[30][8] = 0
641.33/600.99	c (0,0) x[30][9] = 0
641.33/600.99	c (0,0) x[30][10] = 0
641.33/600.99	c (0,0) x[30][11] = 0
641.33/600.99	c (0,0) x[30][12] = 0
641.33/600.99	c (0,0) x[30][13] = 0
641.33/600.99	c (0,0) x[30][14] = 0
641.33/601.00	c (0,0) x[30][15] = 0
641.33/601.00	c (0,0) x[30][16] = 1
641.33/601.00	c (0,0) x[30][17] = 0
641.33/601.00	c (0,0) x[30][18] = 0
641.33/601.00	c (0,0) x[30][19] = 0
641.33/601.00	c (0,0) x[30][20] = 0
641.33/601.00	c (0,0) x[30][21] = 0
641.33/601.00	c (0,0) x[30][22] = 0
641.33/601.00	c (0,0) x[30][23] = 0
641.33/601.00	c (0,0) x[30][24] = 0
641.33/601.00	c (0,0) x[30][25] = 0
641.33/601.00	c (0,0) x[30][26] = 0
641.33/601.00	c (0,0) x[30][27] = 0
641.33/601.00	c (0,0) x[30][28] = 0
641.33/601.00	c (0,0) x[30][29] = 0
641.33/601.00	c (0,0) x[30][30] = 0
641.33/601.00	c (0,0) x[30][31] = 0
641.33/601.00	c (0,0) x[31][0] = 1
641.33/601.00	c (0,0) x[31][1] = 1
641.33/601.00	c (0,0) x[31][2] = 1
641.33/601.00	c (0,0) x[31][3] = 1
641.33/601.00	c (0,0) x[31][4] = 1
641.33/601.00	c (0,0) x[31][5] = 1
641.33/601.00	c (0,0) x[31][6] = 1
641.33/601.00	c (0,0) x[31][7] = 1
641.33/601.00	c (0,0) x[31][8] = 1
641.33/601.00	c (0,0) x[31][9] = 1
641.33/601.00	c (0,0) x[31][10] = 1
641.33/601.00	c (0,0) x[31][11] = 1
641.33/601.00	c (0,0) x[31][12] = 1
641.33/601.00	c (0,0) x[31][13] = 1
641.33/601.00	c (0,0) x[31][14] = 1
641.33/601.00	c (0,0) x[31][15] = 1
641.33/601.00	c (0,0) x[31][16] = 1
641.33/601.00	c (0,0) x[31][17] = 0
641.33/601.00	c (0,0) x[31][18] = 0
641.33/601.00	c (0,0) x[31][19] = 0
641.33/601.00	c (0,0) x[31][20] = 0
641.33/601.00	c (0,0) x[31][21] = 0
641.33/601.00	c (0,0) x[31][22] = 0
641.33/601.00	c (0,0) x[31][23] = 0
641.33/601.00	c (0,0) x[31][24] = 0
641.33/601.00	c (0,0) x[31][25] = 0
641.33/601.00	c (0,0) x[31][26] = 0
641.33/601.00	c (0,0) x[31][27] = 0
641.33/601.00	c (0,0) x[31][28] = 0
641.33/601.00	c (0,0) x[31][29] = 0
641.33/601.00	c (0,0) x[31][30] = 0
641.33/601.00	c (0,0) x[31][31] = 0
641.33/601.00	s SATISFIABLE
641.33/601.00	v <instantiation>
641.33/601.00	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.33/601.00	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.33/601.00	v </instantiation>
641.33/601.00	c (0,0) Show results End
641.33/601.00	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
641.33/601.00	c (0,0) 0,0,STOP-AFTER(ALL)
641.33/601.00	c END-Prog: Tue Sep 24 18:34:55 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 (12289 MiB free)
  memory of node 1: 16384 MiB (10084 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100154 s]*
/proc/loadavg: 2.35 5.65 6.98 2/212 11279
/proc/meminfo: memFree=22808420/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510504786 115843072 349 33554432000 4194304 5098028 140725871612160 140725871609416 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 349 296 221 0 87 0
[pid=11260] ppid=11257 vsize=27314120 memory=107536 CPUtime=0.1 cores=0-7
/proc/11260/stat : 11260 (java) S 11257 11257 8819 0 -1 1077944320 6480 0 0 0 8 2 0 0 20 0 20 0 510504787 27969658880 26884 33554432000 4194304 4196468 140721877691504 140721877674048 139746258263799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
/proc/11260/statm: 6828530 26884 2777 1 0 6790935 0
[pid=11260/tid=11261] ppid=11257 vsize=27314120 memory=7824329735742069149 CPUtime=0.08 cores=0-7
/proc/11260/task/11261/stat : 11261 (java) R 11257 11257 8819 0 -1 4202560 4592 0 0 0 6 2 0 0 20 0 20 0 510504787 27969658880 26884 33554432000 4194304 4196468 140721877691504 139746230090128 139746242344286 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11262] ppid=11257 vsize=27314120 memory=732370047302257637 CPUtime=0 cores=0-7
/proc/11260/task/11262/stat : 11262 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139746262506128 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11263] ppid=11257 vsize=27314120 memory=139908964804224 CPUtime=0 cores=0-7
/proc/11260/task/11263/stat : 11263 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745680771600 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11264] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11264/stat : 11264 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745679718800 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11265] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11265/stat : 11265 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745678666000 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11266] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11266/stat : 11266 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745677614224 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11267] ppid=11257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11260/task/11267/stat : 11267 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745676561424 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11268] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11268/stat : 11268 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745675508624 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11269] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11269/stat : 11269 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745674455824 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11270] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11270/stat : 11270 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745249601904 139746258274946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11271] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11271/stat : 11271 (java) S 11257 11257 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 26884 33554432000 4194304 4196468 140721877691504 139744210052128 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11272] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11272/stat : 11272 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 26884 33554432000 4194304 4196468 140721877691504 139743941616496 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11273] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11273/stat : 11273 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 26884 33554432000 4194304 4196468 140721877691504 139743567107920 139746258282395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11274] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11274/stat : 11274 (java) S 11257 11257 8819 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745248549744 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11275] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11275/stat : 11275 (java) S 11257 11257 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745247496944 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11276] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11276/stat : 11276 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745246444144 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11277] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11277/stat : 11277 (java) S 11257 11257 8819 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 26884 33554432000 4194304 4196468 140721877691504 139745245391344 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11278] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11278/stat : 11278 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 26949 33554432000 4194304 4196468 140721877691504 139743069203040 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11279] ppid=11257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11260/task/11279/stat : 11279 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504795 27969658880 26949 33554432000 4194304 4196468 140721877691504 139745244338736 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108932 KiB

[startup+0.210224 s]*
/proc/loadavg: 2.35 5.65 6.98 3/212 11279
/proc/meminfo: memFree=22792176/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510504786 115843072 349 33554432000 4194304 5098028 140725871612160 140725871609416 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 349 296 221 0 87 0
[pid=11260] ppid=11257 vsize=27314120 memory=127156 CPUtime=0.24 cores=0-7
/proc/11260/stat : 11260 (java) S 11257 11257 8819 0 -1 1077944320 12127 0 0 0 20 4 0 0 20 0 20 0 510504787 27969658880 31789 33554432000 4194304 4196468 140721877691504 140721877674048 139746258263799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
/proc/11260/statm: 6828530 31789 2966 1 0 6790935 0
[pid=11260/tid=11261] ppid=11257 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/11260/task/11261/stat : 11261 (java) R 11257 11257 8819 0 -1 4202560 9845 0 0 0 16 3 0 0 20 0 20 0 510504787 27969658880 31789 33554432000 4194304 4196468 140721877691504 139746230063184 139746239828795 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11262] ppid=11257 vsize=27314120 memory=732370047302257637 CPUtime=0 cores=0-7
/proc/11260/task/11262/stat : 11262 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139746262506128 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11263] ppid=11257 vsize=27314120 memory=139908964804224 CPUtime=0 cores=0-7
/proc/11260/task/11263/stat : 11263 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745680771600 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11264] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11264/stat : 11264 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745679718800 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11265] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11265/stat : 11265 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745678666000 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11266] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11266/stat : 11266 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745677614224 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11267] ppid=11257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11260/task/11267/stat : 11267 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745676561424 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11268] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11268/stat : 11268 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745675508624 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11269] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11269/stat : 11269 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745674455824 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11270] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11270/stat : 11270 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745249601904 139746258274946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11271] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11271/stat : 11271 (java) S 11257 11257 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 31789 33554432000 4194304 4196468 140721877691504 139744210052128 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11272] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11272/stat : 11272 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 31789 33554432000 4194304 4196468 140721877691504 139743941616496 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11273] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11273/stat : 11273 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 31789 33554432000 4194304 4196468 140721877691504 139743567107920 139746258282395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11274] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11274/stat : 11274 (java) S 11257 11257 8819 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745248549744 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11275] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11275/stat : 11275 (java) S 11257 11257 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745247496944 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11276] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11276/stat : 11276 (java) S 11257 11257 8819 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745246444144 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11277] ppid=11257 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11260/task/11277/stat : 11277 (java) S 11257 11257 8819 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 510504794 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745245391344 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11278] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11278/stat : 11278 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 31789 33554432000 4194304 4196468 140721877691504 139743069203040 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11279] ppid=11257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11260/task/11279/stat : 11279 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504795 27969658880 31789 33554432000 4194304 4196468 140721877691504 139745244338736 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128552 KiB

[startup+0.309677 s]*
/proc/loadavg: 2.35 5.65 6.98 2/212 11279
/proc/meminfo: memFree=22785076/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510504786 115843072 349 33554432000 4194304 5098028 140725871612160 140725871609416 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 349 296 221 0 87 0
[pid=11260] ppid=11257 vsize=27314120 memory=130500 CPUtime=0.41 cores=0-7
/proc/11260/stat : 11260 (java) S 11257 11257 8819 0 -1 1077944320 12476 0 0 0 37 4 0 0 20 0 20 0 510504787 27969658880 32625 33554432000 4194304 4196468 140721877691504 140721877674048 139746258263799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
/proc/11260/statm: 6828530 32625 3013 1 0 6790935 0
[pid=11260/tid=11261] ppid=11257 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11260/task/11261/stat : 11261 (java) R 11257 11257 8819 0 -1 4202560 10025 0 0 0 25 4 0 0 20 0 20 0 510504787 27969658880 32625 33554432000 4194304 4196468 140721877691504 139746230088960 139746242344286 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11262] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11262/stat : 11262 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139746262506128 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11263] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11263/stat : 11263 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745680771600 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11264] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11264/stat : 11264 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745679718800 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11265] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11265/stat : 11265 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745678666000 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11266] ppid=11257 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11260/task/11266/stat : 11266 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745677614224 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11267] ppid=11257 vsize=27314120 memory=139908828197807 CPUtime=0 cores=0-7
/proc/11260/task/11267/stat : 11267 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745676561424 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11268] ppid=11257 vsize=27314120 memory=139908828200112 CPUtime=0 cores=0-7
/proc/11260/task/11268/stat : 11268 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745675508624 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11269] ppid=11257 vsize=27314120 memory=139908828202416 CPUtime=0 cores=0-7
/proc/11260/task/11269/stat : 11269 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745674455824 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11270] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11270/stat : 11270 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745249601904 139746258274946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11271] ppid=11257 vsize=27314120 memory=279817656411792 CPUtime=0 cores=0-7
/proc/11260/task/11271/stat : 11271 (java) S 11257 11257 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 32625 33554432000 4194304 4196468 140721877691504 139744210052128 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11272] ppid=11257 vsize=27314120 memory=279817656418704 CPUtime=0 cores=0-7
/proc/11260/task/11272/stat : 11272 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504791 27969658880 32625 33554432000 4194304 4196468 140721877691504 139743941616496 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11273] ppid=11257 vsize=27314120 memory=279817656359984 CPUtime=0 cores=0-7
/proc/11260/task/11273/stat : 11273 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 32625 33554432000 4194304 4196468 140721877691504 139743567107920 139746258282395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11274] ppid=11257 vsize=27314120 memory=279817656432528 CPUtime=0.01 cores=0-7
/proc/11260/task/11274/stat : 11274 (java) S 11257 11257 8819 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 20 0 510504794 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745248549744 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11275] ppid=11257 vsize=27314120 memory=279817656439440 CPUtime=0 cores=0-7
/proc/11260/task/11275/stat : 11275 (java) S 11257 11257 8819 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745247496944 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11276] ppid=11257 vsize=27314120 memory=279817656437136 CPUtime=0.02 cores=0-7
/proc/11260/task/11276/stat : 11276 (java) S 11257 11257 8819 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 510504794 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745246444144 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11277] ppid=11257 vsize=27314120 memory=279817656453296 CPUtime=0.07 cores=0-7
/proc/11260/task/11277/stat : 11277 (java) S 11257 11257 8819 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 510504794 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745245391344 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11278] ppid=11257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11260/task/11278/stat : 11278 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504794 27969658880 32625 33554432000 4194304 4196468 140721877691504 139743069203040 139746258274005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11279] ppid=11257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11260/task/11279/stat : 11279 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504795 27969658880 32625 33554432000 4194304 4196468 140721877691504 139745244338736 139746258274946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131896 KiB

[startup+0.700913 s]
/proc/loadavg: 2.35 5.65 6.98 2/212 11279
/proc/meminfo: memFree=22765788/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510504786 115843072 349 33554432000 4194304 5098028 140725871612160 140725871609416 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 349 296 221 0 87 0
[pid=11260] ppid=11257 vsize=27320392 memory=164864 CPUtime=0.97 cores=0-7
/proc/11260/stat : 11260 (java) S 11257 11257 8819 0 -1 1077944320 19880 0 0 0 89 8 0 0 20 0 20 0 510504787 27976081408 41216 33554432000 4194304 4196468 140721877691504 140721877674048 139746258263799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
/proc/11260/statm: 6830098 41216 3142 1 0 6791447 0
[pid=11260/tid=11261] ppid=11257 vsize=27320392 memory=279817656748224 CPUtime=0.68 cores=0-7
/proc/11260/task/11261/stat : 11261 (java) R 11257 11257 8819 0 -1 4202560 16940 0 0 0 61 7 0 0 20 0 20 0 510504787 27976081408 41216 33554432000 4194304 4196468 140721877691504 139746230099840 139746258285725 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11262] ppid=11257 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/11260/task/11262/stat : 11262 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510504789 27976081408 41216 33554432000 4194304 4196468 140721877691504 139746262506128 139746258274005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11263] ppid=11257 vsize=27320392 memory=976 CPUtime=0 cores=0-7
/proc/11260/task/11263/stat : 11263 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27976081408 41216 33554432000 4194304 4196468 140721877691504 139745680771600 139746258274005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11264] ppid=11257 vsize=27320392 memory=772 CPUtime=0 cores=0-7
/proc/11260/task/11264/stat : 11264 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510504789 27976081408 41216 33554432000 4194304 4196468 140721877691504 139745679718800 139746258274005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0

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

/proc/11260/task/11278/stat : 11278 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510504794 27982450688 2809311 33554432000 4194304 4196468 140721877691504 139743069203040 139746258274005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
[pid=11260/tid=11279] ppid=11257 vsize=27326612 memory=504 CPUtime=0.25 cores=0-7
/proc/11260/task/11279/stat : 11279 (java) S 11257 11257 8819 0 -1 1077944384 1013 0 0 0 12 13 0 0 20 0 20 0 510504795 27982450688 2809311 33554432000 4194304 4196468 140721877691504 139745244338736 139746258274946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 21843968 140721877693163 140721877693590 140721877693590 140721877696463 0
Current children cumulated CPU time: 635.86 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 11238640 KiB

[startup+600 s]*
/proc/loadavg: 1.01 1.72 4.20 4/211 11344
/proc/meminfo: memFree=22901320/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1476 CPUtime=639.19 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 582 316802 0 0 0 0 62374 1545 20 0 1 0 510504786 115843072 369 33554432000 4194304 5098028 140725871612160 140725871608904 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 369 311 221 0 87 0
[pid=11325] ppid=11257 vsize=7750184 memory=59972 CPUtime=0.3 cores=0-7
/proc/11325/stat : 11325 (java) S 11257 11257 8819 0 -1 1077944320 11211 0 0 0 27 3 0 0 20 0 20 0 510564764 7936188416 14993 33554432000 4194304 4196468 140730158214048 140730158196592 139688423796471 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
/proc/11325/statm: 1937546 14993 2978 1 0 1899951 0
[pid=11325/tid=11326] ppid=11257 vsize=7750184 memory=1124 CPUtime=0.19 cores=0-7
/proc/11325/task/11326/stat : 11326 (java) R 11257 11257 8819 0 -1 4202560 9005 0 0 0 17 2 0 0 20 0 20 0 510564765 7936188416 14993 33554432000 4194304 4196468 140730158214048 139688395622400 139688407840101 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11327] ppid=11257 vsize=7750184 memory=14008 CPUtime=0 cores=0-7
/proc/11325/task/11327/stat : 11327 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139688428038672 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11328] ppid=11257 vsize=7750184 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/11325/task/11328/stat : 11328 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687908506256 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11329] ppid=11257 vsize=7750184 memory=1560 CPUtime=0 cores=0-7
/proc/11325/task/11329/stat : 11329 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687907453200 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11330] ppid=11257 vsize=7750184 memory=976 CPUtime=0 cores=0-7
/proc/11325/task/11330/stat : 11330 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687906400656 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11331] ppid=11257 vsize=7750184 memory=772 CPUtime=0 cores=0-7
/proc/11325/task/11331/stat : 11331 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687905348624 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11332] ppid=11257 vsize=7750184 memory=3616 CPUtime=0 cores=0-7
/proc/11325/task/11332/stat : 11332 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687904296080 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11333] ppid=11257 vsize=7750184 memory=139913259771519 CPUtime=0 cores=0-7
/proc/11325/task/11333/stat : 11333 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687903243024 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11334] ppid=11257 vsize=7750184 memory=-7161732098442470212 CPUtime=0 cores=0-7
/proc/11325/task/11334/stat : 11334 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564767 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687902190480 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11335] ppid=11257 vsize=7750184 memory=-6667966544890519924 CPUtime=0 cores=0-7
/proc/11325/task/11335/stat : 11335 (java) S 11257 11257 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564768 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687852783856 139688423807618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11336] ppid=11257 vsize=7750184 memory=7679937539659563834 CPUtime=0 cores=0-7
/proc/11325/task/11336/stat : 11336 (java) S 11257 11257 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510564769 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687100408992 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11337] ppid=11257 vsize=7750184 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/11325/task/11337/stat : 11337 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564769 7936188416 14993 33554432000 4194304 4196468 140730158214048 139686831973104 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11338] ppid=11257 vsize=7750184 memory=11239164 CPUtime=0 cores=0-7
/proc/11325/task/11338/stat : 11338 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139686457464784 139688423815067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11339] ppid=11257 vsize=7750184 memory=976 CPUtime=0.01 cores=0-7
/proc/11325/task/11339/stat : 11339 (java) S 11257 11257 8819 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687851731696 139688423807618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11340] ppid=11257 vsize=7750184 memory=772 CPUtime=0 cores=0-7
/proc/11325/task/11340/stat : 11340 (java) S 11257 11257 8819 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687850679152 139688423807618 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11341] ppid=11257 vsize=7750184 memory=3616 CPUtime=0.01 cores=0-7
/proc/11325/task/11341/stat : 11341 (java) S 11257 11257 8819 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687849626096 139688423807618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11342] ppid=11257 vsize=7750184 memory=2832 CPUtime=0.06 cores=0-7
/proc/11325/task/11342/stat : 11342 (java) R 11257 11257 8819 0 -1 4202560 322 0 0 0 6 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687848573552 139688402426594 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11343] ppid=11257 vsize=7750184 memory=1548 CPUtime=0 cores=0-7
/proc/11325/task/11343/stat : 11343 (java) S 11257 11257 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139685959559648 139688423806677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11344] ppid=11257 vsize=7750184 memory=1056 CPUtime=0 cores=0-7
/proc/11325/task/11344/stat : 11344 (java) S 11257 11257 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564772 7936188416 14993 33554432000 4194304 4196468 140730158214048 139687847520944 139688423807618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
Current children cumulated CPU time: 639.49 s
Current children cumulated vsize: 7863312 KiB
Current children cumulated memory: 61448 KiB

[startup+600.801 s]
/proc/loadavg: 1.01 1.72 4.20 4/211 11344
/proc/meminfo: memFree=22901320/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1476 CPUtime=639.19 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 582 316802 0 0 0 0 62374 1545 20 0 1 0 510504786 115843072 369 33554432000 4194304 5098028 140725871612160 140725871608904 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 369 311 221 0 87 0
[pid=11325] ppid=11257 vsize=8283048 memory=129972 CPUtime=1.95 cores=0-7
/proc/11325/stat : 11325 (java) S 11257 11257 8819 0 -1 1077944320 21930 9053 0 0 162 10 17 6 20 0 22 0 510564764 8481841152 32493 33554432000 4194304 4196468 140730158214048 140730158196592 139688423796471 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
/proc/11325/statm: 2070762 32493 3228 1 0 2032106 0
[pid=11325/tid=11326] ppid=11257 vsize=8283048 memory=984 CPUtime=1.07 cores=0-7
/proc/11325/task/11326/stat : 11326 (java) R 11257 11257 8819 0 -1 4202560 17951 9053 0 0 76 8 17 6 20 0 22 0 510564765 8481841152 32493 33554432000 4194304 4196468 140730158214048 139688395636464 139688407876958 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11327] ppid=11257 vsize=8283048 memory=2032 CPUtime=0.23 cores=0-7
/proc/11325/task/11327/stat : 11327 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139688428038672 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11328] ppid=11257 vsize=8283048 memory=1328 CPUtime=0.23 cores=0-7
/proc/11325/task/11328/stat : 11328 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687908506256 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11329] ppid=11257 vsize=8283048 memory=1560 CPUtime=0.23 cores=0-7
/proc/11325/task/11329/stat : 11329 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687907453200 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11330] ppid=11257 vsize=8283048 memory=976 CPUtime=0.23 cores=0-7
/proc/11325/task/11330/stat : 11330 (java) S 11257 11257 8819 0 -1 1077944384 3 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687906400656 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11331] ppid=11257 vsize=8283048 memory=772 CPUtime=0.23 cores=0-7
/proc/11325/task/11331/stat : 11331 (java) S 11257 11257 8819 0 -1 1077944384 2 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687905348624 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11332] ppid=11257 vsize=8283048 memory=3616 CPUtime=0.23 cores=0-7
/proc/11325/task/11332/stat : 11332 (java) S 11257 11257 8819 0 -1 1077944384 2 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687904296080 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11333] ppid=11257 vsize=8283048 memory=11240152 CPUtime=0.23 cores=0-7
/proc/11325/task/11333/stat : 11333 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687903243024 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11334] ppid=11257 vsize=8283048 memory=1548 CPUtime=0.23 cores=0-7
/proc/11325/task/11334/stat : 11334 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564767 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687902190480 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11335] ppid=11257 vsize=8283048 memory=1056 CPUtime=0.23 cores=0-7
/proc/11325/task/11335/stat : 11335 (java) S 11257 11257 8819 0 -1 1077944384 5 9053 0 0 0 0 17 6 20 0 22 0 510564768 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687852783856 139688423807618 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11336] ppid=11257 vsize=8283048 memory=744 CPUtime=0.23 cores=0-7
/proc/11325/task/11336/stat : 11336 (java) S 11257 11257 8819 0 -1 1077944384 13 9053 0 0 0 0 17 6 20 0 22 0 510564769 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687100408992 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11337] ppid=11257 vsize=8283048 memory=8444 CPUtime=0.23 cores=0-7
/proc/11325/task/11337/stat : 11337 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564769 8481841152 32493 33554432000 4194304 4196468 140730158214048 139686831973104 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11338] ppid=11257 vsize=8283048 memory=6172 CPUtime=0.23 cores=0-7
/proc/11325/task/11338/stat : 11338 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139686457464784 139688423815067 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11339] ppid=11257 vsize=8283048 memory=1124 CPUtime=0.37 cores=0-7
/proc/11325/task/11339/stat : 11339 (java) S 11257 11257 8819 0 -1 1077944384 752 9053 0 0 14 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687851731696 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11340] ppid=11257 vsize=8283048 memory=14008 CPUtime=0.43 cores=0-7
/proc/11325/task/11340/stat : 11340 (java) S 11257 11257 8819 0 -1 1077944384 567 9053 0 0 20 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687850679152 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11341] ppid=11257 vsize=8283048 memory=70732 CPUtime=0.4 cores=0-7
/proc/11325/task/11341/stat : 11341 (java) S 11257 11257 8819 0 -1 1077944384 491 9053 0 0 17 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687849626096 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11342] ppid=11257 vsize=8283048 memory=11238672 CPUtime=0.5 cores=0-7
/proc/11325/task/11342/stat : 11342 (java) S 11257 11257 8819 0 -1 1077944384 724 9053 0 0 27 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687848573552 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11343] ppid=11257 vsize=8283048 memory=6791534058613427641 CPUtime=0.23 cores=0-7
/proc/11325/task/11343/stat : 11343 (java) S 11257 11257 8819 0 -1 1077944384 3 9053 0 0 0 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139685959559648 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11344] ppid=11257 vsize=8283048 memory=-7003737579269690708 CPUtime=0.23 cores=0-7
/proc/11325/task/11344/stat : 11344 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 22 0 510564772 8481841152 32493 33554432000 4194304 4196468 140730158214048 139687847520944 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
Current children cumulated CPU time: 641.14 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131448 KiB

[startup+601.001 s]*
/proc/loadavg: 1.01 1.72 4.20 7/213 11358
/proc/meminfo: memFree=22816564/32770624 swapFree=66956496/67108860
[pid=11257] ppid=11254 vsize=113128 memory=1476 CPUtime=639.19 cores=0-7
/proc/11257/stat : 11257 (scop.sh) S 11254 11257 8819 0 -1 4202496 582 316802 0 0 0 0 62374 1545 20 0 1 0 510504786 115843072 369 33554432000 4194304 5098028 140725871612160 140725871608904 139944136688252 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24961024 140725871620901 140725871621228 140725871621228 140725871624141 0
/proc/11257/statm: 28282 369 311 221 0 87 0
[pid=11325] ppid=11257 vsize=8150944 memory=146904 CPUtime=2.53 cores=0-7
/proc/11325/stat : 11325 (java) S 11257 11257 8819 0 -1 1077944320 24713 9053 0 0 217 13 17 6 20 0 20 0 510564764 8346566656 36726 33554432000 4194304 4196468 140730158214048 140730158196592 139688423796471 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
/proc/11325/statm: 2037736 36726 3236 1 0 1999080 0
[pid=11325/tid=11326] ppid=11257 vsize=8150944 memory=6791534058613427641 CPUtime=1.27 cores=0-7
/proc/11325/task/11326/stat : 11326 (java) S 11257 11257 8819 0 -1 1077944384 19957 9053 0 0 95 9 17 6 20 0 20 0 510564765 8346566656 36726 33554432000 4194304 4196468 140730158214048 139688395639952 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11327] ppid=11257 vsize=8150944 memory=-7003737579269690708 CPUtime=0.23 cores=0-7
/proc/11325/task/11327/stat : 11327 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139688428038672 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11328] ppid=11257 vsize=8150944 memory=2532 CPUtime=0.23 cores=0-7
/proc/11325/task/11328/stat : 11328 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687908506256 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11329] ppid=11257 vsize=8150944 memory=1440 CPUtime=0.23 cores=0-7
/proc/11325/task/11329/stat : 11329 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687907453200 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11330] ppid=11257 vsize=8150944 memory=6791534058613427641 CPUtime=0.23 cores=0-7
/proc/11325/task/11330/stat : 11330 (java) S 11257 11257 8819 0 -1 1077944384 3 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687906400656 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11331] ppid=11257 vsize=8150944 memory=1772 CPUtime=0.23 cores=0-7
/proc/11325/task/11331/stat : 11331 (java) S 11257 11257 8819 0 -1 1077944384 2 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687905348624 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11332] ppid=11257 vsize=8150944 memory=111632 CPUtime=0.23 cores=0-7
/proc/11325/task/11332/stat : 11332 (java) S 11257 11257 8819 0 -1 1077944384 2 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687904296080 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11333] ppid=11257 vsize=8150944 memory=0 CPUtime=0.23 cores=0-7
/proc/11325/task/11333/stat : 11333 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687903243024 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11334] ppid=11257 vsize=8150944 memory=0 CPUtime=0.23 cores=0-7
/proc/11325/task/11334/stat : 11334 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 20 0 510564767 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687902190480 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11335] ppid=11257 vsize=8150944 memory=0 CPUtime=0.23 cores=0-7
/proc/11325/task/11335/stat : 11335 (java) S 11257 11257 8819 0 -1 1077944384 5 9053 0 0 0 0 17 6 20 0 20 0 510564768 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687852784064 139688423807618 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11336] ppid=11257 vsize=8150944 memory=0 CPUtime=0.23 cores=0-7
/proc/11325/task/11336/stat : 11336 (java) S 11257 11257 8819 0 -1 1077944384 13 9053 0 0 0 0 17 6 20 0 20 0 510564769 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687100408992 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11337] ppid=11257 vsize=8150944 memory=0 CPUtime=0.23 cores=0-7
/proc/11325/task/11337/stat : 11337 (java) S 11257 11257 8819 0 -1 1077944384 1 9053 0 0 0 0 17 6 20 0 20 0 510564769 8346566656 36726 33554432000 4194304 4196468 140730158214048 139686831973104 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11339] ppid=11257 vsize=8150944 memory=2241 CPUtime=0.46 cores=0-7
/proc/11325/task/11339/stat : 11339 (java) S 11257 11257 8819 0 -1 1077944384 986 9053 0 0 23 0 17 6 20 0 20 0 510564772 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687851710736 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11340] ppid=11257 vsize=8150944 memory=2244 CPUtime=0.52 cores=0-7
/proc/11325/task/11340/stat : 11340 (java) S 11257 11257 8819 0 -1 1077944384 587 9053 0 0 29 0 17 6 20 0 20 0 510564772 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687850659568 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11341] ppid=11257 vsize=8150944 memory=0 CPUtime=0.48 cores=0-7
/proc/11325/task/11341/stat : 11341 (java) R 11257 11257 8819 0 -1 4202560 713 9053 0 0 25 0 17 6 20 0 20 0 510564772 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687849607112 139688407207366 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11342] ppid=11257 vsize=8150944 memory=279817658105744 CPUtime=0.61 cores=0-7
/proc/11325/task/11342/stat : 11342 (java) S 11257 11257 8819 0 -1 1077944384 1005 9053 0 0 38 0 17 6 20 0 20 0 510564772 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687848569424 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11343] ppid=11257 vsize=8150944 memory=3184237828905472704 CPUtime=0.23 cores=0-7
/proc/11325/task/11343/stat : 11343 (java) S 11257 11257 8819 0 -1 1077944384 3 9053 0 0 0 0 17 6 20 0 20 0 510564772 8346566656 36726 33554432000 4194304 4196468 140730158214048 139685959559648 139688423806677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11346] ppid=11257 vsize=8150944 memory=5450909908396308010 CPUtime=0.23 cores=0-7
/proc/11325/task/11346/stat : 11346 (java) S 11257 11257 8819 0 -1 1077944384 24 9053 0 0 0 0 17 6 20 0 20 0 510564846 8346566656 36726 33554432000 4194304 4196468 140730158214048 139687839486096 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
[pid=11325/tid=11350] ppid=11257 vsize=8150944 memory=7521405425194722404 CPUtime=0.23 cores=0-7
/proc/11325/task/11350/stat : 11350 (java) S 11257 11257 8819 0 -1 1077944384 10 9053 0 0 0 0 17 6 20 0 20 0 510564848 8346566656 36726 33554432000 4194304 4196468 140730158214048 139685020034224 139688423807618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140730158216183 140730158216342 140730158216342 140730158219215 0
Current children cumulated CPU time: 641.72 s
Current children cumulated vsize: 8264072 KiB
Current children cumulated memory: 148380 KiB

Child status: 0
Real time (s): 601.023
CPU time (s): 641.77
CPU user time (s): 626.101
CPU system time (s): 15.6683
CPU usage (%): 106.78
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 11242300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 626.101
system time used= 15.6683
maximum resident set size= 11241524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40734
involuntary context switches= 1368


# summary of solver processes directly reported to runsolver:
#   pid: 11257
#   total CPU time (s): 641.77
#   total CPU user time (s): 626.101
#   total CPU system time (s): 15.6683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54768 second user time and 5.76601 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 18:24:54
IDJOB=4405246
IDBENCH=134105
IDSOLVER=2867
FILE ID=node151/4405246-1569342332
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12008 MiB

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

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

MD5SUM BENCH= 1ecda127feec841a205962b399f2051f
RANDOM SEED=499944816

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22909804 kB
MemAvailable:   31754584 kB
Buffers:           91972 kB
Cached:          8911212 kB
SwapCached:        50744 kB
Active:          3142504 kB
Inactive:        5915732 kB
Active(anon):       2988 kB
Inactive(anon):   106476 kB
Active(file):    3139516 kB
Inactive(file):  5809256 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956496 kB
Dirty:            337128 kB
Writeback:         74464 kB
AnonPages:        113184 kB
Mapped:            54528 kB
Shmem:             45960 kB
Slab:             395676 kB
SReclaimable:     324468 kB
SUnreclaim:        71208 kB
KernelStack:        3360 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 11988 MiB
End job on node151 at 2019-09-24 18:34:55