Trace number 4392273

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 39.1299 7.95515

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-21133-serial-file.bin HOME/instance-4392273-1568417433.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Sat Sep 14 01:29:53 CEST 2019
0.65/0.58	c PID: 21136
0.65/0.58	c IP: 172.20.3.127
0.65/0.58	c HOST: node127.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.14/1.07	c (0,0) Parsing End
2.14/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 250 ctr, max domain size 16
3.30/1.49	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.30/1.49	c (0,0) Constraint Name Generate Begin
3.30/1.49	c (0,0) Ctr:HOME/instance-4392273-1568417433.xml,ExtensionConflict:Var
3.30/1.49	c (0,0) Constraint Name Generate End
3.30/1.49	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.30/1.49	c (0,0) CSP to CSPinCNF Begin
4.07/1.62	c (1,1) translated 25 (10%) constraints
4.48/1.76	c (1,1) translated 50 (20%) constraints
4.89/1.87	c (1,1) translated 75 (30%) constraints
5.29/1.97	c (1,1) translated 100 (40%) constraints
5.73/2.07	c (1,1) translated 125 (50%) constraints
6.14/2.17	c (1,1) translated 150 (60%) constraints
6.51/2.27	c (1,1) translated 175 (70%) constraints
6.91/2.38	c (1,1) translated 200 (80%) constraints
7.32/2.48	c (1,1) translated 225 (90%) constraints
7.71/2.58	c (2,2) translated 250 (100%) constraints
7.71/2.58	c (2,2) ===========================================
7.71/2.58	c (2,2) Order
7.71/2.58	c (2,2) ===========================================
8.14/2.64	c (2,2) translated 1497 (10%) constraints
8.14/2.68	c (2,2) translated 2993 (20%) constraints
8.55/2.72	c (2,2) translated 4489 (30%) constraints
8.55/2.76	c (2,2) translated 5985 (40%) constraints
8.55/2.79	c (2,2) translated 7481 (50%) constraints
8.79/2.83	c (2,2) translated 8978 (60%) constraints
8.79/2.86	c (2,2) translated 10474 (70%) constraints
8.79/2.90	c (2,2) translated 11970 (80%) constraints
9.05/2.93	c (2,2) translated 13466 (90%) constraints
9.05/2.96	c (2,2) translated 14962 (100%) constraints
9.05/2.96	c (2,2) CSP to CSPinCNF End
9.05/2.96	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.05/2.96	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.05/2.96	c (2,2) CSPinCNF Propagation Begin
9.66/3.11	c (2,2) 0 values, 2338 unsatisfiable literals, and 0 valid clauses are removed
9.66/3.11	c (2,2) CSPinCNF Propagation End
9.66/3.11	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.66/3.11	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.66/3.11	c (2,2) Simplify CSPinCNF Begin
9.66/3.17	c (2,2) Simplify CSPinCNF End
9.66/3.17	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.66/3.17	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.66/3.17	c (2,2) Calculate Precise Domain Begin
9.66/3.17	c (2,2) 0 values are removed by re-calculation
9.66/3.17	c (2,2) Calculate Precise Domain End
9.66/3.17	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.66/3.17	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.66/3.17	c (2,2) CSPinCNF to SatSolver Begin
10.27/3.31	c (2,2) 1497 (10 %) CSP clauses are encoded (0 SAT variables, 2056 SAT clauses)
10.27/3.37	c (2,2) 2993 (20 %) CSP clauses are encoded (0 SAT variables, 3552 SAT clauses)
10.67/3.41	c (2,2) 4489 (30 %) CSP clauses are encoded (0 SAT variables, 5048 SAT clauses)
10.67/3.45	c (2,2) 5985 (40 %) CSP clauses are encoded (0 SAT variables, 6544 SAT clauses)
10.67/3.49	c (2,2) 7481 (50 %) CSP clauses are encoded (0 SAT variables, 8040 SAT clauses)
11.07/3.51	c (2,2) 8978 (60 %) CSP clauses are encoded (0 SAT variables, 9537 SAT clauses)
11.07/3.53	c (2,2) 10474 (70 %) CSP clauses are encoded (0 SAT variables, 11033 SAT clauses)
11.07/3.55	c (2,2) 11970 (80 %) CSP clauses are encoded (0 SAT variables, 12529 SAT clauses)
11.07/3.57	c (3,3) 13466 (90 %) CSP clauses are encoded (0 SAT variables, 14025 SAT clauses)
11.07/3.59	c (3,3) 14962 (100 %) CSP clauses are encoded (0 SAT variables, 15521 SAT clauses)
11.07/3.59	c (3,3) CSPinCNF to SatSolver End
11.07/3.59	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.07/3.59	c (3,3) 600 bool, 15522 clause
11.07/3.59	c (3,3) Export Begin
11.39/3.67	c (3,3) Export to HOME/scop-21133-serial-file.bin
11.39/3.67	c (3,3) Export End
11.39/3.67	c (3,3) Export File Size: 0.01 MB
11.39/3.67	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.39/3.67	c END-Prog: Sat Sep 14 01:29:56 CEST 2019
11.39/3.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21133-serial-file.bin
12.13/4.15	c (0,0) Read Serial File Begin
12.13/4.15	c (0,0) HOME/scop-21133-serial-file.bin
12.39/4.36	c (0,0) Read Serial File End
12.39/4.37	
12.39/4.37	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.39/4.37	(Solving Process)
12.39/4.37	
12.39/4.39	c BEGIN-Prog: Sat Sep 14 01:29:57 CEST 2019
12.39/4.39	c PID: 21156
12.39/4.39	c IP: 172.20.3.127
12.39/4.39	c HOST: node127.alineos.net
12.39/4.40	c (0,0) SatSolver.solve Begin
12.39/4.40	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392273-1568417433.xml-scop-21136.cnf
12.54/4.42	c (0,0) c
12.54/4.42	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.54/4.42	c (0,0) c
12.54/4.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.54/4.42	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.54/4.42	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.54/4.42	c (0,0) c |                                                                                                       |
12.54/4.43	c (0,0) c |  Number of variables:           600                                                                   |
12.54/4.43	c (0,0) c |  Number of clauses:           15522                                                                   |
12.54/4.43	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.54/4.43	c (0,0) c |                                                                                                       |
12.54/4.44	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.54/4.44	c (0,0) c |                                                                                                       |
12.54/4.44	c (0,0) c |  Generating clones                                                                                    |
12.54/4.44	c (0,0) c |  all clones generated. Memory =    30.31Mb.                                                           |
12.54/4.44	c (0,0) c ========================================================================================================|
12.54/4.44	c (0,0) c
12.54/4.44	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.54/4.44	c (0,0) c
12.54/4.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.54/4.44	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.54/4.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.54/4.44	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.54/4.44	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.54/4.44	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.54/4.44	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.54/4.44	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.54/4.44	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.54/4.44	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.54/4.44	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.54/4.44	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.54/4.44	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.54/4.44	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.54/4.44	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.54/4.44	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.54/4.44	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.54/4.44	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.54/4.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c real time : 3.41184 s
38.84/7.83	c (3,0) c cpu time  : 25.9976 s
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c | Conflicts     |          586408 |      71771 |      72691 |      72417 |      74676 |      72331 |      73627 |      73068 |      75827 |
38.84/7.83	c (3,0) c | Decisions     |          739287 |      90237 |      91960 |      89917 |      94607 |      90737 |      93434 |      92926 |      95469 |
38.84/7.83	c (3,0) c | Propagations  |        51437525 |    6276658 |    6366492 |    6429993 |    6561242 |    6296489 |    6473820 |    6370712 |    6662119 |
38.84/7.83	c (3,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
38.84/7.83	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
38.84/7.83	c (3,0) c | Restarts      |             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
38.84/7.83	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.84/7.83	c (3,0) c | PropBinClauses|        51022331 |    6216193 |    6312823 |    6411346 |    6484046 |    6276925 |    6430112 |    6295798 |    6595088 |
38.84/7.83	c (3,0) c | PropPreBlocker|      1675353112 |  204962307 |  206701941 |  210648813 |  212426217 |  209718011 |  209626556 |  206586756 |  214682511 |
38.84/7.83	c (3,0) c | PropNotBlocker|       355584462 |   45864532 |   45393295 |   44117586 |   43390857 |   43758937 |   44137133 |   45596912 |   43325210 |
38.84/7.83	c (3,0) c | LitFullScans  |      2510043782 |  312033076 |  312026782 |  315802245 |  316084934 |  312025590 |  312022835 |  312026269 |  318022051 |
38.84/7.83	c (3,0) c | LitScanFracts |           95181 |      10841 |      14884 |      12326 |      10357 |      12129 |      11895 |      11177 |      11572 |
38.84/7.83	c (3,0) c | DecisionLevel0|             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
38.84/7.83	c (3,0) c | Periods       |             417 |         52 |         52 |         52 |         52 |         52 |         52 |         52 |         53 |
38.84/7.83	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
38.84/7.83	c (3,0) c | Avg_Trail     |                 |        312 |        313 |        314 |        316 |        305 |        316 |        314 |        313 |
38.84/7.83	c (3,0) c | Avg_DL        |                 |         13 |         13 |         13 |         13 |         12 |         13 |         13 |         12 |
38.84/7.83	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.84/7.83	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c | Exported      |           95530 |      11407 |      11431 |      11935 |      11897 |      11832 |      12057 |      12256 |      12715 |
38.84/7.83	c (3,0) c | Imported      |          502031 |      61859 |      58930 |      62740 |      65001 |      63550 |      64063 |      60876 |      65012 |
38.84/7.83	c (3,0) c | Good          |             374 |         48 |         39 |         51 |         52 |         46 |         45 |         45 |         48 |
38.84/7.83	c (3,0) c | Purge         |          501657 |      61811 |      58891 |      62689 |      64949 |      63504 |      64018 |      60831 |      64964 |
38.84/7.83	c (3,0) c | Promoted      |           21706 |       2960 |       2429 |       2174 |       2840 |       2917 |       2992 |       2588 |       2806 |
38.84/7.83	c (3,0) c | Remove_Imp    |          194024 |      23481 |      28858 |      20063 |      14296 |      29449 |      27137 |      26267 |      24473 |
38.84/7.83	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.84/7.83	c (3,0) c | Binaries      |                 |          6 |         10 |          7 |          4 |         11 |         13 |          8 |         10 |
38.84/7.83	c (3,0) c | Glues         |                 |        280 |        248 |        247 |        244 |        252 |        281 |        306 |        254 |
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c | Orig_Seen     |            96 % |      14986 |      14928 |      14798 |      14965 |      14810 |      15062 |      14938 |      14934 |
38.84/7.83	c (3,0) c | Diff Orig seen|                 |        188 |        130 |      X     |        167 |         12 |        264 |        140 |        136 |
38.84/7.83	c (3,0) c | Hamming       |            32 % |        207 |        202 |      X     |        174 |        204 |        199 |        214 |        149 |
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c | RunningTime   |                 |    3.4  99%|    3.3  99%|    3.2  99%|    3.2  99%|    3.3 100%|    3.2  99%|    3.3 100%|    3.2  99%|
38.84/7.83	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%|
38.84/7.83	c (3,0) c | ExchangingTime|                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|
38.84/7.83	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%|
38.84/7.83	c (3,0) c | SolvingTime   |                 |    3.4     |    3.3     |    3.2     |    3.2     |    3.3     |    3.3     |    3.3     |    3.2     |
38.84/7.83	c (3,0) c | PropagationTim|                 |    2.9  84%|    2.8  84%|    2.7  83%|    2.7  83%|    2.7  83%|    2.7  83%|    2.8  83%|    2.7  83%|
38.84/7.83	c (3,0) c | AnalysisTime  |                 |    0.4  11%|    0.4  11%|    0.4  12%|    0.4  12%|    0.4  12%|    0.4  12%|    0.4  12%|    0.4  12%|
38.84/7.83	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%|
38.84/7.83	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%|
38.84/7.83	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%|
38.84/7.83	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%|
38.84/7.83	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c
38.84/7.83	c (3,0) c Threads : 8
38.84/7.83	c (3,0) c Winner : 2
38.84/7.83	c (3,0) c Conflicts_0 : 71771
38.84/7.83	c (3,0) c Conflicts_1 : 72691
38.84/7.83	c (3,0) c Conflicts_2 : 72417
38.84/7.83	c (3,0) c Conflicts_3 : 74676
38.84/7.83	c (3,0) c Conflicts_4 : 72331
38.84/7.83	c (3,0) c Conflicts_5 : 73627
38.84/7.83	c (3,0) c Conflicts_6 : 73068
38.84/7.83	c (3,0) c Conflicts_7 : 75827
38.84/7.83	c (3,0) c Conflicts_total : 586408
38.84/7.83	c (3,0) c Conflicts_winner : 72417
38.84/7.83	c (3,0) c Decisions_0 : 90237
38.84/7.83	c (3,0) c Decisions_1 : 91960
38.84/7.83	c (3,0) c Decisions_2 : 89917
38.84/7.84	c (3,0) c Decisions_3 : 94607
38.84/7.84	c (3,0) c Decisions_4 : 90737
38.84/7.84	c (3,0) c Decisions_5 : 93434
38.84/7.84	c (3,0) c Decisions_6 : 92926
38.84/7.84	c (3,0) c Decisions_7 : 95469
38.84/7.84	c (3,0) c Decisions_total : 739287
38.84/7.84	c (3,0) c Decisions_winner : 89917
38.84/7.84	c (3,0) c Propagations_0 : 6276658
38.84/7.84	c (3,0) c Propagations_1 : 6366492
38.84/7.84	c (3,0) c Propagations_2 : 6429993
38.84/7.84	c (3,0) c Propagations_3 : 6561242
38.84/7.84	c (3,0) c Propagations_4 : 6296489
38.84/7.84	c (3,0) c Propagations_5 : 6473820
38.84/7.84	c (3,0) c Propagations_6 : 6370712
38.84/7.84	c (3,0) c Propagations_7 : 6662119
38.84/7.84	c (3,0) c Propagations_total : 51437525
38.84/7.84	c (3,0) c Propagations_winner : 6429993
38.84/7.84	c (3,0) c ReduceDBs_0 : 7
38.84/7.84	c (3,0) c ReduceDBs_1 : 7
38.84/7.84	c (3,0) c ReduceDBs_2 : 7
38.84/7.84	c (3,0) c ReduceDBs_3 : 7
38.84/7.84	c (3,0) c ReduceDBs_4 : 7
38.84/7.84	c (3,0) c ReduceDBs_5 : 7
38.84/7.84	c (3,0) c ReduceDBs_6 : 7
38.84/7.84	c (3,0) c ReduceDBs_7 : 7
38.84/7.84	c (3,0) c ReduceDBs_total : 56
38.84/7.84	c (3,0) c ReduceDBs_winner : 7
38.84/7.84	c (3,0) c SimpDBs_0 : 1
38.84/7.84	c (3,0) c SimpDBs_1 : 1
38.84/7.84	c (3,0) c SimpDBs_2 : 1
38.84/7.84	c (3,0) c SimpDBs_3 : 1
38.84/7.84	c (3,0) c SimpDBs_4 : 1
38.84/7.84	c (3,0) c SimpDBs_5 : 1
38.84/7.84	c (3,0) c SimpDBs_6 : 1
38.84/7.84	c (3,0) c SimpDBs_7 : 1
38.84/7.84	c (3,0) c SimpDBs_total : 8
38.84/7.84	c (3,0) c SimpDBs_winner : 1
38.84/7.84	c (3,0) c Restarts_0 : 35
38.84/7.84	c (3,0) c Restarts_1 : 40
38.84/7.84	c (3,0) c Restarts_2 : 23
38.84/7.84	c (3,0) c Restarts_3 : 30
38.84/7.84	c (3,0) c Restarts_4 : 35
38.84/7.84	c (3,0) c Restarts_5 : 53
38.84/7.84	c (3,0) c Restarts_6 : 66
38.84/7.84	c (3,0) c Restarts_7 : 25
38.84/7.84	c (3,0) c Restarts_total : 307
38.84/7.84	c (3,0) c Restarts_winner : 23
38.84/7.84	c (3,0) c ForcedImports_0 : 0
38.84/7.84	c (3,0) c ForcedImports_1 : 0
38.84/7.84	c (3,0) c ForcedImports_2 : 0
38.84/7.84	c (3,0) c ForcedImports_3 : 0
38.84/7.84	c (3,0) c ForcedImports_4 : 0
38.84/7.84	c (3,0) c ForcedImports_5 : 0
38.84/7.84	c (3,0) c ForcedImports_6 : 0
38.84/7.84	c (3,0) c ForcedImports_7 : 0
38.84/7.84	c (3,0) c ForcedImports_total : 0
38.84/7.84	c (3,0) c ForcedImports_winner : 0
38.84/7.84	c (3,0) c PropsBinClauses_0 : 6216193
38.84/7.84	c (3,0) c PropsBinClauses_1 : 6312823
38.84/7.84	c (3,0) c PropsBinClauses_2 : 6411346
38.84/7.84	c (3,0) c PropsBinClauses_3 : 6484046
38.84/7.84	c (3,0) c PropsBinClauses_4 : 6276925
38.84/7.84	c (3,0) c PropsBinClauses_5 : 6430112
38.84/7.84	c (3,0) c PropsBinClauses_6 : 6295798
38.84/7.84	c (3,0) c PropsBinClauses_7 : 6595088
38.84/7.84	c (3,0) c PropsBinClauses_total : 51022331
38.84/7.84	c (3,0) c PropsBinClauses_winner : 6411346
38.84/7.84	c (3,0) c PropsPreBlocker_0 : 204962307
38.84/7.84	c (3,0) c PropsPreBlocker_1 : 206701941
38.84/7.84	c (3,0) c PropsPreBlocker_2 : 210648813
38.84/7.84	c (3,0) c PropsPreBlocker_3 : 212426217
38.84/7.84	c (3,0) c PropsPreBlocker_4 : 209718011
38.84/7.84	c (3,0) c PropsPreBlocker_5 : 209626556
38.84/7.84	c (3,0) c PropsPreBlocker_6 : 206586756
38.84/7.84	c (3,0) c PropsPreBlocker_7 : 214682511
38.84/7.84	c (3,0) c PropsPreBlocker_total : 1675353112
38.84/7.84	c (3,0) c PropsPreBlocker_winner : 210648813
38.84/7.84	c (3,0) c PropsNotBlocker_0 : 45864532
38.84/7.84	c (3,0) c PropsNotBlocker_1 : 45393295
38.84/7.84	c (3,0) c PropsNotBlocker_2 : 44117586
38.84/7.84	c (3,0) c PropsNotBlocker_3 : 43390857
38.84/7.84	c (3,0) c PropsNotBlocker_4 : 43758937
38.84/7.84	c (3,0) c PropsNotBlocker_5 : 44137133
38.84/7.84	c (3,0) c PropsNotBlocker_6 : 45596912
38.84/7.84	c (3,0) c PropsNotBlocker_7 : 43325210
38.84/7.84	c (3,0) c PropsNotBlocker_total : 355584462
38.84/7.84	c (3,0) c PropsNotBlocker_winner : 44117586
38.84/7.84	c (3,0) c PropsLitFullScans_0 : 312033076
38.84/7.84	c (3,0) c PropsLitFullScans_1 : 312026782
38.84/7.84	c (3,0) c PropsLitFullScans_2 : 315802245
38.84/7.84	c (3,0) c PropsLitFullScans_3 : 316084934
38.84/7.84	c (3,0) c PropsLitFullScans_4 : 312025590
38.84/7.84	c (3,0) c PropsLitFullScans_5 : 312022835
38.84/7.84	c (3,0) c PropsLitFullScans_6 : 312026269
38.84/7.84	c (3,0) c PropsLitFullScans_7 : 318022051
38.84/7.84	c (3,0) c PropsLitFullScans_total : 2510043782
38.84/7.84	c (3,0) c PropsLitFullScans_winner : 315802245
38.84/7.84	c (3,0) c LitScanFractions_0 : 10841
38.84/7.84	c (3,0) c LitScanFractions_1 : 14884
38.84/7.84	c (3,0) c LitScanFractions_2 : 12326
38.84/7.84	c (3,0) c LitScanFractions_3 : 10357
38.84/7.84	c (3,0) c LitScanFractions_4 : 12129
38.84/7.84	c (3,0) c LitScanFractions_5 : 11895
38.84/7.84	c (3,0) c LitScanFractions_6 : 11177
38.84/7.84	c (3,0) c LitScanFractions_7 : 11572
38.84/7.84	c (3,0) c LitScanFractions_total : 95181
38.84/7.84	c (3,0) c LitScanFractions_winner : 12326
38.84/7.84	c (3,0) c DecisionLevel0_0 : 35
38.84/7.84	c (3,0) c DecisionLevel0_1 : 40
38.84/7.84	c (3,0) c DecisionLevel0_2 : 23
38.84/7.84	c (3,0) c DecisionLevel0_3 : 30
38.84/7.84	c (3,0) c DecisionLevel0_4 : 35
38.84/7.84	c (3,0) c DecisionLevel0_5 : 53
38.84/7.84	c (3,0) c DecisionLevel0_6 : 66
38.84/7.84	c (3,0) c DecisionLevel0_7 : 25
38.84/7.84	c (3,0) c DecisionLevel0_total : 307
38.84/7.84	c (3,0) c DecisionLevel0_winner : 23
38.84/7.84	c (3,0) c Periods_0 : 52
38.84/7.84	c (3,0) c Periods_1 : 52
38.84/7.84	c (3,0) c Periods_2 : 52
38.84/7.84	c (3,0) c Periods_3 : 52
38.84/7.84	c (3,0) c Periods_4 : 52
38.84/7.84	c (3,0) c Periods_5 : 52
38.84/7.84	c (3,0) c Periods_6 : 52
38.84/7.84	c (3,0) c Periods_7 : 53
38.84/7.84	c (3,0) c Periods_total : 417
38.84/7.84	c (3,0) c Periods_winner : 52
38.84/7.84	c (3,0) c Margin_0 : 20
38.84/7.84	c (3,0) c Margin_1 : 20
38.84/7.84	c (3,0) c Margin_2 : 20
38.84/7.84	c (3,0) c Margin_3 : 20
38.84/7.84	c (3,0) c Margin_4 : 20
38.84/7.84	c (3,0) c Margin_5 : 20
38.84/7.84	c (3,0) c Margin_6 : 20
38.84/7.84	c (3,0) c Margin_7 : 20
38.84/7.84	c (3,0) c Margin_total : 160
38.84/7.84	c (3,0) c Margin_winner : 20
38.84/7.84	c (3,0) c Exported_0 : 11407
38.84/7.84	c (3,0) c Exported_1 : 11431
38.84/7.84	c (3,0) c Exported_2 : 11935
38.84/7.84	c (3,0) c Exported_3 : 11897
38.84/7.84	c (3,0) c Exported_4 : 11832
38.84/7.84	c (3,0) c Exported_5 : 12057
38.84/7.84	c (3,0) c Exported_6 : 12256
38.84/7.84	c (3,0) c Exported_7 : 12715
38.84/7.84	c (3,0) c Exported_total : 95530
38.84/7.84	c (3,0) c Exported_winner : 11935
38.84/7.84	c (3,0) c Imported_0 : 61859
38.84/7.84	c (3,0) c Imported_1 : 58930
38.84/7.84	c (3,0) c Imported_2 : 62740
38.84/7.84	c (3,0) c Imported_3 : 65001
38.84/7.84	c (3,0) c Imported_4 : 63550
38.84/7.84	c (3,0) c Imported_5 : 64063
38.84/7.84	c (3,0) c Imported_6 : 60876
38.84/7.84	c (3,0) c Imported_7 : 65012
38.84/7.84	c (3,0) c Imported_total : 502031
38.84/7.84	c (3,0) c Imported_winner : 62740
38.84/7.84	c (3,0) c Good_0 : 48
38.84/7.84	c (3,0) c Good_1 : 39
38.84/7.84	c (3,0) c Good_2 : 51
38.84/7.84	c (3,0) c Good_3 : 52
38.84/7.84	c (3,0) c Good_4 : 46
38.84/7.84	c (3,0) c Good_5 : 45
38.84/7.84	c (3,0) c Good_6 : 45
38.84/7.84	c (3,0) c Good_7 : 48
38.84/7.84	c (3,0) c Good_total : 374
38.84/7.84	c (3,0) c Good_winner : 51
38.84/7.84	c (3,0) c Purge_0 : 61811
38.84/7.84	c (3,0) c Purge_1 : 58891
38.84/7.84	c (3,0) c Purge_2 : 62689
38.84/7.84	c (3,0) c Purge_3 : 64949
38.84/7.84	c (3,0) c Purge_4 : 63504
38.84/7.84	c (3,0) c Purge_5 : 64018
38.84/7.84	c (3,0) c Purge_6 : 60831
38.84/7.84	c (3,0) c Purge_7 : 64964
38.84/7.84	c (3,0) c Purge_total : 501657
38.84/7.84	c (3,0) c Purge_winner : 62689
38.84/7.84	c (3,0) c Promoted_0 : 2960
38.84/7.84	c (3,0) c Promoted_1 : 2429
38.84/7.84	c (3,0) c Promoted_2 : 2174
38.84/7.84	c (3,0) c Promoted_3 : 2840
38.84/7.84	c (3,0) c Promoted_4 : 2917
38.84/7.84	c (3,0) c Promoted_5 : 2992
38.84/7.84	c (3,0) c Promoted_6 : 2588
38.84/7.84	c (3,0) c Promoted_7 : 2806
38.84/7.84	c (3,0) c Promoted_total : 21706
38.84/7.84	c (3,0) c Promoted_winner : 2174
38.84/7.84	c (3,0) c Remove_Imp_0 : 23481
38.84/7.84	c (3,0) c Remove_Imp_1 : 28858
38.84/7.84	c (3,0) c Remove_Imp_2 : 20063
38.84/7.84	c (3,0) c Remove_Imp_3 : 14296
38.84/7.84	c (3,0) c Remove_Imp_4 : 29449
38.84/7.84	c (3,0) c Remove_Imp_5 : 27137
38.84/7.84	c (3,0) c Remove_Imp_6 : 26267
38.84/7.84	c (3,0) c Remove_Imp_7 : 24473
38.84/7.84	c (3,0) c Remove_Imp_total : 194024
38.84/7.84	c (3,0) c Remove_Imp_winner : 20063
38.84/7.84	c (3,0) c Blocked_Reuse_0 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_1 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_2 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_3 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_4 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_5 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_6 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_7 : 0
38.84/7.84	c (3,0) c Blocked_Reuse_total : 0
38.84/7.84	c (3,0) c Blocked_Reuse_winner : 0
38.84/7.84	c (3,0) c Unaries_0 : 0
38.84/7.84	c (3,0) c Unaries_1 : 0
38.84/7.84	c (3,0) c Unaries_2 : 0
38.84/7.84	c (3,0) c Unaries_3 : 0
38.84/7.84	c (3,0) c Unaries_4 : 0
38.84/7.84	c (3,0) c Unaries_5 : 0
38.84/7.84	c (3,0) c Unaries_6 : 0
38.84/7.84	c (3,0) c Unaries_7 : 0
38.84/7.84	c (3,0) c Unaries_total : 0
38.84/7.84	c (3,0) c Unaries_winner : 0
38.84/7.84	c (3,0) c Binaries_0 : 6
38.84/7.84	c (3,0) c Binaries_1 : 10
38.84/7.84	c (3,0) c Binaries_2 : 7
38.84/7.84	c (3,0) c Binaries_3 : 4
38.84/7.84	c (3,0) c Binaries_4 : 11
38.84/7.84	c (3,0) c Binaries_5 : 13
38.84/7.84	c (3,0) c Binaries_6 : 8
38.84/7.84	c (3,0) c Binaries_7 : 10
38.84/7.84	c (3,0) c Binaries_total : 69
38.84/7.84	c (3,0) c Binaries_winner : 7
38.84/7.84	c (3,0) c Glues_0 : 280
38.84/7.84	c (3,0) c Glues_1 : 248
38.84/7.84	c (3,0) c Glues_2 : 247
38.84/7.84	c (3,0) c Glues_3 : 244
38.84/7.84	c (3,0) c Glues_4 : 252
38.84/7.84	c (3,0) c Glues_5 : 281
38.84/7.84	c (3,0) c Glues_6 : 306
38.84/7.84	c (3,0) c Glues_7 : 254
38.84/7.84	c (3,0) c Glues_total : 2112
38.84/7.84	c (3,0) c Glues_winner : 247
38.84/7.84	c (3,0) c RunningTime_0 : 3.365260
38.84/7.84	c (3,0) c RunningTime_1 : 3.300783
38.84/7.84	c (3,0) c RunningTime_2 : 3.188144
38.84/7.84	c (3,0) c RunningTime_3 : 3.197973
38.84/7.84	c (3,0) c RunningTime_4 : 3.256261
38.84/7.84	c (3,0) c RunningTime_5 : 3.239563
38.84/7.84	c (3,0) c RunningTime_6 : 3.296238
38.84/7.84	c (3,0) c RunningTime_7 : 3.204712
38.84/7.84	c (3,0) c RunningTime_total : 26.048934
38.84/7.84	c (3,0) c RunningTime_winner : 3.188144
38.84/7.84	c (3,0) c WaitingTime_0 : 0.000024
38.84/7.84	c (3,0) c WaitingTime_1 : 0.000035
38.84/7.84	c (3,0) c WaitingTime_2 : 0.000028
38.84/7.84	c (3,0) c WaitingTime_3 : 0.000031
38.84/7.84	c (3,0) c WaitingTime_4 : 0.000039
38.84/7.84	c (3,0) c WaitingTime_5 : 0.000023
38.84/7.84	c (3,0) c WaitingTime_6 : 0.000035
38.84/7.84	c (3,0) c WaitingTime_7 : 0.000039
38.84/7.84	c (3,0) c WaitingTime_total : 0.000253
38.84/7.84	c (3,0) c WaitingTime_winner : 0.000028
38.84/7.84	c (3,0) c ExchangingTime_0 : 0.017070
38.84/7.84	c (3,0) c ExchangingTime_1 : 0.016690
38.84/7.84	c (3,0) c ExchangingTime_2 : 0.018835
38.84/7.84	c (3,0) c ExchangingTime_3 : 0.019421
38.84/7.84	c (3,0) c ExchangingTime_4 : 0.015833
38.84/7.84	c (3,0) c ExchangingTime_5 : 0.017498
38.84/7.85	c (3,0) c ExchangingTime_6 : 0.015977
38.84/7.85	c (3,0) c ExchangingTime_7 : 0.017251
38.84/7.85	c (3,0) c ExchangingTime_total : 0.138575
38.84/7.85	c (3,0) c ExchangingTime_winner : 0.018835
38.84/7.85	c (3,0) c PeriodProcTime_0 : 0.000356
38.84/7.85	c (3,0) c PeriodProcTime_1 : 0.000320
38.84/7.85	c (3,0) c PeriodProcTime_2 : 0.000363
38.84/7.85	c (3,0) c PeriodProcTime_3 : 0.000305
38.84/7.85	c (3,0) c PeriodProcTime_4 : 0.000357
38.84/7.85	c (3,0) c PeriodProcTime_5 : 0.000304
38.84/7.85	c (3,0) c PeriodProcTime_6 : 0.000314
38.84/7.85	c (3,0) c PeriodProcTime_7 : 0.000343
38.84/7.85	c (3,0) c PeriodProcTime_total : 0.002661
38.84/7.85	c (3,0) c PeriodProcTime_winner : 0.000363
38.84/7.85	c (3,0) c SolvingTime_0 : 3.382710
38.84/7.85	c (3,0) c SolvingTime_1 : 3.317828
38.84/7.85	c (3,0) c SolvingTime_2 : 3.207369
38.84/7.85	c (3,0) c SolvingTime_3 : 3.217731
38.84/7.85	c (3,0) c SolvingTime_4 : 3.272490
38.84/7.85	c (3,0) c SolvingTime_5 : 3.257388
38.84/7.85	c (3,0) c SolvingTime_6 : 3.312564
38.84/7.85	c (3,0) c SolvingTime_7 : 3.222344
38.84/7.85	c (3,0) c SolvingTime_total : 26.190423
38.84/7.85	c (3,0) c SolvingTime_winner : 3.207369
38.84/7.85	c (3,0) c PropagationTime_0 : 2.853815
38.84/7.85	c (3,0) c PropagationTime_1 : 2.795300
38.84/7.85	c (3,0) c PropagationTime_2 : 2.655162
38.84/7.85	c (3,0) c PropagationTime_3 : 2.673684
38.84/7.85	c (3,0) c PropagationTime_4 : 2.729845
38.84/7.85	c (3,0) c PropagationTime_5 : 2.716040
38.84/7.85	c (3,0) c PropagationTime_6 : 2.764791
38.84/7.85	c (3,0) c PropagationTime_7 : 2.667042
38.84/7.85	c (3,0) c PropagationTime_total : 21.855679
38.84/7.85	c (3,0) c PropagationTime_winner : 2.655162
38.84/7.85	c (3,0) c AnalysisTime_0 : 0.363815
38.84/7.85	c (3,0) c AnalysisTime_1 : 0.367894
38.84/7.85	c (3,0) c AnalysisTime_2 : 0.391452
38.84/7.85	c (3,0) c AnalysisTime_3 : 0.389948
38.84/7.85	c (3,0) c AnalysisTime_4 : 0.386467
38.84/7.85	c (3,0) c AnalysisTime_5 : 0.378453
38.84/7.85	c (3,0) c AnalysisTime_6 : 0.384194
38.84/7.85	c (3,0) c AnalysisTime_7 : 0.396351
38.84/7.85	c (3,0) c AnalysisTime_total : 3.058574
38.84/7.85	c (3,0) c AnalysisTime_winner : 0.391452
38.84/7.85	c (3,0) c ReductionTime_0 : 0.057316
38.84/7.85	c (3,0) c ReductionTime_1 : 0.056505
38.84/7.85	c (3,0) c ReductionTime_2 : 0.056202
38.84/7.85	c (3,0) c ReductionTime_3 : 0.052262
38.84/7.85	c (3,0) c ReductionTime_4 : 0.059417
38.84/7.85	c (3,0) c ReductionTime_5 : 0.059271
38.84/7.85	c (3,0) c ReductionTime_6 : 0.060580
38.84/7.85	c (3,0) c ReductionTime_7 : 0.057667
38.84/7.85	c (3,0) c ReductionTime_total : 0.459219
38.84/7.85	c (3,0) c ReductionTime_winner : 0.056202
38.84/7.85	c (3,0) c SimplifyTime_0 : 0.000003
38.84/7.85	c (3,0) c SimplifyTime_1 : 0.000002
38.84/7.85	c (3,0) c SimplifyTime_2 : 0.000001
38.84/7.85	c (3,0) c SimplifyTime_3 : 0.000003
38.84/7.85	c (3,0) c SimplifyTime_4 : 0.000001
38.84/7.85	c (3,0) c SimplifyTime_5 : 0.000007
38.84/7.85	c (3,0) c SimplifyTime_6 : 0.000004
38.84/7.85	c (3,0) c SimplifyTime_7 : 0.000001
38.84/7.85	c (3,0) c SimplifyTime_total : 0.000022
38.84/7.85	c (3,0) c SimplifyTime_winner : 0.000001
38.84/7.85	c (3,0) c UsedRateTime_0 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_1 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_2 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_3 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_4 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_5 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_6 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_7 : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_total : 0.000000
38.84/7.85	c (3,0) c UsedRateTime_winner : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_0 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_1 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_2 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_3 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_4 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_5 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_6 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_7 : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_total : 0.000000
38.84/7.85	c (3,0) c OverlapRateTime_winner : 0.000000
38.84/7.85	c (3,0) c
38.84/7.85	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
38.84/7.85	c (3,0) c
38.84/7.85	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.85	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.84/7.85	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.85	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
38.84/7.85	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
38.84/7.85	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
38.84/7.85	c (3,0) c | Initial random_seed   | 1090332017 | 1728973424 |  821486905 | 2050453432 |  828891222 | 2073001256 | 1094628494 | 1150420199 |
38.84/7.85	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
38.84/7.85	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
38.84/7.85	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
38.84/7.85	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
38.84/7.85	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
38.84/7.85	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
38.84/7.85	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
38.84/7.85	c (3,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9500 |
38.84/7.85	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
38.84/7.85	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
38.84/7.85	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
38.84/7.85	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.84/7.85	c (3,0) 
38.84/7.85	c (3,0) s SATISFIABLE
38.84/7.86	c (3,0) SatSolver.solve End
38.84/7.86	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
38.84/7.86	c (3,0) Show results Begin
39.00/7.94	c (3,0) x[0] = 12
39.00/7.94	c (3,0) x[1] = 11
39.00/7.94	c (3,0) x[2] = 15
39.00/7.94	c (3,0) x[3] = 5
39.00/7.94	c (3,0) x[4] = 14
39.00/7.94	c (3,0) x[5] = 11
39.00/7.94	c (3,0) x[6] = 0
39.00/7.94	c (3,0) x[7] = 9
39.00/7.94	c (3,0) x[8] = 5
39.00/7.94	c (3,0) x[9] = 9
39.00/7.94	c (3,0) x[10] = 5
39.00/7.94	c (3,0) x[11] = 7
39.00/7.94	c (3,0) x[12] = 4
39.00/7.94	c (3,0) x[13] = 9
39.00/7.94	c (3,0) x[14] = 0
39.00/7.94	c (3,0) x[15] = 0
39.00/7.94	c (3,0) x[16] = 14
39.00/7.94	c (3,0) x[17] = 15
39.00/7.94	c (3,0) x[18] = 10
39.00/7.94	c (3,0) x[19] = 10
39.00/7.94	c (3,0) x[20] = 15
39.00/7.94	c (3,0) x[21] = 15
39.00/7.94	c (3,0) x[22] = 10
39.00/7.94	c (3,0) x[23] = 12
39.00/7.94	c (3,0) x[24] = 0
39.00/7.94	c (3,0) x[25] = 3
39.00/7.94	c (3,0) x[26] = 9
39.00/7.94	c (3,0) x[27] = 1
39.00/7.94	c (3,0) x[28] = 7
39.00/7.94	c (3,0) x[29] = 4
39.00/7.94	c (3,0) x[30] = 0
39.00/7.94	c (3,0) x[31] = 1
39.00/7.94	c (3,0) x[32] = 15
39.00/7.94	c (3,0) x[33] = 5
39.00/7.94	c (3,0) x[34] = 5
39.00/7.94	c (3,0) x[35] = 15
39.00/7.94	c (3,0) x[36] = 6
39.00/7.94	c (3,0) x[37] = 8
39.00/7.94	c (3,0) x[38] = 12
39.00/7.94	c (3,0) x[39] = 14
39.00/7.94	s SATISFIABLE
39.00/7.94	v <instantiation>
39.00/7.94	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.00/7.94	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.00/7.94	v </instantiation>
39.00/7.94	c (3,0) Show results End
39.00/7.94	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
39.00/7.94	c (3,0) 3,3,STOP-AFTER(ALL)
39.00/7.94	c END-Prog: Sat Sep 14 01:30:01 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 (14066 MiB free)
  memory of node 1: 16384 MiB (14114 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392273-1568417433/watcher-4392273-1568417433 -o /tmp/evaluation-result-4392273-1568417433/solver-4392273-1568417433 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568417392-21116 --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-4392273-1568417433.xml 

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

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

solver pid=21133, runsolver pid=21130

[startup+0.100152 s]*
/proc/loadavg: 0.92 1.04 1.40 2/211 21155
/proc/meminfo: memFree=28763884/32770624 swapFree=66998528/67108860
[pid=21133] ppid=21130 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/21133/stat : 21133 (scop.sh) S 21130 21133 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418012128 115843072 348 33554432000 4194304 5098028 140729178504144 140729178501400 140075054207612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33497088 140729178506021 140729178506348 140729178506348 140729178509261 0
/proc/21133/statm: 28282 348 296 221 0 87 0
[pid=21136] ppid=21133 vsize=27314120 memory=103700 CPUtime=0.09 cores=0-7
/proc/21136/stat : 21136 (java) S 21133 21133 21089 0 -1 1077944320 6496 0 0 0 7 2 0 0 20 0 20 0 418012129 27969658880 25925 33554432000 4194304 4196468 140729450372368 140729450354912 140438387736311 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
/proc/21136/statm: 6828530 25925 2768 1 0 6790935 0
[pid=21136/tid=21137] ppid=21133 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/21136/task/21137/stat : 21137 (java) R 21133 21133 21089 0 -1 4202560 4598 0 0 0 6 2 0 0 20 0 20 0 418012129 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438359562496 140438371816798 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21138] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21138/stat : 21138 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438391979152 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21139] ppid=21133 vsize=27314120 memory=288370713997297280 CPUtime=0 cores=0-7
/proc/21136/task/21139/stat : 21139 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438206135312 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21140] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21140/stat : 21140 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438205082512 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21141] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21141/stat : 21141 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438204029712 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21142] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21142/stat : 21142 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438202976912 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21143] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21143/stat : 21143 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438201924112 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21144] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21144/stat : 21144 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438200871312 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21145] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21145/stat : 21145 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 25925 33554432000 4194304 4196468 140729450372368 140438199818512 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21146] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21146/stat : 21146 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436909230960 140438387747458 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21147] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21147/stat : 21147 (java) S 21133 21133 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436035331616 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21148] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21148/stat : 21148 (java) S 21133 21133 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 25925 33554432000 4194304 4196468 140729450372368 140435901109616 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21149] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21149/stat : 21149 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140435526605136 140438387754907 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21150] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21150/stat : 21150 (java) S 21133 21133 21089 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436840638832 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21151] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21151/stat : 21151 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436839586032 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21152] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21152/stat : 21152 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436838533232 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21153] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21153/stat : 21153 (java) S 21133 21133 21089 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436837480432 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21154] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21154/stat : 21154 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140435028700256 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21155] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21155/stat : 21155 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 25925 33554432000 4194304 4196468 140729450372368 140436836428848 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105092 KiB

[startup+0.210566 s]*
/proc/loadavg: 0.92 1.04 1.40 2/211 21155
/proc/meminfo: memFree=28742812/32770624 swapFree=66998528/67108860
[pid=21133] ppid=21130 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/21133/stat : 21133 (scop.sh) S 21130 21133 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418012128 115843072 348 33554432000 4194304 5098028 140729178504144 140729178501400 140075054207612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33497088 140729178506021 140729178506348 140729178506348 140729178509261 0
/proc/21133/statm: 28282 348 296 221 0 87 0
[pid=21136] ppid=21133 vsize=27314120 memory=123288 CPUtime=0.24 cores=0-7
/proc/21136/stat : 21136 (java) S 21133 21133 21089 0 -1 1077944320 12233 0 0 0 20 4 0 0 20 0 20 0 418012129 27969658880 30822 33554432000 4194304 4196468 140729450372368 140729450354912 140438387736311 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
/proc/21136/statm: 6828530 30822 2926 1 0 6790935 0
[pid=21136/tid=21137] ppid=21133 vsize=27314120 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/21136/task/21137/stat : 21137 (java) R 21133 21133 21089 0 -1 4202560 9946 0 0 0 15 3 0 0 20 0 20 0 418012129 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438359535696 140438387758237 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21138] ppid=21133 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/21136/task/21138/stat : 21138 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438391979152 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21139] ppid=21133 vsize=27314120 memory=140337845605859 CPUtime=0 cores=0-7
/proc/21136/task/21139/stat : 21139 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438206135312 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21140] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21140/stat : 21140 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438205082512 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21141] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21141/stat : 21141 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438204029712 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21142] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21142/stat : 21142 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438202976912 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21143] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21143/stat : 21143 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438201924112 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21144] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21144/stat : 21144 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438200871312 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21145] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21145/stat : 21145 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 30822 33554432000 4194304 4196468 140729450372368 140438199818512 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21146] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21146/stat : 21146 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436909230960 140438387747458 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21147] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21147/stat : 21147 (java) S 21133 21133 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436035331616 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21148] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21148/stat : 21148 (java) S 21133 21133 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 30822 33554432000 4194304 4196468 140729450372368 140435901109616 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21149] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21149/stat : 21149 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140435526605136 140438387754907 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21150] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21150/stat : 21150 (java) S 21133 21133 21089 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436840638832 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21151] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21151/stat : 21151 (java) R 21133 21133 21089 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436839577536 140438371172049 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21152] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21152/stat : 21152 (java) S 21133 21133 21089 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436838533232 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21153] ppid=21133 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21136/task/21153/stat : 21153 (java) S 21133 21133 21089 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436837480432 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21154] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21154/stat : 21154 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140435028700256 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21155] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21155/stat : 21155 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 30822 33554432000 4194304 4196468 140729450372368 140436836428848 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124680 KiB

[startup+0.31041 s]*
/proc/loadavg: 0.92 1.04 1.40 2/211 21155
/proc/meminfo: memFree=28739524/32770624 swapFree=66998528/67108860
[pid=21133] ppid=21130 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/21133/stat : 21133 (scop.sh) S 21130 21133 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418012128 115843072 348 33554432000 4194304 5098028 140729178504144 140729178501400 140075054207612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33497088 140729178506021 140729178506348 140729178506348 140729178509261 0
/proc/21133/statm: 28282 348 296 221 0 87 0
[pid=21136] ppid=21133 vsize=27314120 memory=127596 CPUtime=0.41 cores=0-7
/proc/21136/stat : 21136 (java) S 21133 21133 21089 0 -1 1077944320 12822 0 0 0 37 4 0 0 20 0 20 0 418012129 27969658880 31899 33554432000 4194304 4196468 140729450372368 140729450354912 140438387736311 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
/proc/21136/statm: 6828530 31899 3031 1 0 6790935 0
[pid=21136/tid=21137] ppid=21133 vsize=27314120 memory=8317482817917895235 CPUtime=0.28 cores=0-7
/proc/21136/task/21137/stat : 21137 (java) R 21133 21133 21089 0 -1 4202560 10319 0 0 0 25 3 0 0 20 0 20 0 418012129 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438359556032 140438371816724 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21138] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21138/stat : 21138 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438391979152 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21139] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21139/stat : 21139 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438206135312 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21140] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21140/stat : 21140 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438205082512 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21141] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21141/stat : 21141 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438204029712 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21142] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21142/stat : 21142 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438202976912 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21143] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21143/stat : 21143 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438201924112 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21144] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21144/stat : 21144 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438200871312 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21145] ppid=21133 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/21136/task/21145/stat : 21145 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012132 27969658880 31899 33554432000 4194304 4196468 140729450372368 140438199818512 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21146] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21146/stat : 21146 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436909230960 140438387747458 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21147] ppid=21133 vsize=27314120 memory=280675441909120 CPUtime=0 cores=0-7
/proc/21136/task/21147/stat : 21147 (java) S 21133 21133 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436035331616 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21148] ppid=21133 vsize=27314120 memory=280675441913728 CPUtime=0 cores=0-7
/proc/21136/task/21148/stat : 21148 (java) S 21133 21133 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418012134 27969658880 31899 33554432000 4194304 4196468 140729450372368 140435901109616 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21149] ppid=21133 vsize=27314120 memory=280675441918336 CPUtime=0 cores=0-7
/proc/21136/task/21149/stat : 21149 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140435526605136 140438387754907 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21150] ppid=21133 vsize=27314120 memory=280675441922944 CPUtime=0.01 cores=0-7
/proc/21136/task/21150/stat : 21150 (java) S 21133 21133 21089 0 -1 1077944384 520 0 0 0 1 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436840638832 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21151] ppid=21133 vsize=27314120 memory=280675441927552 CPUtime=0.01 cores=0-7
/proc/21136/task/21151/stat : 21151 (java) S 21133 21133 21089 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436839586032 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21152] ppid=21133 vsize=27314120 memory=280675441932160 CPUtime=0.01 cores=0-7
/proc/21136/task/21152/stat : 21152 (java) S 21133 21133 21089 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436838533232 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21153] ppid=21133 vsize=27314120 memory=280675441936768 CPUtime=0.07 cores=0-7
/proc/21136/task/21153/stat : 21153 (java) S 21133 21133 21089 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436837480432 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21154] ppid=21133 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21154/stat : 21154 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140435028700256 140438387746517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21155] ppid=21133 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21136/task/21155/stat : 21155 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418012137 27969658880 31899 33554432000 4194304 4196468 140729450372368 140436836428848 140438387747458 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128988 KiB

[startup+0.700969 s]
/proc/loadavg: 0.92 1.04 1.40 3/211 21155
/proc/meminfo: memFree=28719272/32770624 swapFree=66998528/67108860
[pid=21133] ppid=21130 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/21133/stat : 21133 (scop.sh) S 21130 21133 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418012128 115843072 348 33554432000 4194304 5098028 140729178504144 140729178501400 140075054207612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33497088 140729178506021 140729178506348 140729178506348 140729178509261 0
/proc/21133/statm: 28282 348 296 221 0 87 0
[pid=21136] ppid=21133 vsize=27320392 memory=163060 CPUtime=0.96 cores=0-7
/proc/21136/stat : 21136 (java) S 21133 21133 21089 0 -1 1077944320 20428 0 0 0 90 6 0 0 20 0 20 0 418012129 27976081408 40765 33554432000 4194304 4196468 140729450372368 140729450354912 140438387736311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
/proc/21136/statm: 6830098 40765 3180 1 0 6791447 0
[pid=21136/tid=21137] ppid=21133 vsize=27320392 memory=4580 CPUtime=0.66 cores=0-7
/proc/21136/task/21137/stat : 21137 (java) R 21133 21133 21089 0 -1 4202560 17382 0 0 0 61 5 0 0 20 0 20 0 418012129 27976081408 40765 33554432000 4194304 4196468 140729450372368 140438359573520 140438387748246 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21138] ppid=21133 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21138/stat : 21138 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27976081408 40765 33554432000 4194304 4196468 140729450372368 140438391979152 140438387746517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21139] ppid=21133 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21136/task/21139/stat : 21139 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27976081408 40765 33554432000 4194304 4196468 140729450372368 140438206135312 140438387746517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0
[pid=21136/tid=21140] ppid=21133 vsize=27320392 memory=1204 CPUtime=0 cores=0-7
/proc/21136/task/21140/stat : 21140 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418012132 27976081408 40765 33554432000 4194304 4196468 140729450372368 140438205082512 140438387746517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22335488 140729450377963 140729450378390 140729450378390 140729450381263 0

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

/proc/21156/task/21161/stat : 21161 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760457730320 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21162] ppid=21133 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/21156/task/21162/stat : 21162 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760456678544 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21163] ppid=21133 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/21156/task/21163/stat : 21163 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760455625744 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21164] ppid=21133 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/21156/task/21164/stat : 21164 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760454572944 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21165] ppid=21133 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/21156/task/21165/stat : 21165 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760453520144 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21166] ppid=21133 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/21156/task/21166/stat : 21166 (java) S 21133 21133 21089 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418012501 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759733029232 139760975227522 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21167] ppid=21133 vsize=8414124 memory=1204 CPUtime=0 cores=0-7
/proc/21156/task/21167/stat : 21167 (java) S 21133 21133 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418012501 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759645090848 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21168] ppid=21133 vsize=8414124 memory=1536 CPUtime=0 cores=0-7
/proc/21156/task/21168/stat : 21168 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012502 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759376655216 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21169] ppid=21133 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/21156/task/21169/stat : 21169 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759002146640 139760975234971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21170] ppid=21133 vsize=8414124 memory=2828 CPUtime=0.05 cores=0-7
/proc/21156/task/21170/stat : 21170 (java) S 21133 21133 21089 0 -1 1077944384 475 0 0 0 5 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759731977072 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21171] ppid=21133 vsize=8414124 memory=780 CPUtime=0.06 cores=0-7
/proc/21156/task/21171/stat : 21171 (java) S 21133 21133 21089 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759730924272 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21172] ppid=21133 vsize=8414124 memory=7662705889289527641 CPUtime=0.07 cores=0-7
/proc/21156/task/21172/stat : 21172 (java) S 21133 21133 21089 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759729871472 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21173] ppid=21133 vsize=8414124 memory=7013342044610651755 CPUtime=0.19 cores=0-7
/proc/21156/task/21173/stat : 21173 (java) S 21133 21133 21089 0 -1 1077944384 505 0 0 0 19 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759728818672 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21174] ppid=21133 vsize=8414124 memory=5787213827113576551 CPUtime=0 cores=0-7
/proc/21156/task/21174/stat : 21174 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139758504241760 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21175] ppid=21133 vsize=8414124 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/21156/task/21175/stat : 21175 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418012505 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759727766064 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21177] ppid=21133 vsize=8414124 memory=-8529969244802432963 CPUtime=0 cores=0-7
/proc/21156/task/21177/stat : 21177 (java) S 21133 21133 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418012571 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759719732288 139760975240985 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21179] ppid=21133 vsize=8414124 memory=7228928657758118464 CPUtime=0 cores=0-7
/proc/21156/task/21179/stat : 21179 (java) S 21133 21133 21089 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418012571 8616062976 30030 33554432000 4194304 4196468 140731186171568 139757833142416 139760975238301 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21180] ppid=21133 vsize=8414124 memory=7451044407947903084 CPUtime=0 cores=0-7
/proc/21156/task/21180/stat : 21180 (java) S 21133 21133 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418012571 8616062976 30030 33554432000 4194304 4196468 140731186171568 139758101577744 139760975238301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21186] ppid=21133 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/21156/task/21186/stat : 21186 (java) S 21133 21133 21089 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418012573 8616062976 30030 33554432000 4194304 4196468 140731186171568 139757564714544 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
Current children cumulated CPU time: 37.87 s
Current children cumulated vsize: 9161672 KiB
Current children cumulated memory: 244200 KiB

[startup+7.80131 s]
/proc/loadavg: 1.17 1.09 1.42 10/224 21190
/proc/meminfo: memFree=28635068/32770624 swapFree=66998528/67108860
[pid=21133] ppid=21130 vsize=113128 memory=1472 CPUtime=11.59 cores=0-7
/proc/21133/stat : 21133 (scop.sh) S 21130 21133 21089 0 -1 4202496 582 33305 0 0 0 0 1136 23 20 0 1 0 418012128 115843072 368 33554432000 4194304 5098028 140729178504144 140729178500888 140075054207612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33497088 140729178506021 140729178506348 140729178506348 140729178509261 0
/proc/21133/statm: 28282 368 311 221 0 87 0
[pid=21156] ppid=21133 vsize=8414124 memory=120120 CPUtime=1.16 cores=0-7
/proc/21156/stat : 21156 (java) S 21133 21133 21089 0 -1 1077944320 20022 0 0 0 109 7 0 0 20 0 24 0 418012498 8616062976 30030 33554432000 4194304 4196468 140731186171568 140731186154112 139760975216375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
/proc/21156/statm: 2103531 30030 3203 1 0 2064875 0
[pid=21176] ppid=21156 vsize=627480 memory=114456 CPUtime=26.09 cores=0-7
/proc/21176/stat : 21176 (manyglucose-4.1) S 21156 21133 21089 0 -1 1077944320 47880 0 0 0 2596 13 0 0 20 0 2 0 418012570 642539520 28614 33554432000 4194304 4454172 140736336850624 140736336849008 140016258232055 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 30101504 140736336855913 140736336856112 140736336856112 140736336859066 0
/proc/21176/statm: 156870 28614 415 64 0 152538 0
[pid=21176/tid=21181] ppid=21156 vsize=627480 memory=3053511329498284128 CPUtime=3.33 cores=0-7
/proc/21176/task/21181/stat : 21181 (manyglucose-4.1) R 21156 21133 21089 0 -1 4202560 5889 0 0 0 332 1 0 0 20 0 2 0 418012573 642539520 28614 33554432000 4194304 4454172 140736336850624 140016243014392 4351313 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 30101504 140736336855913 140736336856112 140736336856112 140736336859066 0
[pid=21156/tid=21157] ppid=21133 vsize=8414124 memory=7752549240514114323 CPUtime=0.75 cores=0-7
/proc/21156/task/21157/stat : 21157 (java) S 21133 21133 21089 0 -1 1077944384 16943 0 0 0 70 5 0 0 20 0 24 0 418012498 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760947056544 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21158] ppid=21133 vsize=8414124 memory=6944656425122700657 CPUtime=0 cores=0-7
/proc/21156/task/21158/stat : 21158 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760979458704 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21159] ppid=21133 vsize=8414124 memory=-6948055166404804227 CPUtime=0 cores=0-7
/proc/21156/task/21159/stat : 21159 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760788019728 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21160] ppid=21133 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/21156/task/21160/stat : 21160 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760458783120 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21161] ppid=21133 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/21156/task/21161/stat : 21161 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760457730320 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21162] ppid=21133 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/21156/task/21162/stat : 21162 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760456678544 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21163] ppid=21133 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/21156/task/21163/stat : 21163 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760455625744 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21164] ppid=21133 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/21156/task/21164/stat : 21164 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760454572944 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21165] ppid=21133 vsize=8414124 memory=-7013075868005718624 CPUtime=0 cores=0-7
/proc/21156/task/21165/stat : 21165 (java) S 21133 21133 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418012499 8616062976 30030 33554432000 4194304 4196468 140731186171568 139760453520144 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21166] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21166/stat : 21166 (java) S 21133 21133 21089 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418012501 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759733029232 139760975227522 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21167] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21167/stat : 21167 (java) S 21133 21133 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418012501 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759645090848 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21168] ppid=21133 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/21156/task/21168/stat : 21168 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012502 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759376655216 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21169] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21169/stat : 21169 (java) S 21133 21133 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759002146640 139760975234971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21170] ppid=21133 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/21156/task/21170/stat : 21170 (java) S 21133 21133 21089 0 -1 1077944384 475 0 0 0 5 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759731977072 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21171] ppid=21133 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/21156/task/21171/stat : 21171 (java) S 21133 21133 21089 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759730924272 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21172] ppid=21133 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/21156/task/21172/stat : 21172 (java) S 21133 21133 21089 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759729871472 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21173] ppid=21133 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/21156/task/21173/stat : 21173 (java) S 21133 21133 21089 0 -1 1077944384 505 0 0 0 19 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759728818672 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21174] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21174/stat : 21174 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418012504 8616062976 30030 33554432000 4194304 4196468 140731186171568 139758504241760 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21175] ppid=21133 vsize=8414124 memory=13412 CPUtime=0 cores=0-7
/proc/21156/task/21175/stat : 21175 (java) S 21133 21133 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418012505 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759727766064 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21177] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21177/stat : 21177 (java) S 21133 21133 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418012571 8616062976 30030 33554432000 4194304 4196468 140731186171568 139759719732288 139760975240985 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21179] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21179/stat : 21179 (java) S 21133 21133 21089 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418012571 8616062976 30030 33554432000 4194304 4196468 140731186171568 139757833142416 139760975238301 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21180] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21180/stat : 21180 (java) S 21133 21133 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418012571 8616062976 30030 33554432000 4194304 4196468 140731186171568 139758101577744 139760975238301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21186] ppid=21133 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21156/task/21186/stat : 21186 (java) S 21133 21133 21089 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418012573 8616062976 30030 33554432000 4194304 4196468 140731186171568 139757564714544 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
Current children cumulated CPU time: 38.84 s
Current children cumulated vsize: 9154732 KiB
Current children cumulated memory: 236048 KiB

[startup+7.90123 s]
/proc/loadavg: 1.17 1.09 1.42 10/224 21190
/proc/meminfo: memFree=28635068/32770624 swapFree=66998528/67108860
[pid=21133] ppid=21130 vsize=113128 memory=1472 CPUtime=11.59 cores=0-7
/proc/21133/stat : 21133 (scop.sh) S 21130 21133 21089 0 -1 4202496 582 33305 0 0 0 0 1136 23 20 0 1 0 418012128 115843072 368 33554432000 4194304 5098028 140729178504144 140729178500888 140075054207612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33497088 140729178506021 140729178506348 140729178506348 140729178509261 0
/proc/21133/statm: 28282 368 311 221 0 87 0
[pid=21156] ppid=21133 vsize=8283048 memory=121520 CPUtime=27.41 cores=0-7
/proc/21156/stat : 21156 (java) S 21133 21133 21089 0 -1 1077944320 20342 47969 0 0 121 7 2599 14 20 0 22 0 418012498 8481841152 30380 33554432000 4194304 4196468 140731186171568 140731186154112 139760975216375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
/proc/21156/statm: 2070762 30380 3206 1 0 2032106 0
[pid=21156/tid=21157] ppid=21133 vsize=8283048 memory=0 CPUtime=26.92 cores=0-7
/proc/21156/task/21157/stat : 21157 (java) R 21133 21133 21089 0 -1 4202560 17109 47969 0 0 74 5 2599 14 20 0 22 0 418012498 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760947046896 139760975239965 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21158] ppid=21133 vsize=8283048 memory=1472 CPUtime=26.13 cores=0-7
/proc/21156/task/21158/stat : 21158 (java) S 21133 21133 21089 0 -1 1077944384 1 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760979458704 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21159] ppid=21133 vsize=8283048 memory=280675442551552 CPUtime=26.13 cores=0-7
/proc/21156/task/21159/stat : 21159 (java) S 21133 21133 21089 0 -1 1077944384 3 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760788019728 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21160] ppid=21133 vsize=8283048 memory=231198089586001 CPUtime=26.13 cores=0-7
/proc/21156/task/21160/stat : 21160 (java) S 21133 21133 21089 0 -1 1077944384 2 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760458783120 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21161] ppid=21133 vsize=8283048 memory=7686721470334473876 CPUtime=26.13 cores=0-7
/proc/21156/task/21161/stat : 21161 (java) S 21133 21133 21089 0 -1 1077944384 1 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760457730320 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21162] ppid=21133 vsize=8283048 memory=0 CPUtime=26.13 cores=0-7
/proc/21156/task/21162/stat : 21162 (java) S 21133 21133 21089 0 -1 1077944384 1 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760456678544 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21163] ppid=21133 vsize=8283048 memory=0 CPUtime=26.13 cores=0-7
/proc/21156/task/21163/stat : 21163 (java) S 21133 21133 21089 0 -1 1077944384 1 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760455625744 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21164] ppid=21133 vsize=8283048 memory=0 CPUtime=26.13 cores=0-7
/proc/21156/task/21164/stat : 21164 (java) S 21133 21133 21089 0 -1 1077944384 2 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760454572944 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21165] ppid=21133 vsize=8283048 memory=0 CPUtime=26.13 cores=0-7
/proc/21156/task/21165/stat : 21165 (java) S 21133 21133 21089 0 -1 1077944384 2 47969 0 0 0 0 2599 14 20 0 22 0 418012499 8481841152 30380 33554432000 4194304 4196468 140731186171568 139760453520144 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21166] ppid=21133 vsize=8283048 memory=9592 CPUtime=26.13 cores=0-7
/proc/21156/task/21166/stat : 21166 (java) S 21133 21133 21089 0 -1 1077944384 7 47969 0 0 0 0 2599 14 20 0 22 0 418012501 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759733029232 139760975227522 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21167] ppid=21133 vsize=8283048 memory=2828 CPUtime=26.13 cores=0-7
/proc/21156/task/21167/stat : 21167 (java) S 21133 21133 21089 0 -1 1077944384 13 47969 0 0 0 0 2599 14 20 0 22 0 418012501 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759645090848 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21168] ppid=21133 vsize=8283048 memory=780 CPUtime=26.13 cores=0-7
/proc/21156/task/21168/stat : 21168 (java) S 21133 21133 21089 0 -1 1077944384 1 47969 0 0 0 0 2599 14 20 0 22 0 418012502 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759376655216 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21169] ppid=21133 vsize=8283048 memory=620 CPUtime=26.13 cores=0-7
/proc/21156/task/21169/stat : 21169 (java) S 21133 21133 21089 0 -1 1077944384 1 47969 0 0 0 0 2599 14 20 0 22 0 418012504 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759002146640 139760975234971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21170] ppid=21133 vsize=8283048 memory=280675442194112 CPUtime=26.19 cores=0-7
/proc/21156/task/21170/stat : 21170 (java) S 21133 21133 21089 0 -1 1077944384 480 47969 0 0 6 0 2599 14 20 0 22 0 418012504 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759731977072 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21171] ppid=21133 vsize=8283048 memory=1204 CPUtime=26.19 cores=0-7
/proc/21156/task/21171/stat : 21171 (java) S 21133 21133 21089 0 -1 1077944384 401 47969 0 0 6 0 2599 14 20 0 22 0 418012504 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759730924272 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21172] ppid=21133 vsize=8283048 memory=1536 CPUtime=26.2 cores=0-7
/proc/21156/task/21172/stat : 21172 (java) S 21133 21133 21089 0 -1 1077944384 317 47969 0 0 7 0 2599 14 20 0 22 0 418012504 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759729871472 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21173] ppid=21133 vsize=8283048 memory=9592 CPUtime=26.35 cores=0-7
/proc/21156/task/21173/stat : 21173 (java) S 21133 21133 21089 0 -1 1077944384 583 47969 0 0 22 0 2599 14 20 0 22 0 418012504 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759728818672 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21174] ppid=21133 vsize=8283048 memory=2828 CPUtime=26.13 cores=0-7
/proc/21156/task/21174/stat : 21174 (java) S 21133 21133 21089 0 -1 1077944384 3 47969 0 0 0 0 2599 14 20 0 22 0 418012504 8481841152 30380 33554432000 4194304 4196468 140731186171568 139758504241760 139760975226581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21175] ppid=21133 vsize=8283048 memory=780 CPUtime=26.13 cores=0-7
/proc/21156/task/21175/stat : 21175 (java) S 21133 21133 21089 0 -1 1077944384 3 47969 0 0 0 0 2599 14 20 0 22 0 418012505 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759727766064 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21177] ppid=21133 vsize=8283048 memory=620 CPUtime=26.13 cores=0-7
/proc/21156/task/21177/stat : 21177 (java) S 21133 21133 21089 0 -1 1077944384 24 47969 0 0 0 0 2599 14 20 0 22 0 418012571 8481841152 30380 33554432000 4194304 4196468 140731186171568 139759719731472 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
[pid=21156/tid=21186] ppid=21133 vsize=8283048 memory=5908 CPUtime=26.13 cores=0-7
/proc/21156/task/21186/stat : 21186 (java) S 21133 21133 21089 0 -1 1077944384 8 47969 0 0 0 0 2599 14 20 0 22 0 418012573 8481841152 30380 33554432000 4194304 4196468 140731186171568 139757564716336 139760975227522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16285696 140731186177015 140731186177174 140731186177174 140731186180047 0
Current children cumulated CPU time: 39 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122992 KiB

Child status: 0
Real time (s): 7.95515
CPU time (s): 39.1299
CPU user time (s): 38.6678
CPU system time (s): 0.462092
CPU usage (%): 491.882
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 953360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.6678
system time used= 0.462092
maximum resident set size= 958224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11424
involuntary context switches= 346


# summary of solver processes directly reported to runsolver:
#   pid: 21133
#   total CPU time (s): 39.1299
#   total CPU user time (s): 38.6678
#   total CPU system time (s): 0.462092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081584 second user time and 0.142824 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 01:29:53
IDJOB=4392273
IDBENCH=121710
IDSOLVER=2838
FILE ID=node127/4392273-1568417433
RUNJOBID= node127-1568417392-21116
PBS_JOBID= 21702273
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t035/rand-2-40-16-250-035-86.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -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-4392273-1568417433/watcher-4392273-1568417433 -o /tmp/evaluation-result-4392273-1568417433/solver-4392273-1568417433 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568417392-21116 --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-4392273-1568417433.xml

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

MD5SUM BENCH= 95e1ba6edeec6aa2d568f833deab6719
RANDOM SEED=1562438862

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28857908 kB
MemAvailable:   31871692 kB
Buffers:          177880 kB
Cached:          3101124 kB
SwapCached:         6772 kB
Active:          1894396 kB
Inactive:        1396084 kB
Active(anon):       4664 kB
Inactive(anon):    48568 kB
Active(file):    1889732 kB
Inactive(file):  1347516 kB
Unevictable:      109568 kB
Mlocked:          109568 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20684 kB
Writeback:             0 kB
AnonPages:        114796 kB
Mapped:            44592 kB
Shmem:             32700 kB
Slab:             215320 kB
SReclaimable:     184744 kB
SUnreclaim:        30576 kB
KernelStack:        3280 kB
PageTables:         6020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-14 01:30:01