Trace number 4392594

Some explanations

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

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

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

Solver answer on this benchmark

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

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-4848-serial-file.bin HOME/instance-4392594-1568432123.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:34:25 CEST 2019
0.65/0.57	c PID: 4851
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.80/1.01	c (0,0) Parsing End
1.80/1.01	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 355 ctr, max domain size 200
1.80/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.01	c (0,0) Constraint Name Generate Begin
1.80/1.02	c (0,0) Ctr:HOME/instance-4392594-1568432123.xml,AllDifferent:ExtensionSupport:Var
1.80/1.02	c (0,0) Constraint Name Generate End
1.80/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.02	c (0,0) CSP to CSPinCNF Begin
14.11/6.94	c (6,6) translated 36 (10%) constraints
19.33/11.91	c (11,11) translated 71 (20%) constraints
24.36/17.00	c (16,16) translated 107 (30%) constraints
31.38/22.01	c (21,21) translated 142 (40%) constraints
36.08/26.79	c (26,25) translated 178 (50%) constraints
40.83/31.44	c (30,30) translated 213 (60%) constraints
48.76/36.64	c (36,35) translated 249 (70%) constraints
53.51/41.32	c (40,40) translated 284 (80%) constraints
58.33/46.12	c (45,44) translated 320 (90%) constraints
66.85/51.28	c (50,49) translated 355 (100%) constraints
67.05/51.41	c (50,49) ===========================================
67.42/51.73	c (51,50) Hybrid: #OE=70920, #LE=0
67.42/51.73	c (51,50) Hybrid
67.42/51.73	c (51,50) ===========================================
71.00/53.93	c (53,52) translated 96967 (10%) constraints
73.09/55.91	c (55,54) translated 193934 (20%) constraints
75.02/57.89	c (57,56) translated 290901 (30%) constraints
77.02/59.86	c (59,58) translated 387868 (40%) constraints
79.03/61.84	c (61,60) translated 484835 (50%) constraints
81.04/63.81	c (63,62) translated 581802 (60%) constraints
82.94/65.79	c (65,64) translated 678769 (70%) constraints
84.94/67.77	c (67,66) translated 775736 (80%) constraints
86.94/69.76	c (69,68) translated 872703 (90%) constraints
95.47/72.56	c (72,70) translated 969669 (100%) constraints
95.47/72.56	c (72,70) CSP to CSPinCNF End
95.59/72.60	c (72,70) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969669 ctr, max domain size 200
95.59/72.60	c (72,70) Heap : 1115 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
95.59/72.60	c (72,70) CSPinCNF Propagation Begin
101.35/77.69	c (77,75) 0 values, 354 unsatisfiable literals, and 1 valid clauses are removed
101.35/77.69	c (77,75) CSPinCNF Propagation End
101.45/77.72	c (77,75) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969668 ctr, max domain size 200
101.45/77.72	c (77,75) Heap : 6636 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
105.16/78.42	c (77,75) Hybrid: #OE=70920, #LE=0
105.16/78.42	c (77,75) Simplify CSPinCNF Begin
107.73/80.20	c (79,77) Simplify CSPinCNF End
107.73/80.23	c (79,77) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
107.73/80.23	c (79,77) Heap : 2046 MiB used (max 21491 MiB), NonHeap : 29 MiB used (max 0 MiB)
107.73/80.23	c (79,77) Calculate Precise Domain Begin
107.73/80.23	c (79,77) 0 values are removed by re-calculation
107.73/80.23	c (79,77) Calculate Precise Domain End
107.73/80.26	c (79,77) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
107.73/80.26	c (79,77) Heap : 2046 MiB used (max 21491 MiB), NonHeap : 29 MiB used (max 0 MiB)
107.73/80.26	c (79,77) CSPinCNF to SatSolver Begin
128.74/94.01	c (93,90) 98395 (10 %) CSP clauses are encoded (0 SAT variables, 2963874 SAT clauses)
129.68/94.95	c (94,91) 196790 (20 %) CSP clauses are encoded (0 SAT variables, 3062269 SAT clauses)
130.58/95.89	c (95,91) 295185 (30 %) CSP clauses are encoded (0 SAT variables, 3160664 SAT clauses)
131.59/96.83	c (96,92) 393580 (40 %) CSP clauses are encoded (0 SAT variables, 3259059 SAT clauses)
132.49/97.76	c (97,93) 491974 (50 %) CSP clauses are encoded (0 SAT variables, 3357453 SAT clauses)
133.47/98.88	c (98,94) 590369 (60 %) CSP clauses are encoded (0 SAT variables, 3455848 SAT clauses)
139.09/100.44	c (99,95) 688764 (70 %) CSP clauses are encoded (0 SAT variables, 3554243 SAT clauses)
139.98/101.39	c (100,96) 787159 (80 %) CSP clauses are encoded (0 SAT variables, 3652638 SAT clauses)
140.99/102.34	c (101,97) 885554 (90 %) CSP clauses are encoded (0 SAT variables, 3751033 SAT clauses)
141.88/103.29	c (102,98) 983948 (100 %) CSP clauses are encoded (0 SAT variables, 3849427 SAT clauses)
141.88/103.29	c (102,98) CSPinCNF to SatSolver End
141.88/103.29	c (102,98) Heap : 3573 MiB used (max 21354 MiB), NonHeap : 32 MiB used (max 0 MiB)
141.88/103.29	c (102,98) 108960 bool, 3849428 clause
141.88/103.29	c (102,98) Export Begin
142.00/103.39	c (102,98) Export to HOME/scop-4848-serial-file.bin
142.00/103.39	c (102,98) Export End
142.00/103.39	c (102,98) Export File Size: 0.03 MB
142.00/103.39	c (102,98) 0,0,72,77,79,79,102,STOP-AFTER(DIMACS)
142.00/103.39	c END-Prog: Sat Sep 14 05:36:07 CEST 2019
0.00/103.43	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4848-serial-file.bin
142.21/103.90	c (0,0) Read Serial File Begin
142.21/103.90	c (0,0) HOME/scop-4848-serial-file.bin
143.13/104.12	c (0,0) Read Serial File End
143.13/104.14	
143.13/104.14	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
143.13/104.14	(Solving Process)
143.13/104.14	
143.13/104.16	c BEGIN-Prog: Sat Sep 14 05:36:08 CEST 2019
143.13/104.16	c PID: 4877
143.13/104.16	c IP: 172.20.3.103
143.13/104.16	c HOST: node103.alineos.net
143.13/104.16	c (0,0) SatSolver.solve Begin
143.13/104.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392594-1568432123.xml-scop-4851.cnf
143.13/104.19	c (0,0) c
143.13/104.19	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)
143.13/104.19	c (0,0) c
143.13/104.19	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
143.13/104.19	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
143.13/104.19	c (0,0) c ========================================[ Problem Statistics ]===========================================
143.13/104.19	c (0,0) c |                                                                                                       |
144.61/105.41	c (1,0) c |  Number of variables:        108960                                                                   |
144.61/105.41	c (1,0) c |  Number of clauses:         3849428                                                                   |
144.61/105.41	c (1,0) c |  Parse time:                   1.10 s                                                                 |
144.61/105.41	c (1,0) c |                                                                                                       |
161.01/121.87	c (18,0) c |  Simplification time:         16.28 s                                                                 |
161.01/121.87	c (18,0) c |                                                                                                       |
161.01/121.87	c (18,0) c |  Generating clones                                                                                    |
161.81/122.70	c (18,0) c |  all clones generated. Memory =  2236.59Mb.                                                           |
161.81/122.70	c (18,0) c ========================================================================================================|
161.81/122.70	c (18,0) c
161.81/122.70	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
161.81/122.70	c (18,0) c
161.81/122.70	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
161.81/122.70	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
161.81/122.70	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
161.81/122.70	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
161.81/122.70	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
161.81/122.70	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
161.81/122.70	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
161.81/122.70	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
161.81/122.70	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
161.81/122.70	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
161.81/122.70	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
161.81/122.70	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
161.81/122.70	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
161.81/122.70	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
161.81/122.70	c (18,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
161.81/122.70	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
161.81/122.70	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
161.81/122.70	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
161.81/122.70	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c
167.70/123.77	c (19,0) c real time : 19.5867 s
167.70/123.77	c (19,0) c cpu time  : 23.4248 s
167.70/123.77	c (19,0) c
167.70/123.77	c (19,0) c
167.70/123.77	c (19,0) c
167.70/123.77	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
167.70/123.77	c (19,0) c
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c | Conflicts     |            2279 |        210 |        290 |        210 |        552 |        195 |        117 |        479 |        226 |
167.70/123.77	c (19,0) c | Decisions     |            5169 |        552 |        659 |        872 |        906 |        493 |        257 |        839 |        591 |
167.70/123.77	c (19,0) c | Propagations  |         4529174 |     513237 |     524146 |     423465 |     755030 |     476537 |     451526 |     749761 |     635472 |
167.70/123.77	c (19,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
167.70/123.77	c (19,0) c | Restarts      |              14 |          2 |          2 |          2 |          1 |          2 |          1 |          2 |          2 |
167.70/123.77	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | PropBinClauses|         3081259 |     298179 |     364122 |     264120 |     559344 |     321571 |     301070 |     550421 |     422432 |
167.70/123.77	c (19,0) c | PropPreBlocker|        98934293 |   10379727 |   10750331 |    9315566 |   15279672 |   11823870 |   12682947 |   15945316 |   12756864 |
167.70/123.77	c (19,0) c | PropNotBlocker|        45484620 |    5445289 |    4509870 |    4726421 |    7259932 |    5476478 |    5094008 |    7095066 |    5877556 |
167.70/123.77	c (19,0) c | LitFullScans  |       153806617 |   17039644 |   16416357 |   15044960 |   24003962 |   18175149 |   18485189 |   24592532 |   20048824 |
167.70/123.77	c (19,0) c | LitScanFracts |           14019 |        798 |        277 |       1922 |       3682 |       1668 |       1782 |       2426 |       1464 |
167.70/123.77	c (19,0) c | DecisionLevel0|              14 |          2 |          2 |          2 |          1 |          2 |          1 |          2 |          2 |
167.70/123.77	c (19,0) c | Periods       |              23 |          2 |          2 |          2 |          4 |          3 |          3 |          4 |          3 |
167.70/123.77	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
167.70/123.77	c (19,0) c | Avg_Trail     |                 |       4805 |      12913 |       8280 |       5460 |       6331 |       7237 |       4356 |       7459 |
167.70/123.77	c (19,0) c | Avg_DL        |                 |         35 |        153 |         84 |         69 |         99 |         51 |         25 |         78 |
167.70/123.77	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c | Exported      |              77 |         11 |          6 |          1 |         17 |          7 |          3 |         27 |          5 |
167.70/123.77	c (19,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.70/123.77	c (19,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          3 |          0 |
167.70/123.77	c (19,0) c | Glues         |                 |         11 |          6 |          1 |         17 |          7 |          3 |         27 |          5 |
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c | Orig_Seen     |             0 % |      40094 |       9980 |      20597 |      12159 |       9244 |       3786 |      13330 |      25699 |
167.70/123.77	c (19,0) c | Diff Orig seen|                 |      19497 | -    10617 |      X     | -     8438 | -    11353 | -    16811 | -     7267 |       5102 |
167.70/123.77	c (19,0) c | Hamming       |            14 % |      16325 |      15081 |      X     |      15592 |      15828 |      15795 |      15010 |      15979 |
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c | RunningTime   |                 |    1.0 100%|    1.0 100%|    0.9 100%|    1.1 100%|    0.9 100%|    1.0 100%|    1.0 100%|    1.0 100%|
167.70/123.77	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%|
167.70/123.77	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%|
167.70/123.77	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%|
167.70/123.77	c (19,0) c | SolvingTime   |                 |    1.0     |    1.0     |    0.9     |    1.1     |    0.9     |    1.0     |    1.0     |    1.0     |
167.70/123.77	c (19,0) c | PropagationTim|                 |    1.0  97%|    1.0  97%|    0.9  97%|    1.0  97%|    0.9  98%|    1.0  99%|    1.0  97%|    1.0  97%|
167.70/123.77	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   2%|
167.70/123.77	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%|
167.70/123.77	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%|
167.70/123.77	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%|
167.70/123.77	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%|
167.70/123.77	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.77	c (19,0) c
167.70/123.78	c (19,0) c
167.70/123.78	c (19,0) c Threads : 8
167.70/123.78	c (19,0) c Winner : 2
167.70/123.78	c (19,0) c Conflicts_0 : 210
167.70/123.78	c (19,0) c Conflicts_1 : 290
167.70/123.78	c (19,0) c Conflicts_2 : 210
167.70/123.78	c (19,0) c Conflicts_3 : 552
167.70/123.78	c (19,0) c Conflicts_4 : 195
167.70/123.78	c (19,0) c Conflicts_5 : 117
167.70/123.78	c (19,0) c Conflicts_6 : 479
167.70/123.78	c (19,0) c Conflicts_7 : 226
167.70/123.78	c (19,0) c Conflicts_total : 2279
167.70/123.78	c (19,0) c Conflicts_winner : 210
167.70/123.78	c (19,0) c Decisions_0 : 552
167.70/123.78	c (19,0) c Decisions_1 : 659
167.70/123.78	c (19,0) c Decisions_2 : 872
167.70/123.78	c (19,0) c Decisions_3 : 906
167.70/123.78	c (19,0) c Decisions_4 : 493
167.70/123.78	c (19,0) c Decisions_5 : 257
167.70/123.78	c (19,0) c Decisions_6 : 839
167.70/123.78	c (19,0) c Decisions_7 : 591
167.70/123.78	c (19,0) c Decisions_total : 5169
167.70/123.78	c (19,0) c Decisions_winner : 872
167.70/123.78	c (19,0) c Propagations_0 : 513237
167.70/123.78	c (19,0) c Propagations_1 : 524146
167.70/123.78	c (19,0) c Propagations_2 : 423465
167.70/123.78	c (19,0) c Propagations_3 : 755030
167.70/123.78	c (19,0) c Propagations_4 : 476537
167.70/123.78	c (19,0) c Propagations_5 : 451526
167.70/123.78	c (19,0) c Propagations_6 : 749761
167.70/123.78	c (19,0) c Propagations_7 : 635472
167.70/123.78	c (19,0) c Propagations_total : 4529174
167.70/123.78	c (19,0) c Propagations_winner : 423465
167.70/123.78	c (19,0) c ReduceDBs_0 : 0
167.70/123.78	c (19,0) c ReduceDBs_1 : 0
167.70/123.78	c (19,0) c ReduceDBs_2 : 0
167.70/123.78	c (19,0) c ReduceDBs_3 : 0
167.70/123.78	c (19,0) c ReduceDBs_4 : 0
167.70/123.78	c (19,0) c ReduceDBs_5 : 0
167.70/123.78	c (19,0) c ReduceDBs_6 : 0
167.70/123.78	c (19,0) c ReduceDBs_7 : 0
167.70/123.78	c (19,0) c ReduceDBs_total : 0
167.70/123.78	c (19,0) c ReduceDBs_winner : 0
167.70/123.78	c (19,0) c SimpDBs_0 : 1
167.70/123.78	c (19,0) c SimpDBs_1 : 1
167.70/123.78	c (19,0) c SimpDBs_2 : 1
167.70/123.78	c (19,0) c SimpDBs_3 : 1
167.70/123.78	c (19,0) c SimpDBs_4 : 1
167.70/123.78	c (19,0) c SimpDBs_5 : 1
167.70/123.78	c (19,0) c SimpDBs_6 : 1
167.70/123.78	c (19,0) c SimpDBs_7 : 1
167.70/123.78	c (19,0) c SimpDBs_total : 8
167.70/123.78	c (19,0) c SimpDBs_winner : 1
167.70/123.78	c (19,0) c Restarts_0 : 2
167.70/123.78	c (19,0) c Restarts_1 : 2
167.70/123.78	c (19,0) c Restarts_2 : 2
167.70/123.78	c (19,0) c Restarts_3 : 1
167.70/123.78	c (19,0) c Restarts_4 : 2
167.70/123.78	c (19,0) c Restarts_5 : 1
167.70/123.78	c (19,0) c Restarts_6 : 2
167.70/123.78	c (19,0) c Restarts_7 : 2
167.70/123.78	c (19,0) c Restarts_total : 14
167.70/123.78	c (19,0) c Restarts_winner : 2
167.70/123.78	c (19,0) c ForcedImports_0 : 0
167.70/123.78	c (19,0) c ForcedImports_1 : 0
167.70/123.78	c (19,0) c ForcedImports_2 : 0
167.70/123.78	c (19,0) c ForcedImports_3 : 0
167.70/123.78	c (19,0) c ForcedImports_4 : 0
167.70/123.78	c (19,0) c ForcedImports_5 : 0
167.70/123.78	c (19,0) c ForcedImports_6 : 0
167.70/123.78	c (19,0) c ForcedImports_7 : 0
167.70/123.78	c (19,0) c ForcedImports_total : 0
167.70/123.78	c (19,0) c ForcedImports_winner : 0
167.70/123.78	c (19,0) c PropsBinClauses_0 : 298179
167.70/123.78	c (19,0) c PropsBinClauses_1 : 364122
167.70/123.78	c (19,0) c PropsBinClauses_2 : 264120
167.70/123.78	c (19,0) c PropsBinClauses_3 : 559344
167.70/123.78	c (19,0) c PropsBinClauses_4 : 321571
167.70/123.78	c (19,0) c PropsBinClauses_5 : 301070
167.70/123.78	c (19,0) c PropsBinClauses_6 : 550421
167.70/123.78	c (19,0) c PropsBinClauses_7 : 422432
167.70/123.78	c (19,0) c PropsBinClauses_total : 3081259
167.70/123.78	c (19,0) c PropsBinClauses_winner : 264120
167.70/123.78	c (19,0) c PropsPreBlocker_0 : 10379727
167.70/123.78	c (19,0) c PropsPreBlocker_1 : 10750331
167.70/123.78	c (19,0) c PropsPreBlocker_2 : 9315566
167.70/123.78	c (19,0) c PropsPreBlocker_3 : 15279672
167.70/123.78	c (19,0) c PropsPreBlocker_4 : 11823870
167.70/123.78	c (19,0) c PropsPreBlocker_5 : 12682947
167.70/123.78	c (19,0) c PropsPreBlocker_6 : 15945316
167.70/123.78	c (19,0) c PropsPreBlocker_7 : 12756864
167.70/123.78	c (19,0) c PropsPreBlocker_total : 98934293
167.70/123.78	c (19,0) c PropsPreBlocker_winner : 9315566
167.70/123.78	c (19,0) c PropsNotBlocker_0 : 5445289
167.70/123.78	c (19,0) c PropsNotBlocker_1 : 4509870
167.70/123.78	c (19,0) c PropsNotBlocker_2 : 4726421
167.70/123.78	c (19,0) c PropsNotBlocker_3 : 7259932
167.70/123.78	c (19,0) c PropsNotBlocker_4 : 5476478
167.70/123.78	c (19,0) c PropsNotBlocker_5 : 5094008
167.70/123.78	c (19,0) c PropsNotBlocker_6 : 7095066
167.70/123.78	c (19,0) c PropsNotBlocker_7 : 5877556
167.70/123.78	c (19,0) c PropsNotBlocker_total : 45484620
167.70/123.78	c (19,0) c PropsNotBlocker_winner : 4726421
167.70/123.78	c (19,0) c PropsLitFullScans_0 : 17039644
167.70/123.78	c (19,0) c PropsLitFullScans_1 : 16416357
167.70/123.78	c (19,0) c PropsLitFullScans_2 : 15044960
167.70/123.78	c (19,0) c PropsLitFullScans_3 : 24003962
167.70/123.78	c (19,0) c PropsLitFullScans_4 : 18175149
167.70/123.78	c (19,0) c PropsLitFullScans_5 : 18485189
167.70/123.78	c (19,0) c PropsLitFullScans_6 : 24592532
167.70/123.78	c (19,0) c PropsLitFullScans_7 : 20048824
167.70/123.78	c (19,0) c PropsLitFullScans_total : 153806617
167.70/123.78	c (19,0) c PropsLitFullScans_winner : 15044960
167.70/123.78	c (19,0) c LitScanFractions_0 : 798
167.70/123.78	c (19,0) c LitScanFractions_1 : 277
167.70/123.78	c (19,0) c LitScanFractions_2 : 1922
167.70/123.78	c (19,0) c LitScanFractions_3 : 3682
167.70/123.78	c (19,0) c LitScanFractions_4 : 1668
167.70/123.78	c (19,0) c LitScanFractions_5 : 1782
167.70/123.78	c (19,0) c LitScanFractions_6 : 2426
167.70/123.78	c (19,0) c LitScanFractions_7 : 1464
167.70/123.78	c (19,0) c LitScanFractions_total : 14019
167.70/123.78	c (19,0) c LitScanFractions_winner : 1922
167.70/123.78	c (19,0) c DecisionLevel0_0 : 2
167.70/123.78	c (19,0) c DecisionLevel0_1 : 2
167.70/123.78	c (19,0) c DecisionLevel0_2 : 2
167.70/123.78	c (19,0) c DecisionLevel0_3 : 1
167.70/123.78	c (19,0) c DecisionLevel0_4 : 2
167.70/123.78	c (19,0) c DecisionLevel0_5 : 1
167.70/123.78	c (19,0) c DecisionLevel0_6 : 2
167.70/123.78	c (19,0) c DecisionLevel0_7 : 2
167.70/123.78	c (19,0) c DecisionLevel0_total : 14
167.70/123.78	c (19,0) c DecisionLevel0_winner : 2
167.70/123.78	c (19,0) c Periods_0 : 2
167.70/123.78	c (19,0) c Periods_1 : 2
167.70/123.78	c (19,0) c Periods_2 : 2
167.70/123.78	c (19,0) c Periods_3 : 4
167.70/123.78	c (19,0) c Periods_4 : 3
167.70/123.78	c (19,0) c Periods_5 : 3
167.70/123.78	c (19,0) c Periods_6 : 4
167.70/123.78	c (19,0) c Periods_7 : 3
167.70/123.78	c (19,0) c Periods_total : 23
167.70/123.78	c (19,0) c Periods_winner : 2
167.70/123.78	c (19,0) c Margin_0 : 20
167.70/123.78	c (19,0) c Margin_1 : 20
167.70/123.78	c (19,0) c Margin_2 : 20
167.70/123.78	c (19,0) c Margin_3 : 20
167.70/123.78	c (19,0) c Margin_4 : 20
167.70/123.78	c (19,0) c Margin_5 : 20
167.70/123.78	c (19,0) c Margin_6 : 20
167.70/123.78	c (19,0) c Margin_7 : 20
167.70/123.78	c (19,0) c Margin_total : 160
167.70/123.78	c (19,0) c Margin_winner : 20
167.70/123.78	c (19,0) c Exported_0 : 11
167.70/123.78	c (19,0) c Exported_1 : 6
167.70/123.78	c (19,0) c Exported_2 : 1
167.70/123.78	c (19,0) c Exported_3 : 17
167.70/123.78	c (19,0) c Exported_4 : 7
167.70/123.78	c (19,0) c Exported_5 : 3
167.70/123.78	c (19,0) c Exported_6 : 27
167.70/123.78	c (19,0) c Exported_7 : 5
167.70/123.78	c (19,0) c Exported_total : 77
167.70/123.78	c (19,0) c Exported_winner : 1
167.70/123.78	c (19,0) c Imported_0 : 0
167.70/123.78	c (19,0) c Imported_1 : 0
167.70/123.78	c (19,0) c Imported_2 : 0
167.70/123.78	c (19,0) c Imported_3 : 0
167.70/123.78	c (19,0) c Imported_4 : 0
167.70/123.78	c (19,0) c Imported_5 : 0
167.70/123.78	c (19,0) c Imported_6 : 0
167.70/123.78	c (19,0) c Imported_7 : 0
167.70/123.78	c (19,0) c Imported_total : 0
167.70/123.78	c (19,0) c Imported_winner : 0
167.70/123.78	c (19,0) c Good_0 : 0
167.70/123.78	c (19,0) c Good_1 : 0
167.70/123.78	c (19,0) c Good_2 : 0
167.70/123.78	c (19,0) c Good_3 : 0
167.70/123.78	c (19,0) c Good_4 : 0
167.70/123.78	c (19,0) c Good_5 : 0
167.70/123.78	c (19,0) c Good_6 : 0
167.70/123.78	c (19,0) c Good_7 : 0
167.70/123.78	c (19,0) c Good_total : 0
167.70/123.78	c (19,0) c Good_winner : 0
167.70/123.78	c (19,0) c Purge_0 : 0
167.70/123.78	c (19,0) c Purge_1 : 0
167.70/123.78	c (19,0) c Purge_2 : 0
167.70/123.78	c (19,0) c Purge_3 : 0
167.70/123.78	c (19,0) c Purge_4 : 0
167.70/123.78	c (19,0) c Purge_5 : 0
167.70/123.78	c (19,0) c Purge_6 : 0
167.70/123.78	c (19,0) c Purge_7 : 0
167.70/123.78	c (19,0) c Purge_total : 0
167.70/123.78	c (19,0) c Purge_winner : 0
167.70/123.78	c (19,0) c Promoted_0 : 0
167.70/123.78	c (19,0) c Promoted_1 : 0
167.70/123.78	c (19,0) c Promoted_2 : 0
167.70/123.78	c (19,0) c Promoted_3 : 0
167.70/123.78	c (19,0) c Promoted_4 : 0
167.70/123.78	c (19,0) c Promoted_5 : 0
167.70/123.78	c (19,0) c Promoted_6 : 0
167.70/123.78	c (19,0) c Promoted_7 : 0
167.70/123.78	c (19,0) c Promoted_total : 0
167.70/123.78	c (19,0) c Promoted_winner : 0
167.70/123.78	c (19,0) c Remove_Imp_0 : 0
167.70/123.78	c (19,0) c Remove_Imp_1 : 0
167.70/123.78	c (19,0) c Remove_Imp_2 : 0
167.70/123.78	c (19,0) c Remove_Imp_3 : 0
167.70/123.78	c (19,0) c Remove_Imp_4 : 0
167.70/123.78	c (19,0) c Remove_Imp_5 : 0
167.70/123.78	c (19,0) c Remove_Imp_6 : 0
167.70/123.78	c (19,0) c Remove_Imp_7 : 0
167.70/123.79	c (19,0) c Remove_Imp_total : 0
167.70/123.79	c (19,0) c Remove_Imp_winner : 0
167.70/123.79	c (19,0) c Blocked_Reuse_0 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_1 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_2 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_3 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_4 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_5 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_6 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_7 : 0
167.70/123.79	c (19,0) c Blocked_Reuse_total : 0
167.70/123.79	c (19,0) c Blocked_Reuse_winner : 0
167.70/123.79	c (19,0) c Unaries_0 : 0
167.70/123.79	c (19,0) c Unaries_1 : 0
167.70/123.79	c (19,0) c Unaries_2 : 0
167.70/123.79	c (19,0) c Unaries_3 : 0
167.70/123.79	c (19,0) c Unaries_4 : 0
167.70/123.79	c (19,0) c Unaries_5 : 0
167.70/123.79	c (19,0) c Unaries_6 : 0
167.70/123.79	c (19,0) c Unaries_7 : 0
167.70/123.79	c (19,0) c Unaries_total : 0
167.70/123.79	c (19,0) c Unaries_winner : 0
167.70/123.79	c (19,0) c Binaries_0 : 0
167.70/123.79	c (19,0) c Binaries_1 : 0
167.70/123.79	c (19,0) c Binaries_2 : 0
167.70/123.79	c (19,0) c Binaries_3 : 0
167.70/123.79	c (19,0) c Binaries_4 : 0
167.70/123.79	c (19,0) c Binaries_5 : 0
167.70/123.79	c (19,0) c Binaries_6 : 3
167.70/123.79	c (19,0) c Binaries_7 : 0
167.70/123.79	c (19,0) c Binaries_total : 3
167.70/123.79	c (19,0) c Binaries_winner : 0
167.70/123.79	c (19,0) c Glues_0 : 11
167.70/123.79	c (19,0) c Glues_1 : 6
167.70/123.79	c (19,0) c Glues_2 : 1
167.70/123.79	c (19,0) c Glues_3 : 17
167.70/123.79	c (19,0) c Glues_4 : 7
167.70/123.79	c (19,0) c Glues_5 : 3
167.70/123.79	c (19,0) c Glues_6 : 27
167.70/123.79	c (19,0) c Glues_7 : 5
167.70/123.79	c (19,0) c Glues_total : 77
167.70/123.79	c (19,0) c Glues_winner : 1
167.70/123.79	c (19,0) c RunningTime_0 : 1.020251
167.70/123.79	c (19,0) c RunningTime_1 : 0.985636
167.70/123.79	c (19,0) c RunningTime_2 : 0.916663
167.70/123.79	c (19,0) c RunningTime_3 : 1.067468
167.70/123.79	c (19,0) c RunningTime_4 : 0.916430
167.70/123.79	c (19,0) c RunningTime_5 : 0.982991
167.70/123.79	c (19,0) c RunningTime_6 : 1.012326
167.70/123.79	c (19,0) c RunningTime_7 : 1.012564
167.70/123.79	c (19,0) c RunningTime_total : 7.914329
167.70/123.79	c (19,0) c RunningTime_winner : 0.916663
167.70/123.79	c (19,0) c WaitingTime_0 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_1 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_2 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_3 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_4 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_5 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_6 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_7 : 0.000000
167.70/123.79	c (19,0) c WaitingTime_total : 0.000000
167.70/123.79	c (19,0) c WaitingTime_winner : 0.000000
167.70/123.79	c (19,0) c ExchangingTime_0 : 0.000134
167.70/123.79	c (19,0) c ExchangingTime_1 : 0.000081
167.70/123.79	c (19,0) c ExchangingTime_2 : 0.000029
167.70/123.79	c (19,0) c ExchangingTime_3 : 0.000166
167.70/123.79	c (19,0) c ExchangingTime_4 : 0.000042
167.70/123.79	c (19,0) c ExchangingTime_5 : 0.000024
167.70/123.79	c (19,0) c ExchangingTime_6 : 0.000117
167.70/123.79	c (19,0) c ExchangingTime_7 : 0.000048
167.70/123.79	c (19,0) c ExchangingTime_total : 0.000642
167.70/123.79	c (19,0) c ExchangingTime_winner : 0.000029
167.70/123.79	c (19,0) c PeriodProcTime_0 : 0.000031
167.70/123.79	c (19,0) c PeriodProcTime_1 : 0.000032
167.70/123.79	c (19,0) c PeriodProcTime_2 : 0.000035
167.70/123.79	c (19,0) c PeriodProcTime_3 : 0.000166
167.70/123.79	c (19,0) c PeriodProcTime_4 : 0.000036
167.70/123.79	c (19,0) c PeriodProcTime_5 : 0.000039
167.70/123.79	c (19,0) c PeriodProcTime_6 : 0.000048
167.70/123.79	c (19,0) c PeriodProcTime_7 : 0.000038
167.70/123.79	c (19,0) c PeriodProcTime_total : 0.000425
167.70/123.79	c (19,0) c PeriodProcTime_winner : 0.000035
167.70/123.79	c (19,0) c SolvingTime_0 : 1.020416
167.70/123.79	c (19,0) c SolvingTime_1 : 0.985748
167.70/123.79	c (19,0) c SolvingTime_2 : 0.916728
167.70/123.79	c (19,0) c SolvingTime_3 : 1.067800
167.70/123.79	c (19,0) c SolvingTime_4 : 0.916509
167.70/123.79	c (19,0) c SolvingTime_5 : 0.983054
167.70/123.79	c (19,0) c SolvingTime_6 : 1.012491
167.70/123.79	c (19,0) c SolvingTime_7 : 1.012650
167.70/123.79	c (19,0) c SolvingTime_total : 7.915395
167.70/123.79	c (19,0) c SolvingTime_winner : 0.916728
167.70/123.79	c (19,0) c PropagationTime_0 : 0.985480
167.70/123.79	c (19,0) c PropagationTime_1 : 0.954964
167.70/123.79	c (19,0) c PropagationTime_2 : 0.892476
167.70/123.79	c (19,0) c PropagationTime_3 : 1.034692
167.70/123.79	c (19,0) c PropagationTime_4 : 0.901624
167.70/123.79	c (19,0) c PropagationTime_5 : 0.971172
167.70/123.79	c (19,0) c PropagationTime_6 : 0.986990
167.70/123.79	c (19,0) c PropagationTime_7 : 0.982629
167.70/123.79	c (19,0) c PropagationTime_total : 7.710026
167.70/123.79	c (19,0) c PropagationTime_winner : 0.892476
167.70/123.79	c (19,0) c AnalysisTime_0 : 0.029409
167.70/123.79	c (19,0) c AnalysisTime_1 : 0.021462
167.70/123.79	c (19,0) c AnalysisTime_2 : 0.016487
167.70/123.79	c (19,0) c AnalysisTime_3 : 0.021779
167.70/123.79	c (19,0) c AnalysisTime_4 : 0.009608
167.70/123.79	c (19,0) c AnalysisTime_5 : 0.007325
167.70/123.79	c (19,0) c AnalysisTime_6 : 0.017609
167.70/123.79	c (19,0) c AnalysisTime_7 : 0.022707
167.70/123.79	c (19,0) c AnalysisTime_total : 0.146386
167.70/123.79	c (19,0) c AnalysisTime_winner : 0.016487
167.70/123.79	c (19,0) c ReductionTime_0 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_1 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_2 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_3 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_4 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_5 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_6 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_7 : 0.000000
167.70/123.79	c (19,0) c ReductionTime_total : 0.000000
167.70/123.79	c (19,0) c ReductionTime_winner : 0.000000
167.70/123.79	c (19,0) c SimplifyTime_0 : 0.000000
167.70/123.79	c (19,0) c SimplifyTime_1 : 0.000000
167.70/123.79	c (19,0) c SimplifyTime_2 : 0.000000
167.70/123.79	c (19,0) c SimplifyTime_3 : 0.000001
167.70/123.79	c (19,0) c SimplifyTime_4 : 0.000001
167.70/123.79	c (19,0) c SimplifyTime_5 : 0.000001
167.70/123.79	c (19,0) c SimplifyTime_6 : 0.000000
167.70/123.79	c (19,0) c SimplifyTime_7 : 0.000000
167.70/123.79	c (19,0) c SimplifyTime_total : 0.000003
167.70/123.79	c (19,0) c SimplifyTime_winner : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_0 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_1 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_2 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_3 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_4 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_5 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_6 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_7 : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_total : 0.000000
167.70/123.79	c (19,0) c UsedRateTime_winner : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_0 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_1 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_2 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_3 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_4 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_5 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_6 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_7 : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_total : 0.000000
167.70/123.79	c (19,0) c OverlapRateTime_winner : 0.000000
167.70/123.79	c (19,0) c
167.70/123.79	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
167.70/123.79	c (19,0) c
167.70/123.79	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.79	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
167.70/123.79	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.79	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
167.70/123.79	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
167.70/123.79	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
167.70/123.79	c (19,0) c | Initial random_seed   |  668174473 | 1741576134 |  565357451 | 1442443362 | 1686764270 | 1317327661 | 1143232659 | 1974590288 |
167.70/123.79	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
167.70/123.79	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
167.70/123.79	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
167.70/123.79	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
167.70/123.79	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
167.70/123.79	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
167.70/123.79	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
167.70/123.79	c (19,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
167.70/123.79	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
167.70/123.79	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
167.70/123.79	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
167.70/123.79	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.70/123.79	c (19,0) 
167.70/123.79	c (19,0) s SATISFIABLE
143.71/123.90	c (20,0) SatSolver.solve End
143.71/123.90	c (20,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
143.71/123.90	c (20,0) Show results Begin
168.47/124.02	c (20,0) x[0] = 35
168.47/124.02	c (20,0) x[1] = 31
168.47/124.02	c (20,0) x[2] = 192
168.47/124.02	c (20,0) x[3] = 47
168.47/124.02	c (20,0) x[4] = 95
168.47/124.02	c (20,0) x[5] = 53
168.47/124.02	c (20,0) x[6] = 23
168.47/124.02	c (20,0) x[7] = 139
168.47/124.02	c (20,0) x[8] = 29
168.47/124.02	c (20,0) x[9] = 1
168.47/124.02	c (20,0) x[10] = 196
168.47/124.02	c (20,0) x[11] = 180
168.47/124.02	c (20,0) x[12] = 45
168.47/124.02	c (20,0) x[13] = 44
168.47/124.02	c (20,0) x[14] = 0
168.47/124.02	c (20,0) x[15] = 135
168.47/124.02	c (20,0) x[16] = 85
168.47/124.02	c (20,0) x[17] = 90
168.47/124.02	c (20,0) x[18] = 38
168.47/124.02	c (20,0) x[19] = 127
168.47/124.02	c (20,0) x[20] = 138
168.47/124.02	c (20,0) x[21] = 40
168.47/124.02	c (20,0) x[22] = 149
168.47/124.02	c (20,0) x[23] = 28
168.47/124.02	c (20,0) x[24] = 126
168.47/124.02	c (20,0) x[25] = 137
168.47/124.02	c (20,0) x[26] = 70
168.47/124.02	c (20,0) x[27] = 100
168.47/124.02	c (20,0) x[28] = 34
168.47/124.02	c (20,0) x[29] = 162
168.47/124.02	c (20,0) x[30] = 42
168.47/124.02	c (20,0) x[31] = 18
168.47/124.02	c (20,0) x[32] = 50
168.47/124.02	c (20,0) x[33] = 112
168.47/124.02	c (20,0) x[34] = 107
168.47/124.02	c (20,0) x[35] = 87
168.47/124.02	c (20,0) x[36] = 123
168.47/124.02	c (20,0) x[37] = 94
168.47/124.02	c (20,0) x[38] = 148
168.47/124.02	c (20,0) x[39] = 27
168.47/124.02	c (20,0) x[40] = 15
168.47/124.02	c (20,0) x[41] = 83
168.47/124.02	c (20,0) x[42] = 82
168.47/124.02	c (20,0) x[43] = 73
168.47/124.02	c (20,0) x[44] = 7
168.47/124.02	c (20,0) x[45] = 144
168.47/124.02	c (20,0) x[46] = 191
168.47/124.02	c (20,0) x[47] = 71
168.47/124.02	c (20,0) x[48] = 106
168.47/124.02	c (20,0) x[49] = 5
168.47/124.02	c (20,0) x[50] = 140
168.47/124.02	c (20,0) x[51] = 179
168.47/124.02	c (20,0) x[52] = 3
168.47/124.02	c (20,0) x[53] = 165
168.47/124.02	c (20,0) x[54] = 24
168.47/124.02	c (20,0) x[55] = 119
168.47/124.02	c (20,0) x[56] = 93
168.47/124.02	c (20,0) x[57] = 152
168.47/124.02	c (20,0) x[58] = 74
168.47/124.02	c (20,0) x[59] = 80
168.47/124.02	c (20,0) x[60] = 51
168.47/124.02	c (20,0) x[61] = 78
168.47/124.02	c (20,0) x[62] = 32
168.47/124.02	c (20,0) x[63] = 156
168.47/124.02	c (20,0) x[64] = 52
168.47/124.02	c (20,0) x[65] = 136
168.47/124.02	c (20,0) x[66] = 194
168.47/124.02	c (20,0) x[67] = 56
168.47/124.02	c (20,0) x[68] = 103
168.47/124.02	c (20,0) x[69] = 147
168.47/124.02	c (20,0) x[70] = 37
168.47/124.02	c (20,0) x[71] = 69
168.47/124.02	c (20,0) x[72] = 131
168.47/124.02	c (20,0) x[73] = 169
168.47/124.02	c (20,0) x[74] = 67
168.47/124.02	c (20,0) x[75] = 25
168.47/124.02	c (20,0) x[76] = 125
168.47/124.02	c (20,0) x[77] = 185
168.47/124.02	c (20,0) x[78] = 98
168.47/124.02	c (20,0) x[79] = 176
168.47/124.02	c (20,0) x[80] = 159
168.47/124.02	c (20,0) x[81] = 128
168.47/124.02	c (20,0) x[82] = 92
168.47/124.02	c (20,0) x[83] = 33
168.47/124.02	c (20,0) x[84] = 30
168.47/124.02	c (20,0) x[85] = 170
168.47/124.03	c (20,0) x[86] = 167
168.47/124.03	c (20,0) x[87] = 11
168.47/124.03	c (20,0) x[88] = 89
168.47/124.03	c (20,0) x[89] = 68
168.47/124.03	c (20,0) x[90] = 193
168.47/124.03	c (20,0) x[91] = 16
168.47/124.03	c (20,0) x[92] = 160
168.47/124.03	c (20,0) x[93] = 86
168.47/124.03	c (20,0) x[94] = 22
168.47/124.03	c (20,0) x[95] = 168
168.47/124.03	c (20,0) x[96] = 189
168.47/124.03	c (20,0) x[97] = 115
168.47/124.03	c (20,0) x[98] = 96
168.47/124.03	c (20,0) x[99] = 99
168.47/124.03	c (20,0) x[100] = 175
168.47/124.03	c (20,0) x[101] = 190
168.47/124.03	c (20,0) x[102] = 122
168.47/124.03	c (20,0) x[103] = 72
168.47/124.03	c (20,0) x[104] = 8
168.47/124.03	c (20,0) x[105] = 17
168.47/124.03	c (20,0) x[106] = 21
168.47/124.03	c (20,0) x[107] = 178
168.47/124.03	c (20,0) x[108] = 171
168.47/124.03	c (20,0) x[109] = 12
168.47/124.03	c (20,0) x[110] = 153
168.47/124.03	c (20,0) x[111] = 39
168.47/124.03	c (20,0) x[112] = 163
168.47/124.03	c (20,0) x[113] = 161
168.47/124.03	c (20,0) x[114] = 63
168.47/124.03	c (20,0) x[115] = 154
168.47/124.03	c (20,0) x[116] = 81
168.47/124.03	c (20,0) x[117] = 101
168.47/124.03	c (20,0) x[118] = 146
168.47/124.03	c (20,0) x[119] = 181
168.47/124.03	s SATISFIABLE
168.47/124.04	v <instantiation>
168.47/124.04	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>
168.47/124.04	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>
168.47/124.04	v </instantiation>
168.47/124.04	c (20,0) Show results End
168.47/124.04	c (20,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
168.47/124.04	c (20,0) 20,20,STOP-AFTER(ALL)
168.47/124.04	c END-Prog: Sat Sep 14 05:36:28 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 (15020 MiB free)
  memory of node 1: 16384 MiB (15582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392594-1568432123/watcher-4392594-1568432123 -o /tmp/evaluation-result-4392594-1568432123/solver-4392594-1568432123 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392594-1568432123.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4848, runsolver pid=4845
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 7.70 8.16 8.21 2/211 4870
/proc/meminfo: memFree=31246700/32770624 swapFree=66996976/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4848/stat : 4848 (scop.sh) S 4845 4848 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419465368 115843072 348 33554432000 4194304 5098028 140723180039488 140723180036744 139676225786492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31154176 140723180040996 140723180041324 140723180041324 140723180044237 0
/proc/4848/statm: 28282 348 296 221 0 87 0
[pid=4851] ppid=4848 vsize=27314120 memory=103524 CPUtime=0.1 cores=0-7
/proc/4851/stat : 4851 (java) S 4848 4848 3266 0 -1 1077944320 6546 0 0 0 8 2 0 0 20 0 20 0 419465368 27969658880 25881 33554432000 4194304 4196468 140735886730736 140735886713280 140382847459063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
/proc/4851/statm: 6828530 25881 2747 1 0 6790935 0
[pid=4851/tid=4852] ppid=4848 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/4851/task/4852/stat : 4852 (java) R 4848 4848 3266 0 -1 4202560 4622 0 0 0 7 2 0 0 20 0 20 0 419465368 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382819277440 140382847480989 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4853] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4853/stat : 4853 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382851701520 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4854] ppid=4848 vsize=27314120 memory=288370666943039104 CPUtime=0 cores=0-7
/proc/4851/task/4854/stat : 4854 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382685080464 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4855] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4855/stat : 4855 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382268894224 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4856] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4856/stat : 4856 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382267841680 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4857] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4857/stat : 4857 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382266788112 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4858] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4858/stat : 4858 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382265735568 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4859] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4859/stat : 4859 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382264683024 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4860] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4860/stat : 4860 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 26010 33554432000 4194304 4196468 140735886730736 140382263630480 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4861] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4861/stat : 4861 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465372 27969658880 26010 33554432000 4194304 4196468 140735886730736 140381368887792 140382847470210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4862] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4862/stat : 4862 (java) S 4848 4848 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419465373 27969658880 26010 33554432000 4194304 4196468 140735886730736 140380603409824 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4863] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4863/stat : 4863 (java) S 4848 4848 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419465373 27969658880 26010 33554432000 4194304 4196468 140735886730736 140380469188080 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4864] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4864/stat : 4864 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465375 27969658880 26010 33554432000 4194304 4196468 140735886730736 140380094683856 140382847477659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4865] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4865/stat : 4865 (java) S 4848 4848 3266 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 419465375 27969658880 26010 33554432000 4194304 4196468 140735886730736 140381367834608 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4866] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4866/stat : 4866 (java) S 4848 4848 3266 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 26010 33554432000 4194304 4196468 140735886730736 140381366782064 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4867] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4867/stat : 4867 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 26010 33554432000 4194304 4196468 140735886730736 140381365729520 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4868] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4868/stat : 4868 (java) S 4848 4848 3266 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 26010 33554432000 4194304 4196468 140735886730736 140381364676976 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4869] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4869/stat : 4869 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 26010 33554432000 4194304 4196468 140735886730736 140379596778208 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4870] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4870/stat : 4870 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 26010 33554432000 4194304 4196468 140735886730736 140381363624880 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104916 KiB

[startup+0.210299 s]*
/proc/loadavg: 7.70 8.16 8.21 3/211 4870
/proc/meminfo: memFree=31223104/32770624 swapFree=66996976/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4848/stat : 4848 (scop.sh) S 4845 4848 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419465368 115843072 348 33554432000 4194304 5098028 140723180039488 140723180036744 139676225786492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31154176 140723180040996 140723180041324 140723180041324 140723180044237 0
/proc/4848/statm: 28282 348 296 221 0 87 0
[pid=4851] ppid=4848 vsize=27314120 memory=123172 CPUtime=0.24 cores=0-7
/proc/4851/stat : 4851 (java) S 4848 4848 3266 0 -1 1077944320 12239 0 0 0 20 4 0 0 20 0 20 0 419465368 27969658880 30793 33554432000 4194304 4196468 140735886730736 140735886713280 140382847459063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
/proc/4851/statm: 6828530 30793 2926 1 0 6790935 0
[pid=4851/tid=4852] ppid=4848 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4851/task/4852/stat : 4852 (java) R 4848 4848 3266 0 -1 4202560 9872 0 0 0 16 4 0 0 20 0 20 0 419465368 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382819283024 140382829022615 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4853] ppid=4848 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/4851/task/4853/stat : 4853 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382851701520 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4854] ppid=4848 vsize=27314120 memory=140290791345953 CPUtime=0 cores=0-7
/proc/4851/task/4854/stat : 4854 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382685080464 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4855] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4855/stat : 4855 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382268894224 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4856] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4856/stat : 4856 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382267841680 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4857] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4857/stat : 4857 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382266788112 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4858] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4858/stat : 4858 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382265735568 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4859] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4859/stat : 4859 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382264683024 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4860] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4860/stat : 4860 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 30793 33554432000 4194304 4196468 140735886730736 140382263630480 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4861] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4861/stat : 4861 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465372 27969658880 30793 33554432000 4194304 4196468 140735886730736 140381368887792 140382847470210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4862] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4862/stat : 4862 (java) S 4848 4848 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419465373 27969658880 30793 33554432000 4194304 4196468 140735886730736 140380603409824 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4863] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4863/stat : 4863 (java) S 4848 4848 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419465373 27969658880 30793 33554432000 4194304 4196468 140735886730736 140380469188080 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4864] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4864/stat : 4864 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465375 27969658880 30793 33554432000 4194304 4196468 140735886730736 140380094683856 140382847477659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4865] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4865/stat : 4865 (java) S 4848 4848 3266 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 419465375 27969658880 30793 33554432000 4194304 4196468 140735886730736 140381367834608 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4866] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4866/stat : 4866 (java) S 4848 4848 3266 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 30793 33554432000 4194304 4196468 140735886730736 140381366782064 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4867] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4867/stat : 4867 (java) S 4848 4848 3266 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 30793 33554432000 4194304 4196468 140735886730736 140381365729520 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4868] ppid=4848 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/4851/task/4868/stat : 4868 (java) S 4848 4848 3266 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 419465376 27969658880 30793 33554432000 4194304 4196468 140735886730736 140381364676976 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4869] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4869/stat : 4869 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 30793 33554432000 4194304 4196468 140735886730736 140379596778208 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4870] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4870/stat : 4870 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 30793 33554432000 4194304 4196468 140735886730736 140381363624880 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124564 KiB

[startup+0.310234 s]*
/proc/loadavg: 7.70 8.16 8.21 2/211 4870
/proc/meminfo: memFree=31220312/32770624 swapFree=66996976/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4848/stat : 4848 (scop.sh) S 4845 4848 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419465368 115843072 348 33554432000 4194304 5098028 140723180039488 140723180036744 139676225786492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31154176 140723180040996 140723180041324 140723180041324 140723180044237 0
/proc/4848/statm: 28282 348 296 221 0 87 0
[pid=4851] ppid=4848 vsize=27314120 memory=127084 CPUtime=0.42 cores=0-7
/proc/4851/stat : 4851 (java) S 4848 4848 3266 0 -1 1077944320 12683 0 0 0 37 5 0 0 20 0 20 0 419465368 27969658880 31771 33554432000 4194304 4196468 140735886730736 140735886713280 140382847459063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
/proc/4851/statm: 6828530 31771 3013 1 0 6790935 0
[pid=4851/tid=4852] ppid=4848 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/4851/task/4852/stat : 4852 (java) R 4848 4848 3266 0 -1 4202560 10067 0 0 0 25 4 0 0 20 0 20 0 419465368 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382819289136 140382847480410 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4853] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4853/stat : 4853 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382851701520 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4854] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4854/stat : 4854 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382685080464 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4855] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4855/stat : 4855 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382268894224 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4856] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4856/stat : 4856 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382267841680 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4857] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4857/stat : 4857 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382266788112 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4858] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4858/stat : 4858 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382265735568 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4859] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4859/stat : 4859 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382264683024 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4860] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4860/stat : 4860 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465371 27969658880 31771 33554432000 4194304 4196468 140735886730736 140382263630480 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4861] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4861/stat : 4861 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465372 27969658880 31771 33554432000 4194304 4196468 140735886730736 140381368887792 140382847470210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4862] ppid=4848 vsize=27314120 memory=280581355281792 CPUtime=0 cores=0-7
/proc/4851/task/4862/stat : 4862 (java) S 4848 4848 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419465373 27969658880 31771 33554432000 4194304 4196468 140735886730736 140380603409824 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4863] ppid=4848 vsize=27314120 memory=280581355286400 CPUtime=0 cores=0-7
/proc/4851/task/4863/stat : 4863 (java) S 4848 4848 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419465373 27969658880 31771 33554432000 4194304 4196468 140735886730736 140380469188080 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4864] ppid=4848 vsize=27314120 memory=280581355291008 CPUtime=0 cores=0-7
/proc/4851/task/4864/stat : 4864 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465375 27969658880 31771 33554432000 4194304 4196468 140735886730736 140380094683856 140382847477659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4865] ppid=4848 vsize=27314120 memory=280581355295616 CPUtime=0 cores=0-7
/proc/4851/task/4865/stat : 4865 (java) S 4848 4848 3266 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 419465375 27969658880 31771 33554432000 4194304 4196468 140735886730736 140381367834608 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4866] ppid=4848 vsize=27314120 memory=280581355300224 CPUtime=0.02 cores=0-7
/proc/4851/task/4866/stat : 4866 (java) S 4848 4848 3266 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 20 0 419465376 27969658880 31771 33554432000 4194304 4196468 140735886730736 140381366782064 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4867] ppid=4848 vsize=27314120 memory=280581355304832 CPUtime=0.01 cores=0-7
/proc/4851/task/4867/stat : 4867 (java) R 4848 4848 3266 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 20 0 419465376 27969658880 31771 33554432000 4194304 4196468 140735886730736 140381365729520 140382828981296 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4868] ppid=4848 vsize=27314120 memory=280581355309440 CPUtime=0.07 cores=0-7
/proc/4851/task/4868/stat : 4868 (java) S 4848 4848 3266 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 20 0 419465376 27969658880 31771 33554432000 4194304 4196468 140735886730736 140381364676976 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4869] ppid=4848 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4869/stat : 4869 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 31771 33554432000 4194304 4196468 140735886730736 140379596778208 140382847469269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4870] ppid=4848 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4851/task/4870/stat : 4870 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465376 27969658880 31771 33554432000 4194304 4196468 140735886730736 140381363624880 140382847470210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128476 KiB

[startup+0.700934 s]
/proc/loadavg: 7.70 8.16 8.21 2/211 4870
/proc/meminfo: memFree=31199092/32770624 swapFree=66996976/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/4848/stat : 4848 (scop.sh) S 4845 4848 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419465368 115843072 348 33554432000 4194304 5098028 140723180039488 140723180036744 139676225786492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31154176 140723180040996 140723180041324 140723180041324 140723180044237 0
/proc/4848/statm: 28282 348 296 221 0 87 0
[pid=4851] ppid=4848 vsize=27320392 memory=162264 CPUtime=0.97 cores=0-7
/proc/4851/stat : 4851 (java) S 4848 4848 3266 0 -1 1077944320 20285 0 0 0 91 6 0 0 20 0 20 0 419465368 27976081408 40566 33554432000 4194304 4196468 140735886730736 140735886713280 140382847459063 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
/proc/4851/statm: 6830098 40566 3180 1 0 6791447 0
[pid=4851/tid=4852] ppid=4848 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/4851/task/4852/stat : 4852 (java) R 4848 4848 3266 0 -1 4202560 17019 0 0 0 62 5 0 0 20 0 20 0 419465368 27976081408 40566 33554432000 4194304 4196468 140735886730736 140382819297520 140382847480989 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4853] ppid=4848 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4853/stat : 4853 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419465371 27976081408 40566 33554432000 4194304 4196468 140735886730736 140382851701520 140382847469269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4854] ppid=4848 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4851/task/4854/stat : 4854 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27976081408 40566 33554432000 4194304 4196468 140735886730736 140382685080464 140382847469269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0
[pid=4851/tid=4855] ppid=4848 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/4851/task/4855/stat : 4855 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419465371 27976081408 40566 33554432000 4194304 4196468 140735886730736 140382268894224 140382847469269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140735886738155 140735886738582 140735886738582 140735886741455 0

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

/proc/4877/task/4889/stat : 4889 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475716 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159009940208 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4890] ppid=4848 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/4877/task/4890/stat : 4890 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140158635431888 140160612149147 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4891] ppid=4848 vsize=8414124 memory=120540 CPUtime=0.06 cores=0-7
/proc/4877/task/4891/stat : 4891 (java) S 4848 4848 3266 0 -1 1077944384 335 0 0 0 6 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159704505072 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4892] ppid=4848 vsize=8414124 memory=657760 CPUtime=0.04 cores=0-7
/proc/4877/task/4892/stat : 4892 (java) S 4848 4848 3266 0 -1 1077944384 550 0 0 0 4 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159703452528 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4893] ppid=4848 vsize=8414124 memory=1644 CPUtime=0.05 cores=0-7
/proc/4877/task/4893/stat : 4893 (java) S 4848 4848 3266 0 -1 1077944384 293 0 0 0 5 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159702399472 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4894] ppid=4848 vsize=8414124 memory=2828 CPUtime=0.22 cores=0-7
/proc/4877/task/4894/stat : 4894 (java) S 4848 4848 3266 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159701346928 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4895] ppid=4848 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/4877/task/4895/stat : 4895 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140158137526752 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4896] ppid=4848 vsize=8414124 memory=1644 CPUtime=0 cores=0-7
/proc/4877/task/4896/stat : 4896 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159700294320 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4898] ppid=4848 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/4877/task/4898/stat : 4898 (java) S 4848 4848 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419475787 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159692260288 140160612155161 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4900] ppid=4848 vsize=8414124 memory=120540 CPUtime=0 cores=0-7
/proc/4877/task/4900/stat : 4900 (java) S 4848 4848 3266 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419475787 8616062976 30135 33554432000 4194304 4196468 140728558972640 140157466427408 140160612152477 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4901] ppid=4848 vsize=8414124 memory=341972 CPUtime=0 cores=0-7
/proc/4877/task/4901/stat : 4901 (java) S 4848 4848 3266 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419475787 8616062976 30135 33554432000 4194304 4196468 140728558972640 140157734862992 140160612152477 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4902] ppid=4848 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7
/proc/4877/task/4902/stat : 4902 (java) S 4848 4848 3266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419475789 8616062976 30135 33554432000 4194304 4196468 140728558972640 140157197999536 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
Current children cumulated CPU time: 163.94 s
Current children cumulated vsize: 11407376 KiB
Current children cumulated memory: 2466336 KiB

[startup+123.602 s]
/proc/loadavg: 1.72 5.73 7.32 5/224 4910
/proc/meminfo: memFree=28842896/32770624 swapFree=66996976/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1472 CPUtime=142.21 cores=0-7
/proc/4848/stat : 4848 (scop.sh) S 4845 4848 3266 0 -1 4202496 582 88955 0 0 0 0 13329 892 20 0 1 0 419465368 115843072 368 33554432000 4194304 5098028 140723180039488 140723180036232 139676225786492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31154176 140723180040996 140723180041324 140723180041324 140723180044237 0
/proc/4848/statm: 28282 368 311 221 0 87 0
[pid=4877] ppid=4848 vsize=8414124 memory=120540 CPUtime=1.2 cores=0-7
/proc/4877/stat : 4877 (java) S 4848 4848 3266 0 -1 1077944320 20086 0 0 0 112 8 0 0 20 0 24 0 419475712 8616062976 30135 33554432000 4194304 4196468 140728558972640 140728558955184 140160612130551 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
/proc/4877/statm: 2103531 30135 3208 1 0 2064875 0
[pid=4897] ppid=4877 vsize=2880256 memory=2419824 CPUtime=23.7 cores=0-7
/proc/4897/stat : 4897 (manyglucose-4.1) S 4877 4848 3266 0 -1 1077944320 567805 0 0 0 2273 97 0 0 20 0 9 0 419475786 2949382144 604956 33554432000 4194304 4454172 140735948930080 140735948928480 140500024445570 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
/proc/4897/statm: 720064 604956 408 64 0 715732 0
[pid=4897/tid=4903] ppid=4877 vsize=2880256 memory=2012 CPUtime=0.67 cores=0-7
/proc/4897/task/4903/stat : 4903 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 6330 0 0 0 63 4 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498677230376 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4904] ppid=4877 vsize=2880256 memory=1388 CPUtime=0.66 cores=0-7
/proc/4897/task/4904/stat : 4904 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 6103 0 0 0 63 3 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498668837672 140500009732926 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4905] ppid=4877 vsize=2880256 memory=776 CPUtime=0.6 cores=0-7
/proc/4897/task/4905/stat : 4905 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 7156 0 0 0 56 4 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498660444968 140500009732926 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4906] ppid=4877 vsize=2880256 memory=3972 CPUtime=0.68 cores=0-7
/proc/4897/task/4906/stat : 4906 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 4901 0 0 0 66 2 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498652052264 4349826 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4907] ppid=4877 vsize=2880256 memory=2828 CPUtime=0.59 cores=0-7
/proc/4897/task/4907/stat : 4907 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 6719 0 0 0 55 4 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498643659560 4351800 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4908] ppid=4877 vsize=2880256 memory=676 CPUtime=0.63 cores=0-7
/proc/4897/task/4908/stat : 4908 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 5885 0 0 0 60 3 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498635266856 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4909] ppid=4877 vsize=2880256 memory=1060 CPUtime=0.67 cores=0-7
/proc/4897/task/4909/stat : 4909 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 6820 0 0 0 64 3 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498626874152 140500010212951 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4897/tid=4910] ppid=4877 vsize=2880256 memory=1548 CPUtime=0.62 cores=0-7
/proc/4897/task/4910/stat : 4910 (manyglucose-4.1) R 4877 4848 3266 0 -1 4202560 5262 0 0 0 58 4 0 0 20 0 9 0 419477638 2949382144 604956 33554432000 4194304 4454172 140735948930080 140498484263720 140500009732926 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 9084928 140735948931946 140735948932144 140735948932144 140735948935098 0
[pid=4877/tid=4878] ppid=4848 vsize=8414124 memory=8560 CPUtime=0.77 cores=0-7
/proc/4877/task/4878/stat : 4878 (java) S 4848 4848 3266 0 -1 1077944384 16930 0 0 0 71 6 0 0 20 0 24 0 419475712 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160583970720 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4879] ppid=4848 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/4877/task/4879/stat : 4879 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160616372752 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4880] ppid=4848 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/4877/task/4880/stat : 4880 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160422136464 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4881] ppid=4848 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/4877/task/4881/stat : 4881 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160421083408 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4882] ppid=4848 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/4877/task/4882/stat : 4882 (java) S 4848 4848 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160094865808 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4883] ppid=4848 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/4877/task/4883/stat : 4883 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160093813776 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4884] ppid=4848 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/4877/task/4884/stat : 4884 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160092761232 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4885] ppid=4848 vsize=8414124 memory=22368 CPUtime=0 cores=0-7
/proc/4877/task/4885/stat : 4885 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160091708176 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4886] ppid=4848 vsize=8414124 memory=11960 CPUtime=0 cores=0-7
/proc/4877/task/4886/stat : 4886 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475714 8616062976 30135 33554432000 4194304 4196468 140728558972640 140160090655632 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4887] ppid=4848 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/4877/task/4887/stat : 4887 (java) S 4848 4848 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419475715 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159705557232 140160612141698 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4888] ppid=4848 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/4877/task/4888/stat : 4888 (java) S 4848 4848 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419475716 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159278376096 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4889] ppid=4848 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/4877/task/4889/stat : 4889 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475716 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159009940208 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4890] ppid=4848 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/4877/task/4890/stat : 4890 (java) S 4848 4848 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140158635431888 140160612149147 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4891] ppid=4848 vsize=8414124 memory=1980 CPUtime=0.06 cores=0-7
/proc/4877/task/4891/stat : 4891 (java) S 4848 4848 3266 0 -1 1077944384 335 0 0 0 6 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159704505072 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4892] ppid=4848 vsize=8414124 memory=2512 CPUtime=0.04 cores=0-7
/proc/4877/task/4892/stat : 4892 (java) S 4848 4848 3266 0 -1 1077944384 550 0 0 0 4 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159703452528 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4893] ppid=4848 vsize=8414124 memory=1436 CPUtime=0.05 cores=0-7
/proc/4877/task/4893/stat : 4893 (java) S 4848 4848 3266 0 -1 1077944384 293 0 0 0 5 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159702399472 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4894] ppid=4848 vsize=8414124 memory=812 CPUtime=0.22 cores=0-7
/proc/4877/task/4894/stat : 4894 (java) S 4848 4848 3266 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159701346928 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4895] ppid=4848 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/4877/task/4895/stat : 4895 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140158137526752 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4896] ppid=4848 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/4877/task/4896/stat : 4896 (java) S 4848 4848 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419475719 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159700294320 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4898] ppid=4848 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/4877/task/4898/stat : 4898 (java) S 4848 4848 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419475787 8616062976 30135 33554432000 4194304 4196468 140728558972640 140159692260288 140160612155161 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4900] ppid=4848 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/4877/task/4900/stat : 4900 (java) S 4848 4848 3266 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419475787 8616062976 30135 33554432000 4194304 4196468 140728558972640 140157466427408 140160612152477 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4901] ppid=4848 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/4877/task/4901/stat : 4901 (java) S 4848 4848 3266 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419475787 8616062976 30135 33554432000 4194304 4196468 140728558972640 140157734862992 140160612152477 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4902] ppid=4848 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/4877/task/4902/stat : 4902 (java) S 4848 4848 3266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419475789 8616062976 30135 33554432000 4194304 4196468 140728558972640 140157197999536 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
Current children cumulated CPU time: 167.11 s
Current children cumulated vsize: 11407508 KiB
Current children cumulated memory: 2541836 KiB

[startup+124.001 s]*
/proc/loadavg: 1.72 5.73 7.32 3/213 4910
/proc/meminfo: memFree=31118516/32770624 swapFree=66996976/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1472 CPUtime=142.21 cores=0-7
/proc/4848/stat : 4848 (scop.sh) S 4845 4848 3266 0 -1 4202496 582 88955 0 0 0 0 13329 892 20 0 1 0 419465368 115843072 368 33554432000 4194304 5098028 140723180039488 140723180036232 139676225786492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31154176 140723180040996 140723180041324 140723180041324 140723180044237 0
/proc/4848/statm: 28282 368 311 221 0 87 0
[pid=4877] ppid=4848 vsize=8283048 memory=151568 CPUtime=26.26 cores=0-7
/proc/4877/stat : 4877 (java) S 4848 4848 3266 0 -1 1077944320 21235 573258 0 0 164 10 2344 108 20 0 22 0 419475712 8481841152 37892 33554432000 4194304 4196468 140728558972640 140728558955184 140160612130551 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
/proc/4877/statm: 2070762 37892 3228 1 0 2032106 0
[pid=4877/tid=4878] ppid=4848 vsize=8283048 memory=8317482817917895235 CPUtime=25.39 cores=0-7
/proc/4877/task/4878/stat : 4878 (java) R 4848 4848 3266 0 -1 4202560 17169 573258 0 0 81 6 2344 108 20 0 22 0 419475712 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160583968800 140160100544188 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4879] ppid=4848 vsize=8283048 memory=2512 CPUtime=24.52 cores=0-7
/proc/4877/task/4879/stat : 4879 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160616372752 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4880] ppid=4848 vsize=8283048 memory=2828 CPUtime=24.52 cores=0-7
/proc/4877/task/4880/stat : 4880 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160422136464 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4881] ppid=4848 vsize=8283048 memory=676 CPUtime=24.52 cores=0-7
/proc/4877/task/4881/stat : 4881 (java) S 4848 4848 3266 0 -1 1077944384 3 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160421083408 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4882] ppid=4848 vsize=8283048 memory=1060 CPUtime=24.52 cores=0-7
/proc/4877/task/4882/stat : 4882 (java) S 4848 4848 3266 0 -1 1077944384 2 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160094865808 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4883] ppid=4848 vsize=8283048 memory=1548 CPUtime=24.52 cores=0-7
/proc/4877/task/4883/stat : 4883 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160093813776 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4884] ppid=4848 vsize=8283048 memory=8560 CPUtime=24.52 cores=0-7
/proc/4877/task/4884/stat : 4884 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160092761232 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4885] ppid=4848 vsize=8283048 memory=1668 CPUtime=24.52 cores=0-7
/proc/4877/task/4885/stat : 4885 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160091708176 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4886] ppid=4848 vsize=8283048 memory=1112 CPUtime=24.52 cores=0-7
/proc/4877/task/4886/stat : 4886 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475714 8481841152 37892 33554432000 4194304 4196468 140728558972640 140160090655632 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4887] ppid=4848 vsize=8283048 memory=1004 CPUtime=24.52 cores=0-7
/proc/4877/task/4887/stat : 4887 (java) S 4848 4848 3266 0 -1 1077944384 5 573258 0 0 0 0 2344 108 20 0 22 0 419475715 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159705557232 140160612141698 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4888] ppid=4848 vsize=8283048 memory=3624 CPUtime=24.52 cores=0-7
/proc/4877/task/4888/stat : 4888 (java) S 4848 4848 3266 0 -1 1077944384 13 573258 0 0 0 0 2344 108 20 0 22 0 419475716 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159278376096 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4889] ppid=4848 vsize=8283048 memory=1980 CPUtime=24.52 cores=0-7
/proc/4877/task/4889/stat : 4889 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475716 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159009940208 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4890] ppid=4848 vsize=8283048 memory=2512 CPUtime=24.52 cores=0-7
/proc/4877/task/4890/stat : 4890 (java) S 4848 4848 3266 0 -1 1077944384 1 573258 0 0 0 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140158635431888 140160612149147 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4891] ppid=4848 vsize=8283048 memory=1436 CPUtime=24.68 cores=0-7
/proc/4877/task/4891/stat : 4891 (java) S 4848 4848 3266 0 -1 1077944384 557 573258 0 0 16 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159704505072 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4892] ppid=4848 vsize=8283048 memory=812 CPUtime=24.62 cores=0-7
/proc/4877/task/4892/stat : 4892 (java) S 4848 4848 3266 0 -1 1077944384 578 573258 0 0 10 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159703452528 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4893] ppid=4848 vsize=8283048 memory=1764 CPUtime=24.64 cores=0-7
/proc/4877/task/4893/stat : 4893 (java) S 4848 4848 3266 0 -1 1077944384 337 573258 0 0 12 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159702399472 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4894] ppid=4848 vsize=8283048 memory=-4075877051373423737 CPUtime=24.83 cores=0-7
/proc/4877/task/4894/stat : 4894 (java) S 4848 4848 3266 0 -1 1077944384 1134 573258 0 0 31 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159701346928 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4895] ppid=4848 vsize=8283048 memory=796 CPUtime=24.52 cores=0-7
/proc/4877/task/4895/stat : 4895 (java) S 4848 4848 3266 0 -1 1077944384 3 573258 0 0 0 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140158137526752 140160612140757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4896] ppid=4848 vsize=8283048 memory=1804 CPUtime=24.52 cores=0-7
/proc/4877/task/4896/stat : 4896 (java) S 4848 4848 3266 0 -1 1077944384 3 573258 0 0 0 0 2344 108 20 0 22 0 419475719 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159700294320 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4898] ppid=4848 vsize=8283048 memory=280581357317088 CPUtime=24.52 cores=0-7
/proc/4877/task/4898/stat : 4898 (java) S 4848 4848 3266 0 -1 1077944384 23 573258 0 0 0 0 2344 108 20 0 22 0 419475787 8481841152 37892 33554432000 4194304 4196468 140728558972640 140159692259472 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
[pid=4877/tid=4902] ppid=4848 vsize=8283048 memory=608660381178556198 CPUtime=24.52 cores=0-7
/proc/4877/task/4902/stat : 4902 (java) S 4848 4848 3266 0 -1 1077944384 12 573258 0 0 0 0 2344 108 20 0 22 0 419475789 8481841152 37892 33554432000 4194304 4196468 140728558972640 140157198001328 140160612141698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140728558978040 140728558978198 140728558978198 140728558981071 0
Current children cumulated CPU time: 168.47 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 153040 KiB

Child status: 0
Real time (s): 124.068
CPU time (s): 168.598
CPU user time (s): 158.451
CPU system time (s): 10.1476
CPU usage (%): 135.892
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 8493808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.451
system time used= 10.1476
maximum resident set size= 8493972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61687
involuntary context switches= 466


# summary of solver processes directly reported to runsolver:
#   pid: 4848
#   total CPU time (s): 168.598
#   total CPU user time (s): 158.451
#   total CPU system time (s): 10.1476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.898313 second user time and 1.3249 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 05:34:24
IDJOB=4392594
IDBENCH=131540
IDSOLVER=2839
FILE ID=node103/4392594-1568432123
RUNJOBID= node103-1568426882-3293
PBS_JOBID= 21702292
Free space on /tmp= 61720 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -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-4392594-1568432123/watcher-4392594-1568432123 -o /tmp/evaluation-result-4392594-1568432123/solver-4392594-1568432123 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392594-1568432123.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=30208716

node103.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.74
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.74
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.74
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.74
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:        31336608 kB
MemAvailable:   31888880 kB
Buffers:          100348 kB
Cached:           735656 kB
SwapCached:         9132 kB
Active:           599032 kB
Inactive:         249648 kB
Active(anon):       6324 kB
Inactive(anon):    47000 kB
Active(file):     592708 kB
Inactive(file):   202648 kB
Unevictable:      111172 kB
Mlocked:          111172 kB
SwapTotal:      67108860 kB
SwapFree:       66996976 kB
Dirty:             20744 kB
Writeback:             0 kB
AnonPages:        114964 kB
Mapped:            44324 kB
Shmem:             32644 kB
Slab:             174416 kB
SReclaimable:     145504 kB
SUnreclaim:        28912 kB
KernelStack:        3344 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 61700 MiB
End job on node103 at 2019-09-14 05:36:28