Trace number 4392573

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRandom/Random-D-t035/
rand-2-40-16-250-035-86.xml
MD5SUM95e1ba6edeec6aa2d568f833deab6719
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.6602
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints250
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":40}]
Minimum variable degree8
Maximum variable degree19
Distribution of variable degrees[{"degree":8,"count":2},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":3},{"degree":12,"count":6},{"degree":13,"count":6},{"degree":14,"count":4},{"degree":15,"count":3},{"degree":16,"count":1},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":250}]
Number of extensional constraints250
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":250}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-27155-serial-file.bin HOME/instance-4392573-1568417440.xml
0.64/0.56	
0.64/0.56	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.64/0.56	
0.64/0.58	c BEGIN-Prog: Sat Sep 14 01:29:58 CEST 2019
0.64/0.58	c PID: 27158
0.64/0.58	c IP: 172.20.3.137
0.64/0.58	c HOST: node137.alineos.net
0.64/0.59	c (0,0) Parsing Begin
2.10/1.10	c (0,0) Parsing End
2.10/1.10	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 250 ctr, max domain size 16
2.10/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.10/1.10	c (0,0) Constraint Name Generate Begin
2.51/1.11	c (0,0) Ctr:HOME/instance-4392573-1568417440.xml,ExtensionConflict:Var
2.51/1.11	c (0,0) Constraint Name Generate End
2.51/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.51/1.11	c (0,0) CSP to CSPinCNF Begin
4.18/1.68	c (1,1) translated 25 (10%) constraints
5.00/1.82	c (1,1) translated 50 (20%) constraints
5.40/1.94	c (1,1) translated 75 (30%) constraints
5.85/2.04	c (1,1) translated 100 (40%) constraints
6.25/2.14	c (1,1) translated 125 (50%) constraints
6.63/2.23	c (1,1) translated 150 (60%) constraints
7.02/2.33	c (1,1) translated 175 (70%) constraints
7.43/2.44	c (1,1) translated 200 (80%) constraints
7.83/2.54	c (1,1) translated 225 (90%) constraints
8.23/2.64	c (2,2) translated 250 (100%) constraints
8.23/2.64	c (2,2) ===========================================
8.23/2.66	c (2,2) Hybrid: #OE=40, #LE=0
8.23/2.66	c (2,2) Hybrid
8.23/2.66	c (2,2) ===========================================
8.65/2.73	c (2,2) translated 1497 (10%) constraints
8.65/2.77	c (2,2) translated 2993 (20%) constraints
9.06/2.82	c (2,2) translated 4489 (30%) constraints
9.06/2.86	c (2,2) translated 5985 (40%) constraints
9.28/2.90	c (2,2) translated 7481 (50%) constraints
9.28/2.94	c (2,2) translated 8978 (60%) constraints
9.28/2.98	c (2,2) translated 10474 (70%) constraints
9.53/3.01	c (2,2) translated 11970 (80%) constraints
9.53/3.05	c (2,2) translated 13466 (90%) constraints
9.53/3.08	c (2,2) translated 14962 (100%) constraints
9.53/3.08	c (2,2) CSP to CSPinCNF End
9.53/3.08	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.53/3.08	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.53/3.08	c (2,2) CSPinCNF Propagation Begin
10.03/3.24	c (2,2) 0 values, 2338 unsatisfiable literals, and 0 valid clauses are removed
10.03/3.24	c (2,2) CSPinCNF Propagation End
10.03/3.25	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
10.03/3.25	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.03/3.26	c (2,2) Hybrid: #OE=40, #LE=0
10.03/3.26	c (2,2) Simplify CSPinCNF Begin
10.31/3.32	c (2,2) Simplify CSPinCNF End
10.31/3.32	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
10.31/3.32	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.31/3.32	c (2,2) Calculate Precise Domain Begin
10.31/3.32	c (2,2) 0 values are removed by re-calculation
10.31/3.32	c (2,2) Calculate Precise Domain End
10.31/3.32	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
10.31/3.32	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.31/3.32	c (2,2) CSPinCNF to SatSolver Begin
10.56/3.46	c (2,2) 1497 (10 %) CSP clauses are encoded (0 SAT variables, 2056 SAT clauses)
10.95/3.52	c (2,2) 2993 (20 %) CSP clauses are encoded (0 SAT variables, 3552 SAT clauses)
10.95/3.56	c (3,2) 4489 (30 %) CSP clauses are encoded (0 SAT variables, 5048 SAT clauses)
11.36/3.61	c (3,3) 5985 (40 %) CSP clauses are encoded (0 SAT variables, 6544 SAT clauses)
11.36/3.64	c (3,3) 7481 (50 %) CSP clauses are encoded (0 SAT variables, 8040 SAT clauses)
11.36/3.67	c (3,3) 8978 (60 %) CSP clauses are encoded (0 SAT variables, 9537 SAT clauses)
11.36/3.69	c (3,3) 10474 (70 %) CSP clauses are encoded (0 SAT variables, 11033 SAT clauses)
11.76/3.71	c (3,3) 11970 (80 %) CSP clauses are encoded (0 SAT variables, 12529 SAT clauses)
11.76/3.73	c (3,3) 13466 (90 %) CSP clauses are encoded (0 SAT variables, 14025 SAT clauses)
11.76/3.75	c (3,3) 14962 (100 %) CSP clauses are encoded (0 SAT variables, 15521 SAT clauses)
11.76/3.75	c (3,3) CSPinCNF to SatSolver End
11.76/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.76/3.75	c (3,3) 600 bool, 15522 clause
11.76/3.75	c (3,3) Export Begin
11.95/3.83	c (3,3) Export to HOME/scop-27155-serial-file.bin
11.95/3.83	c (3,3) Export End
11.95/3.83	c (3,3) Export File Size: 0.01 MB
11.95/3.83	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.95/3.83	c END-Prog: Sat Sep 14 01:30:02 CEST 2019
11.95/3.85	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27155-serial-file.bin
12.65/4.32	c (0,0) Read Serial File Begin
12.65/4.32	c (0,0) HOME/scop-27155-serial-file.bin
12.90/4.86	c (0,0) Read Serial File End
12.90/4.87	
12.90/4.87	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.90/4.87	(Solving Process)
12.90/4.87	
12.90/4.89	c BEGIN-Prog: Sat Sep 14 01:30:03 CEST 2019
12.90/4.89	c PID: 27186
12.90/4.89	c IP: 172.20.3.137
12.90/4.89	c HOST: node137.alineos.net
13.05/4.90	c (0,0) SatSolver.solve Begin
13.05/4.90	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392573-1568417440.xml-scop-27158.cnf
13.05/4.93	c (0,0) c
13.05/4.93	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)
13.05/4.93	c (0,0) c
13.05/4.93	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.05/4.93	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.05/4.93	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.05/4.93	c (0,0) c |                                                                                                       |
13.05/4.93	c (0,0) c |  Number of variables:           600                                                                   |
13.05/4.93	c (0,0) c |  Number of clauses:           15522                                                                   |
13.05/4.93	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.05/4.93	c (0,0) c |                                                                                                       |
13.05/4.94	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.05/4.94	c (0,0) c |                                                                                                       |
13.05/4.94	c (0,0) c |  Generating clones                                                                                    |
13.05/4.94	c (0,0) c |  all clones generated. Memory =    30.32Mb.                                                           |
13.05/4.94	c (0,0) c ========================================================================================================|
13.05/4.94	c (0,0) c
13.05/4.94	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.05/4.94	c (0,0) c
13.05/4.94	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.05/4.95	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.05/4.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.05/4.95	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.05/4.95	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.05/4.95	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.05/4.95	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.05/4.95	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/4.95	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.05/4.95	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.05/4.95	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.05/4.95	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.05/4.95	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/4.95	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.05/4.95	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.05/4.95	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.05/4.95	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/4.95	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.05/4.95	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.37	c (4,0) c
39.35/8.37	c (4,0) c real time : 3.45189 s
39.35/8.37	c (4,0) c cpu time  : 26.0984 s
39.35/8.37	c (4,0) c
39.35/8.38	c (4,0) c
39.35/8.38	c (4,0) c
39.35/8.38	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
39.35/8.38	c (4,0) c
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c | Conflicts     |          586408 |      71771 |      72691 |      72417 |      74676 |      72331 |      73627 |      73068 |      75827 |
39.35/8.38	c (4,0) c | Decisions     |          739287 |      90237 |      91960 |      89917 |      94607 |      90737 |      93434 |      92926 |      95469 |
39.35/8.38	c (4,0) c | Propagations  |        51437525 |    6276658 |    6366492 |    6429993 |    6561242 |    6296489 |    6473820 |    6370712 |    6662119 |
39.35/8.38	c (4,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
39.35/8.38	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
39.35/8.38	c (4,0) c | Restarts      |             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
39.35/8.38	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.35/8.38	c (4,0) c | PropBinClauses|        51022331 |    6216193 |    6312823 |    6411346 |    6484046 |    6276925 |    6430112 |    6295798 |    6595088 |
39.35/8.38	c (4,0) c | PropPreBlocker|      1675353112 |  204962307 |  206701941 |  210648813 |  212426217 |  209718011 |  209626556 |  206586756 |  214682511 |
39.35/8.38	c (4,0) c | PropNotBlocker|       355584462 |   45864532 |   45393295 |   44117586 |   43390857 |   43758937 |   44137133 |   45596912 |   43325210 |
39.35/8.38	c (4,0) c | LitFullScans  |      2510043782 |  312033076 |  312026782 |  315802245 |  316084934 |  312025590 |  312022835 |  312026269 |  318022051 |
39.35/8.38	c (4,0) c | LitScanFracts |           95181 |      10841 |      14884 |      12326 |      10357 |      12129 |      11895 |      11177 |      11572 |
39.35/8.38	c (4,0) c | DecisionLevel0|             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
39.35/8.38	c (4,0) c | Periods       |             417 |         52 |         52 |         52 |         52 |         52 |         52 |         52 |         53 |
39.35/8.38	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
39.35/8.38	c (4,0) c | Avg_Trail     |                 |        312 |        313 |        314 |        316 |        305 |        316 |        314 |        313 |
39.35/8.38	c (4,0) c | Avg_DL        |                 |         13 |         13 |         13 |         13 |         12 |         13 |         13 |         12 |
39.35/8.38	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.35/8.38	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c | Exported      |           95530 |      11407 |      11431 |      11935 |      11897 |      11832 |      12057 |      12256 |      12715 |
39.35/8.38	c (4,0) c | Imported      |          502031 |      61859 |      58930 |      62740 |      65001 |      63550 |      64063 |      60876 |      65012 |
39.35/8.38	c (4,0) c | Good          |             374 |         48 |         39 |         51 |         52 |         46 |         45 |         45 |         48 |
39.35/8.38	c (4,0) c | Purge         |          501657 |      61811 |      58891 |      62689 |      64949 |      63504 |      64018 |      60831 |      64964 |
39.35/8.38	c (4,0) c | Promoted      |           21706 |       2960 |       2429 |       2174 |       2840 |       2917 |       2992 |       2588 |       2806 |
39.35/8.38	c (4,0) c | Remove_Imp    |          194024 |      23481 |      28858 |      20063 |      14296 |      29449 |      27137 |      26267 |      24473 |
39.35/8.38	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.35/8.38	c (4,0) c | Binaries      |                 |          6 |         10 |          7 |          4 |         11 |         13 |          8 |         10 |
39.35/8.38	c (4,0) c | Glues         |                 |        280 |        248 |        247 |        244 |        252 |        281 |        306 |        254 |
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c | Orig_Seen     |            96 % |      14986 |      14928 |      14798 |      14965 |      14810 |      15062 |      14938 |      14934 |
39.35/8.38	c (4,0) c | Diff Orig seen|                 |        188 |        130 |      X     |        167 |         12 |        264 |        140 |        136 |
39.35/8.38	c (4,0) c | Hamming       |            32 % |        207 |        202 |      X     |        174 |        204 |        199 |        214 |        149 |
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c | RunningTime   |                 |    3.4  99%|    3.3  99%|    3.2  99%|    3.2  99%|    3.2  99%|    3.4  99%|    3.3 100%|    3.2  99%|
39.35/8.38	c (4,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
39.35/8.38	c (4,0) c | ExchangingTime|                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|
39.35/8.38	c (4,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
39.35/8.38	c (4,0) c | SolvingTime   |                 |    3.4     |    3.3     |    3.2     |    3.2     |    3.2     |    3.4     |    3.3     |    3.2     |
39.35/8.38	c (4,0) c | PropagationTim|                 |    2.9  85%|    2.8  84%|    2.7  83%|    2.7  83%|    2.7  84%|    2.8  84%|    2.8  84%|    2.7  83%|
39.35/8.38	c (4,0) c | AnalysisTime  |                 |    0.4  11%|    0.4  11%|    0.4  12%|    0.4  12%|    0.4  11%|    0.4  11%|    0.4  12%|    0.4  12%|
39.35/8.38	c (4,0) c | ReductionTime |                 |    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|
39.35/8.38	c (4,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
39.35/8.38	c (4,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
39.35/8.38	c (4,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
39.35/8.38	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.38	c (4,0) c
39.35/8.38	c (4,0) c
39.35/8.38	c (4,0) c Threads : 8
39.35/8.38	c (4,0) c Winner : 2
39.35/8.38	c (4,0) c Conflicts_0 : 71771
39.35/8.38	c (4,0) c Conflicts_1 : 72691
39.35/8.38	c (4,0) c Conflicts_2 : 72417
39.35/8.38	c (4,0) c Conflicts_3 : 74676
39.35/8.38	c (4,0) c Conflicts_4 : 72331
39.35/8.38	c (4,0) c Conflicts_5 : 73627
39.35/8.38	c (4,0) c Conflicts_6 : 73068
39.35/8.38	c (4,0) c Conflicts_7 : 75827
39.35/8.38	c (4,0) c Conflicts_total : 586408
39.35/8.38	c (4,0) c Conflicts_winner : 72417
39.35/8.38	c (4,0) c Decisions_0 : 90237
39.35/8.38	c (4,0) c Decisions_1 : 91960
39.35/8.38	c (4,0) c Decisions_2 : 89917
39.35/8.38	c (4,0) c Decisions_3 : 94607
39.35/8.38	c (4,0) c Decisions_4 : 90737
39.35/8.38	c (4,0) c Decisions_5 : 93434
39.35/8.38	c (4,0) c Decisions_6 : 92926
39.35/8.38	c (4,0) c Decisions_7 : 95469
39.35/8.38	c (4,0) c Decisions_total : 739287
39.35/8.38	c (4,0) c Decisions_winner : 89917
39.35/8.38	c (4,0) c Propagations_0 : 6276658
39.35/8.38	c (4,0) c Propagations_1 : 6366492
39.35/8.38	c (4,0) c Propagations_2 : 6429993
39.35/8.38	c (4,0) c Propagations_3 : 6561242
39.35/8.38	c (4,0) c Propagations_4 : 6296489
39.35/8.38	c (4,0) c Propagations_5 : 6473820
39.35/8.38	c (4,0) c Propagations_6 : 6370712
39.35/8.38	c (4,0) c Propagations_7 : 6662119
39.35/8.38	c (4,0) c Propagations_total : 51437525
39.35/8.38	c (4,0) c Propagations_winner : 6429993
39.35/8.38	c (4,0) c ReduceDBs_0 : 7
39.35/8.38	c (4,0) c ReduceDBs_1 : 7
39.35/8.38	c (4,0) c ReduceDBs_2 : 7
39.35/8.38	c (4,0) c ReduceDBs_3 : 7
39.35/8.38	c (4,0) c ReduceDBs_4 : 7
39.35/8.38	c (4,0) c ReduceDBs_5 : 7
39.35/8.38	c (4,0) c ReduceDBs_6 : 7
39.35/8.38	c (4,0) c ReduceDBs_7 : 7
39.35/8.38	c (4,0) c ReduceDBs_total : 56
39.35/8.38	c (4,0) c ReduceDBs_winner : 7
39.35/8.38	c (4,0) c SimpDBs_0 : 1
39.35/8.38	c (4,0) c SimpDBs_1 : 1
39.35/8.38	c (4,0) c SimpDBs_2 : 1
39.35/8.38	c (4,0) c SimpDBs_3 : 1
39.35/8.38	c (4,0) c SimpDBs_4 : 1
39.35/8.38	c (4,0) c SimpDBs_5 : 1
39.35/8.38	c (4,0) c SimpDBs_6 : 1
39.35/8.38	c (4,0) c SimpDBs_7 : 1
39.35/8.38	c (4,0) c SimpDBs_total : 8
39.35/8.38	c (4,0) c SimpDBs_winner : 1
39.35/8.38	c (4,0) c Restarts_0 : 35
39.35/8.38	c (4,0) c Restarts_1 : 40
39.35/8.38	c (4,0) c Restarts_2 : 23
39.35/8.38	c (4,0) c Restarts_3 : 30
39.35/8.38	c (4,0) c Restarts_4 : 35
39.35/8.38	c (4,0) c Restarts_5 : 53
39.35/8.38	c (4,0) c Restarts_6 : 66
39.35/8.38	c (4,0) c Restarts_7 : 25
39.35/8.38	c (4,0) c Restarts_total : 307
39.35/8.38	c (4,0) c Restarts_winner : 23
39.35/8.38	c (4,0) c ForcedImports_0 : 0
39.35/8.38	c (4,0) c ForcedImports_1 : 0
39.35/8.38	c (4,0) c ForcedImports_2 : 0
39.35/8.38	c (4,0) c ForcedImports_3 : 0
39.35/8.38	c (4,0) c ForcedImports_4 : 0
39.35/8.38	c (4,0) c ForcedImports_5 : 0
39.35/8.38	c (4,0) c ForcedImports_6 : 0
39.35/8.38	c (4,0) c ForcedImports_7 : 0
39.35/8.38	c (4,0) c ForcedImports_total : 0
39.35/8.38	c (4,0) c ForcedImports_winner : 0
39.35/8.38	c (4,0) c PropsBinClauses_0 : 6216193
39.35/8.38	c (4,0) c PropsBinClauses_1 : 6312823
39.35/8.38	c (4,0) c PropsBinClauses_2 : 6411346
39.35/8.38	c (4,0) c PropsBinClauses_3 : 6484046
39.35/8.38	c (4,0) c PropsBinClauses_4 : 6276925
39.35/8.38	c (4,0) c PropsBinClauses_5 : 6430112
39.35/8.38	c (4,0) c PropsBinClauses_6 : 6295798
39.35/8.38	c (4,0) c PropsBinClauses_7 : 6595088
39.35/8.38	c (4,0) c PropsBinClauses_total : 51022331
39.35/8.38	c (4,0) c PropsBinClauses_winner : 6411346
39.35/8.38	c (4,0) c PropsPreBlocker_0 : 204962307
39.35/8.38	c (4,0) c PropsPreBlocker_1 : 206701941
39.35/8.38	c (4,0) c PropsPreBlocker_2 : 210648813
39.35/8.38	c (4,0) c PropsPreBlocker_3 : 212426217
39.35/8.38	c (4,0) c PropsPreBlocker_4 : 209718011
39.35/8.38	c (4,0) c PropsPreBlocker_5 : 209626556
39.35/8.38	c (4,0) c PropsPreBlocker_6 : 206586756
39.35/8.38	c (4,0) c PropsPreBlocker_7 : 214682511
39.35/8.38	c (4,0) c PropsPreBlocker_total : 1675353112
39.35/8.38	c (4,0) c PropsPreBlocker_winner : 210648813
39.35/8.38	c (4,0) c PropsNotBlocker_0 : 45864532
39.35/8.38	c (4,0) c PropsNotBlocker_1 : 45393295
39.35/8.38	c (4,0) c PropsNotBlocker_2 : 44117586
39.35/8.38	c (4,0) c PropsNotBlocker_3 : 43390857
39.35/8.38	c (4,0) c PropsNotBlocker_4 : 43758937
39.35/8.38	c (4,0) c PropsNotBlocker_5 : 44137133
39.35/8.38	c (4,0) c PropsNotBlocker_6 : 45596912
39.35/8.38	c (4,0) c PropsNotBlocker_7 : 43325210
39.35/8.38	c (4,0) c PropsNotBlocker_total : 355584462
39.35/8.38	c (4,0) c PropsNotBlocker_winner : 44117586
39.35/8.38	c (4,0) c PropsLitFullScans_0 : 312033076
39.35/8.38	c (4,0) c PropsLitFullScans_1 : 312026782
39.35/8.38	c (4,0) c PropsLitFullScans_2 : 315802245
39.35/8.38	c (4,0) c PropsLitFullScans_3 : 316084934
39.35/8.38	c (4,0) c PropsLitFullScans_4 : 312025590
39.35/8.38	c (4,0) c PropsLitFullScans_5 : 312022835
39.35/8.38	c (4,0) c PropsLitFullScans_6 : 312026269
39.35/8.38	c (4,0) c PropsLitFullScans_7 : 318022051
39.35/8.38	c (4,0) c PropsLitFullScans_total : 2510043782
39.35/8.38	c (4,0) c PropsLitFullScans_winner : 315802245
39.35/8.38	c (4,0) c LitScanFractions_0 : 10841
39.35/8.38	c (4,0) c LitScanFractions_1 : 14884
39.35/8.38	c (4,0) c LitScanFractions_2 : 12326
39.35/8.38	c (4,0) c LitScanFractions_3 : 10357
39.35/8.38	c (4,0) c LitScanFractions_4 : 12129
39.35/8.38	c (4,0) c LitScanFractions_5 : 11895
39.35/8.38	c (4,0) c LitScanFractions_6 : 11177
39.35/8.38	c (4,0) c LitScanFractions_7 : 11572
39.35/8.38	c (4,0) c LitScanFractions_total : 95181
39.35/8.38	c (4,0) c LitScanFractions_winner : 12326
39.35/8.38	c (4,0) c DecisionLevel0_0 : 35
39.35/8.38	c (4,0) c DecisionLevel0_1 : 40
39.35/8.38	c (4,0) c DecisionLevel0_2 : 23
39.35/8.38	c (4,0) c DecisionLevel0_3 : 30
39.35/8.38	c (4,0) c DecisionLevel0_4 : 35
39.35/8.38	c (4,0) c DecisionLevel0_5 : 53
39.35/8.38	c (4,0) c DecisionLevel0_6 : 66
39.35/8.38	c (4,0) c DecisionLevel0_7 : 25
39.35/8.38	c (4,0) c DecisionLevel0_total : 307
39.35/8.38	c (4,0) c DecisionLevel0_winner : 23
39.35/8.38	c (4,0) c Periods_0 : 52
39.35/8.38	c (4,0) c Periods_1 : 52
39.35/8.38	c (4,0) c Periods_2 : 52
39.35/8.38	c (4,0) c Periods_3 : 52
39.35/8.38	c (4,0) c Periods_4 : 52
39.35/8.38	c (4,0) c Periods_5 : 52
39.35/8.38	c (4,0) c Periods_6 : 52
39.35/8.38	c (4,0) c Periods_7 : 53
39.35/8.38	c (4,0) c Periods_total : 417
39.35/8.38	c (4,0) c Periods_winner : 52
39.35/8.38	c (4,0) c Margin_0 : 20
39.35/8.38	c (4,0) c Margin_1 : 20
39.35/8.38	c (4,0) c Margin_2 : 20
39.35/8.38	c (4,0) c Margin_3 : 20
39.35/8.38	c (4,0) c Margin_4 : 20
39.35/8.38	c (4,0) c Margin_5 : 20
39.35/8.38	c (4,0) c Margin_6 : 20
39.35/8.38	c (4,0) c Margin_7 : 20
39.35/8.38	c (4,0) c Margin_total : 160
39.35/8.38	c (4,0) c Margin_winner : 20
39.35/8.38	c (4,0) c Exported_0 : 11407
39.35/8.38	c (4,0) c Exported_1 : 11431
39.35/8.38	c (4,0) c Exported_2 : 11935
39.35/8.38	c (4,0) c Exported_3 : 11897
39.35/8.38	c (4,0) c Exported_4 : 11832
39.35/8.38	c (4,0) c Exported_5 : 12057
39.35/8.38	c (4,0) c Exported_6 : 12256
39.35/8.38	c (4,0) c Exported_7 : 12715
39.35/8.38	c (4,0) c Exported_total : 95530
39.35/8.38	c (4,0) c Exported_winner : 11935
39.35/8.38	c (4,0) c Imported_0 : 61859
39.35/8.38	c (4,0) c Imported_1 : 58930
39.35/8.38	c (4,0) c Imported_2 : 62740
39.35/8.38	c (4,0) c Imported_3 : 65001
39.35/8.38	c (4,0) c Imported_4 : 63550
39.35/8.38	c (4,0) c Imported_5 : 64063
39.35/8.38	c (4,0) c Imported_6 : 60876
39.35/8.38	c (4,0) c Imported_7 : 65012
39.35/8.39	c (4,0) c Imported_total : 502031
39.35/8.39	c (4,0) c Imported_winner : 62740
39.35/8.39	c (4,0) c Good_0 : 48
39.35/8.39	c (4,0) c Good_1 : 39
39.35/8.39	c (4,0) c Good_2 : 51
39.35/8.39	c (4,0) c Good_3 : 52
39.35/8.39	c (4,0) c Good_4 : 46
39.35/8.39	c (4,0) c Good_5 : 45
39.35/8.39	c (4,0) c Good_6 : 45
39.35/8.39	c (4,0) c Good_7 : 48
39.35/8.39	c (4,0) c Good_total : 374
39.35/8.39	c (4,0) c Good_winner : 51
39.35/8.39	c (4,0) c Purge_0 : 61811
39.35/8.39	c (4,0) c Purge_1 : 58891
39.35/8.39	c (4,0) c Purge_2 : 62689
39.35/8.39	c (4,0) c Purge_3 : 64949
39.35/8.39	c (4,0) c Purge_4 : 63504
39.35/8.39	c (4,0) c Purge_5 : 64018
39.35/8.39	c (4,0) c Purge_6 : 60831
39.35/8.39	c (4,0) c Purge_7 : 64964
39.35/8.39	c (4,0) c Purge_total : 501657
39.35/8.39	c (4,0) c Purge_winner : 62689
39.35/8.39	c (4,0) c Promoted_0 : 2960
39.35/8.39	c (4,0) c Promoted_1 : 2429
39.35/8.39	c (4,0) c Promoted_2 : 2174
39.35/8.39	c (4,0) c Promoted_3 : 2840
39.35/8.39	c (4,0) c Promoted_4 : 2917
39.35/8.39	c (4,0) c Promoted_5 : 2992
39.35/8.39	c (4,0) c Promoted_6 : 2588
39.35/8.39	c (4,0) c Promoted_7 : 2806
39.35/8.39	c (4,0) c Promoted_total : 21706
39.35/8.39	c (4,0) c Promoted_winner : 2174
39.35/8.39	c (4,0) c Remove_Imp_0 : 23481
39.35/8.39	c (4,0) c Remove_Imp_1 : 28858
39.35/8.39	c (4,0) c Remove_Imp_2 : 20063
39.35/8.39	c (4,0) c Remove_Imp_3 : 14296
39.35/8.39	c (4,0) c Remove_Imp_4 : 29449
39.35/8.39	c (4,0) c Remove_Imp_5 : 27137
39.35/8.39	c (4,0) c Remove_Imp_6 : 26267
39.35/8.39	c (4,0) c Remove_Imp_7 : 24473
39.35/8.39	c (4,0) c Remove_Imp_total : 194024
39.35/8.39	c (4,0) c Remove_Imp_winner : 20063
39.35/8.39	c (4,0) c Blocked_Reuse_0 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_1 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_2 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_3 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_4 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_5 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_6 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_7 : 0
39.35/8.39	c (4,0) c Blocked_Reuse_total : 0
39.35/8.39	c (4,0) c Blocked_Reuse_winner : 0
39.35/8.39	c (4,0) c Unaries_0 : 0
39.35/8.39	c (4,0) c Unaries_1 : 0
39.35/8.39	c (4,0) c Unaries_2 : 0
39.35/8.39	c (4,0) c Unaries_3 : 0
39.35/8.39	c (4,0) c Unaries_4 : 0
39.35/8.39	c (4,0) c Unaries_5 : 0
39.35/8.39	c (4,0) c Unaries_6 : 0
39.35/8.39	c (4,0) c Unaries_7 : 0
39.35/8.39	c (4,0) c Unaries_total : 0
39.35/8.39	c (4,0) c Unaries_winner : 0
39.35/8.39	c (4,0) c Binaries_0 : 6
39.35/8.39	c (4,0) c Binaries_1 : 10
39.35/8.39	c (4,0) c Binaries_2 : 7
39.35/8.39	c (4,0) c Binaries_3 : 4
39.35/8.39	c (4,0) c Binaries_4 : 11
39.35/8.39	c (4,0) c Binaries_5 : 13
39.35/8.39	c (4,0) c Binaries_6 : 8
39.35/8.39	c (4,0) c Binaries_7 : 10
39.35/8.39	c (4,0) c Binaries_total : 69
39.35/8.39	c (4,0) c Binaries_winner : 7
39.35/8.39	c (4,0) c Glues_0 : 280
39.35/8.39	c (4,0) c Glues_1 : 248
39.35/8.39	c (4,0) c Glues_2 : 247
39.35/8.39	c (4,0) c Glues_3 : 244
39.35/8.39	c (4,0) c Glues_4 : 252
39.35/8.39	c (4,0) c Glues_5 : 281
39.35/8.39	c (4,0) c Glues_6 : 306
39.35/8.39	c (4,0) c Glues_7 : 254
39.35/8.39	c (4,0) c Glues_total : 2112
39.35/8.39	c (4,0) c Glues_winner : 247
39.35/8.39	c (4,0) c RunningTime_0 : 3.404551
39.35/8.39	c (4,0) c RunningTime_1 : 3.269921
39.35/8.39	c (4,0) c RunningTime_2 : 3.190721
39.35/8.39	c (4,0) c RunningTime_3 : 3.221684
39.35/8.39	c (4,0) c RunningTime_4 : 3.217705
39.35/8.39	c (4,0) c RunningTime_5 : 3.358178
39.35/8.39	c (4,0) c RunningTime_6 : 3.295200
39.35/8.39	c (4,0) c RunningTime_7 : 3.205426
39.35/8.39	c (4,0) c RunningTime_total : 26.163386
39.35/8.39	c (4,0) c RunningTime_winner : 3.190721
39.35/8.39	c (4,0) c WaitingTime_0 : 0.000034
39.35/8.39	c (4,0) c WaitingTime_1 : 0.000033
39.35/8.39	c (4,0) c WaitingTime_2 : 0.000042
39.35/8.39	c (4,0) c WaitingTime_3 : 0.000040
39.35/8.39	c (4,0) c WaitingTime_4 : 0.000040
39.35/8.39	c (4,0) c WaitingTime_5 : 0.000031
39.35/8.39	c (4,0) c WaitingTime_6 : 0.000036
39.35/8.39	c (4,0) c WaitingTime_7 : 0.000039
39.35/8.39	c (4,0) c WaitingTime_total : 0.000296
39.35/8.39	c (4,0) c WaitingTime_winner : 0.000042
39.35/8.39	c (4,0) c ExchangingTime_0 : 0.017285
39.35/8.39	c (4,0) c ExchangingTime_1 : 0.016606
39.35/8.39	c (4,0) c ExchangingTime_2 : 0.018525
39.35/8.39	c (4,0) c ExchangingTime_3 : 0.018312
39.35/8.39	c (4,0) c ExchangingTime_4 : 0.016333
39.35/8.39	c (4,0) c ExchangingTime_5 : 0.016899
39.35/8.39	c (4,0) c ExchangingTime_6 : 0.015707
39.35/8.39	c (4,0) c ExchangingTime_7 : 0.017187
39.35/8.39	c (4,0) c ExchangingTime_total : 0.136854
39.35/8.39	c (4,0) c ExchangingTime_winner : 0.018525
39.35/8.39	c (4,0) c PeriodProcTime_0 : 0.000330
39.35/8.39	c (4,0) c PeriodProcTime_1 : 0.000258
39.35/8.39	c (4,0) c PeriodProcTime_2 : 0.000396
39.35/8.39	c (4,0) c PeriodProcTime_3 : 0.000285
39.35/8.39	c (4,0) c PeriodProcTime_4 : 0.000341
39.35/8.39	c (4,0) c PeriodProcTime_5 : 0.000373
39.35/8.39	c (4,0) c PeriodProcTime_6 : 0.000298
39.35/8.39	c (4,0) c PeriodProcTime_7 : 0.000298
39.35/8.39	c (4,0) c PeriodProcTime_total : 0.002579
39.35/8.39	c (4,0) c PeriodProcTime_winner : 0.000396
39.35/8.39	c (4,0) c SolvingTime_0 : 3.422201
39.35/8.39	c (4,0) c SolvingTime_1 : 3.286818
39.35/8.39	c (4,0) c SolvingTime_2 : 3.209684
39.35/8.39	c (4,0) c SolvingTime_3 : 3.240321
39.35/8.39	c (4,0) c SolvingTime_4 : 3.234419
39.35/8.39	c (4,0) c SolvingTime_5 : 3.375480
39.35/8.39	c (4,0) c SolvingTime_6 : 3.311241
39.35/8.39	c (4,0) c SolvingTime_7 : 3.222950
39.35/8.39	c (4,0) c SolvingTime_total : 26.303114
39.35/8.39	c (4,0) c SolvingTime_winner : 3.209684
39.35/8.39	c (4,0) c PropagationTime_0 : 2.893521
39.35/8.39	c (4,0) c PropagationTime_1 : 2.762659
39.35/8.39	c (4,0) c PropagationTime_2 : 2.660045
39.35/8.39	c (4,0) c PropagationTime_3 : 2.697511
39.35/8.39	c (4,0) c PropagationTime_4 : 2.710849
39.35/8.39	c (4,0) c PropagationTime_5 : 2.825698
39.35/8.39	c (4,0) c PropagationTime_6 : 2.766541
39.35/8.39	c (4,0) c PropagationTime_7 : 2.669038
39.35/8.39	c (4,0) c PropagationTime_total : 21.985862
39.35/8.39	c (4,0) c PropagationTime_winner : 2.660045
39.35/8.39	c (4,0) c AnalysisTime_0 : 0.364850
39.35/8.39	c (4,0) c AnalysisTime_1 : 0.367385
39.35/8.39	c (4,0) c AnalysisTime_2 : 0.388296
39.35/8.39	c (4,0) c AnalysisTime_3 : 0.389917
39.35/8.39	c (4,0) c AnalysisTime_4 : 0.368236
39.35/8.39	c (4,0) c AnalysisTime_5 : 0.385120
39.35/8.39	c (4,0) c AnalysisTime_6 : 0.383609
39.35/8.39	c (4,0) c AnalysisTime_7 : 0.396006
39.35/8.39	c (4,0) c AnalysisTime_total : 3.043419
39.35/8.39	c (4,0) c AnalysisTime_winner : 0.388296
39.35/8.39	c (4,0) c ReductionTime_0 : 0.055998
39.35/8.39	c (4,0) c ReductionTime_1 : 0.056263
39.35/8.39	c (4,0) c ReductionTime_2 : 0.056798
39.35/8.39	c (4,0) c ReductionTime_3 : 0.052050
39.35/8.39	c (4,0) c ReductionTime_4 : 0.058275
39.35/8.39	c (4,0) c ReductionTime_5 : 0.060308
39.35/8.39	c (4,0) c ReductionTime_6 : 0.059479
39.35/8.39	c (4,0) c ReductionTime_7 : 0.057068
39.35/8.39	c (4,0) c ReductionTime_total : 0.456239
39.35/8.39	c (4,0) c ReductionTime_winner : 0.056798
39.35/8.39	c (4,0) c SimplifyTime_0 : 0.000002
39.35/8.39	c (4,0) c SimplifyTime_1 : 0.000001
39.35/8.39	c (4,0) c SimplifyTime_2 : 0.000001
39.35/8.39	c (4,0) c SimplifyTime_3 : 0.000002
39.35/8.39	c (4,0) c SimplifyTime_4 : 0.000003
39.35/8.39	c (4,0) c SimplifyTime_5 : 0.000006
39.35/8.39	c (4,0) c SimplifyTime_6 : 0.000004
39.35/8.39	c (4,0) c SimplifyTime_7 : 0.000000
39.35/8.39	c (4,0) c SimplifyTime_total : 0.000019
39.35/8.39	c (4,0) c SimplifyTime_winner : 0.000001
39.35/8.39	c (4,0) c UsedRateTime_0 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_1 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_2 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_3 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_4 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_5 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_6 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_7 : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_total : 0.000000
39.35/8.39	c (4,0) c UsedRateTime_winner : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_0 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_1 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_2 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_3 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_4 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_5 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_6 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_7 : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_total : 0.000000
39.35/8.39	c (4,0) c OverlapRateTime_winner : 0.000000
39.35/8.39	c (4,0) c
39.35/8.39	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.35/8.39	c (4,0) c
39.35/8.39	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.39	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.35/8.39	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.39	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.35/8.39	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.35/8.39	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.35/8.39	c (4,0) c | Initial random_seed   | 1090332017 | 1728973424 |  821486905 | 2050453432 |  828891222 | 2073001256 | 1094628494 | 1150420199 |
39.35/8.39	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.35/8.39	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.35/8.39	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.35/8.39	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.35/8.39	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.35/8.39	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.35/8.39	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.35/8.39	c (4,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9500 |
39.35/8.39	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.35/8.39	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.35/8.39	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.35/8.39	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.35/8.39	c (4,0) 
39.35/8.39	c (4,0) s SATISFIABLE
39.53/8.40	c (4,0) SatSolver.solve End
39.53/8.41	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.53/8.41	c (4,0) Show results Begin
39.53/8.48	c (4,0) x[0] = 12
39.53/8.48	c (4,0) x[1] = 11
39.53/8.48	c (4,0) x[2] = 15
39.53/8.48	c (4,0) x[3] = 5
39.53/8.48	c (4,0) x[4] = 14
39.53/8.48	c (4,0) x[5] = 11
39.53/8.48	c (4,0) x[6] = 0
39.53/8.48	c (4,0) x[7] = 9
39.53/8.48	c (4,0) x[8] = 5
39.53/8.48	c (4,0) x[9] = 9
39.53/8.48	c (4,0) x[10] = 5
39.53/8.48	c (4,0) x[11] = 7
39.53/8.48	c (4,0) x[12] = 4
39.53/8.48	c (4,0) x[13] = 9
39.53/8.48	c (4,0) x[14] = 0
39.53/8.48	c (4,0) x[15] = 0
39.53/8.48	c (4,0) x[16] = 14
39.53/8.48	c (4,0) x[17] = 15
39.53/8.48	c (4,0) x[18] = 10
39.53/8.48	c (4,0) x[19] = 10
39.53/8.48	c (4,0) x[20] = 15
39.53/8.48	c (4,0) x[21] = 15
39.53/8.48	c (4,0) x[22] = 10
39.53/8.48	c (4,0) x[23] = 12
39.53/8.48	c (4,0) x[24] = 0
39.53/8.48	c (4,0) x[25] = 3
39.53/8.48	c (4,0) x[26] = 9
39.53/8.48	c (4,0) x[27] = 1
39.53/8.48	c (4,0) x[28] = 7
39.53/8.48	c (4,0) x[29] = 4
39.53/8.48	c (4,0) x[30] = 0
39.53/8.48	c (4,0) x[31] = 1
39.53/8.48	c (4,0) x[32] = 15
39.53/8.48	c (4,0) x[33] = 5
39.53/8.48	c (4,0) x[34] = 5
39.53/8.48	c (4,0) x[35] = 15
39.53/8.48	c (4,0) x[36] = 6
39.53/8.48	c (4,0) x[37] = 8
39.53/8.48	c (4,0) x[38] = 12
39.53/8.48	c (4,0) x[39] = 14
39.53/8.48	s SATISFIABLE
39.53/8.49	v <instantiation>
39.53/8.49	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39]</list>
39.53/8.49	v     <values>12 11 15 5 14 11 0 9 5 9 5 7 4 9 0 0 14 15 10 10 15 15 10 12 0 3 9 1 7 4 0 1 15 5 5 15 6 8 12 14</values>
39.53/8.49	v </instantiation>
39.53/8.49	c (4,0) Show results End
39.53/8.49	c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
39.53/8.49	c (4,0) 4,4,STOP-AFTER(ALL)
39.53/8.49	c END-Prog: Sat Sep 14 01:30:06 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12778 MiB free)
  memory of node 1: 16384 MiB (13255 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392573-1568417440/watcher-4392573-1568417440 -o /tmp/evaluation-result-4392573-1568417440/solver-4392573-1568417440 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392573-1568417440.xml 

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

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

solver pid=27155, runsolver pid=27152

[startup+0.100085 s]*
/proc/loadavg: 0.65 0.74 1.32 2/211 27177
/proc/meminfo: memFree=26566960/32770624 swapFree=66927260/67108860
[pid=27155] ppid=27152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27155/stat : 27155 (scop.sh) S 27152 27155 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417991331 115843072 349 33554432000 4194304 5098028 140724861511904 140724861509160 140188371411580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20443136 140724861518628 140724861518956 140724861518956 140724861521869 0
/proc/27155/statm: 28282 349 296 221 0 87 0
[pid=27158] ppid=27155 vsize=27314120 memory=103392 CPUtime=0.1 cores=0-7
/proc/27158/stat : 27158 (java) S 27155 27155 27111 0 -1 1077944320 6449 0 0 0 7 3 0 0 20 0 20 0 417991331 27969658880 25848 33554432000 4194304 4196468 140722415043920 140722415026464 140532100034295 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
/proc/27158/statm: 6828530 25848 2757 1 0 6790935 0
[pid=27158/tid=27159] ppid=27155 vsize=27314120 memory=4134930498285298233 CPUtime=0.07 cores=0-7
/proc/27158/task/27159/stat : 27159 (java) R 27155 27155 27111 0 -1 4202560 4525 0 0 0 5 2 0 0 20 0 20 0 417991332 27969658880 25848 33554432000 4194304 4196468 140722415043920 140532071860624 140532100056221 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27160] ppid=27155 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27158/task/27160/stat : 27160 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140532104276368 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27161] ppid=27155 vsize=27314120 memory=139956543665792 CPUtime=0 cores=0-7
/proc/27158/task/27161/stat : 27161 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531935525136 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27162] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27162/stat : 27162 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531521137296 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27163] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27163/stat : 27163 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531520084496 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27164] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27164/stat : 27164 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531519032208 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27165] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27165/stat : 27165 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531517979408 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27166] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27166/stat : 27166 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531516927120 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27167] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27167/stat : 27167 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 25848 33554432000 4194304 4196468 140722415043920 140531515874320 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27168] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27168/stat : 27168 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991336 27969658880 25848 33554432000 4194304 4196468 140722415043920 140530621479024 140532100045442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27169] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27169/stat : 27169 (java) S 27155 27155 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417991337 27969658880 25848 33554432000 4194304 4196468 140722415043920 140529719304992 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27170] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27170/stat : 27170 (java) S 27155 27155 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417991337 27969658880 25848 33554432000 4194304 4196468 140722415043920 140529585083504 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27171] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27171/stat : 27171 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 25848 33554432000 4194304 4196468 140722415043920 140529210579024 140532100052891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27172] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27172/stat : 27172 (java) S 27155 27155 27111 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 25848 33554432000 4194304 4196468 140722415043920 140530620426864 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27173] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27173/stat : 27173 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 25848 33554432000 4194304 4196468 140722415043920 140530619374064 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27174] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27174/stat : 27174 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 25848 33554432000 4194304 4196468 140722415043920 140530618321776 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27175] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27175/stat : 27175 (java) S 27155 27155 27111 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 25848 33554432000 4194304 4196468 140722415043920 140530617268976 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27176] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27176/stat : 27176 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 25848 33554432000 4194304 4196468 140722415043920 140528712673632 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27177] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27177/stat : 27177 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991341 27969658880 25848 33554432000 4194304 4196468 140722415043920 140530616215856 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104788 KiB

[startup+0.209874 s]*
/proc/loadavg: 0.65 0.74 1.32 2/211 27177
/proc/meminfo: memFree=26548652/32770624 swapFree=66927260/67108860
[pid=27155] ppid=27152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27155/stat : 27155 (scop.sh) S 27152 27155 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417991331 115843072 349 33554432000 4194304 5098028 140724861511904 140724861509160 140188371411580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20443136 140724861518628 140724861518956 140724861518956 140724861521869 0
/proc/27155/statm: 28282 349 296 221 0 87 0
[pid=27158] ppid=27155 vsize=27314120 memory=120632 CPUtime=0.22 cores=0-7
/proc/27158/stat : 27158 (java) S 27155 27155 27111 0 -1 1077944320 11533 0 0 0 18 4 0 0 20 0 20 0 417991331 27969658880 30158 33554432000 4194304 4196468 140722415043920 140722415026464 140532100034295 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
/proc/27158/statm: 6828530 30158 2884 1 0 6790935 0
[pid=27158/tid=27159] ppid=27155 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27158/task/27159/stat : 27159 (java) R 27155 27155 27111 0 -1 4202560 9214 0 0 0 15 4 0 0 20 0 20 0 417991332 27969658880 30158 33554432000 4194304 4196468 140722415043920 140532071833680 140532100056221 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27160] ppid=27155 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/27158/task/27160/stat : 27160 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140532104276368 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27161] ppid=27155 vsize=27314120 memory=288370332695377536 CPUtime=0 cores=0-7
/proc/27158/task/27161/stat : 27161 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531935525136 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27162] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27162/stat : 27162 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531521137296 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27163] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27163/stat : 27163 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531520084496 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27164] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27164/stat : 27164 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531519032208 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27165] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27165/stat : 27165 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531517979408 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27166] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27166/stat : 27166 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531516927120 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27167] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27167/stat : 27167 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 30158 33554432000 4194304 4196468 140722415043920 140531515874320 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27168] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27168/stat : 27168 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991336 27969658880 30158 33554432000 4194304 4196468 140722415043920 140530621479024 140532100045442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27169] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27169/stat : 27169 (java) S 27155 27155 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417991337 27969658880 30158 33554432000 4194304 4196468 140722415043920 140529719304992 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27170] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27170/stat : 27170 (java) S 27155 27155 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417991337 27969658880 30158 33554432000 4194304 4196468 140722415043920 140529585083504 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27171] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27171/stat : 27171 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 30158 33554432000 4194304 4196468 140722415043920 140529210579024 140532100052891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27172] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27172/stat : 27172 (java) S 27155 27155 27111 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 30158 33554432000 4194304 4196468 140722415043920 140530620426864 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27173] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27173/stat : 27173 (java) S 27155 27155 27111 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 30158 33554432000 4194304 4196468 140722415043920 140530619374064 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27174] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27174/stat : 27174 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 30158 33554432000 4194304 4196468 140722415043920 140530618321776 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27175] ppid=27155 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/27158/task/27175/stat : 27175 (java) R 27155 27155 27111 0 -1 4202560 535 0 0 0 2 0 0 0 20 0 20 0 417991340 27969658880 30158 33554432000 4194304 4196468 140722415043920 140530617268976 140532081258264 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27176] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27176/stat : 27176 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 30158 33554432000 4194304 4196468 140722415043920 140528712673632 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27177] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27177/stat : 27177 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991341 27969658880 30158 33554432000 4194304 4196468 140722415043920 140530616215856 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122028 KiB

[startup+0.309435 s]*
/proc/loadavg: 0.65 0.74 1.32 3/211 27177
/proc/meminfo: memFree=26545364/32770624 swapFree=66927260/67108860
[pid=27155] ppid=27152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27155/stat : 27155 (scop.sh) S 27152 27155 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417991331 115843072 349 33554432000 4194304 5098028 140724861511904 140724861509160 140188371411580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20443136 140724861518628 140724861518956 140724861518956 140724861521869 0
/proc/27155/statm: 28282 349 296 221 0 87 0
[pid=27158] ppid=27155 vsize=27314120 memory=124784 CPUtime=0.41 cores=0-7
/proc/27158/stat : 27158 (java) S 27155 27155 27111 0 -1 1077944320 12637 0 0 0 36 5 0 0 20 0 20 0 417991331 27969658880 31196 33554432000 4194304 4196468 140722415043920 140722415026464 140532100034295 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
/proc/27158/statm: 6828530 31196 3025 1 0 6790935 0
[pid=27158/tid=27159] ppid=27155 vsize=27314120 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/27158/task/27159/stat : 27159 (java) R 27155 27155 27111 0 -1 4202560 9987 0 0 0 24 4 0 0 20 0 20 0 417991332 27969658880 31196 33554432000 4194304 4196468 140722415043920 140532071848160 140532084114782 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27160] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27160/stat : 27160 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140532104276368 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27161] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27161/stat : 27161 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531935525136 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27162] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27162/stat : 27162 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531521137296 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27163] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27163/stat : 27163 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531520084496 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27164] ppid=27155 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/27158/task/27164/stat : 27164 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531519032208 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27165] ppid=27155 vsize=27314120 memory=139956408382383 CPUtime=0 cores=0-7
/proc/27158/task/27165/stat : 27165 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531517979408 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27166] ppid=27155 vsize=27314120 memory=139956408384688 CPUtime=0 cores=0-7
/proc/27158/task/27166/stat : 27166 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531516927120 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27167] ppid=27155 vsize=27314120 memory=139956408386992 CPUtime=0 cores=0-7
/proc/27158/task/27167/stat : 27167 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991335 27969658880 31196 33554432000 4194304 4196468 140722415043920 140531515874320 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27168] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27168/stat : 27168 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991336 27969658880 31196 33554432000 4194304 4196468 140722415043920 140530621479024 140532100045442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27169] ppid=27155 vsize=27314120 memory=279912816780944 CPUtime=0 cores=0-7
/proc/27158/task/27169/stat : 27169 (java) S 27155 27155 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417991337 27969658880 31196 33554432000 4194304 4196468 140722415043920 140529719304992 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27170] ppid=27155 vsize=27314120 memory=279912816787856 CPUtime=0 cores=0-7
/proc/27158/task/27170/stat : 27170 (java) S 27155 27155 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417991337 27969658880 31196 33554432000 4194304 4196468 140722415043920 140529585083504 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27171] ppid=27155 vsize=27314120 memory=279912816729136 CPUtime=0 cores=0-7
/proc/27158/task/27171/stat : 27171 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 31196 33554432000 4194304 4196468 140722415043920 140529210579024 140532100052891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27172] ppid=27155 vsize=27314120 memory=279912816801680 CPUtime=0.01 cores=0-7
/proc/27158/task/27172/stat : 27172 (java) S 27155 27155 27111 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 417991340 27969658880 31196 33554432000 4194304 4196468 140722415043920 140530620426864 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27173] ppid=27155 vsize=27314120 memory=279912816808592 CPUtime=0.01 cores=0-7
/proc/27158/task/27173/stat : 27173 (java) S 27155 27155 27111 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 417991340 27969658880 31196 33554432000 4194304 4196468 140722415043920 140530619374064 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27174] ppid=27155 vsize=27314120 memory=279912816806288 CPUtime=0.01 cores=0-7
/proc/27158/task/27174/stat : 27174 (java) S 27155 27155 27111 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 417991340 27969658880 31196 33554432000 4194304 4196468 140722415043920 140530618321776 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27175] ppid=27155 vsize=27314120 memory=279912816822448 CPUtime=0.07 cores=0-7
/proc/27158/task/27175/stat : 27175 (java) S 27155 27155 27111 0 -1 1077944384 639 0 0 0 7 0 0 0 20 0 20 0 417991340 27969658880 31196 33554432000 4194304 4196468 140722415043920 140530617268976 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27176] ppid=27155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27176/stat : 27176 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991340 27969658880 31196 33554432000 4194304 4196468 140722415043920 140528712673632 140532100044501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27177] ppid=27155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27158/task/27177/stat : 27177 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417991341 27969658880 31196 33554432000 4194304 4196468 140722415043920 140530616215856 140532100045442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126180 KiB

[startup+0.700951 s]
/proc/loadavg: 0.65 0.74 1.32 2/211 27177
/proc/meminfo: memFree=26526164/32770624 swapFree=66927260/67108860
[pid=27155] ppid=27152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27155/stat : 27155 (scop.sh) S 27152 27155 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417991331 115843072 349 33554432000 4194304 5098028 140724861511904 140724861509160 140188371411580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20443136 140724861518628 140724861518956 140724861518956 140724861521869 0
/proc/27155/statm: 28282 349 296 221 0 87 0
[pid=27158] ppid=27155 vsize=27320392 memory=162148 CPUtime=0.98 cores=0-7
/proc/27158/stat : 27158 (java) S 27155 27155 27111 0 -1 1077944320 20253 0 0 0 91 7 0 0 20 0 20 0 417991331 27976081408 40537 33554432000 4194304 4196468 140722415043920 140722415026464 140532100034295 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
/proc/27158/statm: 6830098 40537 3182 1 0 6791447 0
[pid=27158/tid=27159] ppid=27155 vsize=27320392 memory=279912817180336 CPUtime=0.67 cores=0-7
/proc/27158/task/27159/stat : 27159 (java) R 27155 27155 27111 0 -1 4202560 16943 0 0 0 61 6 0 0 20 0 20 0 417991332 27976081408 40537 33554432000 4194304 4196468 140722415043920 140532071872416 140532084114782 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27160] ppid=27155 vsize=27320392 memory=139956408591216 CPUtime=0 cores=0-7
/proc/27158/task/27160/stat : 27160 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27976081408 40537 33554432000 4194304 4196468 140722415043920 140532104276368 140532100044501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27161] ppid=27155 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/27158/task/27161/stat : 27161 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417991335 27976081408 40537 33554432000 4194304 4196468 140722415043920 140531935525136 140532100044501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0
[pid=27158/tid=27162] ppid=27155 vsize=27320392 memory=1124 CPUtime=0 cores=0-7
/proc/27158/task/27162/stat : 27162 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417991335 27976081408 40537 33554432000 4194304 4196468 140722415043920 140531521137296 140532100044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6524928 140722415051498 140722415051926 140722415051926 140722415054799 0

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

/proc/27186/task/27199/stat : 27199 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140090251500112 140092202387355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27200] ppid=27155 vsize=8414124 memory=-7522837583129502606 CPUtime=0.05 cores=0-7
/proc/27186/task/27200/stat : 27200 (java) S 27155 27155 27111 0 -1 1077944384 602 0 0 0 5 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091293939824 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27201] ppid=27155 vsize=8414124 memory=49260 CPUtime=0.06 cores=0-7
/proc/27186/task/27201/stat : 27201 (java) S 27155 27155 27111 0 -1 1077944384 167 0 0 0 6 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091292887024 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27202] ppid=27155 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/27186/task/27202/stat : 27202 (java) S 27155 27155 27111 0 -1 1077944384 436 0 0 0 6 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091291834736 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27203] ppid=27155 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/27186/task/27203/stat : 27203 (java) S 27155 27155 27111 0 -1 1077944384 758 0 0 0 19 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091290781936 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27204] ppid=27155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27186/task/27204/stat : 27204 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140089753594720 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27205] ppid=27155 vsize=8414124 memory=35492 CPUtime=0 cores=0-7
/proc/27186/task/27205/stat : 27205 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991724 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091289729840 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27207] ppid=27155 vsize=8414124 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/27186/task/27207/stat : 27207 (java) S 27155 27155 27111 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417991824 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091632944960 140092202393369 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27209] ppid=27155 vsize=8414124 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/27186/task/27209/stat : 27209 (java) S 27155 27155 27111 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417991824 8616062976 29328 33554432000 4194304 4196468 140725907246480 140089082494352 140092202390685 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27210] ppid=27155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27186/task/27210/stat : 27210 (java) S 27155 27155 27111 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417991824 8616062976 29328 33554432000 4194304 4196468 140725907246480 140089350929680 140092202390685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27219] ppid=27155 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/27186/task/27219/stat : 27219 (java) S 27155 27155 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417991826 8616062976 29328 33554432000 4194304 4196468 140725907246480 140088814066992 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
Current children cumulated CPU time: 31.14 s
Current children cumulated vsize: 9153504 KiB
Current children cumulated memory: 216120 KiB

[startup+8.00177 s]*
/proc/loadavg: 1.26 0.87 1.35 9/225 27219
/proc/meminfo: memFree=26418416/32770624 swapFree=66927260/67108860
[pid=27155] ppid=27152 vsize=113128 memory=1476 CPUtime=12.07 cores=0-7
/proc/27155/stat : 27155 (scop.sh) S 27152 27155 27111 0 -1 4202496 583 36478 0 0 0 0 1179 28 20 0 1 0 417991331 115843072 369 33554432000 4194304 5098028 140724861511904 140724861508648 140188371411580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20443136 140724861518628 140724861518956 140724861518956 140724861521869 0
/proc/27155/statm: 28282 369 311 221 0 87 0
[pid=27186] ppid=27155 vsize=8414124 memory=117312 CPUtime=1.17 cores=0-7
/proc/27186/stat : 27186 (java) S 27155 27155 27111 0 -1 1077944320 21375 0 0 0 110 7 0 0 20 0 24 0 417991717 8616062976 29328 33554432000 4194304 4196468 140725907246480 140725907229024 140092202368759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
/proc/27186/statm: 2103531 29328 3197 1 0 2064875 0
[pid=27206] ppid=27186 vsize=655528 memory=133904 CPUtime=24.35 cores=0-7
/proc/27206/stat : 27206 (manyglucose-4.1) S 27186 27155 27111 0 -1 1077944320 43750 0 0 0 2424 11 0 0 20 0 9 0 417991824 671260672 33476 33554432000 4194304 4454172 140731902314144 140731902312544 140440422800002 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
/proc/27206/statm: 163882 33476 402 64 0 159550 0
[pid=27206/tid=27211] ppid=27186 vsize=655528 memory=7686721470334670490 CPUtime=3.05 cores=0-7
/proc/27206/task/27211/stat : 27211 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 5087 0 0 0 304 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440407571560 4350007 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27212] ppid=27186 vsize=655528 memory=0 CPUtime=3.04 cores=0-7
/proc/27206/task/27212/stat : 27212 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 4858 0 0 0 303 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440399178488 4304088 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27213] ppid=27186 vsize=655528 memory=1476 CPUtime=3.05 cores=0-7
/proc/27206/task/27213/stat : 27213 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 4990 0 0 0 304 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440390786296 4333522 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27214] ppid=27186 vsize=655528 memory=117312 CPUtime=3.04 cores=0-7
/proc/27206/task/27214/stat : 27214 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 5587 0 0 0 303 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440382393192 4349976 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27215] ppid=27186 vsize=655528 memory=25416 CPUtime=3.04 cores=0-7
/proc/27206/task/27215/stat : 27215 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 5326 0 0 0 303 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440374000488 4350397 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27216] ppid=27186 vsize=655528 memory=0 CPUtime=2.95 cores=0-7
/proc/27206/task/27216/stat : 27216 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 4498 0 0 0 294 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440097172360 4351042 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27217] ppid=27186 vsize=655528 memory=0 CPUtime=3.05 cores=0-7
/proc/27206/task/27217/stat : 27217 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 5884 0 0 0 304 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440365608040 4327475 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27206/tid=27218] ppid=27186 vsize=655528 memory=0 CPUtime=3.05 cores=0-7
/proc/27206/task/27218/stat : 27218 (manyglucose-4.1) R 27186 27155 27111 0 -1 4202560 5628 0 0 0 304 1 0 0 20 0 9 0 417991826 671260672 33476 33554432000 4194304 4454172 140731902314144 140440357215080 4350349 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 11264000 140731902321513 140731902321712 140731902321712 140731902324666 0
[pid=27186/tid=27187] ppid=27155 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/27186/task/27187/stat : 27187 (java) S 27155 27155 27111 0 -1 1077944384 17997 0 0 0 71 6 0 0 20 0 24 0 417991717 8616062976 29328 33554432000 4194304 4196468 140725907246480 140092174208928 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27188] ppid=27155 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27186/task/27188/stat : 27188 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991718 8616062976 29328 33554432000 4194304 4196468 140725907246480 140092206611344 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27189] ppid=27155 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/27186/task/27189/stat : 27189 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991718 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091687602960 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27190] ppid=27155 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/27186/task/27190/stat : 27190 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991718 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091686550672 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27191] ppid=27155 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/27186/task/27191/stat : 27191 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991719 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091685497872 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27192] ppid=27155 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/27186/task/27192/stat : 27192 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991719 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091684444560 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27193] ppid=27155 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/27186/task/27193/stat : 27193 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991719 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091683391760 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27194] ppid=27155 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/27186/task/27194/stat : 27194 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991719 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091682339472 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27195] ppid=27155 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/27186/task/27195/stat : 27195 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991719 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091681286672 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27196] ppid=27155 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/27186/task/27196/stat : 27196 (java) S 27155 27155 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417991720 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091294993008 140092202379906 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27197] ppid=27155 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/27186/task/27197/stat : 27197 (java) S 27155 27155 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417991721 8616062976 29328 33554432000 4194304 4196468 140725907246480 140090760226080 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27198] ppid=27155 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/27186/task/27198/stat : 27198 (java) S 27155 27155 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417991721 8616062976 29328 33554432000 4194304 4196468 140725907246480 140090626004592 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27199] ppid=27155 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/27186/task/27199/stat : 27199 (java) S 27155 27155 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140090251500112 140092202387355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27200] ppid=27155 vsize=8414124 memory=6943526294502006880 CPUtime=0.05 cores=0-7
/proc/27186/task/27200/stat : 27200 (java) S 27155 27155 27111 0 -1 1077944384 602 0 0 0 5 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091293939824 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27201] ppid=27155 vsize=8414124 memory=-7357787915995474596 CPUtime=0.06 cores=0-7
/proc/27186/task/27201/stat : 27201 (java) S 27155 27155 27111 0 -1 1077944384 167 0 0 0 6 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091292887024 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27202] ppid=27155 vsize=8414124 memory=7682475212697334586 CPUtime=0.06 cores=0-7
/proc/27186/task/27202/stat : 27202 (java) S 27155 27155 27111 0 -1 1077944384 436 0 0 0 6 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091291834736 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27203] ppid=27155 vsize=8414124 memory=6944613755445342871 CPUtime=0.19 cores=0-7
/proc/27186/task/27203/stat : 27203 (java) S 27155 27155 27111 0 -1 1077944384 758 0 0 0 19 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091290781936 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27204] ppid=27155 vsize=8414124 memory=-7668917182949848256 CPUtime=0 cores=0-7
/proc/27186/task/27204/stat : 27204 (java) S 27155 27155 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991723 8616062976 29328 33554432000 4194304 4196468 140725907246480 140089753594720 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27205] ppid=27155 vsize=8414124 memory=5450916471307728426 CPUtime=0 cores=0-7
/proc/27186/task/27205/stat : 27205 (java) S 27155 27155 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991724 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091289729840 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27207] ppid=27155 vsize=8414124 memory=9118496827323861925 CPUtime=0 cores=0-7
/proc/27186/task/27207/stat : 27207 (java) S 27155 27155 27111 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417991824 8616062976 29328 33554432000 4194304 4196468 140725907246480 140091632944960 140092202393369 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27209] ppid=27155 vsize=8414124 memory=-5738297875903048278 CPUtime=0 cores=0-7
/proc/27186/task/27209/stat : 27209 (java) S 27155 27155 27111 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417991824 8616062976 29328 33554432000 4194304 4196468 140725907246480 140089082494352 140092202390685 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27210] ppid=27155 vsize=8414124 memory=7753962091076034714 CPUtime=0 cores=0-7
/proc/27186/task/27210/stat : 27210 (java) S 27155 27155 27111 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417991824 8616062976 29328 33554432000 4194304 4196468 140725907246480 140089350929680 140092202390685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27219] ppid=27155 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27186/task/27219/stat : 27219 (java) S 27155 27155 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417991826 8616062976 29328 33554432000 4194304 4196468 140725907246480 140088814066992 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
Current children cumulated CPU time: 37.59 s
Current children cumulated vsize: 9182780 KiB
Current children cumulated memory: 252692 KiB

[startup+8.40118 s]
/proc/loadavg: 1.26 0.87 1.35 9/225 27219
/proc/meminfo: memFree=26418416/32770624 swapFree=66927260/67108860
[pid=27155] ppid=27152 vsize=113128 memory=1476 CPUtime=12.07 cores=0-7
/proc/27155/stat : 27155 (scop.sh) S 27152 27155 27111 0 -1 4202496 583 36478 0 0 0 0 1179 28 20 0 1 0 417991331 115843072 369 33554432000 4194304 5098028 140724861511904 140724861508648 140188371411580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20443136 140724861518628 140724861518956 140724861518956 140724861521869 0
/proc/27155/statm: 28282 369 311 221 0 87 0
[pid=27186] ppid=27155 vsize=8414124 memory=119724 CPUtime=27.46 cores=0-7
/proc/27186/stat : 27186 (java) S 27155 27155 27111 0 -1 1077944320 21471 47100 0 0 116 8 2609 13 20 0 23 0 417991717 8616062976 29931 33554432000 4194304 4196468 140725907246480 140725907229024 140092202368759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
/proc/27186/statm: 2103531 29931 3197 1 0 2064875 0
[pid=27186/tid=27187] ppid=27155 vsize=8414124 memory=7016952788452204857 CPUtime=26.99 cores=0-7
/proc/27186/task/27187/stat : 27187 (java) S 27155 27155 27111 0 -1 1077944384 17997 47100 0 0 71 6 2609 13 20 0 23 0 417991717 8616062976 29931 33554432000 4194304 4196468 140725907246480 140092174208928 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27188] ppid=27155 vsize=8414124 memory=0 CPUtime=26.22 cores=0-7
/proc/27186/task/27188/stat : 27188 (java) S 27155 27155 27111 0 -1 1077944384 1 47100 0 0 0 0 2609 13 20 0 23 0 417991718 8616062976 29931 33554432000 4194304 4196468 140725907246480 140092206611344 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27189] ppid=27155 vsize=8414124 memory=5795407478311446120 CPUtime=26.22 cores=0-7
/proc/27186/task/27189/stat : 27189 (java) S 27155 27155 27111 0 -1 1077944384 1 47100 0 0 0 0 2609 13 20 0 23 0 417991718 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091687602960 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27190] ppid=27155 vsize=8414124 memory=7660728864554377810 CPUtime=26.22 cores=0-7
/proc/27186/task/27190/stat : 27190 (java) S 27155 27155 27111 0 -1 1077944384 2 47100 0 0 0 0 2609 13 20 0 23 0 417991718 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091686550672 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27191] ppid=27155 vsize=8414124 memory=19696720023944 CPUtime=26.22 cores=0-7
/proc/27186/task/27191/stat : 27191 (java) S 27155 27155 27111 0 -1 1077944384 1 47100 0 0 0 0 2609 13 20 0 23 0 417991719 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091685497872 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27192] ppid=27155 vsize=8414124 memory=139956543665792 CPUtime=26.22 cores=0-7
/proc/27186/task/27192/stat : 27192 (java) S 27155 27155 27111 0 -1 1077944384 1 47100 0 0 0 0 2609 13 20 0 23 0 417991719 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091684444560 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27193] ppid=27155 vsize=8414124 memory=0 CPUtime=26.22 cores=0-7
/proc/27186/task/27193/stat : 27193 (java) S 27155 27155 27111 0 -1 1077944384 2 47100 0 0 0 0 2609 13 20 0 23 0 417991719 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091683391760 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27194] ppid=27155 vsize=8414124 memory=22012 CPUtime=26.22 cores=0-7
/proc/27186/task/27194/stat : 27194 (java) S 27155 27155 27111 0 -1 1077944384 2 47100 0 0 0 0 2609 13 20 0 23 0 417991719 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091682339472 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27195] ppid=27155 vsize=8414124 memory=14068 CPUtime=26.22 cores=0-7
/proc/27186/task/27195/stat : 27195 (java) S 27155 27155 27111 0 -1 1077944384 3 47100 0 0 0 0 2609 13 20 0 23 0 417991719 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091681286672 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27196] ppid=27155 vsize=8414124 memory=528 CPUtime=26.22 cores=0-7
/proc/27186/task/27196/stat : 27196 (java) S 27155 27155 27111 0 -1 1077944384 5 47100 0 0 0 0 2609 13 20 0 23 0 417991720 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091294993008 140092202379906 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27197] ppid=27155 vsize=8414124 memory=1560 CPUtime=26.22 cores=0-7
/proc/27186/task/27197/stat : 27197 (java) S 27155 27155 27111 0 -1 1077944384 13 47100 0 0 0 0 2609 13 20 0 23 0 417991721 8616062976 29931 33554432000 4194304 4196468 140725907246480 140090760226080 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27198] ppid=27155 vsize=8414124 memory=928 CPUtime=26.22 cores=0-7
/proc/27186/task/27198/stat : 27198 (java) S 27155 27155 27111 0 -1 1077944384 21 47100 0 0 0 0 2609 13 20 0 23 0 417991721 8616062976 29931 33554432000 4194304 4196468 140725907246480 140090626004592 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27199] ppid=27155 vsize=8414124 memory=1700 CPUtime=26.22 cores=0-7
/proc/27186/task/27199/stat : 27199 (java) S 27155 27155 27111 0 -1 1077944384 1 47100 0 0 0 0 2609 13 20 0 23 0 417991723 8616062976 29931 33554432000 4194304 4196468 140725907246480 140090251500112 140092202387355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27200] ppid=27155 vsize=8414124 memory=828 CPUtime=26.28 cores=0-7
/proc/27186/task/27200/stat : 27200 (java) S 27155 27155 27111 0 -1 1077944384 608 47100 0 0 6 0 2609 13 20 0 23 0 417991723 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091293939824 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27201] ppid=27155 vsize=8414124 memory=1440 CPUtime=26.28 cores=0-7
/proc/27186/task/27201/stat : 27201 (java) R 27155 27155 27111 0 -1 4202560 171 47100 0 0 6 0 2609 13 20 0 23 0 417991723 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091292887024 140092202380694 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27202] ppid=27155 vsize=8414124 memory=1980 CPUtime=26.29 cores=0-7
/proc/27186/task/27202/stat : 27202 (java) R 27155 27155 27111 0 -1 4202560 439 47100 0 0 7 0 2609 13 20 0 23 0 417991723 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091291834736 140092187290512 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27203] ppid=27155 vsize=8414124 memory=2496 CPUtime=26.43 cores=0-7
/proc/27186/task/27203/stat : 27203 (java) S 27155 27155 27111 0 -1 1077944384 802 47100 0 0 21 0 2609 13 20 0 23 0 417991723 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091290781936 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27204] ppid=27155 vsize=8414124 memory=1764 CPUtime=26.22 cores=0-7
/proc/27186/task/27204/stat : 27204 (java) S 27155 27155 27111 0 -1 1077944384 3 47100 0 0 0 0 2609 13 20 0 23 0 417991723 8616062976 29931 33554432000 4194304 4196468 140725907246480 140089753594720 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27205] ppid=27155 vsize=8414124 memory=111632 CPUtime=26.22 cores=0-7
/proc/27186/task/27205/stat : 27205 (java) S 27155 27155 27111 0 -1 1077944384 2 47100 0 0 0 0 2609 13 20 0 23 0 417991724 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091289729840 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27207] ppid=27155 vsize=8414124 memory=804 CPUtime=26.22 cores=0-7
/proc/27186/task/27207/stat : 27207 (java) S 27155 27155 27111 0 -1 1077944384 24 47100 0 0 0 0 2609 13 20 0 23 0 417991824 8616062976 29931 33554432000 4194304 4196468 140725907246480 140091632944144 140092202379906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27209] ppid=27155 vsize=8414124 memory=4100 CPUtime=26.24 cores=0-7
/proc/27186/task/27209/stat : 27209 (java) R 27155 27155 27111 0 -1 4202560 42 47100 0 0 2 0 2609 13 20 0 23 0 417991824 8616062976 29931 33554432000 4194304 4196468 140725907246480 140089082501296 140092202380694 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
[pid=27186/tid=27219] ppid=27155 vsize=8414124 memory=920 CPUtime=26.22 cores=0-7
/proc/27186/task/27219/stat : 27219 (java) S 27155 27155 27111 0 -1 1077944384 5 47100 0 0 0 0 2609 13 20 0 23 0 417991826 8616062976 29931 33554432000 4194304 4196468 140725907246480 140088814066752 140092202378965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27983872 140725907252215 140725907252374 140725907252374 140725907255247 0
Current children cumulated CPU time: 39.53 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121200 KiB

Child status: 0
Real time (s): 8.50063
CPU time (s): 39.7323
CPU user time (s): 39.2166
CPU system time (s): 0.515654
CPU usage (%): 467.404
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 963836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.2166
system time used= 0.515654
maximum resident set size= 967940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11324
involuntary context switches= 315


# summary of solver processes directly reported to runsolver:
#   pid: 27155
#   total CPU time (s): 39.7323
#   total CPU user time (s): 39.2166
#   total CPU system time (s): 0.515654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081142 second user time and 0.155329 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 01:29:58
IDJOB=4392573
IDBENCH=121710
IDSOLVER=2839
FILE ID=node137/4392573-1568417440
RUNJOBID= node137-1568417397-27138
PBS_JOBID= 21702274
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t035/rand-2-40-16-250-035-86.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392573-1568417440/watcher-4392573-1568417440 -o /tmp/evaluation-result-4392573-1568417440/solver-4392573-1568417440 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392573-1568417440.xml

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

MD5SUM BENCH= 95e1ba6edeec6aa2d568f833deab6719
RANDOM SEED=1583931919

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26659120 kB
MemAvailable:   31804964 kB
Buffers:          182708 kB
Cached:          5228568 kB
SwapCached:        77548 kB
Active:          1411056 kB
Inactive:        4081960 kB
Active(anon):       4924 kB
Inactive(anon):   118144 kB
Active(file):    1406132 kB
Inactive(file):  3963816 kB
Unevictable:      109460 kB
Mlocked:          109460 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             20408 kB
Writeback:             0 kB
AnonPages:        168500 kB
Mapped:            44300 kB
Shmem:             32772 kB
Slab:             213112 kB
SReclaimable:     183460 kB
SUnreclaim:        29652 kB
KernelStack:        3664 kB
PageTables:         5948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61408 MiB
End job on node137 at 2019-09-14 01:30:06