Trace number 4392613

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 22.2523 7.745

General information on the benchmark

NameRlfap/
Rlfap-m1-scens11/Rlfap-scen-11-f04.xml
MD5SUM3c3f91fe2d5d1aa7af585cdf812638b5
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark16.9607
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size40
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":14},{"size":33,"count":336},{"size":40,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
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-7602-serial-file.bin HOME/instance-4392613-1568416820.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.56	c BEGIN-Prog: Sat Sep 14 01:19:43 CEST 2019
0.65/0.56	c PID: 7605
0.65/0.56	c IP: 172.20.3.149
0.65/0.56	c HOST: node149.alineos.net
0.65/0.57	c (0,0) Parsing Begin
5.77/1.92	c (1,1) Parsing End
5.77/1.93	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 40
5.77/1.93	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.77/1.93	c (1,1) Constraint Name Generate Begin
5.77/1.96	c (1,1) Ctr:HOME/instance-4392613-1568416820.xml,Dist:Eq:Le:Num:Var
5.77/1.96	c (1,1) Constraint Name Generate End
5.77/1.96	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.77/1.96	c (1,1) CSP to CSPinCNF Begin
7.04/2.22	c (1,1) translated 411 (10%) constraints
7.04/2.30	c (1,1) translated 821 (20%) constraints
7.37/2.35	c (1,1) translated 1231 (30%) constraints
7.76/2.40	c (1,1) translated 1642 (40%) constraints
8.83/2.70	c (1,1) translated 2052 (50%) constraints
8.83/2.70	c (1,1) translated 2462 (60%) constraints
8.83/2.70	c (1,1) translated 2873 (70%) constraints
8.83/2.70	c (2,2) translated 3283 (80%) constraints
8.83/2.70	c (2,2) translated 3693 (90%) constraints
8.83/2.71	c (2,2) translated 4103 (100%) constraints
8.83/2.71	c (2,2) ===========================================
8.83/2.74	c (2,2) Hybrid: #OE=680, #LE=0
8.83/2.74	c (2,2) Hybrid
8.83/2.74	c (2,2) ===========================================
8.83/2.77	c (2,2) translated 479 (10%) constraints
8.83/2.79	c (2,2) translated 957 (20%) constraints
9.22/2.81	c (2,2) translated 1435 (30%) constraints
9.22/2.83	c (2,2) translated 1914 (40%) constraints
9.22/2.85	c (2,2) translated 2392 (50%) constraints
9.22/2.86	c (2,2) translated 2870 (60%) constraints
9.22/2.88	c (2,2) translated 3349 (70%) constraints
9.22/2.89	c (2,2) translated 3827 (80%) constraints
9.47/2.91	c (2,2) translated 4305 (90%) constraints
9.47/2.92	c (2,2) translated 4783 (100%) constraints
9.47/2.92	c (2,2) CSP to CSPinCNF End
9.47/2.92	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40
9.47/2.92	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.47/2.92	c (2,2) CSPinCNF Propagation Begin
9.47/2.99	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.47/2.99	c (2,2) CSPinCNF Propagation End
9.47/2.99	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40
9.47/2.99	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.87/3.01	c (2,2) Hybrid: #OE=680, #LE=0
9.87/3.01	c (2,2) Simplify CSPinCNF Begin
10.42/3.25	c (2,2) Simplify CSPinCNF End
10.42/3.25	c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40
10.42/3.25	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.42/3.25	c (2,2) Calculate Precise Domain Begin
10.42/3.25	c (2,2) 0 values are removed by re-calculation
10.42/3.25	c (2,2) Calculate Precise Domain End
10.42/3.26	c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40
10.42/3.26	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.42/3.26	c (2,2) CSPinCNF to SatSolver Begin
12.93/3.87	c (3,3) 1299 (10 %) CSP clauses are encoded (0 SAT variables, 51964 SAT clauses)
13.61/4.07	c (3,3) 2598 (20 %) CSP clauses are encoded (0 SAT variables, 80330 SAT clauses)
14.02/4.23	c (3,3) 3897 (30 %) CSP clauses are encoded (0 SAT variables, 106604 SAT clauses)
14.17/4.37	c (3,3) 5196 (40 %) CSP clauses are encoded (0 SAT variables, 135237 SAT clauses)
14.39/4.52	c (3,3) 6495 (50 %) CSP clauses are encoded (0 SAT variables, 164767 SAT clauses)
14.53/4.67	c (4,4) 7794 (60 %) CSP clauses are encoded (0 SAT variables, 195014 SAT clauses)
14.81/4.81	c (4,4) 9093 (70 %) CSP clauses are encoded (0 SAT variables, 225087 SAT clauses)
14.91/4.96	c (4,4) 10392 (80 %) CSP clauses are encoded (0 SAT variables, 255305 SAT clauses)
15.03/5.10	c (4,4) 11691 (90 %) CSP clauses are encoded (0 SAT variables, 284527 SAT clauses)
15.36/5.23	c (4,4) 12989 (100 %) CSP clauses are encoded (0 SAT variables, 311511 SAT clauses)
15.36/5.23	c (4,4) CSPinCNF to SatSolver End
15.36/5.23	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 36 MiB used (max 0 MiB)
15.36/5.23	c (4,4) 32054 bool, 311523 clause
15.36/5.23	c (4,4) Export Begin
16.12/5.51	c (4,4) Export to HOME/scop-7602-serial-file.bin
16.12/5.51	c (4,4) Export End
16.12/5.51	c (4,4) Export File Size: 4.20 MB
16.12/5.51	c (4,4) 1,1,2,2,2,2,4,STOP-AFTER(DIMACS)
16.12/5.51	c END-Prog: Sat Sep 14 01:19:48 CEST 2019
16.12/5.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7602-serial-file.bin
16.18/5.99	c (0,0) Read Serial File Begin
16.18/5.99	c (0,0) HOME/scop-7602-serial-file.bin
17.51/6.37	c (0,0) Read Serial File End
17.51/6.38	
17.51/6.38	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
17.51/6.38	(Solving Process)
17.51/6.38	
17.75/6.40	c BEGIN-Prog: Sat Sep 14 01:19:49 CEST 2019
17.75/6.40	c PID: 7625
17.75/6.40	c IP: 172.20.3.149
17.75/6.40	c HOST: node149.alineos.net
17.75/6.41	c (0,0) SatSolver.solve Begin
17.75/6.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392613-1568416820.xml-scop-7605.cnf
17.75/6.43	c (0,0) c
17.75/6.43	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)
17.75/6.43	c (0,0) c
17.75/6.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.75/6.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.75/6.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.75/6.43	c (0,0) c |                                                                                                       |
17.97/6.55	c (0,0) c |  Number of variables:         32054                                                                   |
17.97/6.55	c (0,0) c |  Number of clauses:          311523                                                                   |
17.97/6.55	c (0,0) c |  Parse time:                   0.11 s                                                                 |
17.97/6.55	c (0,0) c |                                                                                                       |
17.97/6.88	c (0,0) c |  Simplification time:          0.32 s                                                                 |
17.97/6.88	c (0,0) c |                                                                                                       |
17.97/6.88	c (0,0) c |  Generating clones                                                                                    |
18.54/7.01	c (1,0) c |  all clones generated. Memory =   248.65Mb.                                                           |
18.54/7.01	c (1,0) c ========================================================================================================|
18.54/7.01	c (1,0) c
18.54/7.01	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
18.54/7.01	c (1,0) c
18.54/7.01	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
18.54/7.01	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
18.54/7.01	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
18.54/7.01	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
18.54/7.01	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
18.54/7.01	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
18.54/7.01	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
18.54/7.01	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
18.54/7.01	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
18.54/7.01	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
18.54/7.01	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
18.54/7.01	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
18.54/7.01	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
18.54/7.01	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
18.54/7.01	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
18.54/7.01	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
18.54/7.01	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
18.54/7.01	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
18.54/7.01	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.53	c (1,0) c
22.07/7.53	c (1,0) c real time : 1.10499 s
22.07/7.54	c (1,0) c cpu time  : 4.09792 s
22.07/7.54	c (1,0) c
22.07/7.54	c (1,0) c
22.07/7.54	c (1,0) c
22.07/7.54	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
22.07/7.54	c (1,0) c
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c | Conflicts     |           57393 |       6516 |       6771 |       7012 |       8174 |       7073 |       7070 |       7141 |       7636 |
22.07/7.54	c (1,0) c | Decisions     |           79974 |       8884 |       9321 |       9468 |      10719 |      10328 |      10006 |      11040 |      10208 |
22.07/7.54	c (1,0) c | Propagations  |        10408122 |    1297777 |    1279408 |    1267688 |    1433947 |    1258339 |    1265902 |    1292943 |    1312118 |
22.07/7.54	c (1,0) c | ReduceDBs     |              15 |          1 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
22.07/7.54	c (1,0) c | SimpDBs       |              14 |          2 |          1 |          2 |          2 |          2 |          1 |          2 |          2 |
22.07/7.54	c (1,0) c | Restarts      |              54 |          2 |          2 |          8 |          6 |         11 |          8 |         13 |          4 |
22.07/7.54	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | PropBinClauses|        20178975 |    2530339 |    2484493 |    2454298 |    2821964 |    2418939 |    2465131 |    2478832 |    2524979 |
22.07/7.54	c (1,0) c | PropPreBlocker|       183787524 |   22444898 |   22981370 |   22308572 |   26046941 |   22235734 |   22822177 |   22399308 |   22548524 |
22.07/7.54	c (1,0) c | PropNotBlocker|        56834534 |    7096698 |    7117139 |    6987774 |    7959011 |    6878519 |    7139155 |    6814337 |    6841901 |
22.07/7.54	c (1,0) c | LitFullScans  |       294154151 |   36001407 |   36008150 |   36001115 |   42004323 |   36001058 |   36001307 |   36001902 |   36134889 |
22.07/7.54	c (1,0) c | LitScanFracts |            5833 |        893 |        617 |        786 |        698 |        713 |        651 |        677 |        798 |
22.07/7.54	c (1,0) c | DecisionLevel0|              72 |          3 |          2 |         12 |          7 |         12 |          8 |         15 |         13 |
22.07/7.54	c (1,0) c | Periods       |              49 |          6 |          6 |          6 |          7 |          6 |          6 |          6 |          6 |
22.07/7.54	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
22.07/7.54	c (1,0) c | Avg_Trail     |                 |       2924 |       3001 |       1495 |       1684 |       1090 |        896 |        836 |       1053 |
22.07/7.54	c (1,0) c | Avg_DL        |                 |        110 |        105 |         34 |         40 |         20 |         16 |         13 |         19 |
22.07/7.54	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c | Exported      |           10506 |       1012 |       1078 |       1324 |       1717 |       1330 |       1339 |       1222 |       1484 |
22.07/7.54	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c | Unaries       |                 |          1 |          0 |          4 |          1 |          1 |          0 |          2 |          9 |
22.07/7.54	c (1,0) c | Binaries      |                 |         24 |         12 |         37 |         18 |         23 |         23 |         37 |         40 |
22.07/7.54	c (1,0) c | Glues         |                 |        179 |        133 |        277 |        207 |        182 |        201 |        242 |        268 |
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c | Orig_Seen     |             2 % |       9678 |       9171 |       8602 |       8873 |       9156 |       9444 |       9624 |       8575 |
22.07/7.54	c (1,0) c | Diff Orig seen|                 |       1103 |        596 |         27 |        298 |        581 |        869 |       1049 |      X     |
22.07/7.54	c (1,0) c | Hamming       |            18 % |       6236 |       6029 |       4458 |       5169 |       6708 |       7524 |       6199 |      X     |
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c | RunningTime   |                 |    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|
22.07/7.54	c (1,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%|
22.07/7.54	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.07/7.54	c (1,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%|
22.07/7.54	c (1,0) c | SolvingTime   |                 |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |
22.07/7.54	c (1,0) c | PropagationTim|                 |    0.4  87%|    0.4  88%|    0.4  86%|    0.4  84%|    0.4  86%|    0.4  88%|    0.4  86%|    0.4  85%|
22.07/7.54	c (1,0) c | AnalysisTime  |                 |    0.0   8%|    0.0   8%|    0.0   9%|    0.1  10%|    0.0   9%|    0.0   9%|    0.0   9%|    0.0   9%|
22.07/7.54	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.07/7.54	c (1,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   0%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   0%|    0.0   2%|    0.0   2%|
22.07/7.54	c (1,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%|
22.07/7.54	c (1,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%|
22.07/7.54	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.54	c (1,0) c
22.07/7.54	c (1,0) c
22.07/7.54	c (1,0) c Threads : 8
22.07/7.54	c (1,0) c Winner : 7
22.07/7.54	c (1,0) c Conflicts_0 : 6516
22.07/7.54	c (1,0) c Conflicts_1 : 6771
22.07/7.54	c (1,0) c Conflicts_2 : 7012
22.07/7.54	c (1,0) c Conflicts_3 : 8174
22.07/7.54	c (1,0) c Conflicts_4 : 7073
22.07/7.54	c (1,0) c Conflicts_5 : 7070
22.07/7.54	c (1,0) c Conflicts_6 : 7141
22.07/7.54	c (1,0) c Conflicts_7 : 7636
22.07/7.54	c (1,0) c Conflicts_total : 57393
22.07/7.54	c (1,0) c Conflicts_winner : 7636
22.07/7.54	c (1,0) c Decisions_0 : 8884
22.07/7.54	c (1,0) c Decisions_1 : 9321
22.07/7.54	c (1,0) c Decisions_2 : 9468
22.07/7.54	c (1,0) c Decisions_3 : 10719
22.07/7.54	c (1,0) c Decisions_4 : 10328
22.07/7.54	c (1,0) c Decisions_5 : 10006
22.07/7.54	c (1,0) c Decisions_6 : 11040
22.07/7.54	c (1,0) c Decisions_7 : 10208
22.07/7.54	c (1,0) c Decisions_total : 79974
22.07/7.54	c (1,0) c Decisions_winner : 10208
22.07/7.54	c (1,0) c Propagations_0 : 1297777
22.07/7.54	c (1,0) c Propagations_1 : 1279408
22.07/7.54	c (1,0) c Propagations_2 : 1267688
22.07/7.54	c (1,0) c Propagations_3 : 1433947
22.07/7.54	c (1,0) c Propagations_4 : 1258339
22.07/7.54	c (1,0) c Propagations_5 : 1265902
22.07/7.54	c (1,0) c Propagations_6 : 1292943
22.07/7.54	c (1,0) c Propagations_7 : 1312118
22.07/7.54	c (1,0) c Propagations_total : 10408122
22.07/7.54	c (1,0) c Propagations_winner : 1312118
22.07/7.54	c (1,0) c ReduceDBs_0 : 1
22.07/7.54	c (1,0) c ReduceDBs_1 : 2
22.07/7.54	c (1,0) c ReduceDBs_2 : 2
22.07/7.54	c (1,0) c ReduceDBs_3 : 2
22.07/7.54	c (1,0) c ReduceDBs_4 : 2
22.07/7.54	c (1,0) c ReduceDBs_5 : 2
22.07/7.54	c (1,0) c ReduceDBs_6 : 2
22.07/7.54	c (1,0) c ReduceDBs_7 : 2
22.07/7.54	c (1,0) c ReduceDBs_total : 15
22.07/7.54	c (1,0) c ReduceDBs_winner : 2
22.07/7.54	c (1,0) c SimpDBs_0 : 2
22.07/7.54	c (1,0) c SimpDBs_1 : 1
22.07/7.54	c (1,0) c SimpDBs_2 : 2
22.07/7.54	c (1,0) c SimpDBs_3 : 2
22.07/7.54	c (1,0) c SimpDBs_4 : 2
22.07/7.54	c (1,0) c SimpDBs_5 : 1
22.07/7.54	c (1,0) c SimpDBs_6 : 2
22.07/7.54	c (1,0) c SimpDBs_7 : 2
22.07/7.54	c (1,0) c SimpDBs_total : 14
22.07/7.54	c (1,0) c SimpDBs_winner : 2
22.07/7.54	c (1,0) c Restarts_0 : 2
22.07/7.54	c (1,0) c Restarts_1 : 2
22.07/7.54	c (1,0) c Restarts_2 : 8
22.07/7.54	c (1,0) c Restarts_3 : 6
22.07/7.54	c (1,0) c Restarts_4 : 11
22.07/7.54	c (1,0) c Restarts_5 : 8
22.07/7.54	c (1,0) c Restarts_6 : 13
22.07/7.54	c (1,0) c Restarts_7 : 4
22.07/7.54	c (1,0) c Restarts_total : 54
22.07/7.54	c (1,0) c Restarts_winner : 4
22.07/7.54	c (1,0) c ForcedImports_0 : 0
22.07/7.54	c (1,0) c ForcedImports_1 : 0
22.07/7.54	c (1,0) c ForcedImports_2 : 0
22.07/7.54	c (1,0) c ForcedImports_3 : 0
22.07/7.54	c (1,0) c ForcedImports_4 : 0
22.07/7.54	c (1,0) c ForcedImports_5 : 0
22.07/7.54	c (1,0) c ForcedImports_6 : 0
22.07/7.54	c (1,0) c ForcedImports_7 : 0
22.07/7.54	c (1,0) c ForcedImports_total : 0
22.07/7.54	c (1,0) c ForcedImports_winner : 0
22.07/7.54	c (1,0) c PropsBinClauses_0 : 2530339
22.07/7.54	c (1,0) c PropsBinClauses_1 : 2484493
22.07/7.54	c (1,0) c PropsBinClauses_2 : 2454298
22.07/7.54	c (1,0) c PropsBinClauses_3 : 2821964
22.07/7.54	c (1,0) c PropsBinClauses_4 : 2418939
22.07/7.54	c (1,0) c PropsBinClauses_5 : 2465131
22.07/7.54	c (1,0) c PropsBinClauses_6 : 2478832
22.07/7.54	c (1,0) c PropsBinClauses_7 : 2524979
22.07/7.54	c (1,0) c PropsBinClauses_total : 20178975
22.07/7.54	c (1,0) c PropsBinClauses_winner : 2524979
22.07/7.54	c (1,0) c PropsPreBlocker_0 : 22444898
22.07/7.54	c (1,0) c PropsPreBlocker_1 : 22981370
22.07/7.54	c (1,0) c PropsPreBlocker_2 : 22308572
22.07/7.54	c (1,0) c PropsPreBlocker_3 : 26046941
22.07/7.54	c (1,0) c PropsPreBlocker_4 : 22235734
22.07/7.54	c (1,0) c PropsPreBlocker_5 : 22822177
22.07/7.54	c (1,0) c PropsPreBlocker_6 : 22399308
22.07/7.54	c (1,0) c PropsPreBlocker_7 : 22548524
22.07/7.54	c (1,0) c PropsPreBlocker_total : 183787524
22.07/7.54	c (1,0) c PropsPreBlocker_winner : 22548524
22.07/7.54	c (1,0) c PropsNotBlocker_0 : 7096698
22.07/7.54	c (1,0) c PropsNotBlocker_1 : 7117139
22.07/7.54	c (1,0) c PropsNotBlocker_2 : 6987774
22.07/7.54	c (1,0) c PropsNotBlocker_3 : 7959011
22.07/7.54	c (1,0) c PropsNotBlocker_4 : 6878519
22.07/7.54	c (1,0) c PropsNotBlocker_5 : 7139155
22.07/7.54	c (1,0) c PropsNotBlocker_6 : 6814337
22.07/7.54	c (1,0) c PropsNotBlocker_7 : 6841901
22.07/7.54	c (1,0) c PropsNotBlocker_total : 56834534
22.07/7.54	c (1,0) c PropsNotBlocker_winner : 6841901
22.07/7.54	c (1,0) c PropsLitFullScans_0 : 36001407
22.07/7.54	c (1,0) c PropsLitFullScans_1 : 36008150
22.07/7.54	c (1,0) c PropsLitFullScans_2 : 36001115
22.07/7.54	c (1,0) c PropsLitFullScans_3 : 42004323
22.07/7.54	c (1,0) c PropsLitFullScans_4 : 36001058
22.07/7.54	c (1,0) c PropsLitFullScans_5 : 36001307
22.07/7.54	c (1,0) c PropsLitFullScans_6 : 36001902
22.07/7.54	c (1,0) c PropsLitFullScans_7 : 36134889
22.07/7.54	c (1,0) c PropsLitFullScans_total : 294154151
22.07/7.54	c (1,0) c PropsLitFullScans_winner : 36134889
22.07/7.54	c (1,0) c LitScanFractions_0 : 893
22.07/7.54	c (1,0) c LitScanFractions_1 : 617
22.07/7.54	c (1,0) c LitScanFractions_2 : 786
22.07/7.54	c (1,0) c LitScanFractions_3 : 698
22.07/7.54	c (1,0) c LitScanFractions_4 : 713
22.07/7.54	c (1,0) c LitScanFractions_5 : 651
22.07/7.54	c (1,0) c LitScanFractions_6 : 677
22.07/7.54	c (1,0) c LitScanFractions_7 : 798
22.07/7.54	c (1,0) c LitScanFractions_total : 5833
22.07/7.54	c (1,0) c LitScanFractions_winner : 798
22.07/7.54	c (1,0) c DecisionLevel0_0 : 3
22.07/7.54	c (1,0) c DecisionLevel0_1 : 2
22.07/7.54	c (1,0) c DecisionLevel0_2 : 12
22.07/7.54	c (1,0) c DecisionLevel0_3 : 7
22.07/7.54	c (1,0) c DecisionLevel0_4 : 12
22.07/7.54	c (1,0) c DecisionLevel0_5 : 8
22.07/7.54	c (1,0) c DecisionLevel0_6 : 15
22.07/7.54	c (1,0) c DecisionLevel0_7 : 13
22.07/7.54	c (1,0) c DecisionLevel0_total : 72
22.07/7.54	c (1,0) c DecisionLevel0_winner : 13
22.07/7.54	c (1,0) c Periods_0 : 6
22.07/7.54	c (1,0) c Periods_1 : 6
22.07/7.54	c (1,0) c Periods_2 : 6
22.07/7.54	c (1,0) c Periods_3 : 7
22.07/7.54	c (1,0) c Periods_4 : 6
22.07/7.54	c (1,0) c Periods_5 : 6
22.07/7.54	c (1,0) c Periods_6 : 6
22.07/7.54	c (1,0) c Periods_7 : 6
22.07/7.54	c (1,0) c Periods_total : 49
22.07/7.54	c (1,0) c Periods_winner : 6
22.07/7.54	c (1,0) c Margin_0 : 20
22.07/7.54	c (1,0) c Margin_1 : 20
22.07/7.54	c (1,0) c Margin_2 : 20
22.07/7.54	c (1,0) c Margin_3 : 20
22.07/7.54	c (1,0) c Margin_4 : 20
22.07/7.54	c (1,0) c Margin_5 : 20
22.07/7.54	c (1,0) c Margin_6 : 20
22.07/7.54	c (1,0) c Margin_7 : 20
22.07/7.54	c (1,0) c Margin_total : 160
22.07/7.54	c (1,0) c Margin_winner : 20
22.07/7.54	c (1,0) c Exported_0 : 1012
22.07/7.54	c (1,0) c Exported_1 : 1078
22.07/7.54	c (1,0) c Exported_2 : 1324
22.07/7.54	c (1,0) c Exported_3 : 1717
22.07/7.54	c (1,0) c Exported_4 : 1330
22.07/7.54	c (1,0) c Exported_5 : 1339
22.07/7.54	c (1,0) c Exported_6 : 1222
22.07/7.54	c (1,0) c Exported_7 : 1484
22.07/7.54	c (1,0) c Exported_total : 10506
22.07/7.54	c (1,0) c Exported_winner : 1484
22.07/7.54	c (1,0) c Imported_0 : 0
22.07/7.54	c (1,0) c Imported_1 : 0
22.07/7.54	c (1,0) c Imported_2 : 0
22.07/7.54	c (1,0) c Imported_3 : 0
22.07/7.54	c (1,0) c Imported_4 : 0
22.07/7.54	c (1,0) c Imported_5 : 0
22.07/7.54	c (1,0) c Imported_6 : 0
22.07/7.54	c (1,0) c Imported_7 : 0
22.07/7.54	c (1,0) c Imported_total : 0
22.07/7.54	c (1,0) c Imported_winner : 0
22.07/7.54	c (1,0) c Good_0 : 0
22.07/7.54	c (1,0) c Good_1 : 0
22.07/7.55	c (1,0) c Good_2 : 0
22.07/7.55	c (1,0) c Good_3 : 0
22.07/7.55	c (1,0) c Good_4 : 0
22.07/7.55	c (1,0) c Good_5 : 0
22.07/7.55	c (1,0) c Good_6 : 0
22.07/7.55	c (1,0) c Good_7 : 0
22.07/7.55	c (1,0) c Good_total : 0
22.07/7.55	c (1,0) c Good_winner : 0
22.07/7.55	c (1,0) c Purge_0 : 0
22.07/7.55	c (1,0) c Purge_1 : 0
22.07/7.55	c (1,0) c Purge_2 : 0
22.07/7.55	c (1,0) c Purge_3 : 0
22.07/7.55	c (1,0) c Purge_4 : 0
22.07/7.55	c (1,0) c Purge_5 : 0
22.07/7.55	c (1,0) c Purge_6 : 0
22.07/7.55	c (1,0) c Purge_7 : 0
22.07/7.55	c (1,0) c Purge_total : 0
22.07/7.55	c (1,0) c Purge_winner : 0
22.07/7.55	c (1,0) c Promoted_0 : 0
22.07/7.55	c (1,0) c Promoted_1 : 0
22.07/7.55	c (1,0) c Promoted_2 : 0
22.07/7.55	c (1,0) c Promoted_3 : 0
22.07/7.55	c (1,0) c Promoted_4 : 0
22.07/7.55	c (1,0) c Promoted_5 : 0
22.07/7.55	c (1,0) c Promoted_6 : 0
22.07/7.55	c (1,0) c Promoted_7 : 0
22.07/7.55	c (1,0) c Promoted_total : 0
22.07/7.55	c (1,0) c Promoted_winner : 0
22.07/7.55	c (1,0) c Remove_Imp_0 : 0
22.07/7.55	c (1,0) c Remove_Imp_1 : 0
22.07/7.55	c (1,0) c Remove_Imp_2 : 0
22.07/7.55	c (1,0) c Remove_Imp_3 : 0
22.07/7.55	c (1,0) c Remove_Imp_4 : 0
22.07/7.55	c (1,0) c Remove_Imp_5 : 0
22.07/7.55	c (1,0) c Remove_Imp_6 : 0
22.07/7.55	c (1,0) c Remove_Imp_7 : 0
22.07/7.55	c (1,0) c Remove_Imp_total : 0
22.07/7.55	c (1,0) c Remove_Imp_winner : 0
22.07/7.55	c (1,0) c Blocked_Reuse_0 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_1 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_2 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_3 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_4 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_5 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_6 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_7 : 0
22.07/7.55	c (1,0) c Blocked_Reuse_total : 0
22.07/7.55	c (1,0) c Blocked_Reuse_winner : 0
22.07/7.55	c (1,0) c Unaries_0 : 1
22.07/7.55	c (1,0) c Unaries_1 : 0
22.07/7.55	c (1,0) c Unaries_2 : 4
22.07/7.55	c (1,0) c Unaries_3 : 1
22.07/7.55	c (1,0) c Unaries_4 : 1
22.07/7.55	c (1,0) c Unaries_5 : 0
22.07/7.55	c (1,0) c Unaries_6 : 2
22.07/7.55	c (1,0) c Unaries_7 : 9
22.07/7.55	c (1,0) c Unaries_total : 18
22.07/7.55	c (1,0) c Unaries_winner : 9
22.07/7.55	c (1,0) c Binaries_0 : 24
22.07/7.55	c (1,0) c Binaries_1 : 12
22.07/7.55	c (1,0) c Binaries_2 : 37
22.07/7.55	c (1,0) c Binaries_3 : 18
22.07/7.55	c (1,0) c Binaries_4 : 23
22.07/7.55	c (1,0) c Binaries_5 : 23
22.07/7.55	c (1,0) c Binaries_6 : 37
22.07/7.55	c (1,0) c Binaries_7 : 40
22.07/7.55	c (1,0) c Binaries_total : 214
22.07/7.55	c (1,0) c Binaries_winner : 40
22.07/7.55	c (1,0) c Glues_0 : 179
22.07/7.55	c (1,0) c Glues_1 : 133
22.07/7.55	c (1,0) c Glues_2 : 277
22.07/7.55	c (1,0) c Glues_3 : 207
22.07/7.55	c (1,0) c Glues_4 : 182
22.07/7.55	c (1,0) c Glues_5 : 201
22.07/7.55	c (1,0) c Glues_6 : 242
22.07/7.55	c (1,0) c Glues_7 : 268
22.07/7.55	c (1,0) c Glues_total : 1689
22.07/7.55	c (1,0) c Glues_winner : 268
22.07/7.55	c (1,0) c RunningTime_0 : 0.494635
22.07/7.55	c (1,0) c RunningTime_1 : 0.505308
22.07/7.55	c (1,0) c RunningTime_2 : 0.466206
22.07/7.55	c (1,0) c RunningTime_3 : 0.519217
22.07/7.55	c (1,0) c RunningTime_4 : 0.474039
22.07/7.55	c (1,0) c RunningTime_5 : 0.483940
22.07/7.55	c (1,0) c RunningTime_6 : 0.489315
22.07/7.55	c (1,0) c RunningTime_7 : 0.457219
22.07/7.55	c (1,0) c RunningTime_total : 3.889880
22.07/7.55	c (1,0) c RunningTime_winner : 0.457219
22.07/7.55	c (1,0) c WaitingTime_0 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_1 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_2 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_3 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_4 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_5 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_6 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_7 : 0.000000
22.07/7.55	c (1,0) c WaitingTime_total : 0.000000
22.07/7.55	c (1,0) c WaitingTime_winner : 0.000000
22.07/7.55	c (1,0) c ExchangingTime_0 : 0.000402
22.07/7.55	c (1,0) c ExchangingTime_1 : 0.000405
22.07/7.55	c (1,0) c ExchangingTime_2 : 0.000513
22.07/7.55	c (1,0) c ExchangingTime_3 : 0.000509
22.07/7.55	c (1,0) c ExchangingTime_4 : 0.000405
22.07/7.55	c (1,0) c ExchangingTime_5 : 0.000451
22.07/7.55	c (1,0) c ExchangingTime_6 : 0.000471
22.07/7.55	c (1,0) c ExchangingTime_7 : 0.000514
22.07/7.55	c (1,0) c ExchangingTime_total : 0.003670
22.07/7.55	c (1,0) c ExchangingTime_winner : 0.000514
22.07/7.55	c (1,0) c PeriodProcTime_0 : 0.000031
22.07/7.55	c (1,0) c PeriodProcTime_1 : 0.000032
22.07/7.55	c (1,0) c PeriodProcTime_2 : 0.000041
22.07/7.55	c (1,0) c PeriodProcTime_3 : 0.000067
22.07/7.55	c (1,0) c PeriodProcTime_4 : 0.000048
22.07/7.55	c (1,0) c PeriodProcTime_5 : 0.000039
22.07/7.55	c (1,0) c PeriodProcTime_6 : 0.000037
22.07/7.55	c (1,0) c PeriodProcTime_7 : 0.000042
22.07/7.55	c (1,0) c PeriodProcTime_total : 0.000338
22.07/7.55	c (1,0) c PeriodProcTime_winner : 0.000042
22.07/7.55	c (1,0) c SolvingTime_0 : 0.495069
22.07/7.55	c (1,0) c SolvingTime_1 : 0.505745
22.07/7.55	c (1,0) c SolvingTime_2 : 0.466760
22.07/7.55	c (1,0) c SolvingTime_3 : 0.519794
22.07/7.55	c (1,0) c SolvingTime_4 : 0.474493
22.07/7.55	c (1,0) c SolvingTime_5 : 0.484430
22.07/7.55	c (1,0) c SolvingTime_6 : 0.489823
22.07/7.55	c (1,0) c SolvingTime_7 : 0.457775
22.07/7.55	c (1,0) c SolvingTime_total : 3.893888
22.07/7.55	c (1,0) c SolvingTime_winner : 0.457775
22.07/7.55	c (1,0) c PropagationTime_0 : 0.428942
22.07/7.55	c (1,0) c PropagationTime_1 : 0.444005
22.07/7.55	c (1,0) c PropagationTime_2 : 0.400836
22.07/7.55	c (1,0) c PropagationTime_3 : 0.437987
22.07/7.55	c (1,0) c PropagationTime_4 : 0.408428
22.07/7.55	c (1,0) c PropagationTime_5 : 0.424043
22.07/7.55	c (1,0) c PropagationTime_6 : 0.419258
22.07/7.55	c (1,0) c PropagationTime_7 : 0.390042
22.07/7.55	c (1,0) c PropagationTime_total : 3.353542
22.07/7.55	c (1,0) c PropagationTime_winner : 0.390042
22.07/7.55	c (1,0) c AnalysisTime_0 : 0.039292
22.07/7.55	c (1,0) c AnalysisTime_1 : 0.042656
22.07/7.55	c (1,0) c AnalysisTime_2 : 0.041086
22.07/7.55	c (1,0) c AnalysisTime_3 : 0.051928
22.07/7.55	c (1,0) c AnalysisTime_4 : 0.041881
22.07/7.55	c (1,0) c AnalysisTime_5 : 0.042038
22.07/7.55	c (1,0) c AnalysisTime_6 : 0.042237
22.07/7.55	c (1,0) c AnalysisTime_7 : 0.041844
22.07/7.55	c (1,0) c AnalysisTime_total : 0.342962
22.07/7.55	c (1,0) c AnalysisTime_winner : 0.041844
22.07/7.55	c (1,0) c ReductionTime_0 : 0.000322
22.07/7.55	c (1,0) c ReductionTime_1 : 0.001282
22.07/7.55	c (1,0) c ReductionTime_2 : 0.001221
22.07/7.55	c (1,0) c ReductionTime_3 : 0.001304
22.07/7.55	c (1,0) c ReductionTime_4 : 0.001270
22.07/7.55	c (1,0) c ReductionTime_5 : 0.001271
22.07/7.55	c (1,0) c ReductionTime_6 : 0.001204
22.07/7.55	c (1,0) c ReductionTime_7 : 0.000907
22.07/7.55	c (1,0) c ReductionTime_total : 0.008781
22.07/7.55	c (1,0) c ReductionTime_winner : 0.000907
22.07/7.55	c (1,0) c SimplifyTime_0 : 0.009483
22.07/7.55	c (1,0) c SimplifyTime_1 : 0.000001
22.07/7.55	c (1,0) c SimplifyTime_2 : 0.007237
22.07/7.55	c (1,0) c SimplifyTime_3 : 0.009195
22.07/7.55	c (1,0) c SimplifyTime_4 : 0.006425
22.07/7.55	c (1,0) c SimplifyTime_5 : 0.000001
22.07/7.55	c (1,0) c SimplifyTime_6 : 0.009544
22.07/7.55	c (1,0) c SimplifyTime_7 : 0.007437
22.07/7.55	c (1,0) c SimplifyTime_total : 0.049324
22.07/7.55	c (1,0) c SimplifyTime_winner : 0.007437
22.07/7.55	c (1,0) c UsedRateTime_0 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_1 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_2 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_3 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_4 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_5 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_6 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_7 : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_total : 0.000000
22.07/7.55	c (1,0) c UsedRateTime_winner : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_0 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_1 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_2 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_3 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_4 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_5 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_6 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_7 : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_total : 0.000000
22.07/7.55	c (1,0) c OverlapRateTime_winner : 0.000000
22.07/7.55	c (1,0) c
22.07/7.55	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.07/7.55	c (1,0) c
22.07/7.55	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.55	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.07/7.55	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.55	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.07/7.55	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.07/7.55	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.07/7.55	c (1,0) c | Initial random_seed   |  790706420 | 1984620279 | 1489663662 | 2028418618 |  407970536 |  108470000 | 1135277512 |  263512498 |
22.07/7.55	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.07/7.55	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.07/7.55	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.07/7.55	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.07/7.55	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.07/7.55	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.07/7.55	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.07/7.55	c (1,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
22.07/7.55	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.07/7.55	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.07/7.55	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.07/7.55	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.07/7.55	c (1,0) 
22.07/7.55	c (1,0) s UNSATISFIABLE
22.07/7.55	c (1,0) SatSolver.solve End
22.07/7.55	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
22.07/7.55	c (1,0) Show results Begin
22.07/7.55	s UNSATISFIABLE
22.07/7.55	c (1,0) Show results End
22.07/7.55	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
22.07/7.56	c (1,0) 1,1,STOP-AFTER(ALL)
22.07/7.56	c END-Prog: Sat Sep 14 01:19:50 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392613-1568416820/watcher-4392613-1568416820 -o /tmp/evaluation-result-4392613-1568416820/solver-4392613-1568416820 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --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-4392613-1568416820.xml 

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

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

solver pid=7602, runsolver pid=7599

[startup+0.100112 s]*
/proc/loadavg: 3.73 1.31 1.28 3/212 7624
/proc/meminfo: memFree=30809916/32770624 swapFree=66940928/67108860
[pid=7602] ppid=7599 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7602/stat : 7602 (scop.sh) S 7599 7602 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417920741 115843072 349 33554432000 4194304 5098028 140728567896544 140728567893800 139878805869180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14508032 140728567903012 140728567903340 140728567903340 140728567906253 0
/proc/7602/statm: 28282 349 296 221 0 87 0
[pid=7605] ppid=7602 vsize=27314120 memory=105996 CPUtime=0.11 cores=0-7
/proc/7605/stat : 7605 (java) S 7602 7602 6415 0 -1 1077944320 6540 0 0 0 8 3 0 0 20 0 20 0 417920742 27969658880 26499 33554432000 4194304 4196468 140730608043488 140730608026032 140366279687927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
/proc/7605/statm: 6828530 26499 2817 1 0 6790935 0
[pid=7605/tid=7606] ppid=7602 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7605/task/7606/stat : 7606 (java) R 7602 7602 6415 0 -1 4202560 4614 0 0 0 7 2 0 0 20 0 20 0 417920742 27969658880 26499 33554432000 4194304 4196468 140730608043488 140366251520264 140366265127088 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7607] ppid=7602 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7605/task/7607/stat : 7607 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920744 27969658880 26499 33554432000 4194304 4196468 140730608043488 140366283930128 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7608] ppid=7602 vsize=27314120 memory=140668278339200 CPUtime=0 cores=0-7
/proc/7605/task/7608/stat : 7608 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920744 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365701741200 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7609] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7609/stat : 7609 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365700688144 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7610] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7610/stat : 7610 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365699635600 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7611] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7611/stat : 7611 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365698583568 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7612] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7612/stat : 7612 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365697531024 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7613] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7613/stat : 7613 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365696477968 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7614] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7614/stat : 7614 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 26499 33554432000 4194304 4196468 140730608043488 140365695425424 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7615] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7615/stat : 7615 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920746 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364801251568 140366279699074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7616] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7616/stat : 7616 (java) S 7602 7602 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417920747 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364161737888 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7617] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7617/stat : 7617 (java) S 7602 7602 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417920747 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364027515632 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7618] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7618/stat : 7618 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 26499 33554432000 4194304 4196468 140730608043488 140363653011408 140366279706523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7619] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7619/stat : 7619 (java) S 7602 7602 6415 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364800199408 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7620] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7620/stat : 7620 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364799146864 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7621] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7621/stat : 7621 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364798093808 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7622] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7622/stat : 7622 (java) S 7602 7602 6415 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364797041264 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7623] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7623/stat : 7623 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 26499 33554432000 4194304 4196468 140730608043488 140363155106272 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7624] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7624/stat : 7624 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920750 27969658880 26499 33554432000 4194304 4196468 140730608043488 140364795988656 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107392 KiB

[startup+0.210299 s]*
/proc/loadavg: 3.73 1.31 1.28 2/212 7624
/proc/meminfo: memFree=30788800/32770624 swapFree=66940928/67108860
[pid=7602] ppid=7599 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7602/stat : 7602 (scop.sh) S 7599 7602 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417920741 115843072 349 33554432000 4194304 5098028 140728567896544 140728567893800 139878805869180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14508032 140728567903012 140728567903340 140728567903340 140728567906253 0
/proc/7602/statm: 28282 349 296 221 0 87 0
[pid=7605] ppid=7602 vsize=27314120 memory=125044 CPUtime=0.24 cores=0-7
/proc/7605/stat : 7605 (java) S 7602 7602 6415 0 -1 1077944320 12137 0 0 0 20 4 0 0 20 0 20 0 417920742 27969658880 31261 33554432000 4194304 4196468 140730608043488 140730608026032 140366279687927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
/proc/7605/statm: 6828530 31261 2925 1 0 6790935 0
[pid=7605/tid=7606] ppid=7602 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7605/task/7606/stat : 7606 (java) R 7602 7602 6415 0 -1 4202560 9826 0 0 0 16 3 0 0 20 0 20 0 417920742 27969658880 31261 33554432000 4194304 4196468 140730608043488 140366251501360 140366264853600 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7607] ppid=7602 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/7605/task/7607/stat : 7607 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920744 27969658880 31261 33554432000 4194304 4196468 140730608043488 140366283930128 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7608] ppid=7602 vsize=27314120 memory=140668278347055 CPUtime=0 cores=0-7
/proc/7605/task/7608/stat : 7608 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920744 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365701741200 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7609] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7609/stat : 7609 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365700688144 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7610] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7610/stat : 7610 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365699635600 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7611] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7611/stat : 7611 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365698583568 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7612] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7612/stat : 7612 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365697531024 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7613] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7613/stat : 7613 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365696477968 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7614] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7614/stat : 7614 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 31261 33554432000 4194304 4196468 140730608043488 140365695425424 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7615] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7615/stat : 7615 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920746 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364801251568 140366279699074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7616] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7616/stat : 7616 (java) S 7602 7602 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417920747 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364161737888 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7617] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7617/stat : 7617 (java) S 7602 7602 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417920747 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364027515632 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7618] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7618/stat : 7618 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 31261 33554432000 4194304 4196468 140730608043488 140363653011408 140366279706523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7619] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7619/stat : 7619 (java) S 7602 7602 6415 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364800199408 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7620] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7620/stat : 7620 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364799146864 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7621] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7621/stat : 7621 (java) S 7602 7602 6415 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364798093808 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7622] ppid=7602 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7605/task/7622/stat : 7622 (java) S 7602 7602 6415 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 417920749 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364797041264 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7623] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7623/stat : 7623 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 31261 33554432000 4194304 4196468 140730608043488 140363155106272 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7624] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7624/stat : 7624 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920750 27969658880 31261 33554432000 4194304 4196468 140730608043488 140364795988656 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126440 KiB

[startup+0.309712 s]*
/proc/loadavg: 3.73 1.31 1.28 2/212 7624
/proc/meminfo: memFree=30787952/32770624 swapFree=66940928/67108860
[pid=7602] ppid=7599 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7602/stat : 7602 (scop.sh) S 7599 7602 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417920741 115843072 349 33554432000 4194304 5098028 140728567896544 140728567893800 139878805869180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14508032 140728567903012 140728567903340 140728567903340 140728567906253 0
/proc/7602/statm: 28282 349 296 221 0 87 0
[pid=7605] ppid=7602 vsize=27314120 memory=128388 CPUtime=0.42 cores=0-7
/proc/7605/stat : 7605 (java) S 7602 7602 6415 0 -1 1077944320 12492 0 0 0 37 5 0 0 20 0 20 0 417920742 27969658880 32097 33554432000 4194304 4196468 140730608043488 140730608026032 140366279687927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
/proc/7605/statm: 6828530 32097 3025 1 0 6790935 0
[pid=7605/tid=7606] ppid=7602 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7605/task/7606/stat : 7606 (java) R 7602 7602 6415 0 -1 4202560 10013 0 0 0 26 3 0 0 20 0 20 0 417920742 27969658880 32097 33554432000 4194304 4196468 140730608043488 140366251472912 140366261251496 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7607] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7607/stat : 7607 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920744 27969658880 32097 33554432000 4194304 4196468 140730608043488 140366283930128 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7608] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7608/stat : 7608 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920744 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365701741200 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7609] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7609/stat : 7609 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365700688144 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7610] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7610/stat : 7610 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365699635600 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7611] ppid=7602 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7605/task/7611/stat : 7611 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365698583568 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7612] ppid=7602 vsize=27314120 memory=140668164993967 CPUtime=0 cores=0-7
/proc/7605/task/7612/stat : 7612 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365697531024 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7613] ppid=7602 vsize=27314120 memory=140668164996272 CPUtime=0 cores=0-7
/proc/7605/task/7613/stat : 7613 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365696477968 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7614] ppid=7602 vsize=27314120 memory=140668164998576 CPUtime=0 cores=0-7
/proc/7605/task/7614/stat : 7614 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27969658880 32097 33554432000 4194304 4196468 140730608043488 140365695425424 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7615] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7615/stat : 7615 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920746 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364801251568 140366279699074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7616] ppid=7602 vsize=27314120 memory=281336330004112 CPUtime=0 cores=0-7
/proc/7605/task/7616/stat : 7616 (java) S 7602 7602 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417920747 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364161737888 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7617] ppid=7602 vsize=27314120 memory=281336330011024 CPUtime=0 cores=0-7
/proc/7605/task/7617/stat : 7617 (java) S 7602 7602 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417920747 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364027515632 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7618] ppid=7602 vsize=27314120 memory=281336329952176 CPUtime=0 cores=0-7
/proc/7605/task/7618/stat : 7618 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 32097 33554432000 4194304 4196468 140730608043488 140363653011408 140366279706523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7619] ppid=7602 vsize=27314120 memory=281336330024848 CPUtime=0.02 cores=0-7
/proc/7605/task/7619/stat : 7619 (java) R 7602 7602 6415 0 -1 4202560 541 0 0 0 2 0 0 0 20 0 20 0 417920749 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364800199408 140366261208515 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7620] ppid=7602 vsize=27314120 memory=281336330031760 CPUtime=0.01 cores=0-7
/proc/7605/task/7620/stat : 7620 (java) S 7602 7602 6415 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 417920749 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364799146864 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7621] ppid=7602 vsize=27314120 memory=281336330029456 CPUtime=0 cores=0-7
/proc/7605/task/7621/stat : 7621 (java) S 7602 7602 6415 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364798093808 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7622] ppid=7602 vsize=27314120 memory=281336330045616 CPUtime=0.07 cores=0-7
/proc/7605/task/7622/stat : 7622 (java) S 7602 7602 6415 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 417920749 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364797041264 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7623] ppid=7602 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7623/stat : 7623 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417920749 27969658880 32097 33554432000 4194304 4196468 140730608043488 140363155106272 140366279698133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7624] ppid=7602 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7605/task/7624/stat : 7624 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920750 27969658880 32097 33554432000 4194304 4196468 140730608043488 140364795988656 140366279699074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129784 KiB

[startup+0.700907 s]
/proc/loadavg: 3.73 1.31 1.28 2/212 7624
/proc/meminfo: memFree=30766868/32770624 swapFree=66940928/67108860
[pid=7602] ppid=7599 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7602/stat : 7602 (scop.sh) S 7599 7602 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417920741 115843072 349 33554432000 4194304 5098028 140728567896544 140728567893800 139878805869180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14508032 140728567903012 140728567903340 140728567903340 140728567906253 0
/proc/7602/statm: 28282 349 296 221 0 87 0
[pid=7605] ppid=7602 vsize=27320392 memory=163016 CPUtime=0.99 cores=0-7
/proc/7605/stat : 7605 (java) S 7602 7602 6415 0 -1 1077944320 19905 0 0 0 92 7 0 0 20 0 20 0 417920742 27976081408 40754 33554432000 4194304 4196468 140730608043488 140730608026032 140366279687927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
/proc/7605/statm: 6830098 40754 3166 1 0 6791447 0
[pid=7605/tid=7606] ppid=7602 vsize=27320392 memory=281336330403504 CPUtime=0.67 cores=0-7
/proc/7605/task/7606/stat : 7606 (java) R 7602 7602 6415 0 -1 4202560 16933 0 0 0 62 5 0 0 20 0 20 0 417920742 27976081408 40754 33554432000 4194304 4196468 140730608043488 140366251526496 140366279699862 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7607] ppid=7602 vsize=27320392 memory=140668165202800 CPUtime=0 cores=0-7
/proc/7605/task/7607/stat : 7607 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920744 27976081408 40754 33554432000 4194304 4196468 140730608043488 140366283930128 140366279698133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7608] ppid=7602 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7605/task/7608/stat : 7608 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417920744 27976081408 40754 33554432000 4194304 4196468 140730608043488 140365701741200 140366279698133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0
[pid=7605/tid=7609] ppid=7602 vsize=27320392 memory=5980 CPUtime=0 cores=0-7
/proc/7605/task/7609/stat : 7609 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417920745 27976081408 40754 33554432000 4194304 4196468 140730608043488 140365700688144 140366279698133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140730608050923 140730608051350 140730608051350 140730608054223 0

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

[pid=7625/tid=7626] ppid=7602 vsize=8414124 memory=140668768879004 CPUtime=0.93 cores=0-7
/proc/7625/task/7626/stat : 7626 (java) S 7602 7602 6415 0 -1 1077944384 17975 0 0 0 81 12 0 0 20 0 24 0 417921295 8616062976 33636 33554432000 4194304 4196468 140733472797088 140198077046688 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7627] ppid=7602 vsize=8414124 memory=140668768879042 CPUtime=0 cores=0-7
/proc/7625/task/7627/stat : 7627 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140198109449232 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7628] ppid=7602 vsize=8414124 memory=140668768879096 CPUtime=0 cores=0-7
/proc/7625/task/7628/stat : 7628 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197589843088 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7629] ppid=7602 vsize=8414124 memory=140668768879137 CPUtime=0 cores=0-7
/proc/7625/task/7629/stat : 7629 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197588790032 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7630] ppid=7602 vsize=8414124 memory=140668768879147 CPUtime=0 cores=0-7
/proc/7625/task/7630/stat : 7630 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197587737488 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7631] ppid=7602 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7625/task/7631/stat : 7631 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197586684432 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7632] ppid=7602 vsize=8414124 memory=134544 CPUtime=0 cores=0-7
/proc/7625/task/7632/stat : 7632 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197585631888 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7633] ppid=7602 vsize=8414124 memory=140668768879163 CPUtime=0 cores=0-7
/proc/7625/task/7633/stat : 7633 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197584578832 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7634] ppid=7602 vsize=8414124 memory=140668768879165 CPUtime=0 cores=0-7
/proc/7625/task/7634/stat : 7634 (java) S 7602 7602 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417921296 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197583526288 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7635] ppid=7602 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/7625/task/7635/stat : 7635 (java) S 7602 7602 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417921297 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197400038128 140198105217666 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7636] ppid=7602 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/7625/task/7636/stat : 7636 (java) S 7602 7602 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417921298 8616062976 33636 33554432000 4194304 4196468 140733472797088 140196725122720 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7637] ppid=7602 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/7625/task/7637/stat : 7637 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417921298 8616062976 33636 33554432000 4194304 4196468 140733472797088 140196456686832 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7638] ppid=7602 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/7625/task/7638/stat : 7638 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140196082178512 140198105225115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7639] ppid=7602 vsize=8414124 memory=1976 CPUtime=0.17 cores=0-7
/proc/7625/task/7639/stat : 7639 (java) S 7602 7602 6415 0 -1 1077944384 666 0 0 0 17 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197398984944 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7640] ppid=7602 vsize=8414124 memory=2432 CPUtime=0.18 cores=0-7
/proc/7625/task/7640/stat : 7640 (java) S 7602 7602 6415 0 -1 1077944384 490 0 0 0 18 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197397932400 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7641] ppid=7602 vsize=8414124 memory=1436 CPUtime=0.2 cores=0-7
/proc/7625/task/7641/stat : 7641 (java) S 7602 7602 6415 0 -1 1077944384 875 0 0 0 20 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197060667376 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7642] ppid=7602 vsize=8414124 memory=800 CPUtime=0.25 cores=0-7
/proc/7625/task/7642/stat : 7642 (java) S 7602 7602 6415 0 -1 1077944384 650 0 0 0 25 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197059614832 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7643] ppid=7602 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/7625/task/7643/stat : 7643 (java) S 7602 7602 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140195584273376 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7644] ppid=7602 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/7625/task/7644/stat : 7644 (java) S 7602 7602 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417921301 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197058563248 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7646] ppid=7602 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/7625/task/7646/stat : 7646 (java) S 7602 7602 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417921385 8616062976 33636 33554432000 4194304 4196468 140733472797088 140197051086272 140198105231129 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7648] ppid=7602 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/7625/task/7648/stat : 7648 (java) S 7602 7602 6415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 417921385 8616062976 33636 33554432000 4194304 4196468 140733472797088 140194913173008 140198105228445 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7649] ppid=7602 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7625/task/7649/stat : 7649 (java) S 7602 7602 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417921385 8616062976 33636 33554432000 4194304 4196468 140733472797088 140195181608592 140198105228445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7650] ppid=7602 vsize=8414124 memory=281336330417008 CPUtime=0 cores=0-7
/proc/7625/task/7650/stat : 7650 (java) S 7602 7602 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417921387 8616062976 33636 33554432000 4194304 4196468 140733472797088 140194644745136 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
Current children cumulated CPU time: 19.71 s
Current children cumulated vsize: 9371852 KiB
Current children cumulated memory: 383496 KiB

[startup+7.60107 s]
/proc/loadavg: 3.83 1.38 1.30 2/217 7650
/proc/meminfo: memFree=30557780/32770624 swapFree=66940928/67108860
[pid=7602] ppid=7599 vsize=113128 memory=1476 CPUtime=16.18 cores=0-7
/proc/7602/stat : 7602 (scop.sh) S 7599 7602 6415 0 -1 4202496 583 37329 0 0 0 0 1566 52 20 0 1 0 417920741 115843072 369 33554432000 4194304 5098028 140728567896544 140728567893288 139878805869180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14508032 140728567903012 140728567903340 140728567903340 140728567906253 0
/proc/7602/statm: 28282 369 311 221 0 87 0
[pid=7625] ppid=7602 vsize=8283048 memory=136968 CPUtime=6.04 cores=0-7
/proc/7625/stat : 7625 (java) S 7602 7602 6415 0 -1 1077944320 22141 41749 0 0 171 15 409 9 20 0 22 0 417921294 8481841152 34242 33554432000 4194304 4196468 140733472797088 140733472779632 140198105206519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
/proc/7625/statm: 2070762 34242 3226 1 0 2032106 0
[pid=7625/tid=7626] ppid=7602 vsize=8283048 memory=593976 CPUtime=5.11 cores=0-7
/proc/7625/task/7626/stat : 7626 (java) D 7602 7602 6415 0 -1 4202560 17987 41749 0 0 81 12 409 9 20 0 22 0 417921295 8481841152 34242 33554432000 4194304 4196468 140733472797088 140198077048296 140198097892151 0 4 2 25189581 18446744072100555909 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7627] ppid=7602 vsize=8283048 memory=-7233780906022726806 CPUtime=4.18 cores=0-7
/proc/7625/task/7627/stat : 7627 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140198109449232 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7628] ppid=7602 vsize=8283048 memory=-7384994778349281184 CPUtime=4.18 cores=0-7
/proc/7625/task/7628/stat : 7628 (java) S 7602 7602 6415 0 -1 1077944384 3 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197589843088 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7629] ppid=7602 vsize=8283048 memory=8257237230706253920 CPUtime=4.18 cores=0-7
/proc/7625/task/7629/stat : 7629 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197588790032 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7630] ppid=7602 vsize=8283048 memory=-7522837583129502606 CPUtime=4.18 cores=0-7
/proc/7625/task/7630/stat : 7630 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197587737488 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7631] ppid=7602 vsize=8283048 memory=0 CPUtime=4.18 cores=0-7
/proc/7625/task/7631/stat : 7631 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197586684432 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7632] ppid=7602 vsize=8283048 memory=0 CPUtime=4.18 cores=0-7
/proc/7625/task/7632/stat : 7632 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197585631888 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7633] ppid=7602 vsize=8283048 memory=5859535235326444939 CPUtime=4.18 cores=0-7
/proc/7625/task/7633/stat : 7633 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197584578832 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7634] ppid=7602 vsize=8283048 memory=-8961168018402230209 CPUtime=4.18 cores=0-7
/proc/7625/task/7634/stat : 7634 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197583526288 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7635] ppid=7602 vsize=8283048 memory=-8253362762722141311 CPUtime=4.18 cores=0-7
/proc/7625/task/7635/stat : 7635 (java) S 7602 7602 6415 0 -1 1077944384 5 41749 0 0 0 0 409 9 20 0 22 0 417921297 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197400038128 140198105217666 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7636] ppid=7602 vsize=8283048 memory=-7175204567652784766 CPUtime=4.18 cores=0-7
/proc/7625/task/7636/stat : 7636 (java) S 7602 7602 6415 0 -1 1077944384 13 41749 0 0 0 0 409 9 20 0 22 0 417921298 8481841152 34242 33554432000 4194304 4196468 140733472797088 140196725122720 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7637] ppid=7602 vsize=8283048 memory=7100839861465685612 CPUtime=4.18 cores=0-7
/proc/7625/task/7637/stat : 7637 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921298 8481841152 34242 33554432000 4194304 4196468 140733472797088 140196456686832 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7638] ppid=7602 vsize=8283048 memory=3054156605268465310 CPUtime=4.18 cores=0-7
/proc/7625/task/7638/stat : 7638 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140196082178512 140198105225115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7639] ppid=7602 vsize=8283048 memory=5450906554093958698 CPUtime=4.35 cores=0-7
/proc/7625/task/7639/stat : 7639 (java) S 7602 7602 6415 0 -1 1077944384 668 41749 0 0 17 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197398984944 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7640] ppid=7602 vsize=8283048 memory=6297835917904406888 CPUtime=4.37 cores=0-7
/proc/7625/task/7640/stat : 7640 (java) S 7602 7602 6415 0 -1 1077944384 493 41749 0 0 19 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197397932400 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7641] ppid=7602 vsize=8283048 memory=6298966254613391463 CPUtime=4.39 cores=0-7
/proc/7625/task/7641/stat : 7641 (java) S 7602 7602 6415 0 -1 1077944384 883 41749 0 0 21 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197060667376 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7642] ppid=7602 vsize=8283048 memory=0 CPUtime=4.45 cores=0-7
/proc/7625/task/7642/stat : 7642 (java) S 7602 7602 6415 0 -1 1077944384 693 41749 0 0 27 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197059614832 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7643] ppid=7602 vsize=8283048 memory=1556 CPUtime=4.18 cores=0-7
/proc/7625/task/7643/stat : 7643 (java) S 7602 7602 6415 0 -1 1077944384 3 41749 0 0 0 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140195584273376 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7644] ppid=7602 vsize=8283048 memory=532 CPUtime=4.18 cores=0-7
/proc/7625/task/7644/stat : 7644 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197058563248 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7646] ppid=7602 vsize=8283048 memory=928 CPUtime=4.18 cores=0-7
/proc/7625/task/7646/stat : 7646 (java) S 7602 7602 6415 0 -1 1077944384 25 41749 0 0 0 0 409 9 20 0 22 0 417921385 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197051085456 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7650] ppid=7602 vsize=8283048 memory=2432 CPUtime=4.18 cores=0-7
/proc/7625/task/7650/stat : 7650 (java) S 7602 7602 6415 0 -1 1077944384 15 41749 0 0 0 0 409 9 20 0 22 0 417921387 8481841152 34242 33554432000 4194304 4196468 140733472797088 140194644746928 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
Current children cumulated CPU time: 22.22 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 138444 KiB

[startup+7.701 s]
/proc/loadavg: 3.83 1.38 1.30 2/217 7650
/proc/meminfo: memFree=30557780/32770624 swapFree=66940928/67108860
[pid=7602] ppid=7599 vsize=113128 memory=1476 CPUtime=16.18 cores=0-7
/proc/7602/stat : 7602 (scop.sh) S 7599 7602 6415 0 -1 4202496 583 37329 0 0 0 0 1566 52 20 0 1 0 417920741 115843072 369 33554432000 4194304 5098028 140728567896544 140728567893288 139878805869180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14508032 140728567903012 140728567903340 140728567903340 140728567906253 0
/proc/7602/statm: 28282 369 311 221 0 87 0
[pid=7625] ppid=7602 vsize=8283048 memory=136968 CPUtime=6.04 cores=0-7
/proc/7625/stat : 7625 (java) S 7602 7602 6415 0 -1 1077944320 22141 41749 0 0 171 15 409 9 20 0 22 0 417921294 8481841152 34242 33554432000 4194304 4196468 140733472797088 140733472779632 140198105206519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
/proc/7625/statm: 2070762 34242 3226 1 0 2032106 0
[pid=7625/tid=7626] ppid=7602 vsize=8283048 memory=247920 CPUtime=5.11 cores=0-7
/proc/7625/task/7626/stat : 7626 (java) D 7602 7602 6415 0 -1 4202560 17987 41749 0 0 81 12 409 9 20 0 22 0 417921295 8481841152 34242 33554432000 4194304 4196468 140733472797088 140198077048296 140198097892151 0 4 2 25189581 18446744072100555909 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7627] ppid=7602 vsize=8283048 memory=1556 CPUtime=4.18 cores=0-7
/proc/7625/task/7627/stat : 7627 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140198109449232 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7628] ppid=7602 vsize=8283048 memory=11568 CPUtime=4.18 cores=0-7
/proc/7625/task/7628/stat : 7628 (java) S 7602 7602 6415 0 -1 1077944384 3 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197589843088 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7629] ppid=7602 vsize=8283048 memory=1532 CPUtime=4.18 cores=0-7
/proc/7625/task/7629/stat : 7629 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197588790032 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7630] ppid=7602 vsize=8283048 memory=1088 CPUtime=4.18 cores=0-7
/proc/7625/task/7630/stat : 7630 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197587737488 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7631] ppid=7602 vsize=8283048 memory=988 CPUtime=4.18 cores=0-7
/proc/7625/task/7631/stat : 7631 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197586684432 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7632] ppid=7602 vsize=8283048 memory=780 CPUtime=4.18 cores=0-7
/proc/7625/task/7632/stat : 7632 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197585631888 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7633] ppid=7602 vsize=8283048 memory=0 CPUtime=4.18 cores=0-7
/proc/7625/task/7633/stat : 7633 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197584578832 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7634] ppid=7602 vsize=8283048 memory=32633161521423 CPUtime=4.18 cores=0-7
/proc/7625/task/7634/stat : 7634 (java) S 7602 7602 6415 0 -1 1077944384 2 41749 0 0 0 0 409 9 20 0 22 0 417921296 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197583526288 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7635] ppid=7602 vsize=8283048 memory=32637456489906 CPUtime=4.18 cores=0-7
/proc/7625/task/7635/stat : 7635 (java) S 7602 7602 6415 0 -1 1077944384 5 41749 0 0 0 0 409 9 20 0 22 0 417921297 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197400038128 140198105217666 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7636] ppid=7602 vsize=8283048 memory=32650341391794 CPUtime=4.18 cores=0-7
/proc/7625/task/7636/stat : 7636 (java) S 7602 7602 6415 0 -1 1077944384 13 41749 0 0 0 0 409 9 20 0 22 0 417921298 8481841152 34242 33554432000 4194304 4196468 140733472797088 140196725122720 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7637] ppid=7602 vsize=8283048 memory=281336330600160 CPUtime=4.18 cores=0-7
/proc/7625/task/7637/stat : 7637 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921298 8481841152 34242 33554432000 4194304 4196468 140733472797088 140196456686832 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7638] ppid=7602 vsize=8283048 memory=55 CPUtime=4.18 cores=0-7
/proc/7625/task/7638/stat : 7638 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140196082178512 140198105225115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7639] ppid=7602 vsize=8283048 memory=9049000033365747760 CPUtime=4.35 cores=0-7
/proc/7625/task/7639/stat : 7639 (java) S 7602 7602 6415 0 -1 1077944384 668 41749 0 0 17 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197398984944 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7640] ppid=7602 vsize=8283048 memory=1469672568964474928 CPUtime=4.37 cores=0-7
/proc/7625/task/7640/stat : 7640 (java) S 7602 7602 6415 0 -1 1077944384 493 41749 0 0 19 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197397932400 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7641] ppid=7602 vsize=8283048 memory=4195766707487990105 CPUtime=4.39 cores=0-7
/proc/7625/task/7641/stat : 7641 (java) S 7602 7602 6415 0 -1 1077944384 883 41749 0 0 21 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197060667376 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7642] ppid=7602 vsize=8283048 memory=7018631583639429457 CPUtime=4.45 cores=0-7
/proc/7625/task/7642/stat : 7642 (java) S 7602 7602 6415 0 -1 1077944384 693 41749 0 0 27 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197059614832 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7643] ppid=7602 vsize=8283048 memory=4194604300359131449 CPUtime=4.18 cores=0-7
/proc/7625/task/7643/stat : 7643 (java) S 7602 7602 6415 0 -1 1077944384 3 41749 0 0 0 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140195584273376 140198105216725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7644] ppid=7602 vsize=8283048 memory=8112282956445269571 CPUtime=4.18 cores=0-7
/proc/7625/task/7644/stat : 7644 (java) S 7602 7602 6415 0 -1 1077944384 1 41749 0 0 0 0 409 9 20 0 22 0 417921301 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197058563248 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7646] ppid=7602 vsize=8283048 memory=0 CPUtime=4.18 cores=0-7
/proc/7625/task/7646/stat : 7646 (java) S 7602 7602 6415 0 -1 1077944384 25 41749 0 0 0 0 409 9 20 0 22 0 417921385 8481841152 34242 33554432000 4194304 4196468 140733472797088 140197051085456 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
[pid=7625/tid=7650] ppid=7602 vsize=8283048 memory=281336330742112 CPUtime=4.18 cores=0-7
/proc/7625/task/7650/stat : 7650 (java) S 7602 7602 6415 0 -1 1077944384 15 41749 0 0 0 0 409 9 20 0 22 0 417921387 8481841152 34242 33554432000 4194304 4196468 140733472797088 140194644746928 140198105217666 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140733472805880 140733472806038 140733472806038 140733472808911 0
Current children cumulated CPU time: 22.22 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 138444 KiB

Child status: 0
Real time (s): 7.745
CPU time (s): 22.2523
CPU user time (s): 21.4775
CPU system time (s): 0.774843
CPU usage (%): 287.312
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1865032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.4775
system time used= 0.774843
maximum resident set size= 1866320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12337
involuntary context switches= 84


# summary of solver processes directly reported to runsolver:
#   pid: 7602
#   total CPU time (s): 22.2523
#   total CPU user time (s): 21.4775
#   total CPU system time (s): 0.774843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086409 second user time and 0.117133 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 01:19:43
IDJOB=4392613
IDBENCH=120792
IDSOLVER=2839
FILE ID=node149/4392613-1568416820
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f04.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392613-1568416820/watcher-4392613-1568416820 -o /tmp/evaluation-result-4392613-1568416820/solver-4392613-1568416820 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --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-4392613-1568416820.xml

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

MD5SUM BENCH= 3c3f91fe2d5d1aa7af585cdf812638b5
RANDOM SEED=80656897

node149.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.81
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.81
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.81
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.81
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:        30906816 kB
MemAvailable:   31858488 kB
Buffers:          174132 kB
Cached:          1078156 kB
SwapCached:        61320 kB
Active:           591396 kB
Inactive:         723548 kB
Active(anon):      30172 kB
Inactive(anon):    72460 kB
Active(file):     561224 kB
Inactive(file):   651088 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940928 kB
Dirty:             20284 kB
Writeback:             0 kB
AnonPages:        231816 kB
Mapped:            43984 kB
Shmem:             31360 kB
Slab:             139768 kB
SReclaimable:     110392 kB
SUnreclaim:        29376 kB
KernelStack:        3856 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 01:19:51