Trace number 4405454

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16663-serial-file.bin HOME/instance-4405454-1569338934.xml
0.67/0.54	
0.67/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.67/0.54	
0.67/0.57	c BEGIN-Prog: Tue Sep 24 17:28:15 CEST 2019
0.67/0.57	c PID: 16666
0.67/0.57	c IP: 172.20.3.123
0.67/0.57	c HOST: node123.alineos.net
0.67/0.57	c (0,0) Parsing Begin
1.61/1.01	c (0,0) Parsing End
1.83/1.01	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 355 ctr, max domain size 200
1.83/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.83/1.01	c (0,0) Constraint Name Generate Begin
1.83/1.03	c (0,0) Ctr:HOME/instance-4405454-1569338934.xml,AllDifferent:ExtensionSupport:Var
1.83/1.03	c (0,0) Constraint Name Generate End
1.83/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.83/1.03	c (0,0) CSP to CSPinCNF Begin
15.10/6.78	c (6,6) translated 36 (10%) constraints
20.08/11.58	c (11,11) translated 71 (20%) constraints
24.98/16.49	c (15,15) translated 107 (30%) constraints
31.73/21.33	c (20,20) translated 142 (40%) constraints
36.34/25.95	c (25,25) translated 178 (50%) constraints
40.87/30.43	c (29,29) translated 213 (60%) constraints
48.83/35.48	c (34,34) translated 249 (70%) constraints
53.37/39.96	c (39,38) translated 284 (80%) constraints
57.99/44.56	c (44,43) translated 320 (90%) constraints
66.64/49.56	c (49,47) translated 355 (100%) constraints
66.74/49.68	c (49,47) ===========================================
67.12/50.00	c (49,48) Hybrid: #OE=70920, #LE=0
67.12/50.00	c (49,48) Hybrid
67.12/50.00	c (49,48) ===========================================
70.71/52.02	c (51,50) translated 96967 (10%) constraints
72.61/53.86	c (53,52) translated 193934 (20%) constraints
74.43/55.69	c (55,53) translated 290901 (30%) constraints
76.34/57.51	c (56,55) translated 387868 (40%) constraints
78.14/59.34	c (58,57) translated 484835 (50%) constraints
79.95/61.16	c (60,59) translated 581802 (60%) constraints
81.75/62.99	c (62,61) translated 678769 (70%) constraints
83.65/64.83	c (64,63) translated 775736 (80%) constraints
85.45/66.66	c (66,64) translated 872703 (90%) constraints
93.44/69.27	c (68,66) translated 969669 (100%) constraints
93.44/69.27	c (68,66) CSP to CSPinCNF End
93.55/69.30	c (68,66) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969669 ctr, max domain size 200
93.55/69.30	c (68,66) Heap : 1118 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.55/69.30	c (68,66) CSPinCNF Propagation Begin
100.10/74.56	c (74,72) 0 values, 354 unsatisfiable literals, and 1 valid clauses are removed
100.10/74.56	c (74,72) CSPinCNF Propagation End
100.10/74.59	c (74,72) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969668 ctr, max domain size 200
100.10/74.59	c (74,72) Heap : 6639 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
103.47/75.27	c (74,72) Hybrid: #OE=70920, #LE=0
103.47/75.27	c (74,72) Simplify CSPinCNF Begin
106.23/77.06	c (76,74) Simplify CSPinCNF End
106.23/77.09	c (76,74) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
106.23/77.09	c (76,74) Heap : 2049 MiB used (max 21491 MiB), NonHeap : 29 MiB used (max 0 MiB)
106.23/77.09	c (76,74) Calculate Precise Domain Begin
106.23/77.09	c (76,74) 0 values are removed by re-calculation
106.23/77.09	c (76,74) Calculate Precise Domain End
106.34/77.12	c (76,74) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
106.34/77.12	c (76,74) Heap : 2049 MiB used (max 21491 MiB), NonHeap : 29 MiB used (max 0 MiB)
106.34/77.12	c (76,74) CSPinCNF to SatSolver Begin
126.97/90.94	c (90,86) 98395 (10 %) CSP clauses are encoded (0 SAT variables, 2963874 SAT clauses)
127.92/91.89	c (91,87) 196790 (20 %) CSP clauses are encoded (0 SAT variables, 3062269 SAT clauses)
128.92/92.83	c (92,88) 295185 (30 %) CSP clauses are encoded (0 SAT variables, 3160664 SAT clauses)
129.82/93.78	c (93,89) 393580 (40 %) CSP clauses are encoded (0 SAT variables, 3259059 SAT clauses)
130.83/94.72	c (94,90) 491974 (50 %) CSP clauses are encoded (0 SAT variables, 3357453 SAT clauses)
131.78/95.82	c (95,91) 590369 (60 %) CSP clauses are encoded (0 SAT variables, 3455848 SAT clauses)
137.16/97.35	c (96,92) 688764 (70 %) CSP clauses are encoded (0 SAT variables, 3554243 SAT clauses)
138.16/98.31	c (97,93) 787159 (80 %) CSP clauses are encoded (0 SAT variables, 3652638 SAT clauses)
139.07/99.26	c (98,94) 885554 (90 %) CSP clauses are encoded (0 SAT variables, 3751033 SAT clauses)
140.07/100.21	c (99,95) 983948 (100 %) CSP clauses are encoded (0 SAT variables, 3849427 SAT clauses)
140.07/100.21	c (99,95) CSPinCNF to SatSolver End
140.07/100.21	c (99,95) Heap : 3472 MiB used (max 21353 MiB), NonHeap : 31 MiB used (max 0 MiB)
140.07/100.21	c (99,95) 108960 bool, 3849428 clause
140.07/100.21	c (99,95) Export Begin
140.23/100.31	c (99,95) Export to HOME/scop-16663-serial-file.bin
140.23/100.31	c (99,95) Export End
140.23/100.32	c (99,95) Export File Size: 0.03 MB
140.23/100.32	c (99,95) 0,0,68,74,76,76,99,STOP-AFTER(DIMACS)
140.23/100.32	c END-Prog: Tue Sep 24 17:29:54 CEST 2019
140.23/100.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16663-serial-file.bin
140.33/100.83	c (0,0) Read Serial File Begin
140.33/100.83	c (0,0) HOME/scop-16663-serial-file.bin
141.18/101.05	c (0,0) Read Serial File End
141.18/101.07	
141.18/101.07	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
141.18/101.07	(Solving Process)
141.18/101.07	
141.18/101.09	c BEGIN-Prog: Tue Sep 24 17:29:55 CEST 2019
141.18/101.09	c PID: 16692
141.18/101.09	c IP: 172.20.3.123
141.18/101.09	c HOST: node123.alineos.net
141.18/101.10	c (0,0) SatSolver.solve Begin
141.18/101.10	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405454-1569338934.xml-scop-16666.cnf
141.36/101.12	c (0,0) c
141.36/101.12	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)
141.36/101.12	c (0,0) c
141.36/101.12	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
141.36/101.12	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
141.36/101.12	c (0,0) c ========================================[ Problem Statistics ]===========================================
141.36/101.12	c (0,0) c |                                                                                                       |
142.70/102.35	c (1,0) c |  Number of variables:        108960                                                                   |
142.70/102.35	c (1,0) c |  Number of clauses:         3849428                                                                   |
142.70/102.35	c (1,0) c |  Parse time:                   1.09 s                                                                 |
142.70/102.35	c (1,0) c |                                                                                                       |
159.11/118.73	c (17,0) c |  Simplification time:         16.21 s                                                                 |
159.11/118.73	c (17,0) c |                                                                                                       |
159.11/118.73	c (17,0) c |  Generating clones                                                                                    |
159.91/119.55	c (18,0) c |  all clones generated. Memory =  2236.60Mb.                                                           |
159.91/119.55	c (18,0) c ========================================================================================================|
159.91/119.55	c (18,0) c
159.91/119.55	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
159.91/119.55	c (18,0) c
159.91/119.55	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.91/119.55	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
159.91/119.55	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.91/119.55	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
159.91/119.55	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
159.91/119.55	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
159.91/119.55	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
159.91/119.55	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
159.91/119.55	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
159.91/119.55	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
159.91/119.55	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
159.91/119.55	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
159.91/119.55	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
159.91/119.55	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
159.91/119.55	c (18,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
159.91/119.55	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
159.91/119.55	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
159.91/119.55	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
159.91/119.55	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c real time : 19.391 s
165.23/120.51	c (19,0) c cpu time  : 22.7209 s
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c | Conflicts     |            2146 |        210 |        290 |        210 |        475 |        195 |        117 |        477 |        172 |
165.23/120.51	c (19,0) c | Decisions     |            4877 |        552 |        659 |        872 |        805 |        493 |        257 |        824 |        415 |
165.23/120.51	c (19,0) c | Propagations  |         4041096 |     513237 |     524146 |     423465 |     577584 |     476537 |     451526 |     647197 |     427404 |
165.23/120.51	c (19,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
165.23/120.51	c (19,0) c | Restarts      |              12 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          1 |
165.23/120.51	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | PropBinClauses|         2736904 |     298179 |     364122 |     264120 |     423503 |     321571 |     301070 |     482959 |     281380 |
165.23/120.51	c (19,0) c | PropPreBlocker|        86561659 |   10379727 |   10750331 |    9315566 |   11411579 |   11823870 |   12682947 |   12523399 |    7674240 |
165.23/120.51	c (19,0) c | PropNotBlocker|        39959429 |    5445289 |    4509870 |    4726421 |    5466498 |    5476478 |    5094008 |    5682690 |    3558175 |
165.23/120.51	c (19,0) c | LitFullScans  |       134985300 |   17039644 |   16416357 |   15044960 |   18006514 |   18175149 |   18485189 |   19597104 |   12220383 |
165.23/120.51	c (19,0) c | LitScanFracts |           13031 |        798 |        277 |       1922 |       3552 |       1668 |       1782 |       1978 |       1054 |
165.23/120.51	c (19,0) c | DecisionLevel0|              12 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          1 |
165.23/120.51	c (19,0) c | Periods       |              20 |          2 |          2 |          2 |          3 |          3 |          3 |          3 |          2 |
165.23/120.51	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
165.23/120.51	c (19,0) c | Avg_Trail     |                 |       4805 |      12913 |       8280 |       5513 |       6331 |       7237 |       4358 |       8146 |
165.23/120.51	c (19,0) c | Avg_DL        |                 |         35 |        153 |         84 |         72 |         99 |         51 |         25 |         78 |
165.23/120.51	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c | Exported      |              75 |         11 |          6 |          1 |         15 |          7 |          3 |         27 |          5 |
165.23/120.51	c (19,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.23/120.51	c (19,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          3 |          0 |
165.23/120.51	c (19,0) c | Glues         |                 |         11 |          6 |          1 |         15 |          7 |          3 |         27 |          5 |
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c | Orig_Seen     |             0 % |      40094 |       9980 |      20597 |      10269 |       9244 |       3786 |      13315 |      20831 |
165.23/120.51	c (19,0) c | Diff Orig seen|                 |      19497 | -    10617 |      X     | -    10328 | -    11353 | -    16811 | -     7282 |        234 |
165.23/120.51	c (19,0) c | Hamming       |            14 % |      16325 |      15081 |      X     |      15706 |      15828 |      15795 |      15822 |      15995 |
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c | RunningTime   |                 |    1.0 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|
165.23/120.51	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%|
165.23/120.51	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%|
165.23/120.51	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%|
165.23/120.51	c (19,0) c | SolvingTime   |                 |    1.0     |    0.9     |    0.9     |    0.9     |    0.9     |    0.9     |    0.9     |    0.9     |
165.23/120.51	c (19,0) c | PropagationTim|                 |    0.9  96%|    0.8  97%|    0.8  97%|    0.9  97%|    0.9  98%|    0.9  99%|    0.8  97%|    0.8  96%|
165.23/120.51	c (19,0) c | AnalysisTime  |                 |    0.0   3%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   3%|
165.23/120.51	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%|
165.23/120.51	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%|
165.23/120.51	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%|
165.23/120.51	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%|
165.23/120.51	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c
165.23/120.51	c (19,0) c Threads : 8
165.23/120.51	c (19,0) c Winner : 2
165.23/120.51	c (19,0) c Conflicts_0 : 210
165.23/120.51	c (19,0) c Conflicts_1 : 290
165.23/120.51	c (19,0) c Conflicts_2 : 210
165.23/120.51	c (19,0) c Conflicts_3 : 475
165.23/120.51	c (19,0) c Conflicts_4 : 195
165.23/120.51	c (19,0) c Conflicts_5 : 117
165.23/120.51	c (19,0) c Conflicts_6 : 477
165.23/120.51	c (19,0) c Conflicts_7 : 172
165.23/120.51	c (19,0) c Conflicts_total : 2146
165.23/120.51	c (19,0) c Conflicts_winner : 210
165.23/120.51	c (19,0) c Decisions_0 : 552
165.23/120.51	c (19,0) c Decisions_1 : 659
165.23/120.51	c (19,0) c Decisions_2 : 872
165.23/120.51	c (19,0) c Decisions_3 : 805
165.23/120.51	c (19,0) c Decisions_4 : 493
165.23/120.51	c (19,0) c Decisions_5 : 257
165.23/120.51	c (19,0) c Decisions_6 : 824
165.23/120.52	c (19,0) c Decisions_7 : 415
165.23/120.52	c (19,0) c Decisions_total : 4877
165.23/120.52	c (19,0) c Decisions_winner : 872
165.23/120.52	c (19,0) c Propagations_0 : 513237
165.23/120.52	c (19,0) c Propagations_1 : 524146
165.23/120.52	c (19,0) c Propagations_2 : 423465
165.23/120.52	c (19,0) c Propagations_3 : 577584
165.23/120.52	c (19,0) c Propagations_4 : 476537
165.23/120.52	c (19,0) c Propagations_5 : 451526
165.23/120.52	c (19,0) c Propagations_6 : 647197
165.23/120.52	c (19,0) c Propagations_7 : 427404
165.23/120.52	c (19,0) c Propagations_total : 4041096
165.23/120.52	c (19,0) c Propagations_winner : 423465
165.23/120.52	c (19,0) c ReduceDBs_0 : 0
165.23/120.52	c (19,0) c ReduceDBs_1 : 0
165.23/120.52	c (19,0) c ReduceDBs_2 : 0
165.23/120.52	c (19,0) c ReduceDBs_3 : 0
165.23/120.52	c (19,0) c ReduceDBs_4 : 0
165.23/120.52	c (19,0) c ReduceDBs_5 : 0
165.23/120.52	c (19,0) c ReduceDBs_6 : 0
165.23/120.52	c (19,0) c ReduceDBs_7 : 0
165.23/120.52	c (19,0) c ReduceDBs_total : 0
165.23/120.52	c (19,0) c ReduceDBs_winner : 0
165.23/120.52	c (19,0) c SimpDBs_0 : 1
165.23/120.52	c (19,0) c SimpDBs_1 : 1
165.23/120.52	c (19,0) c SimpDBs_2 : 1
165.23/120.52	c (19,0) c SimpDBs_3 : 1
165.23/120.52	c (19,0) c SimpDBs_4 : 1
165.23/120.52	c (19,0) c SimpDBs_5 : 1
165.23/120.52	c (19,0) c SimpDBs_6 : 1
165.23/120.52	c (19,0) c SimpDBs_7 : 1
165.23/120.52	c (19,0) c SimpDBs_total : 8
165.23/120.52	c (19,0) c SimpDBs_winner : 1
165.23/120.52	c (19,0) c Restarts_0 : 2
165.23/120.52	c (19,0) c Restarts_1 : 2
165.23/120.52	c (19,0) c Restarts_2 : 2
165.23/120.52	c (19,0) c Restarts_3 : 1
165.23/120.52	c (19,0) c Restarts_4 : 2
165.23/120.52	c (19,0) c Restarts_5 : 1
165.23/120.52	c (19,0) c Restarts_6 : 1
165.23/120.52	c (19,0) c Restarts_7 : 1
165.23/120.52	c (19,0) c Restarts_total : 12
165.23/120.52	c (19,0) c Restarts_winner : 2
165.23/120.52	c (19,0) c ForcedImports_0 : 0
165.23/120.52	c (19,0) c ForcedImports_1 : 0
165.23/120.52	c (19,0) c ForcedImports_2 : 0
165.23/120.52	c (19,0) c ForcedImports_3 : 0
165.23/120.52	c (19,0) c ForcedImports_4 : 0
165.23/120.52	c (19,0) c ForcedImports_5 : 0
165.23/120.52	c (19,0) c ForcedImports_6 : 0
165.23/120.52	c (19,0) c ForcedImports_7 : 0
165.23/120.52	c (19,0) c ForcedImports_total : 0
165.23/120.52	c (19,0) c ForcedImports_winner : 0
165.23/120.52	c (19,0) c PropsBinClauses_0 : 298179
165.23/120.52	c (19,0) c PropsBinClauses_1 : 364122
165.23/120.52	c (19,0) c PropsBinClauses_2 : 264120
165.23/120.52	c (19,0) c PropsBinClauses_3 : 423503
165.23/120.52	c (19,0) c PropsBinClauses_4 : 321571
165.23/120.52	c (19,0) c PropsBinClauses_5 : 301070
165.23/120.52	c (19,0) c PropsBinClauses_6 : 482959
165.23/120.52	c (19,0) c PropsBinClauses_7 : 281380
165.23/120.52	c (19,0) c PropsBinClauses_total : 2736904
165.23/120.52	c (19,0) c PropsBinClauses_winner : 264120
165.23/120.52	c (19,0) c PropsPreBlocker_0 : 10379727
165.23/120.52	c (19,0) c PropsPreBlocker_1 : 10750331
165.23/120.52	c (19,0) c PropsPreBlocker_2 : 9315566
165.23/120.52	c (19,0) c PropsPreBlocker_3 : 11411579
165.23/120.52	c (19,0) c PropsPreBlocker_4 : 11823870
165.23/120.52	c (19,0) c PropsPreBlocker_5 : 12682947
165.23/120.52	c (19,0) c PropsPreBlocker_6 : 12523399
165.23/120.52	c (19,0) c PropsPreBlocker_7 : 7674240
165.23/120.52	c (19,0) c PropsPreBlocker_total : 86561659
165.23/120.52	c (19,0) c PropsPreBlocker_winner : 9315566
165.23/120.52	c (19,0) c PropsNotBlocker_0 : 5445289
165.23/120.52	c (19,0) c PropsNotBlocker_1 : 4509870
165.23/120.52	c (19,0) c PropsNotBlocker_2 : 4726421
165.23/120.52	c (19,0) c PropsNotBlocker_3 : 5466498
165.23/120.52	c (19,0) c PropsNotBlocker_4 : 5476478
165.23/120.52	c (19,0) c PropsNotBlocker_5 : 5094008
165.23/120.52	c (19,0) c PropsNotBlocker_6 : 5682690
165.23/120.52	c (19,0) c PropsNotBlocker_7 : 3558175
165.23/120.52	c (19,0) c PropsNotBlocker_total : 39959429
165.23/120.52	c (19,0) c PropsNotBlocker_winner : 4726421
165.23/120.52	c (19,0) c PropsLitFullScans_0 : 17039644
165.23/120.52	c (19,0) c PropsLitFullScans_1 : 16416357
165.23/120.52	c (19,0) c PropsLitFullScans_2 : 15044960
165.23/120.52	c (19,0) c PropsLitFullScans_3 : 18006514
165.23/120.52	c (19,0) c PropsLitFullScans_4 : 18175149
165.23/120.52	c (19,0) c PropsLitFullScans_5 : 18485189
165.23/120.52	c (19,0) c PropsLitFullScans_6 : 19597104
165.23/120.52	c (19,0) c PropsLitFullScans_7 : 12220383
165.23/120.52	c (19,0) c PropsLitFullScans_total : 134985300
165.23/120.52	c (19,0) c PropsLitFullScans_winner : 15044960
165.23/120.52	c (19,0) c LitScanFractions_0 : 798
165.23/120.52	c (19,0) c LitScanFractions_1 : 277
165.23/120.52	c (19,0) c LitScanFractions_2 : 1922
165.23/120.52	c (19,0) c LitScanFractions_3 : 3552
165.23/120.52	c (19,0) c LitScanFractions_4 : 1668
165.23/120.52	c (19,0) c LitScanFractions_5 : 1782
165.23/120.52	c (19,0) c LitScanFractions_6 : 1978
165.23/120.52	c (19,0) c LitScanFractions_7 : 1054
165.23/120.52	c (19,0) c LitScanFractions_total : 13031
165.23/120.52	c (19,0) c LitScanFractions_winner : 1922
165.23/120.52	c (19,0) c DecisionLevel0_0 : 2
165.23/120.52	c (19,0) c DecisionLevel0_1 : 2
165.23/120.52	c (19,0) c DecisionLevel0_2 : 2
165.23/120.52	c (19,0) c DecisionLevel0_3 : 1
165.23/120.52	c (19,0) c DecisionLevel0_4 : 2
165.23/120.52	c (19,0) c DecisionLevel0_5 : 1
165.23/120.52	c (19,0) c DecisionLevel0_6 : 1
165.23/120.52	c (19,0) c DecisionLevel0_7 : 1
165.23/120.52	c (19,0) c DecisionLevel0_total : 12
165.23/120.52	c (19,0) c DecisionLevel0_winner : 2
165.23/120.52	c (19,0) c Periods_0 : 2
165.23/120.52	c (19,0) c Periods_1 : 2
165.23/120.52	c (19,0) c Periods_2 : 2
165.23/120.52	c (19,0) c Periods_3 : 3
165.23/120.52	c (19,0) c Periods_4 : 3
165.23/120.52	c (19,0) c Periods_5 : 3
165.23/120.52	c (19,0) c Periods_6 : 3
165.23/120.52	c (19,0) c Periods_7 : 2
165.23/120.52	c (19,0) c Periods_total : 20
165.23/120.52	c (19,0) c Periods_winner : 2
165.23/120.52	c (19,0) c Margin_0 : 20
165.23/120.52	c (19,0) c Margin_1 : 20
165.23/120.52	c (19,0) c Margin_2 : 20
165.23/120.52	c (19,0) c Margin_3 : 20
165.23/120.52	c (19,0) c Margin_4 : 20
165.23/120.52	c (19,0) c Margin_5 : 20
165.23/120.52	c (19,0) c Margin_6 : 20
165.23/120.52	c (19,0) c Margin_7 : 20
165.23/120.52	c (19,0) c Margin_total : 160
165.23/120.52	c (19,0) c Margin_winner : 20
165.23/120.52	c (19,0) c Exported_0 : 11
165.23/120.52	c (19,0) c Exported_1 : 6
165.23/120.52	c (19,0) c Exported_2 : 1
165.23/120.52	c (19,0) c Exported_3 : 15
165.23/120.52	c (19,0) c Exported_4 : 7
165.23/120.52	c (19,0) c Exported_5 : 3
165.23/120.52	c (19,0) c Exported_6 : 27
165.23/120.52	c (19,0) c Exported_7 : 5
165.23/120.52	c (19,0) c Exported_total : 75
165.23/120.52	c (19,0) c Exported_winner : 1
165.23/120.52	c (19,0) c Imported_0 : 0
165.23/120.52	c (19,0) c Imported_1 : 0
165.23/120.52	c (19,0) c Imported_2 : 0
165.23/120.52	c (19,0) c Imported_3 : 0
165.23/120.52	c (19,0) c Imported_4 : 0
165.23/120.52	c (19,0) c Imported_5 : 0
165.23/120.52	c (19,0) c Imported_6 : 0
165.23/120.52	c (19,0) c Imported_7 : 0
165.23/120.52	c (19,0) c Imported_total : 0
165.23/120.52	c (19,0) c Imported_winner : 0
165.23/120.52	c (19,0) c Good_0 : 0
165.23/120.52	c (19,0) c Good_1 : 0
165.23/120.52	c (19,0) c Good_2 : 0
165.23/120.52	c (19,0) c Good_3 : 0
165.23/120.52	c (19,0) c Good_4 : 0
165.23/120.52	c (19,0) c Good_5 : 0
165.23/120.52	c (19,0) c Good_6 : 0
165.23/120.52	c (19,0) c Good_7 : 0
165.23/120.52	c (19,0) c Good_total : 0
165.23/120.52	c (19,0) c Good_winner : 0
165.23/120.52	c (19,0) c Purge_0 : 0
165.23/120.52	c (19,0) c Purge_1 : 0
165.23/120.52	c (19,0) c Purge_2 : 0
165.23/120.52	c (19,0) c Purge_3 : 0
165.23/120.52	c (19,0) c Purge_4 : 0
165.23/120.52	c (19,0) c Purge_5 : 0
165.23/120.52	c (19,0) c Purge_6 : 0
165.23/120.52	c (19,0) c Purge_7 : 0
165.23/120.52	c (19,0) c Purge_total : 0
165.23/120.52	c (19,0) c Purge_winner : 0
165.23/120.52	c (19,0) c Promoted_0 : 0
165.23/120.52	c (19,0) c Promoted_1 : 0
165.23/120.52	c (19,0) c Promoted_2 : 0
165.23/120.52	c (19,0) c Promoted_3 : 0
165.23/120.52	c (19,0) c Promoted_4 : 0
165.23/120.52	c (19,0) c Promoted_5 : 0
165.23/120.52	c (19,0) c Promoted_6 : 0
165.23/120.52	c (19,0) c Promoted_7 : 0
165.23/120.52	c (19,0) c Promoted_total : 0
165.23/120.52	c (19,0) c Promoted_winner : 0
165.23/120.52	c (19,0) c Remove_Imp_0 : 0
165.23/120.52	c (19,0) c Remove_Imp_1 : 0
165.23/120.52	c (19,0) c Remove_Imp_2 : 0
165.23/120.52	c (19,0) c Remove_Imp_3 : 0
165.23/120.52	c (19,0) c Remove_Imp_4 : 0
165.23/120.52	c (19,0) c Remove_Imp_5 : 0
165.23/120.52	c (19,0) c Remove_Imp_6 : 0
165.23/120.52	c (19,0) c Remove_Imp_7 : 0
165.23/120.52	c (19,0) c Remove_Imp_total : 0
165.23/120.52	c (19,0) c Remove_Imp_winner : 0
165.23/120.52	c (19,0) c Blocked_Reuse_0 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_1 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_2 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_3 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_4 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_5 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_6 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_7 : 0
165.23/120.52	c (19,0) c Blocked_Reuse_total : 0
165.23/120.52	c (19,0) c Blocked_Reuse_winner : 0
165.23/120.53	c (19,0) c Unaries_0 : 0
165.23/120.53	c (19,0) c Unaries_1 : 0
165.23/120.53	c (19,0) c Unaries_2 : 0
165.23/120.53	c (19,0) c Unaries_3 : 0
165.23/120.53	c (19,0) c Unaries_4 : 0
165.23/120.53	c (19,0) c Unaries_5 : 0
165.23/120.53	c (19,0) c Unaries_6 : 0
165.23/120.53	c (19,0) c Unaries_7 : 0
165.23/120.53	c (19,0) c Unaries_total : 0
165.23/120.53	c (19,0) c Unaries_winner : 0
165.23/120.53	c (19,0) c Binaries_0 : 0
165.23/120.53	c (19,0) c Binaries_1 : 0
165.23/120.53	c (19,0) c Binaries_2 : 0
165.23/120.53	c (19,0) c Binaries_3 : 0
165.23/120.53	c (19,0) c Binaries_4 : 0
165.23/120.53	c (19,0) c Binaries_5 : 0
165.23/120.53	c (19,0) c Binaries_6 : 3
165.23/120.53	c (19,0) c Binaries_7 : 0
165.23/120.53	c (19,0) c Binaries_total : 3
165.23/120.53	c (19,0) c Binaries_winner : 0
165.23/120.53	c (19,0) c Glues_0 : 11
165.23/120.53	c (19,0) c Glues_1 : 6
165.23/120.53	c (19,0) c Glues_2 : 1
165.23/120.53	c (19,0) c Glues_3 : 15
165.23/120.53	c (19,0) c Glues_4 : 7
165.23/120.53	c (19,0) c Glues_5 : 3
165.23/120.53	c (19,0) c Glues_6 : 27
165.23/120.53	c (19,0) c Glues_7 : 5
165.23/120.53	c (19,0) c Glues_total : 75
165.23/120.53	c (19,0) c Glues_winner : 1
165.23/120.53	c (19,0) c RunningTime_0 : 0.959046
165.23/120.53	c (19,0) c RunningTime_1 : 0.871441
165.23/120.53	c (19,0) c RunningTime_2 : 0.867338
165.23/120.53	c (19,0) c RunningTime_3 : 0.904556
165.23/120.53	c (19,0) c RunningTime_4 : 0.868285
165.23/120.53	c (19,0) c RunningTime_5 : 0.925095
165.23/120.53	c (19,0) c RunningTime_6 : 0.874469
165.23/120.53	c (19,0) c RunningTime_7 : 0.873306
165.23/120.53	c (19,0) c RunningTime_total : 7.143536
165.23/120.53	c (19,0) c RunningTime_winner : 0.867338
165.23/120.53	c (19,0) c WaitingTime_0 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_1 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_2 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_3 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_4 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_5 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_6 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_7 : 0.000000
165.23/120.53	c (19,0) c WaitingTime_total : 0.000000
165.23/120.53	c (19,0) c WaitingTime_winner : 0.000000
165.23/120.53	c (19,0) c ExchangingTime_0 : 0.000237
165.23/120.53	c (19,0) c ExchangingTime_1 : 0.000038
165.23/120.53	c (19,0) c ExchangingTime_2 : 0.000026
165.23/120.53	c (19,0) c ExchangingTime_3 : 0.000080
165.23/120.53	c (19,0) c ExchangingTime_4 : 0.000030
165.23/120.53	c (19,0) c ExchangingTime_5 : 0.000016
165.23/120.53	c (19,0) c ExchangingTime_6 : 0.000121
165.23/120.53	c (19,0) c ExchangingTime_7 : 0.000046
165.23/120.53	c (19,0) c ExchangingTime_total : 0.000593
165.23/120.53	c (19,0) c ExchangingTime_winner : 0.000026
165.23/120.53	c (19,0) c PeriodProcTime_0 : 0.000032
165.23/120.53	c (19,0) c PeriodProcTime_1 : 0.000022
165.23/120.53	c (19,0) c PeriodProcTime_2 : 0.000027
165.23/120.53	c (19,0) c PeriodProcTime_3 : 0.000044
165.23/120.53	c (19,0) c PeriodProcTime_4 : 0.000035
165.23/120.53	c (19,0) c PeriodProcTime_5 : 0.000037
165.23/120.53	c (19,0) c PeriodProcTime_6 : 0.000070
165.23/120.53	c (19,0) c PeriodProcTime_7 : 0.000032
165.23/120.53	c (19,0) c PeriodProcTime_total : 0.000299
165.23/120.53	c (19,0) c PeriodProcTime_winner : 0.000027
165.23/120.53	c (19,0) c SolvingTime_0 : 0.959315
165.23/120.53	c (19,0) c SolvingTime_1 : 0.871501
165.23/120.53	c (19,0) c SolvingTime_2 : 0.867391
165.23/120.53	c (19,0) c SolvingTime_3 : 0.904680
165.23/120.53	c (19,0) c SolvingTime_4 : 0.868351
165.23/120.53	c (19,0) c SolvingTime_5 : 0.925147
165.23/120.53	c (19,0) c SolvingTime_6 : 0.874660
165.23/120.53	c (19,0) c SolvingTime_7 : 0.873383
165.23/120.53	c (19,0) c SolvingTime_total : 7.144428
165.23/120.53	c (19,0) c SolvingTime_winner : 0.867391
165.23/120.53	c (19,0) c PropagationTime_0 : 0.923187
165.23/120.53	c (19,0) c PropagationTime_1 : 0.847031
165.23/120.53	c (19,0) c PropagationTime_2 : 0.845168
165.23/120.53	c (19,0) c PropagationTime_3 : 0.876702
165.23/120.53	c (19,0) c PropagationTime_4 : 0.854331
165.23/120.53	c (19,0) c PropagationTime_5 : 0.913372
165.23/120.53	c (19,0) c PropagationTime_6 : 0.848774
165.23/120.53	c (19,0) c PropagationTime_7 : 0.837863
165.23/120.53	c (19,0) c PropagationTime_total : 6.946429
165.23/120.53	c (19,0) c PropagationTime_winner : 0.845168
165.23/120.53	c (19,0) c AnalysisTime_0 : 0.030621
165.23/120.53	c (19,0) c AnalysisTime_1 : 0.017023
165.23/120.53	c (19,0) c AnalysisTime_2 : 0.014567
165.23/120.53	c (19,0) c AnalysisTime_3 : 0.018350
165.23/120.53	c (19,0) c AnalysisTime_4 : 0.009390
165.23/120.53	c (19,0) c AnalysisTime_5 : 0.007270
165.23/120.53	c (19,0) c AnalysisTime_6 : 0.018222
165.23/120.53	c (19,0) c AnalysisTime_7 : 0.027688
165.23/120.53	c (19,0) c AnalysisTime_total : 0.143130
165.23/120.53	c (19,0) c AnalysisTime_winner : 0.014567
165.23/120.53	c (19,0) c ReductionTime_0 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_1 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_2 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_3 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_4 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_5 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_6 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_7 : 0.000000
165.23/120.53	c (19,0) c ReductionTime_total : 0.000000
165.23/120.53	c (19,0) c ReductionTime_winner : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_0 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_1 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_2 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_3 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_4 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_5 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_6 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_7 : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_total : 0.000000
165.23/120.53	c (19,0) c SimplifyTime_winner : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_0 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_1 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_2 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_3 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_4 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_5 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_6 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_7 : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_total : 0.000000
165.23/120.53	c (19,0) c UsedRateTime_winner : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_0 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_1 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_2 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_3 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_4 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_5 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_6 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_7 : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_total : 0.000000
165.23/120.53	c (19,0) c OverlapRateTime_winner : 0.000000
165.23/120.53	c (19,0) c
165.23/120.53	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
165.23/120.53	c (19,0) c
165.23/120.53	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.53	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
165.23/120.53	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.53	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
165.23/120.53	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
165.23/120.53	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
165.23/120.53	c (19,0) c | Initial random_seed   |  668174473 | 1741576134 |  565357451 |  302007360 | 1686764270 | 1317327661 | 1346208642 |  747551438 |
165.23/120.53	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
165.23/120.53	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
165.23/120.53	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
165.23/120.53	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
165.23/120.53	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
165.23/120.53	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
165.23/120.53	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
165.23/120.53	c (19,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
165.23/120.53	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
165.23/120.53	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
165.23/120.53	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
165.23/120.53	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.23/120.53	c (19,0) 
165.23/120.53	c (19,0) s SATISFIABLE
141.76/120.63	c (19,0) SatSolver.solve End
141.76/120.63	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
141.76/120.63	c (19,0) Show results Begin
165.80/120.75	c (20,0) x[0] = 35
165.80/120.75	c (20,0) x[1] = 31
165.80/120.75	c (20,0) x[2] = 192
165.80/120.75	c (20,0) x[3] = 47
165.80/120.75	c (20,0) x[4] = 95
165.80/120.75	c (20,0) x[5] = 53
165.80/120.75	c (20,0) x[6] = 23
165.80/120.75	c (20,0) x[7] = 139
165.80/120.75	c (20,0) x[8] = 29
165.80/120.75	c (20,0) x[9] = 1
165.80/120.75	c (20,0) x[10] = 196
165.80/120.75	c (20,0) x[11] = 180
165.80/120.75	c (20,0) x[12] = 45
165.80/120.75	c (20,0) x[13] = 44
165.80/120.75	c (20,0) x[14] = 0
165.80/120.75	c (20,0) x[15] = 135
165.80/120.75	c (20,0) x[16] = 85
165.80/120.75	c (20,0) x[17] = 90
165.80/120.75	c (20,0) x[18] = 38
165.80/120.75	c (20,0) x[19] = 127
165.80/120.75	c (20,0) x[20] = 138
165.80/120.75	c (20,0) x[21] = 40
165.80/120.75	c (20,0) x[22] = 149
165.80/120.75	c (20,0) x[23] = 28
165.80/120.75	c (20,0) x[24] = 126
165.80/120.75	c (20,0) x[25] = 137
165.80/120.75	c (20,0) x[26] = 70
165.80/120.75	c (20,0) x[27] = 100
165.80/120.75	c (20,0) x[28] = 34
165.80/120.75	c (20,0) x[29] = 162
165.80/120.75	c (20,0) x[30] = 42
165.80/120.75	c (20,0) x[31] = 18
165.80/120.75	c (20,0) x[32] = 50
165.80/120.75	c (20,0) x[33] = 112
165.80/120.75	c (20,0) x[34] = 107
165.80/120.75	c (20,0) x[35] = 87
165.80/120.75	c (20,0) x[36] = 123
165.80/120.75	c (20,0) x[37] = 94
165.80/120.75	c (20,0) x[38] = 148
165.80/120.75	c (20,0) x[39] = 27
165.80/120.75	c (20,0) x[40] = 15
165.80/120.75	c (20,0) x[41] = 83
165.80/120.75	c (20,0) x[42] = 82
165.80/120.75	c (20,0) x[43] = 73
165.80/120.75	c (20,0) x[44] = 7
165.80/120.75	c (20,0) x[45] = 144
165.80/120.75	c (20,0) x[46] = 191
165.80/120.75	c (20,0) x[47] = 71
165.80/120.75	c (20,0) x[48] = 106
165.80/120.75	c (20,0) x[49] = 5
165.80/120.75	c (20,0) x[50] = 140
165.80/120.75	c (20,0) x[51] = 179
165.80/120.75	c (20,0) x[52] = 3
165.80/120.75	c (20,0) x[53] = 165
165.80/120.75	c (20,0) x[54] = 24
165.80/120.75	c (20,0) x[55] = 119
165.80/120.75	c (20,0) x[56] = 93
165.80/120.75	c (20,0) x[57] = 152
165.80/120.75	c (20,0) x[58] = 74
165.80/120.75	c (20,0) x[59] = 80
165.80/120.75	c (20,0) x[60] = 51
165.80/120.75	c (20,0) x[61] = 78
165.80/120.75	c (20,0) x[62] = 32
165.80/120.75	c (20,0) x[63] = 156
165.80/120.75	c (20,0) x[64] = 52
165.80/120.75	c (20,0) x[65] = 136
165.80/120.75	c (20,0) x[66] = 194
165.80/120.75	c (20,0) x[67] = 56
165.80/120.75	c (20,0) x[68] = 103
165.80/120.75	c (20,0) x[69] = 147
165.80/120.75	c (20,0) x[70] = 37
165.80/120.75	c (20,0) x[71] = 69
165.80/120.75	c (20,0) x[72] = 131
165.80/120.75	c (20,0) x[73] = 169
165.80/120.75	c (20,0) x[74] = 67
165.80/120.75	c (20,0) x[75] = 25
165.80/120.75	c (20,0) x[76] = 125
165.80/120.75	c (20,0) x[77] = 185
165.80/120.75	c (20,0) x[78] = 98
165.80/120.75	c (20,0) x[79] = 176
165.80/120.75	c (20,0) x[80] = 159
165.80/120.75	c (20,0) x[81] = 128
165.80/120.75	c (20,0) x[82] = 92
165.80/120.75	c (20,0) x[83] = 33
165.80/120.75	c (20,0) x[84] = 30
165.80/120.75	c (20,0) x[85] = 170
165.80/120.77	c (20,0) x[86] = 167
165.80/120.77	c (20,0) x[87] = 11
165.80/120.77	c (20,0) x[88] = 89
165.80/120.77	c (20,0) x[89] = 68
165.80/120.77	c (20,0) x[90] = 193
165.80/120.77	c (20,0) x[91] = 16
165.80/120.77	c (20,0) x[92] = 160
165.80/120.77	c (20,0) x[93] = 86
165.80/120.77	c (20,0) x[94] = 22
165.80/120.77	c (20,0) x[95] = 168
165.80/120.77	c (20,0) x[96] = 189
165.80/120.77	c (20,0) x[97] = 115
165.80/120.77	c (20,0) x[98] = 96
165.80/120.77	c (20,0) x[99] = 99
165.80/120.77	c (20,0) x[100] = 175
165.80/120.77	c (20,0) x[101] = 190
165.80/120.77	c (20,0) x[102] = 122
165.80/120.77	c (20,0) x[103] = 72
165.80/120.77	c (20,0) x[104] = 8
165.80/120.77	c (20,0) x[105] = 17
165.80/120.77	c (20,0) x[106] = 21
165.80/120.77	c (20,0) x[107] = 178
165.80/120.77	c (20,0) x[108] = 171
165.80/120.77	c (20,0) x[109] = 12
165.80/120.77	c (20,0) x[110] = 153
165.80/120.77	c (20,0) x[111] = 39
165.80/120.77	c (20,0) x[112] = 163
165.80/120.77	c (20,0) x[113] = 161
165.80/120.77	c (20,0) x[114] = 63
165.80/120.77	c (20,0) x[115] = 154
165.80/120.77	c (20,0) x[116] = 81
165.80/120.77	c (20,0) x[117] = 101
165.80/120.77	c (20,0) x[118] = 146
165.80/120.77	c (20,0) x[119] = 181
165.80/120.77	s SATISFIABLE
165.80/120.77	v <instantiation>
165.80/120.77	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>
165.80/120.77	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>
165.80/120.77	v </instantiation>
165.80/120.77	c (20,0) Show results End
165.80/120.77	c (20,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
165.80/120.77	c (20,0) 19,20,STOP-AFTER(ALL)
165.80/120.77	c END-Prog: Tue Sep 24 17:30:15 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 (10917 MiB free)
  memory of node 1: 16384 MiB (14066 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.10006 s]*
/proc/loadavg: 7.45 7.50 6.27 2/211 16685
/proc/meminfo: memFree=25487704/32770624 swapFree=66999796/67108860
[pid=16663] ppid=16660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16663/stat : 16663 (scop.sh) S 16660 16663 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510158175 115843072 348 33554432000 4194304 5098028 140737100604464 140737100601720 140452497519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24961024 140737100612388 140737100612716 140737100612716 140737100615629 0
/proc/16663/statm: 28282 348 296 221 0 87 0
[pid=16666] ppid=16663 vsize=27314120 memory=107600 CPUtime=0.11 cores=0-7
/proc/16666/stat : 16666 (java) S 16663 16663 15640 0 -1 1077944320 6911 0 0 0 8 3 0 0 20 0 20 0 510158175 27969658880 26835 33554432000 4194304 4196468 140725228869920 140725228852464 140507287109367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
/proc/16666/statm: 6828530 26900 2815 1 0 6790935 0
[pid=16666/tid=16667] ppid=16663 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/16666/task/16667/stat : 16667 (java) R 16663 16663 15640 0 -1 4202560 5005 0 0 0 6 2 0 0 20 0 20 0 510158176 27969658880 26900 33554432000 4194304 4196468 140725228869920 140507258935696 140507287121302 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16668] ppid=16663 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16666/task/16668/stat : 16668 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140507291351952 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16669] ppid=16663 vsize=27314120 memory=140049712842368 CPUtime=0 cores=0-7
/proc/16666/task/16669/stat : 16669 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140507105508112 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16670] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16670/stat : 16670 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506707950736 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16671] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16671/stat : 16671 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506706897936 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16672] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16672/stat : 16672 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506705844624 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16673] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16673/stat : 16673 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506704791824 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16674] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16674/stat : 16674 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506703739536 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16675] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16675/stat : 16675 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506702686736 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16676] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16676/stat : 16676 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506211203696 140507287120514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16677] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16677/stat : 16677 (java) S 16663 16663 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 26900 33554432000 4194304 4196468 140725228869920 140505224570144 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16678] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16678/stat : 16678 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 26900 33554432000 4194304 4196468 140725228869920 140504956135024 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16679] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16679/stat : 16679 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140504581626448 140507287127963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16680] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16680/stat : 16680 (java) S 16663 16663 15640 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506210150512 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16681] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16681/stat : 16681 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506209097712 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16682] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16682/stat : 16682 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506208045424 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16683] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16683/stat : 16683 (java) S 16663 16663 15640 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506206992624 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16684] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16684/stat : 16684 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140504083721056 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16685] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16685/stat : 16685 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 26900 33554432000 4194304 4196468 140725228869920 140506205940528 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108992 KiB

[startup+0.210506 s]*
/proc/loadavg: 7.45 7.50 6.27 3/211 16685
/proc/meminfo: memFree=25463696/32770624 swapFree=66999796/67108860
[pid=16663] ppid=16660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16663/stat : 16663 (scop.sh) S 16660 16663 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510158175 115843072 348 33554432000 4194304 5098028 140737100604464 140737100601720 140452497519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24961024 140737100612388 140737100612716 140737100612716 140737100615629 0
/proc/16663/statm: 28282 348 296 221 0 87 0
[pid=16666] ppid=16663 vsize=27314120 memory=128420 CPUtime=0.24 cores=0-7
/proc/16666/stat : 16666 (java) S 16663 16663 15640 0 -1 1077944320 12531 0 0 0 20 4 0 0 20 0 20 0 510158175 27969658880 32105 33554432000 4194304 4196468 140725228869920 140725228852464 140507287109367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
/proc/16666/statm: 6828530 32105 2936 1 0 6790935 0
[pid=16666/tid=16667] ppid=16663 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16666/task/16667/stat : 16667 (java) R 16663 16663 15640 0 -1 4202560 10228 0 0 0 16 3 0 0 20 0 20 0 510158176 27969658880 32105 33554432000 4194304 4196468 140725228869920 140507258908752 140507268672927 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16668] ppid=16663 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/16666/task/16668/stat : 16668 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140507291351952 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16669] ppid=16663 vsize=27314120 memory=288370425864554112 CPUtime=0 cores=0-7
/proc/16666/task/16669/stat : 16669 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140507105508112 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16670] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16670/stat : 16670 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506707950736 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16671] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16671/stat : 16671 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506706897936 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16672] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16672/stat : 16672 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506705844624 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16673] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16673/stat : 16673 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506704791824 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16674] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16674/stat : 16674 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506703739536 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16675] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16675/stat : 16675 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506702686736 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16676] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16676/stat : 16676 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506211203696 140507287120514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16677] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16677/stat : 16677 (java) S 16663 16663 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 32105 33554432000 4194304 4196468 140725228869920 140505224570144 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16678] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16678/stat : 16678 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 32105 33554432000 4194304 4196468 140725228869920 140504956135024 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16679] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16679/stat : 16679 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140504581626448 140507287127963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16680] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16680/stat : 16680 (java) S 16663 16663 15640 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506210150512 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16681] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16681/stat : 16681 (java) S 16663 16663 15640 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506209097712 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16682] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16682/stat : 16682 (java) S 16663 16663 15640 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506208045424 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16683] ppid=16663 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16666/task/16683/stat : 16683 (java) S 16663 16663 15640 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506206992624 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16684] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16684/stat : 16684 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140504083721056 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16685] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16685/stat : 16685 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 32105 33554432000 4194304 4196468 140725228869920 140506205940528 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129812 KiB

[startup+0.310304 s]*
/proc/loadavg: 7.45 7.50 6.27 2/211 16685
/proc/meminfo: memFree=25461764/32770624 swapFree=66999796/67108860
[pid=16663] ppid=16660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16663/stat : 16663 (scop.sh) S 16660 16663 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510158175 115843072 348 33554432000 4194304 5098028 140737100604464 140737100601720 140452497519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24961024 140737100612388 140737100612716 140737100612716 140737100615629 0
/proc/16663/statm: 28282 348 296 221 0 87 0
[pid=16666] ppid=16663 vsize=27314120 memory=132280 CPUtime=0.43 cores=0-7
/proc/16666/stat : 16666 (java) S 16663 16663 15640 0 -1 1077944320 12892 0 0 0 38 5 0 0 20 0 20 0 510158175 27969658880 33070 33554432000 4194304 4196468 140725228869920 140725228852464 140507287109367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
/proc/16666/statm: 6828530 33070 3051 1 0 6790935 0
[pid=16666/tid=16667] ppid=16663 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/16666/task/16667/stat : 16667 (java) R 16663 16663 15640 0 -1 4202560 10415 0 0 0 26 4 0 0 20 0 20 0 510158176 27969658880 33070 33554432000 4194304 4196468 140725228869920 140507258939440 140507270296176 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16668] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16668/stat : 16668 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140507291351952 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16669] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16669/stat : 16669 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140507105508112 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16670] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16670/stat : 16670 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506707950736 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16671] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16671/stat : 16671 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506706897936 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16672] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16672/stat : 16672 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506705844624 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16673] ppid=16663 vsize=27314120 memory=140049555483311 CPUtime=0 cores=0-7
/proc/16666/task/16673/stat : 16673 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506704791824 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16674] ppid=16663 vsize=27314120 memory=140049555485616 CPUtime=0 cores=0-7
/proc/16666/task/16674/stat : 16674 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506703739536 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16675] ppid=16663 vsize=27314120 memory=140049555487920 CPUtime=0 cores=0-7
/proc/16666/task/16675/stat : 16675 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158178 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506702686736 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16676] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16676/stat : 16676 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506211203696 140507287120514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16677] ppid=16663 vsize=27314120 memory=280099110989712 CPUtime=0 cores=0-7
/proc/16666/task/16677/stat : 16677 (java) S 16663 16663 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 33070 33554432000 4194304 4196468 140725228869920 140505224570144 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16678] ppid=16663 vsize=27314120 memory=280099110987408 CPUtime=0 cores=0-7
/proc/16666/task/16678/stat : 16678 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158180 27969658880 33070 33554432000 4194304 4196468 140725228869920 140504956135024 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16679] ppid=16663 vsize=27314120 memory=280099110994320 CPUtime=0 cores=0-7
/proc/16666/task/16679/stat : 16679 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140504581626448 140507287127963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16680] ppid=16663 vsize=27314120 memory=280099110935600 CPUtime=0.01 cores=0-7
/proc/16666/task/16680/stat : 16680 (java) S 16663 16663 15640 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506210150512 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16681] ppid=16663 vsize=27314120 memory=280099111008144 CPUtime=0 cores=0-7
/proc/16666/task/16681/stat : 16681 (java) S 16663 16663 15640 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506209097712 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16682] ppid=16663 vsize=27314120 memory=280099111015056 CPUtime=0.01 cores=0-7
/proc/16666/task/16682/stat : 16682 (java) R 16663 16663 15640 0 -1 4202560 70 0 0 0 1 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506208045424 140507270494276 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16683] ppid=16663 vsize=27314120 memory=280099111012752 CPUtime=0.07 cores=0-7
/proc/16666/task/16683/stat : 16683 (java) S 16663 16663 15640 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506206992624 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16684] ppid=16663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16684/stat : 16684 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140504083721056 140507287119573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16685] ppid=16663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16666/task/16685/stat : 16685 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158183 27969658880 33070 33554432000 4194304 4196468 140725228869920 140506205940528 140507287120514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133672 KiB

[startup+0.701031 s]
/proc/loadavg: 7.45 7.50 6.27 2/211 16685
/proc/meminfo: memFree=25440680/32770624 swapFree=66999796/67108860
[pid=16663] ppid=16660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16663/stat : 16663 (scop.sh) S 16660 16663 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510158175 115843072 348 33554432000 4194304 5098028 140737100604464 140737100601720 140452497519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24961024 140737100612388 140737100612716 140737100612716 140737100615629 0
/proc/16663/statm: 28282 348 296 221 0 87 0
[pid=16666] ppid=16663 vsize=27320392 memory=168944 CPUtime=1 cores=0-7
/proc/16666/stat : 16666 (java) S 16663 16663 15640 0 -1 1077944320 20404 0 0 0 93 7 0 0 20 0 20 0 510158175 27976081408 42236 33554432000 4194304 4196468 140725228869920 140725228852464 140507287109367 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
/proc/16666/statm: 6830098 42236 3173 1 0 6791447 0
[pid=16666/tid=16667] ppid=16663 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/16666/task/16667/stat : 16667 (java) R 16663 16663 15640 0 -1 4202560 17373 0 0 0 62 5 0 0 20 0 20 0 510158176 27976081408 42236 33554432000 4194304 4196468 140725228869920 140507258938752 140507271189854 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16668] ppid=16663 vsize=27320392 memory=140049555694448 CPUtime=0 cores=0-7
/proc/16666/task/16668/stat : 16668 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27976081408 42236 33554432000 4194304 4196468 140725228869920 140507291351952 140507287119573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16669] ppid=16663 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16666/task/16669/stat : 16669 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27976081408 42236 33554432000 4194304 4196468 140725228869920 140507105508112 140507287119573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0
[pid=16666/tid=16670] ppid=16663 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/16666/task/16670/stat : 16670 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510158178 27976081408 42236 33554432000 4194304 4196468 140725228869920 140506707950736 140507287119573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140725228876522 140725228876950 140725228876950 140725228879823 0

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

[pid=16692/tid=16695] ppid=16663 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16692/task/16695/stat : 16695 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040245172752 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16696] ppid=16663 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/16692/task/16696/stat : 16696 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040244119952 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16697] ppid=16663 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16692/task/16697/stat : 16697 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040243067152 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16698] ppid=16663 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16692/task/16698/stat : 16698 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040242015376 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16699] ppid=16663 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16692/task/16699/stat : 16699 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040240962576 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16700] ppid=16663 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16692/task/16700/stat : 16700 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040239909776 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16701] ppid=16663 vsize=8414124 memory=-7824251494390912101 CPUtime=0 cores=0-7
/proc/16692/task/16701/stat : 16701 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 30619 33554432000 4194304 4196468 140723404874880 140040238856976 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16702] ppid=16663 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/16692/task/16702/stat : 16702 (java) S 16663 16663 15640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510168215 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039265864048 140040440773250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16703] ppid=16663 vsize=8414124 memory=33860 CPUtime=0 cores=0-7
/proc/16692/task/16703/stat : 16703 (java) S 16663 16663 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510168215 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039086400544 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16704] ppid=16663 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/16692/task/16704/stat : 16704 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510168216 8616062976 30619 33554432000 4194304 4196468 140723404874880 140038817964912 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16705] ppid=16663 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/16692/task/16705/stat : 16705 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510168218 8616062976 30619 33554432000 4194304 4196468 140723404874880 140038443456336 140040440780699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16706] ppid=16663 vsize=8414124 memory=496 CPUtime=0.05 cores=0-7
/proc/16692/task/16706/stat : 16706 (java) S 16663 16663 15640 0 -1 1077944384 441 0 0 0 5 0 0 0 20 0 24 0 510168218 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039264811888 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16707] ppid=16663 vsize=8414124 memory=1560 CPUtime=0.05 cores=0-7
/proc/16692/task/16707/stat : 16707 (java) S 16663 16663 15640 0 -1 1077944384 282 0 0 0 5 0 0 0 20 0 24 0 510168218 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039263759088 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16708] ppid=16663 vsize=8414124 memory=932 CPUtime=0.07 cores=0-7
/proc/16692/task/16708/stat : 16708 (java) S 16663 16663 15640 0 -1 1077944384 448 0 0 0 7 0 0 0 20 0 24 0 510168218 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039262706288 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16709] ppid=16663 vsize=8414124 memory=1980 CPUtime=0.21 cores=0-7
/proc/16692/task/16709/stat : 16709 (java) S 16663 16663 15640 0 -1 1077944384 576 0 0 0 21 0 0 0 20 0 24 0 510168218 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039261653488 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16710] ppid=16663 vsize=8414124 memory=2428 CPUtime=0 cores=0-7
/proc/16692/task/16710/stat : 16710 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168219 8616062976 30619 33554432000 4194304 4196468 140723404874880 140037945551456 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16711] ppid=16663 vsize=8414124 memory=1580 CPUtime=0 cores=0-7
/proc/16692/task/16711/stat : 16711 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168219 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039260600880 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16713] ppid=16663 vsize=8414124 memory=892 CPUtime=0 cores=0-7
/proc/16692/task/16713/stat : 16713 (java) S 16663 16663 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510168287 8616062976 30619 33554432000 4194304 4196468 140723404874880 140039252567104 140040440786713 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16715] ppid=16663 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/16692/task/16715/stat : 16715 (java) S 16663 16663 15640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 510168288 8616062976 30619 33554432000 4194304 4196468 140723404874880 140037274452112 140040440784029 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16716] ppid=16663 vsize=8414124 memory=31076 CPUtime=0 cores=0-7
/proc/16692/task/16716/stat : 16716 (java) S 16663 16663 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510168288 8616062976 30619 33554432000 4194304 4196468 140723404874880 140037542887440 140040440784029 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16717] ppid=16663 vsize=8414124 memory=122476 CPUtime=0 cores=0-7
/proc/16692/task/16717/stat : 16717 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168290 8616062976 30619 33554432000 4194304 4196468 140723404874880 140037006024240 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
Current children cumulated CPU time: 164.94 s
Current children cumulated vsize: 11407516 KiB
Current children cumulated memory: 2542908 KiB

[startup+120.602 s]
/proc/loadavg: 1.82 5.33 5.63 5/225 16733
/proc/meminfo: memFree=23052576/32770624 swapFree=66999800/67108860
[pid=16663] ppid=16660 vsize=113128 memory=1476 CPUtime=140.33 cores=0-7
/proc/16663/stat : 16663 (scop.sh) S 16660 16663 15640 0 -1 4202496 582 79926 0 0 0 0 13172 861 20 0 1 0 510158175 115843072 369 33554432000 4194304 5098028 140737100604464 140737100601208 140452497519228 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24961024 140737100612388 140737100612716 140737100612716 140737100615629 0
/proc/16663/statm: 28282 369 311 221 0 87 0
[pid=16692] ppid=16663 vsize=8414124 memory=144048 CPUtime=1.43 cores=0-7
/proc/16692/stat : 16692 (java) S 16663 16663 15640 0 -1 1077944320 20843 0 0 0 133 10 0 0 20 0 24 0 510168211 8616062976 36012 33554432000 4194304 4196468 140723404874880 140723404857424 140040440762103 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
/proc/16692/statm: 2103531 36012 3220 1 0 2064875 0
[pid=16692/tid=16693] ppid=16663 vsize=8414124 memory=1660 CPUtime=0.77 cores=0-7
/proc/16692/task/16693/stat : 16693 (java) S 16663 16663 15640 0 -1 1077944384 16918 0 0 0 71 6 0 0 20 0 24 0 510168212 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040412602272 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16694] ppid=16663 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/16692/task/16694/stat : 16694 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040445004432 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16695] ppid=16663 vsize=8414124 memory=-7824251494390912101 CPUtime=0 cores=0-7
/proc/16692/task/16695/stat : 16695 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040245172752 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16696] ppid=16663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16692/task/16696/stat : 16696 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040244119952 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16697] ppid=16663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16692/task/16697/stat : 16697 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040243067152 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16698] ppid=16663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16692/task/16698/stat : 16698 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040242015376 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16699] ppid=16663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16692/task/16699/stat : 16699 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040240962576 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16700] ppid=16663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16692/task/16700/stat : 16700 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040239909776 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16701] ppid=16663 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/16692/task/16701/stat : 16701 (java) S 16663 16663 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510168213 8616062976 36012 33554432000 4194304 4196468 140723404874880 140040238856976 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16702] ppid=16663 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/16692/task/16702/stat : 16702 (java) S 16663 16663 15640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510168215 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039265864048 140040440773250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16703] ppid=16663 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16692/task/16703/stat : 16703 (java) S 16663 16663 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510168215 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039086400544 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16704] ppid=16663 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16692/task/16704/stat : 16704 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510168216 8616062976 36012 33554432000 4194304 4196468 140723404874880 140038817964912 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16705] ppid=16663 vsize=8414124 memory=7665804295841802855 CPUtime=0 cores=0-7
/proc/16692/task/16705/stat : 16705 (java) S 16663 16663 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510168218 8616062976 36012 33554432000 4194304 4196468 140723404874880 140038443456336 140040440780699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16706] ppid=16663 vsize=8414124 memory=7523375784625988691 CPUtime=0.08 cores=0-7
/proc/16692/task/16706/stat : 16706 (java) R 16663 16663 15640 0 -1 1077944384 498 0 0 0 8 0 0 0 20 0 24 0 510168218 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039264811888 140040440773250 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16707] ppid=16663 vsize=8414124 memory=7667497561383256160 CPUtime=0.09 cores=0-7
/proc/16692/task/16707/stat : 16707 (java) S 16663 16663 15640 0 -1 1077944384 453 0 0 0 9 0 0 0 20 0 24 0 510168218 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039263759088 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16708] ppid=16663 vsize=8414124 memory=7446247234404378726 CPUtime=0.09 cores=0-7
/proc/16692/task/16708/stat : 16708 (java) R 16663 16663 15640 0 -1 4202560 466 0 0 0 9 0 0 0 20 0 24 0 510168218 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039262706288 140040425674440 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16709] ppid=16663 vsize=8414124 memory=7013039683293047908 CPUtime=0.25 cores=0-7
/proc/16692/task/16709/stat : 16709 (java) R 16663 16663 15640 0 -1 4202560 1055 0 0 0 25 0 0 0 20 0 24 0 510168218 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039261653488 140040440774038 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16710] ppid=16663 vsize=8414124 memory=64177 CPUtime=0 cores=0-7
/proc/16692/task/16710/stat : 16710 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168219 8616062976 36012 33554432000 4194304 4196468 140723404874880 140037945551456 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16711] ppid=16663 vsize=8414124 memory=6003413100939275619 CPUtime=0 cores=0-7
/proc/16692/task/16711/stat : 16711 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168219 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039260600880 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16713] ppid=16663 vsize=8414124 memory=7955157286319120994 CPUtime=0 cores=0-7
/proc/16692/task/16713/stat : 16713 (java) S 16663 16663 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510168287 8616062976 36012 33554432000 4194304 4196468 140723404874880 140039252567104 140040440786713 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16715] ppid=16663 vsize=8414124 memory=4628977606781537654 CPUtime=0.08 cores=0-7
/proc/16692/task/16715/stat : 16715 (java) R 16663 16663 15640 0 -1 4202560 61 0 0 0 8 0 0 0 20 0 24 0 510168288 8616062976 36012 33554432000 4194304 4196468 140723404874880 140037274458144 140040440774038 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16716] ppid=16663 vsize=8414124 memory=7085095048142481773 CPUtime=0 cores=0-7
/proc/16692/task/16716/stat : 16716 (java) S 16663 16663 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510168288 8616062976 36012 33554432000 4194304 4196468 140723404874880 140037542887440 140040440784029 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16717] ppid=16663 vsize=8414124 memory=7738431441551381328 CPUtime=0 cores=0-7
/proc/16692/task/16717/stat : 16717 (java) S 16663 16663 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510168290 8616062976 36012 33554432000 4194304 4196468 140723404874880 140037006024240 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
Current children cumulated CPU time: 141.76 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 145524 KiB

[startup+120.701 s]
/proc/loadavg: 1.82 5.33 5.63 5/225 16733
/proc/meminfo: memFree=23052576/32770624 swapFree=66999800/67108860
[pid=16663] ppid=16660 vsize=113128 memory=1476 CPUtime=140.33 cores=0-7
/proc/16663/stat : 16663 (scop.sh) S 16660 16663 15640 0 -1 4202496 582 79926 0 0 0 0 13172 861 20 0 1 0 510158175 115843072 369 33554432000 4194304 5098028 140737100604464 140737100601208 140452497519228 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24961024 140737100612388 140737100612716 140737100612716 140737100615629 0
/proc/16663/statm: 28282 369 311 221 0 87 0
[pid=16692] ppid=16663 vsize=8283048 memory=151424 CPUtime=25.47 cores=0-7
/proc/16692/stat : 16692 (java) S 16663 16663 15640 0 -1 1077944320 21151 568397 0 0 156 10 2274 107 20 0 22 0 510168211 8481841152 37856 33554432000 4194304 4196468 140723404874880 140723404857424 140040440762103 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
/proc/16692/statm: 2070762 37856 3228 1 0 2032106 0
[pid=16692/tid=16693] ppid=16663 vsize=8283048 memory=122476 CPUtime=24.65 cores=0-7
/proc/16692/task/16693/stat : 16693 (java) R 16663 16663 15640 0 -1 4202560 17101 568397 0 0 78 6 2274 107 20 0 22 0 510168212 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040412585392 140040424842590 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16694] ppid=16663 vsize=8283048 memory=1476 CPUtime=23.81 cores=0-7
/proc/16692/task/16694/stat : 16694 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040445004432 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16695] ppid=16663 vsize=8283048 memory=366536 CPUtime=23.81 cores=0-7
/proc/16692/task/16695/stat : 16695 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040245172752 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16696] ppid=16663 vsize=8283048 memory=140049556131393 CPUtime=23.81 cores=0-7
/proc/16692/task/16696/stat : 16696 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040244119952 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16697] ppid=16663 vsize=8283048 memory=122476 CPUtime=23.81 cores=0-7
/proc/16692/task/16697/stat : 16697 (java) S 16663 16663 15640 0 -1 1077944384 3 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040243067152 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16698] ppid=16663 vsize=8283048 memory=1476 CPUtime=23.81 cores=0-7
/proc/16692/task/16698/stat : 16698 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040242015376 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16699] ppid=16663 vsize=8283048 memory=6096 CPUtime=23.81 cores=0-7
/proc/16692/task/16699/stat : 16699 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040240962576 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16700] ppid=16663 vsize=8283048 memory=1544 CPUtime=23.81 cores=0-7
/proc/16692/task/16700/stat : 16700 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040239909776 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16701] ppid=16663 vsize=8283048 memory=1476 CPUtime=23.81 cores=0-7
/proc/16692/task/16701/stat : 16701 (java) S 16663 16663 15640 0 -1 1077944384 2 568397 0 0 0 0 2274 107 20 0 22 0 510168213 8481841152 37856 33554432000 4194304 4196468 140723404874880 140040238856976 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16702] ppid=16663 vsize=8283048 memory=1760 CPUtime=23.81 cores=0-7
/proc/16692/task/16702/stat : 16702 (java) S 16663 16663 15640 0 -1 1077944384 5 568397 0 0 0 0 2274 107 20 0 22 0 510168215 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039265864048 140040440773250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16703] ppid=16663 vsize=8283048 memory=932 CPUtime=23.81 cores=0-7
/proc/16692/task/16703/stat : 16703 (java) S 16663 16663 15640 0 -1 1077944384 13 568397 0 0 0 0 2274 107 20 0 22 0 510168215 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039086400544 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16704] ppid=16663 vsize=8283048 memory=1980 CPUtime=23.81 cores=0-7
/proc/16692/task/16704/stat : 16704 (java) S 16663 16663 15640 0 -1 1077944384 1 568397 0 0 0 0 2274 107 20 0 22 0 510168216 8481841152 37856 33554432000 4194304 4196468 140723404874880 140038817964912 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16705] ppid=16663 vsize=8283048 memory=1552 CPUtime=23.81 cores=0-7
/proc/16692/task/16705/stat : 16705 (java) S 16663 16663 15640 0 -1 1077944384 1 568397 0 0 0 0 2274 107 20 0 22 0 510168218 8481841152 37856 33554432000 4194304 4196468 140723404874880 140038443456336 140040440780699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16706] ppid=16663 vsize=8283048 memory=1204 CPUtime=23.92 cores=0-7
/proc/16692/task/16706/stat : 16706 (java) S 16663 16663 15640 0 -1 1077944384 516 568397 0 0 11 0 2274 107 20 0 22 0 510168218 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039264811888 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16707] ppid=16663 vsize=8283048 memory=9396 CPUtime=23.94 cores=0-7
/proc/16692/task/16707/stat : 16707 (java) S 16663 16663 15640 0 -1 1077944384 475 568397 0 0 13 0 2274 107 20 0 22 0 510168218 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039263759088 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16708] ppid=16663 vsize=8283048 memory=656 CPUtime=23.94 cores=0-7
/proc/16692/task/16708/stat : 16708 (java) S 16663 16663 15640 0 -1 1077944384 477 568397 0 0 13 0 2274 107 20 0 22 0 510168218 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039262706288 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16709] ppid=16663 vsize=8283048 memory=0 CPUtime=24.09 cores=0-7
/proc/16692/task/16709/stat : 16709 (java) S 16663 16663 15640 0 -1 1077944384 1117 568397 0 0 28 0 2274 107 20 0 22 0 510168218 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039261653488 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16710] ppid=16663 vsize=8283048 memory=0 CPUtime=23.81 cores=0-7
/proc/16692/task/16710/stat : 16710 (java) S 16663 16663 15640 0 -1 1077944384 3 568397 0 0 0 0 2274 107 20 0 22 0 510168219 8481841152 37856 33554432000 4194304 4196468 140723404874880 140037945551456 140040440772309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16711] ppid=16663 vsize=8283048 memory=496 CPUtime=23.81 cores=0-7
/proc/16692/task/16711/stat : 16711 (java) S 16663 16663 15640 0 -1 1077944384 3 568397 0 0 0 0 2274 107 20 0 22 0 510168219 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039260600880 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16713] ppid=16663 vsize=8283048 memory=1560 CPUtime=23.81 cores=0-7
/proc/16692/task/16713/stat : 16713 (java) S 16663 16663 15640 0 -1 1077944384 24 568397 0 0 0 0 2274 107 20 0 22 0 510168287 8481841152 37856 33554432000 4194304 4196468 140723404874880 140039252566288 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
[pid=16692/tid=16717] ppid=16663 vsize=8283048 memory=2428 CPUtime=23.81 cores=0-7
/proc/16692/task/16717/stat : 16717 (java) S 16663 16663 15640 0 -1 1077944384 8 568397 0 0 0 0 2274 107 20 0 22 0 510168290 8481841152 37856 33554432000 4194304 4196468 140723404874880 140037006026032 140040440773250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140723404882935 140723404883094 140723404883094 140723404885967 0
Current children cumulated CPU time: 165.8 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 152900 KiB

Child status: 0
Real time (s): 120.8
CPU time (s): 166.008
CPU user time (s): 156.177
CPU system time (s): 9.83127
CPU usage (%): 137.424
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8517764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.177
system time used= 9.83127
maximum resident set size= 8516688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58582
involuntary context switches= 445


# summary of solver processes directly reported to runsolver:
#   pid: 16663
#   total CPU time (s): 166.008
#   total CPU user time (s): 156.177
#   total CPU system time (s): 9.83127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13184 second user time and 1.0667 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-24 17:28:14
IDJOB=4405454
IDBENCH=131540
IDSOLVER=2868
FILE ID=node123/4405454-1569338934
RUNJOBID= node123-1569335939-15667
PBS_JOBID= 21705062
Free space on /tmp= 25920 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405454-1569338934/watcher-4405454-1569338934 -o /tmp/evaluation-result-4405454-1569338934/solver-4405454-1569338934 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405454-1569338934.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=1091812113

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25583384 kB
MemAvailable:   31837172 kB
Buffers:           86816 kB
Cached:          6320176 kB
SwapCached:         6628 kB
Active:          3179468 kB
Inactive:        3238656 kB
Active(anon):       3600 kB
Inactive(anon):    63948 kB
Active(file):    3175868 kB
Inactive(file):  3174708 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66999796 kB
Dirty:             20832 kB
Writeback:             0 kB
AnonPages:         59372 kB
Mapped:            56584 kB
Shmem:             47928 kB
Slab:             361748 kB
SReclaimable:     331672 kB
SUnreclaim:        30076 kB
KernelStack:        3280 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 25900 MiB
End job on node123 at 2019-09-24 17:30:15