Trace number 4392489

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 472.418 123.535

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-07-0080.xml
MD5SUM9b203975fed1c25a0b87c4f345706814
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 benchmark139.896
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints46
Number of domains1
Minimum domain size127
Maximum domain size127
Distribution of domain sizes[{"size":127,"count":127}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity127
Distribution of constraint arities[{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}]
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-26095-serial-file.bin HOME/instance-4392489-1568434035.xml
0.64/0.54	
0.64/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.54	
0.64/0.57	c BEGIN-Prog: Sat Sep 14 06:06:35 CEST 2019
0.64/0.57	c PID: 26098
0.64/0.57	c IP: 172.20.3.127
0.64/0.57	c HOST: node127.alineos.net
0.64/0.58	c (0,0) Parsing Begin
1.38/0.93	c (0,0) Parsing End
1.38/0.93	c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
1.38/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.93	c (0,0) Constraint Name Generate Begin
1.38/0.94	c (0,0) Ctr:HOME/instance-4392489-1568434035.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.38/0.94	c (0,0) Constraint Name Generate End
1.38/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.94	c (0,0) CSP to CSPinCNF Begin
4.08/1.78	c (1,1) translated 5 (10%) constraints
4.08/1.79	c (1,1) translated 10 (20%) constraints
4.08/1.80	c (1,1) translated 14 (30%) constraints
4.43/1.80	c (1,1) translated 19 (40%) constraints
4.43/1.80	c (1,1) translated 23 (50%) constraints
4.43/1.81	c (1,1) translated 28 (60%) constraints
4.43/1.81	c (1,1) translated 33 (70%) constraints
4.43/1.81	c (1,1) translated 37 (80%) constraints
4.43/1.82	c (1,1) translated 42 (90%) constraints
4.43/1.82	c (1,1) translated 46 (100%) constraints
4.43/1.82	c (1,1) ===========================================
4.43/1.82	c (1,1) Order
4.43/1.82	c (1,1) ===========================================
4.88/1.90	c (1,1) translated 818 (10%) constraints
4.88/1.95	c (1,1) translated 1635 (20%) constraints
4.88/1.99	c (1,1) translated 2453 (30%) constraints
5.33/2.02	c (1,1) translated 3270 (40%) constraints
5.33/2.06	c (1,1) translated 4088 (50%) constraints
5.33/2.09	c (1,1) translated 4905 (60%) constraints
5.60/2.12	c (1,1) translated 5723 (70%) constraints
5.60/2.14	c (1,1) translated 6540 (80%) constraints
5.60/2.17	c (1,1) translated 7358 (90%) constraints
8.24/3.12	c (2,2) translated 8175 (100%) constraints
8.24/3.13	c (2,2) CSP to CSPinCNF End
8.24/3.14	c (2,2) CSP: 391 int (264 aux), 16129 bool (16129 aux), 41000 ctr, max domain size 436
8.24/3.14	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.24/3.14	c (2,2) CSPinCNF Propagation Begin
9.60/3.89	c (3,3) 2947 values, 5932 unsatisfiable literals, and 6148 valid clauses are removed
9.60/3.89	c (3,3) CSPinCNF Propagation End
9.84/3.90	c (3,3) CSP: 391 int (264 aux), 16129 bool (16129 aux), 34852 ctr, max domain size 436
9.84/3.90	c (3,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.84/3.90	c (3,3) Simplify CSPinCNF Begin
10.68/4.24	c (3,3) Simplify CSPinCNF End
10.68/4.25	c (3,3) CSP: 391 int (264 aux), 32131 bool (32131 aux), 50854 ctr, max domain size 436
10.68/4.25	c (3,3) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.68/4.25	c (3,3) Calculate Precise Domain Begin
10.68/4.29	c (3,3) 20 values are removed by re-calculation
10.68/4.29	c (3,3) Calculate Precise Domain End
10.68/4.29	c (3,3) CSP: 391 int (264 aux), 32131 bool (32131 aux), 50854 ctr, max domain size 436
10.68/4.29	c (3,3) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.68/4.29	c (3,3) CSPinCNF to SatSolver Begin
14.37/5.44	c (4,4) 5086 (10 %) CSP clauses are encoded (0 SAT variables, 230548 SAT clauses)
15.85/6.79	c (6,6) 10171 (20 %) CSP clauses are encoded (0 SAT variables, 579735 SAT clauses)
17.31/8.12	c (7,7) 15257 (30 %) CSP clauses are encoded (0 SAT variables, 928583 SAT clauses)
19.09/9.44	c (8,8) 20342 (40 %) CSP clauses are encoded (0 SAT variables, 1258884 SAT clauses)
19.89/10.21	c (9,9) 25427 (50 %) CSP clauses are encoded (0 SAT variables, 1474895 SAT clauses)
19.89/10.25	c (9,9) 30513 (60 %) CSP clauses are encoded (0 SAT variables, 1479981 SAT clauses)
19.89/10.29	c (9,9) 35598 (70 %) CSP clauses are encoded (0 SAT variables, 1485066 SAT clauses)
20.00/10.33	c (9,9) 40684 (80 %) CSP clauses are encoded (0 SAT variables, 1490152 SAT clauses)
20.00/10.37	c (9,9) 45769 (90 %) CSP clauses are encoded (0 SAT variables, 1495237 SAT clauses)
41.81/32.49	c (31,28) 50854 (100 %) CSP clauses are encoded (0 SAT variables, 14022032 SAT clauses)
41.81/32.49	c (31,28) CSPinCNF to SatSolver End
41.81/32.49	c (31,28) Heap : 294 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
41.81/32.49	c (31,28) 102996 bool, 14022074 clause
41.81/32.49	c (31,28) Export Begin
41.92/32.59	c (32,29) Export to HOME/scop-26095-serial-file.bin
41.92/32.59	c (32,29) Export End
41.92/32.59	c (32,29) Export File Size: 0.02 MB
41.92/32.59	c (32,29) 0,0,2,3,3,3,31,STOP-AFTER(DIMACS)
41.92/32.59	c END-Prog: Sat Sep 14 06:07:07 CEST 2019
42.09/32.63	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-26095-serial-file.bin
42.61/33.10	c (0,0) Read Serial File Begin
42.61/33.10	c (0,0) HOME/scop-26095-serial-file.bin
43.02/33.31	c (0,0) Read Serial File End
43.02/33.32	
43.02/33.32	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
43.02/33.32	(Solving Process)
43.02/33.32	
43.02/33.34	c BEGIN-Prog: Sat Sep 14 06:07:08 CEST 2019
43.02/33.34	c PID: 26119
43.02/33.34	c IP: 172.20.3.127
43.02/33.34	c HOST: node127.alineos.net
43.02/33.35	c (0,0) SatSolver.solve Begin
43.02/33.35	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392489-1568434035.xml-scop-26098.cnf
43.02/33.37	c (0,0) c
43.02/33.37	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)
43.02/33.37	c (0,0) c
43.02/33.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
43.02/33.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
43.02/33.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
43.02/33.37	c (0,0) c |                                                                                                       |
47.00/37.12	c (4,0) c |  Number of variables:        102996                                                                   |
47.00/37.12	c (4,0) c |  Number of clauses:        14014313                                                                   |
47.00/37.12	c (4,0) c |  Parse time:                   3.36 s                                                                 |
47.00/37.12	c (4,0) c |                                                                                                       |
47.69/37.88	c (4,0) c | Too many clauses... No preprocessing                                                                  |
47.69/37.88	c (4,0) c |  Simplification time:          0.63 s                                                                 |
47.69/37.88	c (4,0) c |                                                                                                       |
47.69/37.88	c (4,0) c |  One Solver is taking   1118.60Mb... Let's take   7 solvers for this run (max 40% of the maxmemory).  |
47.69/37.88	c (4,0) c |  Generating clones                                                                                    |
49.69/39.88	c (6,0) c |  all clones generated. Memory =  6277.93Mb.                                                           |
49.69/39.88	c (6,0) c ========================================================================================================|
49.69/39.88	c (6,0) c
49.69/39.88	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
49.69/39.88	c (6,0) c
49.69/39.88	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
49.69/39.88	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |
49.69/39.88	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
49.69/39.88	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |
49.69/39.88	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |
49.69/39.88	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |
49.69/39.88	c (6,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |
49.69/39.88	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |
49.69/39.88	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
49.69/39.88	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |
49.69/39.88	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
49.69/39.88	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
49.69/39.88	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |
49.69/39.88	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
49.69/39.88	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
49.69/39.88	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
49.69/39.88	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |
49.69/39.88	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |
49.69/39.88	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
212.49/69.82	c (36,0) c
212.49/69.82	c (36,0) c |------------------------------------------------------------------------------------------------------------------------|
212.49/69.82	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
212.49/69.82	c (36,0) c |------------------------------------------------------------------------------------------------------------------------|
212.49/69.82	c (36,0) c |  0 |      3 |       2076 |       1124 |    57208 |     1117 |       20 |    12225 |        2 |      280 |  20 |  0.887 |
212.49/69.82	c (36,0) c |  1 |      6 |       2526 |       1270 |    58815 |     1264 |       16 |    14937 |        3 |      280 |  20 |  0.932 |
212.49/69.82	c (36,0) c |  2 |      7 |       2332 |       1292 |    57829 |     1288 |       28 |    12425 |        2 |      280 |  20 |  0.893 |
212.49/69.82	c (36,0) c |  3 |      4 |       2186 |       1138 |    57294 |     1134 |       22 |    13764 |        4 |      280 |  20 |  0.891 |
212.49/69.82	c (36,0) c |  4 |      9 |       2890 |       1239 |    65901 |     1233 |       16 |    13859 |        4 |      280 |  20 |  0.891 |
212.49/69.82	c (36,0) c |  5 |    133 |      59492 |      38599 |    31580 |    12506 |     6264 |     8546 |     1481 |      260 |  20 |  0.927 |
212.49/69.82	c (36,0) c |  6 |    255 |      84781 |      54078 |    19737 |    15535 |     9290 |     5929 |      832 |      270 |  20 |  0.927 |
212.49/69.82	c (36,0) c 
212.49/69.82	c (36,0) c synthesis       98740 conflicts   269016959 propagations      615 conflicts/sec  1676457 propagations/sec
212.49/69.82	c (36,0) c real: 36.448 s, cpu: 160.468 s, memory: 7228.11 Mb
356.05/98.82	c (65,0) c
356.05/98.82	c (65,0) c |------------------------------------------------------------------------------------------------------------------------|
356.05/98.82	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
356.05/98.82	c (65,0) c |------------------------------------------------------------------------------------------------------------------------|
356.05/98.82	c (65,0) c |  0 |      9 |       3944 |       2159 |   116222 |     1159 |       37 |    25183 |        8 |      547 |  20 |  1.063 |
356.05/98.82	c (65,0) c |  1 |      7 |       4652 |       2565 |   107556 |     1561 |       27 |    33409 |        8 |      547 |  20 |  1.369 |
356.05/98.82	c (65,0) c |  2 |     16 |       4627 |       2442 |   112243 |     1438 |       42 |    34476 |        6 |      547 |  20 |  1.369 |
356.05/98.82	c (65,0) c |  3 |      4 |       4219 |       2471 |    95084 |     1466 |       41 |    28218 |        7 |      547 |  20 |  1.098 |
356.05/98.82	c (65,0) c |  4 |      9 |       4765 |       2368 |   110853 |     1367 |       25 |    13859 |        7 |      547 |  20 |  0.891 |
356.05/98.82	c (65,0) c |  5 |    458 |     168563 |     108889 |    32609 |    37711 |    15474 |    18615 |     4935 |      527 |  20 |  1.388 |
356.05/98.82	c (65,0) c |  6 |    562 |     206201 |     132705 |    20868 |    41315 |    20507 |    15587 |     4344 |      547 |  20 |  1.392 |
356.05/98.82	c (65,0) c 
356.05/98.82	c (65,0) c synthesis      253599 conflicts   546570339 propagations      837 conflicts/sec  1804532 propagations/sec
356.05/98.82	c (65,0) c real: 65.4481 s, cpu: 302.888 s, memory: 7240.91 Mb
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c real time : 89.8156 s
471.90/123.19	c (90,0) c cpu time  : 418.165 s
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c | Conflicts     |          413987 |       3141 |       3459 |       3687 |       3610 |       3961 |     189844 |     206285 |
471.90/123.19	c (90,0) c | Decisions     |          638144 |       5501 |       6002 |       6752 |       5886 |       7285 |     289731 |     316987 |
471.90/123.19	c (90,0) c | Propagations  |       749840008 |   46712711 |   45269527 |   45753469 |   45922198 |   51221940 |  248100258 |  266859905 |
471.90/123.19	c (90,0) c | ReduceDBs     |              28 |          1 |          1 |          1 |          1 |          1 |         11 |         12 |
471.90/123.19	c (90,0) c | SimpDBs       |              22 |          1 |          2 |          2 |          2 |          2 |          6 |          7 |
471.90/123.19	c (90,0) c | Restarts      |            1776 |         10 |          9 |         21 |          5 |         13 |        820 |        898 |
471.90/123.19	c (90,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
471.90/123.19	c (90,0) c | PropBinClauses|      1621180409 |  118301844 |  121363507 |  123795820 |  121260986 |  123840516 |  484519555 |  528098181 |
471.90/123.19	c (90,0) c | PropPreBlocker|     26076285325 | 4088844296 | 4059142247 | 4047843214 | 4064893698 | 4048828008 | 2927697745 | 2839036117 |
471.90/123.19	c (90,0) c | PropNotBlocker|      2629240850 |  313765200 |  326106043 |  311551706 |  297913255 |  302282785 |  533694251 |  543927610 |
471.90/123.19	c (90,0) c | LitFullScans  |     31928110331 | 4560494689 | 4584827921 | 4560875950 | 4560919103 | 4561397038 | 4539445040 | 4560150590 |
471.90/123.19	c (90,0) c | LitScanFracts |         3692148 |     390412 |     522476 |     471525 |     443689 |     454552 |     585667 |     823827 |
471.90/123.19	c (90,0) c | DecisionLevel0|            1864 |         19 |         21 |         35 |         16 |         22 |        838 |        913 |
471.90/123.19	c (90,0) c | Periods       |            5319 |        760 |        764 |        760 |        760 |        760 |        756 |        759 |
471.90/123.19	c (90,0) c | Margin        |             140 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
471.90/123.19	c (90,0) c | Avg_Trail     |                 |      65360 |      61747 |      57625 |      60687 |      58492 |      10063 |      10271 |
471.90/123.19	c (90,0) c | Avg_DL        |                 |         47 |         37 |         33 |         41 |         44 |         17 |         18 |
471.90/123.19	c (90,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
471.90/123.19	c (90,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c | Exported      |           53236 |         48 |         32 |         57 |         49 |         43 |      24226 |      28781 |
471.90/123.19	c (90,0) c | Imported      |          288347 |      39525 |      51111 |      50350 |      50436 |      45498 |      27762 |      23665 |
471.90/123.19	c (90,0) c | Good          |            1342 |        148 |        226 |        200 |        199 |        192 |        192 |        185 |
471.90/123.19	c (90,0) c | Purge         |          287005 |      39377 |      50885 |      50150 |      50237 |      45306 |      27570 |      23480 |
471.90/123.19	c (90,0) c | Promoted      |           16977 |         15 |         10 |         18 |         10 |         14 |       8900 |       8010 |
471.90/123.19	c (90,0) c | Remove_Imp    |          111389 |      23183 |      24260 |      25867 |      26220 |      11859 |          0 |          0 |
471.90/123.19	c (90,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c | Unaries       |                 |          9 |         12 |         14 |         11 |          9 |         18 |         15 |
471.90/123.19	c (90,0) c | Binaries      |                 |         34 |         20 |         31 |         32 |         13 |         84 |         95 |
471.90/123.19	c (90,0) c | Glues         |                 |         48 |         32 |         57 |         49 |         43 |       1414 |       1907 |
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c | Orig_Seen     |             0 % |     148822 |     138541 |     147320 |     120795 |     139059 |      32921 |      21082 |
471.90/123.19	c (90,0) c | Diff Orig seen|                 |     115901 |     105620 |     114399 |      87874 |     106138 |      X     | -    11839 |
471.90/123.19	c (90,0) c | Hamming       |            12 % |      11704 |      12675 |      12572 |      11589 |      12670 |      X     |      18157 |
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c | RunningTime   |                 |   51.5  63%|   52.6  64%|   54.7  67%|   54.1  66%|   54.4  66%|   82.5  99%|   76.5  93%|
471.90/123.19	c (90,0) c | WaitingTime   |                 |   30.5  37%|   29.8  36%|   27.3  33%|   27.9  34%|   27.6  34%|    0.8   1%|    5.4   7%|
471.90/123.19	c (90,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
471.90/123.19	c (90,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
471.90/123.19	c (90,0) c | SolvingTime   |                 |   82.0     |   82.4     |   82.0     |   82.0     |   82.0     |   83.3     |   82.0     |
471.90/123.19	c (90,0) c | PropagationTim|                 |   81.1  99%|   80.8  98%|   80.3  98%|   80.3  98%|   80.3  98%|   77.2  93%|   74.2  91%|
471.90/123.19	c (90,0) c | AnalysisTime  |                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   1%|    2.2   3%|    2.2   3%|
471.90/123.19	c (90,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
471.90/123.19	c (90,0) c | SimplifyTime  |                 |    0.0   0%|    0.6   1%|    0.7   1%|    0.7   1%|    0.7   1%|    1.0   1%|    2.7   3%|
471.90/123.19	c (90,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
471.90/123.19	c (90,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
471.90/123.19	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c
471.90/123.19	c (90,0) c Threads : 7
471.90/123.19	c (90,0) c Winner : 5
471.90/123.19	c (90,0) c Conflicts_0 : 3141
471.90/123.19	c (90,0) c Conflicts_1 : 3459
471.90/123.19	c (90,0) c Conflicts_2 : 3687
471.90/123.19	c (90,0) c Conflicts_3 : 3610
471.90/123.19	c (90,0) c Conflicts_4 : 3961
471.90/123.19	c (90,0) c Conflicts_5 : 189844
471.90/123.19	c (90,0) c Conflicts_6 : 206285
471.90/123.19	c (90,0) c Conflicts_total : 413987
471.90/123.19	c (90,0) c Conflicts_winner : 189844
471.90/123.19	c (90,0) c Decisions_0 : 5501
471.90/123.19	c (90,0) c Decisions_1 : 6002
471.90/123.19	c (90,0) c Decisions_2 : 6752
471.90/123.19	c (90,0) c Decisions_3 : 5886
471.90/123.19	c (90,0) c Decisions_4 : 7285
471.90/123.19	c (90,0) c Decisions_5 : 289731
471.90/123.19	c (90,0) c Decisions_6 : 316987
471.90/123.19	c (90,0) c Decisions_total : 638144
471.90/123.19	c (90,0) c Decisions_winner : 289731
471.90/123.19	c (90,0) c Propagations_0 : 46712711
471.90/123.19	c (90,0) c Propagations_1 : 45269527
471.90/123.19	c (90,0) c Propagations_2 : 45753469
471.90/123.19	c (90,0) c Propagations_3 : 45922198
471.90/123.19	c (90,0) c Propagations_4 : 51221940
471.90/123.19	c (90,0) c Propagations_5 : 248100258
471.90/123.19	c (90,0) c Propagations_6 : 266859905
471.90/123.19	c (90,0) c Propagations_total : 749840008
471.90/123.19	c (90,0) c Propagations_winner : 248100258
471.90/123.19	c (90,0) c ReduceDBs_0 : 1
471.90/123.19	c (90,0) c ReduceDBs_1 : 1
471.90/123.19	c (90,0) c ReduceDBs_2 : 1
471.90/123.19	c (90,0) c ReduceDBs_3 : 1
471.90/123.19	c (90,0) c ReduceDBs_4 : 1
471.90/123.19	c (90,0) c ReduceDBs_5 : 11
471.90/123.19	c (90,0) c ReduceDBs_6 : 12
471.90/123.19	c (90,0) c ReduceDBs_total : 28
471.90/123.19	c (90,0) c ReduceDBs_winner : 11
471.90/123.19	c (90,0) c SimpDBs_0 : 1
471.90/123.19	c (90,0) c SimpDBs_1 : 2
471.90/123.19	c (90,0) c SimpDBs_2 : 2
471.90/123.19	c (90,0) c SimpDBs_3 : 2
471.90/123.19	c (90,0) c SimpDBs_4 : 2
471.90/123.19	c (90,0) c SimpDBs_5 : 6
471.90/123.19	c (90,0) c SimpDBs_6 : 7
471.90/123.19	c (90,0) c SimpDBs_total : 22
471.90/123.19	c (90,0) c SimpDBs_winner : 6
471.90/123.19	c (90,0) c Restarts_0 : 10
471.90/123.19	c (90,0) c Restarts_1 : 9
471.90/123.19	c (90,0) c Restarts_2 : 21
471.90/123.19	c (90,0) c Restarts_3 : 5
471.90/123.19	c (90,0) c Restarts_4 : 13
471.90/123.19	c (90,0) c Restarts_5 : 820
471.90/123.19	c (90,0) c Restarts_6 : 898
471.90/123.19	c (90,0) c Restarts_total : 1776
471.90/123.19	c (90,0) c Restarts_winner : 820
471.90/123.19	c (90,0) c ForcedImports_0 : 0
471.90/123.19	c (90,0) c ForcedImports_1 : 0
471.90/123.19	c (90,0) c ForcedImports_2 : 0
471.90/123.19	c (90,0) c ForcedImports_3 : 0
471.90/123.19	c (90,0) c ForcedImports_4 : 0
471.90/123.19	c (90,0) c ForcedImports_5 : 0
471.90/123.19	c (90,0) c ForcedImports_6 : 0
471.90/123.19	c (90,0) c ForcedImports_total : 0
471.90/123.19	c (90,0) c ForcedImports_winner : 0
471.90/123.19	c (90,0) c PropsBinClauses_0 : 118301844
471.90/123.19	c (90,0) c PropsBinClauses_1 : 121363507
471.90/123.19	c (90,0) c PropsBinClauses_2 : 123795820
471.90/123.19	c (90,0) c PropsBinClauses_3 : 121260986
471.90/123.19	c (90,0) c PropsBinClauses_4 : 123840516
471.90/123.19	c (90,0) c PropsBinClauses_5 : 484519555
471.90/123.19	c (90,0) c PropsBinClauses_6 : 528098181
471.90/123.19	c (90,0) c PropsBinClauses_total : 1621180409
471.90/123.19	c (90,0) c PropsBinClauses_winner : 484519555
471.90/123.19	c (90,0) c PropsPreBlocker_0 : 4088844296
471.90/123.19	c (90,0) c PropsPreBlocker_1 : 4059142247
471.90/123.19	c (90,0) c PropsPreBlocker_2 : 4047843214
471.90/123.19	c (90,0) c PropsPreBlocker_3 : 4064893698
471.90/123.19	c (90,0) c PropsPreBlocker_4 : 4048828008
471.90/123.19	c (90,0) c PropsPreBlocker_5 : 2927697745
471.90/123.19	c (90,0) c PropsPreBlocker_6 : 2839036117
471.90/123.19	c (90,0) c PropsPreBlocker_total : 26076285325
471.90/123.19	c (90,0) c PropsPreBlocker_winner : 2927697745
471.90/123.19	c (90,0) c PropsNotBlocker_0 : 313765200
471.90/123.19	c (90,0) c PropsNotBlocker_1 : 326106043
471.90/123.19	c (90,0) c PropsNotBlocker_2 : 311551706
471.90/123.19	c (90,0) c PropsNotBlocker_3 : 297913255
471.90/123.19	c (90,0) c PropsNotBlocker_4 : 302282785
471.90/123.19	c (90,0) c PropsNotBlocker_5 : 533694251
471.90/123.19	c (90,0) c PropsNotBlocker_6 : 543927610
471.90/123.19	c (90,0) c PropsNotBlocker_total : 2629240850
471.90/123.19	c (90,0) c PropsNotBlocker_winner : 533694251
471.90/123.19	c (90,0) c PropsLitFullScans_0 : 4560494689
471.90/123.19	c (90,0) c PropsLitFullScans_1 : 4584827921
471.90/123.19	c (90,0) c PropsLitFullScans_2 : 4560875950
471.90/123.19	c (90,0) c PropsLitFullScans_3 : 4560919103
471.90/123.19	c (90,0) c PropsLitFullScans_4 : 4561397038
471.90/123.19	c (90,0) c PropsLitFullScans_5 : 4539445040
471.90/123.19	c (90,0) c PropsLitFullScans_6 : 4560150590
471.90/123.19	c (90,0) c PropsLitFullScans_total : 31928110331
471.90/123.19	c (90,0) c PropsLitFullScans_winner : 4539445040
471.90/123.19	c (90,0) c LitScanFractions_0 : 390412
471.90/123.19	c (90,0) c LitScanFractions_1 : 522476
471.90/123.19	c (90,0) c LitScanFractions_2 : 471525
471.90/123.19	c (90,0) c LitScanFractions_3 : 443689
471.90/123.19	c (90,0) c LitScanFractions_4 : 454552
471.90/123.19	c (90,0) c LitScanFractions_5 : 585667
471.90/123.19	c (90,0) c LitScanFractions_6 : 823827
471.90/123.19	c (90,0) c LitScanFractions_total : 3692148
471.90/123.19	c (90,0) c LitScanFractions_winner : 585667
471.90/123.19	c (90,0) c DecisionLevel0_0 : 19
471.90/123.19	c (90,0) c DecisionLevel0_1 : 21
471.90/123.19	c (90,0) c DecisionLevel0_2 : 35
471.90/123.19	c (90,0) c DecisionLevel0_3 : 16
471.90/123.19	c (90,0) c DecisionLevel0_4 : 22
471.90/123.19	c (90,0) c DecisionLevel0_5 : 838
471.90/123.19	c (90,0) c DecisionLevel0_6 : 913
471.90/123.19	c (90,0) c DecisionLevel0_total : 1864
471.90/123.19	c (90,0) c DecisionLevel0_winner : 838
471.90/123.19	c (90,0) c Periods_0 : 760
471.90/123.19	c (90,0) c Periods_1 : 764
471.90/123.19	c (90,0) c Periods_2 : 760
471.90/123.19	c (90,0) c Periods_3 : 760
471.90/123.19	c (90,0) c Periods_4 : 760
471.90/123.19	c (90,0) c Periods_5 : 756
471.90/123.19	c (90,0) c Periods_6 : 759
471.90/123.19	c (90,0) c Periods_total : 5319
471.90/123.19	c (90,0) c Periods_winner : 756
471.90/123.19	c (90,0) c Margin_0 : 20
471.90/123.19	c (90,0) c Margin_1 : 20
471.90/123.19	c (90,0) c Margin_2 : 20
471.90/123.19	c (90,0) c Margin_3 : 20
471.90/123.19	c (90,0) c Margin_4 : 20
471.90/123.19	c (90,0) c Margin_5 : 20
471.90/123.19	c (90,0) c Margin_6 : 20
471.90/123.19	c (90,0) c Margin_total : 140
471.90/123.19	c (90,0) c Margin_winner : 20
471.90/123.19	c (90,0) c Exported_0 : 48
471.90/123.19	c (90,0) c Exported_1 : 32
471.90/123.19	c (90,0) c Exported_2 : 57
471.90/123.19	c (90,0) c Exported_3 : 49
471.90/123.19	c (90,0) c Exported_4 : 43
471.90/123.19	c (90,0) c Exported_5 : 24226
471.90/123.19	c (90,0) c Exported_6 : 28781
471.90/123.19	c (90,0) c Exported_total : 53236
471.90/123.19	c (90,0) c Exported_winner : 24226
471.90/123.19	c (90,0) c Imported_0 : 39525
471.90/123.19	c (90,0) c Imported_1 : 51111
471.90/123.19	c (90,0) c Imported_2 : 50350
471.90/123.19	c (90,0) c Imported_3 : 50436
471.90/123.19	c (90,0) c Imported_4 : 45498
471.90/123.19	c (90,0) c Imported_5 : 27762
471.90/123.19	c (90,0) c Imported_6 : 23665
471.90/123.19	c (90,0) c Imported_total : 288347
471.90/123.19	c (90,0) c Imported_winner : 27762
471.90/123.19	c (90,0) c Good_0 : 148
471.90/123.19	c (90,0) c Good_1 : 226
471.90/123.19	c (90,0) c Good_2 : 200
471.90/123.19	c (90,0) c Good_3 : 199
471.90/123.19	c (90,0) c Good_4 : 192
471.90/123.19	c (90,0) c Good_5 : 192
471.90/123.19	c (90,0) c Good_6 : 185
471.90/123.19	c (90,0) c Good_total : 1342
471.90/123.19	c (90,0) c Good_winner : 192
471.90/123.19	c (90,0) c Purge_0 : 39377
471.90/123.19	c (90,0) c Purge_1 : 50885
471.90/123.19	c (90,0) c Purge_2 : 50150
471.90/123.19	c (90,0) c Purge_3 : 50237
471.90/123.19	c (90,0) c Purge_4 : 45306
471.90/123.19	c (90,0) c Purge_5 : 27570
471.90/123.19	c (90,0) c Purge_6 : 23480
471.90/123.19	c (90,0) c Purge_total : 287005
471.90/123.19	c (90,0) c Purge_winner : 27570
471.90/123.19	c (90,0) c Promoted_0 : 15
471.90/123.19	c (90,0) c Promoted_1 : 10
471.90/123.19	c (90,0) c Promoted_2 : 18
471.90/123.19	c (90,0) c Promoted_3 : 10
471.90/123.19	c (90,0) c Promoted_4 : 14
471.90/123.19	c (90,0) c Promoted_5 : 8900
471.90/123.19	c (90,0) c Promoted_6 : 8010
471.90/123.20	c (90,0) c Promoted_total : 16977
471.90/123.20	c (90,0) c Promoted_winner : 8900
471.90/123.20	c (90,0) c Remove_Imp_0 : 23183
471.90/123.20	c (90,0) c Remove_Imp_1 : 24260
471.90/123.20	c (90,0) c Remove_Imp_2 : 25867
471.90/123.20	c (90,0) c Remove_Imp_3 : 26220
471.90/123.20	c (90,0) c Remove_Imp_4 : 11859
471.90/123.20	c (90,0) c Remove_Imp_5 : 0
471.90/123.20	c (90,0) c Remove_Imp_6 : 0
471.90/123.20	c (90,0) c Remove_Imp_total : 111389
471.90/123.20	c (90,0) c Remove_Imp_winner : 0
471.90/123.20	c (90,0) c Blocked_Reuse_0 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_1 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_2 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_3 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_4 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_5 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_6 : 0
471.90/123.20	c (90,0) c Blocked_Reuse_total : 0
471.90/123.20	c (90,0) c Blocked_Reuse_winner : 0
471.90/123.20	c (90,0) c Unaries_0 : 9
471.90/123.20	c (90,0) c Unaries_1 : 12
471.90/123.20	c (90,0) c Unaries_2 : 14
471.90/123.20	c (90,0) c Unaries_3 : 11
471.90/123.20	c (90,0) c Unaries_4 : 9
471.90/123.20	c (90,0) c Unaries_5 : 18
471.90/123.20	c (90,0) c Unaries_6 : 15
471.90/123.20	c (90,0) c Unaries_total : 88
471.90/123.20	c (90,0) c Unaries_winner : 18
471.90/123.20	c (90,0) c Binaries_0 : 34
471.90/123.20	c (90,0) c Binaries_1 : 20
471.90/123.20	c (90,0) c Binaries_2 : 31
471.90/123.20	c (90,0) c Binaries_3 : 32
471.90/123.20	c (90,0) c Binaries_4 : 13
471.90/123.20	c (90,0) c Binaries_5 : 84
471.90/123.20	c (90,0) c Binaries_6 : 95
471.90/123.20	c (90,0) c Binaries_total : 309
471.90/123.20	c (90,0) c Binaries_winner : 84
471.90/123.20	c (90,0) c Glues_0 : 48
471.90/123.20	c (90,0) c Glues_1 : 32
471.90/123.20	c (90,0) c Glues_2 : 57
471.90/123.20	c (90,0) c Glues_3 : 49
471.90/123.20	c (90,0) c Glues_4 : 43
471.90/123.20	c (90,0) c Glues_5 : 1414
471.90/123.20	c (90,0) c Glues_6 : 1907
471.90/123.20	c (90,0) c Glues_total : 3550
471.90/123.20	c (90,0) c Glues_winner : 1414
471.90/123.20	c (90,0) c RunningTime_0 : 51.507813
471.90/123.20	c (90,0) c RunningTime_1 : 52.611167
471.90/123.20	c (90,0) c RunningTime_2 : 54.722566
471.90/123.20	c (90,0) c RunningTime_3 : 54.128138
471.90/123.20	c (90,0) c RunningTime_4 : 54.447854
471.90/123.20	c (90,0) c RunningTime_5 : 82.466556
471.90/123.20	c (90,0) c RunningTime_6 : 76.540841
471.90/123.20	c (90,0) c RunningTime_total : 426.424934
471.90/123.20	c (90,0) c RunningTime_winner : 82.466556
471.90/123.20	c (90,0) c WaitingTime_0 : 30.501098
471.90/123.20	c (90,0) c WaitingTime_1 : 29.803784
471.90/123.20	c (90,0) c WaitingTime_2 : 27.289112
471.90/123.20	c (90,0) c WaitingTime_3 : 27.888278
471.90/123.20	c (90,0) c WaitingTime_4 : 27.571738
471.90/123.20	c (90,0) c WaitingTime_5 : 0.774113
471.90/123.20	c (90,0) c WaitingTime_6 : 5.418128
471.90/123.20	c (90,0) c WaitingTime_total : 149.246252
471.90/123.20	c (90,0) c WaitingTime_winner : 0.774113
471.90/123.20	c (90,0) c ExchangingTime_0 : 0.023274
471.90/123.20	c (90,0) c ExchangingTime_1 : 0.023713
471.90/123.20	c (90,0) c ExchangingTime_2 : 0.022989
471.90/123.20	c (90,0) c ExchangingTime_3 : 0.019747
471.90/123.20	c (90,0) c ExchangingTime_4 : 0.020760
471.90/123.20	c (90,0) c ExchangingTime_5 : 0.031656
471.90/123.20	c (90,0) c ExchangingTime_6 : 0.029824
471.90/123.20	c (90,0) c ExchangingTime_total : 0.171962
471.90/123.20	c (90,0) c ExchangingTime_winner : 0.031656
471.90/123.20	c (90,0) c PeriodProcTime_0 : 0.006407
471.90/123.20	c (90,0) c PeriodProcTime_1 : 0.006450
471.90/123.20	c (90,0) c PeriodProcTime_2 : 0.006858
471.90/123.20	c (90,0) c PeriodProcTime_3 : 0.006705
471.90/123.20	c (90,0) c PeriodProcTime_4 : 0.006738
471.90/123.20	c (90,0) c PeriodProcTime_5 : 0.010257
471.90/123.20	c (90,0) c PeriodProcTime_6 : 0.006988
471.90/123.20	c (90,0) c PeriodProcTime_total : 0.050403
471.90/123.20	c (90,0) c PeriodProcTime_winner : 0.010257
471.90/123.20	c (90,0) c SolvingTime_0 : 82.038593
471.90/123.20	c (90,0) c SolvingTime_1 : 82.445113
471.90/123.20	c (90,0) c SolvingTime_2 : 82.041524
471.90/123.20	c (90,0) c SolvingTime_3 : 82.042869
471.90/123.20	c (90,0) c SolvingTime_4 : 82.047090
471.90/123.20	c (90,0) c SolvingTime_5 : 83.282581
471.90/123.20	c (90,0) c SolvingTime_6 : 81.995780
471.90/123.20	c (90,0) c SolvingTime_total : 575.893550
471.90/123.20	c (90,0) c SolvingTime_winner : 83.282581
471.90/123.20	c (90,0) c PropagationTime_0 : 81.070026
471.90/123.20	c (90,0) c PropagationTime_1 : 80.829766
471.90/123.20	c (90,0) c PropagationTime_2 : 80.258311
471.90/123.20	c (90,0) c PropagationTime_3 : 80.268331
471.90/123.20	c (90,0) c PropagationTime_4 : 80.288481
471.90/123.20	c (90,0) c PropagationTime_5 : 77.235080
471.90/123.20	c (90,0) c PropagationTime_6 : 74.223372
471.90/123.20	c (90,0) c PropagationTime_total : 554.173367
471.90/123.20	c (90,0) c PropagationTime_winner : 77.235080
471.90/123.20	c (90,0) c AnalysisTime_0 : 0.391326
471.90/123.20	c (90,0) c AnalysisTime_1 : 0.370157
471.90/123.20	c (90,0) c AnalysisTime_2 : 0.405849
471.90/123.20	c (90,0) c AnalysisTime_3 : 0.402420
471.90/123.20	c (90,0) c AnalysisTime_4 : 0.439106
471.90/123.20	c (90,0) c AnalysisTime_5 : 2.157516
43.38/123.20	c (90,0) c AnalysisTime_6 : 2.184786
43.38/123.20	c (90,0) c AnalysisTime_total : 6.351160
43.38/123.20	c (90,0) c AnalysisTime_winner : 2.157516
43.38/123.20	c (90,0) c ReductionTime_0 : 0.004336
43.38/123.20	c (90,0) c ReductionTime_1 : 0.004693
43.38/123.20	c (90,0) c ReductionTime_2 : 0.005463
43.38/123.20	c (90,0) c ReductionTime_3 : 0.005611
43.38/123.20	c (90,0) c ReductionTime_4 : 0.002644
43.38/123.20	c (90,0) c ReductionTime_5 : 0.046261
43.38/123.20	c (90,0) c ReductionTime_6 : 0.065264
43.38/123.20	c (90,0) c ReductionTime_total : 0.134273
43.38/123.20	c (90,0) c ReductionTime_winner : 0.046261
43.38/123.20	c (90,0) c SimplifyTime_0 : 0.000001
43.38/123.20	c (90,0) c SimplifyTime_1 : 0.622981
43.38/123.20	c (90,0) c SimplifyTime_2 : 0.721325
43.38/123.20	c (90,0) c SimplifyTime_3 : 0.722293
43.38/123.20	c (90,0) c SimplifyTime_4 : 0.659671
43.38/123.20	c (90,0) c SimplifyTime_5 : 0.977175
43.38/123.20	c (90,0) c SimplifyTime_6 : 2.703385
43.38/123.20	c (90,0) c SimplifyTime_total : 6.406831
43.38/123.20	c (90,0) c SimplifyTime_winner : 0.977175
43.38/123.20	c (90,0) c UsedRateTime_0 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_1 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_2 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_3 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_4 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_5 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_6 : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_total : 0.000000
43.38/123.20	c (90,0) c UsedRateTime_winner : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_0 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_1 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_2 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_3 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_4 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_5 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_6 : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_total : 0.000000
43.38/123.20	c (90,0) c OverlapRateTime_winner : 0.000000
43.38/123.20	c (90,0) c
43.38/123.20	c (90,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.38/123.20	c (90,0) c
43.38/123.20	c (90,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
43.38/123.20	c (90,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |
43.38/123.20	c (90,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
43.38/123.20	c (90,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |
43.38/123.20	c (90,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |      False |
43.38/123.20	c (90,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |
43.38/123.20	c (90,0) c | Initial random_seed   |  230028726 |  321122546 |   49294670 | 1215831576 |  454908110 | 1551773108 | 1308522268 |
43.38/123.20	c (90,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |
43.38/123.20	c (90,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.38/123.20	c (90,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |
43.38/123.20	c (90,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.38/123.20	c (90,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.38/123.20	c (90,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |
43.38/123.20	c (90,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.38/123.20	c (90,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.9500 |     0.9500 |
43.38/123.20	c (90,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.38/123.20	c (90,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |
43.38/123.20	c (90,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |
43.38/123.20	c (90,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
43.38/123.20	c (90,0) 
43.38/123.20	c (90,0) s UNSATISFIABLE
43.41/123.47	c (90,0) SatSolver.solve End
43.41/123.47	c (90,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.41/123.47	c (90,0) Show results Begin
43.41/123.47	s UNSATISFIABLE
43.41/123.47	c (90,0) Show results End
43.41/123.47	c (90,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.41/123.47	c (90,0) 90,90,STOP-AFTER(ALL)
43.41/123.47	c END-Prog: Sat Sep 14 06:08:38 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 (14084 MiB free)
  memory of node 1: 16384 MiB (14089 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392489-1568434035/watcher-4392489-1568434035 -o /tmp/evaluation-result-4392489-1568434035/solver-4392489-1568434035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --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-4392489-1568434035.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=26095, runsolver pid=26092
Current StackSize limit: 8192 KiB


[startup+0.100163 s]*
/proc/loadavg: 4.77 5.87 5.17 2/212 26117
/proc/meminfo: memFree=28757064/32770624 swapFree=66998528/67108860
[pid=26095] ppid=26092 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26095/stat : 26095 (scop.sh) S 26092 26095 22865 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419672332 115843072 349 33554432000 4194304 5098028 140735813894240 140735813891496 140673781068412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7933952 140735813903141 140735813903468 140735813903468 140735813906381 0
/proc/26095/statm: 28282 349 296 221 0 87 0
[pid=26098] ppid=26095 vsize=27314120 memory=107400 CPUtime=0.1 cores=0-7
/proc/26098/stat : 26098 (java) S 26095 26095 22865 0 -1 1077944320 6428 0 0 0 7 3 0 0 20 0 20 0 419672333 27969658880 26850 33554432000 4194304 4196468 140727910847312 140727910829856 140687745629943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
/proc/26098/statm: 6828530 26850 2763 1 0 6790935 0
[pid=26098/tid=26099] ppid=26095 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/26098/task/26099/stat : 26099 (java) R 26095 26095 22865 0 -1 4202560 4548 0 0 0 6 2 0 0 20 0 20 0 419672333 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687717464624 140687731827888 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26100] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26100/stat : 26100 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687749872528 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26101] ppid=26095 vsize=27314120 memory=140165414944978 CPUtime=0 cores=0-7
/proc/26098/task/26101/stat : 26101 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687564028688 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26102] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26102/stat : 26102 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687562976400 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26103] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26103/stat : 26103 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687561923600 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26104] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26104/stat : 26104 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687560870288 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26105] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26105/stat : 26105 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687163685136 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26106] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26106/stat : 26106 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687162632848 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26107] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26107/stat : 26107 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 26850 33554432000 4194304 4196468 140727910847312 140687161580048 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26108] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26108/stat : 26108 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672337 27969658880 26850 33554432000 4194304 4196468 140727910847312 140686602582640 140687745641090 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26109] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26109/stat : 26109 (java) S 26095 26095 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419672338 27969658880 26850 33554432000 4194304 4196468 140727910847312 140685680305440 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26110] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26110/stat : 26110 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672338 27969658880 26850 33554432000 4194304 4196468 140727910847312 140685411870320 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26111] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26111/stat : 26111 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672340 27969658880 26850 33554432000 4194304 4196468 140727910847312 140685037361744 140687745648539 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26112] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26112/stat : 26112 (java) S 26095 26095 22865 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 26850 33554432000 4194304 4196468 140727910847312 140686601529456 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26113] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26113/stat : 26113 (java) S 26095 26095 22865 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 26850 33554432000 4194304 4196468 140727910847312 140686600476656 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26114] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26114/stat : 26114 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 26850 33554432000 4194304 4196468 140727910847312 140686599424368 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26115] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26115/stat : 26115 (java) S 26095 26095 22865 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 26850 33554432000 4194304 4196468 140727910847312 140686598371568 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26116] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26116/stat : 26116 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 26850 33554432000 4194304 4196468 140727910847312 140684539456352 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26117] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26117/stat : 26117 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 26850 33554432000 4194304 4196468 140727910847312 140686597319472 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108796 KiB

[startup+0.218652 s]*
/proc/loadavg: 4.77 5.87 5.17 2/212 26117
/proc/meminfo: memFree=28733888/32770624 swapFree=66998528/67108860
[pid=26095] ppid=26092 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26095/stat : 26095 (scop.sh) S 26092 26095 22865 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419672332 115843072 349 33554432000 4194304 5098028 140735813894240 140735813891496 140673781068412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7933952 140735813903141 140735813903468 140735813903468 140735813906381 0
/proc/26095/statm: 28282 349 296 221 0 87 0
[pid=26098] ppid=26095 vsize=27314120 memory=126732 CPUtime=0.25 cores=0-7
/proc/26098/stat : 26098 (java) S 26095 26095 22865 0 -1 1077944320 12082 0 0 0 20 5 0 0 20 0 20 0 419672333 27969658880 31683 33554432000 4194304 4196468 140727910847312 140727910829856 140687745629943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
/proc/26098/statm: 6828530 31683 2919 1 0 6790935 0
[pid=26098/tid=26099] ppid=26095 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/26098/task/26099/stat : 26099 (java) R 26095 26095 22865 0 -1 4202560 9803 0 0 0 16 4 0 0 20 0 20 0 419672333 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687717436768 140687727193503 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26100] ppid=26095 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/26098/task/26100/stat : 26100 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687749872528 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26101] ppid=26095 vsize=27314120 memory=288370541566633600 CPUtime=0 cores=0-7
/proc/26098/task/26101/stat : 26101 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687564028688 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26102] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26102/stat : 26102 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687562976400 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26103] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26103/stat : 26103 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687561923600 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26104] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26104/stat : 26104 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687560870288 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26105] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26105/stat : 26105 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687163685136 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26106] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26106/stat : 26106 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687162632848 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26107] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26107/stat : 26107 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 31683 33554432000 4194304 4196468 140727910847312 140687161580048 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26108] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26108/stat : 26108 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672337 27969658880 31683 33554432000 4194304 4196468 140727910847312 140686602582640 140687745641090 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26109] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26109/stat : 26109 (java) S 26095 26095 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419672338 27969658880 31683 33554432000 4194304 4196468 140727910847312 140685680305440 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26110] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26110/stat : 26110 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672338 27969658880 31683 33554432000 4194304 4196468 140727910847312 140685411870320 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26111] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26111/stat : 26111 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672340 27969658880 31683 33554432000 4194304 4196468 140727910847312 140685037361744 140687745648539 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26112] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26112/stat : 26112 (java) S 26095 26095 22865 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 31683 33554432000 4194304 4196468 140727910847312 140686601529456 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26113] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26113/stat : 26113 (java) S 26095 26095 22865 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 31683 33554432000 4194304 4196468 140727910847312 140686600476656 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26114] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26114/stat : 26114 (java) S 26095 26095 22865 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 31683 33554432000 4194304 4196468 140727910847312 140686599424368 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26115] ppid=26095 vsize=27314120 memory=0 CPUtime=0.03 cores=0-7
/proc/26098/task/26115/stat : 26115 (java) S 26095 26095 22865 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 20 0 419672341 27969658880 31683 33554432000 4194304 4196468 140727910847312 140686598371568 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26116] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26116/stat : 26116 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 31683 33554432000 4194304 4196468 140727910847312 140684539456352 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26117] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26117/stat : 26117 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 31683 33554432000 4194304 4196468 140727910847312 140686597319472 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128128 KiB

[startup+0.310297 s]*
/proc/loadavg: 4.77 5.87 5.17 2/212 26117
/proc/meminfo: memFree=28732088/32770624 swapFree=66998528/67108860
[pid=26095] ppid=26092 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26095/stat : 26095 (scop.sh) S 26092 26095 22865 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419672332 115843072 349 33554432000 4194304 5098028 140735813894240 140735813891496 140673781068412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7933952 140735813903141 140735813903468 140735813903468 140735813906381 0
/proc/26095/statm: 28282 349 296 221 0 87 0
[pid=26098] ppid=26095 vsize=27314120 memory=130608 CPUtime=0.41 cores=0-7
/proc/26098/stat : 26098 (java) S 26095 26095 22865 0 -1 1077944320 12928 0 0 0 36 5 0 0 20 0 20 0 419672333 27969658880 32652 33554432000 4194304 4196468 140727910847312 140727910829856 140687745629943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
/proc/26098/statm: 6828530 32652 3039 1 0 6790935 0
[pid=26098/tid=26099] ppid=26095 vsize=27314120 memory=8317482817917895235 CPUtime=0.28 cores=0-7
/proc/26098/task/26099/stat : 26099 (java) R 26095 26095 22865 0 -1 4202560 10480 0 0 0 24 4 0 0 20 0 20 0 419672333 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687717460016 140687725905730 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26100] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26100/stat : 26100 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687749872528 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26101] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26101/stat : 26101 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687564028688 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26102] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26102/stat : 26102 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687562976400 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26103] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26103/stat : 26103 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687561923600 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26104] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26104/stat : 26104 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687560870288 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26105] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26105/stat : 26105 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687163685136 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26106] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26106/stat : 26106 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687162632848 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26107] ppid=26095 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/26098/task/26107/stat : 26107 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27969658880 32652 33554432000 4194304 4196468 140727910847312 140687161580048 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26108] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26108/stat : 26108 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419672337 27969658880 32652 33554432000 4194304 4196468 140727910847312 140686602582640 140687745641090 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26109] ppid=26095 vsize=27314120 memory=280330636565888 CPUtime=0 cores=0-7
/proc/26098/task/26109/stat : 26109 (java) S 26095 26095 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419672338 27969658880 32652 33554432000 4194304 4196468 140727910847312 140685680305440 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26110] ppid=26095 vsize=27314120 memory=280330636570496 CPUtime=0 cores=0-7
/proc/26098/task/26110/stat : 26110 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672338 27969658880 32652 33554432000 4194304 4196468 140727910847312 140685411870320 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26111] ppid=26095 vsize=27314120 memory=280330636575104 CPUtime=0 cores=0-7
/proc/26098/task/26111/stat : 26111 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672340 27969658880 32652 33554432000 4194304 4196468 140727910847312 140685037361744 140687745648539 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26112] ppid=26095 vsize=27314120 memory=280330636579712 CPUtime=0.02 cores=0-7
/proc/26098/task/26112/stat : 26112 (java) S 26095 26095 22865 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 20 0 419672341 27969658880 32652 33554432000 4194304 4196468 140727910847312 140686601529456 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26113] ppid=26095 vsize=27314120 memory=280330636584320 CPUtime=0.01 cores=0-7
/proc/26098/task/26113/stat : 26113 (java) S 26095 26095 22865 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 419672341 27969658880 32652 33554432000 4194304 4196468 140727910847312 140686600476656 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26114] ppid=26095 vsize=27314120 memory=280330636588928 CPUtime=0 cores=0-7
/proc/26098/task/26114/stat : 26114 (java) S 26095 26095 22865 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 32652 33554432000 4194304 4196468 140727910847312 140686599424368 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26115] ppid=26095 vsize=27314120 memory=280330636593536 CPUtime=0.07 cores=0-7
/proc/26098/task/26115/stat : 26115 (java) S 26095 26095 22865 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 20 0 419672341 27969658880 32652 33554432000 4194304 4196468 140727910847312 140686598371568 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26116] ppid=26095 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26116/stat : 26116 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 32652 33554432000 4194304 4196468 140727910847312 140684539456352 140687745640149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26117] ppid=26095 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26098/task/26117/stat : 26117 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672341 27969658880 32652 33554432000 4194304 4196468 140727910847312 140686597319472 140687745641090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132004 KiB

[startup+0.701542 s]
/proc/loadavg: 4.77 5.87 5.17 2/212 26117
/proc/meminfo: memFree=28711420/32770624 swapFree=66998528/67108860
[pid=26095] ppid=26092 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26095/stat : 26095 (scop.sh) S 26092 26095 22865 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419672332 115843072 349 33554432000 4194304 5098028 140735813894240 140735813891496 140673781068412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7933952 140735813903141 140735813903468 140735813903468 140735813906381 0
/proc/26095/statm: 28282 349 296 221 0 87 0
[pid=26098] ppid=26095 vsize=27322516 memory=165324 CPUtime=0.97 cores=0-7
/proc/26098/stat : 26098 (java) S 26095 26095 22865 0 -1 1077944320 20013 0 0 0 89 8 0 0 20 0 20 0 419672333 27978256384 41331 33554432000 4194304 4196468 140727910847312 140727910829856 140687745629943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
/proc/26098/statm: 6830629 41331 3175 1 0 6791959 0
[pid=26098/tid=26099] ppid=26095 vsize=27322516 memory=4580 CPUtime=0.66 cores=0-7
/proc/26098/task/26099/stat : 26099 (java) R 26095 26095 22865 0 -1 4202560 17040 0 0 0 59 7 0 0 20 0 20 0 419672333 27978256384 41331 33554432000 4194304 4196468 140727910847312 140687717461680 140687738307957 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26100] ppid=26095 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26100/stat : 26100 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27978256384 41331 33554432000 4194304 4196468 140727910847312 140687749872528 140687745640149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26101] ppid=26095 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/26098/task/26101/stat : 26101 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27978256384 41331 33554432000 4194304 4196468 140727910847312 140687564028688 140687745640149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0
[pid=26098/tid=26102] ppid=26095 vsize=27322516 memory=1204 CPUtime=0 cores=0-7
/proc/26098/task/26102/stat : 26102 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419672336 27978256384 41331 33554432000 4194304 4196468 140727910847312 140687562976400 140687745640149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140727910855403 140727910855830 140727910855830 140727910858703 0

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

[pid=26119/tid=26122] ppid=26095 vsize=8414124 memory=4209357772117481859 CPUtime=0 cores=0-7
/proc/26119/task/26122/stat : 26122 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947362888080 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26123] ppid=26095 vsize=8414124 memory=7686721470384543385 CPUtime=0 cores=0-7
/proc/26119/task/26123/stat : 26123 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947361835536 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26124] ppid=26095 vsize=8414124 memory=41316 CPUtime=0 cores=0-7
/proc/26119/task/26124/stat : 26124 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947360782992 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26125] ppid=26095 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/26119/task/26125/stat : 26125 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947359730448 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26126] ppid=26095 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/26119/task/26126/stat : 26126 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947358677904 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26127] ppid=26095 vsize=8414124 memory=121032 CPUtime=0 cores=0-7
/proc/26119/task/26127/stat : 26127 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947357625360 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26128] ppid=26095 vsize=8414124 memory=6942712 CPUtime=0 cores=0-7
/proc/26119/task/26128/stat : 26128 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947356572816 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26129] ppid=26095 vsize=8414124 memory=6940204 CPUtime=0 cores=0-7
/proc/26119/task/26129/stat : 26129 (java) S 26095 26095 22865 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419675600 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946517743600 139947558488706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26130] ppid=26095 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/26119/task/26130/stat : 26130 (java) S 26095 26095 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419675600 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946207732640 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26131] ppid=26095 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/26119/task/26131/stat : 26131 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675600 8616062976 30281 33554432000 4194304 4196468 140721406982496 139945939297264 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26132] ppid=26095 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/26119/task/26132/stat : 26132 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139945564788944 139947558496155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26133] ppid=26095 vsize=8414124 memory=1947795 CPUtime=0.05 cores=0-7
/proc/26119/task/26133/stat : 26133 (java) R 26095 26095 22865 0 -1 4202560 479 0 0 0 5 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946516691440 139947558498906 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26134] ppid=26095 vsize=8414124 memory=1947258 CPUtime=0.06 cores=0-7
/proc/26119/task/26134/stat : 26134 (java) R 26095 26095 22865 0 -1 4202560 274 0 0 0 6 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946515637296 139947550766848 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26135] ppid=26095 vsize=8414124 memory=3690193231062258865 CPUtime=0.06 cores=0-7
/proc/26119/task/26135/stat : 26135 (java) S 26095 26095 22865 0 -1 1077944384 415 0 0 0 6 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946514586352 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26136] ppid=26095 vsize=8414124 memory=-6657000309100945312 CPUtime=0.2 cores=0-7
/proc/26119/task/26136/stat : 26136 (java) R 26095 26095 22865 0 -1 4202560 742 0 0 0 20 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946513533936 139947539887567 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26137] ppid=26095 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/26119/task/26137/stat : 26137 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139945066883296 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26138] ppid=26095 vsize=8414124 memory=7686721470384543385 CPUtime=0.05 cores=0-7
/proc/26119/task/26138/stat : 26138 (java) S 26095 26095 22865 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 24 0 419675604 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946512480688 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26140] ppid=26095 vsize=8414124 memory=524 CPUtime=0 cores=0-7
/proc/26119/task/26140/stat : 26140 (java) S 26095 26095 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419675670 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946504447168 139947558502169 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26142] ppid=26095 vsize=8414124 memory=1568 CPUtime=0.01 cores=0-7
/proc/26119/task/26142/stat : 26142 (java) R 26095 26095 22865 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 419675670 8616062976 30281 33554432000 4194304 4196468 140721406982496 139944395791152 139947558499389 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26143] ppid=26095 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/26119/task/26143/stat : 26143 (java) S 26095 26095 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419675670 8616062976 30281 33554432000 4194304 4196468 140721406982496 139944664219536 139947558499485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26144] ppid=26095 vsize=8414124 memory=3704 CPUtime=0 cores=0-7
/proc/26119/task/26144/stat : 26144 (java) S 26095 26095 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419675672 8616062976 30281 33554432000 4194304 4196468 140721406982496 139944127356592 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
Current children cumulated CPU time: 43.38 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122600 KiB

[startup+123.401 s]
/proc/loadavg: 4.40 5.17 4.99 2/217 26156
/proc/meminfo: memFree=21502444/32770624 swapFree=66998528/67108860
[pid=26095] ppid=26092 vsize=113128 memory=1476 CPUtime=42.13 cores=0-7
/proc/26095/stat : 26095 (scop.sh) S 26092 26095 22865 0 -1 4202496 581 41848 0 0 0 0 3925 288 20 0 1 0 419672332 115843072 369 33554432000 4194304 5098028 140735813894240 140735813890984 140673781068412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7933952 140735813903141 140735813903468 140735813903468 140735813906381 0
/proc/26095/statm: 28282 369 311 221 0 87 0
[pid=26119] ppid=26095 vsize=8414124 memory=121124 CPUtime=1.28 cores=0-7
/proc/26119/stat : 26119 (java) S 26095 26095 22865 0 -1 1077944320 19766 0 0 0 119 9 0 0 20 0 24 0 419675596 8616062976 30281 33554432000 4194304 4196468 140721406982496 140721406965040 139947558477559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
/proc/26119/statm: 2103531 30281 3205 1 0 2064875 0
[pid=26119/tid=26120] ppid=26095 vsize=8414124 memory=1976 CPUtime=0.75 cores=0-7
/proc/26119/task/26120/stat : 26120 (java) S 26095 26095 22865 0 -1 1077944384 16399 0 0 0 71 4 0 0 20 0 24 0 419675597 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947530317728 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26121] ppid=26095 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/26119/task/26121/stat : 26121 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947562719504 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26122] ppid=26095 vsize=8414124 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/26119/task/26122/stat : 26122 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947362888080 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26123] ppid=26095 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/26119/task/26123/stat : 26123 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947361835536 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26124] ppid=26095 vsize=8414124 memory=121032 CPUtime=0 cores=0-7
/proc/26119/task/26124/stat : 26124 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947360782992 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26125] ppid=26095 vsize=8414124 memory=6940252 CPUtime=0 cores=0-7
/proc/26119/task/26125/stat : 26125 (java) S 26095 26095 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947359730448 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26126] ppid=26095 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/26119/task/26126/stat : 26126 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947358677904 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26127] ppid=26095 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/26119/task/26127/stat : 26127 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947357625360 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26128] ppid=26095 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/26119/task/26128/stat : 26128 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419675598 8616062976 30281 33554432000 4194304 4196468 140721406982496 139947356572816 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26129] ppid=26095 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/26119/task/26129/stat : 26129 (java) S 26095 26095 22865 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419675600 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946517743600 139947558488706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26130] ppid=26095 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/26119/task/26130/stat : 26130 (java) S 26095 26095 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419675600 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946207732640 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26131] ppid=26095 vsize=8414124 memory=3704 CPUtime=0 cores=0-7
/proc/26119/task/26131/stat : 26131 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675600 8616062976 30281 33554432000 4194304 4196468 140721406982496 139945939297264 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26132] ppid=26095 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/26119/task/26132/stat : 26132 (java) S 26095 26095 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139945564788944 139947558496155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26133] ppid=26095 vsize=8414124 memory=2580 CPUtime=0.07 cores=0-7
/proc/26119/task/26133/stat : 26133 (java) S 26095 26095 22865 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946516691440 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26134] ppid=26095 vsize=8414124 memory=824 CPUtime=0.06 cores=0-7
/proc/26119/task/26134/stat : 26134 (java) S 26095 26095 22865 0 -1 1077944384 277 0 0 0 6 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946515638896 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26135] ppid=26095 vsize=8414124 memory=1448 CPUtime=0.07 cores=0-7
/proc/26119/task/26135/stat : 26135 (java) S 26095 26095 22865 0 -1 1077944384 417 0 0 0 7 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946514586352 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26136] ppid=26095 vsize=8414124 memory=1764 CPUtime=0.21 cores=0-7
/proc/26119/task/26136/stat : 26136 (java) S 26095 26095 22865 0 -1 1077944384 745 0 0 0 21 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946513533808 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26137] ppid=26095 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/26119/task/26137/stat : 26137 (java) S 26095 26095 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419675603 8616062976 30281 33554432000 4194304 4196468 140721406982496 139945066883296 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26138] ppid=26095 vsize=8414124 memory=1052 CPUtime=0.05 cores=0-7
/proc/26119/task/26138/stat : 26138 (java) S 26095 26095 22865 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 24 0 419675604 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946512480688 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26140] ppid=26095 vsize=8414124 memory=5908 CPUtime=0 cores=0-7
/proc/26119/task/26140/stat : 26140 (java) S 26095 26095 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419675670 8616062976 30281 33554432000 4194304 4196468 140721406982496 139946504447168 139947558502169 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26142] ppid=26095 vsize=8414124 memory=14012 CPUtime=0.01 cores=0-7
/proc/26119/task/26142/stat : 26142 (java) S 26095 26095 22865 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 419675670 8616062976 30281 33554432000 4194304 4196468 140721406982496 139944395783984 139947558499485 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26143] ppid=26095 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/26119/task/26143/stat : 26143 (java) S 26095 26095 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419675670 8616062976 30281 33554432000 4194304 4196468 140721406982496 139944664219536 139947558499485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26144] ppid=26095 vsize=8414124 memory=22572 CPUtime=0 cores=0-7
/proc/26119/task/26144/stat : 26144 (java) S 26095 26095 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419675672 8616062976 30281 33554432000 4194304 4196468 140721406982496 139944127356592 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
Current children cumulated CPU time: 43.41 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122600 KiB

[startup+123.502 s]
/proc/loadavg: 4.40 5.17 4.99 2/217 26156
/proc/meminfo: memFree=21502444/32770624 swapFree=66998528/67108860
[pid=26095] ppid=26092 vsize=113128 memory=1476 CPUtime=42.13 cores=0-7
/proc/26095/stat : 26095 (scop.sh) S 26092 26095 22865 0 -1 4202496 581 41848 0 0 0 0 3925 288 20 0 1 0 419672332 115843072 369 33554432000 4194304 5098028 140735813894240 140735813890984 140673781068412 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7933952 140735813903141 140735813903468 140735813903468 140735813906381 0
/proc/26095/statm: 28282 369 311 221 0 87 0
[pid=26119] ppid=26095 vsize=8283048 memory=123376 CPUtime=430.22 cores=0-7
/proc/26119/stat : 26119 (java) S 26095 26095 22865 0 -1 1077944320 20165 4546673 0 0 120 12 41816 1074 20 0 22 0 419675596 8481841152 30844 33554432000 4194304 4196468 140721406982496 140721406965040 139947558477559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
/proc/26119/statm: 2070762 30844 3207 1 0 2032106 0
[pid=26119/tid=26120] ppid=26095 vsize=8283048 memory=1476 CPUtime=429.68 cores=0-7
/proc/26119/task/26120/stat : 26120 (java) R 26095 26095 22865 0 -1 4202560 16411 4546673 0 0 71 7 41816 1074 20 0 22 0 419675597 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947530319336 139947551163191 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26121] ppid=26095 vsize=8283048 memory=280330637327680 CPUtime=428.9 cores=0-7
/proc/26119/task/26121/stat : 26121 (java) S 26095 26095 22865 0 -1 1077944384 2 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947562719504 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26122] ppid=26095 vsize=8283048 memory=1428 CPUtime=428.9 cores=0-7
/proc/26119/task/26122/stat : 26122 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947362888080 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26123] ppid=26095 vsize=8283048 memory=4160 CPUtime=428.9 cores=0-7
/proc/26119/task/26123/stat : 26123 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947361835536 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26124] ppid=26095 vsize=8283048 memory=1476 CPUtime=428.9 cores=0-7
/proc/26119/task/26124/stat : 26124 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947360782992 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26125] ppid=26095 vsize=8283048 memory=121032 CPUtime=428.9 cores=0-7
/proc/26119/task/26125/stat : 26125 (java) S 26095 26095 22865 0 -1 1077944384 2 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947359730448 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26126] ppid=26095 vsize=8283048 memory=6937776 CPUtime=428.9 cores=0-7
/proc/26119/task/26126/stat : 26126 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947358677904 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26127] ppid=26095 vsize=8283048 memory=41316 CPUtime=428.9 cores=0-7
/proc/26119/task/26127/stat : 26127 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947357625360 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26128] ppid=26095 vsize=8283048 memory=5908 CPUtime=428.9 cores=0-7
/proc/26119/task/26128/stat : 26128 (java) S 26095 26095 22865 0 -1 1077944384 3 4546673 0 0 0 0 41816 1074 20 0 22 0 419675598 8481841152 30844 33554432000 4194304 4196468 140721406982496 139947356572816 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26129] ppid=26095 vsize=8283048 memory=1476 CPUtime=428.9 cores=0-7
/proc/26119/task/26129/stat : 26129 (java) S 26095 26095 22865 0 -1 1077944384 9 4546673 0 0 0 0 41816 1074 20 0 22 0 419675600 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946517743600 139947558488706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26130] ppid=26095 vsize=8283048 memory=6940152 CPUtime=428.9 cores=0-7
/proc/26119/task/26130/stat : 26130 (java) S 26095 26095 22865 0 -1 1077944384 13 4546673 0 0 0 0 41816 1074 20 0 22 0 419675600 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946207732640 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26131] ppid=26095 vsize=8283048 memory=6939276 CPUtime=428.9 cores=0-7
/proc/26119/task/26131/stat : 26131 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675600 8481841152 30844 33554432000 4194304 4196468 140721406982496 139945939297264 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26132] ppid=26095 vsize=8283048 memory=1568 CPUtime=428.9 cores=0-7
/proc/26119/task/26132/stat : 26132 (java) S 26095 26095 22865 0 -1 1077944384 1 4546673 0 0 0 0 41816 1074 20 0 22 0 419675603 8481841152 30844 33554432000 4194304 4196468 140721406982496 139945564788944 139947558496155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26133] ppid=26095 vsize=8283048 memory=928 CPUtime=428.97 cores=0-7
/proc/26119/task/26133/stat : 26133 (java) S 26095 26095 22865 0 -1 1077944384 514 4546673 0 0 7 0 41816 1074 20 0 22 0 419675603 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946516691440 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26134] ppid=26095 vsize=8283048 memory=121032 CPUtime=428.96 cores=0-7
/proc/26119/task/26134/stat : 26134 (java) S 26095 26095 22865 0 -1 1077944384 277 4546673 0 0 6 0 41816 1074 20 0 22 0 419675603 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946515638896 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26135] ppid=26095 vsize=8283048 memory=1476 CPUtime=428.97 cores=0-7
/proc/26119/task/26135/stat : 26135 (java) S 26095 26095 22865 0 -1 1077944384 417 4546673 0 0 7 0 41816 1074 20 0 22 0 419675603 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946514586352 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26136] ppid=26095 vsize=8283048 memory=1204 CPUtime=429.11 cores=0-7
/proc/26119/task/26136/stat : 26136 (java) S 26095 26095 22865 0 -1 1077944384 747 4546673 0 0 21 0 41816 1074 20 0 22 0 419675603 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946513533808 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26137] ppid=26095 vsize=8283048 memory=1536 CPUtime=428.9 cores=0-7
/proc/26119/task/26137/stat : 26137 (java) S 26095 26095 22865 0 -1 1077944384 3 4546673 0 0 0 0 41816 1074 20 0 22 0 419675603 8481841152 30844 33554432000 4194304 4196468 140721406982496 139945066883296 139947558487765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26138] ppid=26095 vsize=8283048 memory=6941312 CPUtime=428.95 cores=0-7
/proc/26119/task/26138/stat : 26138 (java) S 26095 26095 22865 0 -1 1077944384 7 4546673 0 0 3 2 41816 1074 20 0 22 0 419675604 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946512480688 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26140] ppid=26095 vsize=8283048 memory=0 CPUtime=428.9 cores=0-7
/proc/26119/task/26140/stat : 26140 (java) S 26095 26095 22865 0 -1 1077944384 24 4546673 0 0 0 0 41816 1074 20 0 22 0 419675670 8481841152 30844 33554432000 4194304 4196468 140721406982496 139946504446352 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
[pid=26119/tid=26144] ppid=26095 vsize=8283048 memory=1476 CPUtime=428.9 cores=0-7
/proc/26119/task/26144/stat : 26144 (java) S 26095 26095 22865 0 -1 1077944384 389 4546673 0 0 0 0 41816 1074 20 0 22 0 419675672 8481841152 30844 33554432000 4194304 4196468 140721406982496 139944127358384 139947558488706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140721406985207 140721406985366 140721406985366 140721406988239 0
Current children cumulated CPU time: 472.35 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 124852 KiB

Child status: 0
Real time (s): 123.535
CPU time (s): 472.418
CPU user time (s): 458.63
CPU system time (s): 13.7879
CPU usage (%): 382.418
Max. virtual memory (cumulated for all children) (KiB): 27442896
Max. memory (cumulated for all children) (KiB): 7065228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.63
system time used= 13.7879
maximum resident set size= 6942784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4609304
page faults= 0
swaps= 0
block input operations= 16
block output operations= 568960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 518914
involuntary context switches= 1240


# summary of solver processes directly reported to runsolver:
#   pid: 26095
#   total CPU time (s): 472.418
#   total CPU user time (s): 458.63
#   total CPU system time (s): 13.7879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09711 second user time and 1.5033 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 06:06:35
IDJOB=4392489
IDBENCH=133594
IDSOLVER=2838
FILE ID=node127/4392489-1568434035
RUNJOBID= node127-1568426152-22892
PBS_JOBID= 21702286
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-0080.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-4392489-1568434035/watcher-4392489-1568434035 -o /tmp/evaluation-result-4392489-1568434035/solver-4392489-1568434035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --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-4392489-1568434035.xml

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

MD5SUM BENCH= 9b203975fed1c25a0b87c4f345706814
RANDOM SEED=1411807826

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28850860 kB
MemAvailable:   31871928 kB
Buffers:          185264 kB
Cached:          3101944 kB
SwapCached:         6772 kB
Active:          1900216 kB
Inactive:        1399584 kB
Active(anon):       5240 kB
Inactive(anon):    48308 kB
Active(file):    1894976 kB
Inactive(file):  1351276 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20600 kB
Writeback:             0 kB
AnonPages:        301932 kB
Mapped:            44076 kB
Shmem:             32700 kB
Slab:             211464 kB
SReclaimable:     181300 kB
SUnreclaim:        30164 kB
KernelStack:        3888 kB
PageTables:         5116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-14 06:08:38