Trace number 4405133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 39.7587 8.11389

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7260-serial-file.bin HOME/instance-4405133-1569238763.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Mon Sep 23 13:38:45 CEST 2019
0.65/0.56	c PID: 7263
0.65/0.56	c IP: 172.20.3.123
0.65/0.56	c HOST: node123.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.13/1.06	c (0,0) Parsing End
2.13/1.06	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 250 ctr, max domain size 16
2.13/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.13/1.06	c (0,0) Constraint Name Generate Begin
2.13/1.07	c (0,0) Ctr:HOME/instance-4405133-1569238763.xml,ExtensionConflict:Var
2.13/1.07	c (0,0) Constraint Name Generate End
2.13/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.13/1.07	c (0,0) CSP to CSPinCNF Begin
4.02/1.63	c (1,1) translated 25 (10%) constraints
4.42/1.77	c (1,1) translated 50 (20%) constraints
4.83/1.88	c (1,1) translated 75 (30%) constraints
5.23/1.99	c (1,1) translated 100 (40%) constraints
5.67/2.10	c (1,1) translated 125 (50%) constraints
6.44/2.20	c (1,1) translated 150 (60%) constraints
6.85/2.31	c (1,1) translated 175 (70%) constraints
7.24/2.42	c (1,1) translated 200 (80%) constraints
7.65/2.53	c (1,1) translated 225 (90%) constraints
8.05/2.63	c (2,2) translated 250 (100%) constraints
8.05/2.63	c (2,2) ===========================================
8.05/2.63	c (2,2) Order
8.05/2.63	c (2,2) ===========================================
8.05/2.69	c (2,2) translated 1497 (10%) constraints
8.47/2.74	c (2,2) translated 2993 (20%) constraints
8.47/2.78	c (2,2) translated 4489 (30%) constraints
8.87/2.82	c (2,2) translated 5985 (40%) constraints
8.87/2.87	c (2,2) translated 7481 (50%) constraints
9.18/2.90	c (2,2) translated 8978 (60%) constraints
9.18/2.94	c (2,2) translated 10474 (70%) constraints
9.18/2.98	c (2,2) translated 11970 (80%) constraints
9.41/3.01	c (2,2) translated 13466 (90%) constraints
9.41/3.05	c (2,2) translated 14962 (100%) constraints
9.41/3.05	c (2,2) CSP to CSPinCNF End
9.41/3.05	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.41/3.05	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.41/3.05	c (2,2) CSPinCNF Propagation Begin
10.05/3.20	c (2,2) 0 values, 2338 unsatisfiable literals, and 0 valid clauses are removed
10.05/3.20	c (2,2) CSPinCNF Propagation End
10.05/3.20	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
10.05/3.20	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.05/3.20	c (2,2) Simplify CSPinCNF Begin
10.05/3.26	c (2,2) Simplify CSPinCNF End
10.05/3.26	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
10.05/3.26	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.05/3.26	c (2,2) Calculate Precise Domain Begin
10.05/3.27	c (2,2) 0 values are removed by re-calculation
10.05/3.27	c (2,2) Calculate Precise Domain End
10.05/3.27	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
10.05/3.27	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.05/3.27	c (2,2) CSPinCNF to SatSolver Begin
10.67/3.40	c (2,2) 1497 (10 %) CSP clauses are encoded (0 SAT variables, 2056 SAT clauses)
10.67/3.46	c (2,2) 2993 (20 %) CSP clauses are encoded (0 SAT variables, 3552 SAT clauses)
11.06/3.51	c (2,2) 4489 (30 %) CSP clauses are encoded (0 SAT variables, 5048 SAT clauses)
11.06/3.55	c (3,2) 5985 (40 %) CSP clauses are encoded (0 SAT variables, 6544 SAT clauses)
11.06/3.59	c (3,3) 7481 (50 %) CSP clauses are encoded (0 SAT variables, 8040 SAT clauses)
11.46/3.61	c (3,3) 8978 (60 %) CSP clauses are encoded (0 SAT variables, 9537 SAT clauses)
11.46/3.63	c (3,3) 10474 (70 %) CSP clauses are encoded (0 SAT variables, 11033 SAT clauses)
11.46/3.65	c (3,3) 11970 (80 %) CSP clauses are encoded (0 SAT variables, 12529 SAT clauses)
11.46/3.67	c (3,3) 13466 (90 %) CSP clauses are encoded (0 SAT variables, 14025 SAT clauses)
11.46/3.69	c (3,3) 14962 (100 %) CSP clauses are encoded (0 SAT variables, 15521 SAT clauses)
11.46/3.69	c (3,3) CSPinCNF to SatSolver End
11.46/3.69	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.46/3.69	c (3,3) 600 bool, 15522 clause
11.46/3.69	c (3,3) Export Begin
11.76/3.77	c (3,3) Export to HOME/scop-7260-serial-file.bin
11.76/3.77	c (3,3) Export End
11.76/3.78	c (3,3) Export File Size: 0.01 MB
11.76/3.78	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.76/3.78	c END-Prog: Mon Sep 23 13:38:48 CEST 2019
11.76/3.79	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7260-serial-file.bin
12.49/4.25	c (0,0) Read Serial File Begin
12.49/4.25	c (0,0) HOME/scop-7260-serial-file.bin
12.76/4.46	c (0,0) Read Serial File End
12.76/4.47	
12.76/4.47	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.76/4.47	(Solving Process)
12.76/4.47	
12.76/4.49	c BEGIN-Prog: Mon Sep 23 13:38:48 CEST 2019
12.76/4.49	c PID: 7283
12.76/4.49	c IP: 172.20.3.123
12.76/4.49	c HOST: node123.alineos.net
12.91/4.50	c (0,0) SatSolver.solve Begin
12.91/4.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405133-1569238763.xml-scop-7263.cnf
12.91/4.53	c (0,0) c
12.91/4.53	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)
12.91/4.53	c (0,0) c
12.91/4.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.91/4.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.91/4.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.91/4.53	c (0,0) c |                                                                                                       |
12.91/4.53	c (0,0) c |  Number of variables:           600                                                                   |
12.91/4.53	c (0,0) c |  Number of clauses:           15522                                                                   |
12.91/4.53	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.91/4.53	c (0,0) c |                                                                                                       |
12.91/4.54	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.91/4.54	c (0,0) c |                                                                                                       |
12.91/4.54	c (0,0) c |  Generating clones                                                                                    |
12.91/4.54	c (0,0) c |  all clones generated. Memory =    30.31Mb.                                                           |
12.91/4.54	c (0,0) c ========================================================================================================|
12.91/4.54	c (0,0) c
12.91/4.54	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.91/4.54	c (0,0) c
12.91/4.54	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.91/4.54	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.91/4.54	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.91/4.54	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.91/4.54	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.91/4.54	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.91/4.54	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.91/4.54	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.91/4.54	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.91/4.54	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.91/4.54	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.91/4.54	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.91/4.54	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.91/4.54	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.91/4.54	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.91/4.54	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.91/4.54	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.91/4.54	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.91/4.54	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c real time : 3.46059 s
39.30/7.98	c (3,0) c cpu time  : 26.2159 s
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c | Conflicts     |          586408 |      71771 |      72691 |      72417 |      74676 |      72331 |      73627 |      73068 |      75827 |
39.30/7.98	c (3,0) c | Decisions     |          739287 |      90237 |      91960 |      89917 |      94607 |      90737 |      93434 |      92926 |      95469 |
39.30/7.98	c (3,0) c | Propagations  |        51437525 |    6276658 |    6366492 |    6429993 |    6561242 |    6296489 |    6473820 |    6370712 |    6662119 |
39.30/7.98	c (3,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
39.30/7.98	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
39.30/7.98	c (3,0) c | Restarts      |             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
39.30/7.98	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.30/7.98	c (3,0) c | PropBinClauses|        51022331 |    6216193 |    6312823 |    6411346 |    6484046 |    6276925 |    6430112 |    6295798 |    6595088 |
39.30/7.98	c (3,0) c | PropPreBlocker|      1675353112 |  204962307 |  206701941 |  210648813 |  212426217 |  209718011 |  209626556 |  206586756 |  214682511 |
39.30/7.98	c (3,0) c | PropNotBlocker|       355584462 |   45864532 |   45393295 |   44117586 |   43390857 |   43758937 |   44137133 |   45596912 |   43325210 |
39.30/7.98	c (3,0) c | LitFullScans  |      2510043782 |  312033076 |  312026782 |  315802245 |  316084934 |  312025590 |  312022835 |  312026269 |  318022051 |
39.30/7.98	c (3,0) c | LitScanFracts |           95181 |      10841 |      14884 |      12326 |      10357 |      12129 |      11895 |      11177 |      11572 |
39.30/7.98	c (3,0) c | DecisionLevel0|             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
39.30/7.98	c (3,0) c | Periods       |             417 |         52 |         52 |         52 |         52 |         52 |         52 |         52 |         53 |
39.30/7.98	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
39.30/7.98	c (3,0) c | Avg_Trail     |                 |        312 |        313 |        314 |        316 |        305 |        316 |        314 |        313 |
39.30/7.98	c (3,0) c | Avg_DL        |                 |         13 |         13 |         13 |         13 |         12 |         13 |         13 |         12 |
39.30/7.98	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.30/7.98	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c | Exported      |           95530 |      11407 |      11431 |      11935 |      11897 |      11832 |      12057 |      12256 |      12715 |
39.30/7.98	c (3,0) c | Imported      |          502031 |      61859 |      58930 |      62740 |      65001 |      63550 |      64063 |      60876 |      65012 |
39.30/7.98	c (3,0) c | Good          |             374 |         48 |         39 |         51 |         52 |         46 |         45 |         45 |         48 |
39.30/7.98	c (3,0) c | Purge         |          501657 |      61811 |      58891 |      62689 |      64949 |      63504 |      64018 |      60831 |      64964 |
39.30/7.98	c (3,0) c | Promoted      |           21706 |       2960 |       2429 |       2174 |       2840 |       2917 |       2992 |       2588 |       2806 |
39.30/7.98	c (3,0) c | Remove_Imp    |          194024 |      23481 |      28858 |      20063 |      14296 |      29449 |      27137 |      26267 |      24473 |
39.30/7.98	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
39.30/7.98	c (3,0) c | Binaries      |                 |          6 |         10 |          7 |          4 |         11 |         13 |          8 |         10 |
39.30/7.98	c (3,0) c | Glues         |                 |        280 |        248 |        247 |        244 |        252 |        281 |        306 |        254 |
39.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c | Orig_Seen     |            96 % |      14986 |      14928 |      14798 |      14965 |      14810 |      15062 |      14938 |      14934 |
39.30/7.98	c (3,0) c | Diff Orig seen|                 |        188 |        130 |      X     |        167 |         12 |        264 |        140 |        136 |
39.30/7.98	c (3,0) c | Hamming       |            32 % |        207 |        202 |      X     |        174 |        204 |        199 |        214 |        149 |
39.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c | RunningTime   |                 |    3.4  99%|    3.4  99%|    3.2  99%|    3.2  99%|    3.3 100%|    3.3  99%|    3.4 100%|    3.2  99%|
39.30/7.98	c (3,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.30/7.98	c (3,0) c | ExchangingTime|                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|
39.30/7.98	c (3,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.30/7.98	c (3,0) c | SolvingTime   |                 |    3.4     |    3.4     |    3.2     |    3.2     |    3.3     |    3.3     |    3.4     |    3.2     |
39.30/7.98	c (3,0) c | PropagationTim|                 |    2.9  85%|    2.9  84%|    2.7  83%|    2.7  83%|    2.8  84%|    2.8  83%|    2.9  84%|    2.7  83%|
39.30/7.98	c (3,0) c | AnalysisTime  |                 |    0.4  11%|    0.4  11%|    0.4  12%|    0.4  12%|    0.4  11%|    0.4  12%|    0.4  11%|    0.4  12%|
39.30/7.98	c (3,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.30/7.98	c (3,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.30/7.98	c (3,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.30/7.98	c (3,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.30/7.98	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c
39.30/7.98	c (3,0) c Threads : 8
39.30/7.98	c (3,0) c Winner : 2
39.30/7.98	c (3,0) c Conflicts_0 : 71771
39.30/7.98	c (3,0) c Conflicts_1 : 72691
39.30/7.98	c (3,0) c Conflicts_2 : 72417
39.30/7.98	c (3,0) c Conflicts_3 : 74676
39.30/7.98	c (3,0) c Conflicts_4 : 72331
39.30/7.98	c (3,0) c Conflicts_5 : 73627
39.30/7.98	c (3,0) c Conflicts_6 : 73068
39.30/7.99	c (3,0) c Conflicts_7 : 75827
39.30/7.99	c (3,0) c Conflicts_total : 586408
39.30/7.99	c (3,0) c Conflicts_winner : 72417
39.30/7.99	c (3,0) c Decisions_0 : 90237
39.30/7.99	c (3,0) c Decisions_1 : 91960
39.30/7.99	c (3,0) c Decisions_2 : 89917
39.30/7.99	c (3,0) c Decisions_3 : 94607
39.30/7.99	c (3,0) c Decisions_4 : 90737
39.30/7.99	c (3,0) c Decisions_5 : 93434
39.30/7.99	c (3,0) c Decisions_6 : 92926
39.30/7.99	c (3,0) c Decisions_7 : 95469
39.30/7.99	c (3,0) c Decisions_total : 739287
39.30/7.99	c (3,0) c Decisions_winner : 89917
39.30/7.99	c (3,0) c Propagations_0 : 6276658
39.30/7.99	c (3,0) c Propagations_1 : 6366492
39.30/7.99	c (3,0) c Propagations_2 : 6429993
39.30/7.99	c (3,0) c Propagations_3 : 6561242
39.30/7.99	c (3,0) c Propagations_4 : 6296489
39.30/7.99	c (3,0) c Propagations_5 : 6473820
39.30/7.99	c (3,0) c Propagations_6 : 6370712
39.30/7.99	c (3,0) c Propagations_7 : 6662119
39.30/7.99	c (3,0) c Propagations_total : 51437525
39.30/7.99	c (3,0) c Propagations_winner : 6429993
39.30/7.99	c (3,0) c ReduceDBs_0 : 7
39.30/7.99	c (3,0) c ReduceDBs_1 : 7
39.30/7.99	c (3,0) c ReduceDBs_2 : 7
39.30/7.99	c (3,0) c ReduceDBs_3 : 7
39.30/7.99	c (3,0) c ReduceDBs_4 : 7
39.30/7.99	c (3,0) c ReduceDBs_5 : 7
39.30/7.99	c (3,0) c ReduceDBs_6 : 7
39.30/7.99	c (3,0) c ReduceDBs_7 : 7
39.30/7.99	c (3,0) c ReduceDBs_total : 56
39.30/7.99	c (3,0) c ReduceDBs_winner : 7
39.30/7.99	c (3,0) c SimpDBs_0 : 1
39.30/7.99	c (3,0) c SimpDBs_1 : 1
39.30/7.99	c (3,0) c SimpDBs_2 : 1
39.30/7.99	c (3,0) c SimpDBs_3 : 1
39.30/7.99	c (3,0) c SimpDBs_4 : 1
39.30/7.99	c (3,0) c SimpDBs_5 : 1
39.30/7.99	c (3,0) c SimpDBs_6 : 1
39.30/7.99	c (3,0) c SimpDBs_7 : 1
39.30/7.99	c (3,0) c SimpDBs_total : 8
39.30/7.99	c (3,0) c SimpDBs_winner : 1
39.30/7.99	c (3,0) c Restarts_0 : 35
39.30/7.99	c (3,0) c Restarts_1 : 40
39.30/7.99	c (3,0) c Restarts_2 : 23
39.30/7.99	c (3,0) c Restarts_3 : 30
39.30/7.99	c (3,0) c Restarts_4 : 35
39.30/7.99	c (3,0) c Restarts_5 : 53
39.30/7.99	c (3,0) c Restarts_6 : 66
39.30/7.99	c (3,0) c Restarts_7 : 25
39.30/7.99	c (3,0) c Restarts_total : 307
39.30/7.99	c (3,0) c Restarts_winner : 23
39.30/7.99	c (3,0) c ForcedImports_0 : 0
39.30/7.99	c (3,0) c ForcedImports_1 : 0
39.30/7.99	c (3,0) c ForcedImports_2 : 0
39.30/7.99	c (3,0) c ForcedImports_3 : 0
39.30/7.99	c (3,0) c ForcedImports_4 : 0
39.30/7.99	c (3,0) c ForcedImports_5 : 0
39.30/7.99	c (3,0) c ForcedImports_6 : 0
39.30/7.99	c (3,0) c ForcedImports_7 : 0
39.30/7.99	c (3,0) c ForcedImports_total : 0
39.30/7.99	c (3,0) c ForcedImports_winner : 0
39.30/7.99	c (3,0) c PropsBinClauses_0 : 6216193
39.30/7.99	c (3,0) c PropsBinClauses_1 : 6312823
39.30/7.99	c (3,0) c PropsBinClauses_2 : 6411346
39.30/7.99	c (3,0) c PropsBinClauses_3 : 6484046
39.30/7.99	c (3,0) c PropsBinClauses_4 : 6276925
39.30/7.99	c (3,0) c PropsBinClauses_5 : 6430112
39.30/7.99	c (3,0) c PropsBinClauses_6 : 6295798
39.30/7.99	c (3,0) c PropsBinClauses_7 : 6595088
39.30/7.99	c (3,0) c PropsBinClauses_total : 51022331
39.30/7.99	c (3,0) c PropsBinClauses_winner : 6411346
39.30/7.99	c (3,0) c PropsPreBlocker_0 : 204962307
39.30/7.99	c (3,0) c PropsPreBlocker_1 : 206701941
39.30/7.99	c (3,0) c PropsPreBlocker_2 : 210648813
39.30/7.99	c (3,0) c PropsPreBlocker_3 : 212426217
39.30/7.99	c (3,0) c PropsPreBlocker_4 : 209718011
39.30/7.99	c (3,0) c PropsPreBlocker_5 : 209626556
39.30/7.99	c (3,0) c PropsPreBlocker_6 : 206586756
39.30/7.99	c (3,0) c PropsPreBlocker_7 : 214682511
39.30/7.99	c (3,0) c PropsPreBlocker_total : 1675353112
39.30/7.99	c (3,0) c PropsPreBlocker_winner : 210648813
39.30/7.99	c (3,0) c PropsNotBlocker_0 : 45864532
39.30/7.99	c (3,0) c PropsNotBlocker_1 : 45393295
39.30/7.99	c (3,0) c PropsNotBlocker_2 : 44117586
39.30/7.99	c (3,0) c PropsNotBlocker_3 : 43390857
39.30/7.99	c (3,0) c PropsNotBlocker_4 : 43758937
39.30/7.99	c (3,0) c PropsNotBlocker_5 : 44137133
39.30/7.99	c (3,0) c PropsNotBlocker_6 : 45596912
39.30/7.99	c (3,0) c PropsNotBlocker_7 : 43325210
39.30/7.99	c (3,0) c PropsNotBlocker_total : 355584462
39.30/7.99	c (3,0) c PropsNotBlocker_winner : 44117586
39.30/7.99	c (3,0) c PropsLitFullScans_0 : 312033076
39.30/7.99	c (3,0) c PropsLitFullScans_1 : 312026782
39.30/7.99	c (3,0) c PropsLitFullScans_2 : 315802245
39.30/7.99	c (3,0) c PropsLitFullScans_3 : 316084934
39.30/7.99	c (3,0) c PropsLitFullScans_4 : 312025590
39.30/7.99	c (3,0) c PropsLitFullScans_5 : 312022835
39.30/7.99	c (3,0) c PropsLitFullScans_6 : 312026269
39.30/7.99	c (3,0) c PropsLitFullScans_7 : 318022051
39.30/7.99	c (3,0) c PropsLitFullScans_total : 2510043782
39.30/7.99	c (3,0) c PropsLitFullScans_winner : 315802245
39.30/7.99	c (3,0) c LitScanFractions_0 : 10841
39.30/7.99	c (3,0) c LitScanFractions_1 : 14884
39.30/7.99	c (3,0) c LitScanFractions_2 : 12326
39.30/7.99	c (3,0) c LitScanFractions_3 : 10357
39.30/7.99	c (3,0) c LitScanFractions_4 : 12129
39.30/7.99	c (3,0) c LitScanFractions_5 : 11895
39.30/7.99	c (3,0) c LitScanFractions_6 : 11177
39.30/7.99	c (3,0) c LitScanFractions_7 : 11572
39.30/7.99	c (3,0) c LitScanFractions_total : 95181
39.30/7.99	c (3,0) c LitScanFractions_winner : 12326
39.30/7.99	c (3,0) c DecisionLevel0_0 : 35
39.30/7.99	c (3,0) c DecisionLevel0_1 : 40
39.30/7.99	c (3,0) c DecisionLevel0_2 : 23
39.30/7.99	c (3,0) c DecisionLevel0_3 : 30
39.30/7.99	c (3,0) c DecisionLevel0_4 : 35
39.30/7.99	c (3,0) c DecisionLevel0_5 : 53
39.30/7.99	c (3,0) c DecisionLevel0_6 : 66
39.30/7.99	c (3,0) c DecisionLevel0_7 : 25
39.30/7.99	c (3,0) c DecisionLevel0_total : 307
39.30/7.99	c (3,0) c DecisionLevel0_winner : 23
39.30/7.99	c (3,0) c Periods_0 : 52
39.30/7.99	c (3,0) c Periods_1 : 52
39.30/7.99	c (3,0) c Periods_2 : 52
39.30/7.99	c (3,0) c Periods_3 : 52
39.30/7.99	c (3,0) c Periods_4 : 52
39.30/7.99	c (3,0) c Periods_5 : 52
39.30/7.99	c (3,0) c Periods_6 : 52
39.30/7.99	c (3,0) c Periods_7 : 53
39.30/7.99	c (3,0) c Periods_total : 417
39.30/7.99	c (3,0) c Periods_winner : 52
39.30/7.99	c (3,0) c Margin_0 : 20
39.30/7.99	c (3,0) c Margin_1 : 20
39.30/7.99	c (3,0) c Margin_2 : 20
39.30/7.99	c (3,0) c Margin_3 : 20
39.30/7.99	c (3,0) c Margin_4 : 20
39.30/7.99	c (3,0) c Margin_5 : 20
39.30/7.99	c (3,0) c Margin_6 : 20
39.30/7.99	c (3,0) c Margin_7 : 20
39.30/7.99	c (3,0) c Margin_total : 160
39.30/7.99	c (3,0) c Margin_winner : 20
39.30/7.99	c (3,0) c Exported_0 : 11407
39.30/7.99	c (3,0) c Exported_1 : 11431
39.30/7.99	c (3,0) c Exported_2 : 11935
39.30/7.99	c (3,0) c Exported_3 : 11897
39.30/7.99	c (3,0) c Exported_4 : 11832
39.30/7.99	c (3,0) c Exported_5 : 12057
39.30/7.99	c (3,0) c Exported_6 : 12256
39.30/7.99	c (3,0) c Exported_7 : 12715
39.30/7.99	c (3,0) c Exported_total : 95530
39.30/7.99	c (3,0) c Exported_winner : 11935
39.30/7.99	c (3,0) c Imported_0 : 61859
39.30/7.99	c (3,0) c Imported_1 : 58930
39.30/7.99	c (3,0) c Imported_2 : 62740
39.30/7.99	c (3,0) c Imported_3 : 65001
39.30/7.99	c (3,0) c Imported_4 : 63550
39.30/7.99	c (3,0) c Imported_5 : 64063
39.30/7.99	c (3,0) c Imported_6 : 60876
39.30/7.99	c (3,0) c Imported_7 : 65012
39.30/7.99	c (3,0) c Imported_total : 502031
39.30/7.99	c (3,0) c Imported_winner : 62740
39.30/7.99	c (3,0) c Good_0 : 48
39.30/7.99	c (3,0) c Good_1 : 39
39.30/7.99	c (3,0) c Good_2 : 51
39.30/7.99	c (3,0) c Good_3 : 52
39.30/7.99	c (3,0) c Good_4 : 46
39.30/7.99	c (3,0) c Good_5 : 45
39.30/7.99	c (3,0) c Good_6 : 45
39.30/7.99	c (3,0) c Good_7 : 48
39.30/7.99	c (3,0) c Good_total : 374
39.30/7.99	c (3,0) c Good_winner : 51
39.30/7.99	c (3,0) c Purge_0 : 61811
39.30/7.99	c (3,0) c Purge_1 : 58891
39.30/7.99	c (3,0) c Purge_2 : 62689
39.30/7.99	c (3,0) c Purge_3 : 64949
39.30/7.99	c (3,0) c Purge_4 : 63504
39.30/7.99	c (3,0) c Purge_5 : 64018
39.30/7.99	c (3,0) c Purge_6 : 60831
39.30/7.99	c (3,0) c Purge_7 : 64964
39.30/7.99	c (3,0) c Purge_total : 501657
39.30/7.99	c (3,0) c Purge_winner : 62689
39.30/7.99	c (3,0) c Promoted_0 : 2960
39.30/7.99	c (3,0) c Promoted_1 : 2429
39.30/7.99	c (3,0) c Promoted_2 : 2174
39.30/7.99	c (3,0) c Promoted_3 : 2840
39.30/7.99	c (3,0) c Promoted_4 : 2917
39.30/7.99	c (3,0) c Promoted_5 : 2992
39.30/7.99	c (3,0) c Promoted_6 : 2588
39.30/7.99	c (3,0) c Promoted_7 : 2806
39.30/7.99	c (3,0) c Promoted_total : 21706
39.30/7.99	c (3,0) c Promoted_winner : 2174
39.30/7.99	c (3,0) c Remove_Imp_0 : 23481
39.30/7.99	c (3,0) c Remove_Imp_1 : 28858
39.30/7.99	c (3,0) c Remove_Imp_2 : 20063
39.30/7.99	c (3,0) c Remove_Imp_3 : 14296
39.30/7.99	c (3,0) c Remove_Imp_4 : 29449
39.30/7.99	c (3,0) c Remove_Imp_5 : 27137
39.30/7.99	c (3,0) c Remove_Imp_6 : 26267
39.30/7.99	c (3,0) c Remove_Imp_7 : 24473
39.30/7.99	c (3,0) c Remove_Imp_total : 194024
39.30/7.99	c (3,0) c Remove_Imp_winner : 20063
39.30/7.99	c (3,0) c Blocked_Reuse_0 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_1 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_2 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_3 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_4 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_5 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_6 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_7 : 0
39.30/7.99	c (3,0) c Blocked_Reuse_total : 0
39.30/7.99	c (3,0) c Blocked_Reuse_winner : 0
39.30/7.99	c (3,0) c Unaries_0 : 0
39.30/7.99	c (3,0) c Unaries_1 : 0
39.30/7.99	c (3,0) c Unaries_2 : 0
39.30/7.99	c (3,0) c Unaries_3 : 0
39.30/7.99	c (3,0) c Unaries_4 : 0
39.30/7.99	c (3,0) c Unaries_5 : 0
39.30/7.99	c (3,0) c Unaries_6 : 0
39.30/7.99	c (3,0) c Unaries_7 : 0
39.30/7.99	c (3,0) c Unaries_total : 0
39.30/7.99	c (3,0) c Unaries_winner : 0
39.30/7.99	c (3,0) c Binaries_0 : 6
39.30/7.99	c (3,0) c Binaries_1 : 10
39.30/7.99	c (3,0) c Binaries_2 : 7
39.30/7.99	c (3,0) c Binaries_3 : 4
39.30/7.99	c (3,0) c Binaries_4 : 11
39.30/7.99	c (3,0) c Binaries_5 : 13
39.30/7.99	c (3,0) c Binaries_6 : 8
39.30/7.99	c (3,0) c Binaries_7 : 10
39.30/7.99	c (3,0) c Binaries_total : 69
39.30/7.99	c (3,0) c Binaries_winner : 7
39.30/7.99	c (3,0) c Glues_0 : 280
39.30/7.99	c (3,0) c Glues_1 : 248
39.30/7.99	c (3,0) c Glues_2 : 247
39.30/7.99	c (3,0) c Glues_3 : 244
39.30/7.99	c (3,0) c Glues_4 : 252
39.30/7.99	c (3,0) c Glues_5 : 281
39.30/7.99	c (3,0) c Glues_6 : 306
39.30/7.99	c (3,0) c Glues_7 : 254
39.30/7.99	c (3,0) c Glues_total : 2112
39.30/7.99	c (3,0) c Glues_winner : 247
39.30/7.99	c (3,0) c RunningTime_0 : 3.401242
39.30/7.99	c (3,0) c RunningTime_1 : 3.368893
39.30/7.99	c (3,0) c RunningTime_2 : 3.181444
39.30/7.99	c (3,0) c RunningTime_3 : 3.196592
39.30/7.99	c (3,0) c RunningTime_4 : 3.267923
39.30/7.99	c (3,0) c RunningTime_5 : 3.289021
39.30/7.99	c (3,0) c RunningTime_6 : 3.415573
39.30/7.99	c (3,0) c RunningTime_7 : 3.199057
39.30/7.99	c (3,0) c RunningTime_total : 26.319746
39.30/7.99	c (3,0) c RunningTime_winner : 3.181444
39.30/7.99	c (3,0) c WaitingTime_0 : 0.000032
39.30/7.99	c (3,0) c WaitingTime_1 : 0.000032
39.30/7.99	c (3,0) c WaitingTime_2 : 0.000035
39.30/7.99	c (3,0) c WaitingTime_3 : 0.000034
39.30/7.99	c (3,0) c WaitingTime_4 : 0.000041
39.30/7.99	c (3,0) c WaitingTime_5 : 0.000045
39.30/7.99	c (3,0) c WaitingTime_6 : 0.000031
39.30/7.99	c (3,0) c WaitingTime_7 : 0.000026
39.30/7.99	c (3,0) c WaitingTime_total : 0.000275
39.30/7.99	c (3,0) c WaitingTime_winner : 0.000035
39.30/7.99	c (3,0) c ExchangingTime_0 : 0.017001
39.30/7.99	c (3,0) c ExchangingTime_1 : 0.016932
39.30/7.99	c (3,0) c ExchangingTime_2 : 0.018726
39.30/7.99	c (3,0) c ExchangingTime_3 : 0.018435
39.30/7.99	c (3,0) c ExchangingTime_4 : 0.016009
39.30/7.99	c (3,0) c ExchangingTime_5 : 0.016589
39.30/7.99	c (3,0) c ExchangingTime_6 : 0.015378
39.30/7.99	c (3,0) c ExchangingTime_7 : 0.017116
39.30/7.99	c (3,0) c ExchangingTime_total : 0.136186
39.30/8.00	c (3,0) c ExchangingTime_winner : 0.018726
39.30/8.00	c (3,0) c PeriodProcTime_0 : 0.000313
39.30/8.00	c (3,0) c PeriodProcTime_1 : 0.000293
39.30/8.00	c (3,0) c PeriodProcTime_2 : 0.000360
39.30/8.00	c (3,0) c PeriodProcTime_3 : 0.000329
39.30/8.00	c (3,0) c PeriodProcTime_4 : 0.000321
39.30/8.00	c (3,0) c PeriodProcTime_5 : 0.000309
39.30/8.00	c (3,0) c PeriodProcTime_6 : 0.000364
39.30/8.00	c (3,0) c PeriodProcTime_7 : 0.000319
39.30/8.00	c (3,0) c PeriodProcTime_total : 0.002608
39.30/8.00	c (3,0) c PeriodProcTime_winner : 0.000360
39.30/8.00	c (3,0) c SolvingTime_0 : 3.418588
39.30/8.00	c (3,0) c SolvingTime_1 : 3.386150
39.30/8.00	c (3,0) c SolvingTime_2 : 3.200565
39.30/8.00	c (3,0) c SolvingTime_3 : 3.215391
39.30/8.00	c (3,0) c SolvingTime_4 : 3.284293
39.30/8.00	c (3,0) c SolvingTime_5 : 3.305964
39.30/8.00	c (3,0) c SolvingTime_6 : 3.431347
39.30/8.00	c (3,0) c SolvingTime_7 : 3.216517
39.30/8.00	c (3,0) c SolvingTime_total : 26.458815
39.30/8.00	c (3,0) c SolvingTime_winner : 3.200565
39.30/8.00	c (3,0) c PropagationTime_0 : 2.892601
39.30/8.00	c (3,0) c PropagationTime_1 : 2.853975
39.30/8.00	c (3,0) c PropagationTime_2 : 2.653189
39.30/8.00	c (3,0) c PropagationTime_3 : 2.672747
39.30/8.00	c (3,0) c PropagationTime_4 : 2.752713
39.30/8.00	c (3,0) c PropagationTime_5 : 2.758199
39.30/8.00	c (3,0) c PropagationTime_6 : 2.872049
39.30/8.00	c (3,0) c PropagationTime_7 : 2.663090
39.30/8.00	c (3,0) c PropagationTime_total : 22.118563
39.30/8.00	c (3,0) c PropagationTime_winner : 2.653189
39.30/8.00	c (3,0) c AnalysisTime_0 : 0.365158
39.30/8.00	c (3,0) c AnalysisTime_1 : 0.374203
39.30/8.00	c (3,0) c AnalysisTime_2 : 0.387572
39.30/8.00	c (3,0) c AnalysisTime_3 : 0.388524
39.30/8.00	c (3,0) c AnalysisTime_4 : 0.374442
39.30/8.00	c (3,0) c AnalysisTime_5 : 0.382624
39.30/8.00	c (3,0) c AnalysisTime_6 : 0.394376
39.30/8.00	c (3,0) c AnalysisTime_7 : 0.394350
39.30/8.00	c (3,0) c AnalysisTime_total : 3.061248
39.30/8.00	c (3,0) c AnalysisTime_winner : 0.387572
39.30/8.00	c (3,0) c ReductionTime_0 : 0.053412
39.30/8.00	c (3,0) c ReductionTime_1 : 0.057579
39.30/8.00	c (3,0) c ReductionTime_2 : 0.055529
39.30/8.00	c (3,0) c ReductionTime_3 : 0.052824
39.30/8.00	c (3,0) c ReductionTime_4 : 0.058625
39.30/8.00	c (3,0) c ReductionTime_5 : 0.061827
39.30/8.00	c (3,0) c ReductionTime_6 : 0.060304
39.30/8.00	c (3,0) c ReductionTime_7 : 0.057554
39.30/8.00	c (3,0) c ReductionTime_total : 0.457652
39.30/8.00	c (3,0) c ReductionTime_winner : 0.055529
39.30/8.00	c (3,0) c SimplifyTime_0 : 0.000001
39.30/8.00	c (3,0) c SimplifyTime_1 : 0.000004
39.30/8.00	c (3,0) c SimplifyTime_2 : 0.000001
39.30/8.00	c (3,0) c SimplifyTime_3 : 0.000001
39.30/8.00	c (3,0) c SimplifyTime_4 : 0.000002
39.30/8.00	c (3,0) c SimplifyTime_5 : 0.000004
39.30/8.00	c (3,0) c SimplifyTime_6 : 0.000008
39.30/8.00	c (3,0) c SimplifyTime_7 : 0.000002
39.30/8.00	c (3,0) c SimplifyTime_total : 0.000023
39.30/8.00	c (3,0) c SimplifyTime_winner : 0.000001
39.30/8.00	c (3,0) c UsedRateTime_0 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_1 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_2 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_3 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_4 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_5 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_6 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_7 : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_total : 0.000000
39.30/8.00	c (3,0) c UsedRateTime_winner : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_0 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_1 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_2 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_3 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_4 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_5 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_6 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_7 : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_total : 0.000000
39.30/8.00	c (3,0) c OverlapRateTime_winner : 0.000000
39.30/8.00	c (3,0) c
39.30/8.00	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.30/8.00	c (3,0) c
39.30/8.00	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/8.00	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.30/8.00	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/8.00	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.30/8.00	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.30/8.00	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.30/8.00	c (3,0) c | Initial random_seed   | 1090332017 | 1728973424 |  821486905 | 2050453432 |  828891222 | 2073001256 | 1094628494 | 1150420199 |
39.30/8.00	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.30/8.00	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.30/8.00	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.30/8.00	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.30/8.00	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.30/8.00	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.30/8.00	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.30/8.00	c (3,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9500 |
39.30/8.00	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.30/8.00	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.30/8.00	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.30/8.00	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.30/8.00	c (3,0) 
39.30/8.00	c (3,0) s SATISFIABLE
39.30/8.01	c (3,0) SatSolver.solve End
39.30/8.01	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.30/8.01	c (3,0) Show results Begin
39.58/8.09	c (3,0) x[0] = 12
39.58/8.09	c (3,0) x[1] = 11
39.58/8.09	c (3,0) x[2] = 15
39.58/8.09	c (3,0) x[3] = 5
39.58/8.09	c (3,0) x[4] = 14
39.58/8.09	c (3,0) x[5] = 11
39.58/8.09	c (3,0) x[6] = 0
39.58/8.09	c (3,0) x[7] = 9
39.58/8.09	c (3,0) x[8] = 5
39.58/8.09	c (3,0) x[9] = 9
39.58/8.09	c (3,0) x[10] = 5
39.58/8.09	c (3,0) x[11] = 7
39.58/8.09	c (3,0) x[12] = 4
39.58/8.09	c (3,0) x[13] = 9
39.58/8.09	c (3,0) x[14] = 0
39.58/8.09	c (3,0) x[15] = 0
39.58/8.09	c (3,0) x[16] = 14
39.58/8.09	c (3,0) x[17] = 15
39.58/8.09	c (3,0) x[18] = 10
39.58/8.09	c (3,0) x[19] = 10
39.58/8.09	c (3,0) x[20] = 15
39.58/8.09	c (3,0) x[21] = 15
39.58/8.09	c (3,0) x[22] = 10
39.58/8.09	c (3,0) x[23] = 12
39.58/8.09	c (3,0) x[24] = 0
39.58/8.09	c (3,0) x[25] = 3
39.58/8.09	c (3,0) x[26] = 9
39.58/8.09	c (3,0) x[27] = 1
39.58/8.09	c (3,0) x[28] = 7
39.58/8.09	c (3,0) x[29] = 4
39.58/8.09	c (3,0) x[30] = 0
39.58/8.09	c (3,0) x[31] = 1
39.58/8.09	c (3,0) x[32] = 15
39.58/8.09	c (3,0) x[33] = 5
39.58/8.09	c (3,0) x[34] = 5
39.58/8.09	c (3,0) x[35] = 15
39.58/8.09	c (3,0) x[36] = 6
39.58/8.09	c (3,0) x[37] = 8
39.58/8.09	c (3,0) x[38] = 12
39.58/8.09	c (3,0) x[39] = 14
39.58/8.09	s SATISFIABLE
39.58/8.09	v <instantiation>
39.58/8.09	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.58/8.09	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.58/8.09	v </instantiation>
39.58/8.09	c (3,0) Show results End
39.58/8.09	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
39.58/8.09	c (3,0) 3,3,STOP-AFTER(ALL)
39.58/8.09	c END-Prog: Mon Sep 23 13:38:52 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 (10923 MiB free)
  memory of node 1: 16384 MiB (14074 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100128 s]*
/proc/loadavg: 6.44 2.67 1.03 2/211 7282
/proc/meminfo: memFree=25504500/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500141163 115843072 348 33554432000 4194304 5098028 140728259404848 140728259402104 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 348 296 221 0 87 0
[pid=7263] ppid=7260 vsize=27314120 memory=105584 CPUtime=0.1 cores=0-7
/proc/7263/stat : 7263 (java) S 7260 7260 7086 0 -1 1077944320 6501 0 0 0 8 2 0 0 20 0 20 0 500141164 27969658880 26396 33554432000 4194304 4196468 140737235553728 140737235536272 140588567031543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
/proc/7263/statm: 6828530 26396 2796 1 0 6790935 0
[pid=7263/tid=7264] ppid=7260 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/7263/task/7264/stat : 7264 (java) R 7260 7260 7086 0 -1 4202560 4586 0 0 0 7 2 0 0 20 0 20 0 500141164 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588538854592 140588551112030 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7265] ppid=7260 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7263/task/7265/stat : 7265 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588571273488 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7266] ppid=7260 vsize=27314120 memory=139903239616128 CPUtime=0 cores=0-7
/proc/7263/task/7266/stat : 7266 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588385429904 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7267] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7267/stat : 7267 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588384377360 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7268] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7268/stat : 7268 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588383324816 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7269] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7269/stat : 7269 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588382272272 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7270] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7270/stat : 7270 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588381219728 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7271] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7271/stat : 7271 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588380167184 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7272] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7272/stat : 7272 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141167 27969658880 26908 33554432000 4194304 4196468 140737235553728 140588379114640 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7273] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7273/stat : 7273 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141168 27969658880 26908 33554432000 4194304 4196468 140737235553728 140587020802032 140588567042690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7274] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7274/stat : 7274 (java) S 7260 7260 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500141168 27969658880 26908 33554432000 4194304 4196468 140737235553728 140586224968608 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7275] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7275/stat : 7275 (java) S 7260 7260 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500141169 27969658880 26908 33554432000 4194304 4196468 140737235553728 140586090746864 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7276] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7276/stat : 7276 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 26908 33554432000 4194304 4196468 140737235553728 140585716242640 140588567050139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7277] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7277/stat : 7277 (java) S 7260 7260 7086 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 26908 33554432000 4194304 4196468 140737235553728 140587019749872 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7278] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7278/stat : 7278 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 26908 33554432000 4194304 4196468 140737235553728 140587018697328 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7279] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7279/stat : 7279 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 26908 33554432000 4194304 4196468 140737235553728 140587017644784 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7280] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7280/stat : 7280 (java) S 7260 7260 7086 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 26908 33554432000 4194304 4196468 140737235553728 140587016592240 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7281] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7281/stat : 7281 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 26908 33554432000 4194304 4196468 140737235553728 140585218336992 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7282] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7282/stat : 7282 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141172 27969658880 26908 33554432000 4194304 4196468 140737235553728 140587015539120 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106976 KiB

[startup+0.210514 s]*
/proc/loadavg: 6.44 2.67 1.03 2/211 7282
/proc/meminfo: memFree=25483448/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500141163 115843072 348 33554432000 4194304 5098028 140728259404848 140728259402104 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 348 296 221 0 87 0
[pid=7263] ppid=7260 vsize=27314120 memory=124684 CPUtime=0.24 cores=0-7
/proc/7263/stat : 7263 (java) S 7260 7260 7086 0 -1 1077944320 12103 0 0 0 19 5 0 0 20 0 20 0 500141164 27969658880 31171 33554432000 4194304 4196468 140737235553728 140737235536272 140588567031543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
/proc/7263/statm: 6828530 31171 2923 1 0 6790935 0
[pid=7263/tid=7264] ppid=7260 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7263/task/7264/stat : 7264 (java) R 7260 7260 7086 0 -1 4202560 9804 0 0 0 16 4 0 0 20 0 20 0 500141164 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588538847952 140588547307418 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7265] ppid=7260 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/7263/task/7265/stat : 7265 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588571273488 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7266] ppid=7260 vsize=27314120 memory=139903239627282 CPUtime=0 cores=0-7
/proc/7263/task/7266/stat : 7266 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588385429904 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7267] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7267/stat : 7267 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588384377360 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7268] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7268/stat : 7268 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588383324816 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7269] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7269/stat : 7269 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588382272272 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7270] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7270/stat : 7270 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588381219728 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7271] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7271/stat : 7271 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588380167184 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7272] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7272/stat : 7272 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141167 27969658880 31171 33554432000 4194304 4196468 140737235553728 140588379114640 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7273] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7273/stat : 7273 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141168 27969658880 31171 33554432000 4194304 4196468 140737235553728 140587020802032 140588567042690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7274] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7274/stat : 7274 (java) S 7260 7260 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500141168 27969658880 31171 33554432000 4194304 4196468 140737235553728 140586224968608 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7275] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7275/stat : 7275 (java) S 7260 7260 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500141169 27969658880 31171 33554432000 4194304 4196468 140737235553728 140586090746864 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7276] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7276/stat : 7276 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 31171 33554432000 4194304 4196468 140737235553728 140585716242640 140588567050139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7277] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7277/stat : 7277 (java) S 7260 7260 7086 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 31171 33554432000 4194304 4196468 140737235553728 140587019749872 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7278] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7278/stat : 7278 (java) S 7260 7260 7086 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 31171 33554432000 4194304 4196468 140737235553728 140587018697328 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7279] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7279/stat : 7279 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 31171 33554432000 4194304 4196468 140737235553728 140587017644784 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7280] ppid=7260 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7263/task/7280/stat : 7280 (java) S 7260 7260 7086 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 500141171 27969658880 31171 33554432000 4194304 4196468 140737235553728 140587016592240 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7281] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7281/stat : 7281 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 31171 33554432000 4194304 4196468 140737235553728 140585218336992 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7282] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7282/stat : 7282 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141172 27969658880 31171 33554432000 4194304 4196468 140737235553728 140587015539120 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126076 KiB

[startup+0.31029 s]*
/proc/loadavg: 6.44 2.67 1.03 2/211 7282
/proc/meminfo: memFree=25480780/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500141163 115843072 348 33554432000 4194304 5098028 140728259404848 140728259402104 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 348 296 221 0 87 0
[pid=7263] ppid=7260 vsize=27314120 memory=128552 CPUtime=0.42 cores=0-7
/proc/7263/stat : 7263 (java) S 7260 7260 7086 0 -1 1077944320 12464 0 0 0 37 5 0 0 20 0 20 0 500141164 27969658880 32138 33554432000 4194304 4196468 140737235553728 140737235536272 140588567031543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
/proc/7263/statm: 6828530 32138 3066 1 0 6790935 0
[pid=7263/tid=7264] ppid=7260 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/7263/task/7264/stat : 7264 (java) R 7260 7260 7086 0 -1 4202560 9991 0 0 0 26 4 0 0 20 0 20 0 500141164 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588538857808 140588552197215 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7265] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7265/stat : 7265 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588571273488 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7266] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7266/stat : 7266 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588385429904 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7267] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7267/stat : 7267 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588384377360 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7268] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7268/stat : 7268 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588383324816 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7269] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7269/stat : 7269 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588382272272 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7270] ppid=7260 vsize=27314120 memory=139903123942063 CPUtime=0 cores=0-7
/proc/7263/task/7270/stat : 7270 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588381219728 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7271] ppid=7260 vsize=27314120 memory=139903123944368 CPUtime=0 cores=0-7
/proc/7263/task/7271/stat : 7271 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141166 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588380167184 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7272] ppid=7260 vsize=27314120 memory=139903123946672 CPUtime=0 cores=0-7
/proc/7263/task/7272/stat : 7272 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141167 27969658880 32138 33554432000 4194304 4196468 140737235553728 140588379114640 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7273] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7273/stat : 7273 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141168 27969658880 32138 33554432000 4194304 4196468 140737235553728 140587020802032 140588567042690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7274] ppid=7260 vsize=27314120 memory=279806247907216 CPUtime=0 cores=0-7
/proc/7263/task/7274/stat : 7274 (java) S 7260 7260 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500141168 27969658880 32138 33554432000 4194304 4196468 140737235553728 140586224968608 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7275] ppid=7260 vsize=27314120 memory=279806247904912 CPUtime=0 cores=0-7
/proc/7263/task/7275/stat : 7275 (java) S 7260 7260 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500141169 27969658880 32138 33554432000 4194304 4196468 140737235553728 140586090746864 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7276] ppid=7260 vsize=27314120 memory=279806247911824 CPUtime=0 cores=0-7
/proc/7263/task/7276/stat : 7276 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 32138 33554432000 4194304 4196468 140737235553728 140585716242640 140588567050139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7277] ppid=7260 vsize=27314120 memory=279806247853104 CPUtime=0.01 cores=0-7
/proc/7263/task/7277/stat : 7277 (java) S 7260 7260 7086 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 20 0 500141171 27969658880 32138 33554432000 4194304 4196468 140737235553728 140587019749872 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7278] ppid=7260 vsize=27314120 memory=279806247925648 CPUtime=0.01 cores=0-7
/proc/7263/task/7278/stat : 7278 (java) S 7260 7260 7086 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 500141171 27969658880 32138 33554432000 4194304 4196468 140737235553728 140587018697328 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7279] ppid=7260 vsize=27314120 memory=279806247932560 CPUtime=0 cores=0-7
/proc/7263/task/7279/stat : 7279 (java) S 7260 7260 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 32138 33554432000 4194304 4196468 140737235553728 140587017644784 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7280] ppid=7260 vsize=27314120 memory=279806247930256 CPUtime=0.07 cores=0-7
/proc/7263/task/7280/stat : 7280 (java) S 7260 7260 7086 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 20 0 500141171 27969658880 32138 33554432000 4194304 4196468 140737235553728 140587016592240 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7281] ppid=7260 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7281/stat : 7281 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141171 27969658880 32138 33554432000 4194304 4196468 140737235553728 140585218336992 140588567041749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7282] ppid=7260 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7263/task/7282/stat : 7282 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500141172 27969658880 32138 33554432000 4194304 4196468 140737235553728 140587015539120 140588567042690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129944 KiB

[startup+0.703961 s]
/proc/loadavg: 6.44 2.67 1.03 2/211 7282
/proc/meminfo: memFree=25458908/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500141163 115843072 348 33554432000 4194304 5098028 140728259404848 140728259402104 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 348 296 221 0 87 0
[pid=7263] ppid=7260 vsize=27320392 memory=162904 CPUtime=1.01 cores=0-7
/proc/7263/stat : 7263 (java) S 7260 7260 7086 0 -1 1077944320 19892 0 0 0 93 8 0 0 20 0 20 0 500141164 27976081408 40726 33554432000 4194304 4196468 140737235553728 140737235536272 140588567031543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
/proc/7263/statm: 6830098 40726 3185 1 0 6791447 0
[pid=7263/tid=7264] ppid=7260 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/7263/task/7264/stat : 7264 (java) R 7260 7260 7086 0 -1 4202560 16938 0 0 0 62 6 0 0 20 0 20 0 500141164 27976081408 40726 33554432000 4194304 4196468 140737235553728 140588538859240 140588545054385 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7265] ppid=7260 vsize=27320392 memory=139903124153200 CPUtime=0 cores=0-7
/proc/7263/task/7265/stat : 7265 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27976081408 40726 33554432000 4194304 4196468 140737235553728 140588571273488 140588567041749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7266] ppid=7260 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7263/task/7266/stat : 7266 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500141166 27976081408 40726 33554432000 4194304 4196468 140737235553728 140588385429904 140588567041749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0
[pid=7263/tid=7267] ppid=7260 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/7263/task/7267/stat : 7267 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500141166 27976081408 40726 33554432000 4194304 4196468 140737235553728 140588384377360 140588567041749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140737235555052 140737235555478 140737235555478 140737235558351 0

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

/proc/7283/task/7300/stat : 7300 (java) S 7260 7260 7086 0 -1 1077944384 520 0 0 0 19 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812681140592 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7301] ppid=7260 vsize=8414124 memory=15534107291553429 CPUtime=0 cores=0-7
/proc/7283/task/7301/stat : 7301 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139810647829216 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7302] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7302/stat : 7302 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500141550 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812680088496 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7304] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7304/stat : 7304 (java) S 7260 7260 7086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500141616 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812672054976 139813323501337 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7306] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7306/stat : 7306 (java) S 7260 7260 7086 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500141616 8616062976 29516 33554432000 4194304 4196468 140726980570000 139809976728848 139813323498653 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7307] ppid=7260 vsize=8414124 memory=-2317720213663851332 CPUtime=0 cores=0-7
/proc/7283/task/7307/stat : 7307 (java) S 7260 7260 7086 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500141616 8616062976 29516 33554432000 4194304 4196468 140726980570000 139810245164432 139813323498653 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7316] ppid=7260 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/7283/task/7316/stat : 7316 (java) S 7260 7260 7086 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500141618 8616062976 29516 33554432000 4194304 4196468 140726980570000 139809708301488 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
Current children cumulated CPU time: 34.22 s
Current children cumulated vsize: 9167644 KiB
Current children cumulated memory: 230668 KiB

[startup+7.60197 s]
/proc/loadavg: 6.25 2.69 1.05 9/224 7316
/proc/meminfo: memFree=25393176/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1476 CPUtime=11.96 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 581 36987 0 0 0 0 1167 29 20 0 1 0 500141163 115843072 369 33554432000 4194304 5098028 140728259404848 140728259401592 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 369 311 221 0 87 0
[pid=7283] ppid=7260 vsize=8414124 memory=118064 CPUtime=1.16 cores=0-7
/proc/7283/stat : 7283 (java) S 7260 7260 7086 0 -1 1077944320 20023 0 0 0 109 7 0 0 20 0 24 0 500141543 8616062976 29516 33554432000 4194304 4196468 140726980570000 140726980552544 139813323476727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
/proc/7283/statm: 2103531 29516 3200 1 0 2064875 0
[pid=7303] ppid=7283 vsize=634288 memory=114492 CPUtime=24.3 cores=0-7
/proc/7303/stat : 7303 (manyglucose-4.1) S 7283 7260 7086 0 -1 1077944320 46168 0 0 0 2415 15 0 0 20 0 9 0 500141616 649510912 28623 33554432000 4194304 4454172 140723616505840 140723616504240 140003876264578 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
/proc/7303/statm: 158572 28623 402 64 0 154240 0
[pid=7303/tid=7308] ppid=7283 vsize=634288 memory=7157735280264106088 CPUtime=3.02 cores=0-7
/proc/7303/task/7308/stat : 7308 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5769 0 0 0 300 2 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003861035768 4351186 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7309] ppid=7283 vsize=634288 memory=5938389087162946409 CPUtime=3.03 cores=0-7
/proc/7303/task/7309/stat : 7309 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5596 0 0 0 302 1 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003852643432 4332753 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7310] ppid=7283 vsize=634288 memory=60096 CPUtime=3.04 cores=0-7
/proc/7303/task/7310/stat : 7310 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5476 0 0 0 303 1 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003844250872 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7311] ppid=7283 vsize=634288 memory=988 CPUtime=3.03 cores=0-7
/proc/7303/task/7311/stat : 7311 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5612 0 0 0 301 2 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003835858024 4355589 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7312] ppid=7283 vsize=634288 memory=2020 CPUtime=3.04 cores=0-7
/proc/7303/task/7312/stat : 7312 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 4895 0 0 0 303 1 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003827465144 4349976 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7313] ppid=7283 vsize=634288 memory=1432 CPUtime=3.03 cores=0-7
/proc/7303/task/7313/stat : 7313 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5505 0 0 0 302 1 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003819072760 4349976 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7314] ppid=7283 vsize=634288 memory=9396 CPUtime=2.97 cores=0-7
/proc/7303/task/7314/stat : 7314 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5361 0 0 0 296 1 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003810679688 4349976 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7303/tid=7315] ppid=7283 vsize=634288 memory=656 CPUtime=3.05 cores=0-7
/proc/7303/task/7315/stat : 7315 (manyglucose-4.1) R 7283 7260 7086 0 -1 4202560 5501 0 0 0 303 2 0 0 20 0 9 0 500141618 649510912 28623 33554432000 4194304 4454172 140723616505840 140003802286840 4351331 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 24649728 140723616510826 140723616511024 140723616511024 140723616513978 0
[pid=7283/tid=7284] ppid=7260 vsize=8414124 memory=3612 CPUtime=0.75 cores=0-7
/proc/7283/task/7284/stat : 7284 (java) S 7260 7260 7086 0 -1 1077944384 16923 0 0 0 70 5 0 0 20 0 24 0 500141544 8616062976 29516 33554432000 4194304 4196468 140726980570000 139813295316896 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7285] ppid=7260 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/7283/task/7285/stat : 7285 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139813327719184 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7286] ppid=7260 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/7283/task/7286/stat : 7286 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139813133482896 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7287] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7287/stat : 7287 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139813132430352 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7288] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7288/stat : 7288 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812806495376 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7289] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7289/stat : 7289 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812805441808 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7290] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7290/stat : 7290 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812804389264 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7291] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7291/stat : 7291 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812803336720 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7292] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7292/stat : 7292 (java) S 7260 7260 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500141545 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812802284176 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7293] ppid=7260 vsize=8414124 memory=59 CPUtime=0 cores=0-7
/proc/7283/task/7293/stat : 7293 (java) S 7260 7260 7086 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 500141546 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812685351408 139813323487874 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7294] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7294/stat : 7294 (java) S 7260 7260 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500141547 8616062976 29516 33554432000 4194304 4196468 140726980570000 139811654460832 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7295] ppid=7260 vsize=8414124 memory=3 CPUtime=0 cores=0-7
/proc/7283/task/7295/stat : 7295 (java) S 7260 7260 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500141547 8616062976 29516 33554432000 4194304 4196468 140726980570000 139811520239088 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7296] ppid=7260 vsize=8414124 memory=93 CPUtime=0 cores=0-7
/proc/7283/task/7296/stat : 7296 (java) S 7260 7260 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139811145734864 139813323495323 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7297] ppid=7260 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/7283/task/7297/stat : 7297 (java) S 7260 7260 7086 0 -1 1077944384 540 0 0 0 6 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812684298224 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7298] ppid=7260 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/7283/task/7298/stat : 7298 (java) S 7260 7260 7086 0 -1 1077944384 253 0 0 0 5 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812683245680 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7299] ppid=7260 vsize=8414124 memory=2209 CPUtime=0.07 cores=0-7
/proc/7283/task/7299/stat : 7299 (java) S 7260 7260 7086 0 -1 1077944384 370 0 0 0 7 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812682193136 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7300] ppid=7260 vsize=8414124 memory=24452 CPUtime=0.19 cores=0-7
/proc/7283/task/7300/stat : 7300 (java) S 7260 7260 7086 0 -1 1077944384 520 0 0 0 19 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812681140592 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7301] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7301/stat : 7301 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500141549 8616062976 29516 33554432000 4194304 4196468 140726980570000 139810647829216 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7302] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7302/stat : 7302 (java) S 7260 7260 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500141550 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812680088496 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7304] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7304/stat : 7304 (java) S 7260 7260 7086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500141616 8616062976 29516 33554432000 4194304 4196468 140726980570000 139812672054976 139813323501337 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7306] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7306/stat : 7306 (java) S 7260 7260 7086 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500141616 8616062976 29516 33554432000 4194304 4196468 140726980570000 139809976728848 139813323498653 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7307] ppid=7260 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7283/task/7307/stat : 7307 (java) S 7260 7260 7086 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500141616 8616062976 29516 33554432000 4194304 4196468 140726980570000 139810245164432 139813323498653 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7316] ppid=7260 vsize=8414124 memory=734122143619560759 CPUtime=0 cores=0-7
/proc/7283/task/7316/stat : 7316 (java) S 7260 7260 7086 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500141618 8616062976 29516 33554432000 4194304 4196468 140726980570000 139809708301488 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
Current children cumulated CPU time: 37.42 s
Current children cumulated vsize: 9161540 KiB
Current children cumulated memory: 234032 KiB

[startup+8.00773 s]*
/proc/loadavg: 6.25 2.69 1.05 2/214 7316
/proc/meminfo: memFree=25485940/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1476 CPUtime=11.96 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 581 36987 0 0 0 0 1167 29 20 0 1 0 500141163 115843072 369 33554432000 4194304 5098028 140728259404848 140728259401592 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 369 311 221 0 87 0
[pid=7283] ppid=7260 vsize=8283048 memory=118608 CPUtime=27.62 cores=0-7
/proc/7283/stat : 7283 (java) S 7260 7260 7086 0 -1 1077944320 20157 49555 0 0 117 7 2621 17 20 0 22 0 500141543 8481841152 29652 33554432000 4194304 4196468 140726980570000 140726980552544 139813323476727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
/proc/7283/statm: 2070762 29652 3201 1 0 2032106 0
[pid=7283/tid=7284] ppid=7260 vsize=8283048 memory=1398722017469774279 CPUtime=27.13 cores=0-7
/proc/7283/task/7284/stat : 7284 (java) R 7260 7260 7086 0 -1 4202560 16934 49555 0 0 70 5 2621 17 20 0 22 0 500141544 8481841152 29652 33554432000 4194304 4196468 140726980570000 139813295312864 140726981380296 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7285] ppid=7260 vsize=8283048 memory=4872558044660077418 CPUtime=26.38 cores=0-7
/proc/7283/task/7285/stat : 7285 (java) S 7260 7260 7086 0 -1 1077944384 1 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139813327719184 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7286] ppid=7260 vsize=8283048 memory=8112282956445269571 CPUtime=26.38 cores=0-7
/proc/7283/task/7286/stat : 7286 (java) S 7260 7260 7086 0 -1 1077944384 1 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139813133482896 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7287] ppid=7260 vsize=8283048 memory=139904264702298 CPUtime=26.38 cores=0-7
/proc/7283/task/7287/stat : 7287 (java) S 7260 7260 7086 0 -1 1077944384 1 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139813132430352 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7288] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7288/stat : 7288 (java) S 7260 7260 7086 0 -1 1077944384 2 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812806495376 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7289] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7289/stat : 7289 (java) S 7260 7260 7086 0 -1 1077944384 1 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812805441808 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7290] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7290/stat : 7290 (java) S 7260 7260 7086 0 -1 1077944384 1 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812804389264 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7291] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7291/stat : 7291 (java) S 7260 7260 7086 0 -1 1077944384 3 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812803336720 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7292] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7292/stat : 7292 (java) S 7260 7260 7086 0 -1 1077944384 2 49555 0 0 0 0 2621 17 20 0 22 0 500141545 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812802284176 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7293] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7293/stat : 7293 (java) S 7260 7260 7086 0 -1 1077944384 6 49555 0 0 0 0 2621 17 20 0 22 0 500141546 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812685351408 139813323487874 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7294] ppid=7260 vsize=8283048 memory=4049076029387579443 CPUtime=26.38 cores=0-7
/proc/7283/task/7294/stat : 7294 (java) S 7260 7260 7086 0 -1 1077944384 13 49555 0 0 0 0 2621 17 20 0 22 0 500141547 8481841152 29652 33554432000 4194304 4196468 140726980570000 139811654460832 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7295] ppid=7260 vsize=8283048 memory=7593447665109789031 CPUtime=26.38 cores=0-7
/proc/7283/task/7295/stat : 7295 (java) S 7260 7260 7086 0 -1 1077944384 21 49555 0 0 0 0 2621 17 20 0 22 0 500141547 8481841152 29652 33554432000 4194304 4196468 140726980570000 139811520239088 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7296] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7296/stat : 7296 (java) S 7260 7260 7086 0 -1 1077944384 1 49555 0 0 0 0 2621 17 20 0 22 0 500141549 8481841152 29652 33554432000 4194304 4196468 140726980570000 139811145734864 139813323495323 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7297] ppid=7260 vsize=8283048 memory=0 CPUtime=26.44 cores=0-7
/proc/7283/task/7297/stat : 7297 (java) S 7260 7260 7086 0 -1 1077944384 544 49555 0 0 6 0 2621 17 20 0 22 0 500141549 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812684298224 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7298] ppid=7260 vsize=8283048 memory=0 CPUtime=26.44 cores=0-7
/proc/7283/task/7298/stat : 7298 (java) S 7260 7260 7086 0 -1 1077944384 258 49555 0 0 6 0 2621 17 20 0 22 0 500141549 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812683245680 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7299] ppid=7260 vsize=8283048 memory=0 CPUtime=26.45 cores=0-7
/proc/7283/task/7299/stat : 7299 (java) S 7260 7260 7086 0 -1 1077944384 380 49555 0 0 7 0 2621 17 20 0 22 0 500141549 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812682193136 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7300] ppid=7260 vsize=8283048 memory=0 CPUtime=26.59 cores=0-7
/proc/7283/task/7300/stat : 7300 (java) R 7260 7260 7086 0 -1 4202560 577 49555 0 0 21 0 2621 17 20 0 22 0 500141549 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812681140592 140726981380310 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7301] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7301/stat : 7301 (java) S 7260 7260 7086 0 -1 1077944384 3 49555 0 0 0 0 2621 17 20 0 22 0 500141549 8481841152 29652 33554432000 4194304 4196468 140726980570000 139810647829216 139813323486933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7302] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7302/stat : 7302 (java) S 7260 7260 7086 0 -1 1077944384 3 49555 0 0 0 0 2621 17 20 0 22 0 500141550 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812680088496 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7304] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7304/stat : 7304 (java) S 7260 7260 7086 0 -1 1077944384 26 49555 0 0 0 0 2621 17 20 0 22 0 500141616 8481841152 29652 33554432000 4194304 4196468 140726980570000 139812672054160 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
[pid=7283/tid=7316] ppid=7260 vsize=8283048 memory=0 CPUtime=26.38 cores=0-7
/proc/7283/task/7316/stat : 7316 (java) S 7260 7260 7086 0 -1 1077944384 8 49555 0 0 0 0 2621 17 20 0 22 0 500141618 8481841152 29652 33554432000 4194304 4196468 140726980570000 139809708303280 139813323487874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140726980572152 140726980572310 140726980572310 140726980575183 0
Current children cumulated CPU time: 39.58 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 120084 KiB

[startup+8.11021 s]
/proc/loadavg: 6.25 2.69 1.05 2/214 7316
/proc/meminfo: memFree=25485940/32770624 swapFree=66999676/67108860
[pid=7260] ppid=7257 vsize=113128 memory=1476 CPUtime=11.96 cores=0-7
/proc/7260/stat : 7260 (scop.sh) S 7257 7260 7086 0 -1 4202496 581 36987 0 0 0 0 1167 29 20 0 1 0 500141163 115843072 369 33554432000 4194304 5098028 140728259404848 140728259401592 140180727317116 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9994240 140728259412773 140728259413100 140728259413100 140728259416013 0
/proc/7260/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 11.96 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 8.11389
CPU time (s): 39.7587
CPU user time (s): 39.2073
CPU system time (s): 0.5514
CPU usage (%): 490.008
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 961336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.2073
system time used= 0.5514
maximum resident set size= 968356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107715
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= 11336
involuntary context switches= 313


# summary of solver processes directly reported to runsolver:
#   pid: 7260
#   total CPU time (s): 39.7587
#   total CPU user time (s): 39.2073
#   total CPU system time (s): 0.5514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090191 second user time and 0.147841 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-23 13:38:44
IDJOB=4405133
IDBENCH=121710
IDSOLVER=2867
FILE ID=node123/4405133-1569238763
RUNJOBID= node123-1569238589-7113
PBS_JOBID= 21704907
Free space on /tmp= 25920 MiB

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

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

MD5SUM BENCH= 95e1ba6edeec6aa2d568f833deab6719
RANDOM SEED=74560439

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25597932 kB
MemAvailable:   31838044 kB
Buffers:           76088 kB
Cached:          6317824 kB
SwapCached:         6732 kB
Active:          3176912 kB
Inactive:        3227580 kB
Active(anon):       3256 kB
Inactive(anon):    64180 kB
Active(file):    3173656 kB
Inactive(file):  3163400 kB
Unevictable:      107276 kB
Mlocked:          107276 kB
SwapTotal:      67108860 kB
SwapFree:       66999676 kB
Dirty:             20896 kB
Writeback:             0 kB
AnonPages:        112492 kB
Mapped:            55132 kB
Shmem:             47812 kB
Slab:             360868 kB
SReclaimable:     331516 kB
SUnreclaim:        29352 kB
KernelStack:        3408 kB
PageTables:         5932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 25900 MiB
End job on node123 at 2019-09-23 13:38:52