Trace number 4392569

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m256-00.xml
MD5SUM73ef0e8387fdebf21bbae2b4acf5d521
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.036418
Satisfiable
(Un)Satisfiability was proved
Number of variables51
Number of constraints105
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":51}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity51
Distribution of constraint arities[{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}]
Number of extensional constraints104
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":104},{"type":"allDifferent","count":1}]
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-24355-serial-file.bin HOME/instance-4392569-1568431948.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:31:46 CEST 2019
0.66/0.57	c PID: 24358
0.66/0.57	c IP: 172.20.3.117
0.66/0.57	c HOST: node117.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.60/0.95	c (0,0) Parsing End
1.60/0.95	c (0,0) CSP: 51 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 256
1.60/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.95	c (0,0) Constraint Name Generate Begin
1.60/0.96	c (0,0) Ctr:HOME/instance-4392569-1568431948.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.60/0.96	c (0,0) Constraint Name Generate End
1.60/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.96	c (0,0) CSP to CSPinCNF Begin
8.99/3.58	c (3,3) translated 11 (10%) constraints
12.00/5.49	c (4,4) translated 21 (20%) constraints
14.18/7.57	c (7,7) translated 32 (30%) constraints
16.16/9.45	c (8,8) translated 42 (40%) constraints
18.32/11.53	c (10,10) translated 53 (50%) constraints
20.22/13.40	c (12,12) translated 63 (60%) constraints
22.23/15.46	c (14,14) translated 74 (70%) constraints
26.10/17.58	c (17,16) translated 84 (80%) constraints
27.15/18.52	c (17,17) translated 95 (90%) constraints
27.15/18.55	c (18,17) translated 105 (100%) constraints
27.15/18.55	c (18,17) ===========================================
27.57/18.66	c (18,17) Hybrid: #OE=22323, #LE=0
27.57/18.66	c (18,17) Hybrid
27.57/18.66	c (18,17) ===========================================
29.06/19.38	c (18,18) translated 32576 (10%) constraints
29.77/20.01	c (19,19) translated 65152 (20%) constraints
30.41/20.65	c (20,19) translated 97727 (30%) constraints
31.01/21.28	c (20,20) translated 130303 (40%) constraints
31.74/21.91	c (21,21) translated 162878 (50%) constraints
32.34/22.54	c (21,21) translated 195454 (60%) constraints
32.95/23.17	c (22,22) translated 228030 (70%) constraints
33.64/23.80	c (23,22) translated 260605 (80%) constraints
34.24/24.43	c (23,23) translated 293181 (90%) constraints
34.92/25.07	c (24,24) translated 325756 (100%) constraints
34.92/25.07	c (24,24) CSP to CSPinCNF End
34.92/25.08	c (24,24) CSP: 51 int (0 aux), 22272 bool (22272 aux), 325756 ctr, max domain size 256
34.92/25.08	c (24,24) Heap : 2479 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
34.92/25.08	c (24,24) CSPinCNF Propagation Begin
38.77/27.14	c (26,26) 0 values, 1009 unsatisfiable literals, and 925 valid clauses are removed
38.77/27.14	c (26,26) CSPinCNF Propagation End
38.77/27.15	c (26,26) CSP: 51 int (0 aux), 22272 bool (22272 aux), 324831 ctr, max domain size 256
38.77/27.15	c (26,26) Heap : 4356 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
39.00/27.31	c (26,26) Hybrid: #OE=22323, #LE=0
39.00/27.31	c (26,26) Simplify CSPinCNF Begin
40.05/27.91	c (27,27) Simplify CSPinCNF End
40.05/27.92	c (27,27) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
40.05/27.92	c (27,27) Heap : 4687 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.05/27.92	c (27,27) Calculate Precise Domain Begin
40.05/27.92	c (27,27) 0 values are removed by re-calculation
40.05/27.92	c (27,27) Calculate Precise Domain End
40.05/27.92	c (27,27) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
40.05/27.92	c (27,27) Heap : 4687 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.05/27.92	c (27,27) CSPinCNF to SatSolver Begin
46.55/31.04	c (30,29) 32739 (10 %) CSP clauses are encoded (0 SAT variables, 691801 SAT clauses)
46.89/31.35	c (30,30) 65477 (20 %) CSP clauses are encoded (0 SAT variables, 724539 SAT clauses)
47.20/31.64	c (31,30) 98215 (30 %) CSP clauses are encoded (0 SAT variables, 757277 SAT clauses)
47.51/31.94	c (31,30) 130953 (40 %) CSP clauses are encoded (0 SAT variables, 790015 SAT clauses)
47.81/32.23	c (31,31) 163691 (50 %) CSP clauses are encoded (0 SAT variables, 822753 SAT clauses)
48.11/32.52	c (31,31) 196429 (60 %) CSP clauses are encoded (0 SAT variables, 855491 SAT clauses)
48.41/32.83	c (32,31) 229167 (70 %) CSP clauses are encoded (0 SAT variables, 888229 SAT clauses)
48.71/33.12	c (32,32) 261905 (80 %) CSP clauses are encoded (0 SAT variables, 920967 SAT clauses)
49.00/33.41	c (32,32) 294643 (90 %) CSP clauses are encoded (0 SAT variables, 953705 SAT clauses)
49.31/33.70	c (33,32) 327381 (100 %) CSP clauses are encoded (0 SAT variables, 986443 SAT clauses)
49.31/33.70	c (33,32) CSPinCNF to SatSolver End
49.31/33.70	c (33,32) Heap : 3928 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
49.31/33.70	c (33,32) 37784 bool, 986444 clause
49.31/33.70	c (33,32) Export Begin
49.31/33.79	c (33,32) Export to HOME/scop-24355-serial-file.bin
49.31/33.79	c (33,32) Export End
49.31/33.79	c (33,32) Export File Size: 0.01 MB
49.31/33.79	c (33,32) 0,0,24,26,27,27,33,STOP-AFTER(DIMACS)
49.31/33.79	c END-Prog: Sat Sep 14 05:32:20 CEST 2019
49.51/33.84	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24355-serial-file.bin
50.05/34.57	c (0,0) Read Serial File Begin
50.05/34.57	c (0,0) HOME/scop-24355-serial-file.bin
50.32/34.79	c (0,0) Read Serial File End
50.47/34.80	
50.47/34.80	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
50.47/34.80	(Solving Process)
50.47/34.80	
50.47/34.82	c BEGIN-Prog: Sat Sep 14 05:32:21 CEST 2019
50.47/34.82	c PID: 24381
50.47/34.82	c IP: 172.20.3.117
50.47/34.82	c HOST: node117.alineos.net
50.47/34.83	c (0,0) SatSolver.solve Begin
50.47/34.83	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392569-1568431948.xml-scop-24358.cnf
50.47/34.85	c (0,0) c
50.47/34.85	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)
50.47/34.85	c (0,0) c
50.47/34.85	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
50.47/34.85	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
50.47/34.86	c (0,0) c ========================================[ Problem Statistics ]===========================================
50.47/34.86	c (0,0) c |                                                                                                       |
50.95/35.16	c (0,0) c |  Number of variables:         37784                                                                   |
50.95/35.16	c (0,0) c |  Number of clauses:          986444                                                                   |
50.95/35.16	c (0,0) c |  Parse time:                   0.28 s                                                                 |
50.95/35.16	c (0,0) c |                                                                                                       |
53.45/37.61	c (3,0) c |  Simplification time:          2.42 s                                                                 |
53.45/37.61	c (3,0) c |                                                                                                       |
53.45/37.61	c (3,0) c |  Generating clones                                                                                    |
53.65/37.84	c (3,0) c |  all clones generated. Memory =   557.64Mb.                                                           |
53.65/37.84	c (3,0) c ========================================================================================================|
53.65/37.84	c (3,0) c
53.65/37.84	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
53.65/37.84	c (3,0) c
53.65/37.84	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.65/37.84	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.65/37.84	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.65/37.84	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
53.65/37.84	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
53.65/37.84	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
53.65/37.84	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
53.65/37.84	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
53.65/37.84	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
53.65/37.84	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
53.65/37.84	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
53.65/37.84	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
53.65/37.84	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
53.65/37.84	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
53.65/37.84	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
53.65/37.84	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
53.65/37.84	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
53.65/37.84	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
53.65/37.84	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c real time : 3.32005 s
54.93/38.17	c (3,0) c cpu time  : 4.19641 s
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c | Conflicts     |            1342 |         17 |        239 |        162 |        176 |        196 |        207 |        186 |        159 |
54.93/38.17	c (3,0) c | Decisions     |            2780 |         72 |        520 |        374 |        274 |        422 |        375 |        504 |        239 |
54.93/38.17	c (3,0) c | Propagations  |         1681662 |      69506 |     233501 |     208394 |     220897 |     215505 |     230460 |     225846 |     277553 |
54.93/38.17	c (3,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.93/38.17	c (3,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.93/38.17	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | PropBinClauses|         1493013 |      48414 |     217071 |     186782 |     189922 |     192525 |     209414 |     222215 |     226670 |
54.93/38.17	c (3,0) c | PropPreBlocker|        28434195 |    1652640 |    4055026 |    3515775 |    3221922 |    3983948 |    3962726 |    3994055 |    4048103 |
54.93/38.17	c (3,0) c | PropNotBlocker|        10638405 |     760002 |    1354925 |    1327234 |    1303280 |    1497974 |    1504367 |    1435999 |    1454624 |
54.93/38.17	c (3,0) c | LitFullScans  |        42860999 |    2520838 |    6005536 |    5266682 |    5026327 |    6004346 |    6012090 |    6001203 |    6023977 |
54.93/38.17	c (3,0) c | LitScanFracts |             926 |          0 |         86 |          0 |          0 |         40 |         25 |        733 |         42 |
54.93/38.17	c (3,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.93/38.17	c (3,0) c | Periods       |               5 |          0 |          1 |          0 |          0 |          1 |          1 |          1 |          1 |
54.93/38.17	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
54.93/38.17	c (3,0) c | Avg_Trail     |                 |      13085 |       8213 |       4656 |       4293 |       5784 |       4447 |       4233 |       5798 |
54.93/38.17	c (3,0) c | Avg_DL        |                 |         11 |         78 |         30 |         14 |         32 |         21 |         34 |         17 |
54.93/38.17	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c | Exported      |              82 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
54.93/38.17	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.93/38.17	c (3,0) c | Binaries      |                 |          0 |          0 |          4 |          0 |          1 |          2 |          4 |          0 |
54.93/38.17	c (3,0) c | Glues         |                 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c | Orig_Seen     |             0 % |        933 |       5191 |       6398 |       5674 |       5469 |       5003 |       6330 |       4816 |
54.93/38.17	c (3,0) c | Diff Orig seen|                 |      X     |       4258 |       5465 |       4741 |       4536 |       4070 |       5397 |       3883 |
54.93/38.17	c (3,0) c | Hamming       |            18 % |      X     |       7546 |       6612 |       7363 |       6858 |       7068 |       6728 |       6652 |
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c | RunningTime   |                 |    0.2 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|
54.93/38.17	c (3,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.93/38.17	c (3,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%|
54.93/38.17	c (3,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.93/38.17	c (3,0) c | SolvingTime   |                 |    0.2     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |
54.93/38.17	c (3,0) c | PropagationTim|                 |    0.2  99%|    0.3  95%|    0.3  97%|    0.3  96%|    0.3  97%|    0.3  96%|    0.3  96%|    0.3  97%|
54.93/38.17	c (3,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   3%|    0.0   2%|    0.0   3%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   2%|
54.93/38.17	c (3,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%|
54.93/38.17	c (3,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.93/38.17	c (3,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.93/38.17	c (3,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.93/38.17	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c
54.93/38.17	c (3,0) c Threads : 8
54.93/38.17	c (3,0) c Winner : 0
54.93/38.17	c (3,0) c Conflicts_0 : 17
54.93/38.17	c (3,0) c Conflicts_1 : 239
54.93/38.17	c (3,0) c Conflicts_2 : 162
54.93/38.17	c (3,0) c Conflicts_3 : 176
54.93/38.17	c (3,0) c Conflicts_4 : 196
54.93/38.17	c (3,0) c Conflicts_5 : 207
54.93/38.17	c (3,0) c Conflicts_6 : 186
54.93/38.17	c (3,0) c Conflicts_7 : 159
54.93/38.17	c (3,0) c Conflicts_total : 1342
54.93/38.17	c (3,0) c Conflicts_winner : 17
54.93/38.17	c (3,0) c Decisions_0 : 72
54.93/38.17	c (3,0) c Decisions_1 : 520
54.93/38.17	c (3,0) c Decisions_2 : 374
54.93/38.17	c (3,0) c Decisions_3 : 274
54.93/38.17	c (3,0) c Decisions_4 : 422
54.93/38.17	c (3,0) c Decisions_5 : 375
54.93/38.18	c (3,0) c Decisions_6 : 504
54.93/38.18	c (3,0) c Decisions_7 : 239
54.93/38.18	c (3,0) c Decisions_total : 2780
54.93/38.18	c (3,0) c Decisions_winner : 72
54.93/38.18	c (3,0) c Propagations_0 : 69506
54.93/38.18	c (3,0) c Propagations_1 : 233501
54.93/38.18	c (3,0) c Propagations_2 : 208394
54.93/38.18	c (3,0) c Propagations_3 : 220897
54.93/38.18	c (3,0) c Propagations_4 : 215505
54.93/38.18	c (3,0) c Propagations_5 : 230460
54.93/38.18	c (3,0) c Propagations_6 : 225846
54.93/38.18	c (3,0) c Propagations_7 : 277553
54.93/38.18	c (3,0) c Propagations_total : 1681662
54.93/38.18	c (3,0) c Propagations_winner : 69506
54.93/38.18	c (3,0) c ReduceDBs_0 : 0
54.93/38.18	c (3,0) c ReduceDBs_1 : 0
54.93/38.18	c (3,0) c ReduceDBs_2 : 0
54.93/38.18	c (3,0) c ReduceDBs_3 : 0
54.93/38.18	c (3,0) c ReduceDBs_4 : 0
54.93/38.18	c (3,0) c ReduceDBs_5 : 0
54.93/38.18	c (3,0) c ReduceDBs_6 : 0
54.93/38.18	c (3,0) c ReduceDBs_7 : 0
54.93/38.18	c (3,0) c ReduceDBs_total : 0
54.93/38.18	c (3,0) c ReduceDBs_winner : 0
54.93/38.18	c (3,0) c SimpDBs_0 : 1
54.93/38.18	c (3,0) c SimpDBs_1 : 1
54.93/38.18	c (3,0) c SimpDBs_2 : 1
54.93/38.18	c (3,0) c SimpDBs_3 : 1
54.93/38.18	c (3,0) c SimpDBs_4 : 1
54.93/38.18	c (3,0) c SimpDBs_5 : 1
54.93/38.18	c (3,0) c SimpDBs_6 : 1
54.93/38.18	c (3,0) c SimpDBs_7 : 1
54.93/38.18	c (3,0) c SimpDBs_total : 8
54.93/38.18	c (3,0) c SimpDBs_winner : 1
54.93/38.18	c (3,0) c Restarts_0 : 1
54.93/38.18	c (3,0) c Restarts_1 : 1
54.93/38.18	c (3,0) c Restarts_2 : 1
54.93/38.18	c (3,0) c Restarts_3 : 1
54.93/38.18	c (3,0) c Restarts_4 : 1
54.93/38.18	c (3,0) c Restarts_5 : 1
54.93/38.18	c (3,0) c Restarts_6 : 1
54.93/38.18	c (3,0) c Restarts_7 : 1
54.93/38.18	c (3,0) c Restarts_total : 8
54.93/38.18	c (3,0) c Restarts_winner : 1
54.93/38.18	c (3,0) c ForcedImports_0 : 0
54.93/38.18	c (3,0) c ForcedImports_1 : 0
54.93/38.18	c (3,0) c ForcedImports_2 : 0
54.93/38.18	c (3,0) c ForcedImports_3 : 0
54.93/38.18	c (3,0) c ForcedImports_4 : 0
54.93/38.18	c (3,0) c ForcedImports_5 : 0
54.93/38.18	c (3,0) c ForcedImports_6 : 0
54.93/38.18	c (3,0) c ForcedImports_7 : 0
54.93/38.18	c (3,0) c ForcedImports_total : 0
54.93/38.18	c (3,0) c ForcedImports_winner : 0
54.93/38.18	c (3,0) c PropsBinClauses_0 : 48414
54.93/38.18	c (3,0) c PropsBinClauses_1 : 217071
54.93/38.18	c (3,0) c PropsBinClauses_2 : 186782
54.93/38.18	c (3,0) c PropsBinClauses_3 : 189922
54.93/38.18	c (3,0) c PropsBinClauses_4 : 192525
54.93/38.18	c (3,0) c PropsBinClauses_5 : 209414
54.93/38.18	c (3,0) c PropsBinClauses_6 : 222215
54.93/38.18	c (3,0) c PropsBinClauses_7 : 226670
54.93/38.18	c (3,0) c PropsBinClauses_total : 1493013
54.93/38.18	c (3,0) c PropsBinClauses_winner : 48414
54.93/38.18	c (3,0) c PropsPreBlocker_0 : 1652640
54.93/38.18	c (3,0) c PropsPreBlocker_1 : 4055026
54.93/38.18	c (3,0) c PropsPreBlocker_2 : 3515775
54.93/38.18	c (3,0) c PropsPreBlocker_3 : 3221922
54.93/38.18	c (3,0) c PropsPreBlocker_4 : 3983948
54.93/38.18	c (3,0) c PropsPreBlocker_5 : 3962726
54.93/38.18	c (3,0) c PropsPreBlocker_6 : 3994055
54.93/38.18	c (3,0) c PropsPreBlocker_7 : 4048103
54.93/38.18	c (3,0) c PropsPreBlocker_total : 28434195
54.93/38.18	c (3,0) c PropsPreBlocker_winner : 1652640
54.93/38.18	c (3,0) c PropsNotBlocker_0 : 760002
54.93/38.18	c (3,0) c PropsNotBlocker_1 : 1354925
54.93/38.18	c (3,0) c PropsNotBlocker_2 : 1327234
54.93/38.18	c (3,0) c PropsNotBlocker_3 : 1303280
54.93/38.18	c (3,0) c PropsNotBlocker_4 : 1497974
54.93/38.18	c (3,0) c PropsNotBlocker_5 : 1504367
54.93/38.18	c (3,0) c PropsNotBlocker_6 : 1435999
54.93/38.18	c (3,0) c PropsNotBlocker_7 : 1454624
54.93/38.18	c (3,0) c PropsNotBlocker_total : 10638405
54.93/38.18	c (3,0) c PropsNotBlocker_winner : 760002
54.93/38.18	c (3,0) c PropsLitFullScans_0 : 2520838
54.93/38.18	c (3,0) c PropsLitFullScans_1 : 6005536
54.93/38.18	c (3,0) c PropsLitFullScans_2 : 5266682
54.93/38.18	c (3,0) c PropsLitFullScans_3 : 5026327
54.93/38.18	c (3,0) c PropsLitFullScans_4 : 6004346
54.93/38.18	c (3,0) c PropsLitFullScans_5 : 6012090
54.93/38.18	c (3,0) c PropsLitFullScans_6 : 6001203
54.93/38.18	c (3,0) c PropsLitFullScans_7 : 6023977
54.93/38.18	c (3,0) c PropsLitFullScans_total : 42860999
54.93/38.18	c (3,0) c PropsLitFullScans_winner : 2520838
54.93/38.18	c (3,0) c LitScanFractions_0 : 0
54.93/38.18	c (3,0) c LitScanFractions_1 : 86
54.93/38.18	c (3,0) c LitScanFractions_2 : 0
54.93/38.18	c (3,0) c LitScanFractions_3 : 0
54.93/38.18	c (3,0) c LitScanFractions_4 : 40
54.93/38.18	c (3,0) c LitScanFractions_5 : 25
54.93/38.18	c (3,0) c LitScanFractions_6 : 733
54.93/38.18	c (3,0) c LitScanFractions_7 : 42
54.93/38.18	c (3,0) c LitScanFractions_total : 926
54.93/38.18	c (3,0) c LitScanFractions_winner : 0
54.93/38.18	c (3,0) c DecisionLevel0_0 : 1
54.93/38.18	c (3,0) c DecisionLevel0_1 : 1
54.93/38.18	c (3,0) c DecisionLevel0_2 : 1
54.93/38.18	c (3,0) c DecisionLevel0_3 : 1
54.93/38.18	c (3,0) c DecisionLevel0_4 : 1
54.93/38.18	c (3,0) c DecisionLevel0_5 : 1
54.93/38.18	c (3,0) c DecisionLevel0_6 : 1
54.93/38.18	c (3,0) c DecisionLevel0_7 : 1
54.93/38.18	c (3,0) c DecisionLevel0_total : 8
54.93/38.18	c (3,0) c DecisionLevel0_winner : 1
54.93/38.18	c (3,0) c Periods_0 : 0
54.93/38.18	c (3,0) c Periods_1 : 1
54.93/38.18	c (3,0) c Periods_2 : 0
54.93/38.18	c (3,0) c Periods_3 : 0
54.93/38.18	c (3,0) c Periods_4 : 1
54.93/38.18	c (3,0) c Periods_5 : 1
54.93/38.18	c (3,0) c Periods_6 : 1
54.93/38.18	c (3,0) c Periods_7 : 1
54.93/38.18	c (3,0) c Periods_total : 5
54.93/38.18	c (3,0) c Periods_winner : 0
54.93/38.18	c (3,0) c Margin_0 : 20
54.93/38.18	c (3,0) c Margin_1 : 20
54.93/38.18	c (3,0) c Margin_2 : 20
54.93/38.18	c (3,0) c Margin_3 : 20
54.93/38.18	c (3,0) c Margin_4 : 20
54.93/38.18	c (3,0) c Margin_5 : 20
54.93/38.18	c (3,0) c Margin_6 : 20
54.93/38.18	c (3,0) c Margin_7 : 20
54.93/38.18	c (3,0) c Margin_total : 160
54.93/38.18	c (3,0) c Margin_winner : 20
54.93/38.18	c (3,0) c Exported_0 : 2
54.93/38.18	c (3,0) c Exported_1 : 5
54.93/38.18	c (3,0) c Exported_2 : 16
54.93/38.18	c (3,0) c Exported_3 : 7
54.93/38.18	c (3,0) c Exported_4 : 13
54.93/38.18	c (3,0) c Exported_5 : 14
54.93/38.18	c (3,0) c Exported_6 : 10
54.93/38.18	c (3,0) c Exported_7 : 15
54.93/38.18	c (3,0) c Exported_total : 82
54.93/38.18	c (3,0) c Exported_winner : 2
54.93/38.18	c (3,0) c Imported_0 : 0
54.93/38.18	c (3,0) c Imported_1 : 0
54.93/38.18	c (3,0) c Imported_2 : 0
54.93/38.18	c (3,0) c Imported_3 : 0
54.93/38.18	c (3,0) c Imported_4 : 0
54.93/38.18	c (3,0) c Imported_5 : 0
54.93/38.18	c (3,0) c Imported_6 : 0
54.93/38.18	c (3,0) c Imported_7 : 0
54.93/38.18	c (3,0) c Imported_total : 0
54.93/38.18	c (3,0) c Imported_winner : 0
54.93/38.18	c (3,0) c Good_0 : 0
54.93/38.18	c (3,0) c Good_1 : 0
54.93/38.18	c (3,0) c Good_2 : 0
54.93/38.18	c (3,0) c Good_3 : 0
54.93/38.18	c (3,0) c Good_4 : 0
54.93/38.18	c (3,0) c Good_5 : 0
54.93/38.18	c (3,0) c Good_6 : 0
54.93/38.18	c (3,0) c Good_7 : 0
54.93/38.18	c (3,0) c Good_total : 0
54.93/38.18	c (3,0) c Good_winner : 0
54.93/38.18	c (3,0) c Purge_0 : 0
54.93/38.18	c (3,0) c Purge_1 : 0
54.93/38.18	c (3,0) c Purge_2 : 0
54.93/38.18	c (3,0) c Purge_3 : 0
54.93/38.18	c (3,0) c Purge_4 : 0
54.93/38.18	c (3,0) c Purge_5 : 0
54.93/38.18	c (3,0) c Purge_6 : 0
54.93/38.18	c (3,0) c Purge_7 : 0
54.93/38.18	c (3,0) c Purge_total : 0
54.93/38.18	c (3,0) c Purge_winner : 0
54.93/38.18	c (3,0) c Promoted_0 : 0
54.93/38.18	c (3,0) c Promoted_1 : 0
54.93/38.18	c (3,0) c Promoted_2 : 0
54.93/38.18	c (3,0) c Promoted_3 : 0
54.93/38.18	c (3,0) c Promoted_4 : 0
54.93/38.18	c (3,0) c Promoted_5 : 0
54.93/38.18	c (3,0) c Promoted_6 : 0
54.93/38.18	c (3,0) c Promoted_7 : 0
54.93/38.18	c (3,0) c Promoted_total : 0
54.93/38.18	c (3,0) c Promoted_winner : 0
54.93/38.18	c (3,0) c Remove_Imp_0 : 0
54.93/38.18	c (3,0) c Remove_Imp_1 : 0
54.93/38.18	c (3,0) c Remove_Imp_2 : 0
54.93/38.18	c (3,0) c Remove_Imp_3 : 0
54.93/38.18	c (3,0) c Remove_Imp_4 : 0
54.93/38.18	c (3,0) c Remove_Imp_5 : 0
54.93/38.18	c (3,0) c Remove_Imp_6 : 0
54.93/38.18	c (3,0) c Remove_Imp_7 : 0
54.93/38.18	c (3,0) c Remove_Imp_total : 0
54.93/38.18	c (3,0) c Remove_Imp_winner : 0
54.93/38.18	c (3,0) c Blocked_Reuse_0 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_1 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_2 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_3 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_4 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_5 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_6 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_7 : 0
54.93/38.18	c (3,0) c Blocked_Reuse_total : 0
54.93/38.18	c (3,0) c Blocked_Reuse_winner : 0
54.93/38.18	c (3,0) c Unaries_0 : 0
54.93/38.18	c (3,0) c Unaries_1 : 0
54.93/38.18	c (3,0) c Unaries_2 : 0
54.93/38.18	c (3,0) c Unaries_3 : 0
54.93/38.18	c (3,0) c Unaries_4 : 0
54.93/38.18	c (3,0) c Unaries_5 : 0
54.93/38.18	c (3,0) c Unaries_6 : 0
54.93/38.18	c (3,0) c Unaries_7 : 0
54.93/38.18	c (3,0) c Unaries_total : 0
54.93/38.18	c (3,0) c Unaries_winner : 0
54.93/38.18	c (3,0) c Binaries_0 : 0
54.93/38.18	c (3,0) c Binaries_1 : 0
54.93/38.18	c (3,0) c Binaries_2 : 4
54.93/38.18	c (3,0) c Binaries_3 : 0
54.93/38.18	c (3,0) c Binaries_4 : 1
54.93/38.18	c (3,0) c Binaries_5 : 2
54.93/38.18	c (3,0) c Binaries_6 : 4
54.93/38.18	c (3,0) c Binaries_7 : 0
54.93/38.18	c (3,0) c Binaries_total : 11
54.93/38.18	c (3,0) c Binaries_winner : 0
54.93/38.18	c (3,0) c Glues_0 : 2
54.93/38.18	c (3,0) c Glues_1 : 5
54.93/38.18	c (3,0) c Glues_2 : 16
54.93/38.18	c (3,0) c Glues_3 : 7
54.93/38.18	c (3,0) c Glues_4 : 13
54.93/38.18	c (3,0) c Glues_5 : 14
54.93/38.18	c (3,0) c Glues_6 : 10
54.93/38.18	c (3,0) c Glues_7 : 15
54.93/38.18	c (3,0) c Glues_total : 82
54.93/38.18	c (3,0) c Glues_winner : 2
54.93/38.18	c (3,0) c RunningTime_0 : 0.214937
54.93/38.18	c (3,0) c RunningTime_1 : 0.284945
54.93/38.18	c (3,0) c RunningTime_2 : 0.288599
54.93/38.18	c (3,0) c RunningTime_3 : 0.289287
54.93/38.18	c (3,0) c RunningTime_4 : 0.311163
54.93/38.18	c (3,0) c RunningTime_5 : 0.311714
54.93/38.18	c (3,0) c RunningTime_6 : 0.327326
54.93/38.18	c (3,0) c RunningTime_7 : 0.303384
54.93/38.18	c (3,0) c RunningTime_total : 2.331356
54.93/38.18	c (3,0) c RunningTime_winner : 0.214937
54.93/38.18	c (3,0) c WaitingTime_0 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_1 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_2 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_3 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_4 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_5 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_6 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_7 : 0.000000
54.93/38.18	c (3,0) c WaitingTime_total : 0.000000
54.93/38.18	c (3,0) c WaitingTime_winner : 0.000000
54.93/38.18	c (3,0) c ExchangingTime_0 : 0.000006
54.93/38.18	c (3,0) c ExchangingTime_1 : 0.000021
54.93/38.18	c (3,0) c ExchangingTime_2 : 0.000037
54.93/38.18	c (3,0) c ExchangingTime_3 : 0.000027
54.93/38.18	c (3,0) c ExchangingTime_4 : 0.000044
54.93/38.18	c (3,0) c ExchangingTime_5 : 0.000039
54.93/38.18	c (3,0) c ExchangingTime_6 : 0.000043
54.93/38.18	c (3,0) c ExchangingTime_7 : 0.000040
54.93/38.18	c (3,0) c ExchangingTime_total : 0.000256
54.93/38.18	c (3,0) c ExchangingTime_winner : 0.000006
54.93/38.18	c (3,0) c PeriodProcTime_0 : 0.000000
54.93/38.18	c (3,0) c PeriodProcTime_1 : 0.000011
54.93/38.18	c (3,0) c PeriodProcTime_2 : 0.000000
54.93/38.18	c (3,0) c PeriodProcTime_3 : 0.000000
54.93/38.18	c (3,0) c PeriodProcTime_4 : 0.000010
54.93/38.18	c (3,0) c PeriodProcTime_5 : 0.000004
54.93/38.18	c (3,0) c PeriodProcTime_6 : 0.000010
54.93/38.19	c (3,0) c PeriodProcTime_7 : 0.000010
54.93/38.19	c (3,0) c PeriodProcTime_total : 0.000045
54.93/38.19	c (3,0) c PeriodProcTime_winner : 0.000000
54.93/38.19	c (3,0) c SolvingTime_0 : 0.214943
54.93/38.19	c (3,0) c SolvingTime_1 : 0.284977
54.93/38.19	c (3,0) c SolvingTime_2 : 0.288636
54.93/38.19	c (3,0) c SolvingTime_3 : 0.289313
54.93/38.19	c (3,0) c SolvingTime_4 : 0.311217
54.93/38.19	c (3,0) c SolvingTime_5 : 0.311757
54.93/38.19	c (3,0) c SolvingTime_6 : 0.327379
54.93/38.19	c (3,0) c SolvingTime_7 : 0.303434
54.93/38.19	c (3,0) c SolvingTime_total : 2.331657
54.93/38.19	c (3,0) c SolvingTime_winner : 0.214943
54.93/38.19	c (3,0) c PropagationTime_0 : 0.212881
54.93/38.19	c (3,0) c PropagationTime_1 : 0.271784
54.93/38.19	c (3,0) c PropagationTime_2 : 0.280136
54.93/38.19	c (3,0) c PropagationTime_3 : 0.277863
54.93/38.19	c (3,0) c PropagationTime_4 : 0.301199
54.93/38.19	c (3,0) c PropagationTime_5 : 0.300681
54.93/38.19	c (3,0) c PropagationTime_6 : 0.313825
54.93/38.19	c (3,0) c PropagationTime_7 : 0.294591
54.93/38.19	c (3,0) c PropagationTime_total : 2.252960
54.93/38.19	c (3,0) c PropagationTime_winner : 0.212881
54.93/38.19	c (3,0) c AnalysisTime_0 : 0.000641
54.93/38.19	c (3,0) c AnalysisTime_1 : 0.009768
54.93/38.19	c (3,0) c AnalysisTime_2 : 0.005662
54.93/38.19	c (3,0) c AnalysisTime_3 : 0.008291
54.93/38.19	c (3,0) c AnalysisTime_4 : 0.006923
54.93/38.19	c (3,0) c AnalysisTime_5 : 0.007048
54.93/38.19	c (3,0) c AnalysisTime_6 : 0.009508
54.93/38.19	c (3,0) c AnalysisTime_7 : 0.005252
54.93/38.19	c (3,0) c AnalysisTime_total : 0.053094
54.93/38.19	c (3,0) c AnalysisTime_winner : 0.000641
54.93/38.19	c (3,0) c ReductionTime_0 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_1 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_2 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_3 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_4 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_5 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_6 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_7 : 0.000000
54.93/38.19	c (3,0) c ReductionTime_total : 0.000000
54.93/38.19	c (3,0) c ReductionTime_winner : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_0 : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_1 : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_2 : 0.000001
54.93/38.19	c (3,0) c SimplifyTime_3 : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_4 : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_5 : 0.000001
54.93/38.19	c (3,0) c SimplifyTime_6 : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_7 : 0.000000
54.93/38.19	c (3,0) c SimplifyTime_total : 0.000002
54.93/38.19	c (3,0) c SimplifyTime_winner : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_0 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_1 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_2 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_3 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_4 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_5 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_6 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_7 : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_total : 0.000000
54.93/38.19	c (3,0) c UsedRateTime_winner : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_0 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_1 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_2 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_3 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_4 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_5 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_6 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_7 : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_total : 0.000000
54.93/38.19	c (3,0) c OverlapRateTime_winner : 0.000000
54.93/38.19	c (3,0) c
54.93/38.19	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.93/38.19	c (3,0) c
54.93/38.19	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.19	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.93/38.19	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.19	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
54.93/38.19	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
54.93/38.19	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
54.93/38.19	c (3,0) c | Initial random_seed   |  130186073 | 1168358321 | 1957192351 | 1804416624 |  820278482 | 1753503958 |  757112100 | 1980182143 |
54.93/38.19	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
54.93/38.19	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
54.93/38.19	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
54.93/38.19	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.93/38.19	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
54.93/38.19	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
54.93/38.19	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.93/38.19	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
54.93/38.19	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.93/38.19	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
54.93/38.19	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
54.93/38.19	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.93/38.19	c (3,0) 
54.93/38.19	c (3,0) s SATISFIABLE
50.83/38.24	c (3,0) SatSolver.solve End
50.83/38.24	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.83/38.24	c (3,0) Show results Begin
55.52/38.34	c (3,0) x[0] = 0
55.52/38.34	c (3,0) x[1] = 39
55.52/38.34	c (3,0) x[2] = 93
55.52/38.34	c (3,0) x[3] = 100
55.52/38.34	c (3,0) x[4] = 179
55.52/38.34	c (3,0) x[5] = 214
55.52/38.34	c (3,0) x[6] = 43
55.52/38.34	c (3,0) x[7] = 116
55.52/38.34	c (3,0) x[8] = 154
55.52/38.34	c (3,0) x[9] = 167
55.52/38.34	c (3,0) x[10] = 200
55.52/38.34	c (3,0) x[11] = 213
55.52/38.34	c (3,0) x[12] = 247
55.52/38.34	c (3,0) x[13] = 249
55.52/38.34	c (3,0) x[14] = 59
55.52/38.34	c (3,0) x[15] = 75
55.52/38.34	c (3,0) x[16] = 215
55.52/38.34	c (3,0) x[17] = 228
55.52/38.34	c (3,0) x[18] = 254
55.52/38.34	c (3,0) x[19] = 48
55.52/38.34	c (3,0) x[20] = 125
55.52/38.34	c (3,0) x[21] = 135
55.52/38.34	c (3,0) x[22] = 105
55.52/38.34	c (3,0) x[23] = 124
55.52/38.34	c (3,0) x[24] = 255
55.52/38.34	c (3,0) x[25] = 237
55.52/38.34	c (3,0) x[26] = 203
55.52/38.34	c (3,0) x[27] = 234
55.52/38.34	c (3,0) x[28] = 223
55.52/38.34	c (3,0) x[29] = 138
55.52/38.34	c (3,0) x[30] = 104
55.52/38.34	c (3,0) x[31] = 112
55.52/38.34	c (3,0) x[32] = 118
55.52/38.34	c (3,0) x[33] = 208
55.52/38.34	c (3,0) x[34] = 88
55.52/38.34	c (3,0) x[35] = 239
55.52/38.34	c (3,0) x[36] = 82
55.52/38.34	c (3,0) x[37] = 99
55.52/38.34	c (3,0) x[38] = 172
55.52/38.34	c (3,0) x[39] = 225
55.52/38.34	c (3,0) x[40] = 246
55.52/38.34	c (3,0) x[41] = 227
55.52/38.34	c (3,0) x[42] = 76
55.52/38.34	c (3,0) x[43] = 35
55.52/38.34	c (3,0) x[44] = 6
55.52/38.34	c (3,0) x[45] = 47
55.52/38.34	c (3,0) x[46] = 69
55.52/38.34	c (3,0) x[47] = 77
55.52/38.34	c (3,0) x[48] = 197
55.52/38.34	c (3,0) x[49] = 207
55.52/38.34	c (3,0) x[50] = 27
55.52/38.34	s SATISFIABLE
55.52/38.34	v <instantiation>
55.52/38.34	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50]</list>
55.52/38.34	v     <values>0 39 93 100 179 214 43 116 154 167 200 213 247 249 59 75 215 228 254 48 125 135 105 124 255 237 203 234 223 138 104 112 118 208 88 239 82 99 172 225 246 227 76 35 6 47 69 77 197 207 27</values>
55.52/38.34	v </instantiation>
55.52/38.34	c (3,0) Show results End
55.52/38.34	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
55.52/38.34	c (3,0) 3,3,STOP-AFTER(ALL)
55.52/38.34	c END-Prog: Sat Sep 14 05:32:24 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392569-1568431948/watcher-4392569-1568431948 -o /tmp/evaluation-result-4392569-1568431948/solver-4392569-1568431948 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --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-4392569-1568431948.xml 

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

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


[startup+0.100172 s]*
/proc/loadavg: 4.92 7.49 7.62 2/212 24377
/proc/meminfo: memFree=30840580/32770624 swapFree=66947720/67108860
[pid=24355] ppid=24352 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24355/stat : 24355 (scop.sh) S 24352 24355 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419136744 115843072 349 33554432000 4194304 5098028 140727219037552 140727219034808 140115735843452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25051136 140727219041060 140727219041388 140727219041388 140727219044301 0
/proc/24355/statm: 28282 349 296 221 0 87 0
[pid=24358] ppid=24355 vsize=27314120 memory=107492 CPUtime=0.1 cores=0-7
/proc/24358/stat : 24358 (java) S 24355 24355 15751 0 -1 1077944320 6425 0 0 0 8 2 0 0 20 0 20 0 419136744 27969658880 26873 33554432000 4194304 4196468 140727137325168 140727137307712 140205962948343 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
/proc/24358/statm: 6828530 26873 2793 1 0 6790935 0
[pid=24358/tid=24359] ppid=24355 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24355 24355 15751 0 -1 4202560 4537 0 0 0 7 2 0 0 20 0 20 0 419136744 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205934774672 140205955185470 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24360] ppid=24355 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205967190416 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24361] ppid=24355 vsize=27314120 memory=140115800397440 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205385218320 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24362] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205384166032 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24363] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205383113232 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24364] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205382060944 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24365] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205381008144 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24366] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205379955856 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24367] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205378903056 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24368] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136748 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205088467056 140205962959490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24369] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24355 24355 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419136749 27969658880 26873 33554432000 4194304 4196468 140727137325168 140203838661408 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24370] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136749 27969658880 26873 33554432000 4194304 4196468 140727137325168 140203570226288 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24371] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 26873 33554432000 4194304 4196468 140727137325168 140203195717712 140205962966939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24372] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24355 24355 15751 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205087414896 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24373] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205086362096 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24374] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205085309808 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24375] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24355 24355 15751 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205084257008 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24376] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136752 27969658880 26873 33554432000 4194304 4196468 140727137325168 140202697812320 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24377] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136752 27969658880 26873 33554432000 4194304 4196468 140727137325168 140205083203888 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108888 KiB

[startup+0.210673 s]*
/proc/loadavg: 4.92 7.49 7.62 3/212 24377
/proc/meminfo: memFree=30822116/32770624 swapFree=66947720/67108860
[pid=24355] ppid=24352 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24355/stat : 24355 (scop.sh) S 24352 24355 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419136744 115843072 349 33554432000 4194304 5098028 140727219037552 140727219034808 140115735843452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25051136 140727219041060 140727219041388 140727219041388 140727219044301 0
/proc/24355/statm: 28282 349 296 221 0 87 0
[pid=24358] ppid=24355 vsize=27314120 memory=124200 CPUtime=0.25 cores=0-7
/proc/24358/stat : 24358 (java) S 24355 24355 15751 0 -1 1077944320 11310 0 0 0 21 4 0 0 20 0 20 0 419136744 27969658880 31050 33554432000 4194304 4196468 140727137325168 140727137307712 140205962948343 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
/proc/24358/statm: 6828530 31050 2889 1 0 6790935 0
[pid=24358/tid=24359] ppid=24355 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24355 24355 15751 0 -1 4202560 9024 0 0 0 17 3 0 0 20 0 20 0 419136744 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205934769264 140205944322112 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24360] ppid=24355 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205967190416 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24361] ppid=24355 vsize=27314120 memory=140115803491222 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205385218320 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24362] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205384166032 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24363] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205383113232 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24364] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205382060944 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24365] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205381008144 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24366] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205379955856 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24367] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205378903056 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24368] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136748 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205088467056 140205962959490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24369] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24355 24355 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419136749 27969658880 31050 33554432000 4194304 4196468 140727137325168 140203838661408 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24370] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136749 27969658880 31050 33554432000 4194304 4196468 140727137325168 140203570226288 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24371] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 31050 33554432000 4194304 4196468 140727137325168 140203195717712 140205962966939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24372] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24355 24355 15751 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205087414896 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24373] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24355 24355 15751 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205086362096 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24374] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24355 24355 15751 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205085309808 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24375] ppid=24355 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24355 24355 15751 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 419136751 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205084257008 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24376] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136752 27969658880 31050 33554432000 4194304 4196468 140727137325168 140202697812320 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24377] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136752 27969658880 31050 33554432000 4194304 4196468 140727137325168 140205083203888 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125596 KiB

[startup+0.31206 s]*
/proc/loadavg: 4.92 7.49 7.62 2/212 24377
/proc/meminfo: memFree=30820836/32770624 swapFree=66947720/67108860
[pid=24355] ppid=24352 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24355/stat : 24355 (scop.sh) S 24352 24355 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419136744 115843072 349 33554432000 4194304 5098028 140727219037552 140727219034808 140115735843452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25051136 140727219041060 140727219041388 140727219041388 140727219044301 0
/proc/24355/statm: 28282 349 296 221 0 87 0
[pid=24358] ppid=24355 vsize=27314120 memory=128016 CPUtime=0.43 cores=0-7
/proc/24358/stat : 24358 (java) S 24355 24355 15751 0 -1 1077944320 12354 0 0 0 38 5 0 0 20 0 20 0 419136744 27969658880 32004 33554432000 4194304 4196468 140727137325168 140727137307712 140205962948343 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
/proc/24358/statm: 6828530 32004 3019 1 0 6790935 0
[pid=24358/tid=24359] ppid=24355 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24355 24355 15751 0 -1 4202560 9910 0 0 0 26 3 0 0 20 0 20 0 419136744 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205934743016 140205955185470 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24360] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205967190416 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24361] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205385218320 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24362] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205384166032 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24363] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205383113232 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24364] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205382060944 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24365] ppid=24355 vsize=27314120 memory=140115657714351 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205381008144 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24366] ppid=24355 vsize=27314120 memory=140115657716656 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205379955856 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24367] ppid=24355 vsize=27314120 memory=140115657718960 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205378903056 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24368] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419136748 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205088467056 140205962959490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24369] ppid=24355 vsize=27314120 memory=280231315451792 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24355 24355 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419136749 27969658880 32004 33554432000 4194304 4196468 140727137325168 140203838661408 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24370] ppid=24355 vsize=27314120 memory=280231315449488 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136749 27969658880 32004 33554432000 4194304 4196468 140727137325168 140203570226288 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24371] ppid=24355 vsize=27314120 memory=280231315456400 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 32004 33554432000 4194304 4196468 140727137325168 140203195717712 140205962966939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24372] ppid=24355 vsize=27314120 memory=280231315397680 CPUtime=0.01 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24355 24355 15751 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 419136751 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205087414896 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24373] ppid=24355 vsize=27314120 memory=280231315470224 CPUtime=0.01 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) R 24355 24355 15751 0 -1 4202560 208 0 0 0 1 0 0 0 20 0 20 0 419136751 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205086362096 140205955933385 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24374] ppid=24355 vsize=27314120 memory=280231315477136 CPUtime=0 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24355 24355 15751 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 419136751 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205085309808 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24375] ppid=24355 vsize=27314120 memory=280231315474832 CPUtime=0.07 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24355 24355 15751 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 419136751 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205084257008 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24376] ppid=24355 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136752 27969658880 32004 33554432000 4194304 4196468 140727137325168 140202697812320 140205962958549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24377] ppid=24355 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136752 27969658880 32004 33554432000 4194304 4196468 140727137325168 140205083203888 140205962959490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129412 KiB

[startup+0.700976 s]
/proc/loadavg: 4.92 7.49 7.62 2/212 24377
/proc/meminfo: memFree=30798264/32770624 swapFree=66947720/67108860
[pid=24355] ppid=24352 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24355/stat : 24355 (scop.sh) S 24352 24355 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419136744 115843072 349 33554432000 4194304 5098028 140727219037552 140727219034808 140115735843452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25051136 140727219041060 140727219041388 140727219041388 140727219044301 0
/proc/24355/statm: 28282 349 296 221 0 87 0
[pid=24358] ppid=24355 vsize=27322440 memory=167628 CPUtime=1.01 cores=0-7
/proc/24358/stat : 24358 (java) S 24355 24355 15751 0 -1 1077944320 20006 0 0 0 94 7 0 0 20 0 20 0 419136744 27978178560 41907 33554432000 4194304 4196468 140727137325168 140727137307712 140205962948343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
/proc/24358/statm: 6830610 41907 3182 1 0 6791959 0
[pid=24358/tid=24359] ppid=24355 vsize=27322440 memory=0 CPUtime=0.67 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24355 24355 15751 0 -1 4202560 16939 0 0 0 62 5 0 0 20 0 20 0 419136744 27978178560 41907 33554432000 4194304 4196468 140727137325168 140205934777472 140205947028830 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24360] ppid=24355 vsize=27322440 memory=140115657925488 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27978178560 41907 33554432000 4194304 4196468 140727137325168 140205967190416 140205962958549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24361] ppid=24355 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419136747 27978178560 41907 33554432000 4194304 4196468 140727137325168 140205385218320 140205962958549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0
[pid=24358/tid=24362] ppid=24355 vsize=27322440 memory=1200 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419136747 27978178560 41907 33554432000 4194304 4196468 140727137325168 140205384166032 140205962958549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27066368 140727137329898 140727137330326 140727137330326 140727137333199 0

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

[pid=24381/tid=24384] ppid=24355 vsize=8414124 memory=16034 CPUtime=0 cores=0-7
/proc/24381/task/24384/stat : 24384 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643901147792 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24385] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24385/stat : 24385 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643900094736 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24386] ppid=24355 vsize=8414124 memory=140115658270528 CPUtime=0 cores=0-7
/proc/24381/task/24386/stat : 24386 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643899042192 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24387] ppid=24355 vsize=8414124 memory=24354 CPUtime=0 cores=0-7
/proc/24381/task/24387/stat : 24387 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643897990160 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24388] ppid=24355 vsize=8414124 memory=7649399362840376370 CPUtime=0 cores=0-7
/proc/24381/task/24388/stat : 24388 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643896937616 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24389] ppid=24355 vsize=8414124 memory=7594010640900444262 CPUtime=0 cores=0-7
/proc/24381/task/24389/stat : 24389 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643895884560 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24390] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24390/stat : 24390 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643894832016 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24391] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24391/stat : 24391 (java) S 24355 24355 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419140158 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643055941872 139644096748162 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24392] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24392/stat : 24392 (java) S 24355 24355 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419140158 8616062976 30077 33554432000 4194304 4196468 140731941122864 139642674341024 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24393] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24393/stat : 24393 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140159 8616062976 30077 33554432000 4194304 4196468 140731941122864 139642405905136 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24394] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24394/stat : 24394 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140161 8616062976 30077 33554432000 4194304 4196468 140731941122864 139642031396816 139644096755611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24395] ppid=24355 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/24381/task/24395/stat : 24395 (java) S 24355 24355 15751 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 419140161 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643054889712 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24396] ppid=24355 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/24381/task/24396/stat : 24396 (java) S 24355 24355 15751 0 -1 1077944384 191 0 0 0 6 0 0 0 20 0 24 0 419140161 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643053837168 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24397] ppid=24355 vsize=8414124 memory=-1 CPUtime=0.06 cores=0-7
/proc/24381/task/24397/stat : 24397 (java) S 24355 24355 15751 0 -1 1077944384 406 0 0 0 6 0 0 0 20 0 24 0 419140161 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643052784112 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24398] ppid=24355 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/24381/task/24398/stat : 24398 (java) S 24355 24355 15751 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 24 0 419140161 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643051731568 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24399] ppid=24355 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/24381/task/24399/stat : 24399 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419140162 8616062976 30077 33554432000 4194304 4196468 140731941122864 139641533491680 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24400] ppid=24355 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/24381/task/24400/stat : 24400 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140162 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643050678960 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24402] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24402/stat : 24402 (java) S 24355 24355 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419140229 8616062976 30077 33554432000 4194304 4196468 140731941122864 139643042644928 139644096761625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24404] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24404/stat : 24404 (java) S 24355 24355 15751 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419140229 8616062976 30077 33554432000 4194304 4196468 140731941122864 139640862392336 139644096758941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24405] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24405/stat : 24405 (java) S 24355 24355 15751 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419140230 8616062976 30077 33554432000 4194304 4196468 140731941122864 139641130827920 139644096758941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24406] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24406/stat : 24406 (java) S 24355 24355 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419140232 8616062976 30077 33554432000 4194304 4196468 140731941122864 139640593964464 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
Current children cumulated CPU time: 54.2 s
Current children cumulated vsize: 9688128 KiB
Current children cumulated memory: 700952 KiB

[startup+38.212 s]
/proc/loadavg: 3.15 6.72 7.36 7/225 24414
/proc/meminfo: memFree=30235204/32770624 swapFree=66947720/67108860
[pid=24355] ppid=24352 vsize=113128 memory=1476 CPUtime=49.54 cores=0-7
/proc/24355/stat : 24355 (scop.sh) S 24352 24355 15751 0 -1 4202496 582 45289 0 0 0 0 4698 256 20 0 1 0 419136744 115843072 369 33554432000 4194304 5098028 140727219037552 140727219034296 140115735843452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25051136 140727219041060 140727219041388 140727219041388 140727219044301 0
/proc/24355/statm: 28282 369 311 221 0 87 0
[pid=24381] ppid=24355 vsize=8414124 memory=122912 CPUtime=1.29 cores=0-7
/proc/24381/stat : 24381 (java) S 24355 24355 15751 0 -1 1077944320 20156 0 0 0 120 9 0 0 20 0 24 0 419140128 8616062976 30728 33554432000 4194304 4196468 140731941122864 140731941105408 139644096737015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
/proc/24381/statm: 2103531 30728 3210 1 0 2064875 0
[pid=24381/tid=24382] ppid=24355 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/24381/task/24382/stat : 24382 (java) S 24355 24355 15751 0 -1 1077944384 16946 0 0 0 70 6 0 0 20 0 24 0 419140129 8616062976 30728 33554432000 4194304 4196468 140731941122864 139644068577184 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24383] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24383/stat : 24383 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139644100979216 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24384] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24384/stat : 24384 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643901147792 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24385] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24385/stat : 24385 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643900094736 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24386] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24386/stat : 24386 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643899042192 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24387] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24387/stat : 24387 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643897990160 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24388] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24388/stat : 24388 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643896937616 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24389] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24389/stat : 24389 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643895884560 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24390] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24390/stat : 24390 (java) S 24355 24355 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419140156 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643894832016 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24391] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24391/stat : 24391 (java) S 24355 24355 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419140158 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643055941872 139644096748162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24392] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24392/stat : 24392 (java) S 24355 24355 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419140158 8616062976 30728 33554432000 4194304 4196468 140731941122864 139642674341024 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24393] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24393/stat : 24393 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140159 8616062976 30728 33554432000 4194304 4196468 140731941122864 139642405905136 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24394] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24394/stat : 24394 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140161 8616062976 30728 33554432000 4194304 4196468 140731941122864 139642031396816 139644096755611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24395] ppid=24355 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/24381/task/24395/stat : 24395 (java) S 24355 24355 15751 0 -1 1077944384 571 0 0 0 6 0 0 0 20 0 24 0 419140161 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643054889712 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24396] ppid=24355 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/24381/task/24396/stat : 24396 (java) R 24355 24355 15751 0 -1 4202560 200 0 0 0 7 0 0 0 20 0 24 0 419140161 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643053837168 139644076186752 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24397] ppid=24355 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/24381/task/24397/stat : 24397 (java) R 24355 24355 15751 0 -1 4202560 416 0 0 0 8 0 0 0 20 0 24 0 419140161 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643052775440 139644081847616 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24398] ppid=24355 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/24381/task/24398/stat : 24398 (java) S 24355 24355 15751 0 -1 1077944384 614 0 0 0 22 0 0 0 20 0 24 0 419140161 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643051731568 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24399] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24399/stat : 24399 (java) S 24355 24355 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419140162 8616062976 30728 33554432000 4194304 4196468 140731941122864 139641533491680 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24400] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24400/stat : 24400 (java) S 24355 24355 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419140162 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643050678960 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24402] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24402/stat : 24402 (java) S 24355 24355 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419140229 8616062976 30728 33554432000 4194304 4196468 140731941122864 139643042644928 139644096761625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24404] ppid=24355 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/24381/task/24404/stat : 24404 (java) R 24355 24355 15751 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 24 0 419140229 8616062976 30728 33554432000 4194304 4196468 140731941122864 139640862400256 139643566580879 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24405] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24405/stat : 24405 (java) S 24355 24355 15751 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419140230 8616062976 30728 33554432000 4194304 4196468 140731941122864 139641130827920 139644096758941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24406] ppid=24355 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24381/task/24406/stat : 24406 (java) S 24355 24355 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419140232 8616062976 30728 33554432000 4194304 4196468 140731941122864 139640593964464 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 124388 KiB

[startup+38.3012 s]
/proc/loadavg: 3.15 6.72 7.36 7/225 24414
/proc/meminfo: memFree=30235204/32770624 swapFree=66947720/67108860
[pid=24355] ppid=24352 vsize=113128 memory=1476 CPUtime=49.54 cores=0-7
/proc/24355/stat : 24355 (scop.sh) S 24352 24355 15751 0 -1 4202496 582 45289 0 0 0 0 4698 256 20 0 1 0 419136744 115843072 369 33554432000 4194304 5098028 140727219037552 140727219034296 140115735843452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25051136 140727219041060 140727219041388 140727219041388 140727219044301 0
/proc/24355/statm: 28282 369 311 221 0 87 0
[pid=24381] ppid=24355 vsize=8283048 memory=134352 CPUtime=5.98 cores=0-7
/proc/24381/stat : 24381 (java) S 24355 24355 15751 0 -1 1077944320 20479 125761 0 0 139 10 420 29 20 0 22 0 419140128 8481841152 33588 33554432000 4194304 4196468 140731941122864 140731941105408 139644096737015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
/proc/24381/statm: 2070762 33588 3216 1 0 2032106 0
[pid=24381/tid=24382] ppid=24355 vsize=8283048 memory=6144960 CPUtime=5.3 cores=0-7
/proc/24381/task/24382/stat : 24382 (java) R 24355 24355 15751 0 -1 4202560 17132 125761 0 0 75 6 420 29 20 0 22 0 419140129 8481841152 33588 33554432000 4194304 4196468 140731941122864 139644068572576 139644080817502 0 4 2 25189581 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24383] ppid=24355 vsize=8283048 memory=2832 CPUtime=4.49 cores=0-7
/proc/24381/task/24383/stat : 24383 (java) S 24355 24355 15751 0 -1 1077944384 2 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139644100979216 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24384] ppid=24355 vsize=8283048 memory=22580 CPUtime=4.49 cores=0-7
/proc/24381/task/24384/stat : 24384 (java) S 24355 24355 15751 0 -1 1077944384 2 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643901147792 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24385] ppid=24355 vsize=8283048 memory=992 CPUtime=4.49 cores=0-7
/proc/24381/task/24385/stat : 24385 (java) S 24355 24355 15751 0 -1 1077944384 1 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643900094736 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24386] ppid=24355 vsize=8283048 memory=5964 CPUtime=4.49 cores=0-7
/proc/24381/task/24386/stat : 24386 (java) S 24355 24355 15751 0 -1 1077944384 3 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643899042192 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24387] ppid=24355 vsize=8283048 memory=14012 CPUtime=4.49 cores=0-7
/proc/24381/task/24387/stat : 24387 (java) S 24355 24355 15751 0 -1 1077944384 1 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643897990160 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24388] ppid=24355 vsize=8283048 memory=1552 CPUtime=4.49 cores=0-7
/proc/24381/task/24388/stat : 24388 (java) S 24355 24355 15751 0 -1 1077944384 2 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643896937616 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24389] ppid=24355 vsize=8283048 memory=120308 CPUtime=4.49 cores=0-7
/proc/24381/task/24389/stat : 24389 (java) S 24355 24355 15751 0 -1 1077944384 2 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643895884560 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24390] ppid=24355 vsize=8283048 memory=209 CPUtime=4.49 cores=0-7
/proc/24381/task/24390/stat : 24390 (java) S 24355 24355 15751 0 -1 1077944384 2 125761 0 0 0 0 420 29 20 0 22 0 419140156 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643894832016 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24391] ppid=24355 vsize=8283048 memory=6943526294502006880 CPUtime=4.49 cores=0-7
/proc/24381/task/24391/stat : 24391 (java) S 24355 24355 15751 0 -1 1077944384 5 125761 0 0 0 0 420 29 20 0 22 0 419140158 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643055941872 139644096748162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24392] ppid=24355 vsize=8283048 memory=500 CPUtime=4.49 cores=0-7
/proc/24381/task/24392/stat : 24392 (java) S 24355 24355 15751 0 -1 1077944384 13 125761 0 0 0 0 420 29 20 0 22 0 419140158 8481841152 33588 33554432000 4194304 4196468 140731941122864 139642674341024 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24393] ppid=24355 vsize=8283048 memory=1556 CPUtime=4.49 cores=0-7
/proc/24381/task/24393/stat : 24393 (java) S 24355 24355 15751 0 -1 1077944384 1 125761 0 0 0 0 420 29 20 0 22 0 419140159 8481841152 33588 33554432000 4194304 4196468 140731941122864 139642405905136 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24394] ppid=24355 vsize=8283048 memory=924 CPUtime=4.49 cores=0-7
/proc/24381/task/24394/stat : 24394 (java) S 24355 24355 15751 0 -1 1077944384 1 125761 0 0 0 0 420 29 20 0 22 0 419140161 8481841152 33588 33554432000 4194304 4196468 140731941122864 139642031396816 139644096755611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24395] ppid=24355 vsize=8283048 memory=1476 CPUtime=4.57 cores=0-7
/proc/24381/task/24395/stat : 24395 (java) S 24355 24355 15751 0 -1 1077944384 581 125761 0 0 8 0 420 29 20 0 22 0 419140161 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643054889712 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24396] ppid=24355 vsize=8283048 memory=1396 CPUtime=4.59 cores=0-7
/proc/24381/task/24396/stat : 24396 (java) S 24355 24355 15751 0 -1 1077944384 215 125761 0 0 10 0 420 29 20 0 22 0 419140161 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643053837168 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24397] ppid=24355 vsize=8283048 memory=6472580 CPUtime=4.6 cores=0-7
/proc/24381/task/24397/stat : 24397 (java) S 24355 24355 15751 0 -1 1077944384 429 125761 0 0 11 0 420 29 20 0 22 0 419140161 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643052784112 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24398] ppid=24355 vsize=8283048 memory=1476 CPUtime=4.74 cores=0-7
/proc/24381/task/24398/stat : 24398 (java) S 24355 24355 15751 0 -1 1077944384 672 125761 0 0 25 0 420 29 20 0 22 0 419140161 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643051731568 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24399] ppid=24355 vsize=8283048 memory=3612 CPUtime=4.49 cores=0-7
/proc/24381/task/24399/stat : 24399 (java) S 24355 24355 15751 0 -1 1077944384 3 125761 0 0 0 0 420 29 20 0 22 0 419140162 8481841152 33588 33554432000 4194304 4196468 140731941122864 139641533491680 139644096747221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24400] ppid=24355 vsize=8283048 memory=22580 CPUtime=4.49 cores=0-7
/proc/24381/task/24400/stat : 24400 (java) S 24355 24355 15751 0 -1 1077944384 1 125761 0 0 0 0 420 29 20 0 22 0 419140162 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643050678960 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24402] ppid=24355 vsize=8283048 memory=1476 CPUtime=4.49 cores=0-7
/proc/24381/task/24402/stat : 24402 (java) S 24355 24355 15751 0 -1 1077944384 24 125761 0 0 0 0 420 29 20 0 22 0 419140229 8481841152 33588 33554432000 4194304 4196468 140731941122864 139643042644112 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
[pid=24381/tid=24406] ppid=24355 vsize=8283048 memory=6791534058613427641 CPUtime=4.49 cores=0-7
/proc/24381/task/24406/stat : 24406 (java) S 24355 24355 15751 0 -1 1077944384 12 125761 0 0 0 0 420 29 20 0 22 0 419140232 8481841152 33588 33554432000 4194304 4196468 140731941122864 139640593966256 139644096748162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140731941127159 140731941127318 140731941127318 140731941130191 0
Current children cumulated CPU time: 55.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135828 KiB

Child status: 0
Real time (s): 38.3674
CPU time (s): 55.6822
CPU user time (s): 52.7009
CPU system time (s): 2.98132
CPU usage (%): 145.129
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6483920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.7009
system time used= 2.98132
maximum resident set size= 6482524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25333
involuntary context switches= 110


# summary of solver processes directly reported to runsolver:
#   pid: 24355
#   total CPU time (s): 55.6822
#   total CPU user time (s): 52.7009
#   total CPU system time (s): 2.98132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.272927 second user time and 0.478598 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 05:31:46
IDJOB=4392569
IDBENCH=131444
IDSOLVER=2839
FILE ID=node117/4392569-1568431948
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.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-4392569-1568431948/watcher-4392569-1568431948 -o /tmp/evaluation-result-4392569-1568431948/solver-4392569-1568431948 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --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-4392569-1568431948.xml

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

MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521
RANDOM SEED=176960828

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30937628 kB
MemAvailable:   31865116 kB
Buffers:          146652 kB
Cached:          1047248 kB
SwapCached:        51656 kB
Active:           770344 kB
Inactive:         478476 kB
Active(anon):      19892 kB
Inactive(anon):    59228 kB
Active(file):     750452 kB
Inactive(file):   419248 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947720 kB
Dirty:             20016 kB
Writeback:             0 kB
AnonPages:        185068 kB
Mapped:            33640 kB
Shmem:             15640 kB
Slab:             175716 kB
SReclaimable:     147248 kB
SUnreclaim:        28468 kB
KernelStack:        3968 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61164 MiB
End job on node117 at 2019-09-14 05:32:24