Trace number 4392324

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 300.092 44.5111

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-94.xml
MD5SUM6d6d0435d13d3ff0671cf8a5c787b057
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark48.6477
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints496
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree7
Maximum variable degree30
Distribution of variable degrees[{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":496}]
Number of extensional constraints496
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":496}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14528-serial-file.bin HOME/instance-4392324-1568426185.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 03:55:40 CEST 2019
0.65/0.57	c PID: 14531
0.65/0.57	c IP: 172.20.3.102
0.65/0.57	c HOST: node102.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.53/1.18	c (0,0) Parsing End
2.53/1.18	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 496 ctr, max domain size 20
2.53/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.53/1.18	c (0,0) Constraint Name Generate Begin
2.53/1.19	c (0,0) Ctr:HOME/instance-4392324-1568426185.xml,ExtensionConflict:Var
2.53/1.19	c (0,0) Constraint Name Generate End
2.53/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.53/1.20	c (0,0) CSP to CSPinCNF Begin
5.25/1.94	c (1,1) translated 50 (10%) constraints
6.47/2.22	c (1,1) translated 100 (20%) constraints
7.28/2.47	c (1,1) translated 149 (30%) constraints
8.48/2.73	c (2,2) translated 199 (40%) constraints
9.24/2.94	c (2,2) translated 248 (50%) constraints
9.78/3.13	c (2,2) translated 298 (60%) constraints
10.17/3.32	c (2,2) translated 348 (70%) constraints
10.60/3.50	c (2,2) translated 397 (80%) constraints
10.81/3.68	c (3,3) translated 447 (90%) constraints
11.22/3.87	c (3,3) translated 496 (100%) constraints
11.22/3.87	c (3,3) ===========================================
11.22/3.88	c (3,3) Order
11.22/3.88	c (3,3) ===========================================
11.48/3.98	c (3,3) translated 3772 (10%) constraints
11.83/4.08	c (3,3) translated 7544 (20%) constraints
12.20/4.16	c (3,3) translated 11315 (30%) constraints
12.39/4.24	c (3,3) translated 15087 (40%) constraints
12.58/4.33	c (3,3) translated 18858 (50%) constraints
12.78/4.41	c (3,3) translated 22630 (60%) constraints
12.78/4.49	c (3,3) translated 26402 (70%) constraints
12.93/4.57	c (4,4) translated 30173 (80%) constraints
13.03/4.66	c (4,4) translated 33945 (90%) constraints
13.13/4.74	c (4,4) translated 37716 (100%) constraints
13.13/4.74	c (4,4) CSP to CSPinCNF End
13.13/4.74	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
13.13/4.74	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.13/4.74	c (4,4) CSPinCNF Propagation Begin
13.89/5.03	c (4,4) 0 values, 4251 unsatisfiable literals, and 0 valid clauses are removed
13.89/5.03	c (4,4) CSPinCNF Propagation End
13.89/5.03	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
13.89/5.03	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.89/5.03	c (4,4) Simplify CSPinCNF Begin
14.07/5.16	c (4,4) Simplify CSPinCNF End
14.07/5.16	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
14.07/5.16	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.07/5.16	c (4,4) Calculate Precise Domain Begin
14.07/5.16	c (4,4) 0 values are removed by re-calculation
14.07/5.16	c (4,4) Calculate Precise Domain End
14.07/5.16	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
14.07/5.16	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.07/5.16	c (4,4) CSPinCNF to SatSolver Begin
14.60/5.38	c (4,4) 3772 (10 %) CSP clauses are encoded (0 SAT variables, 4671 SAT clauses)
15.00/5.48	c (4,4) 7544 (20 %) CSP clauses are encoded (0 SAT variables, 8443 SAT clauses)
15.39/5.53	c (4,4) 11315 (30 %) CSP clauses are encoded (0 SAT variables, 12214 SAT clauses)
15.39/5.58	c (5,5) 15087 (40 %) CSP clauses are encoded (0 SAT variables, 15986 SAT clauses)
15.60/5.63	c (5,5) 18858 (50 %) CSP clauses are encoded (0 SAT variables, 19757 SAT clauses)
15.60/5.67	c (5,5) 22630 (60 %) CSP clauses are encoded (0 SAT variables, 23529 SAT clauses)
15.71/5.72	c (5,5) 26402 (70 %) CSP clauses are encoded (0 SAT variables, 27301 SAT clauses)
15.71/5.76	c (5,5) 30173 (80 %) CSP clauses are encoded (0 SAT variables, 31072 SAT clauses)
15.81/5.81	c (5,5) 33945 (90 %) CSP clauses are encoded (0 SAT variables, 34844 SAT clauses)
15.81/5.85	c (5,5) 37716 (100 %) CSP clauses are encoded (0 SAT variables, 38615 SAT clauses)
15.81/5.85	c (5,5) CSPinCNF to SatSolver End
15.81/5.85	c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.81/5.85	c (5,5) 950 bool, 38616 clause
15.81/5.85	c (5,5) Export Begin
15.95/5.94	c (5,5) Export to HOME/scop-14528-serial-file.bin
15.95/5.94	c (5,5) Export End
15.95/5.94	c (5,5) Export File Size: 0.01 MB
15.95/5.94	c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
15.95/5.94	c END-Prog: Sat Sep 14 03:55:46 CEST 2019
15.95/5.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14528-serial-file.bin
16.68/6.42	c (0,0) Read Serial File Begin
16.68/6.42	c (0,0) HOME/scop-14528-serial-file.bin
16.96/6.63	c (0,0) Read Serial File End
16.96/6.65	
16.96/6.65	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
16.96/6.65	(Solving Process)
16.96/6.65	
16.96/6.67	c BEGIN-Prog: Sat Sep 14 03:55:47 CEST 2019
16.96/6.67	c PID: 14551
16.96/6.67	c IP: 172.20.3.102
16.96/6.67	c HOST: node102.alineos.net
16.96/6.67	c (0,0) SatSolver.solve Begin
16.96/6.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392324-1568426185.xml-scop-14531.cnf
17.18/6.70	c (0,0) c
17.18/6.70	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)
17.18/6.70	c (0,0) c
17.18/6.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.18/6.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.18/6.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.18/6.70	c (0,0) c |                                                                                                       |
17.18/6.71	c (0,0) c |  Number of variables:           950                                                                   |
17.18/6.71	c (0,0) c |  Number of clauses:           38616                                                                   |
17.18/6.71	c (0,0) c |  Parse time:                   0.01 s                                                                 |
17.18/6.71	c (0,0) c |                                                                                                       |
17.18/6.75	c (0,0) c |  Simplification time:          0.04 s                                                                 |
17.18/6.75	c (0,0) c |                                                                                                       |
17.18/6.75	c (0,0) c |  Generating clones                                                                                    |
17.18/6.76	c (0,0) c |  all clones generated. Memory =    42.06Mb.                                                           |
17.18/6.76	c (0,0) c ========================================================================================================|
17.18/6.76	c (0,0) c
17.18/6.76	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.18/6.76	c (0,0) c
17.18/6.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/6.76	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.18/6.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/6.76	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.18/6.76	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.18/6.76	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.18/6.76	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.18/6.76	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.18/6.76	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.18/6.76	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.18/6.76	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.18/6.76	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.18/6.76	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.18/6.76	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.18/6.76	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.18/6.76	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.18/6.76	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.18/6.76	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.18/6.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
248.71/36.66	c (30,0) c
248.71/36.66	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
248.71/36.66	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
248.71/36.66	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
248.71/36.66	c (30,0) c |  0 |    140 |     537981 |     447061 |    49931 |     2850 |    54586 |   221216 |     4609 |      501 |  20 |  0.739 |
248.71/36.66	c (30,0) c |  1 |     49 |     405169 |     337933 |    28946 |    65602 |    35570 |   224017 |    14515 |      501 |  20 |  0.211 |
248.71/36.66	c (30,0) c |  2 |     87 |     405511 |     337189 |    27367 |    36700 |    33122 |   247448 |    14792 |      501 |  20 |  1.055 |
248.71/36.66	c (30,0) c |  3 |     95 |     413513 |     345720 |    27416 |    30376 |    37227 |   239202 |    16194 |      500 |  20 |  0.843 |
248.71/36.66	c (30,0) c |  4 |     65 |     412774 |     343929 |    26526 |    52048 |    32864 |   237628 |    13677 |      481 |  20 |  0.738 |
248.71/36.66	c (30,0) c |  5 |     60 |     396312 |     329869 |    27064 |    60031 |    29864 |   249201 |    15326 |      501 |  20 |  0.737 |
248.71/36.66	c (30,0) c |  6 |    235 |     414910 |     344499 |    26678 |    34173 |    32561 |   242330 |    14950 |      501 |  20 |  0.738 |
248.71/36.66	c (30,0) c |  7 |    105 |     398642 |     332033 |    26531 |    57537 |    31601 |   249003 |    15033 |      501 |  20 |  0.738 |
248.71/36.66	c (30,0) c 
248.71/36.66	c (30,0) c synthesis     2818235 conflicts   291858894 propagations    12177 conflicts/sec  1261028 propagations/sec
248.71/36.66	c (30,0) c real: 29.9603 s, cpu: 231.445 s, memory: 650.57 Mb
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c real time : 37.7785 s
299.89/44.48	c (38,0) c cpu time  : 282.075 s
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c | Conflicts     |         3328295 |     532307 |     402584 |     398992 |     410094 |     416116 |     380952 |     401489 |     385761 |
299.89/44.48	c (38,0) c | Decisions     |         3989747 |     639315 |     481339 |     478910 |     489788 |     498536 |     456921 |     482866 |     462072 |
299.89/44.48	c (38,0) c | Propagations  |       343060774 |   56107990 |   41725413 |   40507601 |   42204166 |   42205729 |   39055869 |   41402654 |   39851352 |
299.89/44.48	c (38,0) c | ReduceDBs     |             341 |        224 |         17 |         17 |         17 |         17 |         16 |         17 |         16 |
299.89/44.48	c (38,0) c | SimpDBs       |              75 |         14 |          8 |          7 |         10 |          9 |          7 |         11 |          9 |
299.89/44.48	c (38,0) c | Restarts      |             917 |        146 |         55 |        104 |        101 |         81 |         73 |        244 |        113 |
299.89/44.48	c (38,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.89/44.48	c (38,0) c | PropBinClauses|       333013684 |   54460509 |   40230084 |   39281388 |   40853651 |   41175434 |   38088092 |   40213694 |   38710832 |
299.89/44.48	c (38,0) c | PropPreBlocker|     22003790233 | 2743632155 | 2741341387 | 2757532349 | 2712978043 | 2735451443 | 2790919478 | 2740556861 | 2781378517 |
299.89/44.48	c (38,0) c | PropNotBlocker|      3308790979 |  466641960 |  413622526 |  411588668 |  431445001 |  408993160 |  382211535 |  409043273 |  385244856 |
299.89/44.48	c (38,0) c | LitFullScans  |     29125575930 | 3642189683 | 3642466272 | 3642305687 | 3636387668 | 3636348950 | 3642373667 | 3641145017 | 3642358986 |
299.89/44.48	c (38,0) c | LitScanFracts |         2909994 |     185079 |     461083 |     301109 |     378542 |     344225 |     355786 |     535829 |     348341 |
299.89/44.48	c (38,0) c | DecisionLevel0|             974 |        156 |         64 |        105 |        114 |         83 |         74 |        264 |        114 |
299.89/44.48	c (38,0) c | Periods       |            4853 |        607 |        607 |        607 |        606 |        606 |        607 |        606 |        607 |
299.89/44.48	c (38,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
299.89/44.48	c (38,0) c | Avg_Trail     |                 |        354 |        358 |        350 |        352 |        352 |        352 |        351 |        352 |
299.89/44.48	c (38,0) c | Avg_DL        |                 |         12 |         12 |         12 |         12 |         12 |         12 |         11 |         12 |
299.89/44.48	c (38,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.89/44.48	c (38,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c | Exported      |          331122 |      65989 |      39568 |      37086 |      41316 |      37678 |      34713 |      38177 |      36595 |
299.89/44.48	c (38,0) c | Imported      |         2201244 |     256376 |     281175 |     274991 |     279026 |     273447 |     272250 |     283168 |     280811 |
299.89/44.48	c (38,0) c | Good          |            1842 |        245 |        266 |        218 |        208 |        193 |        179 |        279 |        254 |
299.89/44.48	c (38,0) c | Purge         |         2199402 |     256131 |     280909 |     274773 |     278818 |     273254 |     272071 |     282889 |     280557 |
299.89/44.48	c (38,0) c | Promoted      |          136248 |       5247 |      17628 |      18132 |      19539 |      18137 |      19194 |      19007 |      19364 |
299.89/44.48	c (38,0) c | Remove_Imp    |         1502088 |     235976 |     198846 |     183955 |     195607 |     176676 |     162802 |     176573 |     171653 |
299.89/44.48	c (38,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c | Unaries       |                 |         10 |          9 |          1 |         13 |          2 |          1 |         20 |          1 |
299.89/44.48	c (38,0) c | Binaries      |                 |         87 |         61 |         30 |        131 |         28 |         23 |        108 |         24 |
299.89/44.48	c (38,0) c | Glues         |                 |        690 |        466 |        454 |        587 |        452 |        455 |        567 |        465 |
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c | Orig_Seen     |            93 % |      57755 |      29152 |      27435 |      27517 |      26725 |      27115 |      26747 |      26642 |
299.89/44.48	c (38,0) c | Diff Orig seen|                 |      31008 |       2405 |        688 |        770 | -       22 |        368 |      X     | -      105 |
299.89/44.48	c (38,0) c | Hamming       |            19 % |        180 |        179 |        179 |        195 |        197 |        176 |      X     |        188 |
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c | RunningTime   |                 |   33.8  92%|   34.7  94%|   34.9  95%|   36.4  99%|   37.6 100%|   35.0  95%|   35.7  97%|   34.7  94%|
299.89/44.48	c (38,0) c | WaitingTime   |                 |    2.8   8%|    2.0   6%|    1.8   5%|    0.3   1%|    0.0   0%|    1.7   5%|    0.9   3%|    2.0   5%|
299.89/44.48	c (38,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
299.89/44.48	c (38,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%|
299.89/44.48	c (38,0) c | SolvingTime   |                 |   36.8     |   36.8     |   36.8     |   36.8     |   37.7     |   36.8     |   36.8     |   36.8     |
299.89/44.48	c (38,0) c | PropagationTim|                 |   31.8  86%|   33.4  91%|   33.3  91%|   32.8  89%|   33.9  90%|   32.8  89%|   32.8  89%|   33.3  91%|
299.89/44.48	c (38,0) c | AnalysisTime  |                 |    3.2   9%|    2.3   6%|    2.4   6%|    2.8   8%|    2.5   7%|    2.9   8%|    2.8   8%|    2.4   6%|
299.89/44.48	c (38,0) c | ReductionTime |                 |    0.8   2%|    0.4   1%|    0.4   1%|    0.4   1%|    0.5   1%|    0.4   1%|    0.5   1%|    0.4   1%|
299.89/44.48	c (38,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
299.89/44.48	c (38,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%|
299.89/44.48	c (38,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%|
299.89/44.48	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c
299.89/44.48	c (38,0) c Threads : 8
299.89/44.48	c (38,0) c Winner : 6
299.89/44.48	c (38,0) c Conflicts_0 : 532307
299.89/44.48	c (38,0) c Conflicts_1 : 402584
299.89/44.48	c (38,0) c Conflicts_2 : 398992
299.89/44.48	c (38,0) c Conflicts_3 : 410094
299.89/44.48	c (38,0) c Conflicts_4 : 416116
299.89/44.48	c (38,0) c Conflicts_5 : 380952
299.89/44.48	c (38,0) c Conflicts_6 : 401489
299.89/44.48	c (38,0) c Conflicts_7 : 385761
299.89/44.48	c (38,0) c Conflicts_total : 3328295
299.89/44.48	c (38,0) c Conflicts_winner : 401489
299.89/44.48	c (38,0) c Decisions_0 : 639315
299.89/44.48	c (38,0) c Decisions_1 : 481339
299.89/44.48	c (38,0) c Decisions_2 : 478910
299.89/44.48	c (38,0) c Decisions_3 : 489788
299.89/44.48	c (38,0) c Decisions_4 : 498536
299.89/44.48	c (38,0) c Decisions_5 : 456921
299.89/44.48	c (38,0) c Decisions_6 : 482866
299.89/44.48	c (38,0) c Decisions_7 : 462072
299.89/44.48	c (38,0) c Decisions_total : 3989747
299.89/44.48	c (38,0) c Decisions_winner : 482866
299.89/44.48	c (38,0) c Propagations_0 : 56107990
299.89/44.48	c (38,0) c Propagations_1 : 41725413
299.89/44.48	c (38,0) c Propagations_2 : 40507601
299.89/44.48	c (38,0) c Propagations_3 : 42204166
299.89/44.48	c (38,0) c Propagations_4 : 42205729
299.89/44.48	c (38,0) c Propagations_5 : 39055869
299.89/44.48	c (38,0) c Propagations_6 : 41402654
299.89/44.48	c (38,0) c Propagations_7 : 39851352
299.89/44.48	c (38,0) c Propagations_total : 343060774
299.89/44.48	c (38,0) c Propagations_winner : 41402654
299.89/44.48	c (38,0) c ReduceDBs_0 : 224
299.89/44.48	c (38,0) c ReduceDBs_1 : 17
299.89/44.48	c (38,0) c ReduceDBs_2 : 17
299.89/44.48	c (38,0) c ReduceDBs_3 : 17
299.89/44.48	c (38,0) c ReduceDBs_4 : 17
299.89/44.48	c (38,0) c ReduceDBs_5 : 16
299.89/44.48	c (38,0) c ReduceDBs_6 : 17
299.89/44.48	c (38,0) c ReduceDBs_7 : 16
299.89/44.48	c (38,0) c ReduceDBs_total : 341
299.89/44.48	c (38,0) c ReduceDBs_winner : 17
299.89/44.48	c (38,0) c SimpDBs_0 : 14
299.89/44.48	c (38,0) c SimpDBs_1 : 8
299.89/44.48	c (38,0) c SimpDBs_2 : 7
299.89/44.48	c (38,0) c SimpDBs_3 : 10
299.89/44.48	c (38,0) c SimpDBs_4 : 9
299.89/44.48	c (38,0) c SimpDBs_5 : 7
299.89/44.48	c (38,0) c SimpDBs_6 : 11
299.89/44.48	c (38,0) c SimpDBs_7 : 9
299.89/44.48	c (38,0) c SimpDBs_total : 75
299.89/44.48	c (38,0) c SimpDBs_winner : 11
299.89/44.48	c (38,0) c Restarts_0 : 146
299.89/44.48	c (38,0) c Restarts_1 : 55
299.89/44.48	c (38,0) c Restarts_2 : 104
299.89/44.48	c (38,0) c Restarts_3 : 101
299.89/44.48	c (38,0) c Restarts_4 : 81
299.89/44.48	c (38,0) c Restarts_5 : 73
299.89/44.48	c (38,0) c Restarts_6 : 244
299.89/44.48	c (38,0) c Restarts_7 : 113
299.89/44.48	c (38,0) c Restarts_total : 917
299.89/44.48	c (38,0) c Restarts_winner : 244
299.89/44.48	c (38,0) c ForcedImports_0 : 0
299.89/44.48	c (38,0) c ForcedImports_1 : 0
299.89/44.48	c (38,0) c ForcedImports_2 : 0
299.89/44.48	c (38,0) c ForcedImports_3 : 0
299.89/44.48	c (38,0) c ForcedImports_4 : 0
299.89/44.48	c (38,0) c ForcedImports_5 : 0
299.89/44.48	c (38,0) c ForcedImports_6 : 0
299.89/44.48	c (38,0) c ForcedImports_7 : 0
299.89/44.48	c (38,0) c ForcedImports_total : 0
299.89/44.48	c (38,0) c ForcedImports_winner : 0
299.89/44.48	c (38,0) c PropsBinClauses_0 : 54460509
299.89/44.48	c (38,0) c PropsBinClauses_1 : 40230084
299.89/44.48	c (38,0) c PropsBinClauses_2 : 39281388
299.89/44.48	c (38,0) c PropsBinClauses_3 : 40853651
299.89/44.48	c (38,0) c PropsBinClauses_4 : 41175434
299.89/44.48	c (38,0) c PropsBinClauses_5 : 38088092
299.89/44.48	c (38,0) c PropsBinClauses_6 : 40213694
299.89/44.48	c (38,0) c PropsBinClauses_7 : 38710832
299.89/44.48	c (38,0) c PropsBinClauses_total : 333013684
299.89/44.48	c (38,0) c PropsBinClauses_winner : 40213694
299.89/44.48	c (38,0) c PropsPreBlocker_0 : 2743632155
299.89/44.48	c (38,0) c PropsPreBlocker_1 : 2741341387
299.89/44.48	c (38,0) c PropsPreBlocker_2 : 2757532349
299.89/44.48	c (38,0) c PropsPreBlocker_3 : 2712978043
299.89/44.48	c (38,0) c PropsPreBlocker_4 : 2735451443
299.89/44.48	c (38,0) c PropsPreBlocker_5 : 2790919478
299.89/44.48	c (38,0) c PropsPreBlocker_6 : 2740556861
299.89/44.48	c (38,0) c PropsPreBlocker_7 : 2781378517
299.89/44.48	c (38,0) c PropsPreBlocker_total : 22003790233
299.89/44.48	c (38,0) c PropsPreBlocker_winner : 2740556861
299.89/44.48	c (38,0) c PropsNotBlocker_0 : 466641960
299.89/44.48	c (38,0) c PropsNotBlocker_1 : 413622526
299.89/44.48	c (38,0) c PropsNotBlocker_2 : 411588668
299.89/44.48	c (38,0) c PropsNotBlocker_3 : 431445001
299.89/44.48	c (38,0) c PropsNotBlocker_4 : 408993160
299.89/44.48	c (38,0) c PropsNotBlocker_5 : 382211535
299.89/44.48	c (38,0) c PropsNotBlocker_6 : 409043273
299.89/44.48	c (38,0) c PropsNotBlocker_7 : 385244856
299.89/44.48	c (38,0) c PropsNotBlocker_total : 3308790979
299.89/44.48	c (38,0) c PropsNotBlocker_winner : 409043273
299.89/44.48	c (38,0) c PropsLitFullScans_0 : 3642189683
299.89/44.48	c (38,0) c PropsLitFullScans_1 : 3642466272
299.89/44.48	c (38,0) c PropsLitFullScans_2 : 3642305687
299.89/44.48	c (38,0) c PropsLitFullScans_3 : 3636387668
299.89/44.48	c (38,0) c PropsLitFullScans_4 : 3636348950
299.89/44.48	c (38,0) c PropsLitFullScans_5 : 3642373667
299.89/44.48	c (38,0) c PropsLitFullScans_6 : 3641145017
299.89/44.48	c (38,0) c PropsLitFullScans_7 : 3642358986
299.89/44.48	c (38,0) c PropsLitFullScans_total : 29125575930
299.89/44.48	c (38,0) c PropsLitFullScans_winner : 3641145017
299.89/44.48	c (38,0) c LitScanFractions_0 : 185079
299.89/44.48	c (38,0) c LitScanFractions_1 : 461083
299.89/44.48	c (38,0) c LitScanFractions_2 : 301109
299.89/44.48	c (38,0) c LitScanFractions_3 : 378542
299.89/44.48	c (38,0) c LitScanFractions_4 : 344225
299.89/44.48	c (38,0) c LitScanFractions_5 : 355786
299.89/44.48	c (38,0) c LitScanFractions_6 : 535829
299.89/44.48	c (38,0) c LitScanFractions_7 : 348341
299.89/44.48	c (38,0) c LitScanFractions_total : 2909994
299.89/44.48	c (38,0) c LitScanFractions_winner : 535829
299.89/44.48	c (38,0) c DecisionLevel0_0 : 156
299.89/44.48	c (38,0) c DecisionLevel0_1 : 64
299.89/44.48	c (38,0) c DecisionLevel0_2 : 105
299.89/44.48	c (38,0) c DecisionLevel0_3 : 114
299.89/44.48	c (38,0) c DecisionLevel0_4 : 83
299.89/44.48	c (38,0) c DecisionLevel0_5 : 74
299.89/44.48	c (38,0) c DecisionLevel0_6 : 264
299.89/44.48	c (38,0) c DecisionLevel0_7 : 114
299.89/44.49	c (38,0) c DecisionLevel0_total : 974
299.89/44.49	c (38,0) c DecisionLevel0_winner : 264
299.89/44.49	c (38,0) c Periods_0 : 607
299.89/44.49	c (38,0) c Periods_1 : 607
299.89/44.49	c (38,0) c Periods_2 : 607
299.89/44.49	c (38,0) c Periods_3 : 606
299.89/44.49	c (38,0) c Periods_4 : 606
299.89/44.49	c (38,0) c Periods_5 : 607
299.89/44.49	c (38,0) c Periods_6 : 606
299.89/44.49	c (38,0) c Periods_7 : 607
299.89/44.49	c (38,0) c Periods_total : 4853
299.89/44.49	c (38,0) c Periods_winner : 606
299.89/44.49	c (38,0) c Margin_0 : 20
299.89/44.49	c (38,0) c Margin_1 : 20
299.89/44.49	c (38,0) c Margin_2 : 20
299.89/44.49	c (38,0) c Margin_3 : 20
299.89/44.49	c (38,0) c Margin_4 : 20
299.89/44.49	c (38,0) c Margin_5 : 20
299.89/44.49	c (38,0) c Margin_6 : 20
299.89/44.49	c (38,0) c Margin_7 : 20
299.89/44.49	c (38,0) c Margin_total : 160
299.89/44.49	c (38,0) c Margin_winner : 20
299.89/44.49	c (38,0) c Exported_0 : 65989
299.89/44.49	c (38,0) c Exported_1 : 39568
299.89/44.49	c (38,0) c Exported_2 : 37086
299.89/44.49	c (38,0) c Exported_3 : 41316
299.89/44.49	c (38,0) c Exported_4 : 37678
299.89/44.49	c (38,0) c Exported_5 : 34713
299.89/44.49	c (38,0) c Exported_6 : 38177
299.89/44.49	c (38,0) c Exported_7 : 36595
299.89/44.49	c (38,0) c Exported_total : 331122
299.89/44.49	c (38,0) c Exported_winner : 38177
299.89/44.49	c (38,0) c Imported_0 : 256376
299.89/44.49	c (38,0) c Imported_1 : 281175
299.89/44.49	c (38,0) c Imported_2 : 274991
299.89/44.49	c (38,0) c Imported_3 : 279026
299.89/44.49	c (38,0) c Imported_4 : 273447
299.89/44.49	c (38,0) c Imported_5 : 272250
299.89/44.49	c (38,0) c Imported_6 : 283168
299.89/44.49	c (38,0) c Imported_7 : 280811
299.89/44.49	c (38,0) c Imported_total : 2201244
299.89/44.49	c (38,0) c Imported_winner : 283168
299.89/44.49	c (38,0) c Good_0 : 245
299.89/44.49	c (38,0) c Good_1 : 266
299.89/44.49	c (38,0) c Good_2 : 218
299.89/44.49	c (38,0) c Good_3 : 208
299.89/44.49	c (38,0) c Good_4 : 193
299.89/44.49	c (38,0) c Good_5 : 179
299.89/44.49	c (38,0) c Good_6 : 279
299.89/44.49	c (38,0) c Good_7 : 254
299.89/44.49	c (38,0) c Good_total : 1842
299.89/44.49	c (38,0) c Good_winner : 279
299.89/44.49	c (38,0) c Purge_0 : 256131
299.89/44.49	c (38,0) c Purge_1 : 280909
299.89/44.49	c (38,0) c Purge_2 : 274773
299.89/44.49	c (38,0) c Purge_3 : 278818
299.89/44.49	c (38,0) c Purge_4 : 273254
299.89/44.49	c (38,0) c Purge_5 : 272071
299.89/44.49	c (38,0) c Purge_6 : 282889
299.89/44.49	c (38,0) c Purge_7 : 280557
299.89/44.49	c (38,0) c Purge_total : 2199402
299.89/44.49	c (38,0) c Purge_winner : 282889
299.89/44.49	c (38,0) c Promoted_0 : 5247
299.89/44.49	c (38,0) c Promoted_1 : 17628
299.89/44.49	c (38,0) c Promoted_2 : 18132
299.89/44.49	c (38,0) c Promoted_3 : 19539
299.89/44.49	c (38,0) c Promoted_4 : 18137
299.89/44.49	c (38,0) c Promoted_5 : 19194
299.89/44.49	c (38,0) c Promoted_6 : 19007
299.89/44.49	c (38,0) c Promoted_7 : 19364
299.89/44.49	c (38,0) c Promoted_total : 136248
299.89/44.49	c (38,0) c Promoted_winner : 19007
299.89/44.49	c (38,0) c Remove_Imp_0 : 235976
299.89/44.49	c (38,0) c Remove_Imp_1 : 198846
299.89/44.49	c (38,0) c Remove_Imp_2 : 183955
299.89/44.49	c (38,0) c Remove_Imp_3 : 195607
299.89/44.49	c (38,0) c Remove_Imp_4 : 176676
299.89/44.49	c (38,0) c Remove_Imp_5 : 162802
299.89/44.49	c (38,0) c Remove_Imp_6 : 176573
299.89/44.49	c (38,0) c Remove_Imp_7 : 171653
299.89/44.49	c (38,0) c Remove_Imp_total : 1502088
299.89/44.49	c (38,0) c Remove_Imp_winner : 176573
299.89/44.49	c (38,0) c Blocked_Reuse_0 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_1 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_2 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_3 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_4 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_5 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_6 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_7 : 0
299.89/44.49	c (38,0) c Blocked_Reuse_total : 0
299.89/44.49	c (38,0) c Blocked_Reuse_winner : 0
299.89/44.49	c (38,0) c Unaries_0 : 10
299.89/44.49	c (38,0) c Unaries_1 : 9
299.89/44.49	c (38,0) c Unaries_2 : 1
299.89/44.49	c (38,0) c Unaries_3 : 13
299.89/44.49	c (38,0) c Unaries_4 : 2
299.89/44.49	c (38,0) c Unaries_5 : 1
299.89/44.49	c (38,0) c Unaries_6 : 20
299.89/44.49	c (38,0) c Unaries_7 : 1
299.89/44.49	c (38,0) c Unaries_total : 57
299.89/44.49	c (38,0) c Unaries_winner : 20
299.89/44.49	c (38,0) c Binaries_0 : 87
299.89/44.49	c (38,0) c Binaries_1 : 61
299.89/44.49	c (38,0) c Binaries_2 : 30
299.89/44.49	c (38,0) c Binaries_3 : 131
299.89/44.49	c (38,0) c Binaries_4 : 28
299.89/44.49	c (38,0) c Binaries_5 : 23
299.89/44.49	c (38,0) c Binaries_6 : 108
299.89/44.49	c (38,0) c Binaries_7 : 24
299.89/44.49	c (38,0) c Binaries_total : 492
299.89/44.49	c (38,0) c Binaries_winner : 108
299.89/44.49	c (38,0) c Glues_0 : 690
299.89/44.49	c (38,0) c Glues_1 : 466
299.89/44.49	c (38,0) c Glues_2 : 454
299.89/44.49	c (38,0) c Glues_3 : 587
299.89/44.49	c (38,0) c Glues_4 : 452
299.89/44.49	c (38,0) c Glues_5 : 455
299.89/44.49	c (38,0) c Glues_6 : 567
299.89/44.49	c (38,0) c Glues_7 : 465
299.89/44.49	c (38,0) c Glues_total : 4136
299.89/44.49	c (38,0) c Glues_winner : 567
299.89/44.49	c (38,0) c RunningTime_0 : 33.839604
299.89/44.49	c (38,0) c RunningTime_1 : 34.664547
299.89/44.49	c (38,0) c RunningTime_2 : 34.865247
299.89/44.49	c (38,0) c RunningTime_3 : 36.359825
299.89/44.49	c (38,0) c RunningTime_4 : 37.581548
299.89/44.49	c (38,0) c RunningTime_5 : 34.959012
299.89/44.49	c (38,0) c RunningTime_6 : 35.742724
299.89/44.49	c (38,0) c RunningTime_7 : 34.719949
299.89/44.49	c (38,0) c RunningTime_total : 282.732455
299.89/44.49	c (38,0) c RunningTime_winner : 35.742724
299.89/44.49	c (38,0) c WaitingTime_0 : 2.820971
299.89/44.49	c (38,0) c WaitingTime_1 : 2.028330
299.89/44.49	c (38,0) c WaitingTime_2 : 1.823663
299.89/44.49	c (38,0) c WaitingTime_3 : 0.330477
299.89/44.49	c (38,0) c WaitingTime_4 : 0.000738
299.89/44.49	c (38,0) c WaitingTime_5 : 1.727783
299.89/44.49	c (38,0) c WaitingTime_6 : 0.940103
299.89/44.49	c (38,0) c WaitingTime_7 : 1.986928
299.89/44.49	c (38,0) c WaitingTime_total : 11.658992
299.89/44.49	c (38,0) c WaitingTime_winner : 0.940103
299.89/44.49	c (38,0) c ExchangingTime_0 : 0.100352
299.89/44.49	c (38,0) c ExchangingTime_1 : 0.080912
299.89/44.49	c (38,0) c ExchangingTime_2 : 0.085382
299.89/44.49	c (38,0) c ExchangingTime_3 : 0.081984
299.89/44.49	c (38,0) c ExchangingTime_4 : 0.088449
299.89/44.49	c (38,0) c ExchangingTime_5 : 0.088849
299.89/44.49	c (38,0) c ExchangingTime_6 : 0.087435
299.89/44.49	c (38,0) c ExchangingTime_7 : 0.085854
299.89/44.49	c (38,0) c ExchangingTime_total : 0.699215
299.89/44.49	c (38,0) c ExchangingTime_winner : 0.087435
299.89/44.49	c (38,0) c PeriodProcTime_0 : 0.004764
299.89/44.49	c (38,0) c PeriodProcTime_1 : 0.004466
299.89/44.49	c (38,0) c PeriodProcTime_2 : 0.004098
299.89/44.49	c (38,0) c PeriodProcTime_3 : 0.004265
299.89/44.49	c (38,0) c PeriodProcTime_4 : 0.006217
299.89/44.49	c (38,0) c PeriodProcTime_5 : 0.004760
299.89/44.49	c (38,0) c PeriodProcTime_6 : 0.004064
299.89/44.49	c (38,0) c PeriodProcTime_7 : 0.004349
299.89/44.49	c (38,0) c PeriodProcTime_total : 0.036983
299.89/44.49	c (38,0) c PeriodProcTime_winner : 0.004064
299.89/44.49	c (38,0) c SolvingTime_0 : 36.765690
299.89/44.49	c (38,0) c SolvingTime_1 : 36.778255
299.89/44.49	c (38,0) c SolvingTime_2 : 36.778391
299.89/44.49	c (38,0) c SolvingTime_3 : 36.776551
299.89/44.49	c (38,0) c SolvingTime_4 : 37.676951
299.89/44.49	c (38,0) c SolvingTime_5 : 36.780403
299.89/44.49	c (38,0) c SolvingTime_6 : 36.774326
299.89/44.49	c (38,0) c SolvingTime_7 : 36.797079
299.89/44.49	c (38,0) c SolvingTime_total : 295.127645
299.89/44.49	c (38,0) c SolvingTime_winner : 36.774326
299.89/44.49	c (38,0) c PropagationTime_0 : 31.761252
299.89/44.49	c (38,0) c PropagationTime_1 : 33.388772
299.89/44.49	c (38,0) c PropagationTime_2 : 33.322927
299.89/44.49	c (38,0) c PropagationTime_3 : 32.821590
299.89/44.49	c (38,0) c PropagationTime_4 : 33.872876
299.89/44.49	c (38,0) c PropagationTime_5 : 32.763613
299.89/44.49	c (38,0) c PropagationTime_6 : 32.754429
299.89/44.49	c (38,0) c PropagationTime_7 : 33.324080
299.89/44.49	c (38,0) c PropagationTime_total : 264.009540
299.89/44.49	c (38,0) c PropagationTime_winner : 32.754429
299.89/44.49	c (38,0) c AnalysisTime_0 : 3.224674
299.89/44.49	c (38,0) c AnalysisTime_1 : 2.260224
299.89/44.49	c (38,0) c AnalysisTime_2 : 2.359579
299.89/44.49	c (38,0) c AnalysisTime_3 : 2.843299
299.89/44.49	c (38,0) c AnalysisTime_4 : 2.527792
299.89/44.49	c (38,0) c AnalysisTime_5 : 2.927361
299.89/44.49	c (38,0) c AnalysisTime_6 : 2.809768
299.89/44.49	c (38,0) c AnalysisTime_7 : 2.355237
299.89/44.49	c (38,0) c AnalysisTime_total : 21.307933
299.89/44.49	c (38,0) c AnalysisTime_winner : 2.809768
299.89/44.49	c (38,0) c ReductionTime_0 : 0.827440
299.89/44.49	c (38,0) c ReductionTime_1 : 0.436410
299.89/44.49	c (38,0) c ReductionTime_2 : 0.444726
299.89/44.49	c (38,0) c ReductionTime_3 : 0.418019
299.89/44.49	c (38,0) c ReductionTime_4 : 0.536934
299.89/44.49	c (38,0) c ReductionTime_5 : 0.441429
299.89/44.49	c (38,0) c ReductionTime_6 : 0.471658
299.89/44.49	c (38,0) c ReductionTime_7 : 0.428544
299.89/44.49	c (38,0) c ReductionTime_total : 4.005162
299.89/44.49	c (38,0) c ReductionTime_winner : 0.471658
299.89/44.49	c (38,0) c SimplifyTime_0 : 0.074864
299.89/44.49	c (38,0) c SimplifyTime_1 : 0.090876
299.89/44.49	c (38,0) c SimplifyTime_2 : 0.074141
299.89/44.49	c (38,0) c SimplifyTime_3 : 0.101742
299.89/44.49	c (38,0) c SimplifyTime_4 : 0.115591
299.89/44.49	c (38,0) c SimplifyTime_5 : 0.077087
299.89/44.49	c (38,0) c SimplifyTime_6 : 0.137651
299.89/44.49	c (38,0) c SimplifyTime_7 : 0.106967
299.89/44.49	c (38,0) c SimplifyTime_total : 0.778919
299.89/44.49	c (38,0) c SimplifyTime_winner : 0.137651
299.89/44.49	c (38,0) c UsedRateTime_0 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_1 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_2 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_3 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_4 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_5 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_6 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_7 : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_total : 0.000000
299.89/44.49	c (38,0) c UsedRateTime_winner : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_0 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_1 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_2 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_3 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_4 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_5 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_6 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_7 : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_total : 0.000000
299.89/44.49	c (38,0) c OverlapRateTime_winner : 0.000000
299.89/44.49	c (38,0) c
299.89/44.49	c (38,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
299.89/44.49	c (38,0) c
299.89/44.49	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.49	c (38,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
299.89/44.49	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.49	c (38,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
299.89/44.49	c (38,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
299.89/44.49	c (38,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
299.89/44.49	c (38,0) c | Initial random_seed   | 1496885504 | 1757526254 | 1457888916 |  311053846 | 1579637391 | 2000102026 | 1366989969 | 1041086046 |
299.89/44.49	c (38,0) c | chanseokStrategy      |       True |      False |      False |      False |      False |      False |      False |      False |
299.89/44.49	c (38,0) c | coLBDBound            |          4 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
299.89/44.49	c (38,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
299.89/44.49	c (38,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
299.89/44.49	c (38,0) c | incReduceDB           |          0 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
299.89/44.49	c (38,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
299.89/44.49	c (38,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
299.89/44.49	c (38,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
299.89/44.49	c (38,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
299.89/44.49	c (38,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
299.89/44.49	c (38,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
299.89/44.49	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.89/44.49	c (38,0) 
299.89/44.49	c (38,0) s UNSATISFIABLE
299.89/44.50	c (38,0) SatSolver.solve End
299.89/44.50	c (38,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
299.89/44.50	c (38,0) Show results Begin
299.89/44.50	s UNSATISFIABLE
299.89/44.50	c (38,0) Show results End
299.89/44.50	c (38,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
299.89/44.50	c (38,0) 38,38,STOP-AFTER(ALL)
299.89/44.50	c END-Prog: Sat Sep 14 03:56:24 CEST 2019

Verifier Data


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 (15300 MiB free)
  memory of node 1: 16384 MiB (15495 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100159 s]*
/proc/loadavg: 5.88 7.65 7.96 2/211 14550
/proc/meminfo: memFree=31440524/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418869949 115843072 349 33554432000 4194304 5098028 140728546096336 140728546093592 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 349 296 221 0 87 0
[pid=14531] ppid=14528 vsize=27314120 memory=105788 CPUtime=0.11 cores=0-7
/proc/14531/stat : 14531 (java) S 14528 14528 7170 0 -1 1077944320 6546 0 0 0 9 2 0 0 20 0 20 0 418869949 27969658880 26447 33554432000 4194304 4196468 140732660166384 140732660148928 139718275309303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
/proc/14531/statm: 6828530 26447 2797 1 0 6790935 0
[pid=14531/tid=14532] ppid=14528 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/14531/task/14532/stat : 14532 (java) R 14528 14528 7170 0 -1 4202560 4629 0 0 0 7 1 0 0 20 0 20 0 418869950 27969658880 26447 33554432000 4194304 4196468 140732660166384 139718247145264 139718261377422 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14533] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14533/stat : 14533 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139718279551760 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14534] ppid=14528 vsize=27314120 memory=139760448808837 CPUtime=0 cores=0-7
/proc/14531/task/14534/stat : 14534 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139718106368912 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14535] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14535/stat : 14535 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139717696375824 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14536] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14536/stat : 14536 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139717695323280 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14537] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14537/stat : 14537 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139717694269712 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14538] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14538/stat : 14538 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139717693217168 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14539] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14539/stat : 14539 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139717692164624 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14540] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14540/stat : 14540 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 26447 33554432000 4194304 4196468 140732660166384 139717691112080 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14541] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14541/stat : 14541 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 26959 33554432000 4194304 4196468 140732660166384 139717266528752 139718275320450 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14542] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14542/stat : 14542 (java) S 14528 14528 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 26959 33554432000 4194304 4196468 140732660166384 139716158547360 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14543] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14543/stat : 14543 (java) S 14528 14528 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 26959 33554432000 4194304 4196468 140732660166384 139716024325616 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14544] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14544/stat : 14544 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139715649821392 139718275327899 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14545] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14545/stat : 14545 (java) S 14528 14528 7170 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139717265475568 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14546] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14546/stat : 14546 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139717264423024 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14547] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14547/stat : 14547 (java) S 14528 14528 7170 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139717263370480 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14548] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14548/stat : 14548 (java) S 14528 14528 7170 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139717262317936 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14549] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14549/stat : 14549 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139715151915744 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14550] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14550/stat : 14550 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 26959 33554432000 4194304 4196468 140732660166384 139717261265840 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107184 KiB

[startup+0.210132 s]*
/proc/loadavg: 5.88 7.65 7.96 3/211 14550
/proc/meminfo: memFree=31420524/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418869949 115843072 349 33554432000 4194304 5098028 140728546096336 140728546093592 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 349 296 221 0 87 0
[pid=14531] ppid=14528 vsize=27314120 memory=124828 CPUtime=0.25 cores=0-7
/proc/14531/stat : 14531 (java) S 14528 14528 7170 0 -1 1077944320 12030 0 0 0 21 4 0 0 20 0 20 0 418869949 27969658880 31207 33554432000 4194304 4196468 140732660166384 140732660148928 139718275309303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
/proc/14531/statm: 6828530 31207 2935 1 0 6790935 0
[pid=14531/tid=14532] ppid=14528 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14531/task/14532/stat : 14532 (java) R 14528 14528 7170 0 -1 4202560 9733 0 0 0 16 3 0 0 20 0 20 0 418869950 27969658880 31207 33554432000 4194304 4196468 140732660166384 139718247092864 139718256872832 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14533] ppid=14528 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/14531/task/14533/stat : 14533 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139718279551760 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14534] ppid=14528 vsize=27314120 memory=3760986517770368672 CPUtime=0 cores=0-7
/proc/14531/task/14534/stat : 14534 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139718106368912 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14535] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14535/stat : 14535 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717696375824 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14536] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14536/stat : 14536 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717695323280 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14537] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14537/stat : 14537 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717694269712 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14538] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14538/stat : 14538 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717693217168 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14539] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14539/stat : 14539 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717692164624 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14540] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14540/stat : 14540 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717691112080 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14541] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14541/stat : 14541 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717266528752 139718275320450 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14542] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14542/stat : 14542 (java) S 14528 14528 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 31207 33554432000 4194304 4196468 140732660166384 139716158547360 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14543] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14543/stat : 14543 (java) S 14528 14528 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 31207 33554432000 4194304 4196468 140732660166384 139716024325616 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14544] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14544/stat : 14544 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139715649821392 139718275327899 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14545] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14545/stat : 14545 (java) S 14528 14528 7170 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717265475568 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14546] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14546/stat : 14546 (java) S 14528 14528 7170 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717264423024 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14547] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14547/stat : 14547 (java) S 14528 14528 7170 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717263370480 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14548] ppid=14528 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/14531/task/14548/stat : 14548 (java) S 14528 14528 7170 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717262317936 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14549] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14549/stat : 14549 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139715151915744 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14550] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14550/stat : 14550 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 31207 33554432000 4194304 4196468 140732660166384 139717261265840 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126224 KiB

[startup+0.309606 s]*
/proc/loadavg: 5.88 7.65 7.96 3/211 14550
/proc/meminfo: memFree=31418352/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418869949 115843072 349 33554432000 4194304 5098028 140728546096336 140728546093592 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 349 296 221 0 87 0
[pid=14531] ppid=14528 vsize=27314120 memory=128496 CPUtime=0.43 cores=0-7
/proc/14531/stat : 14531 (java) S 14528 14528 7170 0 -1 1077944320 12996 0 0 0 38 5 0 0 20 0 20 0 418869949 27969658880 32124 33554432000 4194304 4196468 140732660166384 140732660148928 139718275309303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
/proc/14531/statm: 6828530 32124 3023 1 0 6790935 0
[pid=14531/tid=14532] ppid=14528 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/14531/task/14532/stat : 14532 (java) R 14528 14528 7170 0 -1 4202560 10532 0 0 0 26 3 0 0 20 0 20 0 418869950 27969658880 32124 33554432000 4194304 4196468 140732660166384 139718247139376 139718260474958 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14533] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14533/stat : 14533 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139718279551760 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14534] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14534/stat : 14534 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139718106368912 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14535] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14535/stat : 14535 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717696375824 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14536] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14536/stat : 14536 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717695323280 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14537] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14537/stat : 14537 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717694269712 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14538] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14538/stat : 14538 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717693217168 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14539] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14539/stat : 14539 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717692164624 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14540] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14540/stat : 14540 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869952 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717691112080 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14541] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14541/stat : 14541 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717266528752 139718275320450 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14542] ppid=14528 vsize=27314120 memory=279520632577408 CPUtime=0 cores=0-7
/proc/14531/task/14542/stat : 14542 (java) S 14528 14528 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 32124 33554432000 4194304 4196468 140732660166384 139716158547360 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14543] ppid=14528 vsize=27314120 memory=279520632582016 CPUtime=0 cores=0-7
/proc/14531/task/14543/stat : 14543 (java) S 14528 14528 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418869954 27969658880 32124 33554432000 4194304 4196468 140732660166384 139716024325616 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14544] ppid=14528 vsize=27314120 memory=279520632586624 CPUtime=0 cores=0-7
/proc/14531/task/14544/stat : 14544 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139715649821392 139718275327899 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14545] ppid=14528 vsize=27314120 memory=279520632591232 CPUtime=0.01 cores=0-7
/proc/14531/task/14545/stat : 14545 (java) S 14528 14528 7170 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717265475568 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14546] ppid=14528 vsize=27314120 memory=279520632595840 CPUtime=0 cores=0-7
/proc/14531/task/14546/stat : 14546 (java) S 14528 14528 7170 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717264423024 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14547] ppid=14528 vsize=27314120 memory=279520632600448 CPUtime=0.01 cores=0-7
/proc/14531/task/14547/stat : 14547 (java) S 14528 14528 7170 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717263370480 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14548] ppid=14528 vsize=27314120 memory=279520632605056 CPUtime=0.07 cores=0-7
/proc/14531/task/14548/stat : 14548 (java) S 14528 14528 7170 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717262317936 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14549] ppid=14528 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14549/stat : 14549 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139715151915744 139718275319509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14550] ppid=14528 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14531/task/14550/stat : 14550 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869957 27969658880 32124 33554432000 4194304 4196468 140732660166384 139717261265840 139718275320450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129892 KiB

[startup+0.700968 s]
/proc/loadavg: 5.88 7.65 7.96 2/211 14550
/proc/meminfo: memFree=31397392/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418869949 115843072 349 33554432000 4194304 5098028 140728546096336 140728546093592 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 349 296 221 0 87 0
[pid=14531] ppid=14528 vsize=27320392 memory=163392 CPUtime=1.01 cores=0-7
/proc/14531/stat : 14531 (java) S 14528 14528 7170 0 -1 1077944320 19919 0 0 0 94 7 0 0 20 0 20 0 418869949 27976081408 40848 33554432000 4194304 4196468 140732660166384 140732660148928 139718275309303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
/proc/14531/statm: 6830098 40848 3190 1 0 6791447 0
[pid=14531/tid=14532] ppid=14528 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/14531/task/14532/stat : 14532 (java) R 14528 14528 7170 0 -1 4202560 16962 0 0 0 62 5 0 0 20 0 20 0 418869950 27976081408 40848 33554432000 4194304 4196468 140732660166384 139718247146288 139717779483290 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14533] ppid=14528 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14533/stat : 14533 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27976081408 40848 33554432000 4194304 4196468 140732660166384 139718279551760 139718275319509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14534] ppid=14528 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14531/task/14534/stat : 14534 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869952 27976081408 40848 33554432000 4194304 4196468 140732660166384 139718106368912 139718275319509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0
[pid=14531/tid=14535] ppid=14528 vsize=27320392 memory=8556 CPUtime=0 cores=0-7
/proc/14531/task/14535/stat : 14535 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869952 27976081408 40848 33554432000 4194304 4196468 140732660166384 139717696375824 139718275319509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23232512 140732660171499 140732660171926 140732660171926 140732660174799 0

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

Current children cumulated vsize: 9197612 KiB
Current children cumulated memory: 398772 KiB

[startup+44.001 s]*
/proc/loadavg: 6.01 7.43 7.87 2/217 14587
/proc/meminfo: memFree=31150516/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1476 CPUtime=16.11 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 582 35463 0 0 0 0 1569 42 20 0 1 0 418869949 115843072 369 33554432000 4194304 5098028 140728546096336 140728546093080 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 369 311 221 0 87 0
[pid=14551] ppid=14528 vsize=8414124 memory=120260 CPUtime=1.19 cores=0-7
/proc/14551/stat : 14551 (java) S 14528 14528 7170 0 -1 1077944320 20537 0 0 0 111 8 0 0 20 0 24 0 418870545 8616062976 30065 33554432000 4194304 4196468 140720642710768 140720642693312 139974837280503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
/proc/14551/statm: 2103531 30065 3204 1 0 2064875 0
[pid=14571] ppid=14551 vsize=670660 memory=275696 CPUtime=282.2 cores=0-7
/proc/14571/stat : 14571 (manyglucose-4.1) S 14551 14528 7170 0 -1 1077944320 293254 0 0 0 28160 60 0 0 20 0 2 0 418870619 686755840 68924 33554432000 4194304 4454172 140728692906240 140728692904624 140683950448375 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 13852672 140728692913001 140728692913200 140728692913200 140728692916154 0
/proc/14571/statm: 167665 68924 419 64 0 163333 0
[pid=14571/tid=14581] ppid=14551 vsize=670660 memory=1156 CPUtime=36.8 cores=0-7
/proc/14571/task/14581/stat : 14581 (manyglucose-4.1) R 14551 14528 7170 0 -1 4202560 41834 0 0 0 3669 11 0 0 20 0 2 0 418870625 686755840 68924 33554432000 4194304 4454172 140728692906240 140683895508104 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 13852672 140728692913001 140728692913200 140728692913200 140728692916154 0
[pid=14551/tid=14552] ppid=14528 vsize=8414124 memory=8317482817917895235 CPUtime=0.76 cores=0-7
/proc/14551/task/14552/stat : 14552 (java) S 14528 14528 7170 0 -1 1077944384 17417 0 0 0 70 6 0 0 20 0 24 0 418870546 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974809120672 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14553] ppid=14528 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14551/task/14553/stat : 14553 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974841522448 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14554] ppid=14528 vsize=8414124 memory=120260 CPUtime=0 cores=0-7
/proc/14551/task/14554/stat : 14554 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974664018320 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14555] ppid=14528 vsize=8414124 memory=292928 CPUtime=0 cores=0-7
/proc/14551/task/14555/stat : 14555 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974662965776 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14556] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14556/stat : 14556 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974320798352 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14557] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14557/stat : 14557 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974319745808 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14558] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14558/stat : 14558 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974318693264 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14559] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14559/stat : 14559 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974317640720 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14560] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14560/stat : 14560 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974316588176 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14561] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14561/stat : 14561 (java) S 14528 14528 7170 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418870548 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974266374128 139974837291650 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14562] ppid=14528 vsize=8414124 memory=64757302299370 CPUtime=0 cores=0-7
/proc/14551/task/14562/stat : 14562 (java) S 14528 14528 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418870549 8616062976 30065 33554432000 4194304 4196468 140720642710768 139973521040288 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14563] ppid=14528 vsize=8414124 memory=279520634664336 CPUtime=0 cores=0-7
/proc/14551/task/14563/stat : 14563 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870549 8616062976 30065 33554432000 4194304 4196468 140720642710768 139973252604912 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14564] ppid=14528 vsize=8414124 memory=64671402953194 CPUtime=0 cores=0-7
/proc/14551/task/14564/stat : 14564 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870551 8616062976 30065 33554432000 4194304 4196468 140720642710768 139972878096592 139974837299099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14565] ppid=14528 vsize=8414124 memory=64671402952938 CPUtime=0.05 cores=0-7
/proc/14551/task/14565/stat : 14565 (java) S 14528 14528 7170 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 418870551 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974265321968 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14566] ppid=14528 vsize=8414124 memory=64671402953450 CPUtime=0.04 cores=0-7
/proc/14551/task/14566/stat : 14566 (java) S 14528 14528 7170 0 -1 1077944384 324 0 0 0 4 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974264269424 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14567] ppid=14528 vsize=8414124 memory=64671402953450 CPUtime=0.07 cores=0-7
/proc/14551/task/14567/stat : 14567 (java) S 14528 14528 7170 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974263216880 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14568] ppid=14528 vsize=8414124 memory=64671402953450 CPUtime=0.2 cores=0-7
/proc/14551/task/14568/stat : 14568 (java) S 14528 14528 7170 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974262164336 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14569] ppid=14528 vsize=8414124 memory=64671402953450 CPUtime=0 cores=0-7
/proc/14551/task/14569/stat : 14569 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139972380190944 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14570] ppid=14528 vsize=8414124 memory=64671402953450 CPUtime=0.02 cores=0-7
/proc/14551/task/14570/stat : 14570 (java) S 14528 14528 7170 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974261111216 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14572] ppid=14528 vsize=8414124 memory=3440 CPUtime=0 cores=0-7
/proc/14551/task/14572/stat : 14572 (java) S 14528 14528 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418870619 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974259500224 139974837305113 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14574] ppid=14528 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/14551/task/14574/stat : 14574 (java) S 14528 14528 7170 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418870619 8616062976 30065 33554432000 4194304 4196468 140720642710768 139971709091600 139974837302429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14575] ppid=14528 vsize=8414124 memory=5904 CPUtime=0 cores=0-7
/proc/14551/task/14575/stat : 14575 (java) S 14528 14528 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418870619 8616062976 30065 33554432000 4194304 4196468 140720642710768 139971977527184 139974837302429 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14576] ppid=14528 vsize=8414124 memory=664 CPUtime=0 cores=0-7
/proc/14551/task/14576/stat : 14576 (java) S 14528 14528 7170 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418870621 8616062976 30065 33554432000 4194304 4196468 140720642710768 139971440664240 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
Current children cumulated CPU time: 299.5 s
Current children cumulated vsize: 9197912 KiB
Current children cumulated memory: 397432 KiB

[startup+44.401 s]
/proc/loadavg: 6.01 7.43 7.87 2/217 14587
/proc/meminfo: memFree=31150516/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1476 CPUtime=16.11 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 582 35463 0 0 0 0 1569 42 20 0 1 0 418869949 115843072 369 33554432000 4194304 5098028 140728546096336 140728546093080 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 369 311 221 0 87 0
[pid=14551] ppid=14528 vsize=8414124 memory=120260 CPUtime=1.19 cores=0-7
/proc/14551/stat : 14551 (java) S 14528 14528 7170 0 -1 1077944320 20537 0 0 0 111 8 0 0 20 0 24 0 418870545 8616062976 30065 33554432000 4194304 4196468 140720642710768 140720642693312 139974837280503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
/proc/14551/statm: 2103531 30065 3204 1 0 2064875 0
[pid=14571] ppid=14551 vsize=670660 memory=275704 CPUtime=282.59 cores=0-7
/proc/14571/stat : 14571 (manyglucose-4.1) S 14551 14528 7170 0 -1 1077944320 293515 0 0 0 28199 60 0 0 20 0 2 0 418870619 686755840 68926 33554432000 4194304 4454172 140728692906240 140728692904624 140683950448375 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 13852672 140728692913001 140728692913200 140728692913200 140728692916154 0
/proc/14571/statm: 167665 68926 419 64 0 163333 0
[pid=14571/tid=14581] ppid=14551 vsize=670660 memory=-9104138145917858194 CPUtime=37.19 cores=0-7
/proc/14571/task/14581/stat : 14581 (manyglucose-4.1) R 14551 14528 7170 0 -1 4202560 42095 0 0 0 3708 11 0 0 20 0 2 0 418870625 686755840 68926 33554432000 4194304 4454172 140728692906240 140683895507704 4351331 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 13852672 140728692913001 140728692913200 140728692913200 140728692916154 0
[pid=14551/tid=14552] ppid=14528 vsize=8414124 memory=290028 CPUtime=0.76 cores=0-7
/proc/14551/task/14552/stat : 14552 (java) S 14528 14528 7170 0 -1 1077944384 17417 0 0 0 70 6 0 0 20 0 24 0 418870546 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974809120672 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14553] ppid=14528 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/14551/task/14553/stat : 14553 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974841522448 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14554] ppid=14528 vsize=8414124 memory=3632 CPUtime=0 cores=0-7
/proc/14551/task/14554/stat : 14554 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974664018320 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14555] ppid=14528 vsize=8414124 memory=1616 CPUtime=0 cores=0-7
/proc/14551/task/14555/stat : 14555 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974662965776 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14556] ppid=14528 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/14551/task/14556/stat : 14556 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974320798352 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14557] ppid=14528 vsize=8414124 memory=288230376993643552 CPUtime=0 cores=0-7
/proc/14551/task/14557/stat : 14557 (java) S 14528 14528 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974319745808 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14558] ppid=14528 vsize=8414124 memory=288291069293943933 CPUtime=0 cores=0-7
/proc/14551/task/14558/stat : 14558 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974318693264 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14559] ppid=14528 vsize=8414124 memory=202155520702656 CPUtime=0 cores=0-7
/proc/14551/task/14559/stat : 14559 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974317640720 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14560] ppid=14528 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14551/task/14560/stat : 14560 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418870547 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974316588176 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14561] ppid=14528 vsize=8414124 memory=202155520717209 CPUtime=0 cores=0-7
/proc/14551/task/14561/stat : 14561 (java) S 14528 14528 7170 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418870548 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974266374128 139974837291650 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14562] ppid=14528 vsize=8414124 memory=202155520717210 CPUtime=0 cores=0-7
/proc/14551/task/14562/stat : 14562 (java) S 14528 14528 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418870549 8616062976 30065 33554432000 4194304 4196468 140720642710768 139973521040288 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14563] ppid=14528 vsize=8414124 memory=202155520717211 CPUtime=0 cores=0-7
/proc/14551/task/14563/stat : 14563 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870549 8616062976 30065 33554432000 4194304 4196468 140720642710768 139973252604912 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14564] ppid=14528 vsize=8414124 memory=202155520717212 CPUtime=0 cores=0-7
/proc/14551/task/14564/stat : 14564 (java) S 14528 14528 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418870551 8616062976 30065 33554432000 4194304 4196468 140720642710768 139972878096592 139974837299099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14565] ppid=14528 vsize=8414124 memory=-9104138145917858194 CPUtime=0.05 cores=0-7
/proc/14551/task/14565/stat : 14565 (java) S 14528 14528 7170 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 418870551 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974265321968 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14566] ppid=14528 vsize=8414124 memory=1808 CPUtime=0.04 cores=0-7
/proc/14551/task/14566/stat : 14566 (java) S 14528 14528 7170 0 -1 1077944384 324 0 0 0 4 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974264269424 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14567] ppid=14528 vsize=8414124 memory=920 CPUtime=0.07 cores=0-7
/proc/14551/task/14567/stat : 14567 (java) S 14528 14528 7170 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974263216880 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14568] ppid=14528 vsize=8414124 memory=4252 CPUtime=0.2 cores=0-7
/proc/14551/task/14568/stat : 14568 (java) S 14528 14528 7170 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974262164336 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14569] ppid=14528 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/14551/task/14569/stat : 14569 (java) S 14528 14528 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139972380190944 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14570] ppid=14528 vsize=8414124 memory=1412 CPUtime=0.02 cores=0-7
/proc/14551/task/14570/stat : 14570 (java) S 14528 14528 7170 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418870552 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974261111216 139974837291650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14572] ppid=14528 vsize=8414124 memory=3352 CPUtime=0 cores=0-7
/proc/14551/task/14572/stat : 14572 (java) S 14528 14528 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418870619 8616062976 30065 33554432000 4194304 4196468 140720642710768 139974259500224 139974837305113 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14574] ppid=14528 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14551/task/14574/stat : 14574 (java) S 14528 14528 7170 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418870619 8616062976 30065 33554432000 4194304 4196468 140720642710768 139971709091600 139974837302429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14575] ppid=14528 vsize=8414124 memory=120260 CPUtime=0 cores=0-7
/proc/14551/task/14575/stat : 14575 (java) S 14528 14528 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418870619 8616062976 30065 33554432000 4194304 4196468 140720642710768 139971977527184 139974837302429 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14576] ppid=14528 vsize=8414124 memory=296080 CPUtime=0 cores=0-7
/proc/14551/task/14576/stat : 14576 (java) S 14528 14528 7170 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418870621 8616062976 30065 33554432000 4194304 4196468 140720642710768 139971440664240 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
Current children cumulated CPU time: 299.89 s
Current children cumulated vsize: 9197912 KiB
Current children cumulated memory: 397440 KiB

[startup+44.5042 s]
/proc/loadavg: 6.01 7.43 7.87 2/217 14587
/proc/meminfo: memFree=31150516/32770624 swapFree=66995692/67108860
[pid=14528] ppid=14525 vsize=113128 memory=1476 CPUtime=16.11 cores=0-7
/proc/14528/stat : 14528 (scop.sh) S 14525 14528 7170 0 -1 4202496 582 35463 0 0 0 0 1569 42 20 0 1 0 418869949 115843072 369 33554432000 4194304 5098028 140728546096336 140728546093080 140395879514748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21819392 140728546104101 140728546104428 140728546104428 140728546107341 0
/proc/14528/statm: 28282 369 311 221 0 87 0
[pid=14551] ppid=14528 vsize=8151972 memory=123276 CPUtime=283.94 cores=0-7
/proc/14551/stat : 14551 (java) S 14528 14528 7170 0 -1 1077944320 20846 293586 0 0 117 9 28207 61 20 0 20 0 418870545 8347619328 30819 33554432000 4194304 4196468 140720642710768 140720642693312 139974837280503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
/proc/14551/statm: 2037993 30819 3212 1 0 1999337 0
[pid=14551/tid=14553] ppid=14528 vsize=8149916 memory=286808 CPUtime=282.68 cores=0-7
/proc/14551/task/14553/stat : 14553 (java) S 14528 14528 7170 0 -1 1077944384 2 293586 0 0 0 0 28207 61 20 0 19 0 418870547 8345513984 30836 33554432000 4194304 4196468 140720642710768 139974841522448 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14554] ppid=14528 vsize=8018840 memory=0 CPUtime=282.68 cores=0-7
/proc/14551/task/14554/stat : 14554 (java) S 14528 14528 7170 0 -1 1077944384 1 293586 0 0 0 0 28207 61 20 0 19 0 418870547 8211292160 30830 33554432000 4194304 4196468 140720642710768 139974664018320 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14555] ppid=14528 vsize=8018840 memory=6655300316396806240 CPUtime=282.68 cores=0-7
/proc/14551/task/14555/stat : 14555 (java) S 14528 14528 7170 0 -1 1077944384 1 293586 0 0 0 0 28207 61 20 0 19 0 418870547 8211292160 30830 33554432000 4194304 4196468 140720642710768 139974662965776 139974837290709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14556] ppid=14528 vsize=8018840 memory=6944656592455360604 CPUtime=282.68 cores=0-7
/proc/14551/task/14556/stat : 14556 (java) S 14528 14528 7170 0 -1 1077944384 1 293586 0 0 0 0 28207 61 20 0 19 0 418870547 8211292160 30834 33554432000 4194304 4196468 140720642710768 139974320798352 139974837290709 256 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14557] ppid=14528 vsize=8018840 memory=1476 CPUtime=282.68 cores=0-7
/proc/14551/task/14557/stat : 14557 (java) R 14528 14528 7170 0 -1 1077944384 2 293586 0 0 0 0 28207 61 20 0 19 0 418870547 8211292160 30841 33554432000 4194304 4196468 140720642710768 139974319745808 139974837290709 256 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14558] ppid=14528 vsize=8018840 memory=120260 CPUtime=282.68 cores=0-7
/proc/14551/task/14558/stat : 14558 (java) R 14528 14528 7170 0 -1 4203588 1 293586 0 0 0 0 28207 61 20 0 18 0 418870547 8211292160 30911 33554432000 4194304 4196468 140720642710768 139974318693264 139974837290709 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10027008 140720642716663 140720642716822 140720642716822 140720642719695 0
[pid=14551/tid=14564] ppid=14528 vsize=0 memory=286372 CPUtime=282.68 cores=0-7
/proc/14551/task/14564/stat : 14564 (java) R 14528 14528 7170 0 -1 4195396 1 293586 0 0 0 0 28207 61 20 0 6 0 418870551 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=14551/tid=14572] ppid=14528 vsize=0 memory=275696 CPUtime=282.68 cores=0-7
/proc/14551/task/14572/stat : 14572 (java) R 14528 14528 7170 0 -1 4203588 25 293586 0 0 0 0 28207 61 20 0 2 0 418870619 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 300.05 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 124752 KiB

Child status: 0
Real time (s): 44.5111
CPU time (s): 300.092
CPU user time (s): 298.952
CPU system time (s): 1.14035
CPU usage (%): 674.196
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2061176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.952
system time used= 1.14035
maximum resident set size= 2065132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14068
involuntary context switches= 3116


# summary of solver processes directly reported to runsolver:
#   pid: 14528
#   total CPU time (s): 300.092
#   total CPU user time (s): 298.952
#   total CPU system time (s): 1.14035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.410139 second user time and 0.62373 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 03:55:40
IDJOB=4392324
IDBENCH=126185
IDSOLVER=2838
FILE ID=node102/4392324-1568426185
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392324-1568426185/watcher-4392324-1568426185 -o /tmp/evaluation-result-4392324-1568426185/solver-4392324-1568426185 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392324-1568426185.xml

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

MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057
RANDOM SEED=1988341051

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31536104 kB
MemAvailable:   31918876 kB
Buffers:          170616 kB
Cached:           505752 kB
SwapCached:         9500 kB
Active:           336452 kB
Inactive:         351328 kB
Active(anon):       9308 kB
Inactive(anon):    33848 kB
Active(file):     327144 kB
Inactive(file):   317480 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995692 kB
Dirty:             20696 kB
Writeback:             0 kB
AnonPages:        120236 kB
Mapped:            34916 kB
Shmem:             22708 kB
Slab:             137072 kB
SReclaimable:     107964 kB
SUnreclaim:        29108 kB
KernelStack:        3712 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 03:56:24