Trace number 4392269

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24225-serial-file.bin HOME/instance-4392269-1568431909.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:31:07 CEST 2019
0.65/0.57	c PID: 24228
0.65/0.57	c IP: 172.20.3.117
0.94/0.91	c HOST: node117.alineos.net
0.94/0.91	c (0,0) Parsing Begin
1.46/1.18	c (0,0) Parsing End
1.46/1.18	c (0,0) CSP: 51 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 256
1.46/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.46/1.19	c (0,0) Constraint Name Generate Begin
1.46/1.19	c (0,0) Ctr:HOME/instance-4392269-1568431909.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.46/1.19	c (0,0) Constraint Name Generate End
1.46/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.46/1.19	c (0,0) CSP to CSPinCNF Begin
9.12/3.87	c (3,3) translated 11 (10%) constraints
12.22/5.83	c (5,5) translated 21 (20%) constraints
14.41/7.95	c (7,7) translated 32 (30%) constraints
16.38/9.86	c (9,9) translated 42 (40%) constraints
18.55/11.98	c (11,11) translated 53 (50%) constraints
20.47/13.89	c (13,13) translated 63 (60%) constraints
22.58/15.99	c (15,15) translated 74 (70%) constraints
26.58/18.15	c (17,17) translated 84 (80%) constraints
27.63/19.12	c (18,18) translated 95 (90%) constraints
27.63/19.15	c (18,18) translated 105 (100%) constraints
27.63/19.15	c (18,18) ===========================================
27.63/19.16	c (18,18) Order
27.63/19.16	c (18,18) ===========================================
29.32/19.86	c (19,18) translated 32576 (10%) constraints
29.95/20.47	c (19,19) translated 65152 (20%) constraints
30.60/21.08	c (20,20) translated 97727 (30%) constraints
31.20/21.68	c (21,20) translated 130303 (40%) constraints
31.81/22.28	c (21,21) translated 162878 (50%) constraints
32.42/22.88	c (22,21) translated 195454 (60%) constraints
33.02/23.47	c (22,22) translated 228030 (70%) constraints
33.63/24.07	c (23,23) translated 260605 (80%) constraints
34.23/24.67	c (24,23) translated 293181 (90%) constraints
34.90/25.28	c (24,24) translated 325756 (100%) constraints
34.90/25.28	c (24,24) CSP to CSPinCNF End
34.90/25.30	c (24,24) CSP: 51 int (0 aux), 22272 bool (22272 aux), 325756 ctr, max domain size 256
34.90/25.30	c (24,24) Heap : 2258 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
34.90/25.30	c (24,24) CSPinCNF Propagation Begin
38.63/27.27	c (26,26) 0 values, 1009 unsatisfiable literals, and 925 valid clauses are removed
38.63/27.27	c (26,26) CSPinCNF Propagation End
38.63/27.28	c (26,26) CSP: 51 int (0 aux), 22272 bool (22272 aux), 324831 ctr, max domain size 256
38.63/27.28	c (26,26) Heap : 4245 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
38.63/27.28	c (26,26) Simplify CSPinCNF Begin
39.93/27.90	c (27,26) Simplify CSPinCNF End
39.93/27.91	c (27,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
39.93/27.91	c (27,26) Heap : 4577 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.93/27.91	c (27,26) Calculate Precise Domain Begin
39.93/27.91	c (27,26) 0 values are removed by re-calculation
39.93/27.91	c (27,26) Calculate Precise Domain End
39.93/27.91	c (27,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
39.93/27.91	c (27,26) Heap : 4577 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.93/27.91	c (27,26) CSPinCNF to SatSolver Begin
46.52/31.16	c (30,29) 32739 (10 %) CSP clauses are encoded (0 SAT variables, 691801 SAT clauses)
46.87/31.49	c (30,30) 65477 (20 %) CSP clauses are encoded (0 SAT variables, 724539 SAT clauses)
47.29/31.80	c (31,30) 98215 (30 %) CSP clauses are encoded (0 SAT variables, 757277 SAT clauses)
47.59/32.11	c (31,30) 130953 (40 %) CSP clauses are encoded (0 SAT variables, 790015 SAT clauses)
47.90/32.42	c (31,31) 163691 (50 %) CSP clauses are encoded (0 SAT variables, 822753 SAT clauses)
48.20/32.73	c (32,31) 196429 (60 %) CSP clauses are encoded (0 SAT variables, 855491 SAT clauses)
48.50/33.06	c (32,31) 229167 (70 %) CSP clauses are encoded (0 SAT variables, 888229 SAT clauses)
48.80/33.37	c (32,32) 261905 (80 %) CSP clauses are encoded (0 SAT variables, 920967 SAT clauses)
49.10/33.67	c (33,32) 294643 (90 %) CSP clauses are encoded (0 SAT variables, 953705 SAT clauses)
49.40/33.99	c (33,32) 327381 (100 %) CSP clauses are encoded (0 SAT variables, 986443 SAT clauses)
49.40/33.99	c (33,32) CSPinCNF to SatSolver End
49.40/33.99	c (33,32) Heap : 3819 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
49.40/33.99	c (33,32) 37784 bool, 986444 clause
49.40/33.99	c (33,32) Export Begin
49.50/34.08	c (33,32) Export to HOME/scop-24225-serial-file.bin
49.50/34.08	c (33,32) Export End
49.50/34.08	c (33,32) Export File Size: 0.01 MB
49.50/34.08	c (33,32) 0,0,24,26,27,27,33,STOP-AFTER(DIMACS)
49.50/34.08	c END-Prog: Sat Sep 14 05:31:40 CEST 2019
0.00/34.11	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24225-serial-file.bin
50.26/34.84	c (0,0) Read Serial File Begin
50.26/34.84	c (0,0) HOME/scop-24225-serial-file.bin
50.54/35.06	c (0,0) Read Serial File End
50.54/35.07	
50.54/35.07	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
50.54/35.07	(Solving Process)
50.54/35.07	
50.54/35.09	c BEGIN-Prog: Sat Sep 14 05:31:41 CEST 2019
50.54/35.09	c PID: 24250
50.54/35.09	c IP: 172.20.3.117
50.54/35.09	c HOST: node117.alineos.net
50.69/35.10	c (0,0) SatSolver.solve Begin
50.69/35.10	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392269-1568431909.xml-scop-24228.cnf
50.69/35.12	c (0,0) c
50.69/35.12	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.69/35.12	c (0,0) c
50.69/35.12	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
50.69/35.12	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
50.69/35.12	c (0,0) c ========================================[ Problem Statistics ]===========================================
50.69/35.12	c (0,0) c |                                                                                                       |
51.16/35.44	c (0,0) c |  Number of variables:         37784                                                                   |
51.16/35.44	c (0,0) c |  Number of clauses:          986444                                                                   |
51.16/35.44	c (0,0) c |  Parse time:                   0.29 s                                                                 |
51.16/35.44	c (0,0) c |                                                                                                       |
53.56/37.87	c (3,0) c |  Simplification time:          2.40 s                                                                 |
53.56/37.87	c (3,0) c |                                                                                                       |
53.56/37.87	c (3,0) c |  Generating clones                                                                                    |
53.87/38.10	c (3,0) c |  all clones generated. Memory =   557.65Mb.                                                           |
53.87/38.10	c (3,0) c ========================================================================================================|
53.87/38.10	c (3,0) c
53.87/38.10	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
53.87/38.10	c (3,0) c
53.87/38.10	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.87/38.10	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.87/38.11	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.87/38.11	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
53.87/38.11	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
53.87/38.11	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
53.87/38.11	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
53.87/38.11	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
53.87/38.11	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
53.87/38.11	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
53.87/38.11	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
53.87/38.11	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
53.87/38.11	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
53.87/38.11	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
53.87/38.11	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
53.87/38.11	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
53.87/38.11	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
53.87/38.11	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
53.87/38.11	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c real time : 3.23712 s
55.28/38.36	c (3,0) c cpu time  : 4.28186 s
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c | Conflicts     |            1342 |         17 |        239 |        162 |        176 |        196 |        207 |        186 |        159 |
55.28/38.36	c (3,0) c | Decisions     |            2780 |         72 |        520 |        374 |        274 |        422 |        375 |        504 |        239 |
55.28/38.36	c (3,0) c | Propagations  |         1681662 |      69506 |     233501 |     208394 |     220897 |     215505 |     230460 |     225846 |     277553 |
55.28/38.36	c (3,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.28/38.36	c (3,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.28/38.36	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | PropBinClauses|         1493013 |      48414 |     217071 |     186782 |     189922 |     192525 |     209414 |     222215 |     226670 |
55.28/38.36	c (3,0) c | PropPreBlocker|        28434195 |    1652640 |    4055026 |    3515775 |    3221922 |    3983948 |    3962726 |    3994055 |    4048103 |
55.28/38.36	c (3,0) c | PropNotBlocker|        10638405 |     760002 |    1354925 |    1327234 |    1303280 |    1497974 |    1504367 |    1435999 |    1454624 |
55.28/38.36	c (3,0) c | LitFullScans  |        42860999 |    2520838 |    6005536 |    5266682 |    5026327 |    6004346 |    6012090 |    6001203 |    6023977 |
55.28/38.36	c (3,0) c | LitScanFracts |             926 |          0 |         86 |          0 |          0 |         40 |         25 |        733 |         42 |
55.28/38.36	c (3,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.28/38.36	c (3,0) c | Periods       |               5 |          0 |          1 |          0 |          0 |          1 |          1 |          1 |          1 |
55.28/38.36	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
55.28/38.36	c (3,0) c | Avg_Trail     |                 |      13085 |       8213 |       4656 |       4293 |       5784 |       4447 |       4233 |       5798 |
55.28/38.36	c (3,0) c | Avg_DL        |                 |         11 |         78 |         30 |         14 |         32 |         21 |         34 |         17 |
55.28/38.36	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c | Exported      |              82 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
55.28/38.36	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.28/38.36	c (3,0) c | Binaries      |                 |          0 |          0 |          4 |          0 |          1 |          2 |          4 |          0 |
55.28/38.36	c (3,0) c | Glues         |                 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c | Orig_Seen     |             0 % |        933 |       5191 |       6398 |       5674 |       5469 |       5003 |       6330 |       4816 |
55.28/38.36	c (3,0) c | Diff Orig seen|                 |      X     |       4258 |       5465 |       4741 |       4536 |       4070 |       5397 |       3883 |
55.28/38.36	c (3,0) c | Hamming       |            18 % |      X     |       7546 |       6612 |       7363 |       6858 |       7068 |       6728 |       6652 |
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c | RunningTime   |                 |    0.1 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|
55.28/38.36	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%|
55.28/38.36	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%|
55.28/38.36	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%|
55.28/38.36	c (3,0) c | SolvingTime   |                 |    0.1     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |
55.28/38.36	c (3,0) c | PropagationTim|                 |    0.1  98%|    0.2  94%|    0.2  95%|    0.2  94%|    0.2  95%|    0.2  95%|    0.2  94%|    0.2  96%|
55.28/38.36	c (3,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   4%|    0.0   3%|    0.0   4%|    0.0   3%|    0.0   3%|    0.0   4%|    0.0   2%|
55.28/38.36	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%|
55.28/38.36	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%|
55.28/38.36	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%|
55.28/38.36	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%|
55.28/38.36	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c
55.28/38.36	c (3,0) c Threads : 8
55.28/38.36	c (3,0) c Winner : 0
55.28/38.36	c (3,0) c Conflicts_0 : 17
55.28/38.36	c (3,0) c Conflicts_1 : 239
55.28/38.36	c (3,0) c Conflicts_2 : 162
55.28/38.36	c (3,0) c Conflicts_3 : 176
55.28/38.36	c (3,0) c Conflicts_4 : 196
55.28/38.36	c (3,0) c Conflicts_5 : 207
55.28/38.36	c (3,0) c Conflicts_6 : 186
55.28/38.36	c (3,0) c Conflicts_7 : 159
55.28/38.36	c (3,0) c Conflicts_total : 1342
55.28/38.36	c (3,0) c Conflicts_winner : 17
55.28/38.36	c (3,0) c Decisions_0 : 72
55.28/38.36	c (3,0) c Decisions_1 : 520
55.28/38.36	c (3,0) c Decisions_2 : 374
55.28/38.36	c (3,0) c Decisions_3 : 274
55.28/38.36	c (3,0) c Decisions_4 : 422
55.28/38.36	c (3,0) c Decisions_5 : 375
55.28/38.36	c (3,0) c Decisions_6 : 504
55.28/38.36	c (3,0) c Decisions_7 : 239
55.28/38.36	c (3,0) c Decisions_total : 2780
55.28/38.36	c (3,0) c Decisions_winner : 72
55.28/38.36	c (3,0) c Propagations_0 : 69506
55.28/38.36	c (3,0) c Propagations_1 : 233501
55.28/38.36	c (3,0) c Propagations_2 : 208394
55.28/38.36	c (3,0) c Propagations_3 : 220897
55.28/38.36	c (3,0) c Propagations_4 : 215505
55.28/38.36	c (3,0) c Propagations_5 : 230460
55.28/38.36	c (3,0) c Propagations_6 : 225846
55.28/38.36	c (3,0) c Propagations_7 : 277553
55.28/38.36	c (3,0) c Propagations_total : 1681662
55.28/38.36	c (3,0) c Propagations_winner : 69506
55.28/38.36	c (3,0) c ReduceDBs_0 : 0
55.28/38.36	c (3,0) c ReduceDBs_1 : 0
55.28/38.36	c (3,0) c ReduceDBs_2 : 0
55.28/38.36	c (3,0) c ReduceDBs_3 : 0
55.28/38.36	c (3,0) c ReduceDBs_4 : 0
55.28/38.36	c (3,0) c ReduceDBs_5 : 0
55.28/38.36	c (3,0) c ReduceDBs_6 : 0
55.28/38.36	c (3,0) c ReduceDBs_7 : 0
55.28/38.36	c (3,0) c ReduceDBs_total : 0
55.28/38.36	c (3,0) c ReduceDBs_winner : 0
55.28/38.36	c (3,0) c SimpDBs_0 : 1
55.28/38.36	c (3,0) c SimpDBs_1 : 1
55.28/38.36	c (3,0) c SimpDBs_2 : 1
55.28/38.36	c (3,0) c SimpDBs_3 : 1
55.28/38.36	c (3,0) c SimpDBs_4 : 1
55.28/38.36	c (3,0) c SimpDBs_5 : 1
55.28/38.36	c (3,0) c SimpDBs_6 : 1
55.28/38.36	c (3,0) c SimpDBs_7 : 1
55.28/38.36	c (3,0) c SimpDBs_total : 8
55.28/38.36	c (3,0) c SimpDBs_winner : 1
55.28/38.36	c (3,0) c Restarts_0 : 1
55.28/38.36	c (3,0) c Restarts_1 : 1
55.28/38.36	c (3,0) c Restarts_2 : 1
55.28/38.36	c (3,0) c Restarts_3 : 1
55.28/38.36	c (3,0) c Restarts_4 : 1
55.28/38.36	c (3,0) c Restarts_5 : 1
55.28/38.36	c (3,0) c Restarts_6 : 1
55.28/38.36	c (3,0) c Restarts_7 : 1
55.28/38.36	c (3,0) c Restarts_total : 8
55.28/38.36	c (3,0) c Restarts_winner : 1
55.28/38.36	c (3,0) c ForcedImports_0 : 0
55.28/38.36	c (3,0) c ForcedImports_1 : 0
55.28/38.36	c (3,0) c ForcedImports_2 : 0
55.28/38.36	c (3,0) c ForcedImports_3 : 0
55.28/38.36	c (3,0) c ForcedImports_4 : 0
55.28/38.36	c (3,0) c ForcedImports_5 : 0
55.28/38.36	c (3,0) c ForcedImports_6 : 0
55.28/38.36	c (3,0) c ForcedImports_7 : 0
55.28/38.36	c (3,0) c ForcedImports_total : 0
55.28/38.36	c (3,0) c ForcedImports_winner : 0
55.28/38.36	c (3,0) c PropsBinClauses_0 : 48414
55.28/38.36	c (3,0) c PropsBinClauses_1 : 217071
55.28/38.36	c (3,0) c PropsBinClauses_2 : 186782
55.28/38.36	c (3,0) c PropsBinClauses_3 : 189922
55.28/38.36	c (3,0) c PropsBinClauses_4 : 192525
55.28/38.36	c (3,0) c PropsBinClauses_5 : 209414
55.28/38.36	c (3,0) c PropsBinClauses_6 : 222215
55.28/38.36	c (3,0) c PropsBinClauses_7 : 226670
55.28/38.36	c (3,0) c PropsBinClauses_total : 1493013
55.28/38.36	c (3,0) c PropsBinClauses_winner : 48414
55.28/38.36	c (3,0) c PropsPreBlocker_0 : 1652640
55.28/38.36	c (3,0) c PropsPreBlocker_1 : 4055026
55.28/38.36	c (3,0) c PropsPreBlocker_2 : 3515775
55.28/38.36	c (3,0) c PropsPreBlocker_3 : 3221922
55.28/38.36	c (3,0) c PropsPreBlocker_4 : 3983948
55.28/38.36	c (3,0) c PropsPreBlocker_5 : 3962726
55.28/38.36	c (3,0) c PropsPreBlocker_6 : 3994055
55.28/38.36	c (3,0) c PropsPreBlocker_7 : 4048103
55.28/38.36	c (3,0) c PropsPreBlocker_total : 28434195
55.28/38.36	c (3,0) c PropsPreBlocker_winner : 1652640
55.28/38.36	c (3,0) c PropsNotBlocker_0 : 760002
55.28/38.36	c (3,0) c PropsNotBlocker_1 : 1354925
55.28/38.36	c (3,0) c PropsNotBlocker_2 : 1327234
55.28/38.36	c (3,0) c PropsNotBlocker_3 : 1303280
55.28/38.36	c (3,0) c PropsNotBlocker_4 : 1497974
55.28/38.36	c (3,0) c PropsNotBlocker_5 : 1504367
55.28/38.36	c (3,0) c PropsNotBlocker_6 : 1435999
55.28/38.36	c (3,0) c PropsNotBlocker_7 : 1454624
55.28/38.36	c (3,0) c PropsNotBlocker_total : 10638405
55.28/38.36	c (3,0) c PropsNotBlocker_winner : 760002
55.28/38.36	c (3,0) c PropsLitFullScans_0 : 2520838
55.28/38.36	c (3,0) c PropsLitFullScans_1 : 6005536
55.28/38.36	c (3,0) c PropsLitFullScans_2 : 5266682
55.28/38.36	c (3,0) c PropsLitFullScans_3 : 5026327
55.28/38.37	c (3,0) c PropsLitFullScans_4 : 6004346
55.28/38.37	c (3,0) c PropsLitFullScans_5 : 6012090
55.28/38.37	c (3,0) c PropsLitFullScans_6 : 6001203
55.28/38.37	c (3,0) c PropsLitFullScans_7 : 6023977
55.28/38.37	c (3,0) c PropsLitFullScans_total : 42860999
55.28/38.37	c (3,0) c PropsLitFullScans_winner : 2520838
55.28/38.37	c (3,0) c LitScanFractions_0 : 0
55.28/38.37	c (3,0) c LitScanFractions_1 : 86
55.28/38.37	c (3,0) c LitScanFractions_2 : 0
55.28/38.37	c (3,0) c LitScanFractions_3 : 0
55.28/38.37	c (3,0) c LitScanFractions_4 : 40
55.28/38.37	c (3,0) c LitScanFractions_5 : 25
55.28/38.37	c (3,0) c LitScanFractions_6 : 733
55.28/38.37	c (3,0) c LitScanFractions_7 : 42
55.28/38.37	c (3,0) c LitScanFractions_total : 926
55.28/38.37	c (3,0) c LitScanFractions_winner : 0
55.28/38.37	c (3,0) c DecisionLevel0_0 : 1
55.28/38.37	c (3,0) c DecisionLevel0_1 : 1
55.28/38.37	c (3,0) c DecisionLevel0_2 : 1
55.28/38.37	c (3,0) c DecisionLevel0_3 : 1
55.28/38.37	c (3,0) c DecisionLevel0_4 : 1
55.28/38.37	c (3,0) c DecisionLevel0_5 : 1
55.28/38.37	c (3,0) c DecisionLevel0_6 : 1
55.28/38.37	c (3,0) c DecisionLevel0_7 : 1
55.28/38.37	c (3,0) c DecisionLevel0_total : 8
55.28/38.37	c (3,0) c DecisionLevel0_winner : 1
55.28/38.37	c (3,0) c Periods_0 : 0
55.28/38.37	c (3,0) c Periods_1 : 1
55.28/38.37	c (3,0) c Periods_2 : 0
55.28/38.37	c (3,0) c Periods_3 : 0
55.28/38.37	c (3,0) c Periods_4 : 1
55.28/38.37	c (3,0) c Periods_5 : 1
55.28/38.37	c (3,0) c Periods_6 : 1
55.28/38.37	c (3,0) c Periods_7 : 1
55.28/38.37	c (3,0) c Periods_total : 5
55.28/38.37	c (3,0) c Periods_winner : 0
55.28/38.37	c (3,0) c Margin_0 : 20
55.28/38.37	c (3,0) c Margin_1 : 20
55.28/38.37	c (3,0) c Margin_2 : 20
55.28/38.37	c (3,0) c Margin_3 : 20
55.28/38.37	c (3,0) c Margin_4 : 20
55.28/38.37	c (3,0) c Margin_5 : 20
55.28/38.37	c (3,0) c Margin_6 : 20
55.28/38.37	c (3,0) c Margin_7 : 20
55.28/38.37	c (3,0) c Margin_total : 160
55.28/38.37	c (3,0) c Margin_winner : 20
55.28/38.37	c (3,0) c Exported_0 : 2
55.28/38.37	c (3,0) c Exported_1 : 5
55.28/38.37	c (3,0) c Exported_2 : 16
55.28/38.37	c (3,0) c Exported_3 : 7
55.28/38.37	c (3,0) c Exported_4 : 13
55.28/38.37	c (3,0) c Exported_5 : 14
55.28/38.37	c (3,0) c Exported_6 : 10
55.28/38.37	c (3,0) c Exported_7 : 15
55.28/38.37	c (3,0) c Exported_total : 82
55.28/38.37	c (3,0) c Exported_winner : 2
55.28/38.37	c (3,0) c Imported_0 : 0
55.28/38.37	c (3,0) c Imported_1 : 0
55.28/38.37	c (3,0) c Imported_2 : 0
55.28/38.37	c (3,0) c Imported_3 : 0
55.28/38.37	c (3,0) c Imported_4 : 0
55.28/38.37	c (3,0) c Imported_5 : 0
55.28/38.37	c (3,0) c Imported_6 : 0
55.28/38.37	c (3,0) c Imported_7 : 0
55.28/38.37	c (3,0) c Imported_total : 0
55.28/38.37	c (3,0) c Imported_winner : 0
55.28/38.37	c (3,0) c Good_0 : 0
55.28/38.37	c (3,0) c Good_1 : 0
55.28/38.37	c (3,0) c Good_2 : 0
55.28/38.37	c (3,0) c Good_3 : 0
55.28/38.37	c (3,0) c Good_4 : 0
55.28/38.37	c (3,0) c Good_5 : 0
55.28/38.37	c (3,0) c Good_6 : 0
55.28/38.37	c (3,0) c Good_7 : 0
55.28/38.37	c (3,0) c Good_total : 0
55.28/38.37	c (3,0) c Good_winner : 0
55.28/38.37	c (3,0) c Purge_0 : 0
55.28/38.37	c (3,0) c Purge_1 : 0
55.28/38.37	c (3,0) c Purge_2 : 0
55.28/38.37	c (3,0) c Purge_3 : 0
55.28/38.37	c (3,0) c Purge_4 : 0
55.28/38.37	c (3,0) c Purge_5 : 0
55.28/38.37	c (3,0) c Purge_6 : 0
55.28/38.37	c (3,0) c Purge_7 : 0
55.28/38.37	c (3,0) c Purge_total : 0
55.28/38.37	c (3,0) c Purge_winner : 0
55.28/38.37	c (3,0) c Promoted_0 : 0
55.28/38.37	c (3,0) c Promoted_1 : 0
55.28/38.37	c (3,0) c Promoted_2 : 0
55.28/38.37	c (3,0) c Promoted_3 : 0
55.28/38.37	c (3,0) c Promoted_4 : 0
55.28/38.37	c (3,0) c Promoted_5 : 0
55.28/38.37	c (3,0) c Promoted_6 : 0
55.28/38.37	c (3,0) c Promoted_7 : 0
55.28/38.37	c (3,0) c Promoted_total : 0
55.28/38.37	c (3,0) c Promoted_winner : 0
55.28/38.37	c (3,0) c Remove_Imp_0 : 0
55.28/38.37	c (3,0) c Remove_Imp_1 : 0
55.28/38.37	c (3,0) c Remove_Imp_2 : 0
55.28/38.37	c (3,0) c Remove_Imp_3 : 0
55.28/38.37	c (3,0) c Remove_Imp_4 : 0
55.28/38.37	c (3,0) c Remove_Imp_5 : 0
55.28/38.37	c (3,0) c Remove_Imp_6 : 0
55.28/38.37	c (3,0) c Remove_Imp_7 : 0
55.28/38.37	c (3,0) c Remove_Imp_total : 0
55.28/38.37	c (3,0) c Remove_Imp_winner : 0
55.28/38.37	c (3,0) c Blocked_Reuse_0 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_1 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_2 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_3 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_4 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_5 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_6 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_7 : 0
55.28/38.37	c (3,0) c Blocked_Reuse_total : 0
55.28/38.37	c (3,0) c Blocked_Reuse_winner : 0
55.28/38.37	c (3,0) c Unaries_0 : 0
55.28/38.37	c (3,0) c Unaries_1 : 0
55.28/38.37	c (3,0) c Unaries_2 : 0
55.28/38.37	c (3,0) c Unaries_3 : 0
55.28/38.37	c (3,0) c Unaries_4 : 0
55.28/38.37	c (3,0) c Unaries_5 : 0
55.28/38.37	c (3,0) c Unaries_6 : 0
55.28/38.37	c (3,0) c Unaries_7 : 0
55.28/38.37	c (3,0) c Unaries_total : 0
55.28/38.37	c (3,0) c Unaries_winner : 0
55.28/38.37	c (3,0) c Binaries_0 : 0
55.28/38.37	c (3,0) c Binaries_1 : 0
55.28/38.37	c (3,0) c Binaries_2 : 4
55.28/38.37	c (3,0) c Binaries_3 : 0
55.28/38.37	c (3,0) c Binaries_4 : 1
55.28/38.37	c (3,0) c Binaries_5 : 2
55.28/38.37	c (3,0) c Binaries_6 : 4
55.28/38.37	c (3,0) c Binaries_7 : 0
55.28/38.37	c (3,0) c Binaries_total : 11
55.28/38.37	c (3,0) c Binaries_winner : 0
55.28/38.37	c (3,0) c Glues_0 : 2
55.28/38.37	c (3,0) c Glues_1 : 5
55.28/38.37	c (3,0) c Glues_2 : 16
55.28/38.37	c (3,0) c Glues_3 : 7
55.28/38.37	c (3,0) c Glues_4 : 13
55.28/38.37	c (3,0) c Glues_5 : 14
55.28/38.37	c (3,0) c Glues_6 : 10
55.28/38.37	c (3,0) c Glues_7 : 15
55.28/38.37	c (3,0) c Glues_total : 82
55.28/38.37	c (3,0) c Glues_winner : 2
55.28/38.37	c (3,0) c RunningTime_0 : 0.112231
55.28/38.37	c (3,0) c RunningTime_1 : 0.239195
55.28/38.37	c (3,0) c RunningTime_2 : 0.190812
55.28/38.37	c (3,0) c RunningTime_3 : 0.218078
55.28/38.37	c (3,0) c RunningTime_4 : 0.193824
55.28/38.37	c (3,0) c RunningTime_5 : 0.245532
55.28/38.37	c (3,0) c RunningTime_6 : 0.249783
55.28/38.37	c (3,0) c RunningTime_7 : 0.201194
55.28/38.37	c (3,0) c RunningTime_total : 1.650649
55.28/38.37	c (3,0) c RunningTime_winner : 0.112231
55.28/38.37	c (3,0) c WaitingTime_0 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_1 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_2 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_3 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_4 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_5 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_6 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_7 : 0.000000
55.28/38.37	c (3,0) c WaitingTime_total : 0.000000
55.28/38.37	c (3,0) c WaitingTime_winner : 0.000000
55.28/38.37	c (3,0) c ExchangingTime_0 : 0.000086
55.28/38.37	c (3,0) c ExchangingTime_1 : 0.000097
55.28/38.37	c (3,0) c ExchangingTime_2 : 0.000107
55.28/38.37	c (3,0) c ExchangingTime_3 : 0.000091
55.28/38.37	c (3,0) c ExchangingTime_4 : 0.000070
55.28/38.37	c (3,0) c ExchangingTime_5 : 0.000045
55.28/38.37	c (3,0) c ExchangingTime_6 : 0.000037
55.28/38.37	c (3,0) c ExchangingTime_7 : 0.000053
55.28/38.37	c (3,0) c ExchangingTime_total : 0.000585
55.28/38.37	c (3,0) c ExchangingTime_winner : 0.000086
55.28/38.37	c (3,0) c PeriodProcTime_0 : 0.000000
55.28/38.37	c (3,0) c PeriodProcTime_1 : 0.000010
55.28/38.37	c (3,0) c PeriodProcTime_2 : 0.000000
55.28/38.37	c (3,0) c PeriodProcTime_3 : 0.000000
55.28/38.37	c (3,0) c PeriodProcTime_4 : 0.000009
55.28/38.37	c (3,0) c PeriodProcTime_5 : 0.000008
55.28/38.37	c (3,0) c PeriodProcTime_6 : 0.000007
55.28/38.37	c (3,0) c PeriodProcTime_7 : 0.000009
55.28/38.37	c (3,0) c PeriodProcTime_total : 0.000042
55.28/38.37	c (3,0) c PeriodProcTime_winner : 0.000000
55.28/38.37	c (3,0) c SolvingTime_0 : 0.112317
55.28/38.37	c (3,0) c SolvingTime_1 : 0.239302
55.28/38.37	c (3,0) c SolvingTime_2 : 0.190918
55.28/38.37	c (3,0) c SolvingTime_3 : 0.218169
55.28/38.37	c (3,0) c SolvingTime_4 : 0.193902
55.28/38.37	c (3,0) c SolvingTime_5 : 0.245585
55.28/38.37	c (3,0) c SolvingTime_6 : 0.249827
55.28/38.37	c (3,0) c SolvingTime_7 : 0.201256
55.28/38.37	c (3,0) c SolvingTime_total : 1.651276
55.28/38.37	c (3,0) c SolvingTime_winner : 0.112317
55.28/38.37	c (3,0) c PropagationTime_0 : 0.110253
55.28/38.37	c (3,0) c PropagationTime_1 : 0.224566
55.28/38.37	c (3,0) c PropagationTime_2 : 0.182222
55.28/38.37	c (3,0) c PropagationTime_3 : 0.205685
55.28/38.37	c (3,0) c PropagationTime_4 : 0.184486
55.28/38.37	c (3,0) c PropagationTime_5 : 0.233626
55.28/38.37	c (3,0) c PropagationTime_6 : 0.235247
55.28/38.37	c (3,0) c PropagationTime_7 : 0.192837
55.28/38.37	c (3,0) c PropagationTime_total : 1.568922
55.28/38.37	c (3,0) c PropagationTime_winner : 0.110253
55.28/38.37	c (3,0) c AnalysisTime_0 : 0.000622
55.28/38.37	c (3,0) c AnalysisTime_1 : 0.010049
55.28/38.37	c (3,0) c AnalysisTime_2 : 0.005616
55.28/38.37	c (3,0) c AnalysisTime_3 : 0.008884
55.28/38.37	c (3,0) c AnalysisTime_4 : 0.006371
55.28/38.37	c (3,0) c AnalysisTime_5 : 0.007388
55.28/38.37	c (3,0) c AnalysisTime_6 : 0.010294
55.28/38.37	c (3,0) c AnalysisTime_7 : 0.004973
55.28/38.37	c (3,0) c AnalysisTime_total : 0.054198
55.28/38.37	c (3,0) c AnalysisTime_winner : 0.000622
55.28/38.37	c (3,0) c ReductionTime_0 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_1 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_2 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_3 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_4 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_5 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_6 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_7 : 0.000000
55.28/38.37	c (3,0) c ReductionTime_total : 0.000000
55.28/38.37	c (3,0) c ReductionTime_winner : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_0 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_1 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_2 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_3 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_4 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_5 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_6 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_7 : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_total : 0.000000
55.28/38.37	c (3,0) c SimplifyTime_winner : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_0 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_1 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_2 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_3 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_4 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_5 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_6 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_7 : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_total : 0.000000
55.28/38.37	c (3,0) c UsedRateTime_winner : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_0 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_1 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_2 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_3 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_4 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_5 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_6 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_7 : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_total : 0.000000
55.28/38.37	c (3,0) c OverlapRateTime_winner : 0.000000
55.28/38.37	c (3,0) c
55.28/38.37	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
55.28/38.37	c (3,0) c
55.28/38.37	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.37	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
55.28/38.37	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.37	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
55.28/38.37	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
55.28/38.37	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
55.28/38.37	c (3,0) c | Initial random_seed   |  130186073 | 1168358321 | 1957192351 | 1804416624 |  820278482 | 1753503958 |  757112100 | 1980182143 |
55.28/38.37	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
55.28/38.37	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
55.28/38.37	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
55.28/38.37	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
55.28/38.37	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
55.28/38.37	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
55.28/38.37	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
55.28/38.37	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
55.28/38.37	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
55.28/38.37	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
55.28/38.37	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
55.28/38.37	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.28/38.37	c (3,0) 
55.28/38.37	c (3,0) s SATISFIABLE
51.03/38.43	c (3,0) SatSolver.solve End
51.03/38.43	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
51.03/38.43	c (3,0) Show results Begin
55.79/38.52	c (3,0) x[0] = 0
55.79/38.52	c (3,0) x[1] = 39
55.79/38.52	c (3,0) x[2] = 93
55.79/38.52	c (3,0) x[3] = 100
55.79/38.52	c (3,0) x[4] = 179
55.79/38.52	c (3,0) x[5] = 214
55.79/38.52	c (3,0) x[6] = 43
55.79/38.52	c (3,0) x[7] = 116
55.79/38.52	c (3,0) x[8] = 154
55.79/38.52	c (3,0) x[9] = 167
55.79/38.52	c (3,0) x[10] = 200
55.79/38.52	c (3,0) x[11] = 213
55.79/38.52	c (3,0) x[12] = 247
55.79/38.52	c (3,0) x[13] = 249
55.79/38.52	c (3,0) x[14] = 59
55.79/38.52	c (3,0) x[15] = 75
55.79/38.52	c (3,0) x[16] = 215
55.79/38.52	c (3,0) x[17] = 228
55.79/38.52	c (3,0) x[18] = 254
55.79/38.52	c (3,0) x[19] = 48
55.79/38.52	c (3,0) x[20] = 125
55.79/38.52	c (3,0) x[21] = 135
55.79/38.52	c (3,0) x[22] = 105
55.79/38.52	c (3,0) x[23] = 124
55.79/38.52	c (3,0) x[24] = 255
55.79/38.52	c (3,0) x[25] = 237
55.79/38.52	c (3,0) x[26] = 203
55.79/38.52	c (3,0) x[27] = 234
55.79/38.52	c (3,0) x[28] = 223
55.79/38.52	c (3,0) x[29] = 138
55.79/38.52	c (3,0) x[30] = 104
55.79/38.52	c (3,0) x[31] = 112
55.79/38.52	c (3,0) x[32] = 118
55.79/38.52	c (3,0) x[33] = 208
55.79/38.52	c (3,0) x[34] = 88
55.79/38.52	c (3,0) x[35] = 239
55.79/38.52	c (3,0) x[36] = 82
55.79/38.52	c (3,0) x[37] = 99
55.79/38.52	c (3,0) x[38] = 172
55.79/38.52	c (3,0) x[39] = 225
55.79/38.52	c (3,0) x[40] = 246
55.79/38.52	c (3,0) x[41] = 227
55.79/38.52	c (3,0) x[42] = 76
55.79/38.52	c (3,0) x[43] = 35
55.79/38.52	c (3,0) x[44] = 6
55.79/38.52	c (3,0) x[45] = 47
55.79/38.52	c (3,0) x[46] = 69
55.79/38.52	c (3,0) x[47] = 77
55.79/38.52	c (3,0) x[48] = 197
55.79/38.52	c (3,0) x[49] = 207
55.79/38.52	c (3,0) x[50] = 27
55.79/38.52	s SATISFIABLE
55.79/38.53	v <instantiation>
55.79/38.53	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.79/38.53	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.79/38.53	v </instantiation>
55.79/38.53	c (3,0) Show results End
55.79/38.53	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
55.79/38.53	c (3,0) 3,3,STOP-AFTER(ALL)
55.79/38.53	c END-Prog: Sat Sep 14 05:31:45 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 (14575 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-4392269-1568431909/watcher-4392269-1568431909 -o /tmp/evaluation-result-4392269-1568431909/solver-4392269-1568431909 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392269-1568431909.xml 

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

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

solver pid=24225, runsolver pid=24222

[startup+0.10016 s]*
/proc/loadavg: 8.03 8.29 7.88 3/212 24247
/proc/meminfo: memFree=30843180/32770624 swapFree=66947720/67108860
[pid=24225] ppid=24222 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24225/stat : 24225 (scop.sh) S 24222 24225 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419132801 115843072 349 33554432000 4194304 5098028 140726317328560 140726317325816 140514802455164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35680256 140726317331237 140726317331564 140726317331564 140726317334477 0
/proc/24225/statm: 28282 349 296 221 0 87 0
[pid=24228] ppid=24225 vsize=27314120 memory=106084 CPUtime=0.1 cores=0-7
/proc/24228/stat : 24228 (java) S 24225 24225 15751 0 -1 1077944320 6558 0 0 0 8 2 0 0 20 0 20 0 419132802 27969658880 26521 33554432000 4194304 4196468 140723598610144 140723598592688 139858796375799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
/proc/24228/statm: 6828530 26521 2815 1 0 6790935 0
[pid=24228/tid=24229] ppid=24225 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/24228/task/24229/stat : 24229 (java) R 24225 24225 15751 0 -1 4202560 4639 0 0 0 7 2 0 0 20 0 20 0 419132802 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858768189312 139858780456286 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24230] ppid=24225 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24228/task/24230/stat : 24230 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858800618128 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24231] ppid=24225 vsize=27314120 memory=140716413859456 CPUtime=0 cores=0-7
/proc/24228/task/24231/stat : 24231 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858631866896 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24232] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24232/stat : 24232 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858217904528 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24233] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24233/stat : 24233 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858216851728 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24234] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24234/stat : 24234 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858215799952 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24235] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24235/stat : 24235 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858214747152 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24236] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24236/stat : 24236 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858213694352 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24237] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24237/stat : 24237 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 26521 33554432000 4194304 4196468 140723598610144 139858212641552 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24238] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24238/stat : 24238 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132806 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856915323248 139858796386946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24239] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24239/stat : 24239 (java) S 24225 24225 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419132806 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856751617056 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24240] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24240/stat : 24240 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132807 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856483181424 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24241] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24241/stat : 24241 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856108672848 139858796394395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24242] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24242/stat : 24242 (java) S 24225 24225 15751 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856914271088 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24243] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24243/stat : 24243 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856913218288 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24244] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24244/stat : 24244 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856912165488 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24245] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24245/stat : 24245 (java) S 24225 24225 15751 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856911112688 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24246] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24246/stat : 24246 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 26521 33554432000 4194304 4196468 140723598610144 139855610767968 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24247] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24247/stat : 24247 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132810 27969658880 26521 33554432000 4194304 4196468 140723598610144 139856910060080 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107480 KiB

[startup+0.210695 s]*
/proc/loadavg: 8.03 8.29 7.88 2/212 24247
/proc/meminfo: memFree=30821980/32770624 swapFree=66947720/67108860
[pid=24225] ppid=24222 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24225/stat : 24225 (scop.sh) S 24222 24225 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419132801 115843072 349 33554432000 4194304 5098028 140726317328560 140726317325816 140514802455164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35680256 140726317331237 140726317331564 140726317331564 140726317334477 0
/proc/24225/statm: 28282 349 296 221 0 87 0
[pid=24228] ppid=24225 vsize=27314120 memory=125132 CPUtime=0.25 cores=0-7
/proc/24228/stat : 24228 (java) S 24225 24225 15751 0 -1 1077944320 12084 0 0 0 21 4 0 0 20 0 20 0 419132802 27969658880 31283 33554432000 4194304 4196468 140723598610144 140723598592688 139858796375799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
/proc/24228/statm: 6828530 31283 2938 1 0 6790935 0
[pid=24228/tid=24229] ppid=24225 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24228/task/24229/stat : 24229 (java) R 24225 24225 15751 0 -1 4202560 9745 0 0 0 16 3 0 0 20 0 20 0 419132802 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858768180176 139858777940790 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24230] ppid=24225 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/24228/task/24230/stat : 24230 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858800618128 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24231] ppid=24225 vsize=27314120 memory=140716416953238 CPUtime=0 cores=0-7
/proc/24228/task/24231/stat : 24231 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858631866896 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24232] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24232/stat : 24232 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858217904528 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24233] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24233/stat : 24233 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858216851728 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24234] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24234/stat : 24234 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858215799952 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24235] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24235/stat : 24235 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858214747152 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24236] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24236/stat : 24236 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858213694352 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24237] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24237/stat : 24237 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 31283 33554432000 4194304 4196468 140723598610144 139858212641552 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24238] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24238/stat : 24238 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132806 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856915323248 139858796386946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24239] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24239/stat : 24239 (java) S 24225 24225 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419132806 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856751617056 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24240] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24240/stat : 24240 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132807 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856483181424 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24241] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24241/stat : 24241 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856108672848 139858796394395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24242] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24242/stat : 24242 (java) S 24225 24225 15751 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856914271088 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24243] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24243/stat : 24243 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856913218288 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24244] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24244/stat : 24244 (java) S 24225 24225 15751 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856912165488 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24245] ppid=24225 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24228/task/24245/stat : 24245 (java) S 24225 24225 15751 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 20 0 419132809 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856911112688 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24246] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24246/stat : 24246 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 31283 33554432000 4194304 4196468 140723598610144 139855610767968 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24247] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24247/stat : 24247 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132810 27969658880 31283 33554432000 4194304 4196468 140723598610144 139856910060080 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126528 KiB

[startup+0.310438 s]*
/proc/loadavg: 8.03 8.29 7.88 3/212 24247
/proc/meminfo: memFree=30819312/32770624 swapFree=66947720/67108860
[pid=24225] ppid=24222 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24225/stat : 24225 (scop.sh) S 24222 24225 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419132801 115843072 349 33554432000 4194304 5098028 140726317328560 140726317325816 140514802455164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35680256 140726317331237 140726317331564 140726317331564 140726317334477 0
/proc/24225/statm: 28282 349 296 221 0 87 0
[pid=24228] ppid=24225 vsize=27314120 memory=129104 CPUtime=0.43 cores=0-7
/proc/24228/stat : 24228 (java) S 24225 24225 15751 0 -1 1077944320 13157 0 0 0 38 5 0 0 20 0 20 0 419132802 27969658880 32276 33554432000 4194304 4196468 140723598610144 140723598592688 139858796375799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
/proc/24228/statm: 6828530 32276 3008 1 0 6790935 0
[pid=24228/tid=24229] ppid=24225 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/24228/task/24229/stat : 24229 (java) R 24225 24225 15751 0 -1 4202560 10552 0 0 0 26 4 0 0 20 0 20 0 419132802 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858768205872 139858780456286 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24230] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24230/stat : 24230 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858800618128 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24231] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24231/stat : 24231 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858631866896 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24232] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24232/stat : 24232 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858217904528 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24233] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24233/stat : 24233 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858216851728 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24234] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24234/stat : 24234 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858215799952 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24235] ppid=24225 vsize=27314120 memory=140716282047151 CPUtime=0 cores=0-7
/proc/24228/task/24235/stat : 24235 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858214747152 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24236] ppid=24225 vsize=27314120 memory=140716282049456 CPUtime=0 cores=0-7
/proc/24228/task/24236/stat : 24236 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858213694352 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24237] ppid=24225 vsize=27314120 memory=140716282051760 CPUtime=0 cores=0-7
/proc/24228/task/24237/stat : 24237 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27969658880 32276 33554432000 4194304 4196468 140723598610144 139858212641552 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24238] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24238/stat : 24238 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132806 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856915323248 139858796386946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24239] ppid=24225 vsize=27314120 memory=281432564117392 CPUtime=0 cores=0-7
/proc/24228/task/24239/stat : 24239 (java) S 24225 24225 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419132806 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856751617056 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24240] ppid=24225 vsize=27314120 memory=281432564115088 CPUtime=0 cores=0-7
/proc/24228/task/24240/stat : 24240 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132807 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856483181424 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24241] ppid=24225 vsize=27314120 memory=281432564122000 CPUtime=0 cores=0-7
/proc/24228/task/24241/stat : 24241 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856108672848 139858796394395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24242] ppid=24225 vsize=27314120 memory=281432564063280 CPUtime=0.01 cores=0-7
/proc/24228/task/24242/stat : 24242 (java) S 24225 24225 15751 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 419132809 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856914271088 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24243] ppid=24225 vsize=27314120 memory=281432564135824 CPUtime=0.02 cores=0-7
/proc/24228/task/24243/stat : 24243 (java) S 24225 24225 15751 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 419132809 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856913218288 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24244] ppid=24225 vsize=27314120 memory=281432564142736 CPUtime=0 cores=0-7
/proc/24228/task/24244/stat : 24244 (java) S 24225 24225 15751 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856912165488 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24245] ppid=24225 vsize=27314120 memory=281432564140432 CPUtime=0.07 cores=0-7
/proc/24228/task/24245/stat : 24245 (java) S 24225 24225 15751 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 20 0 419132809 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856911112688 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24246] ppid=24225 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24246/stat : 24246 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132809 27969658880 32276 33554432000 4194304 4196468 140723598610144 139855610767968 139858796386005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24247] ppid=24225 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24228/task/24247/stat : 24247 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132810 27969658880 32276 33554432000 4194304 4196468 140723598610144 139856910060080 139858796386946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130500 KiB

[startup+0.70095 s]
/proc/loadavg: 8.03 8.29 7.88 3/212 24247
/proc/meminfo: memFree=30798092/32770624 swapFree=66947720/67108860
[pid=24225] ppid=24222 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24225/stat : 24225 (scop.sh) S 24222 24225 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419132801 115843072 349 33554432000 4194304 5098028 140726317328560 140726317325816 140514802455164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35680256 140726317331237 140726317331564 140726317331564 140726317334477 0
/proc/24225/statm: 28282 349 296 221 0 87 0
[pid=24228] ppid=24225 vsize=27320392 memory=163648 CPUtime=0.94 cores=0-7
/proc/24228/stat : 24228 (java) S 24225 24225 15751 0 -1 1077944320 20021 0 0 0 88 6 0 0 20 0 20 0 419132802 27976081408 40912 33554432000 4194304 4196468 140723598610144 140723598592688 139858796375799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
/proc/24228/statm: 6830098 40912 3187 1 0 6791447 0
[pid=24228/tid=24229] ppid=24225 vsize=27320392 memory=0 CPUtime=0.65 cores=0-7
/proc/24228/task/24229/stat : 24229 (java) D 24225 24225 15751 0 -1 4202560 16903 0 0 0 60 5 0 0 20 0 20 0 419132802 27976081408 40912 33554432000 4194304 4196468 140723598610144 139858768215072 139858796397725 0 4 2 25189581 18446744072100613253 0 0 -1 1 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24230] ppid=24225 vsize=27320392 memory=140716282258288 CPUtime=0 cores=0-7
/proc/24228/task/24230/stat : 24230 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419132804 27976081408 40912 33554432000 4194304 4196468 140723598610144 139858800618128 139858796386005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24231] ppid=24225 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24228/task/24231/stat : 24231 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419132804 27976081408 40912 33554432000 4194304 4196468 140723598610144 139858631866896 139858796386005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0
[pid=24228/tid=24232] ppid=24225 vsize=27320392 memory=1200 CPUtime=0 cores=0-7
/proc/24228/task/24232/stat : 24232 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419132804 27976081408 40912 33554432000 4194304 4196468 140723598610144 139858217904528 139858796386005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15478784 140723598619371 140723598619798 140723598619798 140723598622671 0

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

[pid=24250/tid=24253] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24253/stat : 24253 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358525991696 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24254] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24254/stat : 24254 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358185700496 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24255] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24255/stat : 24255 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358184647696 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24256] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24256/stat : 24256 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358183594384 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24257] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24257/stat : 24257 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358182541584 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24258] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24258/stat : 24258 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358181489296 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24259] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24259/stat : 24259 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358180436496 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24260] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24260/stat : 24260 (java) S 24225 24225 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419136243 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358130547312 140358701464194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24261] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24261/stat : 24261 (java) S 24225 24225 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419136243 8616062976 30033 33554432000 4194304 4196468 140721733467008 140357383742752 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24262] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24262/stat : 24262 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136244 8616062976 30033 33554432000 4194304 4196468 140721733467008 140357115307632 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24263] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24263/stat : 24263 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136246 8616062976 30033 33554432000 4194304 4196468 140721733467008 140356740799056 140358701471643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24264] ppid=24225 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/24250/task/24264/stat : 24264 (java) S 24225 24225 15751 0 -1 1077944384 581 0 0 0 6 0 0 0 20 0 24 0 419136246 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358129494128 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24265] ppid=24225 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/24250/task/24265/stat : 24265 (java) S 24225 24225 15751 0 -1 1077944384 290 0 0 0 5 0 0 0 20 0 24 0 419136246 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358128441328 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24266] ppid=24225 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/24250/task/24266/stat : 24266 (java) S 24225 24225 15751 0 -1 1077944384 290 0 0 0 6 0 0 0 20 0 24 0 419136246 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358127389040 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24267] ppid=24225 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/24250/task/24267/stat : 24267 (java) S 24225 24225 15751 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 24 0 419136246 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358126336240 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24268] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24268/stat : 24268 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419136246 8616062976 30033 33554432000 4194304 4196468 140721733467008 140356242893664 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24269] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24269/stat : 24269 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136247 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358125284144 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24271] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24271/stat : 24271 (java) S 24225 24225 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419136314 8616062976 30033 33554432000 4194304 4196468 140721733467008 140358123673408 140358701477657 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24273] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24273/stat : 24273 (java) S 24225 24225 15751 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419136314 8616062976 30033 33554432000 4194304 4196468 140721733467008 140355571793296 140358701474973 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24274] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24274/stat : 24274 (java) S 24225 24225 15751 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419136314 8616062976 30033 33554432000 4194304 4196468 140721733467008 140355840228624 140358701474973 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24275] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24275/stat : 24275 (java) S 24225 24225 15751 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419136316 8616062976 30033 33554432000 4194304 4196468 140721733467008 140355303365936 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
Current children cumulated CPU time: 54.58 s
Current children cumulated vsize: 9688136 KiB
Current children cumulated memory: 706028 KiB

[startup+38.4024 s]
/proc/loadavg: 4.92 7.49 7.62 7/225 24283
/proc/meminfo: memFree=30231132/32770624 swapFree=66947720/67108860
[pid=24225] ppid=24222 vsize=113128 memory=1476 CPUtime=49.72 cores=0-7
/proc/24225/stat : 24225 (scop.sh) S 24222 24225 15751 0 -1 4202496 583 46101 0 0 0 0 4717 255 20 0 1 0 419132801 115843072 369 33554432000 4194304 5098028 140726317328560 140726317325304 140514802455164 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35680256 140726317331237 140726317331564 140726317331564 140726317334477 0
/proc/24225/statm: 28282 369 311 221 0 87 0
[pid=24250] ppid=24225 vsize=8414124 memory=125120 CPUtime=1.31 cores=0-7
/proc/24250/stat : 24250 (java) S 24225 24225 15751 0 -1 1077944320 20749 0 0 0 123 8 0 0 20 0 24 0 419136213 8616062976 30768 33554432000 4194304 4196468 140721733467008 140721733449552 140358701453047 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
/proc/24250/statm: 2103531 31280 3218 1 0 2064875 0
[pid=24250/tid=24251] ppid=24225 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/24250/task/24251/stat : 24251 (java) S 24225 24225 15751 0 -1 1077944384 17466 0 0 0 71 6 0 0 20 0 24 0 419136214 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358673293216 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24252] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24252/stat : 24252 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358705695632 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24253] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24253/stat : 24253 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358525991696 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24254] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24254/stat : 24254 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358185700496 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24255] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24255/stat : 24255 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358184647696 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24256] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24256/stat : 24256 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358183594384 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24257] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24257/stat : 24257 (java) S 24225 24225 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358182541584 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24258] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24258/stat : 24258 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358181489296 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24259] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24259/stat : 24259 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419136241 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358180436496 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24260] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24260/stat : 24260 (java) S 24225 24225 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419136243 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358130547312 140358701464194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24261] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24261/stat : 24261 (java) S 24225 24225 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419136243 8616062976 31280 33554432000 4194304 4196468 140721733467008 140357383742752 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24262] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24262/stat : 24262 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136244 8616062976 31280 33554432000 4194304 4196468 140721733467008 140357115307632 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24263] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24263/stat : 24263 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136246 8616062976 31280 33554432000 4194304 4196468 140721733467008 140356740799056 140358701471643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24264] ppid=24225 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/24250/task/24264/stat : 24264 (java) R 24225 24225 15751 0 -1 4202560 587 0 0 0 8 0 0 0 20 0 24 0 419136246 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358129494128 140358686578302 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24265] ppid=24225 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/24250/task/24265/stat : 24265 (java) R 24225 24225 15751 0 -1 4202560 367 0 0 0 8 0 0 0 20 0 24 0 419136246 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358128432656 140358682996764 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24266] ppid=24225 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/24250/task/24266/stat : 24266 (java) R 24225 24225 15751 0 -1 4202560 296 0 0 0 7 0 0 0 20 0 24 0 419136246 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358127389040 140358701464982 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24267] ppid=24225 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/24250/task/24267/stat : 24267 (java) S 24225 24225 15751 0 -1 1077944384 599 0 0 0 23 0 0 0 20 0 24 0 419136246 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358126336240 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24268] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24268/stat : 24268 (java) S 24225 24225 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419136246 8616062976 31280 33554432000 4194304 4196468 140721733467008 140356242893664 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24269] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24269/stat : 24269 (java) S 24225 24225 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419136247 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358125284144 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24271] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24271/stat : 24271 (java) S 24225 24225 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419136314 8616062976 31280 33554432000 4194304 4196468 140721733467008 140358123673408 140358701477657 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24273] ppid=24225 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/24250/task/24273/stat : 24273 (java) R 24225 24225 15751 0 -1 4202560 46 0 0 0 4 0 0 0 20 0 24 0 419136314 8616062976 31280 33554432000 4194304 4196468 140721733467008 140355571797568 140358701464982 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24274] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24274/stat : 24274 (java) S 24225 24225 15751 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419136314 8616062976 31280 33554432000 4194304 4196468 140721733467008 140355840228624 140358701474973 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24275] ppid=24225 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24250/task/24275/stat : 24275 (java) S 24225 24225 15751 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419136316 8616062976 31280 33554432000 4194304 4196468 140721733467008 140355303365936 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 126596 KiB

[startup+38.5012 s]
/proc/loadavg: 4.92 7.49 7.62 7/225 24283
/proc/meminfo: memFree=30231132/32770624 swapFree=66947720/67108860
[pid=24225] ppid=24222 vsize=113128 memory=1476 CPUtime=49.72 cores=0-7
/proc/24225/stat : 24225 (scop.sh) S 24222 24225 15751 0 -1 4202496 583 46101 0 0 0 0 4717 255 20 0 1 0 419132801 115843072 369 33554432000 4194304 5098028 140726317328560 140726317325304 140514802455164 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35680256 140726317331237 140726317331564 140726317331564 140726317334477 0
/proc/24225/statm: 28282 369 311 221 0 87 0
[pid=24250] ppid=24225 vsize=8283048 memory=135124 CPUtime=6.07 cores=0-7
/proc/24250/stat : 24250 (java) S 24225 24225 15751 0 -1 1077944320 21141 125305 0 0 143 8 429 27 20 0 22 0 419136213 8481841152 33781 33554432000 4194304 4196468 140721733467008 140721733449552 140358701453047 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
/proc/24250/statm: 2070762 33781 3224 1 0 2032106 0
[pid=24250/tid=24251] ppid=24225 vsize=8283048 memory=0 CPUtime=5.39 cores=0-7
/proc/24250/task/24251/stat : 24251 (java) R 24225 24225 15751 0 -1 4202560 17733 125305 0 0 77 6 429 27 20 0 22 0 419136214 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358673291360 140358701474973 0 4 2 25189581 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24252] ppid=24225 vsize=8283048 memory=0 CPUtime=4.56 cores=0-7
/proc/24250/task/24252/stat : 24252 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358705695632 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24253] ppid=24225 vsize=8283048 memory=120132 CPUtime=4.56 cores=0-7
/proc/24250/task/24253/stat : 24253 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358525991696 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24254] ppid=24225 vsize=8283048 memory=3612 CPUtime=4.56 cores=0-7
/proc/24250/task/24254/stat : 24254 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358185700496 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24255] ppid=24225 vsize=8283048 memory=22580 CPUtime=4.56 cores=0-7
/proc/24250/task/24255/stat : 24255 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358184647696 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24256] ppid=24225 vsize=8283048 memory=0 CPUtime=4.56 cores=0-7
/proc/24250/task/24256/stat : 24256 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358183594384 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24257] ppid=24225 vsize=8283048 memory=2883 CPUtime=4.56 cores=0-7
/proc/24250/task/24257/stat : 24257 (java) S 24225 24225 15751 0 -1 1077944384 2 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358182541584 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24258] ppid=24225 vsize=8283048 memory=72012 CPUtime=4.56 cores=0-7
/proc/24250/task/24258/stat : 24258 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358181489296 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24259] ppid=24225 vsize=8283048 memory=0 CPUtime=4.56 cores=0-7
/proc/24250/task/24259/stat : 24259 (java) S 24225 24225 15751 0 -1 1077944384 3 125305 0 0 0 0 429 27 20 0 22 0 419136241 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358180436496 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24260] ppid=24225 vsize=8283048 memory=924 CPUtime=4.56 cores=0-7
/proc/24250/task/24260/stat : 24260 (java) S 24225 24225 15751 0 -1 1077944384 5 125305 0 0 0 0 429 27 20 0 22 0 419136243 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358130547312 140358701464194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24261] ppid=24225 vsize=8283048 memory=4224 CPUtime=4.56 cores=0-7
/proc/24250/task/24261/stat : 24261 (java) S 24225 24225 15751 0 -1 1077944384 13 125305 0 0 0 0 429 27 20 0 22 0 419136243 8481841152 33781 33554432000 4194304 4196468 140721733467008 140357383742752 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24262] ppid=24225 vsize=8283048 memory=120132 CPUtime=4.56 cores=0-7
/proc/24250/task/24262/stat : 24262 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136244 8481841152 33781 33554432000 4194304 4196468 140721733467008 140357115307632 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24263] ppid=24225 vsize=8283048 memory=992 CPUtime=4.56 cores=0-7
/proc/24250/task/24263/stat : 24263 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136246 8481841152 33781 33554432000 4194304 4196468 140721733467008 140356740799056 140358701471643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24264] ppid=24225 vsize=8283048 memory=2044 CPUtime=4.66 cores=0-7
/proc/24250/task/24264/stat : 24264 (java) S 24225 24225 15751 0 -1 1077944384 595 125305 0 0 10 0 429 27 20 0 22 0 419136246 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358129494128 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24265] ppid=24225 vsize=8283048 memory=1428 CPUtime=4.67 cores=0-7
/proc/24250/task/24265/stat : 24265 (java) S 24225 24225 15751 0 -1 1077944384 390 125305 0 0 11 0 429 27 20 0 22 0 419136246 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358128441328 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24266] ppid=24225 vsize=8283048 memory=3612 CPUtime=4.65 cores=0-7
/proc/24250/task/24266/stat : 24266 (java) S 24225 24225 15751 0 -1 1077944384 307 125305 0 0 9 0 429 27 20 0 22 0 419136246 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358127389040 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24267] ppid=24225 vsize=8283048 memory=22580 CPUtime=4.83 cores=0-7
/proc/24250/task/24267/stat : 24267 (java) S 24225 24225 15751 0 -1 1077944384 667 125305 0 0 27 0 429 27 20 0 22 0 419136246 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358126336240 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24268] ppid=24225 vsize=8283048 memory=992 CPUtime=4.56 cores=0-7
/proc/24250/task/24268/stat : 24268 (java) S 24225 24225 15751 0 -1 1077944384 3 125305 0 0 0 0 429 27 20 0 22 0 419136246 8481841152 33781 33554432000 4194304 4196468 140721733467008 140356242893664 140358701463253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24269] ppid=24225 vsize=8283048 memory=11624 CPUtime=4.56 cores=0-7
/proc/24250/task/24269/stat : 24269 (java) S 24225 24225 15751 0 -1 1077944384 1 125305 0 0 0 0 429 27 20 0 22 0 419136247 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358125284144 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24271] ppid=24225 vsize=8283048 memory=740 CPUtime=4.56 cores=0-7
/proc/24250/task/24271/stat : 24271 (java) S 24225 24225 15751 0 -1 1077944384 24 125305 0 0 0 0 429 27 20 0 22 0 419136314 8481841152 33781 33554432000 4194304 4196468 140721733467008 140358123672592 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
[pid=24250/tid=24275] ppid=24225 vsize=8283048 memory=1476 CPUtime=4.56 cores=0-7
/proc/24250/task/24275/stat : 24275 (java) S 24225 24225 15751 0 -1 1077944384 10 125305 0 0 0 0 429 27 20 0 22 0 419136316 8481841152 33781 33554432000 4194304 4196468 140721733467008 140355303367728 140358701464194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19030016 140721733473271 140721733473430 140721733473430 140721733476303 0
Current children cumulated CPU time: 55.79 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136600 KiB

Child status: 0
Real time (s): 38.5524
CPU time (s): 55.9097
CPU user time (s): 52.9771
CPU system time (s): 2.93263
CPU usage (%): 145.023
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 6428576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.9771
system time used= 2.93263
maximum resident set size= 6427180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18571
involuntary context switches= 143


# summary of solver processes directly reported to runsolver:
#   pid: 24225
#   total CPU time (s): 55.9097
#   total CPU user time (s): 52.9771
#   total CPU system time (s): 2.93263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.294502 second user time and 0.423169 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 05:31:06
IDJOB=4392269
IDBENCH=131444
IDSOLVER=2838
FILE ID=node117/4392269-1568431909
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392269-1568431909/watcher-4392269-1568431909 -o /tmp/evaluation-result-4392269-1568431909/solver-4392269-1568431909 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392269-1568431909.xml

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

MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521
RANDOM SEED=1273890093

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:        30939732 kB
MemAvailable:   31867316 kB
Buffers:          146560 kB
Cached:          1047632 kB
SwapCached:        51656 kB
Active:           769400 kB
Inactive:         478680 kB
Active(anon):      19076 kB
Inactive(anon):    59228 kB
Active(file):     750324 kB
Inactive(file):   419452 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947720 kB
Dirty:             20800 kB
Writeback:             0 kB
AnonPages:        159680 kB
Mapped:            33996 kB
Shmem:             15640 kB
Slab:             175508 kB
SReclaimable:     147288 kB
SUnreclaim:        28220 kB
KernelStack:        3840 kB
PageTables:         5736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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:31:45