Trace number 4405433

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 38.8383 8.07864

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-3311-serial-file.bin HOME/instance-4405433-1569238766.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 13:38:43 CEST 2019
0.65/0.57	c PID: 3314
0.65/0.57	c IP: 172.20.3.121
0.65/0.57	c HOST: node121.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.16/1.07	c (0,0) Parsing End
2.16/1.08	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 250 ctr, max domain size 16
2.16/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.16/1.08	c (0,0) Constraint Name Generate Begin
2.16/1.09	c (0,0) Ctr:HOME/instance-4405433-1569238766.xml,ExtensionConflict:Var
2.16/1.09	c (0,0) Constraint Name Generate End
2.16/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.16/1.09	c (0,0) CSP to CSPinCNF Begin
4.21/1.65	c (1,1) translated 25 (10%) constraints
4.63/1.79	c (1,1) translated 50 (20%) constraints
5.44/1.90	c (1,1) translated 75 (30%) constraints
5.88/2.01	c (1,1) translated 100 (40%) constraints
6.29/2.11	c (1,1) translated 125 (50%) constraints
6.66/2.21	c (1,1) translated 150 (60%) constraints
7.06/2.30	c (1,1) translated 175 (70%) constraints
7.46/2.40	c (1,1) translated 200 (80%) constraints
7.46/2.48	c (1,1) translated 225 (90%) constraints
7.81/2.56	c (2,2) translated 250 (100%) constraints
7.81/2.56	c (2,2) ===========================================
7.81/2.58	c (2,2) Hybrid: #OE=40, #LE=0
7.81/2.58	c (2,2) Hybrid
7.81/2.58	c (2,2) ===========================================
8.03/2.64	c (2,2) translated 1497 (10%) constraints
8.03/2.69	c (2,2) translated 2993 (20%) constraints
8.30/2.73	c (2,2) translated 4489 (30%) constraints
8.30/2.77	c (2,2) translated 5985 (40%) constraints
8.53/2.80	c (2,2) translated 7481 (50%) constraints
8.53/2.84	c (2,2) translated 8978 (60%) constraints
8.53/2.87	c (2,2) translated 10474 (70%) constraints
8.65/2.91	c (2,2) translated 11970 (80%) constraints
8.65/2.94	c (2,2) translated 13466 (90%) constraints
8.65/2.98	c (2,2) translated 14962 (100%) constraints
8.65/2.98	c (2,2) CSP to CSPinCNF End
8.65/2.98	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
8.65/2.98	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.65/2.98	c (2,2) CSPinCNF Propagation Begin
9.22/3.13	c (2,2) 0 values, 2338 unsatisfiable literals, and 0 valid clauses are removed
9.22/3.13	c (2,2) CSPinCNF Propagation End
9.22/3.13	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.22/3.13	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.22/3.14	c (2,2) Hybrid: #OE=40, #LE=0
9.22/3.14	c (2,2) Simplify CSPinCNF Begin
9.45/3.20	c (2,2) Simplify CSPinCNF End
9.45/3.20	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.45/3.20	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.45/3.20	c (2,2) Calculate Precise Domain Begin
9.45/3.20	c (2,2) 0 values are removed by re-calculation
9.45/3.20	c (2,2) Calculate Precise Domain End
9.45/3.20	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.45/3.20	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.45/3.20	c (2,2) CSPinCNF to SatSolver Begin
9.73/3.34	c (2,2) 1497 (10 %) CSP clauses are encoded (0 SAT variables, 2056 SAT clauses)
9.73/3.39	c (2,2) 2993 (20 %) CSP clauses are encoded (0 SAT variables, 3552 SAT clauses)
10.14/3.43	c (2,2) 4489 (30 %) CSP clauses are encoded (0 SAT variables, 5048 SAT clauses)
10.14/3.47	c (2,2) 5985 (40 %) CSP clauses are encoded (0 SAT variables, 6544 SAT clauses)
10.54/3.51	c (2,2) 7481 (50 %) CSP clauses are encoded (0 SAT variables, 8040 SAT clauses)
10.54/3.54	c (2,2) 8978 (60 %) CSP clauses are encoded (0 SAT variables, 9537 SAT clauses)
10.54/3.56	c (3,3) 10474 (70 %) CSP clauses are encoded (0 SAT variables, 11033 SAT clauses)
10.86/3.60	c (3,3) 11970 (80 %) CSP clauses are encoded (0 SAT variables, 12529 SAT clauses)
10.86/3.60	c (3,3) 13466 (90 %) CSP clauses are encoded (0 SAT variables, 14025 SAT clauses)
10.86/3.61	c (3,3) 14962 (100 %) CSP clauses are encoded (0 SAT variables, 15521 SAT clauses)
10.86/3.61	c (3,3) CSPinCNF to SatSolver End
10.86/3.61	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.86/3.61	c (3,3) 600 bool, 15522 clause
10.86/3.61	c (3,3) Export Begin
11.06/3.70	c (3,3) Export to HOME/scop-3311-serial-file.bin
11.06/3.70	c (3,3) Export End
11.06/3.70	c (3,3) Export File Size: 0.01 MB
11.06/3.70	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.06/3.70	c END-Prog: Mon Sep 23 13:38:46 CEST 2019
11.06/3.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3311-serial-file.bin
11.62/4.17	c (0,0) Read Serial File Begin
11.62/4.17	c (0,0) HOME/scop-3311-serial-file.bin
11.88/4.38	c (0,0) Read Serial File End
11.88/4.40	
11.88/4.40	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
11.88/4.40	(Solving Process)
11.88/4.40	
12.03/4.42	c BEGIN-Prog: Mon Sep 23 13:38:47 CEST 2019
12.03/4.42	c PID: 3334
12.03/4.42	c IP: 172.20.3.121
12.03/4.42	c HOST: node121.alineos.net
12.03/4.42	c (0,0) SatSolver.solve Begin
12.03/4.42	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405433-1569238766.xml-scop-3314.cnf
12.03/4.45	c (0,0) c
12.03/4.45	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.03/4.45	c (0,0) c
12.03/4.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.03/4.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.03/4.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.03/4.45	c (0,0) c |                                                                                                       |
12.03/4.45	c (0,0) c |  Number of variables:           600                                                                   |
12.03/4.45	c (0,0) c |  Number of clauses:           15522                                                                   |
12.03/4.45	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.03/4.45	c (0,0) c |                                                                                                       |
12.03/4.46	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.03/4.46	c (0,0) c |                                                                                                       |
12.03/4.46	c (0,0) c |  Generating clones                                                                                    |
12.03/4.47	c (0,0) c |  all clones generated. Memory =    30.31Mb.                                                           |
12.03/4.47	c (0,0) c ========================================================================================================|
12.03/4.47	c (0,0) c
12.03/4.47	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.03/4.47	c (0,0) c
12.03/4.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.03/4.47	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.03/4.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.03/4.47	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.03/4.47	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.03/4.47	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.03/4.47	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.03/4.47	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.03/4.47	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.03/4.47	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.03/4.47	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.03/4.47	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.03/4.47	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.03/4.47	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.03/4.47	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.03/4.47	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.03/4.47	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.03/4.47	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.03/4.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c real time : 3.51127 s
38.52/7.96	c (3,0) c cpu time  : 26.1924 s
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c | Conflicts     |          586408 |      71771 |      72691 |      72417 |      74676 |      72331 |      73627 |      73068 |      75827 |
38.52/7.96	c (3,0) c | Decisions     |          739287 |      90237 |      91960 |      89917 |      94607 |      90737 |      93434 |      92926 |      95469 |
38.52/7.96	c (3,0) c | Propagations  |        51437525 |    6276658 |    6366492 |    6429993 |    6561242 |    6296489 |    6473820 |    6370712 |    6662119 |
38.52/7.96	c (3,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
38.52/7.96	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
38.52/7.96	c (3,0) c | Restarts      |             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
38.52/7.96	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.52/7.96	c (3,0) c | PropBinClauses|        51022331 |    6216193 |    6312823 |    6411346 |    6484046 |    6276925 |    6430112 |    6295798 |    6595088 |
38.52/7.96	c (3,0) c | PropPreBlocker|      1675353112 |  204962307 |  206701941 |  210648813 |  212426217 |  209718011 |  209626556 |  206586756 |  214682511 |
38.52/7.96	c (3,0) c | PropNotBlocker|       355584462 |   45864532 |   45393295 |   44117586 |   43390857 |   43758937 |   44137133 |   45596912 |   43325210 |
38.52/7.96	c (3,0) c | LitFullScans  |      2510043782 |  312033076 |  312026782 |  315802245 |  316084934 |  312025590 |  312022835 |  312026269 |  318022051 |
38.52/7.96	c (3,0) c | LitScanFracts |           95181 |      10841 |      14884 |      12326 |      10357 |      12129 |      11895 |      11177 |      11572 |
38.52/7.96	c (3,0) c | DecisionLevel0|             307 |         35 |         40 |         23 |         30 |         35 |         53 |         66 |         25 |
38.52/7.96	c (3,0) c | Periods       |             417 |         52 |         52 |         52 |         52 |         52 |         52 |         52 |         53 |
38.52/7.96	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
38.52/7.96	c (3,0) c | Avg_Trail     |                 |        312 |        313 |        314 |        316 |        305 |        316 |        314 |        313 |
38.52/7.96	c (3,0) c | Avg_DL        |                 |         13 |         13 |         13 |         13 |         12 |         13 |         13 |         12 |
38.52/7.96	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.52/7.96	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c | Exported      |           95530 |      11407 |      11431 |      11935 |      11897 |      11832 |      12057 |      12256 |      12715 |
38.52/7.96	c (3,0) c | Imported      |          502031 |      61859 |      58930 |      62740 |      65001 |      63550 |      64063 |      60876 |      65012 |
38.52/7.96	c (3,0) c | Good          |             374 |         48 |         39 |         51 |         52 |         46 |         45 |         45 |         48 |
38.52/7.96	c (3,0) c | Purge         |          501657 |      61811 |      58891 |      62689 |      64949 |      63504 |      64018 |      60831 |      64964 |
38.52/7.96	c (3,0) c | Promoted      |           21706 |       2960 |       2429 |       2174 |       2840 |       2917 |       2992 |       2588 |       2806 |
38.52/7.96	c (3,0) c | Remove_Imp    |          194024 |      23481 |      28858 |      20063 |      14296 |      29449 |      27137 |      26267 |      24473 |
38.52/7.96	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.52/7.96	c (3,0) c | Binaries      |                 |          6 |         10 |          7 |          4 |         11 |         13 |          8 |         10 |
38.52/7.96	c (3,0) c | Glues         |                 |        280 |        248 |        247 |        244 |        252 |        281 |        306 |        254 |
38.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c | Orig_Seen     |            96 % |      14986 |      14928 |      14798 |      14965 |      14810 |      15062 |      14938 |      14934 |
38.52/7.96	c (3,0) c | Diff Orig seen|                 |        188 |        130 |      X     |        167 |         12 |        264 |        140 |        136 |
38.52/7.96	c (3,0) c | Hamming       |            32 % |        207 |        202 |      X     |        174 |        204 |        199 |        214 |        149 |
38.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c | RunningTime   |                 |    3.5  99%|    3.3  99%|    3.2  99%|    3.2  99%|    3.2 100%|    3.3  99%|    3.3 100%|    3.2  99%|
38.52/7.96	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.52/7.96	c (3,0) c | ExchangingTime|                 |    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|
38.52/7.96	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.52/7.96	c (3,0) c | SolvingTime   |                 |    3.5     |    3.3     |    3.2     |    3.2     |    3.3     |    3.3     |    3.3     |    3.2     |
38.52/7.96	c (3,0) c | PropagationTim|                 |    3.0  85%|    2.8  84%|    2.7  83%|    2.7  83%|    2.7  84%|    2.7  83%|    2.8  84%|    2.7  83%|
38.52/7.96	c (3,0) c | AnalysisTime  |                 |    0.4  11%|    0.4  11%|    0.4  12%|    0.4  12%|    0.4  11%|    0.4  12%|    0.4  12%|    0.4  12%|
38.52/7.96	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.52/7.96	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.52/7.96	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.52/7.96	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.52/7.96	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c
38.52/7.96	c (3,0) c Threads : 8
38.52/7.96	c (3,0) c Winner : 2
38.52/7.96	c (3,0) c Conflicts_0 : 71771
38.52/7.96	c (3,0) c Conflicts_1 : 72691
38.52/7.96	c (3,0) c Conflicts_2 : 72417
38.52/7.96	c (3,0) c Conflicts_3 : 74676
38.52/7.96	c (3,0) c Conflicts_4 : 72331
38.52/7.96	c (3,0) c Conflicts_5 : 73627
38.52/7.96	c (3,0) c Conflicts_6 : 73068
38.52/7.96	c (3,0) c Conflicts_7 : 75827
38.52/7.96	c (3,0) c Conflicts_total : 586408
38.52/7.96	c (3,0) c Conflicts_winner : 72417
38.52/7.96	c (3,0) c Decisions_0 : 90237
38.52/7.96	c (3,0) c Decisions_1 : 91960
38.52/7.96	c (3,0) c Decisions_2 : 89917
38.52/7.96	c (3,0) c Decisions_3 : 94607
38.52/7.96	c (3,0) c Decisions_4 : 90737
38.52/7.96	c (3,0) c Decisions_5 : 93434
38.52/7.96	c (3,0) c Decisions_6 : 92926
38.52/7.96	c (3,0) c Decisions_7 : 95469
38.52/7.96	c (3,0) c Decisions_total : 739287
38.52/7.96	c (3,0) c Decisions_winner : 89917
38.52/7.96	c (3,0) c Propagations_0 : 6276658
38.52/7.96	c (3,0) c Propagations_1 : 6366492
38.52/7.96	c (3,0) c Propagations_2 : 6429993
38.52/7.96	c (3,0) c Propagations_3 : 6561242
38.52/7.96	c (3,0) c Propagations_4 : 6296489
38.52/7.96	c (3,0) c Propagations_5 : 6473820
38.52/7.96	c (3,0) c Propagations_6 : 6370712
38.52/7.96	c (3,0) c Propagations_7 : 6662119
38.52/7.96	c (3,0) c Propagations_total : 51437525
38.52/7.96	c (3,0) c Propagations_winner : 6429993
38.52/7.96	c (3,0) c ReduceDBs_0 : 7
38.52/7.96	c (3,0) c ReduceDBs_1 : 7
38.52/7.96	c (3,0) c ReduceDBs_2 : 7
38.52/7.96	c (3,0) c ReduceDBs_3 : 7
38.52/7.96	c (3,0) c ReduceDBs_4 : 7
38.52/7.96	c (3,0) c ReduceDBs_5 : 7
38.52/7.96	c (3,0) c ReduceDBs_6 : 7
38.52/7.96	c (3,0) c ReduceDBs_7 : 7
38.52/7.96	c (3,0) c ReduceDBs_total : 56
38.52/7.96	c (3,0) c ReduceDBs_winner : 7
38.52/7.96	c (3,0) c SimpDBs_0 : 1
38.52/7.96	c (3,0) c SimpDBs_1 : 1
38.52/7.96	c (3,0) c SimpDBs_2 : 1
38.52/7.96	c (3,0) c SimpDBs_3 : 1
38.52/7.96	c (3,0) c SimpDBs_4 : 1
38.52/7.96	c (3,0) c SimpDBs_5 : 1
38.52/7.96	c (3,0) c SimpDBs_6 : 1
38.52/7.96	c (3,0) c SimpDBs_7 : 1
38.52/7.96	c (3,0) c SimpDBs_total : 8
38.52/7.96	c (3,0) c SimpDBs_winner : 1
38.52/7.96	c (3,0) c Restarts_0 : 35
38.52/7.96	c (3,0) c Restarts_1 : 40
38.52/7.96	c (3,0) c Restarts_2 : 23
38.52/7.96	c (3,0) c Restarts_3 : 30
38.52/7.96	c (3,0) c Restarts_4 : 35
38.52/7.96	c (3,0) c Restarts_5 : 53
38.52/7.96	c (3,0) c Restarts_6 : 66
38.52/7.96	c (3,0) c Restarts_7 : 25
38.52/7.96	c (3,0) c Restarts_total : 307
38.52/7.96	c (3,0) c Restarts_winner : 23
38.52/7.96	c (3,0) c ForcedImports_0 : 0
38.52/7.96	c (3,0) c ForcedImports_1 : 0
38.52/7.96	c (3,0) c ForcedImports_2 : 0
38.52/7.96	c (3,0) c ForcedImports_3 : 0
38.52/7.96	c (3,0) c ForcedImports_4 : 0
38.52/7.97	c (3,0) c ForcedImports_5 : 0
38.52/7.97	c (3,0) c ForcedImports_6 : 0
38.52/7.97	c (3,0) c ForcedImports_7 : 0
38.52/7.97	c (3,0) c ForcedImports_total : 0
38.52/7.97	c (3,0) c ForcedImports_winner : 0
38.52/7.97	c (3,0) c PropsBinClauses_0 : 6216193
38.52/7.97	c (3,0) c PropsBinClauses_1 : 6312823
38.52/7.97	c (3,0) c PropsBinClauses_2 : 6411346
38.52/7.97	c (3,0) c PropsBinClauses_3 : 6484046
38.52/7.97	c (3,0) c PropsBinClauses_4 : 6276925
38.52/7.97	c (3,0) c PropsBinClauses_5 : 6430112
38.52/7.97	c (3,0) c PropsBinClauses_6 : 6295798
38.52/7.97	c (3,0) c PropsBinClauses_7 : 6595088
38.52/7.97	c (3,0) c PropsBinClauses_total : 51022331
38.52/7.97	c (3,0) c PropsBinClauses_winner : 6411346
38.52/7.97	c (3,0) c PropsPreBlocker_0 : 204962307
38.52/7.97	c (3,0) c PropsPreBlocker_1 : 206701941
38.52/7.97	c (3,0) c PropsPreBlocker_2 : 210648813
38.52/7.97	c (3,0) c PropsPreBlocker_3 : 212426217
38.52/7.97	c (3,0) c PropsPreBlocker_4 : 209718011
38.52/7.97	c (3,0) c PropsPreBlocker_5 : 209626556
38.52/7.97	c (3,0) c PropsPreBlocker_6 : 206586756
38.52/7.97	c (3,0) c PropsPreBlocker_7 : 214682511
38.52/7.97	c (3,0) c PropsPreBlocker_total : 1675353112
38.52/7.97	c (3,0) c PropsPreBlocker_winner : 210648813
38.52/7.97	c (3,0) c PropsNotBlocker_0 : 45864532
38.52/7.97	c (3,0) c PropsNotBlocker_1 : 45393295
38.52/7.97	c (3,0) c PropsNotBlocker_2 : 44117586
38.52/7.97	c (3,0) c PropsNotBlocker_3 : 43390857
38.52/7.97	c (3,0) c PropsNotBlocker_4 : 43758937
38.52/7.97	c (3,0) c PropsNotBlocker_5 : 44137133
38.52/7.97	c (3,0) c PropsNotBlocker_6 : 45596912
38.52/7.97	c (3,0) c PropsNotBlocker_7 : 43325210
38.52/7.97	c (3,0) c PropsNotBlocker_total : 355584462
38.52/7.97	c (3,0) c PropsNotBlocker_winner : 44117586
38.52/7.97	c (3,0) c PropsLitFullScans_0 : 312033076
38.52/7.97	c (3,0) c PropsLitFullScans_1 : 312026782
38.52/7.97	c (3,0) c PropsLitFullScans_2 : 315802245
38.52/7.97	c (3,0) c PropsLitFullScans_3 : 316084934
38.52/7.97	c (3,0) c PropsLitFullScans_4 : 312025590
38.52/7.97	c (3,0) c PropsLitFullScans_5 : 312022835
38.52/7.97	c (3,0) c PropsLitFullScans_6 : 312026269
38.52/7.97	c (3,0) c PropsLitFullScans_7 : 318022051
38.52/7.97	c (3,0) c PropsLitFullScans_total : 2510043782
38.52/7.97	c (3,0) c PropsLitFullScans_winner : 315802245
38.52/7.97	c (3,0) c LitScanFractions_0 : 10841
38.52/7.97	c (3,0) c LitScanFractions_1 : 14884
38.52/7.97	c (3,0) c LitScanFractions_2 : 12326
38.52/7.97	c (3,0) c LitScanFractions_3 : 10357
38.52/7.97	c (3,0) c LitScanFractions_4 : 12129
38.52/7.97	c (3,0) c LitScanFractions_5 : 11895
38.52/7.97	c (3,0) c LitScanFractions_6 : 11177
38.52/7.97	c (3,0) c LitScanFractions_7 : 11572
38.52/7.97	c (3,0) c LitScanFractions_total : 95181
38.52/7.97	c (3,0) c LitScanFractions_winner : 12326
38.52/7.97	c (3,0) c DecisionLevel0_0 : 35
38.52/7.97	c (3,0) c DecisionLevel0_1 : 40
38.52/7.97	c (3,0) c DecisionLevel0_2 : 23
38.52/7.97	c (3,0) c DecisionLevel0_3 : 30
38.52/7.97	c (3,0) c DecisionLevel0_4 : 35
38.52/7.97	c (3,0) c DecisionLevel0_5 : 53
38.52/7.97	c (3,0) c DecisionLevel0_6 : 66
38.52/7.97	c (3,0) c DecisionLevel0_7 : 25
38.52/7.97	c (3,0) c DecisionLevel0_total : 307
38.52/7.97	c (3,0) c DecisionLevel0_winner : 23
38.52/7.97	c (3,0) c Periods_0 : 52
38.52/7.97	c (3,0) c Periods_1 : 52
38.52/7.97	c (3,0) c Periods_2 : 52
38.52/7.97	c (3,0) c Periods_3 : 52
38.52/7.97	c (3,0) c Periods_4 : 52
38.52/7.97	c (3,0) c Periods_5 : 52
38.52/7.97	c (3,0) c Periods_6 : 52
38.52/7.97	c (3,0) c Periods_7 : 53
38.52/7.97	c (3,0) c Periods_total : 417
38.52/7.97	c (3,0) c Periods_winner : 52
38.52/7.97	c (3,0) c Margin_0 : 20
38.52/7.97	c (3,0) c Margin_1 : 20
38.52/7.97	c (3,0) c Margin_2 : 20
38.52/7.97	c (3,0) c Margin_3 : 20
38.52/7.97	c (3,0) c Margin_4 : 20
38.52/7.97	c (3,0) c Margin_5 : 20
38.52/7.97	c (3,0) c Margin_6 : 20
38.52/7.97	c (3,0) c Margin_7 : 20
38.52/7.97	c (3,0) c Margin_total : 160
38.52/7.97	c (3,0) c Margin_winner : 20
38.52/7.97	c (3,0) c Exported_0 : 11407
38.52/7.97	c (3,0) c Exported_1 : 11431
38.52/7.97	c (3,0) c Exported_2 : 11935
38.52/7.97	c (3,0) c Exported_3 : 11897
38.52/7.97	c (3,0) c Exported_4 : 11832
38.52/7.97	c (3,0) c Exported_5 : 12057
38.52/7.97	c (3,0) c Exported_6 : 12256
38.52/7.97	c (3,0) c Exported_7 : 12715
38.52/7.97	c (3,0) c Exported_total : 95530
38.52/7.97	c (3,0) c Exported_winner : 11935
38.52/7.97	c (3,0) c Imported_0 : 61859
38.52/7.97	c (3,0) c Imported_1 : 58930
38.52/7.97	c (3,0) c Imported_2 : 62740
38.52/7.97	c (3,0) c Imported_3 : 65001
38.52/7.97	c (3,0) c Imported_4 : 63550
38.52/7.97	c (3,0) c Imported_5 : 64063
38.52/7.97	c (3,0) c Imported_6 : 60876
38.52/7.97	c (3,0) c Imported_7 : 65012
38.52/7.97	c (3,0) c Imported_total : 502031
38.52/7.97	c (3,0) c Imported_winner : 62740
38.52/7.97	c (3,0) c Good_0 : 48
38.52/7.97	c (3,0) c Good_1 : 39
38.52/7.97	c (3,0) c Good_2 : 51
38.52/7.97	c (3,0) c Good_3 : 52
38.52/7.97	c (3,0) c Good_4 : 46
38.52/7.97	c (3,0) c Good_5 : 45
38.52/7.97	c (3,0) c Good_6 : 45
38.52/7.97	c (3,0) c Good_7 : 48
38.52/7.97	c (3,0) c Good_total : 374
38.52/7.97	c (3,0) c Good_winner : 51
38.52/7.97	c (3,0) c Purge_0 : 61811
38.52/7.97	c (3,0) c Purge_1 : 58891
38.52/7.97	c (3,0) c Purge_2 : 62689
38.52/7.97	c (3,0) c Purge_3 : 64949
38.52/7.97	c (3,0) c Purge_4 : 63504
38.52/7.97	c (3,0) c Purge_5 : 64018
38.52/7.97	c (3,0) c Purge_6 : 60831
38.52/7.97	c (3,0) c Purge_7 : 64964
38.52/7.97	c (3,0) c Purge_total : 501657
38.52/7.97	c (3,0) c Purge_winner : 62689
38.52/7.97	c (3,0) c Promoted_0 : 2960
38.52/7.97	c (3,0) c Promoted_1 : 2429
38.52/7.97	c (3,0) c Promoted_2 : 2174
38.52/7.97	c (3,0) c Promoted_3 : 2840
38.52/7.97	c (3,0) c Promoted_4 : 2917
38.52/7.97	c (3,0) c Promoted_5 : 2992
38.52/7.97	c (3,0) c Promoted_6 : 2588
38.52/7.97	c (3,0) c Promoted_7 : 2806
38.52/7.97	c (3,0) c Promoted_total : 21706
38.52/7.97	c (3,0) c Promoted_winner : 2174
38.52/7.97	c (3,0) c Remove_Imp_0 : 23481
38.52/7.97	c (3,0) c Remove_Imp_1 : 28858
38.52/7.97	c (3,0) c Remove_Imp_2 : 20063
38.52/7.97	c (3,0) c Remove_Imp_3 : 14296
38.52/7.97	c (3,0) c Remove_Imp_4 : 29449
38.52/7.97	c (3,0) c Remove_Imp_5 : 27137
38.52/7.97	c (3,0) c Remove_Imp_6 : 26267
38.52/7.97	c (3,0) c Remove_Imp_7 : 24473
38.52/7.97	c (3,0) c Remove_Imp_total : 194024
38.52/7.97	c (3,0) c Remove_Imp_winner : 20063
38.52/7.97	c (3,0) c Blocked_Reuse_0 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_1 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_2 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_3 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_4 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_5 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_6 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_7 : 0
38.52/7.97	c (3,0) c Blocked_Reuse_total : 0
38.52/7.97	c (3,0) c Blocked_Reuse_winner : 0
38.52/7.97	c (3,0) c Unaries_0 : 0
38.52/7.97	c (3,0) c Unaries_1 : 0
38.52/7.97	c (3,0) c Unaries_2 : 0
38.52/7.97	c (3,0) c Unaries_3 : 0
38.52/7.97	c (3,0) c Unaries_4 : 0
38.52/7.97	c (3,0) c Unaries_5 : 0
38.52/7.97	c (3,0) c Unaries_6 : 0
38.52/7.97	c (3,0) c Unaries_7 : 0
38.52/7.97	c (3,0) c Unaries_total : 0
38.52/7.97	c (3,0) c Unaries_winner : 0
38.52/7.97	c (3,0) c Binaries_0 : 6
38.52/7.97	c (3,0) c Binaries_1 : 10
38.52/7.97	c (3,0) c Binaries_2 : 7
38.52/7.97	c (3,0) c Binaries_3 : 4
38.52/7.97	c (3,0) c Binaries_4 : 11
38.52/7.97	c (3,0) c Binaries_5 : 13
38.52/7.97	c (3,0) c Binaries_6 : 8
38.52/7.97	c (3,0) c Binaries_7 : 10
38.52/7.97	c (3,0) c Binaries_total : 69
38.52/7.97	c (3,0) c Binaries_winner : 7
38.52/7.97	c (3,0) c Glues_0 : 280
38.52/7.97	c (3,0) c Glues_1 : 248
38.52/7.97	c (3,0) c Glues_2 : 247
38.52/7.97	c (3,0) c Glues_3 : 244
38.52/7.97	c (3,0) c Glues_4 : 252
38.52/7.97	c (3,0) c Glues_5 : 281
38.52/7.97	c (3,0) c Glues_6 : 306
38.52/7.97	c (3,0) c Glues_7 : 254
38.52/7.97	c (3,0) c Glues_total : 2112
38.52/7.97	c (3,0) c Glues_winner : 247
38.52/7.97	c (3,0) c RunningTime_0 : 3.463770
38.52/7.97	c (3,0) c RunningTime_1 : 3.327284
38.52/7.97	c (3,0) c RunningTime_2 : 3.198007
38.52/7.97	c (3,0) c RunningTime_3 : 3.229461
38.52/7.97	c (3,0) c RunningTime_4 : 3.234775
38.52/7.97	c (3,0) c RunningTime_5 : 3.250755
38.52/7.97	c (3,0) c RunningTime_6 : 3.321355
38.52/7.97	c (3,0) c RunningTime_7 : 3.214927
38.52/7.97	c (3,0) c RunningTime_total : 26.240334
38.52/7.97	c (3,0) c RunningTime_winner : 3.198007
38.52/7.97	c (3,0) c WaitingTime_0 : 0.000038
38.52/7.97	c (3,0) c WaitingTime_1 : 0.000027
38.52/7.97	c (3,0) c WaitingTime_2 : 0.000029
38.52/7.97	c (3,0) c WaitingTime_3 : 0.000037
38.52/7.97	c (3,0) c WaitingTime_4 : 0.000027
38.52/7.97	c (3,0) c WaitingTime_5 : 0.000033
38.52/7.97	c (3,0) c WaitingTime_6 : 0.000036
38.52/7.97	c (3,0) c WaitingTime_7 : 0.000037
38.52/7.97	c (3,0) c WaitingTime_total : 0.000263
38.52/7.97	c (3,0) c WaitingTime_winner : 0.000029
38.52/7.97	c (3,0) c ExchangingTime_0 : 0.018522
38.52/7.97	c (3,0) c ExchangingTime_1 : 0.016718
38.52/7.97	c (3,0) c ExchangingTime_2 : 0.018700
38.52/7.97	c (3,0) c ExchangingTime_3 : 0.018914
38.52/7.97	c (3,0) c ExchangingTime_4 : 0.015650
38.52/7.97	c (3,0) c ExchangingTime_5 : 0.016355
38.52/7.97	c (3,0) c ExchangingTime_6 : 0.016068
38.52/7.97	c (3,0) c ExchangingTime_7 : 0.017416
38.52/7.97	c (3,0) c ExchangingTime_total : 0.138344
38.52/7.97	c (3,0) c ExchangingTime_winner : 0.018700
38.52/7.97	c (3,0) c PeriodProcTime_0 : 0.000309
38.52/7.97	c (3,0) c PeriodProcTime_1 : 0.000296
38.52/7.97	c (3,0) c PeriodProcTime_2 : 0.000312
38.52/7.97	c (3,0) c PeriodProcTime_3 : 0.000305
38.52/7.97	c (3,0) c PeriodProcTime_4 : 0.000280
38.52/7.97	c (3,0) c PeriodProcTime_5 : 0.000333
38.52/7.97	c (3,0) c PeriodProcTime_6 : 0.000315
38.52/7.97	c (3,0) c PeriodProcTime_7 : 0.000339
38.52/7.97	c (3,0) c PeriodProcTime_total : 0.002490
38.52/7.97	c (3,0) c PeriodProcTime_winner : 0.000312
38.52/7.97	c (3,0) c SolvingTime_0 : 3.482638
38.52/7.97	c (3,0) c SolvingTime_1 : 3.344326
38.52/7.97	c (3,0) c SolvingTime_2 : 3.217047
38.52/7.97	c (3,0) c SolvingTime_3 : 3.248718
38.52/7.97	c (3,0) c SolvingTime_4 : 3.250732
38.52/7.97	c (3,0) c SolvingTime_5 : 3.267476
38.52/7.97	c (3,0) c SolvingTime_6 : 3.337775
38.52/7.97	c (3,0) c SolvingTime_7 : 3.232719
38.52/7.97	c (3,0) c SolvingTime_total : 26.381431
38.52/7.97	c (3,0) c SolvingTime_winner : 3.217047
38.52/7.97	c (3,0) c PropagationTime_0 : 2.950813
38.52/7.97	c (3,0) c PropagationTime_1 : 2.820315
38.52/7.97	c (3,0) c PropagationTime_2 : 2.666905
38.52/7.97	c (3,0) c PropagationTime_3 : 2.701679
38.52/7.97	c (3,0) c PropagationTime_4 : 2.725226
38.52/7.97	c (3,0) c PropagationTime_5 : 2.727150
38.52/7.97	c (3,0) c PropagationTime_6 : 2.792150
38.52/7.97	c (3,0) c PropagationTime_7 : 2.677338
38.52/7.97	c (3,0) c PropagationTime_total : 22.061574
38.52/7.97	c (3,0) c PropagationTime_winner : 2.666905
38.52/7.97	c (3,0) c AnalysisTime_0 : 0.367953
38.52/7.97	c (3,0) c AnalysisTime_1 : 0.368545
38.52/7.97	c (3,0) c AnalysisTime_2 : 0.388454
38.52/7.97	c (3,0) c AnalysisTime_3 : 0.392967
38.52/7.97	c (3,0) c AnalysisTime_4 : 0.370651
38.52/7.97	c (3,0) c AnalysisTime_5 : 0.379248
38.52/7.97	c (3,0) c AnalysisTime_6 : 0.384462
38.52/7.97	c (3,0) c AnalysisTime_7 : 0.396469
38.52/7.97	c (3,0) c AnalysisTime_total : 3.048749
38.52/7.97	c (3,0) c AnalysisTime_winner : 0.388454
38.52/7.97	c (3,0) c ReductionTime_0 : 0.054848
38.52/7.97	c (3,0) c ReductionTime_1 : 0.057043
38.52/7.97	c (3,0) c ReductionTime_2 : 0.057320
38.52/7.97	c (3,0) c ReductionTime_3 : 0.052402
38.52/7.97	c (3,0) c ReductionTime_4 : 0.057182
38.52/7.97	c (3,0) c ReductionTime_5 : 0.059339
38.52/7.97	c (3,0) c ReductionTime_6 : 0.058513
38.52/7.97	c (3,0) c ReductionTime_7 : 0.056990
38.52/7.97	c (3,0) c ReductionTime_total : 0.453637
38.52/7.97	c (3,0) c ReductionTime_winner : 0.057320
38.52/7.97	c (3,0) c SimplifyTime_0 : 0.000002
38.52/7.97	c (3,0) c SimplifyTime_1 : 0.000002
38.52/7.97	c (3,0) c SimplifyTime_2 : 0.000005
38.52/7.97	c (3,0) c SimplifyTime_3 : 0.000002
38.52/7.97	c (3,0) c SimplifyTime_4 : 0.000004
38.52/7.97	c (3,0) c SimplifyTime_5 : 0.000007
38.52/7.97	c (3,0) c SimplifyTime_6 : 0.000009
38.52/7.97	c (3,0) c SimplifyTime_7 : 0.000002
38.52/7.97	c (3,0) c SimplifyTime_total : 0.000033
38.52/7.97	c (3,0) c SimplifyTime_winner : 0.000005
38.52/7.97	c (3,0) c UsedRateTime_0 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_1 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_2 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_3 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_4 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_5 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_6 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_7 : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_total : 0.000000
38.52/7.97	c (3,0) c UsedRateTime_winner : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_0 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_1 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_2 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_3 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_4 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_5 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_6 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_7 : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_total : 0.000000
38.52/7.97	c (3,0) c OverlapRateTime_winner : 0.000000
38.52/7.97	c (3,0) c
38.52/7.97	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
38.52/7.97	c (3,0) c
38.52/7.97	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.97	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.52/7.97	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.97	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
38.52/7.97	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
38.52/7.97	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
38.52/7.97	c (3,0) c | Initial random_seed   | 1090332017 | 1728973424 |  821486905 | 2050453432 |  828891222 | 2073001256 | 1094628494 | 1150420199 |
38.52/7.97	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
38.52/7.97	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
38.52/7.97	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
38.52/7.97	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
38.52/7.97	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
38.52/7.97	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
38.52/7.97	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
38.52/7.97	c (3,0) c | var_decay             |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9400 |     0.9500 |
38.52/7.97	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
38.52/7.97	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
38.52/7.97	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
38.52/7.97	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.52/7.97	c (3,0) 
38.52/7.97	c (3,0) s SATISFIABLE
38.52/7.98	c (3,0) SatSolver.solve End
38.52/7.98	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
38.52/7.98	c (3,0) Show results Begin
38.69/8.06	c (3,0) x[0] = 12
38.69/8.06	c (3,0) x[1] = 11
38.69/8.06	c (3,0) x[2] = 15
38.69/8.06	c (3,0) x[3] = 5
38.69/8.06	c (3,0) x[4] = 14
38.69/8.06	c (3,0) x[5] = 11
38.69/8.06	c (3,0) x[6] = 0
38.69/8.06	c (3,0) x[7] = 9
38.69/8.06	c (3,0) x[8] = 5
38.69/8.06	c (3,0) x[9] = 9
38.69/8.06	c (3,0) x[10] = 5
38.69/8.06	c (3,0) x[11] = 7
38.69/8.06	c (3,0) x[12] = 4
38.69/8.06	c (3,0) x[13] = 9
38.69/8.06	c (3,0) x[14] = 0
38.69/8.06	c (3,0) x[15] = 0
38.69/8.06	c (3,0) x[16] = 14
38.69/8.06	c (3,0) x[17] = 15
38.69/8.06	c (3,0) x[18] = 10
38.69/8.06	c (3,0) x[19] = 10
38.69/8.06	c (3,0) x[20] = 15
38.69/8.06	c (3,0) x[21] = 15
38.69/8.06	c (3,0) x[22] = 10
38.69/8.06	c (3,0) x[23] = 12
38.69/8.06	c (3,0) x[24] = 0
38.69/8.06	c (3,0) x[25] = 3
38.69/8.06	c (3,0) x[26] = 9
38.69/8.06	c (3,0) x[27] = 1
38.69/8.06	c (3,0) x[28] = 7
38.69/8.06	c (3,0) x[29] = 4
38.69/8.06	c (3,0) x[30] = 0
38.69/8.06	c (3,0) x[31] = 1
38.69/8.06	c (3,0) x[32] = 15
38.69/8.06	c (3,0) x[33] = 5
38.69/8.06	c (3,0) x[34] = 5
38.69/8.06	c (3,0) x[35] = 15
38.69/8.06	c (3,0) x[36] = 6
38.69/8.06	c (3,0) x[37] = 8
38.69/8.06	c (3,0) x[38] = 12
38.69/8.06	c (3,0) x[39] = 14
38.69/8.06	s SATISFIABLE
38.69/8.07	v <instantiation>
38.69/8.07	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>
38.69/8.07	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>
38.69/8.07	v </instantiation>
38.69/8.07	c (3,0) Show results End
38.69/8.07	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
38.69/8.07	c (3,0) 3,3,STOP-AFTER(ALL)
38.69/8.07	c END-Prog: Mon Sep 23 13:38:51 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 (11874 MiB free)
  memory of node 1: 16384 MiB (13086 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100134 s]*
/proc/loadavg: 5.89 2.48 0.96 2/212 3333
/proc/meminfo: memFree=25464456/32770624 swapFree=66991944/67108860
[pid=3311] ppid=3308 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3311/stat : 3311 (scop.sh) S 3308 3311 3136 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 500139129 115843072 350 33554432000 4194304 5098028 140726649623456 140726649620712 139827274773116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31121408 140726649627388 140726649627736 140726649627736 140726649630665 0
/proc/3311/statm: 28282 350 297 221 0 87 0
[pid=3314] ppid=3311 vsize=27314120 memory=106492 CPUtime=0.1 cores=0-7
/proc/3314/stat : 3314 (java) S 3311 3311 3136 0 -1 1077944320 6231 0 0 0 7 3 0 0 20 0 20 0 500139130 27969658880 26623 33554432000 4194304 4196468 140720922380928 140720922363472 139741700742903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
/proc/3314/statm: 6828530 26623 2781 1 0 6790935 0
[pid=3314/tid=3315] ppid=3311 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3314/task/3315/stat : 3315 (java) R 3311 3311 3136 0 -1 4202560 4332 0 0 0 6 2 0 0 20 0 20 0 500139130 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741672569232 139741700764829 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3316] ppid=3311 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3314/task/3316/stat : 3316 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741704985488 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3317] ppid=3311 vsize=27314120 memory=140122529982080 CPUtime=0 cores=0-7
/proc/3314/task/3317/stat : 3317 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741527481104 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3318] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3318/stat : 3318 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741121690768 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3319] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3319/stat : 3319 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741120637968 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3320] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3320/stat : 3320 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741119584656 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3321] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3321/stat : 3321 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741118531856 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3322] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3322/stat : 3322 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741117479568 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3323] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3323/stat : 3323 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 26623 33554432000 4194304 4196468 140720922380928 139741116426768 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3324] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3324/stat : 3324 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139134 27969658880 26623 33554432000 4194304 4196468 140720922380928 139740222179952 139741700754050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3325] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3325/stat : 3325 (java) S 3311 3311 3136 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500139135 27969658880 26623 33554432000 4194304 4196468 140720922380928 139739311105312 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3326] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3326/stat : 3326 (java) S 3311 3311 3136 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500139135 27969658880 26623 33554432000 4194304 4196468 140720922380928 139739176883824 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3327] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3327/stat : 3327 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 26623 33554432000 4194304 4196468 140720922380928 139738802379344 139741700761499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3328] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3328/stat : 3328 (java) S 3311 3311 3136 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 26623 33554432000 4194304 4196468 140720922380928 139740221126768 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3329] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3329/stat : 3329 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 26623 33554432000 4194304 4196468 140720922380928 139740220073968 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3330] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3330/stat : 3330 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 26623 33554432000 4194304 4196468 140720922380928 139740219021680 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3331] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3331/stat : 3331 (java) R 3311 3311 3136 0 -1 4202560 259 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 26623 33554432000 4194304 4196468 140720922380928 139740217968880 139741700764250 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3332] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3332/stat : 3332 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139138 27969658880 26623 33554432000 4194304 4196468 140720922380928 139738304473952 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3333] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3333/stat : 3333 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139138 27969658880 26623 33554432000 4194304 4196468 140720922380928 139740216916784 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107892 KiB

[startup+0.209873 s]*
/proc/loadavg: 5.89 2.48 0.96 2/212 3333
/proc/meminfo: memFree=25446108/32770624 swapFree=66991944/67108860
[pid=3311] ppid=3308 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3311/stat : 3311 (scop.sh) S 3308 3311 3136 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 500139129 115843072 350 33554432000 4194304 5098028 140726649623456 140726649620712 139827274773116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31121408 140726649627388 140726649627736 140726649627736 140726649630665 0
/proc/3311/statm: 28282 350 297 221 0 87 0
[pid=3314] ppid=3311 vsize=27314120 memory=123660 CPUtime=0.25 cores=0-7
/proc/3314/stat : 3314 (java) S 3311 3311 3136 0 -1 1077944320 11141 0 0 0 20 5 0 0 20 0 20 0 500139130 27969658880 30915 33554432000 4194304 4196468 140720922380928 140720922363472 139741700742903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
/proc/3314/statm: 6828530 30915 2920 1 0 6790935 0
[pid=3314/tid=3315] ppid=3311 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3314/task/3315/stat : 3315 (java) R 3311 3311 3136 0 -1 4202560 8821 0 0 0 16 3 0 0 20 0 20 0 500139130 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741672562832 139741682306455 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3316] ppid=3311 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/3314/task/3316/stat : 3316 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741704985488 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3317] ppid=3311 vsize=27314120 memory=140122529989872 CPUtime=0 cores=0-7
/proc/3314/task/3317/stat : 3317 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741527481104 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3318] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3318/stat : 3318 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741121690768 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3319] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3319/stat : 3319 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741120637968 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3320] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3320/stat : 3320 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741119584656 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3321] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3321/stat : 3321 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741118531856 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3322] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3322/stat : 3322 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741117479568 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3323] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3323/stat : 3323 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 30915 33554432000 4194304 4196468 140720922380928 139741116426768 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3324] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3324/stat : 3324 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139134 27969658880 30915 33554432000 4194304 4196468 140720922380928 139740222179952 139741700754050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3325] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3325/stat : 3325 (java) S 3311 3311 3136 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500139135 27969658880 30915 33554432000 4194304 4196468 140720922380928 139739311105312 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3326] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3326/stat : 3326 (java) S 3311 3311 3136 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500139135 27969658880 30915 33554432000 4194304 4196468 140720922380928 139739176883824 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3327] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3327/stat : 3327 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 30915 33554432000 4194304 4196468 140720922380928 139738802379344 139741700761499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3328] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3328/stat : 3328 (java) S 3311 3311 3136 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 30915 33554432000 4194304 4196468 140720922380928 139740221126768 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3329] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3329/stat : 3329 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 30915 33554432000 4194304 4196468 140720922380928 139740220073968 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3330] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3330/stat : 3330 (java) S 3311 3311 3136 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 30915 33554432000 4194304 4196468 140720922380928 139740219021680 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3331] ppid=3311 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3314/task/3331/stat : 3331 (java) S 3311 3311 3136 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 20 0 500139137 27969658880 30915 33554432000 4194304 4196468 140720922380928 139740217968880 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3332] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3332/stat : 3332 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139138 27969658880 30915 33554432000 4194304 4196468 140720922380928 139738304473952 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3333] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3333/stat : 3333 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139138 27969658880 30915 33554432000 4194304 4196468 140720922380928 139740216916784 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125060 KiB

[startup+0.309542 s]*
/proc/loadavg: 5.89 2.48 0.96 3/212 3333
/proc/meminfo: memFree=25442572/32770624 swapFree=66991944/67108860
[pid=3311] ppid=3308 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3311/stat : 3311 (scop.sh) S 3308 3311 3136 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 500139129 115843072 350 33554432000 4194304 5098028 140726649623456 140726649620712 139827274773116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31121408 140726649627388 140726649627736 140726649627736 140726649630665 0
/proc/3311/statm: 28282 350 297 221 0 87 0
[pid=3314] ppid=3311 vsize=27314120 memory=127724 CPUtime=0.42 cores=0-7
/proc/3314/stat : 3314 (java) S 3311 3311 3136 0 -1 1077944320 12290 0 0 0 37 5 0 0 20 0 20 0 500139130 27969658880 31931 33554432000 4194304 4196468 140720922380928 140720922363472 139741700742903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
/proc/3314/statm: 6828530 31931 3032 1 0 6790935 0
[pid=3314/tid=3315] ppid=3311 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3314/task/3315/stat : 3315 (java) R 3311 3311 3136 0 -1 4202560 9764 0 0 0 25 4 0 0 20 0 20 0 500139130 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741672525920 139741682307865 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3316] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3316/stat : 3316 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741704985488 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3317] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3317/stat : 3317 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741527481104 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3318] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3318/stat : 3318 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741121690768 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3319] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3319/stat : 3319 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741120637968 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3320] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3320/stat : 3320 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741119584656 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3321] ppid=3311 vsize=27314120 memory=140122368600751 CPUtime=0 cores=0-7
/proc/3314/task/3321/stat : 3321 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741118531856 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3322] ppid=3311 vsize=27314120 memory=140122368603056 CPUtime=0 cores=0-7
/proc/3314/task/3322/stat : 3322 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741117479568 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3323] ppid=3311 vsize=27314120 memory=140122368605360 CPUtime=0 cores=0-7
/proc/3314/task/3323/stat : 3323 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139133 27969658880 31931 33554432000 4194304 4196468 140720922380928 139741116426768 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3324] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3324/stat : 3324 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139134 27969658880 31931 33554432000 4194304 4196468 140720922380928 139740222179952 139741700754050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3325] ppid=3311 vsize=27314120 memory=280244737224592 CPUtime=0 cores=0-7
/proc/3314/task/3325/stat : 3325 (java) S 3311 3311 3136 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500139135 27969658880 31931 33554432000 4194304 4196468 140720922380928 139739311105312 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3326] ppid=3311 vsize=27314120 memory=280244737222288 CPUtime=0 cores=0-7
/proc/3314/task/3326/stat : 3326 (java) S 3311 3311 3136 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500139135 27969658880 31931 33554432000 4194304 4196468 140720922380928 139739176883824 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3327] ppid=3311 vsize=27314120 memory=280244737229200 CPUtime=0 cores=0-7
/proc/3314/task/3327/stat : 3327 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 31931 33554432000 4194304 4196468 140720922380928 139738802379344 139741700761499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3328] ppid=3311 vsize=27314120 memory=280244737170448 CPUtime=0.01 cores=0-7
/proc/3314/task/3328/stat : 3328 (java) S 3311 3311 3136 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 500139137 27969658880 31931 33554432000 4194304 4196468 140720922380928 139740221126768 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3329] ppid=3311 vsize=27314120 memory=280244737243024 CPUtime=0 cores=0-7
/proc/3314/task/3329/stat : 3329 (java) S 3311 3311 3136 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 500139137 27969658880 31931 33554432000 4194304 4196468 140720922380928 139740220073968 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3330] ppid=3311 vsize=27314120 memory=280244737249936 CPUtime=0.01 cores=0-7
/proc/3314/task/3330/stat : 3330 (java) S 3311 3311 3136 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 500139137 27969658880 31931 33554432000 4194304 4196468 140720922380928 139740219021680 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3331] ppid=3311 vsize=27314120 memory=280244737247632 CPUtime=0.07 cores=0-7
/proc/3314/task/3331/stat : 3331 (java) S 3311 3311 3136 0 -1 1077944384 528 0 0 0 7 0 0 0 20 0 20 0 500139137 27969658880 31931 33554432000 4194304 4196468 140720922380928 139740217968880 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3332] ppid=3311 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3332/stat : 3332 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500139138 27969658880 31931 33554432000 4194304 4196468 140720922380928 139738304473952 139741700753109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3333] ppid=3311 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3314/task/3333/stat : 3333 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139138 27969658880 31931 33554432000 4194304 4196468 140720922380928 139740216916784 139741700754050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129124 KiB

[startup+0.700862 s]
/proc/loadavg: 5.89 2.48 0.96 2/212 3333
/proc/meminfo: memFree=25420688/32770624 swapFree=66991944/67108860
[pid=3311] ppid=3308 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3311/stat : 3311 (scop.sh) S 3308 3311 3136 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 500139129 115843072 350 33554432000 4194304 5098028 140726649623456 140726649620712 139827274773116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31121408 140726649627388 140726649627736 140726649627736 140726649630665 0
/proc/3311/statm: 28282 350 297 221 0 87 0
[pid=3314] ppid=3311 vsize=27320392 memory=165064 CPUtime=1.01 cores=0-7
/proc/3314/stat : 3314 (java) S 3311 3311 3136 0 -1 1077944320 19899 0 0 0 93 8 0 0 20 0 20 0 500139130 27976081408 41266 33554432000 4194304 4196468 140720922380928 140720922363472 139741700742903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
/proc/3314/statm: 6830098 41266 3146 1 0 6791447 0
[pid=3314/tid=3315] ppid=3311 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/3314/task/3315/stat : 3315 (java) R 3311 3311 3136 0 -1 4202560 16865 0 0 0 62 6 0 0 20 0 20 0 500139130 27976081408 41266 33554432000 4194304 4196468 140720922380928 139741672580464 139741684823390 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3316] ppid=3311 vsize=27320392 memory=140122368811888 CPUtime=0 cores=0-7
/proc/3314/task/3316/stat : 3316 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500139132 27976081408 41266 33554432000 4194304 4196468 140720922380928 139741704985488 139741700753109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3317] ppid=3311 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3314/task/3317/stat : 3317 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27976081408 41266 33554432000 4194304 4196468 140720922380928 139741527481104 139741700753109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0
[pid=3314/tid=3318] ppid=3311 vsize=27320392 memory=1164 CPUtime=0 cores=0-7
/proc/3314/task/3318/stat : 3318 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500139132 27976081408 41266 33554432000 4194304 4196468 140720922380928 139741121690768 139741700753109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24563712 140720922387143 140720922387590 140720922387590 140720922390479 0

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

/proc/3334/task/3346/stat : 3346 (java) S 3311 3311 3136 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500139505 8616062976 29550 33554432000 4194304 4196468 140734793259552 140595284661360 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3347] ppid=3311 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/3334/task/3347/stat : 3347 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140594910156880 140597011351451 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3348] ppid=3311 vsize=8414124 memory=15823283127847349 CPUtime=0.06 cores=0-7
/proc/3334/task/3348/stat : 3348 (java) S 3311 3311 3136 0 -1 1077944384 576 0 0 0 6 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596439370352 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3349] ppid=3311 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/3334/task/3349/stat : 3349 (java) S 3311 3311 3136 0 -1 1077944384 160 0 0 0 4 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596438317552 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3350] ppid=3311 vsize=8414124 memory=-9174445032661854264 CPUtime=0.06 cores=0-7
/proc/3334/task/3350/stat : 3350 (java) S 3311 3311 3136 0 -1 1077944384 415 0 0 0 6 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596437265264 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3351] ppid=3311 vsize=8414124 memory=6655300316396806240 CPUtime=0.2 cores=0-7
/proc/3334/task/3351/stat : 3351 (java) S 3311 3311 3136 0 -1 1077944384 565 0 0 0 20 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596436212464 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3352] ppid=3311 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/3334/task/3352/stat : 3352 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140594412251488 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3353] ppid=3311 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/3334/task/3353/stat : 3353 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596435159344 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3355] ppid=3311 vsize=8414124 memory=-2025810976467231676 CPUtime=0 cores=0-7
/proc/3334/task/3355/stat : 3355 (java) S 3311 3311 3136 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500139574 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596427126080 140597011357465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3357] ppid=3311 vsize=8414124 memory=-7523660553960122769 CPUtime=0 cores=0-7
/proc/3334/task/3357/stat : 3357 (java) S 3311 3311 3136 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500139575 8616062976 29550 33554432000 4194304 4196468 140734793259552 140593741152144 140597011354781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3358] ppid=3311 vsize=8414124 memory=-9001734013606258791 CPUtime=0 cores=0-7
/proc/3334/task/3358/stat : 3358 (java) S 3311 3311 3136 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500139575 8616062976 29550 33554432000 4194304 4196468 140734793259552 140594009587472 140597011354781 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3367] ppid=3311 vsize=8414124 memory=8514726395714826341 CPUtime=0 cores=0-7
/proc/3334/task/3367/stat : 3367 (java) S 3311 3311 3136 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500139577 8616062976 29550 33554432000 4194304 4196468 140734793259552 140593472724784 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
Current children cumulated CPU time: 33.99 s
Current children cumulated vsize: 9182064 KiB
Current children cumulated memory: 242164 KiB

[startup+7.60212 s]
/proc/loadavg: 5.50 2.46 0.96 9/225 3367
/proc/meminfo: memFree=25348792/32770624 swapFree=66991944/67108860
[pid=3311] ppid=3308 vsize=113128 memory=1476 CPUtime=11.1 cores=0-7
/proc/3311/stat : 3311 (scop.sh) S 3308 3311 3136 0 -1 4202496 584 32470 0 0 0 0 1082 28 20 0 1 0 500139129 115843072 369 33554432000 4194304 5098028 140726649623456 140726649620200 139827274773116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31121408 140726649627388 140726649627736 140726649627736 140726649630665 0
/proc/3311/statm: 28282 369 311 221 0 87 0
[pid=3334] ppid=3311 vsize=8414124 memory=118200 CPUtime=1.17 cores=0-7
/proc/3334/stat : 3334 (java) S 3311 3311 3136 0 -1 1077944320 21075 0 0 0 108 9 0 0 20 0 24 0 500139501 8616062976 29550 33554432000 4194304 4196468 140734793259552 140734793242096 140597011332855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
/proc/3334/statm: 2103531 29550 3205 1 0 2064875 0
[pid=3354] ppid=3334 vsize=627332 memory=114232 CPUtime=24.92 cores=0-7
/proc/3354/stat : 3354 (manyglucose-4.1) S 3334 3311 3136 0 -1 1077944320 48179 0 0 0 2480 12 0 0 20 0 9 0 500139574 642387968 28558 33554432000 4194304 4454172 140735602047584 140735602045984 140642478705282 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
/proc/3354/statm: 156833 28558 402 64 0 152501 0
[pid=3354/tid=3359] ppid=3334 vsize=627332 memory=1060 CPUtime=3.03 cores=0-7
/proc/3354/task/3359/stat : 3359 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5809 0 0 0 302 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642463476472 4351785 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3360] ppid=3334 vsize=627332 memory=2828 CPUtime=3.11 cores=0-7
/proc/3354/task/3360/stat : 3360 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5456 0 0 0 310 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642455083768 4297309 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3361] ppid=3334 vsize=627332 memory=2004 CPUtime=3.11 cores=0-7
/proc/3354/task/3361/stat : 3361 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5545 0 0 0 310 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642446691432 4350942 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3362] ppid=3334 vsize=627332 memory=984 CPUtime=3.12 cores=0-7
/proc/3354/task/3362/stat : 3362 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5564 0 0 0 311 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642438298872 4351235 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3363] ppid=3334 vsize=627332 memory=9520 CPUtime=3.12 cores=0-7
/proc/3354/task/3363/stat : 3363 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5676 0 0 0 311 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642429906024 4350933 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3364] ppid=3334 vsize=627332 memory=14008 CPUtime=3.11 cores=0-7
/proc/3354/task/3364/stat : 3364 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5489 0 0 0 310 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642421512952 4349939 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3365] ppid=3334 vsize=627332 memory=2120 CPUtime=3.1 cores=0-7
/proc/3354/task/3365/stat : 3365 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 6481 0 0 0 309 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642413120248 4350400 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3354/tid=3366] ppid=3334 vsize=627332 memory=12028 CPUtime=3.12 cores=0-7
/proc/3354/task/3366/stat : 3366 (manyglucose-4.1) R 3334 3311 3136 0 -1 4202560 5705 0 0 0 311 1 0 0 20 0 9 0 500139577 642387968 28558 33554432000 4194304 4454172 140735602047584 140642404727912 4349950 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 23445504 140735602053966 140735602054172 140735602054172 140735602057142 0
[pid=3334/tid=3335] ppid=3311 vsize=8414124 memory=19436 CPUtime=0.76 cores=0-7
/proc/3334/task/3335/stat : 3335 (java) S 3311 3311 3136 0 -1 1077944384 17944 0 0 0 69 7 0 0 20 0 24 0 500139502 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596983173024 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3336] ppid=3311 vsize=8414124 memory=512 CPUtime=0 cores=0-7
/proc/3334/task/3336/stat : 3336 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140597015574928 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3337] ppid=3311 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/3334/task/3337/stat : 3337 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596829731088 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3338] ppid=3311 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/3334/task/3338/stat : 3338 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596495415952 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3339] ppid=3311 vsize=8414124 memory=3784 CPUtime=0 cores=0-7
/proc/3334/task/3339/stat : 3339 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596494363152 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3340] ppid=3311 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/3334/task/3340/stat : 3340 (java) S 3311 3311 3136 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596493310864 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3341] ppid=3311 vsize=8414124 memory=904 CPUtime=0 cores=0-7
/proc/3334/task/3341/stat : 3341 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596492258064 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3342] ppid=3311 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/3334/task/3342/stat : 3342 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596491205776 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3343] ppid=3311 vsize=8414124 memory=2528 CPUtime=0 cores=0-7
/proc/3334/task/3343/stat : 3343 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500139503 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596490152976 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3344] ppid=3311 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/3334/task/3344/stat : 3344 (java) S 3311 3311 3136 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500139504 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596440422512 140597011344002 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3345] ppid=3311 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/3334/task/3345/stat : 3345 (java) S 3311 3311 3136 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500139505 8616062976 29550 33554432000 4194304 4196468 140734793259552 140595418882848 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3346] ppid=3311 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/3334/task/3346/stat : 3346 (java) S 3311 3311 3136 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500139505 8616062976 29550 33554432000 4194304 4196468 140734793259552 140595284661360 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3347] ppid=3311 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/3334/task/3347/stat : 3347 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140594910156880 140597011351451 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3348] ppid=3311 vsize=8414124 memory=1808 CPUtime=0.06 cores=0-7
/proc/3334/task/3348/stat : 3348 (java) S 3311 3311 3136 0 -1 1077944384 576 0 0 0 6 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596439370352 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3349] ppid=3311 vsize=8414124 memory=924 CPUtime=0.04 cores=0-7
/proc/3334/task/3349/stat : 3349 (java) S 3311 3311 3136 0 -1 1077944384 160 0 0 0 4 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596438317552 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3350] ppid=3311 vsize=8414124 memory=4140 CPUtime=0.06 cores=0-7
/proc/3334/task/3350/stat : 3350 (java) S 3311 3311 3136 0 -1 1077944384 415 0 0 0 6 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596437265264 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3351] ppid=3311 vsize=8414124 memory=1412 CPUtime=0.2 cores=0-7
/proc/3334/task/3351/stat : 3351 (java) S 3311 3311 3136 0 -1 1077944384 565 0 0 0 20 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596436212464 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3352] ppid=3311 vsize=8414124 memory=2804 CPUtime=0 cores=0-7
/proc/3334/task/3352/stat : 3352 (java) S 3311 3311 3136 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140594412251488 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3353] ppid=3311 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3334/task/3353/stat : 3353 (java) S 3311 3311 3136 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500139508 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596435159344 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3355] ppid=3311 vsize=8414124 memory=118200 CPUtime=0 cores=0-7
/proc/3334/task/3355/stat : 3355 (java) S 3311 3311 3136 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500139574 8616062976 29550 33554432000 4194304 4196468 140734793259552 140596427126080 140597011357465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3357] ppid=3311 vsize=8414124 memory=111160 CPUtime=0 cores=0-7
/proc/3334/task/3357/stat : 3357 (java) S 3311 3311 3136 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500139575 8616062976 29550 33554432000 4194304 4196468 140734793259552 140593741152144 140597011354781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3358] ppid=3311 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/3334/task/3358/stat : 3358 (java) S 3311 3311 3136 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500139575 8616062976 29550 33554432000 4194304 4196468 140734793259552 140594009587472 140597011354781 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3367] ppid=3311 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/3334/task/3367/stat : 3367 (java) S 3311 3311 3136 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500139577 8616062976 29550 33554432000 4194304 4196468 140734793259552 140593472724784 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
Current children cumulated CPU time: 37.19 s
Current children cumulated vsize: 9154584 KiB
Current children cumulated memory: 233908 KiB

[startup+8.00116 s]*
/proc/loadavg: 5.50 2.46 0.96 2/214 3367
/proc/meminfo: memFree=25450024/32770624 swapFree=66991944/67108860
[pid=3311] ppid=3308 vsize=113128 memory=1476 CPUtime=11.1 cores=0-7
/proc/3311/stat : 3311 (scop.sh) S 3308 3311 3136 0 -1 4202496 584 32470 0 0 0 0 1082 28 20 0 1 0 500139129 115843072 369 33554432000 4194304 5098028 140726649623456 140726649620200 139827274773116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31121408 140726649627388 140726649627736 140726649627736 140726649630665 0
/proc/3311/statm: 28282 369 311 221 0 87 0
[pid=3334] ppid=3311 vsize=8283048 memory=119248 CPUtime=27.59 cores=0-7
/proc/3334/stat : 3334 (java) S 3311 3311 3136 0 -1 1077944320 21333 49704 0 0 118 9 2619 13 20 0 22 0 500139501 8481841152 29812 33554432000 4194304 4196468 140734793259552 140734793242096 140597011332855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
/proc/3334/statm: 2070762 29812 3208 1 0 2032106 0
[pid=3334/tid=3335] ppid=3311 vsize=8283048 memory=0 CPUtime=27.1 cores=0-7
/proc/3334/task/3335/stat : 3335 (java) R 3311 3311 3136 0 -1 4202560 18077 49704 0 0 71 7 2619 13 20 0 22 0 500139502 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596983168432 140596995413342 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3336] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3336/stat : 3336 (java) S 3311 3311 3136 0 -1 1077944384 1 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140597015574928 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3337] ppid=3311 vsize=8283048 memory=4126316290023845779 CPUtime=26.32 cores=0-7
/proc/3334/task/3337/stat : 3337 (java) S 3311 3311 3136 0 -1 1077944384 2 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596829731088 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3338] ppid=3311 vsize=8283048 memory=280244738550560 CPUtime=26.32 cores=0-7
/proc/3334/task/3338/stat : 3338 (java) S 3311 3311 3136 0 -1 1077944384 2 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596495415952 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3339] ppid=3311 vsize=8283048 memory=140122369302704 CPUtime=26.32 cores=0-7
/proc/3334/task/3339/stat : 3339 (java) S 3311 3311 3136 0 -1 1077944384 2 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596494363152 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3340] ppid=3311 vsize=8283048 memory=140122369302736 CPUtime=26.32 cores=0-7
/proc/3334/task/3340/stat : 3340 (java) S 3311 3311 3136 0 -1 1077944384 2 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596493310864 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3341] ppid=3311 vsize=8283048 memory=140122369302768 CPUtime=26.32 cores=0-7
/proc/3334/task/3341/stat : 3341 (java) S 3311 3311 3136 0 -1 1077944384 1 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596492258064 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3342] ppid=3311 vsize=8283048 memory=140122369302800 CPUtime=26.32 cores=0-7
/proc/3334/task/3342/stat : 3342 (java) S 3311 3311 3136 0 -1 1077944384 1 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596491205776 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3343] ppid=3311 vsize=8283048 memory=140122369302832 CPUtime=26.32 cores=0-7
/proc/3334/task/3343/stat : 3343 (java) S 3311 3311 3136 0 -1 1077944384 3 49704 0 0 0 0 2619 13 20 0 22 0 500139503 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596490152976 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3344] ppid=3311 vsize=8283048 memory=140122369302864 CPUtime=26.32 cores=0-7
/proc/3334/task/3344/stat : 3344 (java) S 3311 3311 3136 0 -1 1077944384 5 49704 0 0 0 0 2619 13 20 0 22 0 500139504 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596440422512 140597011344002 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3345] ppid=3311 vsize=8283048 memory=140122369302896 CPUtime=26.32 cores=0-7
/proc/3334/task/3345/stat : 3345 (java) S 3311 3311 3136 0 -1 1077944384 13 49704 0 0 0 0 2619 13 20 0 22 0 500139505 8481841152 29812 33554432000 4194304 4196468 140734793259552 140595418882848 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3346] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3346/stat : 3346 (java) S 3311 3311 3136 0 -1 1077944384 21 49704 0 0 0 0 2619 13 20 0 22 0 500139505 8481841152 29812 33554432000 4194304 4196468 140734793259552 140595284661360 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3347] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3347/stat : 3347 (java) S 3311 3311 3136 0 -1 1077944384 1 49704 0 0 0 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140594910156880 140597011351451 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3348] ppid=3311 vsize=8283048 memory=0 CPUtime=26.39 cores=0-7
/proc/3334/task/3348/stat : 3348 (java) R 3311 3311 3136 0 -1 4202560 581 49704 0 0 7 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596439370352 140597004317897 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3349] ppid=3311 vsize=8283048 memory=280244737016048 CPUtime=26.37 cores=0-7
/proc/3334/task/3349/stat : 3349 (java) S 3311 3311 3136 0 -1 1077944384 163 49704 0 0 5 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596438317552 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3350] ppid=3311 vsize=8283048 memory=0 CPUtime=26.39 cores=0-7
/proc/3334/task/3350/stat : 3350 (java) S 3311 3311 3136 0 -1 1077944384 423 49704 0 0 7 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596437265264 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3351] ppid=3311 vsize=8283048 memory=0 CPUtime=26.54 cores=0-7
/proc/3334/task/3351/stat : 3351 (java) R 3311 3311 3136 0 -1 4202560 631 49704 0 0 22 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596436212464 140596995413342 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3352] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3352/stat : 3352 (java) S 3311 3311 3136 0 -1 1077944384 3 49704 0 0 0 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140594412251488 140597011343061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3353] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3353/stat : 3353 (java) S 3311 3311 3136 0 -1 1077944384 1 49704 0 0 0 0 2619 13 20 0 22 0 500139508 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596435159344 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3355] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3355/stat : 3355 (java) S 3311 3311 3136 0 -1 1077944384 23 49704 0 0 0 0 2619 13 20 0 22 0 500139574 8481841152 29812 33554432000 4194304 4196468 140734793259552 140596427125264 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
[pid=3334/tid=3367] ppid=3311 vsize=8283048 memory=0 CPUtime=26.32 cores=0-7
/proc/3334/task/3367/stat : 3367 (java) S 3311 3311 3136 0 -1 1077944384 8 49704 0 0 0 0 2619 13 20 0 22 0 500139577 8481841152 29812 33554432000 4194304 4196468 140734793259552 140593472726576 140597011344002 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734793266144 140734793266310 140734793266310 140734793269199 0
Current children cumulated CPU time: 38.69 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 120724 KiB

Child status: 0
Real time (s): 8.07864
CPU time (s): 38.8383
CPU user time (s): 38.316
CPU system time (s): 0.522303
CPU usage (%): 480.753
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 966308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.316
system time used= 0.522303
maximum resident set size= 967300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11517
involuntary context switches= 319


# summary of solver processes directly reported to runsolver:
#   pid: 3311
#   total CPU time (s): 38.8383
#   total CPU user time (s): 38.316
#   total CPU system time (s): 0.522303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087807 second user time and 0.140277 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-23 13:38:43
IDJOB=4405433
IDBENCH=121710
IDSOLVER=2868
FILE ID=node121/4405433-1569238766
RUNJOBID= node121-1569238586-3163
PBS_JOBID= 21704908
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= 95e1ba6edeec6aa2d568f833deab6719
RANDOM SEED=74560439

node121.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.75
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.75
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.75
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.75
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:        25559912 kB
MemAvailable:   31847492 kB
Buffers:          126452 kB
Cached:          6251572 kB
SwapCached:         4824 kB
Active:          3172268 kB
Inactive:        3214288 kB
Active(anon):       4244 kB
Inactive(anon):    53608 kB
Active(file):    3168024 kB
Inactive(file):  3160680 kB
Unevictable:      109072 kB
Mlocked:          109072 kB
SwapTotal:      67108860 kB
SwapFree:       66991944 kB
Dirty:             20888 kB
Writeback:             0 kB
AnonPages:        124660 kB
Mapped:            51760 kB
Shmem:             40636 kB
Slab:             416644 kB
SReclaimable:     387336 kB
SUnreclaim:        29308 kB
KernelStack:        3728 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-23 13:38:51