Trace number 4392294

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b06-m200-07.xml
MD5SUMd7eafb215ab3d3f066855d3513f44111
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 benchmark0.030068
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints355
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree4
Maximum variable degree7
Distribution of variable degrees[{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":2},{"degree":7,"count":114}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":354},{"arity":120,"count":1}]
Number of extensional constraints354
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":354},{"type":"allDifferent","count":1}]
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-16154-serial-file.bin HOME/instance-4392294-1568432063.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: Sat Sep 14 05:33:39 CEST 2019
0.65/0.57	c PID: 16157
0.65/0.57	c IP: 172.20.3.102
0.95/0.78	c HOST: node102.alineos.net
0.95/0.78	c (0,0) Parsing Begin
1.78/1.12	c (0,0) Parsing End
1.78/1.13	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 355 ctr, max domain size 200
1.78/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.78/1.13	c (0,0) Constraint Name Generate Begin
1.78/1.14	c (0,0) Ctr:HOME/instance-4392294-1568432063.xml,AllDifferent:ExtensionSupport:Var
1.78/1.14	c (0,0) Constraint Name Generate End
1.78/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.78/1.14	c (0,0) CSP to CSPinCNF Begin
14.24/7.14	c (6,6) translated 36 (10%) constraints
19.40/12.11	c (11,11) translated 71 (20%) constraints
24.50/17.21	c (16,16) translated 107 (30%) constraints
31.37/22.24	c (21,21) translated 142 (40%) constraints
36.20/27.01	c (26,26) translated 178 (50%) constraints
40.84/31.64	c (31,30) translated 213 (60%) constraints
48.96/36.83	c (36,35) translated 249 (70%) constraints
53.60/41.46	c (40,40) translated 284 (80%) constraints
58.41/46.22	c (45,44) translated 320 (90%) constraints
67.04/51.35	c (50,49) translated 355 (100%) constraints
67.14/51.48	c (50,49) ===========================================
67.14/51.49	c (50,49) Order
67.14/51.49	c (50,49) ===========================================
70.45/53.54	c (52,51) translated 96967 (10%) constraints
72.45/55.40	c (54,53) translated 193934 (20%) constraints
74.26/57.25	c (56,55) translated 290901 (30%) constraints
76.07/59.10	c (58,57) translated 387868 (40%) constraints
77.97/60.95	c (60,59) translated 484835 (50%) constraints
79.88/62.80	c (62,60) translated 581802 (60%) constraints
81.68/64.65	c (64,62) translated 678769 (70%) constraints
83.58/66.50	c (65,64) translated 775736 (80%) constraints
85.38/68.36	c (67,66) translated 872703 (90%) constraints
87.35/70.22	c (69,68) translated 969669 (100%) constraints
87.35/70.23	c (69,68) CSP to CSPinCNF End
87.35/70.26	c (69,68) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969669 ctr, max domain size 200
87.35/70.26	c (69,68) Heap : 5962 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
87.35/70.26	c (69,68) CSPinCNF Propagation Begin
97.76/76.53	c (75,74) 0 values, 354 unsatisfiable literals, and 1 valid clauses are removed
97.76/76.53	c (75,74) CSPinCNF Propagation End
97.76/76.56	c (76,74) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969668 ctr, max domain size 200
97.76/76.56	c (76,74) Heap : 5903 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
97.76/76.57	c (76,74) Simplify CSPinCNF Begin
104.38/78.94	c (78,76) Simplify CSPinCNF End
104.38/78.97	c (78,76) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
104.38/78.97	c (78,76) Heap : 1549 MiB used (max 21531 MiB), NonHeap : 29 MiB used (max 0 MiB)
104.38/78.97	c (78,76) Calculate Precise Domain Begin
104.38/78.98	c (78,76) 0 values are removed by re-calculation
104.38/78.98	c (78,76) Calculate Precise Domain End
104.49/79.01	c (78,76) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
104.49/79.01	c (78,76) Heap : 1564 MiB used (max 21531 MiB), NonHeap : 29 MiB used (max 0 MiB)
104.49/79.01	c (78,76) CSPinCNF to SatSolver Begin
125.07/92.65	c (92,88) 98395 (10 %) CSP clauses are encoded (0 SAT variables, 2963874 SAT clauses)
126.12/93.60	c (93,89) 196790 (20 %) CSP clauses are encoded (0 SAT variables, 3062269 SAT clauses)
127.02/94.54	c (94,90) 295185 (30 %) CSP clauses are encoded (0 SAT variables, 3160664 SAT clauses)
127.92/95.49	c (94,91) 393580 (40 %) CSP clauses are encoded (0 SAT variables, 3259059 SAT clauses)
128.92/96.44	c (95,92) 491974 (50 %) CSP clauses are encoded (0 SAT variables, 3357453 SAT clauses)
129.83/97.39	c (96,93) 590369 (60 %) CSP clauses are encoded (0 SAT variables, 3455848 SAT clauses)
130.82/98.34	c (97,94) 688764 (70 %) CSP clauses are encoded (0 SAT variables, 3554243 SAT clauses)
136.19/99.84	c (99,95) 787159 (80 %) CSP clauses are encoded (0 SAT variables, 3652638 SAT clauses)
137.10/100.79	c (100,96) 885554 (90 %) CSP clauses are encoded (0 SAT variables, 3751033 SAT clauses)
138.10/101.73	c (101,97) 983948 (100 %) CSP clauses are encoded (0 SAT variables, 3849427 SAT clauses)
138.10/101.73	c (101,97) CSPinCNF to SatSolver End
138.10/101.73	c (101,97) Heap : 2536 MiB used (max 21453 MiB), NonHeap : 31 MiB used (max 0 MiB)
138.10/101.73	c (101,97) 108960 bool, 3849428 clause
138.10/101.73	c (101,97) Export Begin
138.24/101.84	c (101,97) Export to HOME/scop-16154-serial-file.bin
138.24/101.84	c (101,97) Export End
138.24/101.84	c (101,97) Export File Size: 0.03 MB
138.24/101.84	c (101,97) 0,0,69,76,78,78,101,STOP-AFTER(DIMACS)
138.24/101.84	c END-Prog: Sat Sep 14 05:35:20 CEST 2019
138.24/101.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16154-serial-file.bin
138.92/102.35	c (0,0) Read Serial File Begin
138.92/102.35	c (0,0) HOME/scop-16154-serial-file.bin
139.20/102.68	c (0,0) Read Serial File End
139.20/102.69	
139.20/102.69	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
139.20/102.69	(Solving Process)
139.20/102.69	
139.36/102.71	c BEGIN-Prog: Sat Sep 14 05:35:21 CEST 2019
139.36/102.71	c PID: 16182
139.36/102.71	c IP: 172.20.3.102
139.36/102.71	c HOST: node102.alineos.net
139.36/102.72	c (0,0) SatSolver.solve Begin
139.36/102.72	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392294-1568432063.xml-scop-16157.cnf
139.36/102.74	c (0,0) c
139.36/102.74	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)
139.36/102.74	c (0,0) c
139.36/102.74	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
139.36/102.74	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
139.36/102.74	c (0,0) c ========================================[ Problem Statistics ]===========================================
139.36/102.74	c (0,0) c |                                                                                                       |
140.74/103.96	c (1,0) c |  Number of variables:        108960                                                                   |
140.74/103.96	c (1,0) c |  Number of clauses:         3849428                                                                   |
140.74/103.96	c (1,0) c |  Parse time:                   1.10 s                                                                 |
140.74/103.96	c (1,0) c |                                                                                                       |
157.15/120.38	c (18,0) c |  Simplification time:         16.24 s                                                                 |
157.15/120.38	c (18,0) c |                                                                                                       |
157.15/120.38	c (18,0) c |  Generating clones                                                                                    |
158.05/121.21	c (18,0) c |  all clones generated. Memory =  2236.60Mb.                                                           |
158.05/121.21	c (18,0) c ========================================================================================================|
158.05/121.21	c (18,0) c
158.05/121.21	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
158.05/121.21	c (18,0) c
158.05/121.21	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
158.05/121.21	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
158.05/121.21	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
158.05/121.21	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
158.05/121.21	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
158.05/121.21	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
158.05/121.21	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
158.05/121.21	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
158.05/121.21	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
158.05/121.21	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
158.05/121.21	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
158.05/121.21	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
158.05/121.21	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
158.05/121.21	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
158.05/121.21	c (18,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
158.05/121.21	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
158.05/121.21	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
158.05/121.21	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
158.05/121.21	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c
163.76/122.03	c (19,0) c real time : 19.2932 s
163.76/122.03	c (19,0) c cpu time  : 23.2256 s
163.76/122.03	c (19,0) c
163.76/122.03	c (19,0) c
163.76/122.03	c (19,0) c
163.76/122.03	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
163.76/122.03	c (19,0) c
163.76/122.03	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
163.76/122.03	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c | Conflicts     |            2200 |        210 |        290 |        210 |        475 |        195 |        117 |        477 |        226 |
163.76/122.03	c (19,0) c | Decisions     |            5054 |        552 |        659 |        872 |        805 |        494 |        257 |        824 |        591 |
163.76/122.03	c (19,0) c | Propagations  |         4249164 |     513237 |     524146 |     423465 |     577584 |     476537 |     451526 |     647197 |     635472 |
163.76/122.03	c (19,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
163.76/122.03	c (19,0) c | Restarts      |              13 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          2 |
163.76/122.03	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | PropBinClauses|         2877956 |     298179 |     364122 |     264120 |     423503 |     321571 |     301070 |     482959 |     422432 |
163.76/122.03	c (19,0) c | PropPreBlocker|        91644283 |   10379727 |   10750331 |    9315566 |   11411579 |   11823870 |   12682947 |   12523399 |   12756864 |
163.76/122.03	c (19,0) c | PropNotBlocker|        42278810 |    5445289 |    4509870 |    4726421 |    5466498 |    5476478 |    5094008 |    5682690 |    5877556 |
163.76/122.03	c (19,0) c | LitFullScans  |       142813741 |   17039644 |   16416357 |   15044960 |   18006514 |   18175149 |   18485189 |   19597104 |   20048824 |
163.76/122.03	c (19,0) c | LitScanFracts |           13441 |        798 |        277 |       1922 |       3552 |       1668 |       1782 |       1978 |       1464 |
163.76/122.03	c (19,0) c | DecisionLevel0|              13 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          2 |
163.76/122.03	c (19,0) c | Periods       |              21 |          2 |          2 |          2 |          3 |          3 |          3 |          3 |          3 |
163.76/122.03	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
163.76/122.03	c (19,0) c | Avg_Trail     |                 |       4805 |      12913 |       8280 |       5513 |       6331 |       7237 |       4358 |       7459 |
163.76/122.03	c (19,0) c | Avg_DL        |                 |         35 |        153 |         84 |         72 |         99 |         51 |         25 |         78 |
163.76/122.03	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c | Exported      |              75 |         11 |          6 |          1 |         15 |          7 |          3 |         27 |          5 |
163.76/122.03	c (19,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
163.76/122.03	c (19,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          3 |          0 |
163.76/122.03	c (19,0) c | Glues         |                 |         11 |          6 |          1 |         15 |          7 |          3 |         27 |          5 |
163.76/122.03	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c | Orig_Seen     |             0 % |      40094 |       9980 |      20597 |      10269 |       9244 |       3786 |      13315 |      25699 |
163.76/122.03	c (19,0) c | Diff Orig seen|                 |      19497 | -    10617 |      X     | -    10328 | -    11353 | -    16811 | -     7282 |       5102 |
163.76/122.03	c (19,0) c | Hamming       |            14 % |      16325 |      15081 |      X     |      15706 |      15828 |      15795 |      15822 |      15979 |
163.76/122.03	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.03	c (19,0) c | RunningTime   |                 |    0.8 100%|    0.8 100%|    0.7 100%|    0.8 100%|    0.7 100%|    0.8 100%|    0.7 100%|    0.8 100%|
163.76/122.03	c (19,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%|
163.76/122.03	c (19,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%|
163.76/122.03	c (19,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%|
163.76/122.03	c (19,0) c | SolvingTime   |                 |    0.8     |    0.8     |    0.7     |    0.8     |    0.7     |    0.8     |    0.7     |    0.8     |
163.76/122.03	c (19,0) c | PropagationTim|                 |    0.8  96%|    0.8  96%|    0.7  97%|    0.7  96%|    0.7  97%|    0.7  98%|    0.7  97%|    0.7  96%|
163.76/122.03	c (19,0) c | AnalysisTime  |                 |    0.0   4%|    0.0   3%|    0.0   2%|    0.0   3%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   3%|
163.76/122.03	c (19,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%|
163.76/122.03	c (19,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%|
163.76/122.03	c (19,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%|
163.76/122.04	c (19,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%|
163.76/122.04	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.04	c (19,0) c
163.76/122.04	c (19,0) c
163.76/122.04	c (19,0) c Threads : 8
163.76/122.04	c (19,0) c Winner : 2
163.76/122.04	c (19,0) c Conflicts_0 : 210
163.76/122.04	c (19,0) c Conflicts_1 : 290
163.76/122.04	c (19,0) c Conflicts_2 : 210
163.76/122.04	c (19,0) c Conflicts_3 : 475
163.76/122.04	c (19,0) c Conflicts_4 : 195
163.76/122.04	c (19,0) c Conflicts_5 : 117
163.76/122.04	c (19,0) c Conflicts_6 : 477
163.76/122.04	c (19,0) c Conflicts_7 : 226
163.76/122.04	c (19,0) c Conflicts_total : 2200
163.76/122.04	c (19,0) c Conflicts_winner : 210
163.76/122.04	c (19,0) c Decisions_0 : 552
163.76/122.04	c (19,0) c Decisions_1 : 659
163.76/122.04	c (19,0) c Decisions_2 : 872
163.76/122.04	c (19,0) c Decisions_3 : 805
163.76/122.04	c (19,0) c Decisions_4 : 494
163.76/122.04	c (19,0) c Decisions_5 : 257
163.76/122.04	c (19,0) c Decisions_6 : 824
163.76/122.04	c (19,0) c Decisions_7 : 591
163.76/122.04	c (19,0) c Decisions_total : 5054
163.76/122.04	c (19,0) c Decisions_winner : 872
163.76/122.04	c (19,0) c Propagations_0 : 513237
163.76/122.04	c (19,0) c Propagations_1 : 524146
163.76/122.04	c (19,0) c Propagations_2 : 423465
163.76/122.04	c (19,0) c Propagations_3 : 577584
163.76/122.04	c (19,0) c Propagations_4 : 476537
163.76/122.04	c (19,0) c Propagations_5 : 451526
163.76/122.04	c (19,0) c Propagations_6 : 647197
163.76/122.04	c (19,0) c Propagations_7 : 635472
163.76/122.04	c (19,0) c Propagations_total : 4249164
163.76/122.04	c (19,0) c Propagations_winner : 423465
163.76/122.04	c (19,0) c ReduceDBs_0 : 0
163.76/122.04	c (19,0) c ReduceDBs_1 : 0
163.76/122.04	c (19,0) c ReduceDBs_2 : 0
163.76/122.04	c (19,0) c ReduceDBs_3 : 0
163.76/122.04	c (19,0) c ReduceDBs_4 : 0
163.76/122.04	c (19,0) c ReduceDBs_5 : 0
163.76/122.04	c (19,0) c ReduceDBs_6 : 0
163.76/122.04	c (19,0) c ReduceDBs_7 : 0
163.76/122.04	c (19,0) c ReduceDBs_total : 0
163.76/122.04	c (19,0) c ReduceDBs_winner : 0
163.76/122.04	c (19,0) c SimpDBs_0 : 1
163.76/122.04	c (19,0) c SimpDBs_1 : 1
163.76/122.04	c (19,0) c SimpDBs_2 : 1
163.76/122.04	c (19,0) c SimpDBs_3 : 1
163.76/122.04	c (19,0) c SimpDBs_4 : 1
163.76/122.04	c (19,0) c SimpDBs_5 : 1
163.76/122.04	c (19,0) c SimpDBs_6 : 1
163.76/122.04	c (19,0) c SimpDBs_7 : 1
163.76/122.04	c (19,0) c SimpDBs_total : 8
163.76/122.04	c (19,0) c SimpDBs_winner : 1
163.76/122.04	c (19,0) c Restarts_0 : 2
163.76/122.04	c (19,0) c Restarts_1 : 2
163.76/122.04	c (19,0) c Restarts_2 : 2
163.76/122.04	c (19,0) c Restarts_3 : 1
163.76/122.04	c (19,0) c Restarts_4 : 2
163.76/122.04	c (19,0) c Restarts_5 : 1
163.76/122.04	c (19,0) c Restarts_6 : 1
163.76/122.04	c (19,0) c Restarts_7 : 2
163.76/122.04	c (19,0) c Restarts_total : 13
163.76/122.04	c (19,0) c Restarts_winner : 2
163.76/122.04	c (19,0) c ForcedImports_0 : 0
163.76/122.04	c (19,0) c ForcedImports_1 : 0
163.76/122.04	c (19,0) c ForcedImports_2 : 0
163.76/122.04	c (19,0) c ForcedImports_3 : 0
163.76/122.04	c (19,0) c ForcedImports_4 : 0
163.76/122.04	c (19,0) c ForcedImports_5 : 0
163.76/122.04	c (19,0) c ForcedImports_6 : 0
163.76/122.04	c (19,0) c ForcedImports_7 : 0
163.76/122.04	c (19,0) c ForcedImports_total : 0
163.76/122.04	c (19,0) c ForcedImports_winner : 0
163.76/122.04	c (19,0) c PropsBinClauses_0 : 298179
163.76/122.04	c (19,0) c PropsBinClauses_1 : 364122
163.76/122.04	c (19,0) c PropsBinClauses_2 : 264120
163.76/122.04	c (19,0) c PropsBinClauses_3 : 423503
163.76/122.04	c (19,0) c PropsBinClauses_4 : 321571
163.76/122.04	c (19,0) c PropsBinClauses_5 : 301070
163.76/122.04	c (19,0) c PropsBinClauses_6 : 482959
163.76/122.04	c (19,0) c PropsBinClauses_7 : 422432
163.76/122.04	c (19,0) c PropsBinClauses_total : 2877956
163.76/122.04	c (19,0) c PropsBinClauses_winner : 264120
163.76/122.04	c (19,0) c PropsPreBlocker_0 : 10379727
163.76/122.04	c (19,0) c PropsPreBlocker_1 : 10750331
163.76/122.04	c (19,0) c PropsPreBlocker_2 : 9315566
163.76/122.04	c (19,0) c PropsPreBlocker_3 : 11411579
163.76/122.04	c (19,0) c PropsPreBlocker_4 : 11823870
163.76/122.04	c (19,0) c PropsPreBlocker_5 : 12682947
163.76/122.04	c (19,0) c PropsPreBlocker_6 : 12523399
163.76/122.04	c (19,0) c PropsPreBlocker_7 : 12756864
163.76/122.04	c (19,0) c PropsPreBlocker_total : 91644283
163.76/122.04	c (19,0) c PropsPreBlocker_winner : 9315566
163.76/122.04	c (19,0) c PropsNotBlocker_0 : 5445289
163.76/122.04	c (19,0) c PropsNotBlocker_1 : 4509870
163.76/122.04	c (19,0) c PropsNotBlocker_2 : 4726421
163.76/122.04	c (19,0) c PropsNotBlocker_3 : 5466498
163.76/122.04	c (19,0) c PropsNotBlocker_4 : 5476478
163.76/122.04	c (19,0) c PropsNotBlocker_5 : 5094008
163.76/122.04	c (19,0) c PropsNotBlocker_6 : 5682690
163.76/122.04	c (19,0) c PropsNotBlocker_7 : 5877556
163.76/122.04	c (19,0) c PropsNotBlocker_total : 42278810
163.76/122.04	c (19,0) c PropsNotBlocker_winner : 4726421
163.76/122.04	c (19,0) c PropsLitFullScans_0 : 17039644
163.76/122.04	c (19,0) c PropsLitFullScans_1 : 16416357
163.76/122.04	c (19,0) c PropsLitFullScans_2 : 15044960
163.76/122.04	c (19,0) c PropsLitFullScans_3 : 18006514
163.76/122.04	c (19,0) c PropsLitFullScans_4 : 18175149
163.76/122.04	c (19,0) c PropsLitFullScans_5 : 18485189
163.76/122.04	c (19,0) c PropsLitFullScans_6 : 19597104
163.76/122.04	c (19,0) c PropsLitFullScans_7 : 20048824
163.76/122.04	c (19,0) c PropsLitFullScans_total : 142813741
163.76/122.04	c (19,0) c PropsLitFullScans_winner : 15044960
163.76/122.04	c (19,0) c LitScanFractions_0 : 798
163.76/122.04	c (19,0) c LitScanFractions_1 : 277
163.76/122.04	c (19,0) c LitScanFractions_2 : 1922
163.76/122.04	c (19,0) c LitScanFractions_3 : 3552
163.76/122.04	c (19,0) c LitScanFractions_4 : 1668
163.76/122.04	c (19,0) c LitScanFractions_5 : 1782
163.76/122.04	c (19,0) c LitScanFractions_6 : 1978
163.76/122.04	c (19,0) c LitScanFractions_7 : 1464
163.76/122.04	c (19,0) c LitScanFractions_total : 13441
163.76/122.04	c (19,0) c LitScanFractions_winner : 1922
163.76/122.04	c (19,0) c DecisionLevel0_0 : 2
163.76/122.04	c (19,0) c DecisionLevel0_1 : 2
163.76/122.04	c (19,0) c DecisionLevel0_2 : 2
163.76/122.04	c (19,0) c DecisionLevel0_3 : 1
163.76/122.04	c (19,0) c DecisionLevel0_4 : 2
163.76/122.04	c (19,0) c DecisionLevel0_5 : 1
163.76/122.04	c (19,0) c DecisionLevel0_6 : 1
163.76/122.04	c (19,0) c DecisionLevel0_7 : 2
163.76/122.04	c (19,0) c DecisionLevel0_total : 13
163.76/122.04	c (19,0) c DecisionLevel0_winner : 2
163.76/122.04	c (19,0) c Periods_0 : 2
163.76/122.04	c (19,0) c Periods_1 : 2
163.76/122.04	c (19,0) c Periods_2 : 2
163.76/122.04	c (19,0) c Periods_3 : 3
163.76/122.04	c (19,0) c Periods_4 : 3
163.76/122.04	c (19,0) c Periods_5 : 3
163.76/122.04	c (19,0) c Periods_6 : 3
163.76/122.04	c (19,0) c Periods_7 : 3
163.76/122.04	c (19,0) c Periods_total : 21
163.76/122.04	c (19,0) c Periods_winner : 2
163.76/122.04	c (19,0) c Margin_0 : 20
163.76/122.04	c (19,0) c Margin_1 : 20
163.76/122.04	c (19,0) c Margin_2 : 20
163.76/122.04	c (19,0) c Margin_3 : 20
163.76/122.04	c (19,0) c Margin_4 : 20
163.76/122.04	c (19,0) c Margin_5 : 20
163.76/122.04	c (19,0) c Margin_6 : 20
163.76/122.04	c (19,0) c Margin_7 : 20
163.76/122.04	c (19,0) c Margin_total : 160
163.76/122.04	c (19,0) c Margin_winner : 20
163.76/122.04	c (19,0) c Exported_0 : 11
163.76/122.04	c (19,0) c Exported_1 : 6
163.76/122.04	c (19,0) c Exported_2 : 1
163.76/122.04	c (19,0) c Exported_3 : 15
163.76/122.04	c (19,0) c Exported_4 : 7
163.76/122.04	c (19,0) c Exported_5 : 3
163.76/122.04	c (19,0) c Exported_6 : 27
163.76/122.04	c (19,0) c Exported_7 : 5
163.76/122.04	c (19,0) c Exported_total : 75
163.76/122.04	c (19,0) c Exported_winner : 1
163.76/122.04	c (19,0) c Imported_0 : 0
163.76/122.04	c (19,0) c Imported_1 : 0
163.76/122.04	c (19,0) c Imported_2 : 0
163.76/122.04	c (19,0) c Imported_3 : 0
163.76/122.04	c (19,0) c Imported_4 : 0
163.76/122.04	c (19,0) c Imported_5 : 0
163.76/122.04	c (19,0) c Imported_6 : 0
163.76/122.04	c (19,0) c Imported_7 : 0
163.76/122.04	c (19,0) c Imported_total : 0
163.76/122.04	c (19,0) c Imported_winner : 0
163.76/122.04	c (19,0) c Good_0 : 0
163.76/122.04	c (19,0) c Good_1 : 0
163.76/122.04	c (19,0) c Good_2 : 0
163.76/122.04	c (19,0) c Good_3 : 0
163.76/122.04	c (19,0) c Good_4 : 0
163.76/122.04	c (19,0) c Good_5 : 0
163.76/122.04	c (19,0) c Good_6 : 0
163.76/122.04	c (19,0) c Good_7 : 0
163.76/122.04	c (19,0) c Good_total : 0
163.76/122.04	c (19,0) c Good_winner : 0
163.76/122.04	c (19,0) c Purge_0 : 0
163.76/122.04	c (19,0) c Purge_1 : 0
163.76/122.04	c (19,0) c Purge_2 : 0
163.76/122.04	c (19,0) c Purge_3 : 0
163.76/122.04	c (19,0) c Purge_4 : 0
163.76/122.04	c (19,0) c Purge_5 : 0
163.76/122.04	c (19,0) c Purge_6 : 0
163.76/122.04	c (19,0) c Purge_7 : 0
163.76/122.04	c (19,0) c Purge_total : 0
163.76/122.04	c (19,0) c Purge_winner : 0
163.76/122.04	c (19,0) c Promoted_0 : 0
163.76/122.04	c (19,0) c Promoted_1 : 0
163.76/122.04	c (19,0) c Promoted_2 : 0
163.76/122.04	c (19,0) c Promoted_3 : 0
163.76/122.04	c (19,0) c Promoted_4 : 0
163.76/122.04	c (19,0) c Promoted_5 : 0
163.76/122.04	c (19,0) c Promoted_6 : 0
163.76/122.04	c (19,0) c Promoted_7 : 0
163.76/122.04	c (19,0) c Promoted_total : 0
163.76/122.04	c (19,0) c Promoted_winner : 0
163.76/122.04	c (19,0) c Remove_Imp_0 : 0
163.76/122.04	c (19,0) c Remove_Imp_1 : 0
163.76/122.04	c (19,0) c Remove_Imp_2 : 0
163.76/122.04	c (19,0) c Remove_Imp_3 : 0
163.76/122.04	c (19,0) c Remove_Imp_4 : 0
163.76/122.04	c (19,0) c Remove_Imp_5 : 0
163.76/122.04	c (19,0) c Remove_Imp_6 : 0
163.76/122.04	c (19,0) c Remove_Imp_7 : 0
163.76/122.04	c (19,0) c Remove_Imp_total : 0
163.76/122.04	c (19,0) c Remove_Imp_winner : 0
163.76/122.04	c (19,0) c Blocked_Reuse_0 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_1 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_2 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_3 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_4 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_5 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_6 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_7 : 0
163.76/122.04	c (19,0) c Blocked_Reuse_total : 0
163.76/122.04	c (19,0) c Blocked_Reuse_winner : 0
163.76/122.05	c (19,0) c Unaries_0 : 0
163.76/122.05	c (19,0) c Unaries_1 : 0
163.76/122.05	c (19,0) c Unaries_2 : 0
163.76/122.05	c (19,0) c Unaries_3 : 0
163.76/122.05	c (19,0) c Unaries_4 : 0
163.76/122.05	c (19,0) c Unaries_5 : 0
163.76/122.05	c (19,0) c Unaries_6 : 0
163.76/122.05	c (19,0) c Unaries_7 : 0
163.76/122.05	c (19,0) c Unaries_total : 0
163.76/122.05	c (19,0) c Unaries_winner : 0
163.76/122.05	c (19,0) c Binaries_0 : 0
163.76/122.05	c (19,0) c Binaries_1 : 0
163.76/122.05	c (19,0) c Binaries_2 : 0
163.76/122.05	c (19,0) c Binaries_3 : 0
163.76/122.05	c (19,0) c Binaries_4 : 0
163.76/122.05	c (19,0) c Binaries_5 : 0
163.76/122.05	c (19,0) c Binaries_6 : 3
163.76/122.05	c (19,0) c Binaries_7 : 0
163.76/122.05	c (19,0) c Binaries_total : 3
163.76/122.05	c (19,0) c Binaries_winner : 0
163.76/122.05	c (19,0) c Glues_0 : 11
163.76/122.05	c (19,0) c Glues_1 : 6
163.76/122.05	c (19,0) c Glues_2 : 1
163.76/122.05	c (19,0) c Glues_3 : 15
163.76/122.05	c (19,0) c Glues_4 : 7
163.76/122.05	c (19,0) c Glues_5 : 3
163.76/122.05	c (19,0) c Glues_6 : 27
163.76/122.05	c (19,0) c Glues_7 : 5
163.76/122.05	c (19,0) c Glues_total : 75
163.76/122.05	c (19,0) c Glues_winner : 1
163.76/122.05	c (19,0) c RunningTime_0 : 0.815454
163.76/122.05	c (19,0) c RunningTime_1 : 0.794581
163.76/122.05	c (19,0) c RunningTime_2 : 0.682077
163.76/122.05	c (19,0) c RunningTime_3 : 0.756069
163.76/122.05	c (19,0) c RunningTime_4 : 0.678288
163.76/122.05	c (19,0) c RunningTime_5 : 0.759485
163.76/122.05	c (19,0) c RunningTime_6 : 0.706822
163.76/122.05	c (19,0) c RunningTime_7 : 0.779338
163.76/122.05	c (19,0) c RunningTime_total : 5.972115
163.76/122.05	c (19,0) c RunningTime_winner : 0.682077
163.76/122.05	c (19,0) c WaitingTime_0 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_1 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_2 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_3 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_4 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_5 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_6 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_7 : 0.000000
163.76/122.05	c (19,0) c WaitingTime_total : 0.000000
163.76/122.05	c (19,0) c WaitingTime_winner : 0.000000
163.76/122.05	c (19,0) c ExchangingTime_0 : 0.000083
163.76/122.05	c (19,0) c ExchangingTime_1 : 0.000064
163.76/122.05	c (19,0) c ExchangingTime_2 : 0.000030
163.76/122.05	c (19,0) c ExchangingTime_3 : 0.000092
163.76/122.05	c (19,0) c ExchangingTime_4 : 0.000037
163.76/122.05	c (19,0) c ExchangingTime_5 : 0.000017
163.76/122.05	c (19,0) c ExchangingTime_6 : 0.000110
163.76/122.05	c (19,0) c ExchangingTime_7 : 0.000045
163.76/122.05	c (19,0) c ExchangingTime_total : 0.000479
163.76/122.05	c (19,0) c ExchangingTime_winner : 0.000030
163.76/122.05	c (19,0) c PeriodProcTime_0 : 0.000024
163.76/122.05	c (19,0) c PeriodProcTime_1 : 0.000037
163.76/122.05	c (19,0) c PeriodProcTime_2 : 0.000027
163.76/122.05	c (19,0) c PeriodProcTime_3 : 0.000043
163.76/122.05	c (19,0) c PeriodProcTime_4 : 0.000041
163.76/122.05	c (19,0) c PeriodProcTime_5 : 0.000042
163.76/122.05	c (19,0) c PeriodProcTime_6 : 0.000087
163.76/122.05	c (19,0) c PeriodProcTime_7 : 0.000035
163.76/122.05	c (19,0) c PeriodProcTime_total : 0.000336
163.76/122.05	c (19,0) c PeriodProcTime_winner : 0.000027
163.76/122.05	c (19,0) c SolvingTime_0 : 0.815561
163.76/122.05	c (19,0) c SolvingTime_1 : 0.794683
163.76/122.05	c (19,0) c SolvingTime_2 : 0.682134
163.76/122.05	c (19,0) c SolvingTime_3 : 0.756205
163.76/122.05	c (19,0) c SolvingTime_4 : 0.678365
163.76/122.05	c (19,0) c SolvingTime_5 : 0.759544
163.76/122.05	c (19,0) c SolvingTime_6 : 0.707020
163.76/122.05	c (19,0) c SolvingTime_7 : 0.779418
163.76/122.05	c (19,0) c SolvingTime_total : 5.972930
163.76/122.05	c (19,0) c SolvingTime_winner : 0.682134
163.76/122.05	c (19,0) c PropagationTime_0 : 0.779717
163.76/122.05	c (19,0) c PropagationTime_1 : 0.762242
163.76/122.05	c (19,0) c PropagationTime_2 : 0.659627
163.76/122.05	c (19,0) c PropagationTime_3 : 0.726716
163.76/122.05	c (19,0) c PropagationTime_4 : 0.660999
163.76/122.05	c (19,0) c PropagationTime_5 : 0.748001
163.76/122.05	c (19,0) c PropagationTime_6 : 0.683040
163.76/122.05	c (19,0) c PropagationTime_7 : 0.748511
163.76/122.05	c (19,0) c PropagationTime_total : 5.768852
163.76/122.05	c (19,0) c PropagationTime_winner : 0.659627
163.76/122.05	c (19,0) c AnalysisTime_0 : 0.030143
163.76/122.05	c (19,0) c AnalysisTime_1 : 0.023108
163.76/122.05	c (19,0) c AnalysisTime_2 : 0.015186
163.76/122.05	c (19,0) c AnalysisTime_3 : 0.019272
163.76/122.05	c (19,0) c AnalysisTime_4 : 0.009863
163.76/122.05	c (19,0) c AnalysisTime_5 : 0.006977
163.76/122.05	c (19,0) c AnalysisTime_6 : 0.016565
163.76/122.05	c (19,0) c AnalysisTime_7 : 0.023557
163.76/122.05	c (19,0) c AnalysisTime_total : 0.144670
163.76/122.05	c (19,0) c AnalysisTime_winner : 0.015186
163.76/122.05	c (19,0) c ReductionTime_0 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_1 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_2 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_3 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_4 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_5 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_6 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_7 : 0.000000
163.76/122.05	c (19,0) c ReductionTime_total : 0.000000
163.76/122.05	c (19,0) c ReductionTime_winner : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_0 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_1 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_2 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_3 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_4 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_5 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_6 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_7 : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_total : 0.000000
163.76/122.05	c (19,0) c SimplifyTime_winner : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_0 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_1 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_2 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_3 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_4 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_5 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_6 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_7 : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_total : 0.000000
163.76/122.05	c (19,0) c UsedRateTime_winner : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_0 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_1 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_2 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_3 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_4 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_5 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_6 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_7 : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_total : 0.000000
163.76/122.05	c (19,0) c OverlapRateTime_winner : 0.000000
163.76/122.05	c (19,0) c
163.76/122.05	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
163.76/122.05	c (19,0) c
163.76/122.05	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.05	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
163.76/122.05	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.05	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
163.76/122.05	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
163.76/122.05	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
163.76/122.05	c (19,0) c | Initial random_seed   |  668174473 | 1741576134 |  565357451 |  302007360 |  661814310 | 1317327661 | 1346208642 | 1974590288 |
163.76/122.05	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
163.76/122.05	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
163.76/122.05	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
163.76/122.05	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
163.76/122.05	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
163.76/122.05	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
163.76/122.05	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
163.76/122.05	c (19,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
163.76/122.05	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
163.76/122.05	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
163.76/122.05	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
163.76/122.05	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
163.76/122.05	c (19,0) 
163.76/122.05	c (19,0) s SATISFIABLE
139.79/122.15	c (19,0) SatSolver.solve End
139.79/122.15	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
139.79/122.15	c (19,0) Show results Begin
164.27/122.27	c (19,0) x[0] = 35
164.27/122.27	c (19,0) x[1] = 31
164.27/122.27	c (19,0) x[2] = 192
164.27/122.27	c (19,0) x[3] = 47
164.27/122.27	c (19,0) x[4] = 95
164.27/122.27	c (19,0) x[5] = 53
164.27/122.27	c (19,0) x[6] = 23
164.27/122.27	c (19,0) x[7] = 139
164.27/122.27	c (19,0) x[8] = 29
164.27/122.27	c (19,0) x[9] = 1
164.27/122.27	c (19,0) x[10] = 196
164.27/122.27	c (19,0) x[11] = 180
164.27/122.27	c (19,0) x[12] = 45
164.27/122.27	c (19,0) x[13] = 44
164.27/122.27	c (19,0) x[14] = 0
164.27/122.27	c (19,0) x[15] = 135
164.27/122.27	c (19,0) x[16] = 85
164.27/122.27	c (19,0) x[17] = 90
164.27/122.27	c (19,0) x[18] = 38
164.27/122.27	c (19,0) x[19] = 127
164.27/122.27	c (19,0) x[20] = 138
164.27/122.27	c (19,0) x[21] = 40
164.27/122.27	c (19,0) x[22] = 149
164.27/122.27	c (19,0) x[23] = 28
164.27/122.27	c (19,0) x[24] = 126
164.27/122.27	c (19,0) x[25] = 137
164.27/122.27	c (19,0) x[26] = 70
164.27/122.27	c (19,0) x[27] = 100
164.27/122.27	c (19,0) x[28] = 34
164.27/122.27	c (19,0) x[29] = 162
164.27/122.27	c (19,0) x[30] = 42
164.27/122.27	c (19,0) x[31] = 18
164.27/122.27	c (19,0) x[32] = 50
164.27/122.27	c (19,0) x[33] = 112
164.27/122.27	c (19,0) x[34] = 107
164.27/122.27	c (19,0) x[35] = 87
164.27/122.27	c (19,0) x[36] = 123
164.27/122.27	c (19,0) x[37] = 94
164.27/122.27	c (19,0) x[38] = 148
164.27/122.27	c (19,0) x[39] = 27
164.27/122.27	c (19,0) x[40] = 15
164.27/122.27	c (19,0) x[41] = 83
164.27/122.27	c (19,0) x[42] = 82
164.27/122.27	c (19,0) x[43] = 73
164.27/122.27	c (19,0) x[44] = 7
164.27/122.27	c (19,0) x[45] = 144
164.27/122.27	c (19,0) x[46] = 191
164.27/122.27	c (19,0) x[47] = 71
164.27/122.27	c (19,0) x[48] = 106
164.27/122.27	c (19,0) x[49] = 5
164.27/122.27	c (19,0) x[50] = 140
164.27/122.27	c (19,0) x[51] = 179
164.27/122.27	c (19,0) x[52] = 3
164.27/122.27	c (19,0) x[53] = 165
164.27/122.27	c (19,0) x[54] = 24
164.27/122.27	c (19,0) x[55] = 119
164.27/122.27	c (19,0) x[56] = 93
164.27/122.27	c (19,0) x[57] = 152
164.27/122.27	c (19,0) x[58] = 74
164.27/122.27	c (19,0) x[59] = 80
164.27/122.27	c (19,0) x[60] = 51
164.27/122.27	c (19,0) x[61] = 78
164.27/122.27	c (19,0) x[62] = 32
164.27/122.27	c (19,0) x[63] = 156
164.27/122.27	c (19,0) x[64] = 52
164.27/122.27	c (19,0) x[65] = 136
164.27/122.27	c (19,0) x[66] = 194
164.27/122.27	c (19,0) x[67] = 56
164.27/122.27	c (19,0) x[68] = 103
164.27/122.27	c (19,0) x[69] = 147
164.27/122.27	c (19,0) x[70] = 37
164.27/122.27	c (19,0) x[71] = 69
164.27/122.27	c (19,0) x[72] = 131
164.27/122.27	c (19,0) x[73] = 169
164.27/122.27	c (19,0) x[74] = 67
164.27/122.27	c (19,0) x[75] = 25
164.27/122.27	c (19,0) x[76] = 125
164.27/122.27	c (19,0) x[77] = 185
164.27/122.27	c (19,0) x[78] = 98
164.27/122.27	c (19,0) x[79] = 176
164.27/122.27	c (19,0) x[80] = 159
164.27/122.27	c (19,0) x[81] = 128
164.27/122.27	c (19,0) x[82] = 92
164.27/122.27	c (19,0) x[83] = 33
164.27/122.27	c (19,0) x[84] = 30
164.27/122.27	c (19,0) x[85] = 170
164.27/122.28	c (20,0) x[86] = 167
164.27/122.28	c (20,0) x[87] = 11
164.27/122.28	c (20,0) x[88] = 89
164.27/122.28	c (20,0) x[89] = 68
164.27/122.28	c (20,0) x[90] = 193
164.27/122.28	c (20,0) x[91] = 16
164.27/122.28	c (20,0) x[92] = 160
164.27/122.28	c (20,0) x[93] = 86
164.27/122.28	c (20,0) x[94] = 22
164.27/122.28	c (20,0) x[95] = 168
164.27/122.28	c (20,0) x[96] = 189
164.27/122.28	c (20,0) x[97] = 115
164.27/122.28	c (20,0) x[98] = 96
164.27/122.28	c (20,0) x[99] = 99
164.27/122.28	c (20,0) x[100] = 175
164.27/122.28	c (20,0) x[101] = 190
164.27/122.28	c (20,0) x[102] = 122
164.27/122.28	c (20,0) x[103] = 72
164.27/122.28	c (20,0) x[104] = 8
164.27/122.28	c (20,0) x[105] = 17
164.27/122.28	c (20,0) x[106] = 21
164.27/122.28	c (20,0) x[107] = 178
164.27/122.28	c (20,0) x[108] = 171
164.27/122.28	c (20,0) x[109] = 12
164.27/122.28	c (20,0) x[110] = 153
164.27/122.28	c (20,0) x[111] = 39
164.27/122.28	c (20,0) x[112] = 163
164.27/122.28	c (20,0) x[113] = 161
164.27/122.28	c (20,0) x[114] = 63
164.27/122.28	c (20,0) x[115] = 154
164.27/122.28	c (20,0) x[116] = 81
164.27/122.28	c (20,0) x[117] = 101
164.27/122.28	c (20,0) x[118] = 146
164.27/122.28	c (20,0) x[119] = 181
164.27/122.28	s SATISFIABLE
164.27/122.29	v <instantiation>
164.27/122.29	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119]</list>
164.27/122.29	v     <values>35 31 192 47 95 53 23 139 29 1 196 180 45 44 0 135 85 90 38 127 138 40 149 28 126 137 70 100 34 162 42 18 50 112 107 87 123 94 148 27 15 83 82 73 7 144 191 71 106 5 140 179 3 165 24 119 93 152 74 80 51 78 32 156 52 136 194 56 103 147 37 69 131 169 67 25 125 185 98 176 159 128 92 33 30 170 167 11 89 68 193 16 160 86 22 168 189 115 96 99 175 190 122 72 8 17 21 178 171 12 153 39 163 161 63 154 81 101 146 181</values>
164.27/122.29	v </instantiation>
164.27/122.29	c (20,0) Show results End
164.27/122.29	c (20,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
164.27/122.29	c (20,0) 19,20,STOP-AFTER(ALL)
164.27/122.29	c END-Prog: Sat Sep 14 05:35:41 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 (15293 MiB free)
  memory of node 1: 16384 MiB (15491 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392294-1568432063/watcher-4392294-1568432063 -o /tmp/evaluation-result-4392294-1568432063/solver-4392294-1568432063 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568427821-15482 --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-4392294-1568432063.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=16154, runsolver pid=16151
Current StackSize limit: 8192 KiB


[startup+0.100168 s]*
/proc/loadavg: 7.52 8.21 7.86 2/211 16176
/proc/meminfo: memFree=31431248/32770624 swapFree=66995788/67108860
[pid=16154] ppid=16151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16154/stat : 16154 (scop.sh) S 16151 16154 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419457788 115843072 349 33554432000 4194304 5098028 140722213407424 140722213404680 139834142601852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30289920 140722213409573 140722213409900 140722213409900 140722213412813 0
/proc/16154/statm: 28282 349 296 221 0 87 0
[pid=16157] ppid=16154 vsize=27314120 memory=106260 CPUtime=0.11 cores=0-7
/proc/16157/stat : 16157 (java) S 16154 16154 15455 0 -1 1077944320 6132 0 0 0 8 3 0 0 20 0 20 0 419457788 27969658880 26565 33554432000 4194304 4196468 140730363254640 140730363237184 139889742130935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
/proc/16157/statm: 6828530 26565 2795 1 0 6790935 0
[pid=16157/tid=16158] ppid=16154 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/16157/task/16158/stat : 16158 (java) R 16154 16154 15455 0 -1 4202560 4248 0 0 0 6 2 0 0 20 0 20 0 419457788 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889713957264 139889726211422 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16159] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16159/stat : 16159 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889746373136 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16160] ppid=16154 vsize=27314120 memory=3834168167819368096 CPUtime=0 cores=0-7
/proc/16157/task/16160/stat : 16160 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889163844240 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16161] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16161/stat : 16161 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889162791184 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16162] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16162/stat : 16162 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889161738640 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16163] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16163/stat : 16163 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889160686608 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16164] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16164/stat : 16164 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889159634064 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16165] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16165/stat : 16165 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889158581008 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16166] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16166/stat : 16166 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 26565 33554432000 4194304 4196468 140730363254640 139889157528464 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16167] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16167/stat : 16167 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457792 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887860898032 139889742142082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16168] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16168/stat : 16168 (java) S 16154 16154 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419457793 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887688803488 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16169] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16169/stat : 16169 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457793 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887420367600 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16170] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16170/stat : 16170 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887045859280 139889742149531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16171] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16171/stat : 16171 (java) S 16154 16154 15455 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887859845872 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16172] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16172/stat : 16172 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887858793328 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16173] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16173/stat : 16173 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887857740272 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16174] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16174/stat : 16174 (java) S 16154 16154 15455 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887856687728 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16175] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16175/stat : 16175 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457796 27969658880 26565 33554432000 4194304 4196468 140730363254640 139886547954144 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16176] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16176/stat : 16176 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457796 27969658880 26565 33554432000 4194304 4196468 140730363254640 139887855635120 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107656 KiB

[startup+0.210119 s]*
/proc/loadavg: 7.52 8.21 7.86 3/211 16176
/proc/meminfo: memFree=31409640/32770624 swapFree=66995788/67108860
[pid=16154] ppid=16151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16154/stat : 16154 (scop.sh) S 16151 16154 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419457788 115843072 349 33554432000 4194304 5098028 140722213407424 140722213404680 139834142601852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30289920 140722213409573 140722213409900 140722213409900 140722213412813 0
/proc/16154/statm: 28282 349 296 221 0 87 0
[pid=16157] ppid=16154 vsize=27314120 memory=125852 CPUtime=0.24 cores=0-7
/proc/16157/stat : 16157 (java) S 16154 16154 15455 0 -1 1077944320 11628 0 0 0 20 4 0 0 20 0 20 0 419457788 27969658880 31463 33554432000 4194304 4196468 140730363254640 140730363237184 139889742130935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
/proc/16157/statm: 6828530 31463 2971 1 0 6790935 0
[pid=16157/tid=16158] ppid=16154 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16157/task/16158/stat : 16158 (java) R 16154 16154 15455 0 -1 4202560 9345 0 0 0 16 4 0 0 20 0 20 0 419457788 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889713946000 139889723504704 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16159] ppid=16154 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/16157/task/16159/stat : 16159 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889746373136 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16160] ppid=16154 vsize=27314120 memory=140106986348653 CPUtime=0 cores=0-7
/proc/16157/task/16160/stat : 16160 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889163844240 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16161] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16161/stat : 16161 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889162791184 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16162] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16162/stat : 16162 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889161738640 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16163] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16163/stat : 16163 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889160686608 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16164] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16164/stat : 16164 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889159634064 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16165] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16165/stat : 16165 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889158581008 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16166] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16166/stat : 16166 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 31463 33554432000 4194304 4196468 140730363254640 139889157528464 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16167] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16167/stat : 16167 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457792 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887860898032 139889742142082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16168] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16168/stat : 16168 (java) S 16154 16154 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419457793 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887688803488 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16169] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16169/stat : 16169 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457793 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887420367600 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16170] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16170/stat : 16170 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887045859280 139889742149531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16171] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16171/stat : 16171 (java) S 16154 16154 15455 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887859845872 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16172] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16172/stat : 16172 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887858793328 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16173] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16173/stat : 16173 (java) S 16154 16154 15455 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887857740272 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16174] ppid=16154 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16157/task/16174/stat : 16174 (java) S 16154 16154 15455 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 419457795 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887856687728 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16175] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16175/stat : 16175 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457796 27969658880 31463 33554432000 4194304 4196468 140730363254640 139886547954144 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16176] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16176/stat : 16176 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457796 27969658880 31463 33554432000 4194304 4196468 140730363254640 139887855635120 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127248 KiB

[startup+0.309378 s]*
/proc/loadavg: 7.52 8.21 7.86 3/211 16176
/proc/meminfo: memFree=31406312/32770624 swapFree=66995788/67108860
[pid=16154] ppid=16151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16154/stat : 16154 (scop.sh) S 16151 16154 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419457788 115843072 349 33554432000 4194304 5098028 140722213407424 140722213404680 139834142601852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30289920 140722213409573 140722213409900 140722213409900 140722213412813 0
/proc/16154/statm: 28282 349 296 221 0 87 0
[pid=16157] ppid=16154 vsize=27314120 memory=129688 CPUtime=0.42 cores=0-7
/proc/16157/stat : 16157 (java) S 16154 16154 15455 0 -1 1077944320 12812 0 0 0 37 5 0 0 20 0 20 0 419457788 27969658880 32422 33554432000 4194304 4196468 140730363254640 140730363237184 139889742130935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
/proc/16157/statm: 6828530 32422 3007 1 0 6790935 0
[pid=16157/tid=16158] ppid=16154 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/16157/task/16158/stat : 16158 (java) R 16154 16154 15455 0 -1 4202560 10316 0 0 0 25 4 0 0 20 0 20 0 419457788 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889713913952 139889722406315 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16159] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16159/stat : 16159 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889746373136 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16160] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16160/stat : 16160 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889163844240 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16161] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16161/stat : 16161 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889162791184 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16162] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16162/stat : 16162 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889161738640 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16163] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16163/stat : 16163 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889160686608 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16164] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16164/stat : 16164 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889159634064 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16165] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16165/stat : 16165 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889158581008 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16166] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16166/stat : 16166 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27969658880 32422 33554432000 4194304 4196468 140730363254640 139889157528464 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16167] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16167/stat : 16167 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457792 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887860898032 139889742142082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16168] ppid=16154 vsize=27314120 memory=280213732924800 CPUtime=0 cores=0-7
/proc/16157/task/16168/stat : 16168 (java) S 16154 16154 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419457793 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887688803488 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16169] ppid=16154 vsize=27314120 memory=280213732929408 CPUtime=0 cores=0-7
/proc/16157/task/16169/stat : 16169 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457793 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887420367600 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16170] ppid=16154 vsize=27314120 memory=280213732934016 CPUtime=0 cores=0-7
/proc/16157/task/16170/stat : 16170 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887045859280 139889742149531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16171] ppid=16154 vsize=27314120 memory=280213732938624 CPUtime=0 cores=0-7
/proc/16157/task/16171/stat : 16171 (java) S 16154 16154 15455 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 20 0 419457795 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887859845872 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16172] ppid=16154 vsize=27314120 memory=280213732943232 CPUtime=0.01 cores=0-7
/proc/16157/task/16172/stat : 16172 (java) S 16154 16154 15455 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 419457795 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887858793328 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16173] ppid=16154 vsize=27314120 memory=280213732947840 CPUtime=0.01 cores=0-7
/proc/16157/task/16173/stat : 16173 (java) S 16154 16154 15455 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 419457795 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887857740272 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16174] ppid=16154 vsize=27314120 memory=280213732952448 CPUtime=0.07 cores=0-7
/proc/16157/task/16174/stat : 16174 (java) S 16154 16154 15455 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 20 0 419457795 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887856687728 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16175] ppid=16154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16175/stat : 16175 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419457796 27969658880 32422 33554432000 4194304 4196468 140730363254640 139886547954144 139889742141141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16176] ppid=16154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16157/task/16176/stat : 16176 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457796 27969658880 32422 33554432000 4194304 4196468 140730363254640 139887855635120 139889742142082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131084 KiB

[startup+0.700878 s]
/proc/loadavg: 7.52 8.21 7.86 2/211 16176
/proc/meminfo: memFree=31385508/32770624 swapFree=66995788/67108860
[pid=16154] ppid=16151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16154/stat : 16154 (scop.sh) S 16151 16154 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419457788 115843072 349 33554432000 4194304 5098028 140722213407424 140722213404680 139834142601852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30289920 140722213409573 140722213409900 140722213409900 140722213412813 0
/proc/16154/statm: 28282 349 296 221 0 87 0
[pid=16157] ppid=16154 vsize=27320392 memory=164256 CPUtime=0.95 cores=0-7
/proc/16157/stat : 16157 (java) S 16154 16154 15455 0 -1 1077944320 19639 0 0 0 88 7 0 0 20 0 20 0 419457788 27976081408 41064 33554432000 4194304 4196468 140730363254640 140730363237184 139889742130935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
/proc/16157/statm: 6830098 41064 3170 1 0 6791447 0
[pid=16157/tid=16158] ppid=16154 vsize=27320392 memory=4580 CPUtime=0.66 cores=0-7
/proc/16157/task/16158/stat : 16158 (java) D 16154 16154 15455 0 -1 4202560 16807 0 0 0 60 6 0 0 20 0 20 0 419457788 27976081408 41064 33554432000 4194304 4196468 140730363254640 139889713970208 139889742152861 0 4 2 25189581 18446744072099896453 0 0 -1 0 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16159] ppid=16154 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16159/stat : 16159 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27976081408 41064 33554432000 4194304 4196468 140730363254640 139889746373136 139889742141141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16160] ppid=16154 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16157/task/16160/stat : 16160 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419457791 27976081408 41064 33554432000 4194304 4196468 140730363254640 139889163844240 139889742141141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0
[pid=16157/tid=16161] ppid=16154 vsize=27320392 memory=8556 CPUtime=0 cores=0-7
/proc/16157/task/16161/stat : 16161 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419457791 27976081408 41064 33554432000 4194304 4196468 140730363254640 139889162791184 139889742141141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140730363261675 140730363262102 140730363262102 140730363264975 0

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

[pid=16182/tid=16183] ppid=16154 vsize=8414124 memory=8317482817917895235 CPUtime=0.77 cores=0-7
/proc/16182/task/16183/stat : 16183 (java) S 16154 16154 15455 0 -1 1077944384 16944 0 0 0 71 6 0 0 20 0 24 0 419467977 8616062976 30069 33554432000 4194304 4196468 140728756006336 140176041492384 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16184] ppid=16154 vsize=8414124 memory=1616 CPUtime=0 cores=0-7
/proc/16182/task/16184/stat : 16184 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140176073894288 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16185] ppid=16154 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/16182/task/16185/stat : 16185 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175874062608 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16186] ppid=16154 vsize=8414124 memory=397188 CPUtime=0 cores=0-7
/proc/16182/task/16186/stat : 16186 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175873010320 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16187] ppid=16154 vsize=8414124 memory=314876 CPUtime=0 cores=0-7
/proc/16182/task/16187/stat : 16187 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175871957520 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16188] ppid=16154 vsize=8414124 memory=308312 CPUtime=0 cores=0-7
/proc/16182/task/16188/stat : 16188 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175870905232 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16189] ppid=16154 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/16182/task/16189/stat : 16189 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175869852432 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16190] ppid=16154 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/16182/task/16190/stat : 16190 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175868800144 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16191] ppid=16154 vsize=8414124 memory=1604 CPUtime=0 cores=0-7
/proc/16182/task/16191/stat : 16191 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419467978 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175867747344 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16192] ppid=16154 vsize=8414124 memory=8556 CPUtime=0 cores=0-7
/proc/16182/task/16192/stat : 16192 (java) S 16154 16154 15455 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419467980 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175163041904 140176069663362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16193] ppid=16154 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/16182/task/16193/stat : 16193 (java) S 16154 16154 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419467980 8616062976 30069 33554432000 4194304 4196468 140728756006336 140174713414432 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16194] ppid=16154 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/16182/task/16194/stat : 16194 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419467980 8616062976 30069 33554432000 4194304 4196468 140728756006336 140174444979312 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16195] ppid=16154 vsize=8414124 memory=3440 CPUtime=0 cores=0-7
/proc/16182/task/16195/stat : 16195 (java) S 16154 16154 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419467983 8616062976 30069 33554432000 4194304 4196468 140728756006336 140174070470736 140176069670811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16196] ppid=16154 vsize=8414124 memory=2832 CPUtime=0.05 cores=0-7
/proc/16182/task/16196/stat : 16196 (java) S 16154 16154 15455 0 -1 1077944384 602 0 0 0 5 0 0 0 20 0 24 0 419467983 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175161989744 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16197] ppid=16154 vsize=8414124 memory=5904 CPUtime=0.07 cores=0-7
/proc/16182/task/16197/stat : 16197 (java) S 16154 16154 15455 0 -1 1077944384 256 0 0 0 7 0 0 0 20 0 24 0 419467983 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175160936944 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16198] ppid=16154 vsize=8414124 memory=664 CPUtime=0.06 cores=0-7
/proc/16182/task/16198/stat : 16198 (java) S 16154 16154 15455 0 -1 1077944384 304 0 0 0 6 0 0 0 20 0 24 0 419467983 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175159884656 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16199] ppid=16154 vsize=8414124 memory=1156 CPUtime=0.21 cores=0-7
/proc/16182/task/16199/stat : 16199 (java) S 16154 16154 15455 0 -1 1077944384 574 0 0 0 21 0 0 0 20 0 24 0 419467983 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175158831856 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16200] ppid=16154 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/16182/task/16200/stat : 16200 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419467983 8616062976 30069 33554432000 4194304 4196468 140728756006336 140173572565344 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16201] ppid=16154 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/16182/task/16201/stat : 16201 (java) S 16154 16154 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419467984 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175157778736 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16203] ppid=16154 vsize=8414124 memory=6980 CPUtime=0 cores=0-7
/proc/16182/task/16203/stat : 16203 (java) S 16154 16154 15455 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419468062 8616062976 30069 33554432000 4194304 4196468 140728756006336 140175149745472 140176069676825 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16205] ppid=16154 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16182/task/16205/stat : 16205 (java) S 16154 16154 15455 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419468062 8616062976 30069 33554432000 4194304 4196468 140728756006336 140172901466000 140176069674141 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16206] ppid=16154 vsize=8414124 memory=120276 CPUtime=0 cores=0-7
/proc/16182/task/16206/stat : 16206 (java) S 16154 16154 15455 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419468062 8616062976 30069 33554432000 4194304 4196468 140728756006336 140173169901328 140176069674141 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16207] ppid=16154 vsize=8414124 memory=425692 CPUtime=0 cores=0-7
/proc/16182/task/16207/stat : 16207 (java) S 16154 16154 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419468064 8616062976 30069 33554432000 4194304 4196468 140728756006336 140172633038640 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
Current children cumulated CPU time: 163.76 s
Current children cumulated vsize: 11407512 KiB
Current children cumulated memory: 2557692 KiB

[startup+122.201 s]
/proc/loadavg: 1.98 5.83 7.03 3/219 16218
/proc/meminfo: memFree=28902964/32770624 swapFree=66995788/67108860
[pid=16154] ppid=16151 vsize=113128 memory=1476 CPUtime=138.39 cores=0-7
/proc/16154/stat : 16154 (scop.sh) S 16151 16154 15455 0 -1 4202496 583 71314 0 0 0 0 13054 785 20 0 1 0 419457788 115843072 369 33554432000 4194304 5098028 140722213407424 140722213404168 139834142601852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30289920 140722213409573 140722213409900 140722213409900 140722213412813 0
/proc/16154/statm: 28282 369 311 221 0 87 0
[pid=16182] ppid=16154 vsize=8283048 memory=149416 CPUtime=25.88 cores=0-7
/proc/16182/stat : 16182 (java) S 16154 16154 15455 0 -1 1077944320 21127 567391 0 0 150 9 2325 104 20 0 22 0 419467976 8481841152 37354 33554432000 4194304 4196468 140728756006336 140728755988880 140176069652215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
/proc/16182/statm: 2070762 37354 3229 1 0 2032106 0
[pid=16182/tid=16183] ppid=16154 vsize=8283048 memory=425692 CPUtime=25.11 cores=0-7
/proc/16182/task/16183/stat : 16183 (java) R 16154 16154 15455 0 -1 4202560 17071 567391 0 0 76 6 2325 104 20 0 22 0 419467977 8481841152 37354 33554432000 4194304 4196468 140728756006336 140176041491328 140175535794796 0 4 2 25189581 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16184] ppid=16154 vsize=8283048 memory=120276 CPUtime=24.29 cores=0-7
/proc/16182/task/16184/stat : 16184 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140176073894288 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16185] ppid=16154 vsize=8283048 memory=425692 CPUtime=24.29 cores=0-7
/proc/16182/task/16185/stat : 16185 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175874062608 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16186] ppid=16154 vsize=8283048 memory=14008 CPUtime=24.29 cores=0-7
/proc/16182/task/16186/stat : 16186 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175873010320 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16187] ppid=16154 vsize=8283048 memory=6980 CPUtime=24.29 cores=0-7
/proc/16182/task/16187/stat : 16187 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175871957520 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16188] ppid=16154 vsize=8283048 memory=12040 CPUtime=24.29 cores=0-7
/proc/16182/task/16188/stat : 16188 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175870905232 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16189] ppid=16154 vsize=8283048 memory=1440 CPUtime=24.29 cores=0-7
/proc/16182/task/16189/stat : 16189 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175869852432 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16190] ppid=16154 vsize=8283048 memory=820 CPUtime=24.29 cores=0-7
/proc/16182/task/16190/stat : 16190 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175868800144 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16191] ppid=16154 vsize=8283048 memory=1764 CPUtime=24.29 cores=0-7
/proc/16182/task/16191/stat : 16191 (java) S 16154 16154 15455 0 -1 1077944384 3 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175867747344 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16192] ppid=16154 vsize=8283048 memory=111632 CPUtime=24.29 cores=0-7
/proc/16182/task/16192/stat : 16192 (java) S 16154 16154 15455 0 -1 1077944384 5 567391 0 0 0 0 2325 104 20 0 22 0 419467980 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175163041904 140176069663362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16193] ppid=16154 vsize=8283048 memory=808 CPUtime=24.29 cores=0-7
/proc/16182/task/16193/stat : 16193 (java) S 16154 16154 15455 0 -1 1077944384 13 567391 0 0 0 0 2325 104 20 0 22 0 419467980 8481841152 37354 33554432000 4194304 4196468 140728756006336 140174713414432 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16194] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16194/stat : 16194 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467980 8481841152 37354 33554432000 4194304 4196468 140728756006336 140174444979312 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16195] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16195/stat : 16195 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467983 8481841152 37354 33554432000 4194304 4196468 140728756006336 140174070470736 140176069670811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16196] ppid=16154 vsize=8283048 memory=1242 CPUtime=24.38 cores=0-7
/proc/16182/task/16196/stat : 16196 (java) R 16154 16154 15455 0 -1 4202560 624 567391 0 0 9 0 2325 104 20 0 22 0 419467983 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175161973776 140176049147998 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16197] ppid=16154 vsize=8283048 memory=0 CPUtime=24.41 cores=0-7
/proc/16182/task/16197/stat : 16197 (java) R 16154 16154 15455 0 -1 4202560 525 567391 0 0 12 0 2325 104 20 0 22 0 419467983 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175160936944 140176051173400 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16198] ppid=16154 vsize=8283048 memory=13618 CPUtime=24.41 cores=0-7
/proc/16182/task/16198/stat : 16198 (java) R 16154 16154 15455 0 -1 4202560 341 567391 0 0 12 0 2325 104 20 0 22 0 419467983 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175159884656 140176062758766 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16199] ppid=16154 vsize=8283048 memory=0 CPUtime=24.56 cores=0-7
/proc/16182/task/16199/stat : 16199 (java) S 16154 16154 15455 0 -1 1077944384 1107 567391 0 0 27 0 2325 104 20 0 22 0 419467983 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175158831856 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16200] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16200/stat : 16200 (java) S 16154 16154 15455 0 -1 1077944384 3 567391 0 0 0 0 2325 104 20 0 22 0 419467983 8481841152 37354 33554432000 4194304 4196468 140728756006336 140173572565344 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16201] ppid=16154 vsize=8283048 memory=90242796 CPUtime=24.29 cores=0-7
/proc/16182/task/16201/stat : 16201 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467984 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175157778736 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16203] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16203/stat : 16203 (java) S 16154 16154 15455 0 -1 1077944384 24 567391 0 0 0 0 2325 104 20 0 22 0 419468062 8481841152 37354 33554432000 4194304 4196468 140728756006336 140175149744656 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16207] ppid=16154 vsize=8283048 memory=2185217 CPUtime=24.29 cores=0-7
/proc/16182/task/16207/stat : 16207 (java) S 16154 16154 15455 0 -1 1077944384 8 567391 0 0 0 0 2325 104 20 0 22 0 419468064 8481841152 37354 33554432000 4194304 4196468 140728756006336 140172633040432 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
Current children cumulated CPU time: 164.27 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 150892 KiB

[startup+122.301 s]
/proc/loadavg: 1.98 5.83 7.03 3/219 16218
/proc/meminfo: memFree=28902964/32770624 swapFree=66995788/67108860
[pid=16154] ppid=16151 vsize=113128 memory=1476 CPUtime=138.39 cores=0-7
/proc/16154/stat : 16154 (scop.sh) S 16151 16154 15455 0 -1 4202496 583 71314 0 0 0 0 13054 785 20 0 1 0 419457788 115843072 369 33554432000 4194304 5098028 140722213407424 140722213404168 139834142601852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30289920 140722213409573 140722213409900 140722213409900 140722213412813 0
/proc/16154/statm: 28282 369 311 221 0 87 0
[pid=16182] ppid=16154 vsize=8283048 memory=154556 CPUtime=26.12 cores=0-7
/proc/16182/stat : 16182 (java) S 16154 16154 15455 0 -1 1077944320 22431 567391 0 0 172 11 2325 104 20 0 22 0 419467976 8481841152 38639 33554432000 4194304 4196468 140728756006336 140728755988880 140176069652215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
/proc/16182/statm: 2070762 38639 3234 1 0 2032106 0
[pid=16182/tid=16183] ppid=16154 vsize=8283048 memory=12040 CPUtime=25.21 cores=0-7
/proc/16182/task/16183/stat : 16183 (java) R 16154 16154 15455 0 -1 4202560 18224 567391 0 0 84 8 2325 104 20 0 22 0 419467977 8481841152 38639 33554432000 4194304 4196468 140728756006336 140176041489776 140176062337847 0 4 2 25189581 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16184] ppid=16154 vsize=8283048 memory=1476 CPUtime=24.29 cores=0-7
/proc/16182/task/16184/stat : 16184 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140176073894288 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16185] ppid=16154 vsize=8283048 memory=120276 CPUtime=24.29 cores=0-7
/proc/16182/task/16185/stat : 16185 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175874062608 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16186] ppid=16154 vsize=8283048 memory=1476 CPUtime=24.29 cores=0-7
/proc/16182/task/16186/stat : 16186 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175873010320 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16187] ppid=16154 vsize=8283048 memory=425692 CPUtime=24.29 cores=0-7
/proc/16182/task/16187/stat : 16187 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175871957520 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16188] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16188/stat : 16188 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175870905232 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16189] ppid=16154 vsize=8283048 memory=142124 CPUtime=24.29 cores=0-7
/proc/16182/task/16189/stat : 16189 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175869852432 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16190] ppid=16154 vsize=8283048 memory=280213733316128 CPUtime=24.29 cores=0-7
/proc/16182/task/16190/stat : 16190 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175868800144 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16191] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16191/stat : 16191 (java) S 16154 16154 15455 0 -1 1077944384 3 567391 0 0 0 0 2325 104 20 0 22 0 419467978 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175867747344 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16192] ppid=16154 vsize=8283048 memory=280212995130012 CPUtime=24.29 cores=0-7
/proc/16182/task/16192/stat : 16192 (java) S 16154 16154 15455 0 -1 1077944384 5 567391 0 0 0 0 2325 104 20 0 22 0 419467980 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175163041904 140176069663362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16193] ppid=16154 vsize=8283048 memory=120276 CPUtime=24.29 cores=0-7
/proc/16182/task/16193/stat : 16193 (java) S 16154 16154 15455 0 -1 1077944384 13 567391 0 0 0 0 2325 104 20 0 22 0 419467980 8481841152 38639 33554432000 4194304 4196468 140728756006336 140174713414432 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16194] ppid=16154 vsize=8283048 memory=0 CPUtime=24.29 cores=0-7
/proc/16182/task/16194/stat : 16194 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467980 8481841152 38639 33554432000 4194304 4196468 140728756006336 140174444979312 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16195] ppid=16154 vsize=8283048 memory=1396 CPUtime=24.29 cores=0-7
/proc/16182/task/16195/stat : 16195 (java) S 16154 16154 15455 0 -1 1077944384 1 567391 0 0 0 0 2325 104 20 0 22 0 419467983 8481841152 38639 33554432000 4194304 4196468 140728756006336 140174070470736 140176069670811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16196] ppid=16154 vsize=8283048 memory=8251428 CPUtime=24.4 cores=0-7
/proc/16182/task/16196/stat : 16196 (java) S 16154 16154 15455 0 -1 1077944384 633 567391 0 0 11 0 2325 104 20 0 22 0 419467983 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175161989744 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16197] ppid=16154 vsize=8283048 memory=111632 CPUtime=24.44 cores=0-7
/proc/16182/task/16197/stat : 16197 (java) S 16154 16154 15455 0 -1 1077944384 543 567391 0 0 15 0 2325 104 20 0 22 0 419467983 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175160936944 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16198] ppid=16154 vsize=8283048 memory=808 CPUtime=24.45 cores=0-7
/proc/16182/task/16198/stat : 16198 (java) S 16154 16154 15455 0 -1 1077944384 363 567391 0 0 16 0 2325 104 20 0 22 0 419467983 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175159884656 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16199] ppid=16154 vsize=8283048 memory=928 CPUtime=24.61 cores=0-7
/proc/16182/task/16199/stat : 16199 (java) S 16154 16154 15455 0 -1 1077944384 1209 567391 0 0 32 0 2325 104 20 0 22 0 419467983 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175158831856 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16200] ppid=16154 vsize=8283048 memory=1604 CPUtime=24.29 cores=0-7
/proc/16182/task/16200/stat : 16200 (java) S 16154 16154 15455 0 -1 1077944384 3 567391 0 0 0 0 2325 104 20 0 22 0 419467983 8481841152 38639 33554432000 4194304 4196468 140728756006336 140173572565344 140176069662421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16201] ppid=16154 vsize=8283048 memory=1396 CPUtime=24.29 cores=0-7
/proc/16182/task/16201/stat : 16201 (java) S 16154 16154 15455 0 -1 1077944384 2 567391 0 0 0 0 2325 104 20 0 22 0 419467984 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175157778736 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16203] ppid=16154 vsize=8283048 memory=1396 CPUtime=24.29 cores=0-7
/proc/16182/task/16203/stat : 16203 (java) S 16154 16154 15455 0 -1 1077944384 24 567391 0 0 0 0 2325 104 20 0 22 0 419468062 8481841152 38639 33554432000 4194304 4196468 140728756006336 140175149744656 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
[pid=16182/tid=16207] ppid=16154 vsize=8283048 memory=209487029894739 CPUtime=24.29 cores=0-7
/proc/16182/task/16207/stat : 16207 (java) S 16154 16154 15455 0 -1 1077944384 8 567391 0 0 0 0 2325 104 20 0 22 0 419468064 8481841152 38639 33554432000 4194304 4196468 140728756006336 140172633040432 140176069663362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140728756007927 140728756008086 140728756008086 140728756010959 0
Current children cumulated CPU time: 164.51 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 156032 KiB

Child status: 0
Real time (s): 122.315
CPU time (s): 164.553
CPU user time (s): 155.521
CPU system time (s): 9.03187
CPU usage (%): 134.532
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8254340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.521
system time used= 9.03187
maximum resident set size= 8253728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 661756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42970
involuntary context switches= 529


# summary of solver processes directly reported to runsolver:
#   pid: 16154
#   total CPU time (s): 164.553
#   total CPU user time (s): 155.521
#   total CPU system time (s): 9.03187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.72571 second user time and 1.33431 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 05:33:38
IDJOB=4392294
IDBENCH=131540
IDSOLVER=2838
FILE ID=node102/4392294-1568432063
RUNJOBID= node102-1568427821-15482
PBS_JOBID= 21702300
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.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-4392294-1568432063/watcher-4392294-1568432063 -o /tmp/evaluation-result-4392294-1568432063/solver-4392294-1568432063 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568427821-15482 --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-4392294-1568432063.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=1671230730

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31525000 kB
MemAvailable:   31919340 kB
Buffers:          172876 kB
Cached:           514800 kB
SwapCached:         9436 kB
Active:           337476 kB
Inactive:         361380 kB
Active(anon):       8748 kB
Inactive(anon):    33880 kB
Active(file):     328728 kB
Inactive(file):   327500 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995788 kB
Dirty:             20772 kB
Writeback:             0 kB
AnonPages:        112508 kB
Mapped:            35348 kB
Shmem:             22804 kB
Slab:             136208 kB
SReclaimable:     107892 kB
SUnreclaim:        28316 kB
KernelStack:        3376 kB
PageTables:         5876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 05:35:41